信息系统软件框架的一致性维护

为保证在组件和框架开发模式下应用系统的一致性 ,必须研究如何检测和解决组件建模过程中存在的冲突。通过对组件模型、组件库结构和几种典型约束条件的分析 ,建立应用框架的一致性模型 ,包括组件体系结构约束和组件行为约束。这些约束条件以规则的形式表示 ,分层的规则库构成最终的形式化模型 ,模型的检验归结为规则的推理。在信息系统快速开发平台中 ,使用上述约束模型可建立信息系统的一致性视图 ,使开发平台具有一致性管理的功能     

基于源地址约束的垃圾邮件过滤模型

提出了一种基于关联规则的垃圾邮件挖掘算法，通过计算邮件源地址和邮件关键词的支持度来定位垃圾邮件源地址．该算法在Apriori算法基础上进行了改进，增加了邮件源地址和关键词约束，与基于关键词过滤算法相比提高了准确率，与基于语义分析的过滤算法相比降低了算法复杂度．实验结果表明，该算法的误判率在邮件数量增加到350封时会减小到4％，其过滤速度也会随着邮件的增加而提高。     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于启发规则的双向冲压生产线调度研究

根据冲压车间生产的无等待并行流水作业的特点,提出了一种基于启发式规则的双向冲压生产线的调度模型.在该模型中,建立在满足工序约束、机器约束、无等待约束等约束条件下的优化模型,提出了冲压作业的重复、折回和前行等排程规则,解决在冲压作业调度中的机器占用冲突问题,保证得到可行的调度解.并设计嵌入启发式规则的混合遗传算法来进行求解.最后通过一个例子对调度模型和求解算法进行了验证.     

基于数据挖掘的主机入侵行为检测

提出利用序列模式挖掘方法得到频繁入侵命令序列，将频繁入侵命令转换为底层入侵检测器的检测规则用于检测用户的可疑行为．为了消除误报，设计了一个基于入侵事件状态的关联引擎，将频繁入侵命令序列作办关联规则，并提出了一种新的入侵关联算法，该算法不仅考虑了每类主机入侵行为的序列特征，也反映了不同类型主机入侵行为之间的因果关系，体现了主机入侵行为的多样性和复杂性．实验结果表明，该入侵关联模型对各类主机入侵行为的检测效果良好，误报率明显降低，特别是下载类和信息获取类主机入侵行为的误报降低了20%左右。     

面向炼钢厂多机多任务天车调度的仿真方法

天车调度对于炼钢厂车间中各生产工位间物流的衔接、顺行以及整个企业生产节奏的调控具有重要意义,且同时受到时间、空间约束以及生产计划等的限制,是典型的多机多任务约束问题。为此,建立了一种时空约束下基于规则演化的仿真模型,以优先保证炼钢-连铸生产作业任务的完成为目标,合理安排多任务在车间作业跨中多台天车上的分配,并考虑多任务之间的时间约束和多台天车之间的空间约束问题,设计基于任务分配规则、冲突处理规则、任务结束规则的仿真模型运行规则用于控制天车执行任务的运行过程。该方法可避免对调度问题进行理论求解的困难,通过对某炼钢厂炼钢-连铸生产作业计划的离线模拟测试表明:能够避免天车运行过程中的时间空间冲突,以获得合理的天车运行调度方案,为生产调度提供指导。     

高速水面无人艇动态障碍物危险规避算法

水面无人艇(USV)是一种重要的海洋自主机器人,在障碍物环境中自主航行问题是当前USV的重要研究内容。针对高速USV在动态环境中的危险规避问题,提出一种基于行为的动态危险规避算法。算法首先对USV的运动特性进行分析获得基本运动空间,采用碰撞锥理论对USV与障碍物之间的情况进行判定,将海事规则约束和碰撞约束转换为USV基于行为的约束,通过求解基于偏航角度和速度的优化问题获得USV最优规避行为。仿真实验结果证明所提出的算法能够有效引导USV在高速(30 kn)情况下对动态障碍物实现有效危险规避。     

混合exactly-one约束的模型计数研究

模型计数是求给定命题公式的模型数，是人工智能领域的一个基本问题.在贝叶斯网络、有界模型检测、精确集合覆盖等众多实际问题中，存在许多exactly-one约束.常见的处理方法是将exactly-one约束编码为CNF公式，再调用模型计数器求解.这种方法扩大了命题公式的规模，容易导致求解时间过长.本文分别提出从CNF公式中还原exactly-one约束的ECR算法和处理exactly-one约束的ECP算法.ECR算法能明显提高C2D编译器的求解效率.基于最新的模型计数器ExactMC，本文改进了能识别和单独处理exactly-one约束的模型计数器ECMC.实验结果表明，ECMC的时间效率相比ExactMC有显著提高.     

论混合推荐算法在医疗设备检测中的应用

