智能规划及其应用的研究 被引量：16

1

作者 丁德路 姜云飞 《计算机科学》 CSCD 北大核心 2002年第2期100-103,共4页

一、引言在人工智能(AI)的研究中规划是其较早的研究领域之一,可以追朔到60年代,1957年Newell和Simon的问题求解程序(GPS)、Green的QA3系统[1],1971年Fike和Nilsson的STRIPS系统[2]在智能规划领域中具有划时代的意义,使得规划可以非常... 一、引言在人工智能(AI)的研究中规划是其较早的研究领域之一,可以追朔到60年代,1957年Newell和Simon的问题求解程序(GPS)、Green的QA3系统[1],1971年Fike和Nilsson的STRIPS系统[2]在智能规划领域中具有划时代的意义,使得规划可以非常容易地进行描述和操作,但由于受到当时客观条件的制约,该领域一直处于较为保守的状态. 展开更多

关键词 人工智能 知识表达 知识挖掘 智能规划

下载PDF 职称材料

基于模型的诊断问题分解及其算法 被引量：16

2

作者 李占山 姜云飞 王涛 《计算机学报》 EI CSCD 北大核心 2003年第9期1171-1176,共6页

对诊断问题的分解进行了研究 ,给出了基于模型诊断问题分解的判定定理 ,刻画了利用系统观测值和参量假定例化值分解诊断问题 ,提出了有条件可分解诊断问题的概念 ,进一步刻画了基于模型的诊断问题分解 ,对如何利用参量假定例化值分解诊... 对诊断问题的分解进行了研究 ,给出了基于模型诊断问题分解的判定定理 ,刻画了利用系统观测值和参量假定例化值分解诊断问题 ,提出了有条件可分解诊断问题的概念 ,进一步刻画了基于模型的诊断问题分解 ,对如何利用参量假定例化值分解诊断问题给出了最可能优先算法 ,并对该算法的正确性、完备性及复杂性进行了证明 . 展开更多

关键词 模型诊断 树型结构 算法 可分解诊断问题 人工智能

下载PDF 职称材料

广义因果理论的基于模型的诊断 被引量：16

3

作者 欧阳丹彤 姜云飞 《计算机研究与发展》 EI CSCD 北大核心 1999年第1期31-35,共5页

最近，许多学者意识到了将因果关系这一概念应用于基于模型的诊断领域的重要性．然而，他们的研究只局限于简单因果理论．文中提出的广义因果理论包容了更多的信息．文中指出：广义因果理论的诊断空间小于等于相应简单因果理论的诊断空... 最近，许多学者意识到了将因果关系这一概念应用于基于模型的诊断领域的重要性．然而，他们的研究只局限于简单因果理论．文中提出的广义因果理论包容了更多的信息．文中指出：广义因果理论的诊断空间小于等于相应简单因果理论的诊断空间．并给出了当待诊断系统的模型为广义因果理论时的基于模型的诊断、基于模型的实质诊断等概念，论证了基于模型的实质诊断与本原蕴含／蕴含式的直接关系，从而将文中的理论结果与实现联系起来．文中进一步指出，对广义因果理论的基于一致性实质诊断和实质溯因诊断的刻画仅仅是文中所给出的刻画的两个特殊情形． 展开更多

关键词 广义因果理论 实质诊断 蕴含式 常识推理

下载PDF 职称材料

基于模型诊断的元件替换与替换测试 被引量：14

4

作者 姜云飞 李占山 《计算机学报》 EI CSCD 北大核心 2001年第6期666-672,共7页

元件替换是工农业生产和日常生活中经常使用的一种诊断方法 ,文中结合基于模型诊断理论 ,对元件的替换测试进行了研究 ,提出了元件替换与替换测试的概念 ,并以此为基础对诊断的判定及故障元件的确定进行了探索 .证明了关于替换测试用于... 元件替换是工农业生产和日常生活中经常使用的一种诊断方法 ,文中结合基于模型诊断理论 ,对元件的替换测试进行了研究 ,提出了元件替换与替换测试的概念 ,并以此为基础对诊断的判定及故障元件的确定进行了探索 .证明了关于替换测试用于故障原因判定的几个定理 .文中的研究结果可以帮助选择欲替换的元件 ,提高诊断效率 ,并可以将测试同修复结合起来 。 展开更多

关键词 元件替换 替换测试 模型诊断 人工智能 专家系统

下载PDF 职称材料

基于一致性的中心诊断及中心溯因诊断 被引量：8

5

