零压缩二叉决策图相关论文
约束满足问题(Constraint Satisfaction Problem-CSP)是人工智能中的一个重要研究领域,是近年来很多学者所研究的一个非常活跃的内......
赋时Petri网为装配序列规划提供了有效的建模方法,但其在求解最优装配序列时受到组合复杂性的严重制约。零压缩二叉决策图（ZBDD）是处......
为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建......
组合测试是系统测试中一种非常有效的方法,能够在保证错误检出率的前提下采用较少的测试用例来测试系统。但是,组合测试用例集构造......
Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态......
为了更好地分析购物篮数据，挖掘出潜在客户，序列模式挖掘应运而生。序列模式挖掘是数据挖掘一个重要研究内容，近年来在很多领域得到广......
