查询词典 logic element

Discuss the relationship between fuzzy logic and probabilistic logic by comparing PL with the fuzzy logic based on distributive lattice with a boundary element and make clear some indiscriminations about this problem.

7给出值域为布尔代数的格值逻辑的概率解释；相对于值域为含分界元分配格的模糊逻辑作比较，讨论了模糊逻辑和概率逻辑的密切关系和根本区别，并据此澄清了逻辑文献中关于这一问题的某些混淆。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

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.

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

In this paper, description logic is used as the formal foundation of OWL DL, the corresponding relation between OWL DL and description logic is analyzed, every element of OWL DL is interpreted with the semantics of description logic.

针对上述问题，Tim Berners- L ee提出了语义 Web[1 ，2 ] ，它是现有Web的扩展，使得 Web不仅是一个展示信息的平台，而且可以由机器理解并做推理。

Next, combinative accident establishs a model, make the logic between the risk element of large dams concerns diversity, apply Vague market theory to undertake blurring changing handling to the relation between risk element, use objective data to undertake evaluating, make an evaluation more objective.

然后，结合事故树模型，使大坝的风险元素间的逻辑关系多元化，并对风险元素间的关系应用Vague集理论进行模糊化处理，利用客观数据进行评价，使评价更加客观。

Administrative jurisprudence analyse logic fundamentally moves forward from subject and object logical relation,state will expression and state will ution logical relation,individual and public interest logical relation,behavior regulation and standard system logical relation,involved element and designed element logical relation.

行政法学分析逻辑的基本进路包括从主体与客体的逻辑关系进行分析、从表达国家意志与执行国家意志的逻辑关系进行分析、从个体利益与公共利益的逻辑关系进行分析、从行为规则与规范体系的逻辑关系进行分析、从介入元素与设计元素的逻辑关系进行分析。

An element of the array is accessed by its index while an element is obtained in memory by its address. So the conversion method from array index to memory address must be generated. In this paper, a novel algorithm of address generation using logic operation for multidimensional array is proposed.

行为级描述中通过数组下标对数组元素进行操作，而存储器的操作要通过存储单元地址来实现，因此需要将数组元素的下标转换成对应的存储单元的地址。

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.

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

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。