中国科学院计算机科学重点实验室

1

作者 林惠民 董韫美 《中国基础科学》 2003年第6期44-45,共2页

关键词 中国科学院计算机科学重点实验室 研究方向 科研队伍建设 人才培养 科研工作

原文传递

XSIEQ—一种立即计算的XML流查询系统 被引量：2

2

作者 张昱 吴年 《小型微型计算机系统》 CSCD 北大核心 2006年第8期1514-1518,共5页

XSIEQ是一种立即计算谓词并即时输出的XML流查询系统.它利用前缀共享的方法由多个XPath式构造一个NFA,并对NFA状态进行分类和添加索引,使得在运行时能快速确定谓词计算和数据缓存等的时机.XSIEQ还提供在运行时惰性地构造DFA进行查询.陈... XSIEQ是一种立即计算谓词并即时输出的XML流查询系统.它利用前缀共享的方法由多个XPath式构造一个NFA,并对NFA状态进行分类和添加索引,使得在运行时能快速确定谓词计算和数据缓存等的时机.XSIEQ还提供在运行时惰性地构造DFA进行查询.陈述了XSIEQ的查询机制以及多重匹配问题的解决方案.最后给出了XSIEQ的两种自动机和YFilter的查询性能对比及分析. 展开更多

关键词 XML流 状态分类 索引 谓词计算 多重匹配

下载PDF 职称材料

基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测 被引量：7

3

作者 韩耀军 蒋昌俊 罗雪梅 《小型微型计算机系统》 CSCD 北大核心 2004年第5期821-826,共6页

利用模块化设计的思想 ,首先为分布式数据库系统中各事务的每一种操作 (读锁、写锁、解锁 )构造一个基本的加权 Petri网模型 ,并给出了加权 Petri网共享合成的概念 .然后利用共享合成技术 ,动态地构造各站点的加权 Petri网模型 ,以适应... 利用模块化设计的思想 ,首先为分布式数据库系统中各事务的每一种操作 (读锁、写锁、解锁 )构造一个基本的加权 Petri网模型 ,并给出了加权 Petri网共享合成的概念 .然后利用共享合成技术 ,动态地构造各站点的加权 Petri网模型 ,以适应系统的动态变化 .此外 ,本文利用 Petri网的化简技术 ,极大地简化了各站点的 Petri网模型 ,之后利用同步合成技术构造出整个系统的 Petri网模型 ,较好地解决了 Petri网的可达性分析中可能出现的状态 "爆炸 "问题 . 展开更多

关键词 分布式数据库系统 并发控制 死锁检测 PETRI网 共享合成 同步合成 化简

下载PDF 职称材料

数据库系统并发控制的扩展有色Petri网方法 被引量：6

4

作者 韩耀军 蒋昌俊 罗雪梅 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第1期104-108,共5页

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模... 加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度. 展开更多

关键词 可串行化 两段锁协议 死锁 PETRI网 可达标识图

下载PDF 职称材料

一种动态协议一致性测试方法 被引量：6

5

作者 吕欣岩 赵保华 周颢 《中国科学技术大学学报》 CAS CSCD 北大核心 2005年第3期398-404,共7页

利用约束满足技术实现了一种新的动态协议一致性测试方法,解决了由于固定测试集的错误覆盖度、测试用例的相关性,以及实测结果的影响,导致实际测试中存在执行效率不高和实际测试范围可能被缩小的问题.

关键词 一致性测试 动态测试 错误定位

下载PDF 职称材料

基于逻辑Petri网的物流配送系统建模 被引量：10

6

作者 石春玲 杜玉越 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期114-117,123,共5页

为了降低建模的难度,更加容易、直观地描述系统的动态过程以及其中的逻辑关系,将逻辑Petri网的建模技术应用于物流配送系统中,对其进行了建模与分析。基于对物流配送系统一般工作流程的分析,比较准确明了地描述了配送系统的动态运作过程... 为了降低建模的难度,更加容易、直观地描述系统的动态过程以及其中的逻辑关系,将逻辑Petri网的建模技术应用于物流配送系统中,对其进行了建模与分析。基于对物流配送系统一般工作流程的分析,比较准确明了地描述了配送系统的动态运作过程,建立了系统的逻辑Petri网模型,并研究了系统的某些重要性质。 展开更多

关键词 逻辑Petri网 物流配送系统 建模 工作流程 动态

下载PDF 职称材料

被动测试中的错误诊断算法 被引量：4

7

