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

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

带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

关于扩充的逻辑程序

在这篇文章中,我们从理论和实际计算的观点两方面研究了扩充逻辑程序中的经典否定和约束.我们发现,在保持原有程序回答集语义的前提下,经典否定和约束都可以通过引入新的原子来消除.我们的实验结果表明,一般情况下,引入新的原子会增加计算开销,但是这里有一个关于16-皇后问题的例外.     

随机图的哈密尔顿回路实验研究

哈密尔顿回路问题是图论的经典NP-难解问题之一,在计算机科学中被广泛用作测试用例以测试算法/系统的有效性,包括可满足性(SAT)、回答集程序设计(ASP)以及约束可满足问题(CSP)等.在本文中,我们通过ASP实验研究了40到100个节点(步长为10)随机图的哈密尔顿回路存在性、不存在性、以及难于计算等的分布情况,结果表明它们都具有一定的规律.这不仅对随机图的哈密尔顿回路本身是有益的探索,也为生成随机图哈密尔顿测试用例提供了有益的指导.     

分部积分法在解一阶线性微分方程中的应用

本文应用分部积分法,给出了一阶非齐次线性微分方程的通解公式.此公式比通常的一阶线性微分方程的通解公式少了一次积分的计算,因而更加简捷,,同时还对求一阶非齐次线牲微分方程的通解时需要多次应用分部积分法的情形,提供了一种简洁求解的方法,并列举了实例.     

有限强Hamilton环的结构

研究了介于Hanilton环与循环环类之间的一种环类，即强Hamilton环的构造，得到了n阶强与Hamilton环和有限生成强Hamilton环的结构定理以及计算有很强Hamilton环个数的公式。     

一阶模糊谓词逻辑公式的可测集解释真度理论

首先将一阶模糊谓词逻辑公式的有限、可数、及区间解释真度的概念进行了进一步的推广,在一阶模糊语言的变元集赋值的新概念下,提出了一阶模糊谓词逻辑(或一阶模糊语言)公式的可测集解释真度的概念;然后,讨论了它的一系列性质以及在近似推理中的应用.     

带端点3阶导数的Simpson修正公式

给出了一个带端点3阶导数的Simpson修正公式,并给出该公式的截断误差,分析了相应的复化公式的收敛阶.复化带端点3阶导数的Simpson修正公式,只比复化Simpson公式多计算2个端点的3阶导数各1次,其收敛阶却比复化Simpson公式提高了2阶.数值算例验证了理论分析的正确性.     

正则c-部竞赛图中过指定顶点数目的路

文章证明了c≥2的正则c-部竞赛图D,V1,V2,…,Vc是D中的部集,如果|V1|=|V2|=…=|Vc|=r≥6,那么D包含一条阶为3c的有向路.进一步,如果r≥9,那么D包含一条来自每一部集至少两个顶点且阶为4c的有向路.更进一步,如果r≥3(n-1),这里n∈N+而且n≥3,那么D中包含一条来自每一部集至少两个顶点且阶为nc的有向路.     

偶奇阶幻方的一种公式构造法

作者在文献中提出偶奇阶幻方的一种公式构造的猜想.本文用严密的计算并证明了这个猜想是对的.从而全部解决了任意阶幻方的公式构造法.     

逻辑学及其在计算机科学中的应用

本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。     

一阶谓词逻辑在人工智能知识表示中的应用

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题。     

含等词的超表演算

将处理等词问题的Superposition方法引入超表演算中, 使超表演算能处理含等词的一阶逻辑问题, 这种新的表演算不但具有完备性, 而且无需回 溯, 是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.     

关于数理逻辑中的可靠性、完备性及协调性的讨论

本讨论了命题逻辑和一阶逻辑中应用可靠性定理和完备性定理所解决的一些代表性问题，还讨论了极大协调集在建立可靠性定理和完备性定理的证明过程中所起的作用。     

模型上的拓扑结构

引进一介语言模型上的一种拓扑结构,给出这种拓扑结构的若干性质,讨论这种拓扑结构与模型的密不可分的性质,并且证明Hausdorff分离性可以用一介语言表述的充要条件,以及稳定理论的“子模型拓扑等于相应的子空间拓扑”这一性质.     

二次广义自生数

本文给出了广义ｎ位自生数的概念、性质和计算方法。     

16位超前进位加法器的设计

电子计算机是由具有各种逻辑功能的逻辑部件组成的,加法器就属于其中的组合逻辑电路。如果对传统的加法器电路进行改进,在超前进位链的基础上,用一种新的超前进位链树的设计方法不仅可以克服串行进位加法器速度低的缺点,也可以解决单纯的超前进位加法器带负载能力不足等问题,从而在实际电路中使加法器的运算速度达到最优。根据这种理论,可以推导得到最优的任意位加法器。     

李族的摄动方程及其哈密顿结构(英文)

利用零曲率方程得到了李族的一阶摄动方程,并利用分量迹恒等式给出了其哈密顿结构.     

含手动操作的SFC顺控系统程序设计

介绍一种包含手动运行程序的PLC顺序功能程序(SFC)的设计方法,该方法能够简化程序逻辑,使程序结构规范,编程更为简单快速.