针对医疗设备故障检测中存在的问题，通过选用QuickXPlain算法获取最小冲突集以计算约束推荐系统各方案的可信度，使用有限状态机获取用户需求末节点并结合关联规则计算各方案的可信度，将各维修方案的两种可信度均值大小作为最终推荐方案选择的标准，构建基于约束与基于关联规则的混合推荐系统。仿真试验结果显示，相比其他传统推荐算法，该系统在推荐方案数量较大时，整体推荐准确率最高，当推荐方案数量为8时，推荐准确率为91.62%,且它的大部分具体故障维修方案推荐准确率也最高，但其计算消耗内存更多。     

基于分类树的高效关联规则挖掘算法

在分析类Apriori算法存在效率瓶颈的基础上，提出了一个高效改进算法——基于分类树的关联规则挖掘算法．该算法只需要两次访问数据库，把数据库中的数据利用分类树来存储，减少了访问数据库的次数；并且由分类树的全部或部分来求得频繁项目集，减少了求频繁项目集的比较次数．此算法通过结合Apriori和FP—tree两种算法来提高挖掘效率，降低了挖掘算法的时间复杂度和空间复杂度．通过多次试验证明该算法比Apriori及其改良算法的挖掘效率高2到8倍．     

基于相似度量的加权近似推理方法

提出了规则中命题加权的真值计算方法及其约束条件,给出了加权的产生式规则的表示形式,定义了一个新的相似度量的加权运算和结论的加权组合方法．在此基础上提出了一种新的基于相似度量的加权近似推理方法．     

爱因斯坦引发的逻辑哲学问题

依爱因斯坦的观点,逻辑全等于演绎,与归纳并为西方科学的两大成就。认同爱因斯坦的逻辑观,试从"划界"的视角寻求根据。演绎和归纳的界线在于:前者以必然为真的逻辑真理即逻辑规律及相应的有效推理形式为研究对象;后者不研究逻辑真理及有效推理形式,其结论只是或然为真。是否以逻辑真理及相应的推理形式为研究对象,就是逻辑与非逻辑的分界线。演绎与归纳也有关联:均来源于经验。逻辑规律的前身就是归纳结论,经逻辑系统的整合而转身为必然的真命题。逻辑学家通过对逻辑系统的论域作出修正、限制或重新解释,以排除一切可能的反例,就可保证逻辑真理具有永恒的必然性。这就是逻辑学家使或然的归纳结论转化为必然的逻辑真理的诀窍。不能从演绎和归纳在认识中不可分离,推出逻辑必须包括归纳。归纳属于与逻辑同等重要的另一学科:科学方法论。     

多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

Propositional Vector Logic System and Its Adequacy Thcorem

With the paradigm of holistic thinking and multiple per-spectives,an overall new understanding of logic is ob-tained for reasoning in collective intelligent systems(CIS).Based on the hypothesis of multiple resolutions ofreasoning in CIS,the logical state of a proposition isgeneralized into an n-dimensional vector whose elementis either 1 or 0.In contrast with classical logic with bina-ry truth-values,a propositional vector logic system isconstructed by introducing new connectives,new axi-oms,and new rules.Adequate sets of connectives areprovided.The soundness theorem and the adequacy the-orem for the vector logic system are shown.     

命题逻辑中理论的条件真度

探讨了理论真度的性质后基于条件概率的思想,给出了理论的条件真度的概念,并用它建立了一种可以在公式集之间展开的近似推理模式,用于探寻最优推理结论和最优推理前提,最后给出了理论的和谐度的概念,刻画理论内部公式和谐共存的程度。     

一种非均匀概率空间下二值命题逻辑中命题的真度理论

将经典二值命题逻辑中公式的真度概念推广到势为2的非均匀概率空间上,定义了二值逻辑p-测度和其上的命题的真度;在p=1/3的情形下证明了全体公式的真度之集在[0,1]中是稠密的,并给出了公式真度的表达通式;利用真度定义公式间的相似度,进而导出全体公式集上的一种伪距离,为近似推理理论提供一种可能的框架.     

基于真值表演算的四量子电路综合方法

为了能以较小的代价高效地自动构造量子可逆逻辑电路,提出了一种新颖的四量子可逆逻辑综合方法.该方法首先将一个四量子电路的函数表示成真值表的形式;然后利用传统的递归思想,通过对换演算,将四量子电路映射函数的真值表分解成2块相互独立的三量子电路映射函数的真值表;再查找相应的最优三量子电路,直接生成相关电路;最后将对换运算的电路并入该电路,经过局部优化即可生成最终电路.分析结果表明,用该方法综合四量子电路能大幅减少TOF门的数量,平均需要15.74个TOF门,最多只需24个TOF门.同时该算法避免了穷举法所需的时空复杂度太大的问题,便于经典计算机实现.     

有限Boole语义的随机化

基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广.     

真值表方法的用途及相关规则

真值表方法是命题逻辑中的一种重要方法。在命题逻辑中运用真值表方法,可以在有限的步骤内直观地显示任意一个真值形式的真值情况,判定任意一个真值形式的一些重要性质,因此,真值表方法是一种有力的逻辑工具。学习和掌握真值表方法,特别是掌握用真值表方法进行相关操作的规则,对逻辑学学习者和逻辑学研究工作者来说,是一项必须掌握的逻辑技...