命题逻辑中的集合表示

讨论了命题逻辑中的集合表示，给出了一系列重要结论，并通过实例说明了基于集合的交、并和差运算求命题公式主范式和进行逻辑推理的方法。     

基于划分分析方法的测试用例生成

从基于模型的规格说明中。应用形式化方法可以产生所需的测试用例。为了从静态模型中表达的形式化约束产生测试用例，本文阐述了一种产生此测试数据的方法．同时也说明了如何使类的方法的划分分析自动进行。以厦如何建立起给定方击的粪的序列且该序列覆盖了所有必需的测试。     

属性约简中的范式转换算法研究

通过研究属性约简中合取范式到析取范式的转换过程,发现减少冗余项和重复计算可以适当提高转换效率。同时考虑到范式的动态变化,设计一种边转换边化简的增量转换算法,可以利用已有结果直接进行计算。对于减量情况,抽象出范式转换的数学模型,给出相应转换的构造形式和分析过程,并提出一种近似减量转换算法,从而实现了不同变化情况下生成析取范式的动态计算。最后通过仿真实验验证了算法的可行性和高效性。     

完全析取范式群判定SHOIN(D)-可满足性

针对非循环概念提出了一种对SHOIN(D)-概念可满足性进行判断的方法——CDNF(complete disjunctive normal form)算法.该算法通过把非循环定义的概念描述本身构建成分层次的析取范式群,并通过子句重用技术阻止无谓的子概念扩展,这样的析取范式群具有可满足性自明性,从而可以实现对SHOIN(D)-概念可满足性的直接判断.该算法基本上消除了判断过程中描述重复的现象,从而在空间、时间性能上都比Tableau算法有更好的表现.     

网络安全系统中的快速规则匹配

随着网络攻击的增多,各类安全系统被广泛应用,其关键和核心是规则匹配.加速规则匹配可以提高系统性能,使其适应更高速网络和更严格环境.介绍和分析了现有的两种主要规则匹配算法:布尔表达式树和有向无环控制流图,提出了一种快速规则匹配算法.该算法先对有向无环控制流图进行等价变换,再在此基础上进行概率优化和改进,通过调整规则内部的逻辑表示结构,使得规则的结构转换速度和计算速度都得到明显的提高.经过测试比较,该算法能有效缩短匹配时间,改善系统性能.     

两类动态信息规律模型及其在信息伪装、风险识别中的应用

函数P-集合是P-集合的函数形式,是通过改进P-集合得到的一个具有动态特征、规律(函数)特征的信息规律模型。在函数P-集合中,函数的属性满足数理逻辑中的合取范式。函数逆P-集合是函数P-集合的对偶模型,在函数逆P-集合中,函数的属性满足数理逻辑中的析取范式。这里定义函数P-集合是一类动态信息规律模型,定义函数逆P-集合是另一类动态信息规律模型;在函数P-集合与函数逆P-集合的结构、动态特征与它们的属性范式特征的基础上,给出函数P-集合在信息图像拼接与伪装中的简单应用,以及函数逆P-集合在商品利润的风险估计-识别中的简单应用。函数P-集合、函数逆P-集合是关于动态信息规律应用研究的新理论、新模型。     

从合取范式到析取范式的转换研究

为了解决粗糙集分辨函数的计算、概念格中内涵缩减的计算、逻辑程序设计的规则简化等问题,抽象出了从合取范式到析取范式转换这一核心问题。提出了利用极小覆盖来实现从合取范式到析取范式的转换,给出了一个增量式的算法。为了扩大范式转换的使用范围,定义了伪合取范式,并给出伪合取范式到析取范式的转换方法。     

基于物元理论的任意功能树相似扩展方法

功能模型是概念设计的核心处理对象,功能树是一种典型的、应用广泛的 功能模型。使用现有相似度计算方法计算任意功能树的相似度存在困难。因此,基于布尔代 数提出了析取范式树的概念,以及两种求解析取范式树的方法,并描述了任意功能树的物元 相似度计算方法。拓展了功能树相似扩展方法的应用范围,扩大了设计解空间,增加了获得 创新解的可能性,最后给出实例验证了方法的有效性。     

Rough Set 规则自动生成的关键算法改进

基于RoughSet理论,研究从Skrowon分辨矩阵到规则自动生成过程中的关键算法的改进问题。提出由分辨矩阵到合取项矩阵的计算方法,建立了从属性约简的合取项矩阵到析取项矩阵转换的数学模型,基于数学模型,提出直接搜索的转换方法。同时,提出了属性值约简的改进方法,使得改进后的算法从总体上节省了运算空间,降低了算法的时间复杂性,提高了规则生成的效率。最后通过UCI数据库的实例验证了改进算法的有效性。