This paper deals with the formal system of propositional calculus of medium logic (MP).
本文讨论了中介逻辑命题演算(MP)的形式系统。
In a social system structure, the system includes the formal system and the informal one.
在一个社会的制度结构中，制度包括正式制度和非正式制度。
The relation of inference between the formal system wand the formal system SW is also described.
描述了形式系统W与形式系统SW形式推理之间的关系。
EMS has begun design of early prototype units and is preparing for the formal system requirements review later this year.
EMS公司已开始设计初样单元，并准备在2008年底进行系统定型需求评审。
Through these analyses, we believe that the two's conflict is between the formal system and its environment conflict, can be integrated.
通过这些剖析，本文认为，二者的冲突是正式轨制与其环境之间的冲突，是可以整合的。
Deficiencies and weaknesses of the informal system, destined only the formal system can solve the flow of information in national governance.
在国家治理的视角下，国家治理模式的选择本身就框定了信息流通的方式。
It proposes that there are at least five important syntactic and stylistic properties in written Chinese: 1) the development of the formal system;
文章认为，汉语书面语至少具有以下五个方面的特征，即：表达正式的语体功能；
During the development iterations, a subset of stress-related and memory leak defects were removed before the formal system test entry time due to the early testing by the system test core team.
在开发迭代中，由于系统测试核心团队早期的测试，与压力相关的及内存泄漏缺陷的子集在正式的系统测试开始之前就被除掉了。
Maitland offered one reason: the subject requires researchers to "master an extremely formal system of pleading and procedure".
梅特兰给出了一个理由：这一课题要求研究人员“掌握一套极其正式的答辩程序系统”。
A survey by American Councils for International Education showed that there were 227,086 Chinese learners across the formal US education system, making Chinese the third most popular language being studied.
美国国际教育委员会的一项调查显示，在美国的整个正规教育体系中，有227，086名学习中文的人，使中文成为第三大最受欢迎的语言学习。
The articles have also discussed an approach to a formal representation of user interfaces linked with system analysis.
本文还讨论了一种用户接口同系统分析相链接的正式的表示法。
They were first rehabilitated in a special residential school, then once they had caught up with others their age, mainstreamed into the formal school system.
他们先在一个特殊的寄宿学校改造，到赶上了其他同龄人之后，就进入了正规的教育体制。
The system test environment is a carefully controlled formal test environment.
系统测试环境是精心控制的正式测试环境。
Usually, we try to represent the architecture of a system through a formal model, and, usually, this model is articulated in UML, using a tool to create the various perspectives mentioned above.
通常，我们尝试通过正式的模型表示系统的体系结构，而此模型通常采用UML进行说明，使用工具来创建上面提到的各种透视图。
One way to ensure this is to integrate traditional medicine into the formal health system, thus ensuring better safety and adequate follow-up for patients.
确保这一做法的一种方式是将传统医学纳入正规卫生系统，从而保证提高安全性并对病人进行适当的观察。
A formal description of a system, or a detailed plan of the system at component level to guide its implementation.
系统的正式描述，或用于指导其实现的组件级别的系统详细计划。
Some say that a formal debt-restructuring system will raise the cost of borrowing and frighten skittish markets.
有人说一个正式的债务重组系统将会提高借贷的成本并且吓坏惊弓之鸟一般的市场。
And second, there should be some system of formal judicial review to determine whether the evidence against someone is sufficiently strong to make that person a target for assassination.
第二，必须有某种正式的司法评审系统来判定把某人定为刺杀对象的证据是否足够确凿。
For example, a change of address or marital status may require production of formal documentation, and the system will be required to record the details — or scanned copies — of the documents.
例如，更改地址或婚姻状况可以要求生成正式的文档，而将要求系统记录该文档的详细信息——或扫描版本。
This ensures a more formal and system-supported agreement of key terminology early on in the project.
这有助于确保在项目早期建立关键术语的正式定义并提供系统支持。
The introduction of the formal traces between the business and the system models allow development to understand the impact on the system (s) caused by a change in the business needs.
业务与系统模型间形式化跟踪的引入可以让我们理解业务所需的改变对系统的影响。
Little information was available on formal criminal justice procedures and practices, and outside access to the legal system was limited to trials for traffic violations and other minor offenses.
——译者进行惩治。正式的刑事司法程序和实践中可以获知的信息非常少，而外界对法律系统的了解也仅限于对违反交通规则和其他轻罪的审判。
The formal public security structure was augmented by a pervasive system of informers throughout the society.
原来的公共安架构已经被提升为全社会遍布告密者的普遍体系。
The formal public security structure was augmented by a pervasive system of informers throughout the society.
原来的公共安架构已经被提升为全社会遍布告密者的普遍体系。
The formal public security structure was augmented by a pervasive system of informers throughout the society. Surveillance of citizens, both physical and electronic, was routine.
原来的公共安架构已经被提升为全社会遍布告密者的普遍体系。对公民物理/人身和电子上的监视都成了常事。
Formal documentation of system semantics (through modeling) will increase software quality and extend the useful lifetime of designs (thereby increasing ROI).
系统语义的正式文档(通过建模)将提高软件质量，延长设计的有效生命周期(从而提高roi)。
You can then use these models in formal analysis, simulation, and prototyping to explore predicted system behavior and in documentation or reviews to communicate the system's capabilities and feel.
然后，您可以在形式化的分析、模拟和原型设计中使用这些模型，以研究预期的系统行为，并且可以在编写文档或总结时使用这些模型，以便就系统的性能和外观进行交流。
The development effort for an enterprise Web application is typically very formal with requirements definition, design, development, functional and system testing, and deployment stages.
开发企业Web应用程序时，需求定义、设计、开发、功能和系统测试，以及部署阶段都是很正式的。
The system met all contractual requirements during formal evaluation by Lockheed Martin program officials.
测试结果显示，该系统满足洛克西德·马丁公司项目官员先前评估时所提出的所有合同需求。
Historically, there never was a formal source code management or revision control system for the Linux kernel.
历史上，从来没有出现过用于Linux内核的正式的源代码管理或修正控制系统。
应用推荐