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.
而法律的目的不是追求逻辑体系的圆满,而是提供一种行为规则和解决纷争的准则。
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.
亚里士多德把对个体本质的言说以严格的逻辑系统进行展开,从而在定义的普遍性与个体的特殊性之间形成了内在的张力。
A logic system bears the characters of its own, of which some are in common with and some are particular to the others for they came out from different historical and cultural backgrounds.
基于不同历史文化背景而形成的不同逻辑传统,既有共同性,又有特殊性。
Application of truth matrix to analyze a logic circuit is intuitive and simple, and the results may lead to the derivation of some identical relations of certain symmetrical ternary logic system.
应用真值矩阵分析逻辑电路具有直观、简便的优点,并可由其运算结果导出一些对称三值逻辑运算的恒等式。
Disturbance compensation problem is solved by an adaptive fuzzy logic system.
通过自适应模糊控制解决了扰动补偿问题。
T-norm and residuated lattice are important tools for researching fuzzy logic system.
三角模、剩余格理论是研究模糊逻辑系统的重要工具。
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算法相结合,形成一种有效网络学习方法。
The paper proposes a new risk assessment method for submarine rescue based on the fuzzy -logic system.
提出一种基于模糊逻辑系统的援潜救生风险评估方法。
The problem is the methods are discrete and unable to help associate the memory vocabulary into a logic system.
问题的根本在于这些方法是零散的,未能使记忆后的词汇形成一个在逻辑上相互联系的整体。
The article also indicated the structure and feature of the safety logic system from the view of factory-safety protection.
从工厂安全保护的角度分析了安全逻辑系统的结构和特点。
This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.
这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。
From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.
本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画。
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语言的一个子集设计了一个指针逻辑系统。
This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.
本文从命题逻辑公式的相似度入手,研究命题逻辑公式集上的伪距离和近似推理。
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 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的运算子性质,进而证明关于它的本原运算子集的一个定理,并给出一些推论。
MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.
MP~M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统。
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.
形式化工作被分为两个层次:底层是基本的逻辑体系,刻画了动作,知识,能力,目标等基本概念。
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.
针对这种情形,英美法系和大陆法系基于不同的价值判断和法律逻辑体系采取了不同的规制方法。
Description logic system offer a set of typical inference services, such as the classification, satisfaction and realization of concept, knowledge consistency checking, etc.
描述逻辑系统可以提供一些典型的推理服务,例如,概念分类、概念的可满足性、概念的实现和知识的一致性检测等。
For realizing symbolic substitution rules of binary addition. This paper proposes a simple optical logic system which includes only one 2-d array of optical bistable device.
为了实现二进制加法符号替换规律,本文提出了一种简单的光逻辑系统,它仅包括一片二维列阵光学双稳器件。
The traditional Analytical School thinks the law rule is a self-sufficient logic system, and the law rule system oneself was certain and united to provide an explicit answer.
传统分析法学派认为法律规则是一个自给自足的逻辑体系,法律规则自身是确定与统一的并提供了明确的答案。
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.
提出采用时序逻辑系统描述故障的概念,推演故障的性质和相互关系,对故障进行分类,并预测将要发生的故障。
As an example of refinement of detail: A logic system may have two opposing inputs, e. g. , a command to open and a command to close, which do not normally exist simultaneously;
作为细节改进的示例:逻辑系统可以具有两个相反的输入,例如,通常不同时存在的打开命令和关闭命令;
Holding different comprehending toward the starting point of historical materialism will lead to grasp and arrange the whole logic system of historical materialism with differences.
对唯物史观出发点的理解不同,对其整个逻辑体系的把握和安排也大不一样。
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.
将自适应模糊控制理论引入振动控制工程领域,提出了一种基于模糊逻辑系统的在线自学习控制方法。
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.
在本次展览将展出的作品中,我们可以看到艺术家所呈现的一种更为严谨的艺术状态,创作手法和思想意念都进入一种更为缜密的逻辑体系。
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悖论。
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悖论。
应用推荐