摘要：状态机设计的灵活性在给开发人员带来高效与便利的同时,也带来三类较典型的问题:由于状态逻辑和时序依存导致的输出错误,由于历史数据缓存导致的状态机计算量庞大的问题,以及由于状态跃迁耦合导致的输出不可控问题。目前这三类问题在软件详细设计和编码中仍然存在。在状态机功能不改变、在有限状态机设计约束条件下从时间复杂度和圈复杂度两个维度对状态机进行等价转换,即将原状态和判定条件进行合并或拆分,根据元模型定义对拆分或合并后的状态进行重组,添加跃迁条件,提出优化的一般性过程。进而针对三类典型问题给出优化算法,用同一算法分别对优化前后的状态机进行测试,并从时间复杂度和圈复杂度两方面验证了优化算法的可行性。该研究的实用价值在于为实时控制和安全苛求系统软件设计或重构提供了一种优化的方法。

摘要：判断图同构的一种有用的方法是对图的邻接矩阵进行初等变换,变成另一个图的邻接矩阵。不幸的是,当初等变换后两个矩阵不能相等时,并不能说明两个图不同构,因为可能存在另一种变换途径,使得两个矩阵相等。另一方面,这种穷尽变换途径的方法有n!种可能(n为图的顶点个数);当n太大时,尝试每一种可能来说明两个图是否同构是不可行的,是一个NP难问题。文章提出了一个简单有效的判断图同构的方法。首先,利用邻接矩阵生成行码距异或矩阵和行码距同或矩阵;其次,寻找邻接矩阵、行码距异或矩阵、行码距同或矩阵间保持行元素一样的行-行置换;如果这种置换存在,则图同构,否则不同构。最后,根据行-行置换确定出同构函数,它给出了两个图的顶点间具有保持相邻关系的一一对应。

摘要：对工厂设计中的P&ID和配管设计图,提出模型拓扑图的映射规则,采用关联度序列法对拓扑图同构进行判定。映射规则将图论理论和工程实际相结合,实现了对两个模型拓扑图的简化。关联度序列法着眼于拓扑图中节点与边的匹配,同时兼顾拓扑关系匹配和工程数据匹配。实践证明,所提方法能够完成工厂设计模型的数据匹配,并能判断出不匹配的连通子图。

摘要：图同构的判定性问题是图论理论中的一个难题,至今没有得到彻底解决。受Ulam猜想的启发,提出了一个新的判定图同构的充分必要条件:在子图同构的前提下,根据新增顶点及相应关联边的关系,利用子图同构函数,判断父图同构的充分必要条件。基于具有同构关系的对应点无限衍生技术,采用反证法证明了这个充分必要条件的成立。设计并实现了图同构的一个判定算法,通过实例验证了算法的正确性和有效性。

摘要：针对判定图同构的遗传算法存在收敛速度慢和误断率高的问题,提出了一种新的改进的判定图同构的遗传算法。算法设计了新的适应值函数,通过设计交叉算子避免亲近繁殖,设计变异算子对变异的无方向性进行优化。实验表明,新算法具有合理性和高效性。

摘要：针对无向图同构的判定问题,一种层次化的基于谱分析的同构判定算法.比较两图的顶点数、边数以及度数序列对图进行预同构判定;然后对具有唯一Fiedler向量的图通过层次化的谱分析算法进行再次同构判定.与最具代表性的同构判定算法Nauty相比,随着判定图的规模增大,该算法对于规则网格图和固定度数图具有更高的同构判定效率.

摘要：提出一个以无向特征依赖图 (UFDG)表达零件特征和存储特征间的相互依赖的拓扑关系 ,通过 UFDG(子 )图同构判别零件之间的相似性、通过零件的其它特征参数的相似性选择进一步筛选工艺实例的匹配方法 .

摘要：补丁比较技术可以定位程序补丁前后的差异,在漏洞发掘、病毒变种分析等领域得到了广泛的应用。以结构化比较技术为基础,建立了层次化的补丁比较模型IPCTM(Improved Patch Comparison Technique Model);改进了固定点传播算法,提出了一种针对错误匹配的修正机制;设计了控制流图重构和代码辅助匹配策略,增加了对未配对函数和基本块的补充处理。实验结果表明,IPCTM能够准确识别语义变动,消除部分非语义变动带来误差,有效减少了后续分析的工作量。

摘要：从零件的设计MBD模型中提取制造特征信息是三维工艺设计的基础,也是实现CAD/CAPP/CAM集成的关键。针对传统的基于属性邻接图的特征识别方法中存在的特征表达二义性和子图同构算法时间复杂度高等问题,提出了一种基于扩展属性邻接图和图同构的制造特征识别方法。首先,提取零件设计模型的几何/拓扑信息,并构建扩展属性邻接图;接着,对扩展属性邻接图进行属性分解,最大限度的分离出扩展特征子图;然后,利用图同构实现对各类相交特征的准确、高效识别。最后,以某机加工零件为例,对所提方法的可行性进行了实例验证。

摘要：对于图的非同构问题，设计一种交互式零知识的证明协议，许多文章都有讨论，但都是不完善的，本文给出了一个完整的关于图的非同构零知识交互证明协议．