论文部分内容阅读
在n值Lukasiewicz命题逻辑中提出了命题集Г的约简理论，引入由命题集Г所诱导的形式背景的概念，从Г及其子集的关系出发给出了n值命题逻辑中有限命题集Г约简的判定定理以及求Г约简的方法。说明了无穷值Lukasiewicz命题逻辑中命题集Г的约简可转化为n值情形。
■ukasiewicz命题逻辑系统中有限命题集的约简理论
【摘 要】
：
在n值Lukasiewicz命题逻辑中提出了命题集Г的约简理论，引入由命题集Г所诱导的形式背景的概念，从Г及其子集的关系出发给出了n值命题逻辑中有限命题集Г约简的判定定理以及求
【机 构】
：
西安邮电学院应用数理系
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年7期
【基金项目】
：
陕西省教育厅科研计划项目（No.08JK432）.
其他文献
在三维复扩展柱坐标系下推导了麦克斯韦方程在完全匹配层吸收边界条件中的时域有限差分(PML-FDTD)表达式,将FDTD推广到三维扩展柱坐标系中;为保证其求解的稳定性,给出了更为
政府由管理到服务的改革创新的方向和速度开始对电子政务建设、尤其是应用的影响越来越明显。结合这一发展重点，中国应该积极借鉴和学习其他国家和地区的先进经验，而内地借鉴我
针对有序尺度变量，给出了有序信息系统与有序决策表在优势关系下的粗糙集约简定义；利用粗糙集方法将对象综合排序，进而得到一组秩；根据这些秩，运用非参数统计的思想研究了两个属性
根据反汇编器原理,分析现有的花指令加密算法存在的问题,提出了一种新的花指令加密算法——子程序花指令加密算法。详细论述了子程序花指令加密的工作流程和算法描述,分析了
在脑一机接口的研究中分类识别技术占有重要地位。将脑电信号中事件去同步化/相同步化现象作为特征信息,深入讨论基于AR模型的自适应算法（AAR）和多变量参数AAR模型算法（MVAAR）在
提出网格相对密度的概念和边界点提取技术,在此基础上给出了一种多密度聚类算法。该算法使用网格相对密度识别具有不同密度聚簇的相对高密度网格单元,聚类时从相对高密度网格
以大连市政府门户网站为例，探讨了目前中国常见的政府网上公众参与形式，剖析了政府网上公众参与的实际内涵；提出了网上政府互动模型的基础框架；总结了大连市政府网站开展公众参与
针对移动机器人的任务和硬件组成，提出了基于Java开发平台的Agent控制系统设计方法。以目前应用较广泛的JADE作为Agent开发平台，采用JNI方法实现了Agent与硬件系统的交互。在运
随着传感器网络负荷的增加,拥塞将会导致网络性能的大幅下降。采用基于反馈的无线传感器网络流量控制机制,通过对拥塞节点的前一跳节点进行流量控制,来实现控制流入拥塞节点
考虑一种具有时间延迟的磁性轴承系统,由分析有关的特征方程的根的分布,来研究模型的线性稳定性讨论了随着参数的不同,系统稳定性和周期解的存在情况,得到了当延迟通过一系列