论文部分内容阅读
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Horn公式.
若干限制形式的缺省推理的复杂性
【摘 要】
：
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Horn公式.
【机 构】
：
南京大学数学系,扬州大学数学系
【出 处】
：
软件学报
【发表日期】
：
2004年期
【基金项目】
：
国家科技攻关项目;国家自然科学基金
其他文献
目的探讨经直肠超声引导下前列腺穿刺活检在早期前列腺癌方面的意义。方法对36例可疑前列腺癌患者,在超声引导下,经直肠前列腺多点穿刺活检。结果本组14例确诊为前列腺癌,所
视频编码的可分级性是MPEG 4标准视频部分所要求的重要功能之一 .本文提出了一种基于子带 /小波分解的可分级性结构 ,以支持视频编码的空域分层、时域分层以及混合分层 ,并通
在大规模集成电路芯片的可靠性分析和性能评估中 ,功耗估算起着重要的作用 .文中提出基于 ATPG的最大功耗估算改进算法 ,通过对电路充放电节点分配信号翻转 ,使电路工作时的动态功耗最大化 ;研究了路径搜索空间与功耗估值的关系 ,减少了路径搜索的开销 ,加快了估算时间 ;同时将算法扩展到同步时序电路
目的 探讨64排螺旋CT血管成像评价前循环颅内段血管狭窄的临床价值.方法 选取80例前循环缺血性卒中患者为实验组,同期60例非缺血性卒中患者为对照组,入院1周内行头颈联合扫描
自适应滤波器的性能曲面具有某些有益的几何特性 ,根据这些特性 ,本文提出FIR自适应几何中心法(FIRAGCM) ,然后通过转化IIR滤波器的性能曲面 ,得到全局收敛的IIRAGCM算法 .与
可持续发展的指标体系由基础系统、协调系统和潜力系统三个方面组成,其中最重要的是基础系统.从总体上看,云南少数民族地区可持续发展的基础好、潜力大,但协调性较差,人口素
目的 分析影响开颅手术术后并发神经系统感染的风险因素.方法 回顾性分析2008-01-2012-01在我院接受开颅手术患者的临床资料.计算开颅手术后发生神经系统感染的发生率以及开
输电线路故障定位一直是电力系统急需解决的难题.传统的测距方法都是基于线路一侧电压电流的单端测距方法,测距精度受过渡电阻的影响很大.提出的故障定位算法利用故障后线路
应用光学和数学理论导出本征不对称光纤法布里-珀罗干涉仪中反射光与透射光的数学模型及低反射率法布里-珀罗干涉腔长度的变化与干涉光光强的数学模型, 并指出当r′1=t1t′1r