查询词典 logic of relation

In this paper, we discuss some kinds of special filters and congruence relation in fuzzy algebraic system MTL which is used extensively. The conceptions of the special filter are fuzzified in terms of the fuzzy set of Zadehs theories and further study them by way of logic algebra of n-value.

本文在具有广泛应用的模糊逻辑代数系统MTL-代数中，讨论了几类特殊滤子和同余关系，并且进一步用多值逻辑代数的方法研究它们。

WT9.BZ: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system. The main results are as follows: congruence about on set of logic formulas F has been obtained in the system; it is proved that in this system, for any irrational number α, there does not exist accessible α-tautology; and for any real number α, there does not exist accessible α+-tautology; and the relation theorems have been given between categori...

将逻辑系统 W ，W ，Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中，主要结果是：得到了逻辑公式集F在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

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.

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

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不仅是一个展示信息的平台，而且可以由机器理解并做推理。

Some new basic concepts are proposed in this paper, including the approximation space of generalization, rough approximation axiom, disturbance set axiom, classification principle of rough set, principle of nondeterministic even set, principle classification, bit quantum symmetric classification, of concentration, game classification, quantum logic incomparable set, bit space set, protocol relation, rough set function of protocol relation, rough classification algebra, rough simple algebra, etc., and a guess is also proposed.

提出了广义近似空间、粗近似公理、干扰集公理、粗糙集的分类原则、粗选原则、不确定偶集原则、精选原则、对策分类、量子逻辑分类、bit量子对称分类、不可比集、bit空间集、协议关系、粗糙集函数、粗糙分类代数和粗糙单代数等基本概念，并提出了一个猜想；展示了一些新观点；基于协议关系构造了粗糙商代数和粗糙子代数，给出了回避-归并算法及算例。

In order to overcome the difficulty in estimating the ripple component on dc-side capacitor reference voltage, the modified control algorithm is proposed by ignoring the ripple component. Furthermore, the relation between control performance and damping coefficient is researched. In addition, the reasons of voltage source converter inner-loop control overmodulation are also analyzed. Based on the relation between control performance and VSC inner-loop input saturation, damping coefficient is adjusted on-line by fuzzy logic reasoning so that the trade-off between control accuracy and limitation of VSC inner-loop control overmodulation is solved preferably.

由于在线计算直流电容指令电压波动量十分困难，在控制方法的执行中忽略波动量的影响，简化了控制方法的实现；此外，该方法还研究了所注入的阻尼大小对控制效果的影响以及APF内层控制过调制产生的原因，针对无源性控制律跟踪精度的要求与内层控制过调制限幅条件间的矛盾，通过构造模糊逻辑推理环节实现阻尼系数的在线调整，在满足内层控制限幅条件下确保跟踪精度和补偿效果。

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 proof of this interpretation, examples are quoted from scripture, as:"The seven kine are seven years"(Genesis 41:26) or:"Sara and Agar are the two covenants"(Galatians 4:24), Waiving the question whether the verb "to be" of itself can ever be used as the "copula in a figurative relation" or express the "relation of identity in a metaphorical connection", which most logicians deny, the fundamental principles of logic firmly establish this truth, that all propositions may be divided into two great categories, of which the first and most comprehensive denominates a thing as it is in itself (eg "Man is a rational being"), whereas the second designates a thing according as it is used as a sign of something else (eg,"This picture is my father").

在证明这一点的解释，例如引述经文为：&七凯恩斯是七年&（创41：26 ），或者：&萨拉和琼脂是两个人权公约&（加拉太4时24分），免收问题是否动词&，以&的本身都不能被利用为& Copula的一种形象化的关系&或表述&的关系，身份，在一个隐喻性联系&，其中最logicians否认的，基本原则的逻辑，牢固树立了这个真理，即所有的主张，可分为两个大类，其中第一和最全面的denominates一件事情，因为这是在自己（如：&人是一种理性的&），而第二指定事据，因为它是用来作为标志的东西，别人（例如，&这张照片是我爸爸&）。

Classic system of deontic logic is a logic about action whose new development will introduce agent concept and occas-sion concept in this system;at the same time the negative concepts will have different understandings in the deontic system and some special action concepts in relation to the negative concepts will have some special meanings.

道义逻辑的经典系统是关于行动的逻辑。这种逻辑发展的新思路是在其系统中引入主体和场合概念；同时对正规逻辑的否定概念在道义系统中作了不同的理解；和否定概念相关的一些特殊的行动概念在行动逻辑中有其特定的意义。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了