智能规划及其应用的研究 被引量：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 职称材料

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

2

作者 倪德明 谭帅 潘志宇 《中山大学学报（自然科学版）》 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 职称材料

数据模型的智能化扩充研究

3

作者 姚卿达 纪岳 《中山大学学报（自然科学版）》 CAS CSCD 1989年第3期25-31,共7页

本文就如何在关系数据模型中,引入人工智能、知识工程的成果提出了看法。工作目标是提高关系模型的概念抽象能力及引进演绎推理机制,文中给出了智能化数据库的一种体系结构以及关系模型智能化扩充的一种方法。

关键词 关系数据模型 人工智能 知识工程

在线阅读 下载PDF 职称材料

基于多代理的异构系统存储模型研究 被引量：1

4

作者 谭帅 倪德明 李磊 《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第S1期149-151,共3页

数据存储技术是数据备份中的核心技术,随着数据备份技术的广泛研究,数据存储也得到越来越多的应用。然而,目前的数据存储技术,不能很好地对不同系统,不同平台间的数据进行处理,不能很好的整合异构系统间的存储问题。提出一种基于代理技... 数据存储技术是数据备份中的核心技术,随着数据备份技术的广泛研究,数据存储也得到越来越多的应用。然而,目前的数据存储技术,不能很好地对不同系统,不同平台间的数据进行处理,不能很好的整合异构系统间的存储问题。提出一种基于代理技术来实现的异种系统的数据间存储模型,连接不同平台、系统,将异种系统间的数据存储问题进行整合。提供更加有效、更具扩展性的存储模型。 展开更多

关键词 存储模型 代理 多代理

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

不确定因果理论的基于模型诊断 被引量：2

15

作者 李占山 姜云飞 孙吉贵 《吉林大学自然科学学报》 CAS CSCD 2000年第4期27-31,共5页

给出当待诊断系统的模型为不确定因果理论时 ,基于模型诊断和模型中心诊断等概念 ,论证基于模型中心诊断与 U -S本原蕴涵 /蕴涵式的直接关系 ,并且根据知识不确定程度对候选诊断进行排序 .

关键词 不确定因果理论 基于模型 中心诊断

在线阅读 下载PDF 职称材料

面向对象程序设计语言EIFFEL的程序正确性验证工具 被引量：1

16

作者 姚卿达 唐长宁 董慧红 《计算机科学》 CSCD 北大核心 1994年第2期63-67,5,共6页

本文简单介绍了国家八五科研重点攻关项目《实用自动工具集的开发》的子专题《自动验证工具》的理论基础和开发成果。

关键词 程序语言 程序设计 EIFFEL语言

在线阅读 下载PDF 职称材料

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

17

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

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

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

在线阅读 下载PDF 职称材料

强安全密码协议

18

作者 姚卿达 李连弟 陈卫民 《中山大学学报（自然科学版）》 CAS CSCD 1990年第2期20-26,共7页

本文研究了著名的Dolev和Yao的级联协议和印章协议的强安全性。提出了强安全密码协议概念,并取得了一些新的结论。

关键词 密码 协议 级联 印章 强安全

在线阅读 下载PDF 职称材料

PROLOG-DBMS系统的数据库维护

19

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

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

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

在线阅读 下载PDF 职称材料

JSP方法的形式化途径

20

作者 李师贤 李文军 《计算机研究与发展》 EI CSCD 北大核心 1991年第6期49-52,37,共5页

软件开发方法的形式化是软件开发自动化的前提。本文介绍几种使用形式语言、自动机、形式变换、语义模型等工具将JSP 方法形式化的途径,并对它们各自的优点和存在问题作了评价。

关键词 软件开发 JSP方法 软件工程 形式化

在线阅读 下载PDF 职称材料