可满足性问题有解的充要条件

本文对布尔表达式的可满足性问题作了进一步的研究，证明了该问题的充要条件，本文把布尔表达式可满足性的“判定的问题”与它的“求解问题”区别开来。     

CP-nets的可满足性及一致性研究

CP-nets是一种简单而又直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点,然而对于CP-nets的可满足性和一致性等相关性质的研究还很欠缺.既没有给出严格的定义,也没有探讨不同性质之间的联系,没有一个求可满足性序列的通用算法.从研究CP-nets的可满足性和一致性的关系着手,得出了任意结构二值CP-nets的可满足性判定算法及可满足性序列生成算法.首先通过构造CP-nets导出图及其性质的研究,得出CP-nets的可满足性及一致性的相关定理.再把不同性质结合起来分析,给出CP-nets可满足性等价于一致性的结论,从而利用拓扑排序的思想实现了任意结构二值CP-nets的可满足性序列的生成.强化和扩充了Boutilier所提出的一些概念,深化了CP-nets的基础理论研究.     

可满足性问题全部解的求解算法

SAT问题在人工智能、计算机基础理论研究和人工智能等领域有着广泛的应用,近年来,证明该问题的可满足性取得了巨大的成功,但在求出SAT问题的所有解方面还有待进一步研究。利用一个简单的变换,将可满足性（SAT）问题转化为多项式形式,然后根据命题逻辑的性质以及多项式的性质,得到一个求解出SAT问题所有解的算法。实验结果显示该算法是有效和可行的。     

基于可满足性模理论的虚拟网映射问题求解

针对物理网络不支持路径分割且物理节点不支持重复映射的虚拟网映射问题,建立以物理网络资源消耗量最小化为目标的整数线性规划模型;基于可满足性模理论,构建这类虚拟网映射问题的SMT公式,并采用SMT求解器求解最优解。实验表明,所提方法能有效提高虚拟网络构建请求的接受率和物理网络提供商的长期收益。     

CP-nets的可满足性序列求解算法研究

CP-nets是一种简单、直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点.然而对于CP-nets的基础性质——可满足性序列的研究却较少.通过构造CP-nets导出图,利用改进的图的深度优先遍历算法实现二值网的强占优测试,对强占优测试得到的可达矩阵进行分析,得出任意结构CP-nets的可满足性序列个数关系;给出了生成全部可满足性序列的算法;强化和扩充了CP-nets的基本概念,深化了CP-nets的基础理论研究.     

解决复杂Pareto解集问题的进化算法

针对各种进化算法在解决PS问题上表现出来的脆弱性，提出一种解决复杂PS问题的自适应多目标差分进化算法SA-MODE。根据随机选择的父个体X与当前种群中的个体Y的支配关系，通过改变缩放因子的大小来控制新个体和父个体的距离。当X支配Y则新个体接近X，反之远离X，当X与Y互相不支配则产生2个新个体，一个接近X一个远离X。实验结果表明，在处理复杂PS问题时，SA-MODE与GDE3和NSGA-II相比有更理想的效果。     

求解可满足性问题全部解的改进多种群克隆免疫算法

对于可满足性问题全部解(ALLSAT问题)的求解而言,随着问题规模增大,现有算法逐渐变得不适用.针对不能有效求解ALLSAT问题的现状,提出了一种多种群克隆免疫算法,该算法采用小生境方法和位爬山算法进行优化,维持种群多样性,提高算法收敛速度进行了算法收敛性分析.ALLSAT问题的求解结果表明,该算法是非常有效的.     

联想记忆神经网络局部指数稳定的充要条件及特征函数

讨论非线性连续联想记忆神经网络平衡点局部指数稳定的判定条件及平衡点指数吸引域的估计,得到了平衡点局部指数稳定的充要条件,并引入一个特征函数,可以判定平衡点的邻域是否为指数吸引域.文中给出一族范数下(所有单调范数)网络局部或全局指数稳定的判定条件,推广了已知文献在特定范数下所得到的结论.     

NECESSARY AND SUFFICIENT CONDITIONS FOR DELAY‐DEPENDENT ASYMPTOTIC STABILITY OF LINEAR COTINUOUS LARGE SCALE TIME DELAY AUTONOMOUS SYSTEMS

This paper offers new necessary and sufficient conditions for delay‐dependent asymptotic stability of the linear continuous large scale time delay systems. The obtained conditions of stability are expressed by nonlinear system of matrix equations and the Lyapunov matrix equation for an ordinary linear continuous system without delay.     

轧钢监测诊断系统的研究

本文针对轧钢生产过程的自动化、智能化、开展了轧钢生产线特别是关键轧机的监测系统研究,讨论了系统组态软件特征,构造了系统的结构和配置,制定并完成了网络实时数据传输方案。