片语

formal representation system形式表征体系

formal rule system形式规则系统

formal financing system正式融资制度

formal logical system形式逻辑系统

formal road system规整式道路系统

formal examination system正规的考试体系

formal l system规范化管理系统

英汉例句

• formal system which includes shaanxi employment system manufacturers, marketing systems, financial management and the chamber of commerce organizations.

  其中正式制度包括陜商的用人制度、采销制度、资金管理和商会组织等。

• this dissertation presents a formal system of cooperation.

  提出了一种描述主体协作的形式系统。

• the system of teaching about the past means that we have a formal system for transmitting our whole legal culture from one generation to the next.

  教先例的传统意味着我们有一个正式的制度向下一代传承我们整个的法律文化。

• interface automata is a new formal system used to specify components and interaction among them in the component-based system.

  接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具。

• in a social system structure, the system includes the formal system and the informal one.

  在一个社会的制度结构中，制度包括正式制度和非正式制度。

• the application of p. ricoeur's requirements of text to the basic text of science, i. e. formal system and scientific fact, clearly displays the hermeneutic meaning of scientific text.

  将保罗·利科的文本条件运用于科学的基本文本，即形式系统和科学事实，就可以发掘出科学文本的解释学意义。

• the complementary definition method based on the frame can be used to be the description method of formal system used in automated software testing.

  基于框架的互补定义的形式描述方法可以作为用于软件测试自动化的形式系统的描述方法。

• this is understandable because the rule of excluded middle or the core rule of the formal system does not apply to natural languages.

  因为形式语言的意义是确定的，所以排中律作为形式逻辑系统的基本原则绝对有效。

• simon (1947) conjectures that weakness of the formal system of communications and failure to secure adequate coordination through that system probably encourages the development of cliques.

  simon（1947）推测认为，正式沟通体系的缺陷以及不能通过这种体系来确保适当的协调可能会助长派系的发展。

• under this condition, using situation semantics to rebuild modal logic, trying to develop a formal system which is dynamically sensitive and mathematically rigor, determines one of the basic trends…

  在这样的情况下，用情境语义学来改造模态逻辑，努力构造一种动态敏感且数学上严格的形式系统，就决定了今后逻辑发展的基本走势之一。

• according to the theory of modern new system economics, the motion of a social activity depends on the resultant forces of formal system arrangement and informal system arrangement.

  根据现代新制度经济学理论，一项社会活动的运行是正式制度安排与非正式制度安排合理作用的结果。

• the consistency of a formal system of arithmetic cannot be proved by means formalizable within that system.

  算术的形式系统的自洽性不可能通过该系统的形式化途径而得到证明。

• this paper deals with the formal system of propositional calculus of medium logic (mp).

  本文讨论了中介逻辑命题演算（mp）的形式系统。

• dt part ii 「formal syntactic proof」 show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning.

  dt第二部分「正式的句法的证据」显示你，在一个形式系统内运算，在那里你被形状指导并且从未需要考虑意思。

• incompleteness theorem show that if a strong formal system is consistent, there is a sentence which is true but nor provable.

  不完全性定理是说如果足够丰富的形式系统是和谐的，那么存在可以形式表述的真命题不可在系统中证明。

• the second, third chapters are key points of this article, studies the content and formal system of 「 morning news 」.

  第二、三章是本文的重点，研究《朝闻天下》的内容和形式系统。

• the ancient water right system relied mainly on national formal system along with informal systems such as folk regulations.

  古代的水权制度以国家正式制度为主，以乡规民约等非正式制度为补充；

• 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.

  在开发迭代中，由于系统测试核心团队早期的测试，与压力相关的及内存泄漏缺陷的子集在正式的系统测试开始之前就被除掉了。

• a series of properties of generalized tautologies of the central limit formal system of universal logic are discussed.

  论文对泛逻辑的广义重言式理论进行研究，给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。

• organizational behavior modification - a formal system of behavioral feedback and reinforcement.

  组织行为修正法–一套正式的行为反馈于强化系统。

• university governance includes two aspects as inner governance and exterior governance. in addition to formal system arrangement, the culture and faith play an important role in university governance.

  大学治理包含内部治理和外部治理两个方面，除正式制度安排外，文化理念在大学治理中占有至关重要的地位。

• secondly, it can supply formal system to erect the status of trust industry, notarize the current of mixed management in trust business, and offer the trust transaction mode.

  第二，明确信托业应有的市场地位、确认实践中信托业由各金融机构「混业经营」趋势、为信托业发展提供交易模式指导等，都需要《信托业法》提供正式制度安排；