论文部分内容阅读
把布尔函数一致法对变量的运算转化为数学运算，在此基础上引入了布尔函数的能量的概念，并利用它对一致法理论进行研究，得出对一类布尔函数使其一致次数尽可能少的简化方式，并对一致次数做了估计。
利用能量函数研究布尔函数的一致法计算
【摘 要】
：
把布尔函数一致法对变量的运算转化为数学运算，在此基础上引入了布尔函数的能量的概念，并利用它对一致法理论进行研究，得出对一类布尔函数使其一致次数尽可能少的简化方式，并对一
【机 构】
：
北东邮电大学基础部,北京邮电大学信息工程系
【出 处】
：
北京邮电大学学报
【发表日期】
：
1994年1期
【基金项目】
：
北京邮电大学青年科研基金
其他文献
论述了激光焊接连接防护罩和螺母的优越性。采用激光焊接的方法分别研究了Q235钢和H62黄铜防护螺母激光焊接后的组织和性能。研究结果表明，防护螺母激光焊接成形具有最窄的热
介绍了程控交换呼叫处理软件中的一种号码分析方法－表格逐级展开法，分析了该方法的优点以及在实际应用中存在的问题，提出了一种改进方法。改进后的号码分析方法具有分析操作简单
在深入分析差分匹配滤波器法标记应答信号前导单脉冲过0点时间戳的基础上，针对高信噪比情况下到达时间（TOA，timeofarrival）检测精确度依然存在的问题，提出了基于二次判决的差分匹
《品质》是英国作家高尔斯华绥创作的短篇小说,讲述了一位敬业诚信、执迷于自己“靴子梦”的鞋匠格斯拉,宁愿饿死也不肯降低靴子质量的故事,表现了底层劳动者高尚的品质。小
中国地区经济和民航运输的飞速发展,高原以及地形复杂地区的航空运输需求越来越突出,为保证运行安全,一发失效应急程序的设计研究亟待深入。结合飞行动力模型,基于性能工程师
美国次贷危机引发世界金融动荡，发展中国家粮食价格大幅上涨引起民众恐慌，这是经济危机的前兆，并期盼着国家能够伸出援手。可是国家出手的效果，与当事国（尤其是发展中国家）的国有经
传统涡流仿真模型仅包含单一求解区域，将所有物体囊括在内。随着近代工业科技的飞速发展，被检物体日趋复杂，从而使得传统涡流仿真模型的计算效率降低。将单一求解区域划分为数个
俄东部地区幅员辽阔，自然资源丰富，而人口形势却不容乐观，人口数量减少，分布不均，且人口向中西部地区流动严重。时任俄总统普京对东部地区的开发极为重视，成立了远东及外贝加尔地区
从几何光学的理论出发，研究波片延迟误差的校正方法。通过研究晶体延迟器件光线入射方向与其延迟量变化的关系，从理论上导出了光线斜入射到波片时波片相位延迟量变化的计算公式