论文部分内容阅读
本文揭示ＥＳＰＲＥＳＳＯ算法和Ｍｕｒｏｇａ等提出的求绝对最小算法中识别实质本源蕴涵项的方法具有近似的复杂度。文中还给出了一个在产生本源蕴涵项过程中识别实质本源项的算法。
关于实质本源蕴涵项的识别问题
【摘 要】
：
本文揭示ＥＳＰＲＥＳＳＯ算法和Ｍｕｒｏｇａ等提出的求绝对最小算法中识别实质本源蕴涵项的方法具有近似的复杂度。文中还给出了一个在产生本源蕴涵项过程中识别实质本源项的算法。
【机 构】
：
南通纺织工学院自动化系
【出 处】
：
计算机研究与发展
【发表日期】
：
1995年12期
其他文献
提出了描述互连网络拓扑等价的图分析法。获得了全交叉网络与基准，逆基准，Ｏｍｅｇａ，ｆｌｉｐ，Ｓ＝Ｆ＝２ＳＷ榕树，简化数据变换等多级互连网络拓扑等价的逻辑名结构。阐明了用光学全交叉网络模拟实现上述网络的互
在多用户的网络环境中，并行计算任务的分配和网络负载的动态变化都会影响并行计算任务的响应时间和执行效率．文中通过在ＰＶＭ中增加负载平衡策略，以及对操作系统的调度策略进行修改，使
近年来海外学者对昆仑神话及昆仑文化有较多的关注,学界应用不同的理论和方法从不同的角度论证"昆仑是什么""昆仑神话起源与发展""西王母神话""昆仑神话的图像研究"等相关问
知识的理论表示方法是基于属性描述的概念获取系统中一种有效的知识表示方法，它具有层次性，抽象性、模块性和完整性等特点。本文给出了理论表示方法及其描述语言的定义和应用实
在高二<思想政治>第五课的教学中,学生对感性认识和理性认识有许多错误认识,如认为现象属于感性认识,本质属于理性认识;感性认识是理性认识的来源;理性认识是感性认识的最终
本文系一项为提高我国灌装机设计技术水平而进行的研究，以微机、自控、检测技术为手段，实现了灌装系统的模拟及其过程参数的检测和数据处理。
本文描述并实现了一种关系数据库系统视图定义的扩充方法,即参数化视图定义方法。该方法可根据对视图的动态赋值,在不扩充其运算符及过程结构的情况下定义递归关系。本文还给
1 晚秀亲本为甜梨×晚三吉.平均单果重660 g;果形扁圆,果面光滑,平整,有光泽,无水锈,为秀丽的黄褐色.果肉白色,硬脆,质细多汁,含糖量13.6%,甜味浓,品质极上.果实10月上旬