作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

利用结构信息的故障诊断方法  CNKI文献

基于模型的故障诊断方法是重要的故障诊断方法之一,该方法主要的问题就是如何求得所有的诊断.该文利用系统的结构信息,给出了求极小冲突集的一个算法,证明了算法的正确性,分析了算法的复杂性;然后介绍了如何由极小冲突...

栾尚敏 戴国忠 《计算机学报》 2005年05期 期刊

关键词: 故障诊断 / 诊断集 / 极小冲突集 / 算法

下载(233)| 被引(48)

无标注L型Petri网语言属性判定的一种方法  CNKI文献

Petri网和自动机是离散事件动态系统建模的两种重要方法,研究这两种模型之间的关系,对于更好地理解和控制离散事件动态系统的行为具有重要作用.本文从形式语言的角度对该问题进行了研究,提出了判定无标注L型Petri网语...

栾尚敏 田立勤... 《中国科学:信息科学》 2017年06期 期刊

关键词: Petri网语言 / 形式语言 / 自动机理论 / 可达树

下载(71)| 被引(0)

知识库更新的一种可编程实现的方法  CNKI文献

讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了...

栾尚敏 戴国忠... 《中国科学E辑:信息科学》 2005年08期 期刊

关键词: 知识库 / 知识库更新 / 子句 / 规则

下载(212)| 被引(4)

命题规则知识库更新的一种代数方法  CNKI文献

知识库更新的一个重要主题就是寻找高效的实现方法,为此人们做了很多工作,但还没有很好地解决.代数方法具有良好的性质和实现方法,文中给出了基于规则知识库更新的代数方法.首先讨论了如何把知识库更新和协调性检查转...

栾尚敏 戴国忠 《中国科学(E辑:信息科学)》 2008年02期 期刊

关键词: 知识库更新 / Petri网 / 命题知识库 / 扩充逻辑程序

下载(115)| 被引(4)

有限信念集上修正的一种方法  CNKI文献

讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;然后讨论了由有极小不协调的子集来实现信念修正的方法,介绍所开发的信念修正的原型系统;最后...

栾尚敏 戴国忠 《软件学报》 2003年05期 期刊

关键词: 信念修正 / 命题逻辑 / 一阶逻辑 / 有限信息集

下载(93)| 被引(11)

信念修正的各种方法之比较  CNKI文献

自从1956年提出了“人工智能”以来,人们已在这一领域做了大量的工作,很多专家系统已经非常成功地得到了应用。当前哲学和人工智能领域的热点之一就是信念修正(belief revision),下面我们用文中的例子来说明信念修正的...

栾尚敏 李未 《计算机科学》 1999年07期 期刊

关键词: Belief / revision / Prototype / system

下载(205)| 被引(11)

一类问题的描述方式及其算法  CNKI文献

本文给出了一类问题的一种描述方式,这类问题包括有向图的最短路问题、赫夫曼问题、矩阵链问题、汉密顿回路问题等等.在这种描述方式的基础上.给出了一个算法模式,并讨论了如何通过该算法模式得到回溯算法、动态规...

栾尚敏 马绍汉 《计算机学报》 1995年10期 期刊

关键词: 算法 / 并行算法 / 动态规划 / 分枝限界

下载(95)| 被引(6)

基于逻辑的一种诊断方法  CNKI文献

基于逻辑的故障诊断方法中一个没有解决好的问题就是如何求得所有极小冲突集。讨论了如何由极小不协调子集求得极小冲突集 ,然后给出了求所有极小不协调子集的一种方法。对如何应用该算法求得所有的极小冲突集 ,给出了...

栾尚敏 戴国忠... 《贵州工业大学学报(自然科学版)》 2002年04期 期刊

关键词: 故障诊断 / 诊断集 / 极小冲突集

下载(38)| 被引(9)

搜索问题的代数描述及其算法  CNKI文献

文中给出了搜索问题的一种代数描述方法,在这种描述方法的基础上,给出了一个算法模式.以货郎担问题的动态规划-分支限界算法为例,讨论了如何用所给出的算法模式来设计包含多种算法设计技术的算法,称这种算法为混...

栾尚敏 马绍汉 《计算机研究与发展》 1997年11期 期刊

关键词: 搜索问题 / 算法模式 / 面向对象的程序设计

下载(69)| 被引(7)

信念修正的实现方法  CNKI文献

本文对信念修正的典型方法,如基于语法结构的方法,基于模型测试方法,修正理论,修正理论基础,重复方法等用我们的算法来实现,并且完成了其相关工作。

栾尚敏 戴国忠 《计算机科学》 2004年12期 期刊

关键词: 信念 / 修正 / 算法

下载(108)| 被引(3)

算法框架:算法重定位的一种可操作的方法  CNKI文献

