卡诺图在同步时序电路中的应用

通过两个典型例子，介绍了卡诺图应用于同步时序电路的逻辑分析和逻辑设计的方法。     

对称卡诺图计算机辅助设计及卡诺图高维块的双码表示

对称卡诺图计算机辅助设计(CAD)的开发是为数字电路逻辑设计服务的,应用本程序在进行逻辑化简时,既直观又不受变量数量限制,即使变量过多也不觉繁琐。本文还介绍了卡诺图高维块的双码表示的新方法。     

在对称卡诺图上化简多输出布尔函数

用解析法或卡诺图对比法化简多输出的开关电路,既不直观,又易漏项,而且工作繁琐,使用不便.本文把多输出的化简移入对称卡诺图中进行,可准确求出最简布尔式.此法也可往计算机上进行,使用方便,容易掌握.     

卡诺定理论证方法的不足和完善

本文指出了传统的卡诺定理论证方法的不足之处，并给出了一种完善方法。     

时态命题演算T1的树枝图及其应用

将命题演算语义树理论扩充到非标准逻辑，建立了时态命题演算Ｔ１的树枝图，并证明这种枝图从语义上能判别Ｔ１的有效式，Ｔ１的无效式，从语法上能判别Ｔ１系统的定理，非定理的其它公式。     

逻辑增长曲线模型参数估计的程序设计

本文论述逻辑增长曲线模型的参数求解方法－－优选法，并给出了计算程序的Ｎ－Ｓ图。     

特种设备检测管理系统建模研究

通过UML工具分析了特种设备检测管理系统的功能需求，按NMVC模式，根据系统功能和业务流程抽象出了系统的对象类，建立了系统的检测记录录入和检测报告自动生成打印协同图，分析了系统的逻辑组件图．最后介绍了实现特种设备检测管理信息系统采用的技术和方法．     

卡诺制冷机的有限时间Yong经济优化性能

以利润率为目标，分析了存在热阻和热漏的卡诺制冷机的有限时间Ｙｏｎｇ经济优化导出了最大利润率时的制冷率和制冷系统，所得结论可为制冷机的优化设计和最佳工况选择等提供理论指导。     

基于单码道绝对位置编码理论的11位字长旋转编码器设计

系统介绍了单码道均布式绝对位置编码序列的性质,并给出可用序列在码型和段数方面的几点约束,同时还应用卡诺图均布式绝对位置编码理论设计了11位字长2046个位置绝对编码序列.应用该序列制作了码盘,设计并实施了小型高精度的单码道均布式绝对编码器样机,其硬件电路分为译码、置零和并串行输出接口3部分,并行接口可直接用于显示,串行接口符合RS-485标准,同时根据实际应用需求设计了按键式电置零功能.     

离散事件仿真模型的实现方法

在离散事件仿真中，广泛采用的仿真实现方法是事件调度法、活动扫描法、进程交互法和三阶段法。本文讨论了每一种实现方法的建模观点和仿真运行控制机制，给出了每种实现方法的逻辑流图和伪码算法，并比较和评价了它们的建模特点、执行效率和自然表达能力。