北京大学数学科学学院信息科学系
- 作品数：130 被引量：2,058H指数：22
- 相关作者：程乾生林作铨郑红军何斌贺仁亚更多>>
- 相关机构：清华大学信息科学技术学院黑龙江科技大学理学院安徽大学数学科学学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学文化科学经济管理更多>>
- 基于四值语义的缺省逻辑被引量：3
- 2005年
- 基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L+中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系.四值模型描述了公式变换的语义,基于四值语义的缺省推理通过缺省理论的变换技术能在标准的缺省逻辑中实现.
- 岳安步林作铨
- 关键词：缺省逻辑四值逻辑非单调逻辑超协调逻辑
- 基于未知扰动的冲突证据合成方法被引量：36
- 2004年
- 自从发现Dempster合成可能导致悖论以来,冲突证据合成一直是Dempster-Shafer理论的重要研究方向之一,迄今尚未有统一的解决方法被广泛接受.提出一种新的冲突证据合成方法,即在Dempster合成之前,基于未知扰动对mass函数进行预处理,并通过预处理来解决标准化问题.与其他相关方法相比,这种新方法不仅和Dempster规则形式上一致,合成过程比较灵活,并且可以通过扩展的Bayes公式得到理论上的解释.
- 林作铨牟克典韩庆
- 关键词：DEMPSTER-SHAFER理论
- 层次属性聚类网络与分形图象压缩
- 本文利用属性聚类网络收敛速度快以及可以得到各象素点加权值的特点,用于分形图像压缩,不仅降低了所需内存量,并且提高了编码速度和聚类速度;同时提出了层次属性聚类网络,在同样的聚类个数时,搜索匹配次数更少,从而最终大大提高了编...
- 程乾生王春梅
- 关键词：分形块编码特征矢量
- 文献传递
- 比利时巧克力系统的低阶控制器设计
- 本文研究了V.Blondel提出的"比利时巧克力镇定问题"。借助新近发展的不等式型定理机器证明的理论与方法,系统地给出了四阶及小于四阶双稳定控制器存在条件下参数δ的取值上界。通过对所得可镇定条件引入适当的扰动,得到的控制...
- 何冠男王龙夏壁灿郁文生
- 关键词：机器证明
- 文献传递
- 开放逻辑及其与限制逻辑的关系被引量：2
- 1998年
- 基于模型论定义开放逻辑作为一种进程非单调逻辑 ,给出一些开放逻辑的新概念和结果 ,研究了开放逻辑与限制逻辑之间的相互关系 。
- 林作铨李未
- 关键词：开放逻辑非单调逻辑
- 从ALC到SHOQ(D):描述逻辑及其Tableau算法被引量：44
- 2005年
- 描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法。
- 梅婧林作铨
- 关键词：ALC描述逻辑TABLEAU算法语义WEB知识表示
- 生成式程序设计研究概述被引量：8
- 2005年
- 随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。KrzysztofCzarnecki和U.Eisenecker融合先进方法和技术的精髓,提出了一种新的软件工程范型——生成式程序设计:基于为软件系统族进行建模,对给定的需求规格说明,利用配置知识,把基本的可重用构件根据需求进行自动化的配置以产生离定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型,该模型包括三个基本成分:问题域、解域和连接这两个域的配置知识。生成式程序设计包含两个开发周期:一个是设计和实现生成式领域模型,即支持重用的开发;另一个是利用生成式领域模型生产出具体的软件系统,也即利用重用的开发。本文将详细地介绍此软件工程范型的分析与设计方法和实现技术。
- 范少锋张乃孝
- 关键词：软件复杂度
- 语义Web语言的逻辑分析
- 语义Web作为新一代Web正倍受关注,而Web的资源描述语言RDF、RDF的词汇描述RDFSchema,以及最新的本体语言OWL等已成为现今语义Web上的规范语言.本文从逻辑视角来分析这些语义Web语言,首先指出RDF(...
- 梅婧刘升平林作铨
- 关键词：语义WEBRDFOWL描述逻辑本体语言
- 文献传递
- 一种带约束的多态类型系统被引量：3
- 1999年
- 本文讨论了一种带约束的多态类型系统，引入了约束类型．约束与全称量化的结合使得参数化多态函数的应用更安全，同时也为重载的表示和实现提供了一个新的途径，提高了类型表示的抽象度本文讨论的类型系统具有两个不同层次的类型结构，约束的引入与消去是不同层次上的操作．最后，本文绘出了类型检查算法Wτ，并证明了此算法中约束的可满足性是可判定的．
- 郑红军张乃孝
- 关键词：程序设计语言
- 网络课件拼装
- 2003年
- 初娜娜张琮
- 关键词：网络课件网页主页计算机网络FRONTPAGE2000
