带函数的正规逻辑程序设计系统

带函数的回答集程序设计（FASP）允许在正规逻辑程序中嵌人函数符号，描述了这个系统fasp的设计与实现。其基本思想是把简单函数和原子当成变量，程序的Clark完备化和环公式约束处理（CSP）中的约束，然后通过已有的CSP求解器来计算其CSP例的解。ASP的测试用例也可通过fasp应用于CSP中。我们用汉密尔顿回路问题和N-皇后问题测试了该系统，并与其它系统进行了比较，实验结果表明,fasp对N-皇后问题有较好的效率。     

知识库上逻辑程序图搜索的一种启发函数

本文把A~*算法的启发搜索应用到逻辑程序的求解过程中,就逻辑程序这一特定的问题领域,构造出A~*算法相应的一种启发函数。利用该启发函数,通过A~*算法可求得逻辑程序的“最佳解”。     

Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy

Concurrent programs written in a machine level language are being used in many areas but verifi- cation of such programs brings new challenges to the programming language community. Most of the stud- ies in the literature on verifying the safety properties of concurrent programs are for high-level languages, specifications, or calculi. Therefore, more studies are needed on concurrency verification for machine level language programs. This paper describes a framework of a Petri net based safety policy for the verification of concurrent assembly programs, to exploit the capability of Petri nets in concurrency modeling. The con- currency safety properties can be considered separately using the net structure and by mixing Hoare logic and computational tree logic. Therefore, more useful higher-level safety properties can be specified and verified.     

箱体类零件CAPP／NC集成系统

本介绍了一个适合于卧式加工中心的箱体类零件创成式ＣＡＰＰ／ＮＣ系统。该系统采用逻辑决策的方法，其核心是一系列工艺决策规则。系统能自动生成详细的工艺件和数控程序，并已经在北京第一机床厂进行了实际应用，其结果表明所生成的工艺件及数控程具有实用价值。     

离散事件动态系统周期求解的线性规划方法

应用计时事件图中回路的线性代数特征,将线性离散事件动态系统的周期计算转化为线性规划(LP)问题,并且得到的LP问题具有较少的变量和线性约束,避免了传统方法中对回路的穷举搜索,降低了计算的复杂性·     

Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

海德汉iTNC530的Q参数编程在压气机叶轮制造中的应用

针对压气机整体叶轮制造,研究了海德汉iTNC530系统的Q参数编程在压气机叶轮制造中的应用方法。分析了叶轮的工艺要求和Q参数编程的必要性,给出了Q参数的变量选择范围和运算方法,讨论了逻辑判断语句及使用方法,编写了应用于叶轮加工的Q参数程序,最后给出了程序的调试方法和结论。     

逻辑程序“与并行”计算模型的研究

本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。详细分析了目前两种获得“与并行”的计算模型,指出了它们的优劣性。最后得出结论:基于编译获得“与并行”是目前最有效的途径。文中同时给出了编译模型下几种算法的实现方法。