依赖集相关论文
针对形式化程序验证中的并行调度问题，提出了基于依赖集的算法。通过引入依赖图和依赖集概念，以形式化方式描述程序语句间的依赖关系......
首先简单介绍了现代软件工程采用的建模语言UML的特点和功能，特别是其图形表达方式类图和包图的特点，并分析了面向对象系统基于安全......
针对边扩展图EED方法和边界集BS方法存在的存储空间浪费和可靠度结果精度不高等缺陷,提出了一种基于依赖集的分析方法,解决了节点......
在BDD网络可靠性分析中,还没有一种可用的方法用来选择最佳(或高性能)的排序起点.为了找到最佳的排序起点,基于对BDD构建过程的深......
讨论了L-拓扑空间的浓度与余胞腔度之间的关系并推广了两个相关的定理．定义了乘积L-拓扑空间中L-子集的依赖集并得到并L-子集的依赖......
针对多Agent系统任务分解问题,提出了基于与或依赖图的任务分解模型及算法。通过引入与或依赖图概念,以描述任务中各操作之间的依......
如何评价舰载作战系统的战备状态一直是舰载作战系统研究领域中一个挑战性的课题,因为舰载作战系统是一个复杂的分布式系统,其系统......