作者 欧阳丹彤 姜云飞 《计算机学报》 EI CSCD 北大核心 1998年第6期540-545,共6页

本文对溯因诊断的过程和中心溯因诊断的过程进行了刻画．将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤．不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系，而且论证了中心溯因诊断与... 本文对溯因诊断的过程和中心溯因诊断的过程进行了刻画．将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤．不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系，而且论证了中心溯因诊断与本原蕴含／蕴含式的直接关系．显示出基于一致性的中心诊断空间和中心潮因诊断空间不仅可同时计算，而且可用ATMS这类算法来计算，从而将我们的理论结果与实现联系起来． 展开更多

关键词 溯因诊断 中心溯因诊断 计算机 专家系统

下载PDF 职称材料

联邦数据库系统研究 被引量：6

6

作者 肖永桥 姚卿达 《计算机科学》 CSCD 北大核心 1994年第6期55-57,共3页

1.引言网络的发展使不同数据库系统之间的互操作在物理层成为可能,但要真正实现,还得依赖于逻辑层的处理,即数据库系统之间的交互。由于不同数据库系统之间的异质性和封闭性,使得这二技术实施起来很困难。

关键词 联邦数据库系统 数据库 互操作性

下载PDF 职称材料

关于智能诊断中模型的构建和应用 被引量：6

7

作者 姜云飞 范昭赋 《计算机科学》 CSCD 北大核心 2006年第2期193-196,共4页

在基于模型的诊断中,模型起着关键性的作用,模型的质量直接影响诊断的准确度和诊断的效率.因此诊断模型也成为人工智能研究青普遍关注的热点问题。长文对基于模型的诊断方法和该领域的最新研究成果做了全面的综述,重点介绍了构建诊断模... 在基于模型的诊断中,模型起着关键性的作用,模型的质量直接影响诊断的准确度和诊断的效率.因此诊断模型也成为人工智能研究青普遍关注的热点问题。长文对基于模型的诊断方法和该领域的最新研究成果做了全面的综述,重点介绍了构建诊断模型方面的研究成果,其中包括分级结构抽象方法、基于状态转换的历程重构方法、依赖于任务的定量抽象方法以及利用过程代数的描述方法等。此外,本文还对诊断模型的构建的研究提出了自己的观点和建议。 展开更多

关键词 智能诊断 基于模型的诊断 模型构建

下载PDF 职称材料

高校教务管理数据库规划的探讨 被引量：4

8

作者 陈海珊 《现代计算机》 2002年第5期72-74,共3页

关键词 高校 教务管理 数据库 规划 计算机管理

下载PDF 职称材料

面向时序数据的矩阵分解? 被引量：4

9

作者 黄晓宇 潘嵘 +3 位作者 李磊 梁冰 陈康 蔡文学 《软件学报》 EI CSCD 北大核心 2015年第9期2262-2277,共16页

研究一类特殊的矩阵分解问题:对由多个对象在一组连续时间点上产生的数据构成的矩阵R,寻求把它近似地分解为两个低秩矩阵U和V的乘积,即R?UT?V.有为数众多的时间序列分析问题都可归结为所研究问题的求解,如金融数据矩阵的因子分析、缺失... 研究一类特殊的矩阵分解问题:对由多个对象在一组连续时间点上产生的数据构成的矩阵R,寻求把它近似地分解为两个低秩矩阵U和V的乘积,即R?UT?V.有为数众多的时间序列分析问题都可归结为所研究问题的求解,如金融数据矩阵的因子分析、缺失交通流数据的估计等.提出了该问题的概率图模型,进而由此导出了其约束优化模型,最终给出了模型的求解算法.在不同的数据集上进行实验验证了该模型的有效性. 展开更多

关键词 矩阵分解 时间序列数据 概率图模型 缺失估计 低秩近似

下载PDF 职称材料

基于SAX模型的XML文档更新算法研究 被引量：1

10

作者 倪德明 谭帅 潘志宇 《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第A02期111-115,共5页

XML作为交换资料的标准,广泛应用于分布式系统中,但是在使用XMLDOM来处理大型XML文件时,会占用过多的存储器资源并需要更多的CPU时间。提出一种基于SAX模型的XML文档更新算法,利用SAX模型占用时间和空间少的优点进行文档的更新。形式化... XML作为交换资料的标准,广泛应用于分布式系统中,但是在使用XMLDOM来处理大型XML文件时,会占用过多的存储器资源并需要更多的CPU时间。提出一种基于SAX模型的XML文档更新算法,利用SAX模型占用时间和空间少的优点进行文档的更新。形式化地定义了XML文档的更新脚本,使用X_Path来表示所更新的文档节点,在XML文档的SAX扫描过程中,生成XML文档的节点的X_Path,从而判断文档节点是否需要更新,然后通过将更新脚本应用到需更新文档实现文档更新。 展开更多

