产品BOM(Bill of Material)中结点可能在不同层次重复出现,传统的树形结构不便于表达这些结点之间的关系。作者在分析传统产品BOM树模型的局限性的基础上,研究了产品BOM的本质结构,提出了产品BOM赋权有向图通用模型,给出了其相应的关系...产品BOM(Bill of Material)中结点可能在不同层次重复出现,传统的树形结构不便于表达这些结点之间的关系。作者在分析传统产品BOM树模型的局限性的基础上,研究了产品BOM的本质结构,提出了产品BOM赋权有向图通用模型,给出了其相应的关系数据库实现,研究了产品BOM赋权有向图模型的维护方法,讨论了基于企业实际的模型属性扩展,给出了其遍历和搜索的思想、相关算法以及编程语言实现方法,为PDM(Product Data Management)/CAPP(Computer Aided Process Planning)/CAD(Computer Aided Design)/MRPⅡ(Manufacturing Resource Plan)/CIMS(Computer Integrated Manufac-turing System)/ERP(Enterprise Resource Plan)系统集成提供了前提和基础。展开更多
文摘由于定量信息和非线性因果关系的丢失,符号有向图(signed directed graph,SDG)模型的可诊断性需要进一步地进行校核与验证。为此,提出了基于符号模型检测的SDG模型可诊断性形式化验证方法。首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型验证器(symbolic model verifier,SMV)模型;其次利用SDG的深层知识,构造了可诊断性函数,设定了可诊断性上下文,给出了可诊断性定义。然后,构造了SDG耦合孪生SMV模型,定义了可诊断性的计算树时态逻辑公式,提出了验证算法SDGD_CSMV。最后,通过一个实例验证了可诊断性的判定和算法的有效性。