逻辑变量相关论文
基于Hoare逻辑推理规则去验证程序安全性的研究是程序验证领域的重要发展方向.但是在Hoare逻辑中,仅依靠程序变量的断言语言无法表......
根据几何图形对称的特点提出了一种逻辑变量的排列方案,介绍了利用卡诺图的几何对称性快速找出多逻辑变量的逻辑相邻最小项.......
采用逻辑变量表达热力系统和回热加热器的结构特征,以矩阵理论为基础,对回热加热器物质平衡和能量平衡关系进行推导,建立了火电厂......
本文结合数字电路教学实践,总结、探讨逻辑函数的卡诺图化简方法....
逻辑函数在逻辑电路的结构设计与电路功能：分析过程中，具十分重要的作用和价值．然而，变量不受约束的逻辑函数求找方法在逻辑变量受到约......
本文通过研究逻辑变量之间的函数关系,利用分解定理和函数最小项展开式理论,总结出求解逻辑方程的一般方法.......
本文根据七段码转换成BCD码或十进制码实际应用中存在着转换输出线太多的困难及问题,通过理论证明及实践成功地解决了在应用中存在......
为简化布尔函数6类反对称变量的检测过程,提出了基于谱系数的检测算法.从逻辑变量反对称的定义出发,在分析反对称逻辑变量Rademach......
采用逻辑变量表达热力系统和回热加热器的结构特征,以矩阵理论为基础,对回热加热器物质平衡和能量平衡关系进行分析,建立了火电厂......
信用风险管理一直是银行和其他金融机构最关心的问题之一.本文利用信息熵与传统的统计回归对比分析的方法,对信用信息数据库中的逻......
文章提出了一种多变量逻辑函数化简的卡诺图法--降维卡诺图法,从而有效扩展了卡诺图化简的适用范围.......
采用逻辑变量表迭热力系统和回热加热器的结构特征，以矩阵理论为基础，对回热加热器物质平衡和能量平衡关系进行推导，建立了火电厂热力......
详细分析了Buck变换器在不同工作模态之间的切换条件,并建立了Buck变换器的精确模型。在建模过程中,对于Buck变换器在不同工作模态......
在不修改SNMP协议的前提下,通过定义一组有效的MIB逻辑变量和一个精简的DTD文档,提出了一种基于Trap+XML的SNMP网络管理的数据同步......
采用数据库编程方法,解决了逻辑代数中的一些计算量较大的问题....
在学习组合逻辑电路时,教材中给出小规模组合电路的一般设计方法: 实际逻辑问题(逻辑抽象)→逻辑真值表(化简)→最简函数式→逻辑......
对数字逻辑系统中两种常用的容易引起混淆的标注符号给出了正确辨析方法，以利于读图和绘图。......
研究了多变量逻辑函数化简的新颖而易行的方法，即根据本文提供的一个数学模型，可以产生两种化简方法，一是逻辑相邻表法，类似三角函数利......