关键词 SAX XML diff X-path

下载PDF 职称材料

PROLOG-DBMS系统的数据库维护

11

作者 李磊 李昌贵 《计算机研究与发展》 EI CSCD 北大核心 1999年第3期369-374,共6页

数据库查询、更新、维护是ＰＲＯＬＯＧ－ＤＢＭＳ系统的基本功能．优化方法，例如子句间优化技术，是使系统实用化的关键．在执行数据库更新操作时，优化技术引入的缓存数据库和原数据库可能产生数据不一致．文中分析了更新数据和查询... 数据库查询、更新、维护是ＰＲＯＬＯＧ－ＤＢＭＳ系统的基本功能．优化方法，例如子句间优化技术，是使系统实用化的关键．在执行数据库更新操作时，优化技术引入的缓存数据库和原数据库可能产生数据不一致．文中分析了更新数据和查询历史之间的逻辑关系，指出一致性的约束条件，讨论了在单用户情况下数据库维护的有效策略． 展开更多

关键词 数据库管理系统 PROLOG-DBMS 数据库 维护

下载PDF 职称材料

关于程序验证方法的讨论 被引量：2

12

作者 周青 《计算机科学》 CSCD 北大核心 1995年第3期58-60,共3页

一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。

关键词 程序验证方法 逻辑推理 数理逻辑 程序正确性

下载PDF 职称材料

相关的科技文章的智能搜索

13

作者 周青 郑泽奇 《计算机工程与应用》 CSCD 北大核心 2004年第12期48-51,共4页

论文提出了一个搜索相关科技文章的新思路。依照科技文章的主题特征,我们给出了相关的关键词和相关文章的定义。基于这些定义,论文提出了一个对关键词集的扩展方法,并给出以之查询相关的科技文章的算法,使得计算机能够在无需理解词义的... 论文提出了一个搜索相关科技文章的新思路。依照科技文章的主题特征,我们给出了相关的关键词和相关文章的定义。基于这些定义,论文提出了一个对关键词集的扩展方法,并给出以之查询相关的科技文章的算法,使得计算机能够在无需理解词义的情况下找到相关的科技文章。通过多次实验以及对其结果的全面分析,证明该方法有较高的可行性和有效性。 展开更多

关键词 智能搜索 信息检索 相关的关键词 相关的文章

下载PDF 职称材料

文件系统增量备份策略的形式化描述及实现 被引量：2

14

作者 肖克辉 倪德明 《计算机工程与设计》 CSCD 北大核心 2007年第10期2455-2457,共3页

文件系统备份和恢复过程中,需根据当前备份资源树和历史备份资源树进行合并等操作,这种操作在物理上表现为对目录树和资源树的处理。特别是增量备份时,它指明备份资源。恢复过程中,用户可以利用该策略根据时间点进行完全恢复和部分恢复... 文件系统备份和恢复过程中,需根据当前备份资源树和历史备份资源树进行合并等操作,这种操作在物理上表现为对目录树和资源树的处理。特别是增量备份时,它指明备份资源。恢复过程中,用户可以利用该策略根据时间点进行完全恢复和部分恢复。给出一种对备份资源树的解析算法,并进行分析,在算法的基础上对备份资源树进行了形式化描述。 展开更多

关键词 文件系统 增量备份 备份资源树 目录树 文档对象模型

下载PDF 职称材料

基于扩展的因果理论的鉴别诊断 被引量：2

15

作者 欧阳丹彤 姜云飞 《软件学报》 EI CSCD 北大核心 1999年第7期719-723,共5页

许多学者将因果关系这一概念应用于基于模型的诊断领域．然而，他们的研究只局限于简单因果理论．该文提出的扩展的因果理论则包容了更多的信息，指出了扩展的因果理论的诊断空间小于等于相应简单因果理论的诊断空间．另外，还将扩展的... 许多学者将因果关系这一概念应用于基于模型的诊断领域．然而，他们的研究只局限于简单因果理论．该文提出的扩展的因果理论则包容了更多的信息，指出了扩展的因果理论的诊断空间小于等于相应简单因果理论的诊断空间．另外，还将扩展的因果理论用于测试领域，证明了对于封闭的扩展的因果理论，溯因鉴别诊断等于基于一致性鉴别诊断． 展开更多

