形式化

And at present there exist several kinds of formal communication in the classroom such as,unbalanced communication,ineffective communication and presupposed communication.

在现行的教学实践中，还存在一些交往形式化的倾向：失衡的交往；虚假的交往；预设的交往。

The focus involves the four main topics:●Reformulating for neural networks information processing and transformation mechanism; system identification and representation, conducted by global analysis of architecture.

论文的工作总结如下：首先，提出了场组织变换与场反应变换的整体结构耦合作为人工神经网络模型信息处理、变换机理新的概念化和形式化表示方法。

This paper presents SODs attributes of RBAC model and their relations by state graph and attribute chart.

本文针对RBAC基本模型对职责分离约束属性进行了形式化描述，利用状态图和属性表分析了各职责分离约束状态间的依赖关系。

This system base on the Three Tiers Model Structure and Component Object Model technology.

在脚本的实现过程中，引入了形式化描述和编译器自动构造等技术。

Upholding the autonomy and formal development of civil law is of great significance for Chinese society.

对中国社会而言，坚持民法的自主性、形式化发展方向具有特别重要的意义。

In this paper, the solutions for the formal modeling and verifying service composition are discussed in theory and practice.

本论文从理论研究和实践结合两个方面着手，探索服务组合的形式化建模和验证。

On the basis of systematic formalization description and Petri network theory and it analyzes the internal logical relation and dynamic behavior of closed yard coal wharf logistics system, also the dynamic model of this system.

基于系统的形式化描述和Petri网理论，分析了煤炭码头物流系统的内部逻辑关系和动态行为，进而建立了系统的动态模型。

The analysis model of grouped-metadata may construct based on coupling information of variables and methods inside component. According to formal component couping testing criteria description, coupling relationship among methods inside component is decribed using component methods coupling graph. And DU table is further constructed, which includes definition and definition information of component method. Then observation mechanism based on observation–points is introduced in order to increase the observability of component. An implementation framework of testable component is constructed bansed on coupling information.

分层描述性元数据中的分析模型基于构件内变量和方法之间的耦合信息来构造，根据形式化的构件耦合测试准则描述，使用构件方法耦合图的概念描述构件中方法之间的耦合关系，进而构造包含构件内定义和使用信息的DU表，并引入旨在提高构件可观察性的基于观察点的监控机制，构造一个基于构件耦合信息的可测试构件的总体实现框架。

Exampled on the networked manufacturing process of the certain type of flight airfoil, this dissertation studies the key technologies such as system modelling, organizational structure optimisation, process management and so on. The following subjects have been presented and developed in depth.

论文的主要研究内容包括：(1)从分析制造过程的本质特征出发，提出面向过程的网络化制造模式的概念；给出了过程的定义、组成及形式化描述，对网络化制造系统的过程特性进行了分析，进而建立了网络化制造系统的基本过程层次结构。

However,all knowledge in moral field are various understanding and insight which cannot be fully formalised in words.

但是，在道德领域，所有的知都是不同程度的理解和洞见，这种理解和洞见不能在语言中被充分形式化。

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.

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