作者 郭雄辉 赵保华 钱兰 《中国科学技术大学学报》 CAS CSCD 北大核心 2005年第3期385-391,338,共8页

介绍了被动测试的有限状态机模型、错误模型和错误检测算法,给出了单个错误的诊断算法并分析了其时间复杂度,将所提出的算法推广到对多个错误的诊断,以在路由协议OSPF(OpenShortestPathFirst)的接口有限状态机上做的模拟实验为例来说明... 介绍了被动测试的有限状态机模型、错误模型和错误检测算法,给出了单个错误的诊断算法并分析了其时间复杂度,将所提出的算法推广到对多个错误的诊断,以在路由协议OSPF(OpenShortestPathFirst)的接口有限状态机上做的模拟实验为例来说明算法的有效性. 展开更多

关键词 被动测试 错误诊断 有限状态机

下载PDF 职称材料

基于蚁群算法的组合拍卖胜者决定问题求解 被引量：4

8

作者 陈莉 陈晓云 胡山立 《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期69-73,共5页

胜者决定问题是组合拍卖中研究的一个重要问题.在组合拍卖的多Agent系统中,以第一价格密封拍卖方式为背景,针对胜者决定问题的一般模型,提出运用蚁群算法求最优解.该算法在搜索过程中随机放置蚂蚁,扩大了解的搜索空间,通过改变局部信息... 胜者决定问题是组合拍卖中研究的一个重要问题.在组合拍卖的多Agent系统中,以第一价格密封拍卖方式为背景,针对胜者决定问题的一般模型,提出运用蚁群算法求最优解.该算法在搜索过程中随机放置蚂蚁,扩大了解的搜索空间,通过改变局部信息素浓度,加快了算法的收敛速度,有效缓解了算法容易出现的早熟停滞现象.与遗传算法相比,实验表明蚁群算法在早期就容易达到较好的最优解,收敛速度较快且求解质量较稳定. 展开更多

关键词 多AGENT系统 蚁群算法 组合拍卖 信息素 胜者决定问题

下载PDF 职称材料

基于有限状态机的错误诊断算法 被引量：3

9

作者 赵保华 钱兰 +1 位作者 周颢 郭雄辉 《电子与信息学报》 EI CSCD 北大核心 2006年第9期1679-1683,共5页

基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换... 基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果,并且用一个具体的实例来详细描述本文提出的算法。 展开更多

关键词 错误诊断 一致性测试 有限状态机

下载PDF 职称材料

对象依赖集合性质的研究 被引量：5

10

作者 吴永辉 吴永辉 周傲英 《计算机研究与发展》 EI CSCD 北大核心 2001年第12期1491-1498,共8页

在复杂对象模式的规范化设计中 ,对象间的语义关系起了重要作用 .然而 ,目前还没有有关的研究报告 .讨论了对象依赖集合的一些性质 .首先概括了基本概念和性质 ;然后给出并证明获取一个 OD集合所有关键字的JINGSI算法 ;最后证明要作为... 在复杂对象模式的规范化设计中 ,对象间的语义关系起了重要作用 .然而 ,目前还没有有关的研究报告 .讨论了对象依赖集合的一些性质 .首先概括了基本概念和性质 ;然后给出并证明获取一个 OD集合所有关键字的JINGSI算法 ;最后证明要作为复杂对象模式规范化设计的 MIMI算法输入的 OD集合的特性 ,并基于此改进复杂对象模式规范化设计 . 展开更多

关键词 复杂对象模式 规范化设计 对象依赖集合性质 数据库

下载PDF 职称材料

扩展Petri网在实时数据库并发控制中的应用 被引量：2

11

作者 韩耀军 罗雪梅 蒋昌俊 《系统仿真学报》 CAS CSCD 2003年第z1期63-66,共4页

提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库... 提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能。 展开更多

关键词 初始化弧 扩展高级时间Petri网 实时数据库系统 并发控制 建模 分析

下载PDF 职称材料

Internet流量的多重分形分析 被引量：3

12

作者 程华 邵志清 房一泉 《通信学报》 EI CSCD 北大核心 2005年第B01期27-30,共4页

通过两组含网络蠕虫的非正常流量，首先分析了多组构造的数据流的多重分形谱，讨论了与TCP拥塞控制机制的关系。之后讨论了非正常流量的扩展自相似性，展示了它与多重分形谱一致性的特点。

关键词 多重分形 扩展自相似性 拥塞控制

下载PDF 职称材料

基于遗传算法和BP算法的比较购物Agent模型 被引量：1

