论文部分内容阅读
以公式真度为基础,研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题,给出了分类定理以及同一理论结论的相似度的一个下界。
二值命题逻辑理论的结论类型和分类
【摘 要】
：
以公式真度为基础,研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题,给出了分类定理以及同一理论结论的相似度的一个下界。
【机 构】
：
青岛大学师范学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年3期
【基金项目】
：
王廷明（1963-）,男,副教授,主要研究领域为经典逻辑.
其他文献
通过PS-2键盘接口通讯协议和Wireless USB技术的研究,提出了一种在PS-2接口的有线键盘上设置一个无线发射器,在PC主机端设置一个USB接口接收器,将原来的有线键盘改装成无线键
分析历年来的高考物理试题，按照研究对象的物理模型，我们认为与2个守恒有关的问题大致可分为如下4类。1 滑块问题滑块问题是高考中常考的物理模型，题型多为力、电计算题。一般分
求解数学问题的关键是思路，其要害是切入口，找到了切入口，解题就水到渠成了．本文总结一些常见的寻找解题切入口的方法，供同学们参考，期望有助于提高大家的解题能力．
以上世纪80年代国内政府机关的办公自动化建设为开端，电子政务已经持续了近二十年。近二十年的探索实践取得了相当大的成果，但同时也走了不少弯路，犯了不少错误。归结起来，中国电
介绍了基于马尔科夫过程的磁盘阵列典型模型,分析了典型模型中存在的不足。依照海量存储系统中磁盘阵列工作的特点,结合蒙特卡罗方法,引入新的状态和参数,对基于马尔科夫过程
在化学试卷中，命题者往往把容易混淆的概念和知识编织在一起，以假乱真，或故意强调一些文字、数据或隐含信息，有意暗示考生解题思路，使思维不严密的考生误入岐途．以下笔者例谈化学题
2008年3月18日，《电子政务》杂志社上办的“政府信息公开目录服务体系建设研讨会”在北京国家科学图书馆举行，来自中央各部委和地方省市信息化上管部门的代表200余人参会，
动脉脉搏波速率(PWV)测量在评价动脉弹性和硬度中具有重要的理论意义和应用价值。为了提高在复杂噪声背景下PWV测量精度,提出了利用Duffing方程构造混沌振子检测系统进行PWV测量的基本思想及具体实现方法;研究了根据Lyapu-nov特性指数值来判断脉搏波波形"波谷"的特征点,从而准确地测量出脉搏波传播时间PTT以及PWV。实验结果表明与传统的PWV检测方法相比较它具有较强的抗干扰能力,重复性得
提出了一种基于模型的实时调度设计方法,利用生产者-消费者模型解决约束条件下的SCADA系统实时调度问题。设计者可根据应用需求中的数据有效期及估算的任务计算时间,通过提出