算法框架是实现算法重定位的一种可操作的方法.文章给出了算法重定位的定义,讨论了如何通过选择操作和组合操作来设计算法框架.然后给出了定义选择操作和组合操作的一种方法.由文章所定义的算法框架得到求解某一问...

栾尚敏 李未... 《软件学报》 1999年07期 期刊

关键词: 算法设计 / 软件自动化 / 算法重定位

下载(92)| 被引(6)

典型的多通道整合方法之比较  CNKI文献

多通道用户界面是当前用户界面中研究的热点,人们提出了各种各样的方法。在多通道界面系统中,一个重要的问题是通道整合,本文介绍了人们提出的各种通道整合的方法,对这些方法进行了分类归纳和比较,并介绍了我们在这方...

栾尚敏 戴国忠... 《计算机科学》 2002年10期 期刊

关键词: Multimodal / user / interface / Multimodal

下载(71)| 被引(2)

算法演化的形式归约及其性质(英文)  CNKI文献

使用归纳过程说明算法的演化 ,建立了一阶语言语句集和算法的关系 ,并提出了启发式的归纳规则 .还提出了算法分析的概率式研究方法 .这种方法为有效算法的设计和自动算法设计提供了工具 .

栾尚敏 李未 《软件学报》 2001年04期 期刊

关键词: 算法演化 / 归纳推理 / 极限

下载(72)| 被引(0)

关系网的代数规范说明  CNKI文献

将关系网看作一个抽象数据类型,给出了其代数规范说明.这个关系网是它的代数规范说明的一个代数,代数规范说明的任一代数是一个关系网;讨论了关系网在同态下的性质,以及代数规范说明的代数与关系网模式和位置/变迁网的...

栾尚敏 马绍汉 《山东大学学报(自然科学版)》 1993年02期 期刊

关键词: 代数规范说明 / 抽象数据类型 / 关系网 / 代数

下载(11)| 被引(0)

An Incremental Approach to Automatic Algorithm Design  CNKI文献

This paper presents an incremental approach to automatic algorithm design, which can be described by algebraic specifications precisely and conveniently. The definitions of selection operator and ext...

栾尚敏 李未 《Journal of Computer Science and Technology》 1999年04期 期刊

关键词: automatic / algorithm / design / algebraic

下载(19)| 被引(0)

基于连通结构与动力学过程的知觉记忆层次模型  CNKI文献

根据认知的计算神经科学的观点,提出了一种基于神经系统动力学理论和连通图的信息的直接表达方式.它首先定义了知觉信息直接表达的神经结构和动力学模式,然后提出一个双层的网络计算模型,分别用于记录外界刺激的特征信...

危辉 栾尚敏 《软件学报》 2004年11期 期刊

关键词: 联想记忆 / 表达 / 计算神经科学 / 动力学系统

下载(204)| 被引(6)

信念修正的完全和可操作的方法  CNKI文献

给出了命题逻辑上信念修正的两种可操作的完全方法.首先对R-演算的规则进行了修改,使得对任何一个极大协调的子集都通过这组规则得到.然后,给出了求得所有的极小不协调子集的一组规则.最后,给出一个过程,该过程能求得...

李未 栾尚敏 《软件学报》 2002年01期 期刊

关键词: 信念修正 / 信念集 / 迭代修正

下载(161)| 被引(4)

Operational and Complete Approaches to Belief Revision  CNKI文献

Two operational approaches to belief revision are presented in this paper. The rules of Rcalculus are modified in order to deduce all the maximal consistent subsets. Another set of rules is given in ...

李未 栾尚敏 《Journal of Computer Science and Technology》 2000年03期 期刊

关键词: belief / revision / belief / set

下载(31)| 被引(1)

交互技术在手写公式编辑中的应用  CNKI文献

遵循泛化计算理论 ,设计实现了一个联机手写公式编辑系统 ,以提高识别率和交互 (效 )率 该系统采用上下文感知技术来辅助切分、解决符号的二义性 ;采用备选择优、直接指定技术来修正字符的识别结果 ;采用局部放大解决...

冯海波 田丰... 《计算机辅助设计与图形学学报》 2003年11期 期刊

关键词: 笔式用户界面 / 人机交互 / 联机手写数学公式识别 / 上下文感知

下载(131)| 被引(16)

虚拟环境人机交互模型描述  CNKI文献

提出了分布式虚拟环境人机交互模型,来解决目前大规模仿真中的交互计算问题。提出了一个虚拟环境中知识模型结构,重点分析了认知模型的内容和具体的建模方法以及使用方法,进一步提出了虚拟环境人机交互的分层表示模型...

程成 单宏浩... 中国图象图形学会第十届全国图像图形学术会议(CIG’2001)... 2001-05-01 中国会议

关键词: 虚拟现实 / DVE / 交互计算 / 三维直接输入

下载(155)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

大成编客