布尔函数单调分解的直接方法(II)

来源 :应用科学学报 | 被引量 : 0次 | 上传用户:deiseng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对于可单调分解的布尔函数,本文再次给出两类直接的单调分解法.第一类方法适用于和之积范式,第二类方法适用于任意布尔表达式.这些方法不难在计算机上实现.
其他文献
使用激光锥光干涉法测量LiNbO3晶体的双折射率,精度可达±0.001,再利用Carruthers等人测得的LiNbO3晶体的双折射率Δn和其固态组分的关系曲线,便可直接得到LiNbO3晶体的
期刊
期刊
<正> 本文将所要求解的曲线分段处理.根据各段挠度的不同.采取不同的坐标旋转,使原来的大挠度曲线化为不同坐标系中的小挠度曲线段.各坐标系中的小挠度曲线段分别采用一般样
本文介绍我们最近建立的用γ散射方法获取康普顿轮廓(Compton profile)数据的实验装置及初步测量的结果.采用的放射源为~(241)Am(210mCi),散射角为165&#176;测量了国际标准校
杨树是我区造林的主要树种,为了进一步提高造林质量,从培育大径材的目的出发,我们对杨树造林技术进行了探讨,取得了一定成效,并在世行贷款项目造林中大力推广应用。1试验地概况试验
以林分直径分布状态转移模型为基础 ,用线性规划建立同龄林直径分布优化调整模型。建模中 ,以正态分布为目标状态约束 ,将林分密度最优控制模型引入保留密度约束 ,实现林分最
<正> 本文用有限差分法解两维泊松方程,分析了在带有场限制环的平面高反压器件的制作中,硅表面不同的正电荷对最优环间距和击穿电压的影响及在掩膜间距不变的情况下击穿电压
通过调查研究,了解掌握了8个野生树种的生物生态学特性及其经济价值,并提出了保护利用建议。
本文对某些缺陷的低温光致发光光谱的解释提出了一种经验方法.将该法应用于文献中报道的非掺、LEC半绝缘砷化镓的低温光致发光光谱,得到了一些有用的结果.然后,对某些有关缺
期刊
本文用耦合波理论来研究法拉第旋转.在可变轴向磁场作用下理想单模光纤和扭转的单模光纤中引起的法拉第旋转可用一简单的积分公式来表示.此外采用Miller近似法可很方便地处理
期刊