逻辑系统

更新时间:-- | 阅读量: 60

本文介绍了二重命题逻辑系统■T4的形式语言和公理系统,并得出了有关该系统的重要定理。通过框架与模拟框架之间的桥梁,我们最终给出了二重命题逻辑的有效性是一种封闭框架类的有效性。利用二重命题逻辑的可能世界...

《逻辑研究专辑》 2001年00期 关键词: "二重逻辑"," 公理系统"," 可能世界语义学"," 可靠性"," 完全性" 收藏

<p>针对斜井提升机控制系统应用现状，通过分析变频调速的工作原理，提出技术方案，从软硬件功能两方面设计基于PLC 逻辑控制的变频调速系统，并对其技术性能进行了必要的分析和说明。</p>

《科技创新与应用》 2015年32期 关键词: "能量回馈","节能","PLC逻辑控制" 收藏

讨论格值一阶逻辑系统LF (X)中a-语义归结方法和有序归结方法的相容性。给出了LF (X)中a-有序语义归结和a-有序语义归结演绎的概念，通过实例说明LF (X)中a-有序语义归结演绎的有效性和不完...

《四川理工学院学报（社会科学版）》 2015年5期 关键词: "自动推理","归结域","格值逻辑","格蕴涵代数" 收藏

<p>单片机所具有的复杂实时控制功能与中断技术密不可分，面对控制对象随机发出的中断请求，单片机必须做出快速响应并及时处理，以使被控制对象保持在最佳工作状态，达到预定的控制效果。<br/></p>

《科技创新与应用》 2015年17期 关键词: "单片机","中断系统逻辑控制图","特殊功能寄存器" 收藏

<p>文章针对“全地形适应系统”开发控制逻辑进行了分析描述，指出了在设计应注意的一些要点。希望相关的工作人员提供借鉴与帮助。<br/></p>

《科技创新与应用》 2015年22期 关键词: "全地形适应系统","越野","车辆稳定系统","变速箱","分动器","EMS" 收藏

换流变压器在长期过负荷下运行时,将在不同程度上缩短其寿命,应尽量减少出现这种运行方式的机会;必须采用时,应尽量缩短超额定电流运行的时间,降低超额定电流的倍数,并投入全部的冷却器。本文针对特高压直流换流...

《新型工业化》 2020年01期 关键词: "特高压直流"," 换流变"," PLC"," 过负荷" 收藏