论文部分内容阅读
基于L＊系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。
L＊系统中的函数决定公式问题
【摘 要】
：
基于L＊系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的
【机 构】
：
聊城大学数学科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年15期
【基金项目】
：
国家自然科学基金No.60875034
其他文献
利用有序二叉决策图OBDD对二值图像序列数据进行建模,根据图像序列的帧间相关性,图像序列的OBDD共享了大量结点,节省一定的存储空间,为图像序列的有关处理提供了一个新的数据表示方法。
针对OFDM信号功率降额问题,提出了一种新的子载波预留方法。该方法利用谷值补偿算法改善OFDM信号的立方度量性能,并使用动态峰值削减算法降低OFDM信号的峰均功率比,同时对原
针对喷水推进滑行艇的高速滑行原理,建立了其非线性的纵向运动数学模型。首先分析了滑行艇在高速滑行过程中的受力,详细地推导了艇体受到的重力、浮力和动升力,并根据喷水推
按照自然出露情况，丹凤岩群东段可以划分为商南－丹凤段和商镇－高桥段，研究证明，商南－丹凤段中侵入的出露面积大于变质地层，变质地层的变质级达角闪岩相；原岩主要是陆源碎屑岩和泥灰岩
为了更有效地处理建筑块,提出有导向的交叉算子。首先反复运行快速演化算法找到多个局部最优解,然后识别这些局部最优解中的重要基因位,将其标识为潜在的建筑块,然后应用有导
随着ＧＰＳ定位技术的不断发展和应用的普及，愈来愈多的ＧＰＳＡ接收机及数据处理软件进入我国市场，获得了巨大的社会效益和经济效益。但是由于各ＧＰＳ接收机的观测数据格式不统一，引起ＧＰＳ数据处理软件
针对潜艇耐压壳体误开孔的修补方案，采用有限元分析法，对潜艇耐压壳体的变形和应力进行计算。通过对计算结果的分析以及对两个施工方案的评估，肯定了该型潜艇的修补方案，为后期开
在文本无关的说话人辨识中,为了提高系统在电话语音条件下的鲁棒性,提出了将说话人确认中常用的评分规整手段用于说话人辨识中,即对测试语音通过不同话者模型的评分分别进行
提出了基于主成分分析（Principal Component Analysis，PCA）的K近邻（KNearest Neighbor，KNN）分类原理，并将其应用于胎心率与宫缩描记图分类。主要思想是：对训练样本和测试样本进行降维
依据环境污染与评价属于模糊概念这一客观实际，探讨了确定污染指标权重的新方法，并尝试运用模糊模式识别理论与模型对某水源地供水井群的水质动态进行了综合评价，得到了比较满意