可证明的

By the deep analysis on winding eddy current loss mechanism of the transformer in forward-flyback converter, a new idea is proposed that the magnetic field in winding window of the transformer can be considered as the combination of the two components, that is, transformer field component and inductor field component. The orthogonal characteristics of the two magnetic field components in CCM are further revealed.

通过深入研究正反激变换器中的变压器线圈涡流损耗机制，指出其线圈窗口磁场可分离为变压器特性的磁场和电感器特性的磁场，证明了连续导通模式时上述两种特性磁场为正交的，进而提出一新型线圈损耗解析建模方法，新方法可以有效提高模型精度。

Introduced formal notations of derivative which keep the properties of derivative and their operations are easily realized on computer,A mechanization proving principle of automatic reasoning of transformations between differential equations is built.

引进保持性质的导数的形式记号，建立了微分方程变量间依赖关系的自动推理的机械化证明原理，从而方程间的变换（如Backlund变换等）均可机械地验证。

Simulation demonstrates the scheme and algorithms have excellent performance in accuracy of estimating, acquisition time and user capacity of pilot frequency group.

通过对方案和算法的计算机仿真，证明同步算法具有较高的精度，同步方案能够在不超过三个TDD帧的时间内完成良好的同步，同步跟踪载波组的用户容量可达到1用户/载波。

However, the shackles of moral values, they eventually permitted to have burst. In order to prove that love to each other will remain unchanged till death do us part, Private hemosiderosis brother blinded their eyes, his sister make deaf ears. Why not, just because they think that since denied the blessings that have this ability, what is the use?

但是，由于道德观念的枷锁，两人终究不被允许，已经无路可走了，为了证明对彼此至死不渝的爱，转自铁血，哥哥弄瞎了自己的眼睛，妹妹弄聋了自己的耳朵，不为什么，只因为他们认为，既然得不到众人的祝福，那有这能力又有何用？

Identifiability analysis of linear time-delay system is one of research subjects in process control.

线性时滞系统的辨识性分析是过程控制理论的研究课题之一，通过对系统差分方程的讨论，在4个定义的基础上推出了2个定理，进而证明了可辨识性。

Authentication Test is a new type of analysis and design method of security protocols based on Strand space model, and it can be used for most types of the security protocols. However, as a Strand space model, it is inclined to be used for the proof of correctness, and is relatively weaker for incorrectness analysis.

认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术，可用于大部分协议的关联属性的分析；但是与Strand空间模型一样，它主要用于协议正确性证明，在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱。

A that the consumer continues to meet the specific criteria used to select the consumer for the offer, by using information in a consumer report on the consumer, information in the consumer's application for the credit or insurance, or other information bearing on the credit worthiness or insurability of the consumer; or

通过使用消费者报告信息，消费者申请信贷或保险的信息或者其他证明消费者信贷价值或可保险能力的信息，消费者继续符合要约中的选择消费者的特定标准；或

And the antioxidant enzymes were also activated. We found that there was some signaling pathway within the damaged plant and interplant. Diphenylene iodonium, an inhibitor of NADPH oxidase, could significantly inhibit H2O2 burst and enzymes activities that mediated by herbivore-infested. H2O2 has also been proved to play the signal role in defensive response.

茉莉酸信号传导途径在植物防御反应中有着重要的作用，对植株用茉莉酸甲酯熏蒸后，可诱导植株产生与昆虫取食类似的反应--叶片过氧化氢含量有明显的提高，同时对POD、PPO、PAL等直接防御物质有显著的诱导作用，进而证明了茉莉酸甲酯是伤信息在植株间传递的报警信号分子之一。

Second, the theory of scale space was used to design a new operator for target detection and tracking. Then, the property of scale invariant was analyzed and proved, and a tracking scheme based on the gradient LOG operator was proposed. Experimental results show that the gradient LOG operator is appropriate to describe small target in complex background, and the detection precision is in the level of sub-pixel. Furthermore, it is efficient and robust to noise.

然后根据尺度空间的基本理论构造了一种针对该成像模型的目标检测算子，分析并证明了该算子具有尺度不变性的优点，设计并实现了基于梯度LOG算子的小目标跟踪方案，实验结果表明：梯度LOG算子能够较好地跟踪复杂背景中的光团目标，定位精度可达亚像素级，且具有计算量小，抭嗓声能力强等优点。

Second, the theory of scale space was used to design a new operator for target detection and tracking. Then, the property of scale invariant was analyzed and proved, and a tracking scheme based on the gradient LOG operator was proposed. Experimental results show that the gradient LOG operator is appropriate to describe small target in complex background, and the detection precision is in the level of sub-pixel.

然后根据尺度空间的基本理论构造了一种针对该成像模型的目标检测算子，分析并证明了该算子具有尺度不变性的优点，设计并实现了基于梯度LOG 算子的小目标跟踪方案，实验结果表明：梯度LOG 算子能够较好地跟踪复杂背景中的光团目标，定位精度可达亚像素级，且具有计算量小，抗噪声能力强等优点。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。