论文部分内容阅读
设Г为有限命题集，首先讨论了Г在不同的n值命题逻辑系统Ln^＊中的相容性问题，提出了Г的约简理论，从命题集Г所诱导的多值形式背景出发，运用概念格的方法从Г及其子集的关系出发给出了Г约简的判定定理。
n值命题逻辑系统Ln^＊中有限命题集的相容性与约简
【摘 要】
：
设Г为有限命题集，首先讨论了Г在不同的n值命题逻辑系统Ln^＊中的相容性问题，提出了Г的约简理论，从命题集Г所诱导的多值形式背景出发，运用概念格的方法从Г及其子集的关系出发给
【机 构】
：
西安邮电学院应用数理系
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年13期
【基金项目】
：
陕西省科学技术研究发展计划项目（No.2008k01-33）.
其他文献
眼底出血为常见的眼科病证之一,患者如果长期血压较高,可导致视网膜动脉痉挛,进而硬化变细,压迫动静脉交叉处静脉,破坏视网膜屏障,出现散在或多发性片状出血,最终导致高血压
OS/2这个复杂且先进的操作系统,绝对不是一夜之间就可突然蹦出来的;若打开其整个发展史,您将可发现OS/2的发展演进与这十年来的PC软件、硬件技术有着密不可分的因缘。
提出了基于SVM的遥感图像分类方法并构建了分类模型,该方法以唐山1∶50000TM局部图为分类数据来源,由用户选择感兴趣的区域,分别提取该区域绿地、公共用地和房屋的图像特征,并以此为训练样本进行训练,采取交叉校验的方法获得SVM的最优惩罚因子C和间隔γ参数进行图像分类。实验结果表明,此分类方法准确率高、稳定快捷,是SVM在遥感图像分类中的一个很好的应用。
介绍一种由反力架、调位装置、组成的辅助校准卧式拉力试验的十字相互嵌套反力架。该装置一体化设计,操作简单,具有水平支撑标准器、无级调节标准器对中、自动调节受力轴线、
由于三维空间中存在大量的线、面特征,所以基于线、面特征进行三维重建具有十分广阔的前景。然而,由于噪声和提取直线算法的影响,凹凸面的关键边界直线未能提取出来,那么如何识别无法提取出的关键凹凸面边界直线,是一个有待解决的问题。提出了通过同名直线(对应直线)前方交会出空间直线、空间直线基于带限制条件的间接平差拟合出空间平面、空间平面再相交,交出关键边界直线的新算法,解决了上述关键边界直线缺失的问题。通过
延迟容忍网络的路由机制与传统的网络结构有很大不同。针对这类网络中的路径失效问题进行容错研究使得网络在出现路径失效时，能够不影响消息传送，并尽可能地提高消息的成功交付
本文论述了有关斑岩铜矿床和块状硫化物铜矿床之间的关系,以及特提斯欧亚成矿带的大地构造环境。特提斯欧亚成矿带位于非洲—阿拉伯板块和欧亚板块之间,长近一万公里,它连接
针对集装箱多式联运中运输路线优选和运输方式优选的问题，建立了组合优化模型，该模型是一个0—1规划模型。通过将运输网络划分成若干阶段，存在路径的不相邻阶段间增加虚拟城市节
本文基于中医药文化的视角论述了中医药文化软实力实现价值提升的路径与方式，以及中医药文化作为中华文化十大因素之一是其提升的重大价值。笔者以中医药文化传播与实现为切入
随着现代网络信息技术的不断发展以及我国教育事业水平的不断提高,远程教育形式的出现拓宽了高校教育的新阵地。远程教育也称为网络教育,是主要针对成人教育开展的一种培养模