逻辑

Its not only overed Idian logic but also perfected the content of logic and the samely making a new arens of the world logic investigation.

它不但显示了藏传因明论式形式已超越了印度因明的理论事实，而且补充和完善了因明学说的逻辑内容，为世界逻辑研究开辟了新的领域。

The breakthroughs in methods are the following:(1) Rather than scrappily introducing the various techniques of TLG, this paper emphasizes the profound mechanism which functions from the introduction to the modification, and further to the perfection of these techniques;(2) This paper displays the main characteristics and original techniques of TLG by means of its comparison with other theories of language; Section Six illustrates the writing features and frame of this paper.

方法上的突破主要有两点：(1)本文并不是零散地介绍类型—逻辑语法的各种技术手段；而是重在揭示它们从提出、到改进、再到完善的深刻动因；(2)本文通过与其它语言理论相比较的方法来展现类型—逻辑语法的主要特色和创新之处；第六节说明了本文的写作特点和基本框架。

The researches included Logic Reasoning and Rule-based Reasoning. On logic reasoning, we brought about a new approach-data type groups to help reason in descriptive logic SHOQand also added tableaux algorithm to SHOQ.

在逻辑推理领域，结合目前推理研究的发展状况，基于语义Web中比较成熟的SHOQ描述逻辑，提出借助数据类型之间的相关性辅助逻辑推理的思想，并利用Tableaux算法改进描述逻辑SHOQ，为逻辑推理提供帮助。

In this paper, the descriptive semantics of class diagrams, interaction diagrams and state machine diagrams are defined by first order logic formulas. A translation tool is implemented and integrated with the theorem prover SPASS to enable automated reasoning about models.

本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义，并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES，该工具集成了定理证明器SPASS，可以对模型进行自动推理。

A process, is supposed to be able to comprehence the movements of suprahuman, natural

陶东风试译：推论可以逻辑地或辩证地展开；在这两种情况下，它都涉及一种连贯一致的论证过程，由于这种论证是根据过程来思考的，所以，它被假定能够理解超人的、自然的或历史的过程的运动，理解是靠心智对&科学地&确立的运动法则的模仿——或逻辑地或辩证地——达到的，通过模仿的过程，理解和运动法则就被整合为一了。

This paper expounds logical method and historical method are mutual infi-ltration,mutual supplement and mutual transformance in mathematics.

逻辑与历史统一的方法，就是在数学研究中辩证处理逻辑方法和历史方法之间的相互关系。

A knowledge base model based on the combination of the reduced fault tree and the LCU trapezia logic structure is designed after a thorough research on the knowledge base system and the reasoning mechanism of the locomotive fault diagnosis system.

通过对机车故障诊断系统知识库体系和故障诊断推理机制的研究，设计了以简化的电力机车故障树为基础，结合LCU梯形图逻辑构造的知识库原型；应用机车故障诊断双向推理机制，设计并实现了基于LCU处理逻辑的正向推理机以及基于故障树查询的逆向推理机；并以此为基础开发了电力机车远程故障诊断系统的原型，实现了对机车的远程故障诊断。

The existing dichotomous division and trichotomous division of Chinese complex sentence can not meet the needs of description of the relationship of logic-semantic between relation words,for their logic foundation and the basis of the logic of OWL DL vary greatly.

如果要用OWL DL来表达关系词语本体，就必须保证OWL DL对关系词语间逻辑语义关系的描写，这需要外界为OWL DL提供一个具有合适逻辑基础的分类系统。

It is the environment of financial management to decide the change of other elements and it is the financial management objectives as the logic starting point element and the basic clue is the financial management practice activity, so that it can put the tight logic relation of them in order, and construct the new financial management theoretical system after " entry to WTO", which have certain innovative. Secondly, this paper analyses the changes of each elements according to our countrys circumstances, which have certain comprehensive. Thirdly, this paper adheres to unition of theory and practise, and demonstrates in terms of the conditions in our country, which have guidance meaning to the financial management practice.

首先，本文对&入世&后我国企业财务管理理论构成元素进行界定，共包括十二个元素，确定变动点元素是财务管理环境、逻辑起点元素是财务管理目标、基本线索是财务管理实践活动，从而理清它们之间相丘联系和伯互依存的严密逻辑关系，建立新的企业财务管理理论框架，具有一定的创新性；其次，本文结合我国加入＊后的具体国情，对我国企业财务管理理论创新重点进行深入浅出的分析，具有一定的前瞻性：再次，本文坚持理沦性与实践性的统一，立论及论证都紧扣我国的实际情况，对实践有一定的指导意义。

We cannot think anything unlogical,for otherwise we should have to think unlogically.

3.03 我们不能想象出不合逻辑的东西，因为那样一来我们将不得不进行不合逻辑的思维。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。