逻辑编程

WEBService是使用标准网络协议可以访问的应用程序逻辑编程接口，可以简化客户端与服务端的交互。

Web Service is the application procedure logic programming connection which the use standard network protocol may visit , may simplify the client side and the service end interactive .

CSP逻辑编程中一种约束评价的动态控制方法

A dynamic method of controlling constraint evaluation for the CSP logic programming

逻辑编程（LogicProgramming）是知识表示中常见的陈述性方法，它是上世纪70年代在自动化推理研究的基础上发展起来的。

Logic programming , which was developed in the early 1970 's based on work in automated reasoning , is a common declarative method in knowledge representation .

逻辑编程语言PROLOG及其系统设计原理

Logic Programming Language-PROLOG and the Principle of Its System

该课题利用红外检测、计算机网络通讯、PLC逻辑编程控制、IC卡作业管理、机械连锁等技术，对整备作业过程实行人机安全联控。

The project also adopted such technologies as follows : infrared ray detecting , computer network communication , and PLC programmable logical control , IC working management , mechanical interlocking etc.

基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法，利用该方法可以对密码协议的安全性质以程序化的方式进行验证。

Based on the Spi calculus and the logic programming rules , a new technique is presented to verify cryptographic protocols .

基于逻辑编程的EKE协议分析

EKE Protocols Analysis Based on Logic Programming

归纳逻辑编程（ILP）借助一阶谓词逻辑的强大描述能力，可以自然地表述各种特征，将其整合到一个逻辑框架下，从中学习目标关系。

Inductive logic programming based on first-order logic has great expressivity , with which features can be represented in an integrated framework .

提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法。

This paper proposes a new approach for dealing with wide data in automatic simulating stimuli generation using constraint logic programming ( CLP ) .

CLP兼有逻辑编程和约束求解的能力，这使其在设计验证方面具有某些优势，尤其是对于高层次设计的验证。

CLP obtains powers from logic programming and constraint solving , which endows it with some advantages in design validation , especially in high-level design .

介绍了一种分散型控制系统（DCS）逻辑编程完成顺序控制的方法，并具体介绍了如何用该系统的基本逻辑实现间歇式聚醚生产装置复杂的批量控制。

This paper introduces a method of completing sequence control by logical compiling of routine in distributed control system , and how to use the basic logic to realizing complex batch control of intermittent polyether production unit .

作为该类编程技术的核心，AnswerSet语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。

Constrasted with other semantics theories of nonmonotonic logic programming , Answer Set semantics , the kernel of Answer Set programming technology , is concise and simple , and fully utilizes the fruits acquired by the logic programming community , and effectively realizes nonmonotonic reasoning of the logic program .

在本论文中应用逻辑编程对GAL进行设计，管脚可灵活定义，使电路结构紧凑，连线简单。4.提出了识别DTMF的设计方法。

I use logical program to design GAL in this dissertation , the pin can defined agility , this made the structure of circuit compactly and connect simply . Finally , an approach to recognize DTMF is proposed .

然而，已存在DOOD查询语言提议要求用户有编程技巧（经常是逻辑编程和面向对象编程技巧）。

However , those proposals of existing DOOD query language request the customer mastering the programing technique ( logic programing technique and object_oriented technique ) .

本文阐述了应用FY85－Ⅲ型立体定向仪辅以EL－506H计算器对颅内异物的三维空间坐标值进行逻辑编程处理实行颅内异物定位的方法。

This article narrated a way in which using FY85 ⅲ stereoscopical direction equipment and PHOENIX comput aided to three dimensional space coordinate of the foreign matter in the head , to carry out with logical program .

基于逻辑编程的安全策略分析系统设计及其关键技术研究

The Design and Research of Policy Analysis System Based on Logic Programming

计算机逻辑编程技术在谱仪触发判选系统中的应用

The Application of Computer Logic Design in the Trigger System

约束逻辑编程中宽数据算术运算算法

Wide Data Arithmetic Operation Algorithms for Constraint Logic Programming

一种基于逻辑编程的防火墙规则形式化分析方法

Logic Programming Based Formal Analysis Method of Firewall Rules

基于归纳逻辑编程的多槽信息抽取规则自动学习方法

An Automatic Rule Learning Method Based on Inductive Logic Programming for Multi-slot Information Extraction

业务逻辑编程的复杂性。

Complexity of business logic programming .

本文在归纳逻辑编程的框架下提出了一种多槽规则自动获取方法，解决了信息抽取中知识获取和知识表示的瓶颈问题。

In this paper we put forward an automatic multi-slot rale acquisition method under the ILP framework and solved the knowledge acquisition and representation bottleneck .

但是，经典逻辑编程是基于二值逻辑的，它不适合于描述现实世界中的不确定、不精确或模糊信息。

However , it is based on two-valued logic and it is not well-suited to model uncertain , imprecise and vague information in real-world problem .

该备用电源自投保护装置具有硬件先进、实现备用电源自投动作逻辑编程简单和直观清晰等优点。

The automatic bus transfer equipment is advanced in hardware and the programming of the operation logic in this equipment is easy , straight and clear .

用控制逻辑编程的方法，可调整信号传输途径，实现齿轮加工所需要的各种运动关系。

In information transfer path can be regulated by the use of controlled logic programing to realize varieties of motion relation that required in process of gear cutting .

这种芯片是一个现成的组件，可以用自定义的逻辑编程以执行特定的工作使之比普通芯片更迅速，更有效率。

This type of chip is a off the shelf component that can be programmed with custom logic to perform specific jobs more quickly and efficiently than generic chips .

提出了一种混合模拟退火算法，以模拟退火法作为随机搜索引擎，利用逻辑编程和线性规划来检验和处理搜索结果。

A calculation method of mixed simulation annealing algorithm has been proposed . It takes simulated annealing for random searching and the search result is inspected by logical programming and linear programming .

在目前存在的多种途径中，采用逻辑编程完成冲突消解具有自动化程度高、逻辑严谨等优点。但是，原有方法却存在被消解的冲突种类受限、优化机制单一等缺点。

Among currently existing approaches , the conflict resolution methods based on logic programming have merits of logical preciseness , high automatization , etc. Whereas , the methods mentioned above have shortcomings , such as limited kinds of resolved conflicts and monotonic optimization mechanism .

同时，将软PLC技术应用于通用软件平台的设计中，使之具有保护逻辑在线编程的功能和图形化的开发界面。

Meanwhile , through application of the idea of soft PLC , the online programming function of the protective logic , together with graphic interface , is added to this platform .

利用FPGA的复杂逻辑可编程特性及DSP的高速数字信号处理特性来完成图像的快速采集、存储及数据处理。

Using the FPGA + DSP program , the digital signal processing board can complete the rapid collection , storage and processing of the image data by the programmability of complex logic of FPGA and the high-speed digital signal processing of DSP .