面向agent的统一知识表示与推理逻辑框架

agent设计的坚实理论基础必须建立在知识表示和推理的理论之上.针对目前逻辑理论模型及行为理论模型的不足,提出以描述逻辑及其扩展来描述agent的静态、动态及不确定性知识等信念知识,结合描述逻辑与行为理论进行动作描述;并与认知逻辑相结合构成一个信念知识混合系统认知描述逻辑(EDL),以弥补描述逻辑在过程规则表示方面的不足.给出了EDL的语法及语义以及公理系统,构建了一个面向agent的统一的知识表示和推理逻辑框架.     

一种支持实时软件资源建模与分析的方法

针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用资源通信顺序进程对实时软件资源建模,并进行量化分析.然后,通过提出一系列资源优化检查算法,对建模结果进行资源可满足性检查,并计算出当前系统所需的最少资源量.最后,对机载防撞告警系统进行建模与分析,以说明该方法的有效性.结果表明,该方法能够分析影响实时系统资源使用的关键软件设计要素,评估软件优化对系统资源使用的影响,从而在很大程度上提高了实时系统资源计算和分析的可信性.该计算结果有助于实时系统资源的量化分析和资源优化设计.     

对象Petri网模型的复杂度度量

为了分析对象Petri网模型的复杂度,实现对模型复杂度的量化度量,提出了一套模型复杂度度量集。对象Petri网具有面向对象的特性,可以较好地满足面向对象软件系统的建模。通过将面向对象的设计度量的相关思想引入到对象Petri网模型的复杂度分析中,并结合Petri网的结构特点,从继承、多态、封装等面向对象特性以及判定、并发等Petri网结构特性等方面考虑,提出了适用于对象Petri网模型的复杂度度量集,给出了相关度量的形式化表述,并结合例子进行了分析说明。结果表明,提出的度量集能够有效地反映出面向对象Petri网模型的复杂度,可以为软件建模提供行之有效的度量。也为利用对象Petri网进行软件建模以及面向对象系统设计提供了指导。     

面向数据流挖掘过程的算法管理框架

结合数据流的特点,提出了一种面向数据流挖掘的过程模型PM-DSM。针对目前数据流挖掘过程中存在算法众多但利用率低的问题,提出了一种基于Web服务的数据流挖掘过程模型算法管理框架PMAMF-DSM,描述了该框架的体系结构和运行机制,并用UML活动图给出了框架的实现语义。在Eclipse上基于该框架实现了一个数据流挖掘算法管理系统,实验结果表明了该框架的灵活性与自适应性。     

基于统计模型检测的DFT定量分析方法

动态故障树(dynamic fault tree, DFT)是对系统进行安全性分析的重要手段,基于马尔可夫链的DFT求解方法存在3个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因失效情况;三是可能导致状态空间爆炸。因此提出一种基于统计模型检测的DFT定量分析方法。首先将DFT分解为动态逻辑门、基本构件、共因失效关系、门门和门构件间的逻辑关系;其次将动态逻辑门、基本构件和共因失效关系基于随机混成自动机形式化规约;然后通过逻辑关系重构自动机,形成随机混成自动机网络;最后通过分析一个具有共因失效关系的服从多失效概率分布的飞机结冰探测系统,表明所提方法的有效性。     

基于本体和BN的无人车行为决策方法

和高速交通环境比,城市交通环境具有更高的复杂性和不确定性,因此无人驾驶车辆行为决策系统要能给出驾驶场景下安全有效的驾驶动作。本文提出一种将本体语义表示与贝叶斯网络(Bayesian network, BN)概率推理相结合的行为决策模型。从驾驶场景中的多源异构信息和领域专家经验出发,建立本体并进行概率扩展,将其转换为BN,通过BN推理得到当前驾驶场景下的最佳驾驶动作。该方法既实现了驾驶场景领域知识的形式化描述和共享,又考虑到了驾驶场景中存在的不确定性。最后，通过Prescan/Simulink联合仿真实验验证了所提方法在无人驾驶车辆行为决策上的有效性。     

基于语义的XML数据清洗框架

在XML数据清洗中,模式约束语言提供的信息不能满足准确数据清洗过程对于领域知识的需要;同时,传统的树编辑算法在对XML实例数据进行清洗时,由于缺乏对XML结构信息的语义描述,造成了大量的数据匹配错误.基于此,引入参考本体和领域本体分别对上述问题进行解决,给出了模式约束的度量指标和一个XML结构感知算法,并构建了一个基于语义的XML数据清洗框架.     

一种简化的AVL树的实现方法

平衡二叉查找树是计算机中有效地组织大规模查找数据的主要手段,因为在树的创建、节点的插入、删除过程中都维持了树的平衡.AVL树是平衡二叉查找树,但是AVL树在创建、插入、删除时维护树的平衡操作需要按照平衡因子的不同情况分别进行处理,程序长,实现过程繁杂.本文利用树的高度提出一种新的AVL平衡树数学描述-高度平衡树(HAV...     

基于Web的三层C/S模式应用系统的设计与实现

以物流管理系统的开发为背景,介绍了使用CORBA和Java技术实现基于Web的三层客户／服务器（C／S）模式应用系统的方法。