北京大学数学科学学院信息科学系
- 作品数:130 被引量:2,048H指数: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
- 2013年
- 纹理是图像分析和识别中经常使用的关键特征,而小波变换则是图像纹理表示和分类中的常用工具.然而,基于小波变换的纹理分类方法常常忽略了小波低频子带信息,并且无法提取图像纹理的块状奇异信息.本文提出小波子带系数的局部能量直方图建模方法、轮廓波特征的Poisson混合模型建模方法和基于轮廓波子带系数聚类的特征提取方法,并将其应用于图像纹理分类上.基于局部能量直方图的纹理分类方法解决了小波低频子带的建模难题,基于Poisson混合模型的纹理分类方法则首次将Poisson混合模型用于轮廓子带特征的建模,而基于轮廓波域聚类的纹理分类方法是一种快速的分类方法.实验结果显示,本文所提出的三类方法都超过了当前典型的纹理分类方法.
- 董永生
- 关键词:统计建模纹理分类纹理检索
- 基于贝叶斯网络的不确定性知识的推理方法被引量:114
- 2001年
- 贝叶斯网络是不确定性知识表达与推理的一种新方法。它是概率论和图论相结合的产物 ,可用于复杂多因果关系的分析 ,是人工智能领域的研究热点和重要成果之一。由于它的解决方案明确、直观 ,所以近年来在远程医疗、故障诊断以及数据挖掘等领域 ,得到了广泛的应用。本文论述了贝叶斯网络的基本理论、方法和应用 。
- 胡玉胜涂序彦崔晓瑜程乾生
- 关键词:贝叶斯网络不确定性知识推理图论概率论