数学是逻辑程序与归纳程序的辩证统一。
Mathematics is a dialectical unity of logic and inductive procedures.
有一些商定的最佳实践构建梯形逻辑程序吗？
Are there some agreed upon best practices for structuring ladder logic programs?
粒度控制是逻辑程序并行执行的重要问题之一。
Granularity control is a main problem of parallel execution of logic programs.
它存储指令、指令的逻辑程序次序和指令在组中的完成次序。
It stores the instruction, the logical program order of instructions, and the completion order of instructions in the group.
也有报道说其实有某些方法可以欺骗机器人的逻辑程序。
It has been reported that there are ways to trick the robots' logic programming.
先将安全策略用一个优先逻辑程序表示，然后计算其语义。
Translates security policy into a prioritized logic program, and then computes its semantics.
本文描述了采用静态数据分析实现逻辑程序“与”并行的方法。
This paper presents a method to execute logic programs in AND - parallelism based on static data analysis.
HATS业务逻辑程序使用Atomfeed库构造 feed。
The HATS business logic program constructs the feed using the Atom feed library.
在层次逻辑程序中，该类回答集语义都退化为普通的回答集语义。
Furthermore, in ordered stratified logic programs, all of the nine answer set semantics become the normal answer set semantics.
以减少存储空间消耗为主要目标，讨论逻辑程序设计的结构优化。
This paper discusses the optimizing configuration of the Logic Programming, taking the reduction of memory space consumption as the main goal.
在逻辑程序AND并行性的开发中，模式识别有着极为重要的作用。
Mode inference is very important for exploiting AND parallelism in Logic Programs.
本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。
This paper describes the current state of research on parallelism of logic programs and the ways of parallel execution of logic programs.
如果逻辑程序严格的用于页面表现，那么它在模板里不会出现问题。
There is no problem with logic in your templates under the condition that this logic is strictly for presentation.
FPGA作为控制核心，其逻辑程序设计也是本文重点介绍的对象。
The dissertation introduces not only PCI bus protocol and PCI9054 in detail, but also the FPGA logic design.
一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。
General logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.
书面呈现的是演绎的逻辑程序，而实际的心理过程却是归纳的探究程序。
Its written forms are logic procedures, and its practical mental processes are inductive procedures of inquiring.
在物理平面中，包含业务控制功能(SCF)的物理实体执行业务逻辑程序。
In physical plane, Service logic programs may be installed into and executed by any physical entity that contains that Service Control function (SCF) functional entity.
从法律逻辑程序和执法的正义性等方面，也可认定鲍细娅断案的公正与合理。
Also, this paper maintains the rationalization and fairness of Portias deciding the case from the viewpoint of the modem legal system, legal logic procedures a.
运用这些控制规则可以大大地提高系统的运行效率或改善逻辑程序的语义性质。
With the use of these rules, the efficiency of logic programming system and the semantics of logic programming language can be improved.
这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。
Some of such query languages are based on algebra, some are based on calculations, others are based on logic programming.
基于逻辑程序的稳定模型语义学，用稳定模型语义计算作为新的淋巴细胞的匹配算法。
As the semantics model of logic program, the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens.
针对归纳逻辑程序设计中学习子句所遇到的较大搜索空间问题，提出子句模板的概念。
For the larger search space when learning clause in Inductive Logic Programming, we defined the clause template.
首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。
This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.
这种描述方法是分析逻辑程序的一种有效的工具，它可帮助我们理解和调试给定的逻辑程序。
This method is an effective tool for analysing logic programs. It can help us understand and debug given logic programs.
每个单元功能设计成允许装配一个由逻辑程序控制器控制的拥有高度友好用户界面的控制面板。
The functional design of each unit allows it to be equipped with a control panel using a programmable logic controller with an operator interface for a highly user-friendly operation.
由于逻辑程序的可分解属性具有不确定性，因此寻找适用范围更广的分解算法有待于进一步研究。
Because the factorization attribute of logic program possess the property of uncertainty , exploring the fargoing factorizing algorithm need further study.
本文提出了一种从正负例和背景知识学习含有约束原子的一阶谓词公式的归纳逻辑程序设计方法。
In the field of Machine Learning, this thesis is presents new method to learn constraint atoms from positive and negative examples in first-order predicate, based on developed ILP system.
PARLOG语言是一种适合于并行逻辑程序设计的语言，广泛应用于人工智能及并行处理等领域。
The PARLOG is a parallel logic programming language, having a prospective application future -in Al and parallel processing area.
通过编译将逻辑程序的子句转换成执行图表达式。执行时，只需简单的测试即可进行“与”并行求解。
A clause of logic programs is transformed into an execution graph expression through compilation With simple test at run-time, execution in AND-parallelism can be available.
通过编译将逻辑程序的子句转换成执行图表达式。执行时，只需简单的测试即可进行“与”并行求解。
A clause of logic programs is transformed into an execution graph expression through compilation With simple test at run-time, execution in AND-parallelism can be available.
应用推荐