论文部分内容阅读
本文详细介绍了通过合并，消元，逐项检测的方法进行逻辑综合，求解必要质蕴涵项的思路，并对算法的性能进行了简要的分析。
一种快速逻辑综合算法
【摘 要】
：
本文详细介绍了通过合并，消元，逐项检测的方法进行逻辑综合，求解必要质蕴涵项的思路，并对算法的性能进行了简要的分析。
【机 构】
：
信息工程学院计算机工程系
【出 处】
：
信息工程学院学报
【发表日期】
：
1999年4期
其他文献
中国从1990年代进入低生育率国家行列。2000年第五次人口普查时公布TFR只有1.22，2005年小普查时1.33，2010年“六普”时甚至不到1.2。从数据来看，中国的低生育水平已经是“超低型”，就是育龄妇女的总和生育率总体上低于1.3，已经掉入“超低生育陷阱”。其原因有三：在政策上，长期坚持极端的一胎化政策，鼓励独生子女家庭，殊不知这是风险政策和风险家庭，中国从1980年9月25日《公开信》
已经过去的2011年，中国经济外部环境不断遭遇欧债危机不断发酵、日本大地震、美国经济持续低迷等一系列负面因素的冲击，国内经济也接连出现通货膨胀压力上升、企业生产经营困难
本文讨论了新旧两种质量观的区别和各自的特点,分析指出6σ质量管理法是一种与新质量观相适应的突破性质量管理战略,这种质量管理战略能够兼顾顾客和企业的利益及需要,从而实
冻土地温控制的基本措施可分为主动和被动两类，但对主动和被动措施如何准确划分，目前在国内外并不一致。国外普遍从能量的观点来进行划分，被动地温控制措施在运行期间不需人为提
文章从阐述接口定义语言编译器在ＣＯＲＢＡ开发模型中的作用开始，提出了ＩＤＬ编译器的开发模型，然后讨论了编器的实现过程中的技术问题。
文章首先介绍了网络基准测试的研究情况，并从不同层次用户的需求出发，分析了基准测试的性能指标体系。在此基础上，以网络性能基准测试原型系统为便，说明了基准测试的原理和一般过
近期,理学院物理系陈天禄副教授申报的＂在西藏建立更高海拔（〉5000m）宇宙线观测站相关问题的研究＂项目获教育部科学技术类项目立项资助,资助经费为52万元。
应用灰色系统理论,对二灰稳定土抗压强度与其材料关联因子的关联度作分析,找出影响二灰稳定土抗压强度的主要因素,并对其关联因子进行排序。通过实例对二灰稳定土的粘土、石
文章阐述了企业生产的网络化发展趋势，对面向分散网络化建模过程的特点进行了分析，介绍了进行基于网络建模的系统开发方案，并介绍了该课题组正在开发的基于Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ的建模原型系统。
在现代社会,电子商务成为企业发展的趋势.而企业在电子商务中取得成出忠诚的顾客.本文借鉴优秀网站的先进经验,对企业在电子商务中获得顾客忠诚的主要途径进行了深入的分析.