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

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

基于粗集理论的逻辑函数简化方法

针对数字电路中逻辑函数真值表的特殊形式，利用粗集理论把它处理为一种决策表，用决策表的最小决策算法对其进行化简，然后从真值表中直接归纳出最简的逻辑表达式，此方法简单、快速、特别适用于数字电路中从已知真值表求出相应的逻辑表达式及其对应的逻辑电路，为粗集理论在数字电路中的应用提供有力工具。     

归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。     

云资源调度的回答集程序描述性求解

针对求解难度为NP完全的基础设施即服务(IaaS)模式云资源调度问题,本文提出一种基于回答集程序(ASP)的描述性优化求解方法,并对其正确性进行分析。首先,把满足虚拟机CPU使用的情况下关闭尽可能多的主机做为减少云平台能耗的方法,将云资源调度问题形式化表述;其次,结合形式化描述以及减少云平台能耗的策略,将云资源调度问题用ASP编码为描述性(优化)问题,并分析其正确性;最后,在公开的PlanetLab数据集上进行实验,结果显示,ASP方法可在保障服务质量的同时减少集群能耗,最高可节能13%以上。这表明ASP方法在云资源调度问题上是有效的,从而提供一种易理解、易修改并能充分利用ASP最新工具成果的有效云资源调度新方法。     

逻辑程序设计对软件开发的影响

本文研究逻辑程序设计,广泛地讨论了它在软件开发实践中的作用及其对软件工程的影响。     

基于CTL的并发系统CSP模型验证

主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.     

随机回答模型中无回答偏差的调整

在随机回答模型中，无回答偏差取决于回答率和替代值产生的偏差。介绍了两种调整随机回答模型中无回答偏差的方法：分别是多次访问和替代法。     

程序设计的一种逻辑分析方法

针对程序设计中逻辑分析不清晰、不简洁、不严谨，致使程序冗长复杂、质量不高的情况，提出利用数字电路设计中的逻辑分析工具——卡诺图，先对逻辑关系进行分析化简，再进行编码的程序设计方法，提出一种把浅显的思维判断，转变为深刻的数学分析的程序设计思路，同时，结合典型实例，阐述了这种方法、思路的使用步骤。     

任意集的模

本文首先引入了内模和外模的概念，然后将复平面内两个非交紧集的模推广到两个任意有界集。     

Backer问题的一肯定回答

设ｆ和ｇ是超越整函数，Ｊ（ｆ）和Ｊ（ｇ）分别表示ｆ和ｇ的Ｊｕｌｉａ集，对有限型超越整函数ｆ和ｇ，Ｊ（ｆ）＝Ｊ（ｇ）进一步证明了ｆ与ｇ的动力学本质是相同的。     

汉密尔顿回路逻辑程序的两个结果

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.     

几种新型扩展集合理论

讨论了Fuzzy集、Vague集和Rough集3种重要的边界不确定的扩展集合理论,它们主要用于解决现实中存在的一些不确定性问题。主要介绍了它们的基本思想、最新的研究进展以及应用领域等,并对3种理论的区别和内在联系进行了分析。     

约束逻辑程序的一个新语义研究

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.     

半-r-预不变凸规划的混合对偶问题(运筹学与控制论)

半r-预不变凸函数是一类新的广义凸函数,它是r-预不变凸函数和半预不变凸函数的推广。本文对半r-预不变凸多目标规划问题的混合型对偶进行了研究。首先,给出了在可微的半r-预不变凸函数的一个性质;然后,利用半r-预不变凸函数建立了目标函数和约束函数均可微的多目标规划问题的混合型对偶,证明了目标函数和约束函数在半r-预不变凸函数条件下的弱对偶,强对偶和严格逆对偶定理;结论具有一般性,推广了涉及预不变凸函数、r-预不变凸函数和半预不变凸函数的文献的结论。     

基于随机集的粗糙集模型(I)

为了处理人工智能中不精确和不确定的数据和知识 ,介绍了一个新的领域———粗糙集的基本概念及其有关进展 ,提出了基于随机集的研究框架 ,进一步用随机集去描述粗糙近似算子 ,并讨论了随机集、粗糙集和信任函数之间的关系     

B-预不变凸函数在多目标规划中的对偶问题

B-预不变凸函数是一类十分重要的广义凸性函数,是对B-凸函数的一种十分重要的推广形式。自S.K.Suneja等人建立B-预不变凸函数的概念以来,许多学者对其进行了更加深入的研究,得出了一系列十分重要的结果。本文基于广义凸性在数学规划及最优化理论中的重要作用,在已有文献的基础上,利用函数的B-预不变凸性,给出了多目标规划的一些对偶性结果,分别建立了Mond-Weir型对偶模型和Wolf型对偶模型的强对偶性和弱对偶性结果,本文的结论是对最近一些文献中相应结论的改进与推广。     

基于DFS的并行粒计算模型及其应用

粒计算是近几年提出的新概念。在粒计算领域中,动态模糊性是普遍存在的,而人们在用粒计算求解问题时又希望从并行角度来求解问题。因此,基于DFS,给出并行粒计算模型和算法,并用实例进行分析,说明该算法是有效的,从而进一步丰富了粒度计算的研究内容。     

全纯函数的正规族与分担集

利用分担集合的思想证明了定理：设F是单位圆盘内的一族全纯函数族,a1和a2是2个不同的有限复数且a1＋a2≠0;当α≥1时。如果对于任意的f∈F,Ef（S）=Ef′（s）,S={a1,a2}在单位圆内成立,那么f是一个α-正规函数．     

一类多目标规划问题的混合型对偶

在非光滑B-预不变凸性条件下,建立了一类多目标规划问题的混合型对偶模型的弱对偶和强对偶结果.