国家自然科学基金(60773019)
- 作品数：17 被引量：55H指数：4
- 相关作者：姚益平张颖星蒋志文刘金鹏张晗更多>>
- 相关机构：国防科学技术大学中国航天北京仿真中心北京邮电大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术兵器科学与技术更多>>
- 并行离散事件仿真对象测试框架生成技术研究
- 并行离散事件仿真系统一般包含许多仿真对象,这些仿真对象往往需要不同领域的专家进行建模开发。由于仿真对象之间可能存在相互作用的事件调度关系,使得开发人员难以及时、独立地对所开发的仿真对象进行单元测试。论文针对并行离散事件仿...
- 张文荣姚益平刘金鹏
- 关键词：测试工具
- 文献传递
- 基于MDA的并行仿真可视化组件建模范式被引量：4
- 2011年
- 并行仿真是提高分析仿真运行效率的有效途径.当前国内外并行仿真由于缺乏高效统一的可视化组件建模范式的指导,往往需要采用从上到下的集中式开发模式,开发门槛高、效率低、二次建模困难,且模型间的耦合度大、协调难,模型与仿真平台紧密绑定,难以实现模型的分步开发、封装、快速组装及平台间模型的重用.作者结合组件建模及MDA技术的优势,针对当前广受关注的PDEVS规范所存在的不支持原子模型可视化建模及事件处理逻辑过于集中、无法挖掘处理逻辑内部并行性的缺点,提出了基于MDA的并行仿真可视化组件建模范式——EDEVS,并证明了该范式的描述能力不弱于PDEVS;在此基础上,设计实现了基于EDEVS的可视化建模框架及EDEVS模型到YHSUPE并行仿真平台模型的代码转换插件,将组件化引入YHSUPE,使其能够适应大规模并行仿真模型分步开发及快速组装的应用需求,验证了EDEVS范式的可行性.
- 姚益平刘刚
- 关键词：并行离散事件仿真组件建模MDADEVS范式
- 基于LP范型的反应-扩散系统随机仿真平台研究
- 2012年
- 随机仿真是描述反应-扩散系统随机特征的一种重要研究方法,但这种仿真的计算量很大,非常耗时,需要并行离散事件仿真PDES技术的支持。针对反应-扩散系统的特点,基于JAMES II离散事件仿真实验框架,设计实现了基于逻辑进程LP范型的并行分布式反应-扩散系统随机仿真平台。主要设计实现了LP范型模型接口、PDES仿真器以及分布式通信方法。利用该平台建立了经典反应-扩散Lotka-Volterra系统LP范型仿真模型,实验结果复现了Lotka-Volterra系统的震荡特性,验证了平台的有效性。
- 蒋志文邢飞
- 关键词：并行离散事件仿真仿真平台LOTKA-VOLTERRA系统
- 并行离散事件仿真集成开发环境的设计与实现被引量：3
- 2009年
- 大规模并行仿真往往包含大量的实体模型,如何对这些实体模型进行灵活重组、高效集成、初始化设置和任务分发是并行仿真应用需要解决的重要问题之一。针对目前并行仿真应用开发的实际需求,设计实现了一个可视化的并行仿真系统集成开发环境,该环境以树型结构可视化地显示数据库中可供选择的对象模型,支持用户以"拖拉"方式选择需集成的对象,支持仿真对象初始化参数和分发方式的可视化设置,并能根据用户设置自动生成程序运行框架、初始化参数文件及工程文件。
- 解海涛李轩涯姚益平
- 关键词：集成开发环境代码自动生成
- 基于TLA的事件图模型形式化验证方法被引量：4
- 2011年
- 针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型检验工具进行验证。这种方法不仅能够有效提高仿真模型的正确性,而且能够提高模型的可重用性,简化仿真模型建模与验证过程。最后利用TLA模型检验工具对实例进行了验证,实验结果表明了该方法的有效性。
- 夏薇姚益平慕晓冬
- 关键词：仿真模型事件图
- 并行离散事件仿真对象调度的开发框架研究
- 并行离散事件仿真（PDES）系统中模型耦合度一般比较高,在开发PDES应用时,仿真对象间的互相调度过程往往由开发人员手动写到代码里,这样不适合多家单位协同开发仿真应用,应用规模受到很大限制。论文针对此问题,提出了仿真对象...
- 周维贵姚益平
- 关键词：并行离散事件仿真互操作分布式开发
- 文献传递
- 面向社会网络仿真的混合时间管理算法被引量：1
- 2012年
- 并行仿真技术在大规模社会网络研究中扮演着越来越重要的角色,而仿真时间同步机制是决定并行仿真性能的重要因素,如何发掘社会学研究领域的应用特征以设计高效的时间管理算法是当前时间同步机制研究的重要课题。社会网络仿真中个体间行为模式差异较大,难以提取合适的Lookahead以保证保守时间管理策略的高效运行;同时,社会网络仿真中个体交互情况复杂,采用乐观时间管理策略时,容易引起系统内大量级联回滚。本文针对上述问题提出一种基于社区发现的混合时间管理机制,在逻辑进程的粒度上根据网络结构优化选择保守和乐观时间管理策略,从而最大限度地发掘系统的性能。实验结果表明了该算法的有效性。
- 张颖星姚益平
- 关键词：保守策略
- 并行仿真运行信息记录分析工具的设计与实现
- 2009年
- 如何提高并行离散事件仿真应用程序的运行质量一直是开发人员所关心的问题,设计了一个记录分析工具。为达到记录过程高效、数据完备的目的,使用节点代理顺序记录等技术可以记录并行离散事件和应用程序的运行信息,可以用于可视化显示和分析,开发人员通过使用上述工具能快速查看事件调度序列拓扑图、事件态势分布以及获取程序改进建议等信息,继而修改代码以提高程序运行质量。最后对工具的有效性进行了验证。
- 李发刚蒋志文张文荣
- 并行仿真多样本任务分发与调度工具的设计被引量：3
- 2009年
- 并行离散事件仿真具有更高的运行效率,已在分析仿真领域得到了广泛的关注。分析仿真往往要对多组参数组合进行比较,要求仿真应用运行多次才能得到所需的结果数据。针对目前并行仿真应用进行多样本多次运行时需要进行大量手工配置、仿真运行效率低下这一问题,论文在对并行仿真应用多次连续运行控制技术进行深入研究的基础上,提出了一种多样本任务分发与调度框架,并设计了多样本任务分发与调度工具。该工具能够将样本运行信息自动部署到局域网内多个节点上,并调度各节点上的样本并行运行。应用表明工具减少了仿真试验人员仿真运行配置工作量,大大缩短了仿真任务运行所需时间。
- 刘金鹏张晗姚益平蒋志文
- 关键词：并行离散事件仿真调度
- 集群计算环境下基于复杂网络的社会学仿真负载划分优化算法被引量：3
- 2011年
- 负载划分是决定集群计算环境下基于复杂网络的并行社会学仿真性能的核心因素之一.由于背景负载等因素的影响,集群系统中往往需要根据实际可用计算资源非均匀分配仿真任务,而现有针对无标度特性拓扑结构的并行仿真负载划分算法无法适应集群环境下计算负载非均匀划分的需求.针对这一问题,提出了一个基于集散节点聚合的负载划分算法,将集群计算环境下基于复杂网络的并行社会学仿真负载划分优化问题转换为一个二部图最小代价赋值问题,最终得到仿真任务到计算节点的分配方案.理论证明该算法近似解与全局最优解比值不超过3,时间复杂度不超过O((k!+1)·kn).实验结果表明该负载划分算法相比现有算法平均提高18.8%的仿真运行性能,证明了该算法的有效性和实用性.
- 姚益平张颖星
- 关键词：复杂网络并行离散事件仿真图划分
