【摘 要】
：
顺序二元决策图OBDDs的规模随着变量数量的增多呈指数形式增长。为了克服大规模OBDDs数据的描述和存储困难，提出了一种带有互补边的共享OBDDs的数据结构，并定义了一组OB—DDs节
【机 构】
：
国防科学技术大学信息系统与管理学院
【基金项目】
：
国家自然科学基金资助项目（71071159）
论文部分内容阅读
顺序二元决策图OBDDs的规模随着变量数量的增多呈指数形式增长。为了克服大规模OBDDs数据的描述和存储困难，提出了一种带有互补边的共享OBDDs的数据结构，并定义了一组OB—DDs节点的关键属性，该数据结构融合了共享OBDDs和带有互补边的OBDDs的特点。最后通过存储空间实例对比分析，证明了该数据结构能够有效描述和存储大规模OBDDs数据。
其他文献
<正>交通广播以迅速成长、繁荣发展的姿态已经走过了24个年头,目前已进入一个比较成熟的阶段,成为区域广播产业发展的主导。为适应市场需求,交通广播节目的内容、结构和类型
<正>各大电视台相继推出了诸多针对少儿群体的节目,如湖南卫视的《爸爸去哪儿》、东方卫视的《潮童天下》等,甚至开辟了专门的少儿频道。少儿电视节目对孩子的成长教育有举足
第二届卫星导航学术年会将于2011年5月18日至20日在上海世博中心召开，欢迎导航领域各界人士参加此次会议。现将有关参会事宜通知如下：
本文在有限元数据分析的基础上对角钢螺栓节点提出一种实用的双线性节点模型,该模型能较好的反映节点的半刚性性能,计算精度较高,且便于对半刚性连接钢框架进行弹性和弹塑性
在非线性非高斯动态系统中,粒子滤波已成为解决系统参数估计和状态滤波的主流方法。然而,粒子退化是粒子滤波中不可避免的现象,粒子重采样是解决方法之一。本文针对粒子退化
巴西动画电影《男孩与世界》里印象派的画风和俏皮可爱的人物形象令人印象深刻,但是电影本身讲述的却是一个悲伤的故事。影片中的一家人原务农维生,随着城市不断发展,父亲只
目的观察调Q 1 064 nm激光联合精华素超声导入治疗黄褐斑的临床疗效。方法黄褐斑患者64例,随机分为两组,分别为激光组和联合治疗组。激光组患者32例,采用单纯调Q 1 064 nm激
本文介绍了梧州中波台的防雷措施,包括天线、调配网络、机房、馈管、音频系统、电源系统、发射机防雷,总结了防雷经验。
时政新闻报道的改革创新是当前媒体界面临的一个重要课题。本文针对当前地方电视台时政新闻报道存在的主要问题,从拓宽报道领域、转变报道视角、创新报道形式等方面对如何改
144 近日。四川省教育厅等单位宣布废除系统内144个文件，包括《四川省幼儿园装备标准的通知》《四川省教育厅关于四川省中小学、师范学校勤工俭学周转金管理试行办法》等。