论文部分内容阅读
讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术。利用该算法进行了组合电路的等价性检验,实验结果表明了该方法的有效性。
利用FAN算法进行组合电路的等价性检验
【摘 要】
：
讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术。利用该算法进行了组合电路的等价性检验,实验结果表明了该方法的有效性。
【机 构】
：
中国科学院成都计算机应用研究所,成都信息工程学院计算机基础教学部
【出 处】
：
计算机应用研究
【发表日期】
：
2006年12期
其他文献
光伏扶贫电站必须由政府投资,且不得负债建设,企业不得投资入股。如果地方政府没有那么多钱,那就是有多少钱就办多少事,不是强制开展光伏扶贫。根据各地财政情况,各地安排光
变电站是我国电力系统中重要的组成部分,现阶段我国电力能源的需求量在不断增加,电力企业对变电站的重视程度不断提高,如果变电站出现问题,一定会对整个电力系统造成严重的影
工业在国民经济中起着重要的主导作用,它的发展影响着现代国民经济的速度、规模和水平。同时工业又是一门比较艰苦的行业,随着科技水平的提高,为了解放人力,节省物力,提高生
根据锥束CT仿真原理,设计了仿真系统的功能结构和数据模型,提出并实现了混合检测样本的建模方法和装配技术,在此基础上研究了射线与混合检测样本求交的一般算法,并给出了一个验证实例。实验结果表明,该锥束CT仿真系统具备对多零件、多材质、多类型的混合检测样本进行投影仿真的能力,可以满足面向复杂工业零部件的锥束CT仿真需求。
随着移动技术和应用的迅猛发展,移动设备的用户希望在移动过程中保持因特网接入和连续通信,且仍能获得如固定接入一样的网络QoS。近年来对固定IP网的QoS研究取得了一定的成果,但对移动IP网的QoS研究还很不足。分析研究了国内外各种QoS技术,在Y.1281[1]框架结构的基础上,提出了一种基于QoS代理的移动IP QoS机制,能基本解决移动环境下的QoS保障问题。
基于一个具有良好扩展性与通用性的DHT文件存储和共享系统,结合传统的数据复制技术,在充分考虑P2P网络的异构性前提下,设计了一种自组织的文档存储策略和一种结合节点综合性能的自适应的最多请求者与最近最少访问相结合的复制策略。这两种策略结合使用,能够保证文档存储的可靠性、共享信息的高效可用性,并可自动调整网络的负载平衡状况,保证网络的可扩展性与稳定性。
模糊集对分析法应用是电能质量综合评估的重要组成部分,研究其相关课题有着重要意义。文章首先对相关内容做了概述,分析了主要功能模块设计与系统软件设计,并结合相关实践经
市政工程作为人们生活保障的基础工程,与人们的日常工作和生活都有着密切的联系,电气设备在在市政工程的设计当中是非常普遍的,一些电气设备在运行过程中,存在着一定的特殊性