论文部分内容阅读
本文研究不循环ＡＬＰ的说明语义，利用依赖关系的非自反应性，把程序的Ｈｅｒｂａｒａｎｄ基分类成一系列不相交集合，在此基础上，引进多重极限的概念，并证明，不循环程序存在唯一的支持模型，该模型就是程序的ｋ重极限，其中ｋ是程序中自由子句的个数。
基于标记逻辑的非单调推理（II）
【摘 要】
：
本文研究不循环ＡＬＰ的说明语义，利用依赖关系的非自反应性，把程序的Ｈｅｒｂａｒａｎｄ基分类成一系列不相交集合，在此基础上，引进多重极限的概念，并证明，不循环程序存在唯一的支持模型，该模型就是程序的ｋ重
【机 构】
：
中国科学院自动化研究所人工智能实验室
【出 处】
：
计算机学报
【发表日期】
：
1995年9期
【基金项目】
：
国家863高科技基金,国家攀登计划基金
其他文献
科研能力作为衡量高级专业人才的一个重要指标越来越受到重视。我国高等教育体系尚不完善,护理博士、硕士为数不多,因此护理科研的重任主要落在护理本科生肩上。护理科研能力
通过＂3414＂回归最优设计原理设置的小麦肥效试验结果,获得肥料效应函数方程,由此数学模型得出理论氮、磷、钾最佳施肥量,其中纯N 15.96 kg/666.67 m2、P2O5 5.32 kg/666.67 m2
分维几何为模拟自然形体和景物提供了十分卓越的工具．然而，分维几何的造型是一个无限细分的随机造型过程，这就为分维几何的绘制带来了极大的困难．到目前为止．只有某些特殊的光线跟踪技术能够用于绘制分维几何曲面，主要产生高光效果．本文首次提出了用于绘制分维曲面的辐射度技术．该技术将漫反射的计算与随机分维造型紧密结合起来，使逐步求精的辐射度技术自然地融合于分维曲面生成的求精过程中．该技术的关键是解决分维曲面细
养獭兔投资少、繁殖快、饲养周期短、见效快，农民养殖积极性高。獭兔具有独特的生活习性，掌握和运用这些特性，进行科学的饲养管理，对发展獭兔生产具有十分重要意义。
相思，彼此思念，相互爱慕而又无法接近，那是一种幽深而缠绵的感情。以相思为名的相思树、相思豆，自然也就成了爱情的物化与象征，深受人们的眷顾与喜爱。
目的：具体探讨优质护理服务在肿瘤化疗中的应用效果。方法：收治恶性肿瘤患者80例,都采用积极的优质护理服务。结果：护理后本组患者SDS与SAS评分明显降低（P〈0.05）。本组患者生命质
This paper proposes an emotion judgment system by using an electroencephalogram(EEG)feature concept base with premise of noises included.This method references
工作在多用户方式下的大规模并行处理系统，如何保持其资源的有效利用率，缩短任务的响应时间，需要动态负载平衡技术的支持。本文提出并讨论了一种可适应的分布式动态负载平衡策略
摘要 介绍森林重庆说法的由来，分析森林重庆建设中存在的问题，并据此提出了相应的对策，以为森林重庆的建设提供参考。 关键词 森林重庆；建设；问题；对策 中图分类号 S731.2 文献标识码 A 文章编号 1007-5739（2012）20-0183-02 1 森林重庆的由来 “森林重庆”这个词，最早出现在2008年7月20日重庆市