查询词典 predicate logic

In order to describe the dynamic and complicated process model exactly, we propose the logic situation calculus based on the expanding the situation calculus and describe the virtual enterprise in this formal logic framework.

为了准确地描述虚拟企业这种动态的、复杂的建模过程，我们对情景演算这种形式化逻辑框架进行扩展，提出了逻辑情景演算，并以逻辑情景演算来描述虚拟企业的运作过程。

In the meantime, we also can change the status of the logic situations and describe the allying process and cooperative process. In addition, we represent the virtual enterprise ontology in the formal logic situation calculus and can define the core elements more accurately. It maintains the consistency and integrality of the ontology. Accordingly, the process model based on the ontology will have strong reusability, accessibility and consistency.

相应地，我们可通过逻辑情景演算这种形式化逻辑框架来表示虚拟企业本体论，以支持虚拟企业本体论中核心术语的更精确定义，维持其一致性和完整性；进而，构建于该本体论之上的虚拟企业过程模型就具有很强的重用性和可访问性，并能够保持建模过程的一致性。

At present most of the lift elevator control system logic control system using PLC logic control Circuit.

由于目前大部分电梯控制系统电梯运行逻辑控制系统采用的是PLC逻辑控制线路。

LOGIC DIAGRAM, A diagram that uses logic gates to represent the function of a control circuit.

逻辑电路示意图，一个用逻辑门来示意控制线路功能的图。

This paper firstly introduced the systemtic composition of logic analysis card, which is designed independently, and attached the logic frame diagram of each module.

介绍了自行设计逻辑分析卡的系统构成，给出各个功能模块的逻辑框图。

As a logic optimization method,the Boolean algebra was introduced for the analysis and simplification of complicated logic diagram and on-off control system.

本文通过火电厂开关量控制系统优化设计的分析，对逻辑优化的基本方法进行初步探讨。1容错逻辑设计方法仅根据被控设备的工艺要求设计逻辑，往往经不起实际运行的考验。

A monostable-bistable transition logic element, employing two NDR devices connected in series, is a functional logic gate.

在本论文中我们亦介绍了以单稳态-双稳态传输逻辑闸架构而成的多逻辑闸电路。

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.

首先，本文对"入世"后我国企业财务管理理论构成元素进行界定，共包括十二个元素，确定变动点元素是财务管理环境、逻辑起点元素是财务管理目标、基本线索是财务管理实践活动，从而理清它们之间相丘联系和伯互依存的严密逻辑关系，建立新的企业财务管理理论框架，具有一定的创新性

Based on research the MVC design pattern and the technical features of Silverlight, designed the game with Silverlight and MVC pattern, in order to reduce application coupling degree ,used the observer model to separate the game element performance logic from the program logic.

在研究MVC软件设计模式和Silverlight技术特点的基础上，选用Silverlight技术设计在线互动游戏，并引入MVC的软件设计模式，使用观察者模型，实现游戏元素表现逻辑和控制逻辑的分离，降低应用程序耦合度。

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.

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

For every one of my New Year resolutions, I have been a backslider for years.

说到我的新年决心，我每年都做

With empathy and focus on a feeling level, we can all relate to the common ground of mutuality of emotions.

有了同情心和感觉上一级的重点，我们都可以涉及到相互的情感共同点。