验证

Combined with the Foundation Research (Avigation science fund 04D52032)"study on CFAR detecting expert system base on clutter tracking".This paper study the fractal technic and snake algorithm on the application of clutter tracking.

本课题结合航空科学基金"基于杂波跟踪融合的恒虚警检测专家系统研究"，研究分形技术和snake算法在杂波跟踪中应用，设计了相应的算法，通过分析真实数据和仿真数据验证了算法的有效性。

The major character of the equipment is that it can transform the load into damp through leverage,so the people with different avoirdupois can ground safely,and this character has been verified by calculating and testing.

介绍一种高楼失火逃生装置，最大特点是通过杠杆原理使负载转化为摩擦阻尼，从而使不同体重的人以近似匀速的安全速度着陆，并通过计算和实验验证其安全性。

Taking the administrative villages as units, a comprehensive and detailed survey was made to attain the rich and reliable data, including the information about the status of the land use, the relationship of the land supply and demand, the living standards of farmers and the minimum of urban resident living guarantee and so on. Then the estimating system was established. Afterwards, basing the survey and the system, the character of each unit was transfer into data. And, utilizing the frequency law, the whole county was divided into four expropriation land blocks. The area was measured and the map, showing the differences between blocks, of the Arable Land Blocks for expropriation of Siyang was protracted by the method of GIS. Finally, the land expropriation price is calculated by agricultural land economical function compensate method and urban construction land criterion price avulse method, then the price was tested by expropriation case comparison method. It is beneficial not only for protecting farmers rights and interests, but also for link up with the current land compensate standard, so this way to calculate the land expropriate price is more reasonably.

以行政村为基本单元，对该地区的农用地利用现状、土地供求关系、农民生活水平扣城镇居民最低生活保障水平等情况进行了调查，建立征地区片价格评价体系，根据每个评价单元的综合评价分值，运用总分频率法将全县分为四个区片，并对各级区片进行面积量算，借助地理信息技术绘制了《泗阳县农用地征地区片价格分布图》，显化了农用地征地区片价格的空间分布及其差异，最后运用农用地经济功能价格补偿法和城镇建设用地基准地价剥离法综合测算农用地征地区片价格，并用征地案例比较法的测算结果加以比较验证，证明此测算结果相对更加科学合理，既有利于保障被征地农民的合法权益，又有利于与现行的征地补偿标准相衔接。

Owing to the effect of axial field coil, the choosing range of iron core length is wider and more flexible.

利用数值法计算了混合磁路多边耦合电机磁场分布的特点，并结合样机进行了实验验证。

Put forward using axial symmetry model to calculate zero-sequence impedance of power transformer. The results comparing with the testing value are correct.

提出使用准三维轴对称物理模型计算变压器的零序阻抗，并用实际模型和实验数据验证了计算结果，其结果是合理的。

Aiming at these disadvantages, the framework model of axiomatic design method based on modified function-means tree was presented.

针对公理化设计中存在的不足，提出基于改进型功能方法树的公理化设计方法的框架模型：以设计知识库为基础，建立改进型功能方法树，并以此为依据促成公理化设计的功能需求与设计参数的分解与映射，实现公理设计中功能与结构的同步演化；最后，通过自动化糖果包装机设计为例验证了该方法的可行性。

Finally, an example is given to illustrate how to do system verification based on FPTL and its axiomatic system.

最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用。

This project has focused on the decidability problem and the axiomatization problem for LTLC, and the formal verification methods for real-time systems.

本项目研究了LTLC的可判定性、公理化及实时系统的形式验证等相关问题： 1。

To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic.

为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统。

Projection temporal logic ; axiomatization ; formal methods ; verification

投影时序逻辑；公理系统；形式化方法；验证

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！