13

作者 郑盛福 胡山立 +1 位作者 林超峰 苏射雄 《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期51-55,共5页

第一代购物Agent给消费者带来极大的便利,但是它们只是局限于商品价格的比较.针对这个问题,提出一种基于遗传算法和BP算法的比较购物Agent模型,它可以根据消费者的偏好和别人的搜索经验为消费者搜索和过滤所需的信息,并且能在搜索完后,... 第一代购物Agent给消费者带来极大的便利,但是它们只是局限于商品价格的比较.针对这个问题,提出一种基于遗传算法和BP算法的比较购物Agent模型,它可以根据消费者的偏好和别人的搜索经验为消费者搜索和过滤所需的信息,并且能在搜索完后,将符合要求的商品按消费者的偏好进行排序,使消费者不需要浏览大量的网站就能买到称心如意的商品.仿真实验表明,该模型是行之有效的,它能准确地预测消费者的偏好等. 展开更多

关键词 遗传算法 BP算法 比较购物 电子商务 AGENT

下载PDF 职称材料

基于改进型蚁群算法的多任务联盟形成算法 被引量：1

14

作者 林超峰 胡山立 +1 位作者 郑盛福 苏射雄 《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期176-181,共6页

联盟形成是多Agent系统研究的关键问题之一,基于蚁群算法的联盟形成是一种有效的研究方法.创新地把能力互补性原则引入到下一个Agent的选择判断中,引导蚂蚁沿着能生成具有较大联盟值的联盟的方向前进;引入一种带有"调节剂"的... 联盟形成是多Agent系统研究的关键问题之一,基于蚁群算法的联盟形成是一种有效的研究方法.创新地把能力互补性原则引入到下一个Agent的选择判断中,引导蚂蚁沿着能生成具有较大联盟值的联盟的方向前进;引入一种带有"调节剂"的扰动策略来预防算法陷入局部最优和出现停滞;在每一轮的任务分配中尽可能多地分配任务,使得联盟在执行任务时具有一定的并行性.算法能更早地搜索到最优解或次优解,在时间复杂度和全局搜索能力等方面均优于相关算法. 展开更多

关键词 多AGENT系统 联盟 蚁群算法 扰动策略

下载PDF 职称材料

多Agent合作逻辑中的动作与意图 被引量：2

15

作者 赖贤伟 胡山立 《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期41-45,共5页

改进并发博弈结构,给出了一个新模型.消除了不同Agent不准执行相同动作这个与常识不符的假定.给出了5个动作相关函数,使得对Agent、动作与状态三者之间的关系在社会法律约束下的深入考察成为可能.在语法层面同时表述动作和社会法律,提... 改进并发博弈结构,给出了一个新模型.消除了不同Agent不准执行相同动作这个与常识不符的假定.给出了5个动作相关函数,使得对Agent、动作与状态三者之间的关系在社会法律约束下的深入考察成为可能.在语法层面同时表述动作和社会法律,提高了多Agent合作逻辑的灵活性和表达能力.在多Agent合作逻辑中引入信念算子和意图算子;考察了两种个体意图和两种群体意图;给出了对命题的个体意图的多子集语义,并把它拓展到对命题的群体意图的语义. 展开更多

关键词 多Agent合作逻辑 动作 意图 多子集语义

下载PDF 职称材料

强弱例外下的交互时态逻辑

16

作者 赖贤伟 胡山立 +1 位作者 宁正元 王秀丽 《计算机应用》 CSCD 北大核心 2008年第11期2874-2876,2886,共4页

非单调推理是众多人工智能应用系统都可能面对的问题,多Agent系统也不例外。在前期关于AgentBD I逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上,借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术,利用强弱例... 非单调推理是众多人工智能应用系统都可能面对的问题,多Agent系统也不例外。在前期关于AgentBD I逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上,借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术,利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑(ATL)进行拓展,建立非单调交互时态逻辑NATL,给出其语法和语义。是对ATL进行非单调拓展的首次有益尝试。可以考虑以之为理论工具对多Agent思维状态及其动态修正机制进行妥善刻画。 展开更多

关键词 多AGENT系统 非单调逻辑 交互时态逻辑 并发博弈结构 目标

下载PDF 职称材料

复杂对象模式的规范化设计

17

作者 吴永辉 《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第3期28-36,共9页

