论文部分内容阅读
本文提出了算子模糊逻辑中的广义λ－调解方法，证明了它和广义λ－归结的联合使用，对于λＥ－不可满足广义子句集是完备的。
广义λ—调解
【摘 要】
：
本文提出了算子模糊逻辑中的广义λ－调解方法，证明了它和广义λ－归结的联合使用，对于λＥ－不可满足广义子句集是完备的。
【机 构】
：
吉林大学计算机科学系,吉林省计算机技术研究所
【出 处】
：
计算机学报
【发表日期】
：
1995年2期
【基金项目】
：
国家自然科学基金,博士点基金,863计划,国家攀登计划资助
其他文献
本文提出了一种以电性能优化为目标的Ｓｔｅｉｎｅｒ树算法，它把从线网的源点到漏点的时间延迟最小作为求解Ｓｔｅｉｎｅｒ树的目标，文中首先给出一种多端线网连线延迟模型，然后导出它的上界，它是线网连线总长
作者从物理光学中输运理论的输运方程出发，在散射项的计算上，提出了体散射强度和面散射强度的计算，以及用边界因子组合该两项射强度作为质点粒子在该点的总的散射光照强度的体绘
在综合分析释放式打印头结构和工作条件的基础上，本文建立了该类打印头激磁系统的理论分析模型，并采用向量磁势对其进行了有限元分析，得到了磁的分布规律，讨论了激磁线圈磁场的特
在大田条件下研究不同氮索水平（NO、N90、N180、N270、N360kgN／hm^2）对高丹草鲜草产量和饲用成分含量的影响。结果表明：不同氮素水平处理下．高丹草的株高、分蘖数、茎叶比差异不显
选择15±1kg体重的健康仔猪96头，随机分为4个处理：处理I为对照组（高铜、高锌±50mg／kg金霉素）、处理Ⅱ为试验I组（低铜、低锌±50mg／kg金霉素±2％湿基态发酵植物蛋白
本文提出并行搜索和规划算法，以及实现它们的高阶二维时态－竞争激励神经网络。这种网络还能实现基于传统符号逻辑的许多问题求解算法，本文的方法克服了通常的神经网络求解优化问
本文提出了采用2．5维帧间运动估计和以惯性运动模型为基础的运动滤波器新方案结合的数字图像稳定方法．具体的快速算法实现中集成了多分辨率金字塔图像运动匹配和仿射变换图像矫正，可以快速准确地消除图像序列中由于摄像机载体运动不平稳造成的抖动．实验结果表明，这个算法在仅仅使用通用低档个人计算机时达到的指标与已有算法在专用并行图像处理机上所达到的相当．
本文以门级组合电路为对象，以主路径敏化算法为基础，研究提高测试生成效率的策略，实现结果表明，按本文提出的策略所研制的测试生成系统，不仅效率较好，且得蝗测试集也较小。