形式化

The neo-classical growth theory uses it to study growth under constant return to scale, whereas the classical economic development theory takes a descriptive approach to look into virtually all the issues in economic development. The new growth theory uses dynamic general equilibrium theory to study growth under increasing return to scale. The formalized economic development theory uses it to analyze economic development.

新古典经济增长理论只是用动态一般均衡理论研究了规模报酬不变条件下的经济增长；而古典经济发展理论则用描述性分析方法研究了几乎全部的经济发展问题；新增长理论用动态一般均衡理论分析了规模报酬递增条件的经济增长；形式化的经济发展理论则用动态一般均衡理论分析了经济发展问题。

To formalize this algorithm,crosscutting contract calculus and a set of contract elaboration rules are presented.

为了形式化这个算法，提出Crosscutting Contract演算和一组契约求解规则，并通过定义和证明契约完备性来保证契约求解过程的正确性。

In this paper, aformal language PEP (principals + environment = protocol ) for the specification of cryptograph is proposed.

加密协议及其形式化分析网络加密协议的目的在于运用加密技术保证开放网络的安全性。

Reliable cryptograph is set up in math and formal computer science. According to the computational theory, the paper expounds mathematical background for public-key cryptosystem including: the complexity of algorithm and problem, relationship between the length of key and security of cryptogram.

可靠的密码学是建立在数学和形式化的计算机科学产生的结论之上的，本文从计算理论的角度阐述了构建对称密码体制所需的数学背景：算法复杂性与问题复杂性的关系；NP问题与密码学的关系；密钥长度与密码安全的关系。

Formal methods and tools are key aspects for the analysis of cryptographic protocols.

加密协议的分析需要形式化的方法和工具。

In view of the single invalid data of the optoelectronic deflection meter system in the engineering practice of the bridge structural health monitoring system, which bring the illusive alarm and can not be identified by the traditional methods of signal processing and data analyzing,the paper analyses the characteristics of the single invalid data, and formalizes and describes them.

针对在大型桥梁结构状态监测系统工程实践中，光电挠度测量系统采集的数据中存在的较多单点失真数据无法使用传统的信号处理与数据分析方法过滤的问题，本文在连通管式光电挠度测量系统原理基础上，深入分析了系统中单点失真数据的特点，对单点失真数据进行形式化描述和说明，从而提出了一种基于数据速率变化来过滤单点失真数据的滤波方法。

The deep source of western rule by law lies in the separation of country with demagogic society and interactive development,that is in the course of country re—construction and demagogic social independence movement,the demarcation and conflict of power with right give rise to the production of legal order,but the advocating of townspeople social spirit promotes the legal formalization movement.

西方法治产生的深层根源在于其国家与市民社会的分离和互动发展，即在国家重建和市民社会自由化运动过程中，权力和权利的界分与冲突导致了法律秩序的生成，而市民社会精神的张扬则推动了法律形式化运动。

The deep source of western rule by law lies in the separation of country with demagogic society and interactive development,that is in the course of country r e -construction and demagogic social independence movement,the demarcation and con flict of power with right give rise to the production of legal order,but the adv ocating of townspeople social spirit promotes the legal formalization movement.

内容提要西方法治产生的深层根源在于其国家和市民社会的分离和互动发展，即在国家重建和市民社会自由化运动过程中，权力和权利的界分和冲突导致了法律秩序的生成，而市民社会精神的张扬则推动了法律形式化运动。

Based on the mathematical relationship between the two parameters, which is derived from a series of known formulae, the definition of Internet validity factor is put forward as a parameter to connect Internet space validity with time validity so as to judge comprehensively the Internet validity.

通过公式推导证明了网络比重和访问直径二个物理参量之间的数学关系，并基于此形式化定义了Internet网络效能因子，将Internet网络的时间和空间效能联系起来，实现了对网络效能的综合评判。

While the new course reform advances , often there are some deviations between new education idea and classroom instruction behavior: Classroom teachers and students " ask interdynamically --Answer " take , group cooperative formalization , probe into study is it take to suffused with ," pairs of base " goal desalinize and teaching means the person of greater importance is relegated to the background ,etc..

新一轮基础教育课程改革，是一个系统工程，是一场培养模式的变革，是一次素质教育观念的重要实践。随着新课改的逐步推进，我们欣喜地看到，教师的教学观念正在逐步更新，学生的学习方式正在得到改变，课堂充满学生成长的气息。但不可否认的是，在热热闹闹和轰轰烈烈的课改背后，透露出更多的是浮躁、盲从和形式化倾向。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了