论文部分内容阅读
以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统.研究了在A水平上系统的赋值和公式的可满足性等基本定义,证明了系统"有效性"的可判定性并给出了判定算法.
基于有限格蕴涵代数的格值命题逻辑语义系统
【摘 要】
：
以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统.研究了在A水平上系统的赋值和公式的可满足性等基本定义,证明了系统"有效性"
【机 构】
：
西南交通大学应用数学系
【出 处】
：
西南交通大学学报
【发表日期】
：
2002年5期
【基金项目】
：
国家自然科学基金
其他文献
传统的D型迭代学习控制的控制律设计方案依赖于被控系统的相对度.为解决该问题以及相对度增益与高阶微分运算的问题,针对一类具有任意高阶相对度的非线性系统,提出了基于虚拟
摘要：针对西安思源学院学生特点，该文研究在OBE教育理念的指导下对《信号与系统》课程进行改革与实践，主要从课程知识结构调整、细化课程培养目标、丰富教学方法三个方面实施，最后通过课程达成度评价来测试改革后学生学习效果，并根据达成度自评结果以及建议，在下一轮的教学中对课程教学内容、教学方法和考核环节等方面实施相应的改进措施，以加强学生较弱方面能力的培养和提高。 关键词：OBE；信号与系统；教学改革
微尺度流动中的混合一直是微流系统研制中的一个大问题,对壁面zeta势非均匀分布情况下的二维微槽道电渗流进行了数值分析,重点分析了这种情况下的微流动混合增强.基于电渗流
在分析二维平行放位货物装车问题的基础上 ,对货物装车问题设定了布局约束 ,构造了布局约束启发式算法。实验结果表明 ,此算法可以有效求得问题的优化解或近似优化解 ,是求解
根据检测电波到达时间 (TOA)的定位法提出了一种基于移动台位置的动态定位算法。该算法利用蜂窝网络系统中多个基站检测到的移动台电波TOA信息对移动台进行定位估计 ,参与定
介绍了CNP1000吊篮组件模型在空气，静水中振动特性计算结果，试验结果和水力回路上的动水振动特性结果。结果表明，吊篮组件静水中的振动频率值较空气中下降很多（一半左右），吊篮容器
分析了不同类型微小型机器人对自驾系统的共性需求.提出了一种基于ARM(AdvancedRISCMicroprocessor)和μCOS-II的嵌入式自驾仪设计方法,给出了从需求分析、功能设计、结构设计、硬件设计、软件设计的系统设计过程,并分别从上述各方面对自驾仪的通用性进行了探讨.层次化的体系结构、模块化的硬件、结构化的软件以及无精确模型的模糊控制方法使得设计出的自驾仪经过简单的硬件调整和软件定制
在开发P&ID辅助设计系统的过程中,需要表示实体间的逻辑拓扑信息.为避免引入附加抽象实体来表示逻辑拓扑信息带来的复杂性,提出以面向对象为基础将逻辑拓扑信息统一在实体本
以角速率信号作为算法输入时,采用以往常用的圆锥补偿算法,算法误差明显增大.鉴于光纤陀螺角速率信号可以直接获取,提出了一种以角速率信号作为圆锥补偿算法输入的新补偿算法
微波泄漏是影响光抽运铯原子钟准确度的主要因素之一. 傅里叶变换分析法是分析其影响的主要手段,但该方法只能用来分析有效原子速度分布很窄的情况.通过分析和计算,推导出频