基于小波的短时交通流预测

本文利用小波分析方法对交通流数据进行不同尺度的分解,并对不同尺度的分量建立ARMA预测模型,再由各尺度的预测得到交通流的预测.实验显示,本方法具有较好的预测精度.

BDI模型信念特性研究

Agent计算的典型模型是BDI(belief,desire,intention),信念是Agent计算的重要属性.把信念拓展为知识性信念和可实现信念.Agent的知识性信念是指Agent当前具有或掌握的知识,具有知识的进化和继承特性.Agent的可实现信念是指当前不成立而在将来会成立的事情,是Agent被意识到的个性倾向和目标.用非标准世界的模态逻辑为形式化工具描述两种信念,将可能世界的可达关系作为认识的不同阶段和达到可实现信念的不同阶段,避免了"逻辑全知问题"和逻辑蕴涵的副作用问题.可实现信念满足KD公理,知识性信念满足KDT4公理.两种信念适合描述Agent的意识状态和意识模型.

基于故障图模型的故障诊断方法研究

在复杂系统故障诊断中,为了解决故障树模型过于简单和现有故障图模型过于复杂而且分解简化比较困难的问题,在故障树模型的基础上进行拓展,提出了具有扇入节点和层次节点的有向无圈的故障图模型,阐述了基于该模型的故障诊断和故障影响预测原理,并且给出了基于该模型的一系列相关预处理方法及算法.它们包括:生成子树库和生成可探测节点路径库的预处理方法、故障诊断推理算法和故障影响预测算法等.

基于硬件性能计数器的软件性能数据采集与分析研究

引入了基于CPU硬件性能计数器的性能数据采集和分析方法,从软件运行时刻的细粒度参数入手分析软件运行时刻的性能表现,从而更为准确地反映系统实际的动态运行状态。实验证明,这种方法对于需要详细掌握系统动态运行状态的应用能够提供非常有效的分析数据,同时也在一定程度上对编译器的性能优化给出了相关参考数据。