论文部分内容阅读
文中定义了一个新的辩论推理模式，建立了一个形式化的知识表示框架，并把它应用于研究扩展逻辑程序类的说明语义，结果表明，新语义克服了择优语义的不足.作者还根据上述研究结果实现了逻辑程序设计风格下的知识框架.
一种新的辩论推理模式及其应用
【摘 要】
：
文中定义了一个新的辩论推理模式，建立了一个形式化的知识表示框架，并把它应用于研究扩展逻辑程序类的说明语义，结果表明，新语义克服了择优语义的不足.作者还根据上述研究结果实
【机 构】
：
中山大学软件研究所
【出 处】
：
计算机学报
【发表日期】
：
2001年2期
其他文献
DiffServ模型是当前实现IP QoS的体系结构之一,在其实现中,缓冲管理技术是很重要的一个方面.根据DiffServ模型实现的需要,在分析现有缓冲管理算法的基础上,提出了QPRED多级主
在多联机空调系统中,一台外机接多台内机,由于在空调运行过程中,全部室内机所处的室内侧负荷变化不同,这要求室内机具备与之同步的处理负荷的能力,尤其是当有部分室内侧环境
形式化方法由于其精炼、简洁和无二义性,逐步成为分析加密协议的一条可靠和准确的途径,但是加密协议的形式化分析研究目前还不够深入,至今仍没有统一的加密协议验证体系.针对
针对全景图无法表示动态场景这一问题 ,提出一种用于动态场景的全景图表示方法 ,将视频纹理和全景图结合起来 ,构造动态全景图 .系统首先将一系列定点拍摄的图像拼接成全景图 ,然后用摄像机拍摄场景中周期或随机运动的物体 ,提取视频纹理 ,最后视频纹理与全景图对准并融合 ,生成动态全景图 .动态全景图既保持静态全景图全视角漫游的优点 ,又使得场景具有动态的特征 ,极大地增强漫游的真实感 .
统计句法分析利用概率评价模型评价每棵候选句法树存在的可能性，选择概率值最高的候选句法树作为最终的句法分析结果.因此，统计句法分析的核心是一个概率评价模型，而各种概率评
在网络传输控制策略和算法的设计中，性能评价的标准是一个关键问题，不同的评价标准将导致不同的控制策略和算法设计。由于网络传输控制策略有着多方面性能的要求，如何同时满足多
本文介绍了公共建筑大空间空调送风的各种特点和型式,并结合实例工程设计进行详尽说明。
为了研究R22替代制冷剂R134A、R407C、R410A、R32、R290在热泵热水器中的热力学性能,设定冬季工况蒸发温度？10℃、冷凝温度65℃,夏季工况蒸发温度20℃、冷凝温度65℃,过冷度和过热度均为5℃.计算了不同工质系统在冬季和夏季工况的理论循环性能,对比分析了各系统的变工况特性.结果表明：R410A和R32的单位容积制热量较高,这有利于减小压缩机的功耗和体积；R290和R32的单位质
指出了控制空调系统噪声的措施，详细介绍了空调系统各部件气流再生噪声的计算方法和消声特性，并以广州某音乐厅的空调系统消声设计为例，具体给出了其消声计算流程和结果。
为了解决寒冷季节热泵式空调不易启动的问题，本文通过有效利用太阳能并结合热泵式空调装置，设计了独立户式热水热泵式空调系统，太阳能的有效利用通过一个简易的被动式太阳能通道