事件本体模型及事件类排序

给出了事件、事件类的定义, 分析了事件类之间的关系, 在此基础上形成了面向事件的本体模型, 为基于语义的知识处理提供了新的方法与技术。在事件本体模型的基础上以事件类排序为实例, 研究了基于HARank (Hubs-Authorities Rank)算法的事件类排序方法, 给出了实验结果, 并对其进行了评价。与传统本体相比, 事件本体以更高粒度的事件作为知识表示单元, 更适合表示运动世界的知识。     

多核乐观并行仿真的负载均衡研究

对于运行于多核计算机、基于多线程实现的乐观并行仿真,虽然操作系统可对线程进行调度以平衡各个核的负载,但它无法控制各逻辑进程本地虚拟时钟的平衡推进。提出了多核乐观并行仿真的四层负载分配模型及一种静态划分与动态负载均衡相结合的负载均衡方案。静态划分使用Metis图划分包对模型实例进行划分;动态负载均衡优先调度本地虚拟时钟较小的逻辑进程以实现各逻辑进程的平衡推进,无须进行模型迁移,易于实现。通过一序列实验检验了所提出的负载均衡方案的有效性。     

一种基于规则的仿真精度实时分析方法

针对复杂分布式仿真系统实时精度分析困难以及分析方法较少的情况,提出了一种基于规则的仿真精度实时分析方法。首先概述了仿真精度和精度分析的概念;然后重点讨论了实时精度分析方法的原理,包括仿真事件及其关系的形式化描述方法,规则的表现形式,以及精度分析的流程和规则库设计;最后结合应用实例,给出结论及下一步研究方向。     

铁水调度仿真系统的设计与实现

现代钢铁企业中,铁水物流过程工艺复杂、设备众多,对铁水调度进行研究具有重要的理论意义及实际应用价值。在对铁水物流过程及铁水调度问题进行描述的基础上,提出了铁水调度的仿真策略,开发了基于可视化的图形化编辑器平台的铁水调度仿真系统,介绍了仿真系统的总体框架,应用离散事件仿真方法对铁水物流过程进行了仿真,并对扰动事件的模拟与识别模型、扰动的动态调整方法进行了研究。描述了仿真系统的软件结构及功能。应用国内某大型钢铁企业生产现场的实际数据进行了仿真实验。仿真结果表明了所开发的铁水调度仿真系统的有效性,为深入研究铁水调度的智能优化算法提供了可视化的仿真实验平台,并为进一步在实际生产中应用奠定了基础。     

StarSim:支持快速构建的离散事件系统通用模拟框架

离散事件系统是研究和实践中常见的一类目标系统,使用软件对其进行模拟是有益甚至必须的。提出支持快速构建的离散事件系统通用模拟框架StarSim,为离散事件系统快速构建软件模拟器。StarSim设计简单通用的系统抽象模型以支持快速构建目标系统模拟器,提供基于事件的实体间交互方式以表达目标系统中的交互行为,引入简化的对象请求代理技术以透明的支持分布性,使用基于令牌分发的多线程技术以并行处理目标系统中同时发生的事件,预留可定制的监测和控制接口以灵活的监控目标系统,使用Java语言编写以确保移植性。为一个混合类型离散事件系统快速构建模拟器,验证了StarSim的诸特性和快速构建能力。     

分布式离散事件系统的安全可诊断性算法

采用有限状态自动机对分布式离散事件系统建模, 提出一种分布式离散事件系统的安全可诊断性算法. 首先, 获得系统的全局模型, 剪枝并确定系统是否可诊断. 若系统可诊断, 则构建该系统的安全诊断器, 在全局模型中添加安全标签, 判断系统是否安全可诊断. 实验结果表明: 该算法可判断分布式离散事件系统是否安全可诊断, 缩小了求解空间; 最好情况下实例状态数约缩减至7倍, 平均情况下实例状态数约缩减5.45倍.     

揭开汛期降水变化的奥秘:厄尔尼诺回响曲

 20世纪中国长江流域3次特大洪涝均发生在厄尔尼诺次年夏季。介绍了短期气候预测的科学原理,回顾了人们对气候变化机理的探索历程,总结了汛期降水预测取得的最新进展和面临的挑战;最后分析2015年发生的超强厄尔尼诺事件给2016年中国汛期降水带来的影响。     

突发事件下的城市轨道交通列车运行仿真与延误评估

应用系统仿真的方法,建立了突发事件下的城市轨道交通列车运行仿真模型,并应用北京地铁亦庄线的实际数据进行了案例分析。基于离散事件模型的仿真方法,使用Processing和G4P控件库开发仿真软件,实现列车的超速防护、移动闭塞系统生成列车移动授权、列车运行控制和列车停站控制。通过系统仿真,针对城市轨道交通单线多列车的运行场景,对突发事件下的全线运行、延误情况进行模拟和评估。结果表明,故障发生的不同位置和持续时间会对列车延误情况造成不同影响,并且通过运行调整手段如发车调整和停站调整可以有效缓解突发事件下列车的延误情况。     

ENSO对陕西省棉花主产区气候及棉花单产量的影响

依据1960-2010年NOAA Nino3.4区海温数据和渭南市气象及棉花产量统计数据,主要应用Mann-Kendal检验法、小波分析法及其他数理统计方法对陕西省棉花主产区（渭南市）的气候变化、棉花单产量、ENSO的特征及3者之间的关系进行了分析,结果显示：①近50 a来,厄尔尼诺影响年份有20 a、拉尼娜影响年份有17 a;Nino3.4区的海温在1978年左右发生了增温突变且突变后厄尔尼诺现象对气候的影响作用加强。②近50 a来,渭南市的暖干化趋势明显;降水量和气温的震荡主周期为27 a,且在27 a尺度上同步经历了增加—减少—增加的变化过程且均在1978年、1995年前后分别发生突变。③在厄尔尼诺影响年份,气温和棉花单产量呈上升趋势,降水量呈减少趋势,在拉尼娜影响年份则相反。研究成果可为有关部门在对陕西省的棉花产量和品质预测分析时提供一定的参考。     

移动核心网异常数据线性判别模型与应用

针对移动核心网数据突增现象下异常数据的特性,定义了数据突增事件、最大承载量临界值、风险警界线等, 给出了 TRAU 数据两类模式(“正常”、“异常”)的划分方法.提出并建立了移动核心网数据突增现象下异常数据线性判别模型和判别准则,用来对某移动核心网 BSC 的 TRAU 数据进行判别分析. 判别结果表明,本文所建立的异常数据线性判别模型对原数据样本的回判以及对新数据样本的识别准确率都达到 100% .