formal system的例句大全

the third part of is a summary of the formal rationality revealed during the codification process of the continental law system codification.

文章的第三部分是对大陆法系法典化过程中展现的形式理性的总结性说明。

introduction of a formal internal audit system.

内部正规监控体系的引入。

There is a formal program of periodic quality system self-audits. Frequency?

有无周期性 自我 品质稽核系统, 频率?

The formal demonstration of system acceptability to obtain authorization for its operational use.

为使系统获准投入运行性使用,对系统的可接受性所做的正式演示.

Interaction designers must translate life goals into high-level system capabilities, formal design concepts, and brand strategy.

交互设计者必须要将人生目标转化为高层次的产品功能 、 正式的设计概念和品牌战略.

General deduction and strong completeness of the formal deductive system L? are further studied.

进一步讨论了形式系统L? 中的一般演绎推理及强完备性问题.

Organization structure describes the organization's formal framework or system of communication and authority.

组织结构指的是组织内部正式的信息交流和行使职权的框架体系.

A formal organization is often conceived of as a communication system.

一个正式组织往往可当作一个沟通系统。

Formal specification is a complete and accurate description of tasksthat a software system should perform.

形式规约(FormalSpecification) 是对软件系统所要解决问题的完备、精确的描述.

In China alone , some 175 million people are now studying English in the formal education system.

在中国大陆, 目前就有约1亿7,500万人在正规教育系统中学英文.

The conversion relationship of inertial tensor matrix under the conditions of gyration and aclinic shift of coordinate system for catastrophic structure vehicle is derived, and the same formal structure matrix is expressed by using matrix of quaternions product.

用四元数和与四元数乘积的矩阵表示形式结构相似的矩阵，针对结构突变飞行器固连坐标系有平动和转动的情况，推导了惯性张量矩阵的变换关系。

Formal description system of checking information and its parse system.

实现了阅卷信息的形式化描述以及对应的语言解释系统。

As a formal development tool, Petri net has strict mathematical semantics and can be used to analyze and validate a system conveniently to address the problems of lacking of formal description and validation in object-oriented technology.

Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。

Multi-paradigm Based Instruction Assistant System for Formal Semantics Course

基于多语言范例的形式语义学教学辅助系统

Control and Formal Verification of Hybrid System Using MLD Model

基于MLD模型的混杂系统控制及其形式验证研究

In 1996, our Administrative Sanction Law first provides the system of formal hearing procedure; however, there are still more puzzling problems.

我国1996年制定的《行政处罚法》第一次规定了正式行政听证程序制度，但尚存在众多难题。

And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

The formal description of the design and implementation of an agent based on BICC architecture is given to show the feasibility of the system.

结合基于BICC体系结构的Agent设计及实现的形式化描述，说明该系统的可行性。

This is bigger than the formal banking system.

该系统的规模大于常规的银行系统.

The structure of the organization is in the formal organization, that works to determine the task decomposition and coordination, the combination of the frame system.

组织结构就是组织中正式确定的使工作任务得以分解、组合和协调的框架体系。