论文部分内容阅读
本文提出了一种新的用于证明布尔等价的算法。算法中引入了逆布尔表达式向量化、空间向量的约简、空间向量的变换等新方法。算法复杂性为O(k·2~N),N为布尔式的输入变量数,k<0.5。
向量式布尔等价性证明算法
【摘 要】
：
本文提出了一种新的用于证明布尔等价的算法。算法中引入了逆布尔表达式向量化、空间向量的约简、空间向量的变换等新方法。算法复杂性为O(k·2~N),N为布尔式的输入变量数,k<0.5。
【机 构】
：
中国科学院上海冶金研究所,中国科学院上海冶金研究所
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
1990年02期
其他文献
【正】《本刊讯》襄樊市城镇集体工业联社第五届职工代表大会于10月下旬召开.副市长赵成霖同志、湖北省二轻局副局长陈荣甫同志出席会议并讲话.中华全国手工业合作总社办公室
【正】党的十一届三中会以来,山东二轻集体企业在改革内部机制、走向市场经济、推进技术进步、发展外向型经济等方面迈出了较大步伐。1979年至1994年间,工业总产值提高了9.6
Ｍｏｒｐｈｉｎｇ（变形）为图象处理领域比较引人注目的方法之一。本文利用Ｂ样条曲面方法构造Ｍｏｒｐｈｉｎｇ中的映射关系，使得变形过程更容易控制，也更灵活。文中样述了Ｍｏｒｐｈｉｎｇ的一般原理，建立了基于Ｂ样条曲面的映射关系，给
从目前老式机械凸轮式主令控制器存在的安装困难、动作精度不高且易误动作等问题出发，采用电气反馈、微机测量控制和输出的设计思路，提出了一种新型的电气式微机主令控制器，给出
【正】国际化经营是当今产业经济发展的一个重要特点。据有关资料,1991年,世界跨国经营年销售额高达39000亿美元,占世界国民生产总值的35％左右,商业利润占40％以上。美、日等发
【正】在强手如林的北京集体企业界,北京百龙集团总公司(以下简称“百龙总公司”或“百龙”)如同她的企业标志所描绘的那样,是一条昂首腾飞的龙。百龙为什么能够较快地发展起
目的探讨术前CT、MRI对浸润性宫颈癌的诊断价值。方法选取经手术病理学证实的浸润性宫颈癌患者46例,比较浸润性宫颈癌患者术前CT、MRI与术后病理学,以及两种诊断方式对患者术
党政机构改革是目前中国改革深化的重大课题之一.自轻工业部改制为中国轻工总会以来,地方轻工厅局也纷纷有所动作,各地经验、教训颇多,做为轻工集体企业发展较好的大省,广东
本文详细介绍了FSMTS系统基于B-Reps表示模式的图形显示算法。通过这些算法,用户可获得稳定的特征零件产品模型的消隐线框图,工程三视图和快速浓淡图。
思想政治理论课实践教学是思想政治理论课教学的重要环节,其作用和意义不可替代。文章以“态度改变说服”模型为理论依据,结合高职院校思想政治理论课实践教学现状,分析了高