One of the reasons lies in normative logic itself, such as in its paradox orin its inconvincible system.
原因之一在于规范逻辑本身，例如其悖论或难以信服的系统。
Known actors usually find their way, in some form, into the logic of the system; anonymous actors may as well.
已知的参与者通常在系统的逻辑中能有某种形式的体现；匿名参与者也一样。
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
A common architectural strategy is to layer your system, separating your user interface logic, business logic, system logic, and persistence logic from each other.
通常的构造策略是将系统分层，将用户界面逻辑、商业逻辑、系统逻辑和持久性逻辑彼此分开。
Don't replicate business logic, automate along system boundaries, don't check business logic through the UI.
不要复制业务逻辑，根据系统边界进行自动化，不要用UI层去验证业务逻辑。
However, doing this tightly couples the display logic with a particular RDBM system.
然而，这样做就使显示逻辑和特定的RDBM系统紧耦合。
Rules are different from use-case behaviors in that they describe business logic, rather than system behavior.
规则间的差异在于描述业务逻辑的用例行为（而非系统行为）方面。
From the works included in the exhibition one discerns a more rigorous state of art on the artists, whose means of production and ideas have both entered a more meticulous logic system.
在本次展览将展出的作品中，我们可以看到艺术家所呈现的一种更为严谨的艺术状态，创作手法和思想意念都进入一种更为缜密的逻辑体系。
The temporal logic system is proposed to describe the concepts of faults, inter the attributes of faults with their correlation and classes, and predict what faults will happen.
提出采用时序逻辑系统描述故障的概念，推演故障的性质和相互关系，对故障进行分类，并预测将要发生的故障。
This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.
这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。
XYZ/E is a temporal logic system as well as a programming language. It can represent almost every kind of significant features in conventional imperative languages.
既是一个时序逻辑系统也是一个程序设计语言，它能表示普通高级语言中几乎所有的重要机制。
The purpose of the law is not the successful pursuit of the logic system, but to provide an act of rules and guidelines for resolving disputes.
而法律的目的不是追求逻辑体系的圆满，而是提供一种行为规则和解决纷争的准则。
The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.
探讨了模态逻辑系统s5的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
Description logic system offer a set of typical inference services, such as the classification, satisfaction and realization of concept, knowledge consistency checking, etc.
描述逻辑系统可以提供一些典型的推理服务，例如，概念分类、概念的可满足性、概念的实现和知识的一致性检测等。
The formalization is realized as two levels: the ground level is a basic logic system, which describes some basic concepts such as action, knowledge, capability, and goal.
形式化工作被分为两个层次：底层是基本的逻辑体系，刻画了动作，知识，能力，目标等基本概念。
Now what the people widely use is the SDL system (standard deontic logic system), but the SDL system receives a series of paradoxes, in which most lets the logician headache is the CTD paradox.
现在人们广泛使用的是SDL系统(标准道义逻辑系统)，但SDL系统都受到一系列悖论的困扰，其中最让逻辑学家头痛的就是CTD悖论。
In this paper, adaptive fuzzy control theory is led into the research field of vibration control engineering, and an on line self study method based on fuzzy logic system is proposed.
将自适应模糊控制理论引入振动控制工程领域，提出了一种基于模糊逻辑系统的在线自学习控制方法。
In view of this situation, common law and civil law have adopted the different regulations method which is based on the different value judgment and the legal logic system.
针对这种情形，英美法系和大陆法系基于不同的价值判断和法律逻辑体系采取了不同的规制方法。
The ANFIS design method is a blend intelligent system which combines the Fuzzy Logic system (FLS) and the Annual Neural Network (ANN) and USES their's strongpoints.
ANFIS设计方法是一种将模糊逻辑系统(FLS)和人工神经网络系统(ann)相结合，利用两者各自的优点所形成的混合智能系统。
Aristotle states the individual essence according to strict logic system, thus it leads to an inner tension between the universality of definition and the particularity of individual.
亚里士多德把对个体本质的言说以严格的逻辑系统进行展开，从而在定义的普遍性与个体的特殊性之间形成了内在的张力。
Eighth part of the "principle of legality in the present implementation of the" is necessary for the content of this logic system.
第八部分“罪刑法定原则在当下的实施”则是本文逻辑体系的必要内容。
Based on these, the notion of generalized H-valuation in logic system UL is introduced, and the reliability theorem of UL on generalized H-valuation is proved.
以此为基础，对泛逻辑基本形式系统UL中的H -赋值进行了拓广，引入了广义h -赋值概念，证明了UL在广义h -赋值之下可靠性定理成立。
Chapter two deducts the whole logic system of the Ho-shang Kung Commentaries on the Lao Tzu.
第二章展开《河上公注》思想体系的逻辑推衍全过程。
That discretional close in upon nonlinear system is the theoretic gist of fuzzy logic system to identify process of complicated industry and educe reasonable control.
对非线性系统的任意逼近性是模糊逻辑系统能够用来辨识复杂工业过程、给出合理控制的理论依据。
Hybrid fuzzy logic method used fuzzy rules and crisp data to identify a fuzzy logic system.
混合模糊逻辑方法就是利用模糊规则和对象输入输出的观测数据来辨识一个模糊逻辑系统。
An effective network learning method is formed by combining GA, BP algorithms with fuzzy logic system.
将模糊逻辑系统、GA算法与BP算法相结合，形成一种有效网络学习方法。
In terms of the authors sketch of design and verification of safety programs, a pointer logic system is designed for a subset of C-like language.
文中根据作者所设想的安全程序的设计和证明框架，为类c语言的一个子集设计了一个指针逻辑系统。
The problem is the methods are discrete and unable to help associate the memory vocabulary into a logic system.
问题的根本在于这些方法是零散的，未能使记忆后的词汇形成一个在逻辑上相互联系的整体。
The latter aspects include: (1), The difficult in Reichenbach's probability logic system, which mainly come from: how to determine single event's probability;
包括：1、赖欣巴哈的概率逻辑系统的困难，这些因难主要来自：如何确定单个事件的概率；
The latter aspects include: (1), The difficult in Reichenbach's probability logic system, which mainly come from: how to determine single event's probability;
包括：1、赖欣巴哈的概率逻辑系统的困难，这些因难主要来自：如何确定单个事件的概率；
应用推荐