论文部分内容阅读
编序的二元判决图（ＯＢＤＤ）在电路测试和逻辑验证等方面具有广泛的应用。如何选取一个电路的变量顺序，使得所构造的ＯＢＤＤ最小，是等同于ＮＰＣ的问题。目前有多种寻找电路变量顺序的方法，但都具有一定程度的局限性，不能找到近似的最优解。
遗传算法在OBDD变量排序中的应用
【摘 要】
：
编序的二元判决图（ＯＢＤＤ）在电路测试和逻辑验证等方面具有广泛的应用。如何选取一个电路的变量顺序，使得所构造的ＯＢＤＤ最小，是等同于ＮＰＣ的问题。目前有多种寻找电路变量顺序的方法，但都具有一定
【机 构】
：
电子科技大学CAT室
【出 处】
：
电子测量与仪器学报
【发表日期】
：
1999年4期
其他文献
2013年1～3月,我国电子元件产品进出口贸易总额实现同比增长。电子元件14大类69小类产品进出口贸易总额为332.50亿美元,较2012年同期同比增长18.51%。实现贸易顺差19.27亿美元,
近期，邦纳公司发布了最新的SC22—3E安全控制器集成以太网接口，可以通过该接口进行监控，用单个控制器替代多个多种安全控制模块，可大大的减少布线的成本，达到一机多用的强大功能。
为了加强与企业的沟通,并倾听来自企业的声音,在《国家集成电路产业发展推进纲要》正式公布之后不久,IC China即开启了其最重要的活动之一：微电子企业寻访之旅。在活动中,有关
德州仪器（TI）的达芬奇（DaVinci）技术让下一代数字视频和音频终端的应用成为了可能。近日，TI进一步扩展了其达芬奇产品阵营，针对安防与监控市场推出了新一代达芬奇DM385与DM8107视频
阿司匹林最早由拜耳公司于1898年开发上市．其作为解热镇痛药的成熟品种，尽管早在上世纪80年代拱手将其OTC解热镇痛药的“老大”地位让给了后来居上的扑热息痛，但世界各地仍有数
本文介绍了双向工频自动通信系统的调制原理，提出了利用小波包算法的频带分割特性实现工叔通信信号特征函数的构造方法，仿真和实验结果证明该方法是有效和实用的。
以PIC单片机为控制核心,提出了一种基于自适应PID控制器的160WLED16位数字调光系统的PWM恒流控制器的设计方案。用串联在160WLED电路中的电阻对LED电流进行检测得到电压信号,
2008年12月16日，中国自动化学会第九届全国会员代表大会在北京京铁大酒店胜利闭幕。此次大会审议并通过了《中国自动化学会第八届理事会工作报告》，《中国自动化学会第八届理事
根据设备控制系统的差异，现有白肋烟烘焙设备可分为热风对流式、微波辐射式。主要分析了现有三层、单层、流化床隧道式烘焙机的结构特点，并针对处理过程中热风对流系统的控制方