形式化

This paper firstly analyse and formerly define two important information source of software maintenance – bug trackings system and version control system and introduce a method to combine both systems.

本文首先分析并形式化地定义了软件维护的两个重要的信息源：缺陷跟踪系统与版本控制系统的历史信息；给出了它们的整合方法。

This research is to develope an OOEDBMS which is fit for practical application, especially in the environment under STEP. Upon this, a more advanced purpose is to form the O-O data model and to study on the features which OOEDBMS should possess.

本研究的目的是开发一个适应STEP标准下工程环境的面向对象工程数据库管理系统OSCAR，着重于OOEDBMS在实践中的应用，并提出面向对象的数据模型，对面向对象的基本特性进行形式化的描述。

The dropping and splashing skill of creating paintings is in art history a big contribution by the american abstract performance artist Baroque, it's exactly not the thinking of the reasonableness but the free droppings and splashings that efficiently translated the artist's own emotions and cocepts on the canvases, and passed to the audience.

滴洒画法是美国抽象表现主义画家波洛克对艺术史的一大贡献，正是通过这些随意的滴洒，而非理性的思考，艺术家才最有效地将自己的情感和观念形式化于布面之上，并最终传达给我们的观众。

A formal description of RoMAS processes is presented in this thesis, which provides formal and strict semantic for the graphically presented processes.

论文通过对RoboCup案例的研究展示了这种方法的详细步骤，并为这种方法提供了一种形式化描述机制。

High quality of the components is quite important in component reusing and distributed computing.

为了开发高质量的组件，我们希望对组件的语义进行形式化地描述和验证。

A dynamical A* algorithm in geometric model─GD* Lite is introduced to get over poor efficiency of brute-force replanning.

通过适当的形式化，将运动协调问题转化为机器人在通讯辅助下，局部性的和周围的机器人对策的过程，并且采用了GD* Lite扩展节点的思想。

Whats more, this thesis use formal method to analyze and verify security protocol , formal method is regraded as a strict and valid method.

本文对密码协议采用形式化方法进行分析和验证，这是一种严格而有效的方法。

The deep plan of housing products type is a new topic, and by using the new formalization thought of Extenics to solve contradiction problem, the plan system with more operation ability will be sure to make the planers depend less on inspiration.

住宅产品类型的深度策划是一个常新的问题，引入可拓学形式化解决矛盾问题的新思路，形成具有较强可操作性的方法体系，可以使人们在策划时不必过多依赖灵感。

A benefit of formal methods is that their notations are well-defined and thus, are amenable to automated processing.

形式化方法的一个优点是它的表示是精确的、可验证的，这样有助于使用自动化的处理。

The paper takes the branch of China Life Insurance—Changsha as an example and analyzes the present situation of the industry, the unsound credit system, the building forms of corporate culture and the pseudo corporate culture etc. Specific improving measures are put forward, such as establishing a sound faith-based credit system; strengthening the implementation of the building of the enterprise culture and creating a good atmosphere for corporate culture.

文章以中国人寿长沙分公司为例，分析整个行业的企业文化现状，存在信用体系不健全，文化建设形式化及企业伪文化，培训制度不健全等相关问题，并相应提出健全保险行业诚信为本的信用体系，加强企业文化建设的执行力，营造良好的企业文化氛围，健全保险行业企业培训制度等具体的改善措施。

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.

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