论文部分内容阅读
在这篇论文中,提出了广义λ-子句的概念和引进了广义λ-归结方法.证明了广义λ-归结方法对于广义λ-子句集是完备的.
广义λ—归结
【摘 要】
：
在这篇论文中,提出了广义λ-子句的概念和引进了广义λ-归结方法.证明了广义λ-归结方法对于广义λ-子句集是完备的.
【机 构】
：
吉林大学计算机科学系,吉林省计算机技术研究所
【出 处】
：
计算机学报
【发表日期】
：
1992年9期
【基金项目】
：
国家自然科学基金
其他文献
在一个大型分布式系统中,传统的调度方法存在着知识的不确定性、不完整性、调度不稳定性和策略单一性等问题.为了解决这些问题,本文提出一个智能分布式任务调度的新方法,并介
9月27-29日，中国饲料工业协会第五届大型企业联谊会暨2009饲料行业发展高层论坛在美丽的海滨城市青岛召开。此次论坛汇集了行业精英，带来了最新的行业理念及前瞻观点。本次会议
为了解固始鸡的生长发育规律，通过运用Logistic、Gompertz和Bertallanffy3种非线性模型分别对固始公、母鸡0-12周龄体重生长数据进行了曲线拟合和分析。结果表明，3种模型均能很
目的探索治疗慢性细菌性前列腺炎的方法。方法全部病例均给予抗炎治疗外增加了一般治疗（包括消除顾虑,安排规律的生活,参加适当的体育锻炼,每日1次热水坐浴,每周1次前列腺按摩
本文对餐厨垃圾无害化处理后进行畜禽养殖和饲料化作危害探析．得出餐厨垃圾无害化处理后的饲料化存在巨大的安全隐患．其潜在的危害并不比直接用餐厨垃圾饲喂畜禽低．进而提出需要
选用120只2周龄的健康仔鸡，完全随机分为4组，每组30只鸡，试验Ⅰ、Ⅱ和Ⅲ组分别在基础日粮中添加0．2％、0.3％和0.4％“甜叶菊提取物”．试验Ⅳ组为对照组，饲喂基础日粮。饲养期为8周，研究甜
饲料工业的腾飞促进了行业媒体蓬勃发展。中国饲料行业宣传发展联谊会把行业媒体联合起来，聚合了媒体力量，提高了行业舆论载体的整体水平．成为推动行业发展的重要力量，从1997年中
<正> 1.引言 1983年,S.Ginsburg和K.Tanaka提出了对象历史模型(称GT模型),奠定了研究历史性数据的理论基础.1987年,唐常杰等提出了“历史数据——信息系统”数学模型。 笔者
选用4头体重约500kg．年龄3岁装有永久性瘤胃瘘管的西门塔尔阉牛．采用4×4拉丁方设计．以混合精料和玉米秸秆为基础日粮．研究不同添加水平的苹果酸（0、70、140和210g／d）对西门塔尔
本文从集成度、芯片面积、硅片尺寸、器件特征尺寸.存储单元面积、工作电压以及访存时间等七个方面评述了半导体存储器技术的进展;分析了其市场需求与价格趋势;指出了传统的