排序方式: 共有21条查询结果,搜索用时 31 毫秒
1.
针对带路径约束的双端网络可靠性分析问题,即一个数据包从 S 点发送到 T 点,必须经过中间若干个节点,并且经过这些节点的先后顺序具有一定约束,提出了基于 BDD 的可靠性分析算法。该算法基于边扩展图实现路径约束,即在边扩展过程中只保留符合条件的约束路径,然后构建 BDD 以及进行双端网络可靠性分析。实例分析结果验证了算法的可行性和有效性。 相似文献
2.
在规范变换方法的基础上,给出了在有序类规范上的归纳定理的证明方法。该方法避免了Jouannaud-Kounalis方法中所谓归纳可归约性检查这一很费时的过程,并且终止性检查不依赖于合流性检查。 相似文献
3.
4.
网络可靠度BDD分析方法的计算复杂度与BDD尺度线性相关,而BDD尺度严重依赖边排序质量。由于求解最优边排序是一个NP问题,在实际应用中,通常采用启发式边排序策略如BFS(Breadth First Search)和DFS(Depth First Search)。针对边排序问题,从分析基于边界集(Boundary Set)的BDD构建方法BDD BS出发,将边界集思想应用于边排序过程,提出了一种新的启发式边排序策略。性能分析和大量实验表明,新设计的边排序策略性能优于经典的DFS和BFS策略,该结果为网络可靠度BDD分析方法在大规模网络中的应用拓展了新的空间。 相似文献
5.
针对节点计算能力相同但故障分布不同的集群系统的性能分析问题,基于k-to-l-out-of-n结构对集群系统的性能进行建模,并提出了一种基于二元决策图(BDD)的分析方法。针对k-to-l-out-of-n结构的BDD模型生成问题,分析了BDD的结构特征并设计自顶向下生成算法,克服了传统的自底向上生成算法必须生成大量中间冗余节点的缺陷;然后利用生成的BDD模型高效地计算出系统处于一个特定性能级别的概率;最后通过实例说明了BDD方法能够有效分析节点具有不同故障分布的集群系统性能。 相似文献
6.
该文研究非对称χ^≠-演算的基同余.文中引入一组L-互模拟关系,并确定基互模拟就是由L-互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L-互模拟的开模拟性质,利用开模拟性质引入开基互模拟概念,并证明开基互模拟与基互模拟是一致的,构造了基于基同余的可靠和完备的等式系统,最后给出了基同余的完备性定理. 相似文献
7.
带长度约束的k端网络可靠性分析 总被引:1,自引:0,他引:1
在网络视频和实时通信应用中需要研究带长度约束的k端网络可靠性分析问题,即任意两端点之间在给定时间延迟D约束内的k端网络可靠性。对带长度约束的k端网络可靠性问题进行了研究,主要是在传统不带路径约束的双端和k端网络可靠性研究基础上,提出了基于截断的路径约束方法;并根据该方法构造二元决策图BDD模型进行带约束的k端网络可靠性分析。该算法针对k端点对点信息流在一定时间延迟下完成传输问题,具有较强的实际意义。实例分析结果验证了本方法的可行性和有效性。 相似文献
8.
9.
服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语.言的,很难用于服务的自动组合.提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务.引入Petri网作为任务间的控制逻辑关系,并给出了一种判定需求可满足性的方法.最后选择旅行安排作为具体案例... 相似文献
10.
非对称χ-演算是一种移动计算模型.文介绍非对称χ-演算的语法和符号操作语义,给出非对称χ-演算的符号互模拟的验证算法,该算法根据算法输出的谓词等式系,求解最大符号解.并证明算法正确性,这在一定程度上为今后的自动机验证提供了理论基础. 相似文献