该文给出了复杂对象模式的规范化设计。复杂对象模式的规范化设计不仅是将对象组合到相关联的关系中 ,而且要选择一个能很好地表示对象间的语义关系的结构。首先 ,基于对象间的语义关系 ,定义对象依赖 ;然后定义对象范式—规范化对象模... 该文给出了复杂对象模式的规范化设计。复杂对象模式的规范化设计不仅是将对象组合到相关联的关系中 ,而且要选择一个能很好地表示对象间的语义关系的结构。首先 ,基于对象间的语义关系 ,定义对象依赖 ;然后定义对象范式—规范化对象模式树和规范化对象模式森林 ,并且讨论对象范式的特性 ,指出规范化对象模式森林是所要求的复杂对象模式的结构 ;最后给出了导出规范化对象模式森林的MIMI算法。 展开更多

关键词 规范化设计 复杂对象模式 嵌套关系 对象依赖 对象模式树 语义关系 面向对象数据库 对象模式森林

下载PDF 职称材料

基于Bayes网的软件构件分类

18

作者 白成刚 《计算机工程与应用》 CSCD 北大核心 2005年第33期17-19,共3页

对软件构件进行分类有助于人们开发高质量的软件。Naive-Bayes网在分类中已经得到成功的应用。但是Naive-Bayes网有一个基本假设:各特征节点要求条件独立。不幸的事,这在现实世界中很难成立。论文利用主成分分析的方法降低了各特征节点... 对软件构件进行分类有助于人们开发高质量的软件。Naive-Bayes网在分类中已经得到成功的应用。但是Naive-Bayes网有一个基本假设:各特征节点要求条件独立。不幸的事,这在现实世界中很难成立。论文利用主成分分析的方法降低了各特征节点的相关性,扩展了Naive-Bayes网的应用范围,并将其用于对软件构件进行分类。实例分析表明新的Bayes分类网预测精度高于一般的Naive-Bayes网。 展开更多

关键词 软件构件 Naive—Bayes网 分类器

下载PDF 职称材料

XML模式中隐式冗余不存在的充分条件 被引量：2

19

作者 凌波 吴永辉 《计算机研究与发展》 EI CSCD 北大核心 2006年第z3期407-412,共6页

XML数据库模式规范化设计是产生一组相关联的、能很好地表示数据间依赖关系、而且消除了冗余的XML模式或DTD,以更好地进行信息检索.XML数据库模式中某些数据依赖是冗余存在的原因.因此在XML数据库模式中数据依赖与冗余的性质以及关联是... XML数据库模式规范化设计是产生一组相关联的、能很好地表示数据间依赖关系、而且消除了冗余的XML模式或DTD,以更好地进行信息检索.XML数据库模式中某些数据依赖是冗余存在的原因.因此在XML数据库模式中数据依赖与冗余的性质以及关联是其规范化设计要解决的关键问题.XML数据库模式的数据依赖包括属性间数据依赖和元素间的数据依赖.在以往的工作中,已经给出XML数据库模式中元素间的数据依赖及其所关联的显式冗余的有关性质,并基于此实现和验证相应的XML数据库模式规范化设计算法.分析XML数据库模式中属性间的数据依赖、元素间的数据依赖及其关联,定义XML数据库模式数据依赖及其相关联的隐式冗余,并论证XML数据库模式中隐式冗余不存在的充分条件. 展开更多

关键词 XML数据库模式 XML模式树 数据依赖 隐式冗余 标识符

下载PDF 职称材料

Modelica建模软件中拓扑排序相关算法研究 被引量：1

20

作者 魏欣 曹建文 《计算机工程与设计》 CSCD 北大核心 2010年第4期691-695,共5页

为了提高现有OpenModelica软件对DAE系统的预处理模块中求强连通分量与拓扑排序部分的性能,提出了基于Ko-saraju算法实现的策略。阐述了Modelica软件的实现原理,叙述了拓扑排序相关算法在其中的重要性,分析了现有Modelica软件中使用的... 为了提高现有OpenModelica软件对DAE系统的预处理模块中求强连通分量与拓扑排序部分的性能,提出了基于Ko-saraju算法实现的策略。阐述了Modelica软件的实现原理,叙述了拓扑排序相关算法在其中的重要性,分析了现有Modelica软件中使用的求强连通分量与拓扑排序部分的算法,比较了Tarjan算法的实现方案与Kosaraju算法实现方案。对两种方案进行了比较和分析结果,表明了Kosaraju算法方案的可行性和有效性。 展开更多

关键词 MODELICA DAE求解 强连通分量 拓扑排序

下载PDF 职称材料