论文部分内容阅读
本文首先证明了一个连接依赖集等价于一个连接依赖；根据这一结果，可以构造一个不用追踪判定连接依赖蕴涵问题的方法，然后，本文给出了一个新的连接依赖的推导公理系统，并证明了这一系统的合理性和完全性。
连接依赖的蕴涵问题及其推导公理系统
【摘 要】
：
本文首先证明了一个连接依赖集等价于一个连接依赖；根据这一结果，可以构造一个不用追踪判定连接依赖蕴涵问题的方法，然后，本文给出了一个新的连接依赖的推导公理系统，并证明了这一
【机 构】
：
辽宁工学院基础部,南开数学研究所
【出 处】
：
计算机学报
【发表日期】
：
1995年1期
其他文献
在综合分析释放式打印头结构和工作条件的基础上，本文建立了该类打印头激磁系统的理论分析模型，并采用向量磁势对其进行了有限元分析，得到了磁的分布规律，讨论了激磁线圈磁场的特
在大田条件下研究不同氮索水平（NO、N90、N180、N270、N360kgN／hm^2）对高丹草鲜草产量和饲用成分含量的影响。结果表明：不同氮素水平处理下．高丹草的株高、分蘖数、茎叶比差异不显
选择15±1kg体重的健康仔猪96头，随机分为4个处理：处理I为对照组（高铜、高锌±50mg／kg金霉素）、处理Ⅱ为试验I组（低铜、低锌±50mg／kg金霉素±2％湿基态发酵植物蛋白
本文提出并行搜索和规划算法，以及实现它们的高阶二维时态－竞争激励神经网络。这种网络还能实现基于传统符号逻辑的许多问题求解算法，本文的方法克服了通常的神经网络求解优化问
本文提出了采用2．5维帧间运动估计和以惯性运动模型为基础的运动滤波器新方案结合的数字图像稳定方法．具体的快速算法实现中集成了多分辨率金字塔图像运动匹配和仿射变换图像矫正，可以快速准确地消除图像序列中由于摄像机载体运动不平稳造成的抖动．实验结果表明，这个算法在仅仅使用通用低档个人计算机时达到的指标与已有算法在专用并行图像处理机上所达到的相当．
本文以门级组合电路为对象，以主路径敏化算法为基础，研究提高测试生成效率的策略，实现结果表明，按本文提出的策略所研制的测试生成系统，不仅效率较好，且得蝗测试集也较小。
本文提出了算子模糊逻辑中的广义λ－调解方法，证明了它和广义λ－归结的联合使用，对于λＥ－不可满足广义子句集是完备的。
本文提出了一种对有限自动机公开钥密码体制进行已知密文攻击的算法ＡτＭ及共衍生算法ＡτＭ＾＋，所提出的算法ＡτＭ，所提出的算法ＡτＭ或ＡτＭ＾＋在某些情况下可能奏效，由此我们得到了一些关于有限自动