论文部分内容阅读
本文给出了逻辑函数余式的定义，建立了简单逻辑函数余式和复合逻辑函数余式，并得到一系列逻辑冒险，０型功能冒险，１型功能冒险的判定定理及确定各类险象和其转化条件，为无险象组合电路设计及最终解决组合险象问题奠定了坚实的基础。
组合险象逻辑余式判据
【摘 要】
：
本文给出了逻辑函数余式的定义，建立了简单逻辑函数余式和复合逻辑函数余式，并得到一系列逻辑冒险，０型功能冒险，１型功能冒险的判定定理及确定各类险象和其转化条件，为无险象组合电路
【机 构】
：
湖北师范学院物理系
【出 处】
：
计算机学报
【发表日期】
：
1994年6期
其他文献
企业内部控制既要适应社会信息化发展的要求，适应企业自身发展的内在要求，更要适应经济全球化发展的客观要求。因此．在新的时代背景下．企业内部控制必将发生深刻明显的变化．有许多
2002年、人类基因图谱破译，引起了世人的普遍关注。这一世人瞩目的“生命科学登月计划”工程庞大，基因密码的破译极端繁琐，需要大量的计算能力作为支撑。而作为该计划核心IT平台
用多机系统进行并行仿真是解决大规模连续系统实时仿真问题的有效途径。多机并行仿真中关键要解决的问题，是如何有效地将一个仿真任务分配到多机系统上并发执行，并获得高的加速
本文在相信逻辑中引入相信解释与相信模的概念，从语义上把相信逻辑改造成非单调逻辑。一个缺省理论可以直接转换成一个相信逻辑理论，本文中证明了一个缺省理论外延的模集就是对
【正】 导言根据学科定义,经济学和地理学都关心农业活动的本质,经济学家因它创造财富,地理学家因地球表面对它的贡献。非地理学家关心农村地区广泛使用农学家和农业经济学家
从本质上说，电力企业的信息系统整合与其他企业是一致的，都需要在保护投资的基础上建立新系统，快速响应业务需求。实施SOA（面向服务的架构）可以充分利用现有的IT资产，通过将现有应
本文给出开放逻辑中合理事实反驳模型类的概念，讨论了它们的重要性质。通过给定一假说中名子的线性序关系，得到了假说的最大前节重构的概念，并由此给出了合理事实反驳模型类的一