构造逻辑
- 网络constructive logic
-
揭示了机构中存在有两种不同的构造逻辑:功能合成和功能组建;
Exposed and showed that there are two kinds of the constructive logic in all mechanism : function compounding and function creating .
-
该方法采用逻辑语言描述网络系统参数,使用Prolog逻辑推理引来构造逻辑渗透图模型,能够准确地对网络安全风险进行识别、分析和评估。
The method adopts the formalized logic language to describe network system parameters , uses the Prolog logic reasoning engine to construct LEG .
-
幸好,Scala提供了“组件对象”的概念,它担负起工厂的职责,可以灵活实现构造逻辑。
Fortunately , Scala provides the construct of ' companion objects ' which are designated to take on factory responsibilities , where constructor logic such as autowiring neatly fits in .
-
最后构造逻辑层到概念层的逆向映射规则。
Finally , we present the reverse mapping rules from logical nodes to conceptual nodes .
-
分布式共享存储系统在分布式存储器的基础上构造逻辑上的共享存储模型。
The purpose of distributed shared memory is to build up shared memory model logically on distributed memory .
-
通过封装实例和构造逻辑,你保留对依赖性和你的对象允许的状态的控制。
By encapsulating the instantiation and construction logic , you retain control over the dependencies and the allowable states of your objects .
-
同时,对簇内节点构造逻辑时钟,对时钟漂移进行估计和补偿来提高同步精度和维持时钟的连续性。
At the same time it constructs logical clocks of cluster members to estimated and compensate the clock drift to improve the synchronization accuracy and maintain the continuity of the clock .
-
文中论述了中式住宅形式所具有的识别功能和意境功能,它的生成理应符合特定的功能逻辑、环境逻辑和构造逻辑。
The paper discusses the Chinese domestic forms of identification with the function and mood functions , it generates should meet specific functionality , logical and structural logic of the environment .
-
开发分布共享存储系统的目的是为了在分布式存储器的基础上构造逻辑上的共享存储器模型,对于如何在共享存储器模型的基础上为用户进程构造虚拟空间,传统的分布共享系统并未给予足够的重视。
Traditional DSM systems have just implemented a shared memory model upon a physical distributed memory , they don 't pay enough attention on how to construct process virtual address space upon these shared memory models .
-
凭借构造性逻辑的Kripke语义,给出了在自然语言语义理解过程中增量式构造语义解释模型的方法。
With the Kripke semantic of constructive logic , this paper introduces the method for construction of incremental semantic model in the process of natural language understanding .
-
采用计算机技术构造的逻辑控制单元(LCU)取代电力机车继电器控制电路能够极大地改善机车的控制性能,提高机车运行的可靠性。
Logic control unit based on computer technologies is able to better the control performances of locomotive and improve its reliability dramatically , compared with traditional relay control system .
-
构造性逻辑作为自然语言的模型增长理论
Constructive logic as the theory of model augmentation of natural language
-
形声字构造的逻辑特点分析
Logic characteristic analysis of the ideophone words ' construction
-
详细考察了用于推理的模糊神经网络基本构造及逻辑基础;
Basic structure and logic foundation of fuzzy neural network are inspected in details which can be used in inference .
-
表明了这种直觉主义的构造性逻辑在对陈述的语义值以及意义的阐明上具有更普遍的适用性。
I also illustrate this kind of logic has more general applicability to clarify the semantical value and meaning of statement .
-
第一,认知逻辑理论缺少可操作性,人们不能用能行的方法构造认知逻辑系统定理的证明和根据系统所进行的推演。
Firstly , the epistemic logic lacks of procedural effectivenesss so that people can not construct proofs and deductions effectively according to epistemic logic .
-
在传统自对偶电路实现方法的基础上,提出了一种从门级层次上构造交替逻辑结构中所必须使用的自对偶电路的新方法。
A novel method for the construction of self-dual circuits , which is essential in alternating logic , is proposed based on the original method of constructing self-dual circuits .
-
该构造和连接逻辑通常在XML中提供,但是还有大量其他配置选项。
This construction and wiring logic is typically provided in XML , however there are a number of other configuration options .
-
本文的难点是构造业务的逻辑。
The difficulties of this article are the logical structure of the business .
-
它让您用循环构造和条件逻辑控制程序流,极大地增强了构建过程。
It greatly enhances the build process by letting you control program flow with looping constructs and conditional logic .
-
最优化量子可逆逻辑的关键在于用最小的量子代价自动构造量子可逆逻辑。
The key of optimizing quantum reversible logic lies in automatically constructing quantum reversible logic circuits with the minimal quantum cost .
-
概率逻辑是以概率论和现代演绎逻辑为工具构造归纳推理逻辑的形式演绎系统。
Based on probability theory and modern deductive logic , probability logic is used as a tool to construct the logic of deductive system of the formal inductive reasoning .
-
目前,在可逆逻辑门网络的构造、可逆逻辑综合的算法、规模、优化、代价以及可逆逻辑综合相关应用等方面有许多问题需要解决。
Currently , there are a number of problems to be solved in the network structure of reversible logic gate , reversible logic synthesis algorithm , scale , optimization , cost and the related application of reversible logic synthesis .
-
虽然决策表看上去似乎仍然与以前一样,当时主要用它去构造计算机程序逻辑。
Although the decision table still looks almost the same as years ago , when it was mainly used to construct the logic of computer programs , there have been important changes in content as well as in applications .
-
作者将微观经济主体分为刚性经济主体、柔性经济主体以及半柔性经济主体三种类型,分别构造了其逻辑结构和物理结构,并描述了各种类型经济主体的运作过程。
Then , we have classified those agents into three types : rigid economic agent , flexible economic agent and half-flexible economic agent . Next , we have given their logic structure and physical structure , and described their running course .
-
依据联结词树图规则,我们首先构造出信息流逻辑极小树图系统IS,然后根据不同性质的信息流关系设置不同的R树图规则并构造出IS的不同扩张系统。
Tableau systems of IF logic , which can embody corresponding semantic characteristics , are constructed , the minimal system IS based the connective tableau rules followed by its different extended systems based on the different R rules set up according to the different kinds of IF relationship .
-
这个原则充分地体现在马克思构造《资本论》逻辑系统的方法中。
It is fully displayed in Marx 's method in constructing the logical system of Capital .
-
遇到这些情况时,需要重新构造结构和处理逻辑以避免发生此类问题。
In these cases you may need to refactor your orchestration or processing logic to avoid this scenario .
-
另外,根据本系统对钠离子、镁离子和锌离子的不同响应,设计构造了三个逻辑门,延伸了本荧光传感体系在信息科学上的应用。
According to the different response behavior to sodium ion , magnesium ion and zinc ion , two logic gates were designed , which stretched the application of this fluorescence system into information technology .
-
亲属关系知识可以存储入知识库,作者设计了库结构,构造了亲属关系逻辑推理专家系统的模型及本系统的计算机处理流程。
The KR knowledge can be stored into knowledge base , and the paper designs the structures of some KR knowledge bases and puts up the model of KR logical reasoning expert system and computer-processing .