论文部分内容阅读
系统地讨论了Ｂ２上布尔函数的拟单调分解，先使用拟单调分解树来定义布尔函数拟单调分解的一般形式，使其在应用中具有很大的灵活性。最后将上述结果推广到布尔函数拟单调分解的一般形式，给出一个布尔函数可以分解成ｋ个单调函数的逻辑组合的充分必要条件。
B2上布尔函数的拟单调分解
【摘 要】
：
系统地讨论了Ｂ２上布尔函数的拟单调分解，先使用拟单调分解树来定义布尔函数拟单调分解的一般形式，使其在应用中具有很大的灵活性。最后将上述结果推广到布尔函数拟单调分解的一般
【机 构】
：
上海大学计算机科学系
【出 处】
：
应用科学学报
【发表日期】
：
2000年1期
其他文献
近年来,随着青岛市经济社会的全面发展和大规模植树造林的开展,林业种苗、花卉业得到快速发展,已成为我市农村的一项新兴产业.为把林业种苗、花卉产业做大做强,对全市林业种
研究一类线性时滞系统的输出反馈无源控制问题.通过采用Lyapunov稳定性理论和线性矩阵不等式方法,给出了使闭环系统二次稳定且严格无源的静态或动态输出反馈控制器存在的充分
我国华北大部分地区春季少雨多干风,10年有9年春季干旱,土壤含水量较少,因此植树成活率较低,甚至有的造林失败,直接影响造林者的积极性和林业生产的发展.近两年将以往春季造
四倍体饲料型刺槐是在多倍体育种研究中取得的重大成功,它树体矮化、叶片肥大、产量高,枝条无刺,较普通刺槐具有更强的适应性,耐干旱、瘠薄,耐烟尘,抗盐碱,成林快.是水土保持
我国是杜鹃花资源的重要分布中心,世界杜鹃花育种因中国杜鹃的发现而发展.大树杜鹃掀起了第一次育种高潮,云锦杜鹃、腺柱杜鹃、圆叶杜鹃是19世纪后期和20世纪杜鹃花育种的著
通过对诸多国有苗圃的调查,指出了国有苗圃中现存的问题,并对问题进行了理论上的分析和论证.对国有苗圃中的缺乏市场竞争意识、管理和运作体制改革和如何提高生产力加快发展
大袋蛾是刺槐、法桐、泡桐等阔叶树的主要食叶害虫之一，在鲁西北为1年1代，以幼虫在袋囊内越冬，次年3月下旬开始活动取食，一般以7、8月份为害最严重。我们用不同的内吸剂，在树干基
基于 EWB仿真软件的功能及特点 ,提出 EWB仿真软件教学的分层次实施方案 ,阐述了 EWB仿真软件在电类课教学中的运用 ,旨在推进现代教育技术进程 ,深化教学改革。
针对计算机专业的特点和发展形势，研究了计算机教学对环境的特殊要求，对设备与实验室建设以及学生课外实践条件的改善进行了探讨，总结了一些做法，提出了自己的见解。
应用齿轮滚刀的偏置构形原理，提出了齿轮滚刀齿侧面精密铲磨的一种新方法，并用算例验证了模型的可靠性，为制造高精度滚刀提供了可靠的理论依据。该铲磨方法也可推广到其他类型的