UML状态图测试充分性准则的公理化评估

描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的评估可为软件工程师选择测试准则提供指导和帮助.     

区间直觉模糊粗糙集的公理化

基于单个以及两个论域之间的区间直觉模糊关系,用构造性方法建立两种区间直觉模糊粗糙集模型,并讨论一些相关性质.在此基础上,用公理化方法给出区间直觉模糊粗糙近似算子的公理化描述.     

因素空间理论与知识表示的数学框架（I）：因素空间的公理化定 …

系统地研究因素空间理论及其知识表示中的应用，介绍因素空间理论的基本思想，修改了原有因素空间的公理化定义，提出了表达概念的基本工具－描述架，为建立知识表示的数学框架奠定了基础。