基于模糊软集合的软件质量综合评价方法

软件质量评价一直是软件工程领域的难点问题,通过引入模糊软集合对软件质量进行综合评价。在评价过程中,考虑各专家的偏好,允许各专家具有不同的个人评价指标集,并利用模糊软集合对各专家的评价信息进行融合,得到综合评价结果。实例说明该方法不仅可以灵活地表达专家的主观判断,并且能有效、合理地处理信息的不确定性,符合人的思维判断过程。

基于虚拟联盟的重叠联盟形成算法

重叠联盟形成问题是复杂智能系统中极具挑战性的前沿课题.特别是当一个能力有限的agent同时参与了多个不同的任务,但又不能同时满足这多个任务的需求时,就会产生资源冲突.为此,本文重点研究如何把一个无效的二维二进制编码修正为一个合法的编码,提出将有效联盟的剩余能力转移给一个动态的虚拟联盟,由虚拟联盟帮助解决其他无效联盟.实验结果表明,本文算法不会丢弃任何无效编码,在解决激烈的资源冲突时显得更加灵活有效.

二值命题逻辑的无损求解

针对协同问题求解、协同设计等诸多领域中存在逻辑冲突的共性问题,从二值命题逻辑理论出发,研究面向冲突的无损求解(即初始解空间获取)问题.首先,提出简单合取式的扩充和Wh-析取范式等概念,在此基础上定义初始解空间,并通过提出的有效扩充概念得到初始解空间的简化表示——最简解空间,探讨了两类解空间的关系及各自的计算方法.其次,构造生成序列来辅助公式的析取化,从泛代数的角度定义了Wh-代数;提出了指数矩阵,并籍此给出了Wh-代数的等价表现形式,通过引入扩展指数矩阵构造出扩展Wh-代数.最后证明了扩展Wh-代数中的展开定理和逻辑简化定理,给出基于有效扩充的直接无损求解算法,并与提出的其他相关算法进行了对比,结果表明该算法较为理想.该研究对于协同问题求解等领域有着重要的推动作用.

基于二进神经网络的0/1分布系统可靠性分析

系统可靠性的计算依赖于各基本单元的0/1分布关系及其构成的布尔逻辑.本文利用二进神经网络可以完备实现布尔逻辑的特性,提出一种基于二进神经网络的可靠性分析方法.该方法针对每个二进神经元的输入都是0/1逻辑关系的线性组合这一特点,提出并且证明了0/1分布的线性组合的概率分布函数;建立系统功能与布尔函数问的等价关系,将系统转化为相应的二进神经网络;利用线性组合的概率分布函数,通过逐层计算该二进神经网络的0/1输出概率,解决了一股系统的可靠性计算问题.

与或非功能树的无损简化策略

对于产品概念设计中较大规模的与或非功能树,常通过逻辑简化来消减冗余,但逻辑简化会导致创新能力的损失。为此,面向与或非功能树,提出了无损简化的策略。给出了与或非功能树无损简化的严格定义,建立了与或非功能树到AND/OR树的转换方法,针对AND/OR树证明了若干无损简化定理,在此基础上生成了与或非功能树的无损简化算法。通过应用实例,证明该无损简化策略可在保证逻辑等价和创新能力不损失的前提下有效缩减计算量,提升创新推理的效率。