物联网、云计算、信息物理系统等先进技术的快速发展催生了许多先进的制造模式,云制造便是其一。通过将传统工业系统与新兴信息技......

网络可靠性分析是网络可靠性研究的基础。目前网络的可靠性分析往往高估了网络的可靠性。约束条件下的网络可靠性分析受计算复杂性......

随着计算机软硬件系统规模的日益复杂化、重要化，如何保证计算机系统的正确性和可靠性，逐渐成为当前理论界和产业界共同关心的重要问......

无线传感器网络(WSN)可靠性分析是WSN设计、部署、验证和维护的一个重要环节。在传感器网络的应用中，为了让数据在环境嘈杂，故障以及......

别名是C/C++程序的典型特征之一,通过别名分析可以提高数据流分析的准确性并且将有助于构建性能良好的程序分析工具。本文在综述别......

自从1986年R.E.Bryany等人提出了二叉决策图(Binary Decision Diagrams)的概念以来，由于其空间和时间上表示和处理布尔函数的高效性......

在装配序列规划问题中解出符合约束条件、可行的装配序列,达成即定的装配目标是装配序列规划问题中一项重要的研究内容,也是研究中......

近年来，随着我国城市化的不断推进，建筑业生产规模的日益扩大，与之而来是建筑安全生产事故也越来越多，给人民的生命和财产造成严重损害......

符号BDD（BinaryDecisionDiagram，二叉决策图）是布尔函数的一种表达方法，可对目标数据进行层次划分与表示。基于BDD的符号算法已被广泛......

近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 .文中介绍了符号......