关键词 因果理论 鉴别诊断 模型诊断 人工智能

下载PDF 职称材料

基于逻辑模型的电话网动态选路方法 被引量：1

16

作者 陈海广 李磊 姜云飞 《计算机研究与发展》 EI CSCD 北大核心 2000年第8期912-917,共6页

电话网动态选路问题是电信科技领域一个研究了多年的重要课题 .我国的电话交换网的交换设备型号繁多且来自多个不同的厂家 ,因此解决电话交换网选路问题将面临比国外更多的困难 .针对这种情况 ,提出了动态选路问题的电话网逻辑模型和基... 电话网动态选路问题是电信科技领域一个研究了多年的重要课题 .我国的电话交换网的交换设备型号繁多且来自多个不同的厂家 ,因此解决电话交换网选路问题将面临比国外更多的困难 .针对这种情况 ,提出了动态选路问题的电话网逻辑模型和基于该模型的选路方法 ,描述了据此方法研制的电话网动态选路系统 L MBDR.该系统可以在对电话网逻辑描述的基础上 ,通过推理得到动态选路方案 .分析了这种方法的优缺点 。 展开更多

关键词 人工智能 知识库 电话网 动态选路 逻辑模型

下载PDF 职称材料

真前缀标记树——一种面向用户的子树选取策略表示方法 被引量：1

17

作者 陈华竣 郑智 倪德明 《计算机技术与发展》 2006年第12期9-12,共4页

针对周期性任务处理中用户对操作数据的规则定义问题,提出了一种带有标记的真前缀树的表示方法,定义了树形数据集合上的选择/排斥规则。根据这种规则,用户制定的周期任务能自动地处理原有的和变化的数据。并给出真前缀标记树的一种GUI... 针对周期性任务处理中用户对操作数据的规则定义问题,提出了一种带有标记的真前缀树的表示方法,定义了树形数据集合上的选择/排斥规则。根据这种规则,用户制定的周期任务能自动地处理原有的和变化的数据。并给出真前缀标记树的一种GUI表现方式。 展开更多

关键词 真前缀树 标记 规则

下载PDF 职称材料

基于过零点间时间间隔对P，T，K，Z，ZH，H等六个声母的识别 被引量：1

18

作者 欧贵文 《声学学报》 EI CSCD 北大核心 1994年第3期234-237,共4页

语音波形过零率是一个很重要的语音特征．它通常是语音端点判别和音素粗分类的基本要素．但是，它也有不稳定的一面，所以很少看到有人将它用到语音细分类和识别中．本文提出了把一串过零点间时间间隔作为辨认普通话声母的语音特征的方... 语音波形过零率是一个很重要的语音特征．它通常是语音端点判别和音素粗分类的基本要素．但是，它也有不稳定的一面，所以很少看到有人将它用到语音细分类和识别中．本文提出了把一串过零点间时间间隔作为辨认普通话声母的语音特征的方法．本文做了以过零点间时间间隔作为ＨＭＭ的输入符号，对送气塞音类声母Ｐ、Ｔ、Ｋ，不送气塞擦音Ｚ、ＺＨ和喉擦音Ｈ等六个声母进行辨认实验．在连机的环境下，我们取得７８％的声母正确辨认率．以过零点间时间间隔作为语音特征的优点是计算简单，易于实现．此外，它可以不经转换直接作为离散ＨＭＭ的输入符号．本文介绍过零点间时间间隔的计算方法和使用ＨＭＭ对上述六个声母进行识别的实验过程． 展开更多

关键词 言语识别 元音识别 声母

下载PDF 职称材料

分布式对象技术的发展

19

作者 徐瑞斌 《现代计算机》 1997年第6期9-11,共3页

本文从客户／服务器模式和面向对象技术这两方面介绍了当前分布式对象技术的两大主流技术标准ＣＯＲＢＡ和ＤＣＯＭ，并比较分析了它们之间的异同。最后。

关键词 分布式对象 客户/服务器 计算机网络

下载PDF 职称材料

不确定因果理论诊断的测试 被引量：1

20

作者 李占山 姜云飞 孙吉贵 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2002年第2期159-164,共6页

对不确定因果理论的诊断测试进行探索 ,将初始测试条件从 true推广到任意可满足的A,提出对不确定前提条件测试的概念 ,给出几个相关定理及其证明 ,利用这些结果有助于判定诊断空间 ,确定测试的优先序 。

关键词 基于模型诊断 不确定因果理论 不确定测试 不确定前提条件 人工智能 鉴别诊断原理

下载PDF 职称材料