论文部分内容阅读
析取信息的表示是一个重要的研究问题.DCWA(析取封闭假设)为一般演绎数据库提供了一种谨慎语义,并且扩充了标准的良基语义.同时DCWA支持争论推理,为广义封闭世界假设提供了一种逼近.基于此,提出了DCWA的过程语义,并证明了它的可靠性和完备性.
析取封闭世界假设的一种过程语义
【摘 要】
：
析取信息的表示是一个重要的研究问题.DCWA(析取封闭假设)为一般演绎数据库提供了一种谨慎语义,并且扩充了标准的良基语义.同时DCWA支持争论推理,为广义封闭世界假设提供了一
【机 构】
：
清华大学计算机科学与技术系
【出 处】
：
软件学报
【发表日期】
：
2001年9期
【基金项目】
：
国家自然科学基金，国家重点基础研究发展计划(973计划)
其他文献
统一建模语言(UML)是一种多用途的可视化建模语言,它可用于软件系统的规约、可视化的构造和建档.UML序列图描述了交互对象间的协作,如在实时和分布式系统中通讯实体间的信息
摘要：文章建立了在实际案例的实训中有机地融入电视工作原理必备理论的教学模式，并与传统“课堂讲授 实验”的教学模式加以对比，来探索中职学校电子电器类专业课程的教学改革。 关键词：电视机原理与维修；教学模式；实训 《电视机原理与维修》是中职学校“电子技术与应用”专业实践性和用性较强的一门传统专业主干课程，也是电子整机设备维修技术的代表性课程。该课程不但需要作纯理论分析，而且需要通过大量的综合实
多媒体应用一般包含多个组播成员,它消耗大量的 网络资源且有严格的端端延时约束.针对这个问题,提出了一种延时约束费用最小的分布式动 态组播路由启发算法DDDDCLCMR(distrib
我国在资源投入体制上仍秉承“强国家,弱市场”理念,管理上则采用单一的“公权治理”模式。这种体制一旦出现产权“虚位”、“缺位”或政府代理失灵,必然出现资源利用负外部
摘要：本文通过对高职“数困生”形成原因的调查分析，提出了实施以情感教育为核心的转化策略，同时根据不同类型的“数困生”展开了有针对性的转化尝试，并取得了初步成效。 关键词：高职院校；“数困生”；情感教育 问题的提出 由于高职院校生源素质总体不高、文化基础相对较差、学习积极性普遍不强等原因，使得学习困难的学生成为高职教育中的一个大问题，而数学学习困难的学生（以下简称“数困生”）又是其中的