检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

并行离散事件仿真集成开发环境的设计与实现

系统仿真学报 2009年第13期21卷 3929-3932页

作者：解海涛李轩涯姚益平国防科学技术大学计算机学院.长沙410073

大规模并行仿真往往包含大量的实体模型,如何对这些实体模型进行灵活重组、高效集成、初始化设置和任务分发是并行仿真应用需要解决的重要问题之一。针对目前并行仿真应用开发的实际需求,设计实现了一个可视化的并行仿真系统集成开发环... 详细信息

大规模并行仿真往往包含大量的实体模型,如何对这些实体模型进行灵活重组、高效集成、初始化设置和任务分发是并行仿真应用需要解决的重要问题之一。针对目前并行仿真应用开发的实际需求,设计实现了一个可视化的并行仿真系统集成开发环境,该环境以树型结构可视化地显示数据库中可供选择的对象模型,支持用户以"拖拉"方式选择需集成的对象,支持仿真对象初始化参数和分发方式的可视化设置,并能根据用户设置自动生成程序运行框架、初始化参数文件及工程文件。

关键词：并行离散事件仿真(PDES) 集成开发环境对象分发代码自动生成

在线全文

学校读者我要写书评

暂无评论

基于BOM的并行离散事件仿真概念建模研究

系统仿真学报 2009年第7期21卷 1797-1800页

作者：侯波南姚益平孙太怀国防科学技术大学计算机学院长沙410073

概念建模是仿真建模过程前期中的重要环节,良好的概念模型有利于明确模型需求,以及模型的重用和互操作。针对目前并行离散事件仿真缺乏有效概念建模方法的问题,提出了基于基本对象模型(BOM)的并行离散事件仿真概念建模方法。结合UML和... 详细信息

概念建模是仿真建模过程前期中的重要环节,良好的概念模型有利于明确模型需求,以及模型的重用和互操作。针对目前并行离散事件仿真缺乏有效概念建模方法的问题,提出了基于基本对象模型(BOM)的并行离散事件仿真概念建模方法。结合UML和本体工程思想,从静态和动态两方面刻画概念模型,生成XML格式的概念模型文件。在YH-SUPE并行仿真开发及运行支撑环境的应用表明该方法切实可行。

关键词：概念建模基本对象模型(BOM) 并行离散事件仿真(PDES)

在线全文

学校读者我要写书评

暂无评论

基于索引排序的快速动态区域匹配算法

计算机学报 2009年第7期32卷 1375-1381页

作者：姚益平张颖星陈欣季利春国防科学技术大学计算机学院长沙410073 北京邮电大学计算机学院北京100876

数据分发管理实现基于值的过滤,可进一步减少大规模仿真中盟员接收冗余数据的可能性和网络中的数据流量.数据分发管理实现的关键是区域匹配算法的实现,高效、精确的区域匹配一直是数据分发管理追求的目标.现有的区域匹配算法如直接匹配... 详细信息

数据分发管理实现基于值的过滤,可进一步减少大规模仿真中盟员接收冗余数据的可能性和网络中的数据流量.数据分发管理实现的关键是区域匹配算法的实现,高效、精确的区域匹配一直是数据分发管理追求的目标.现有的区域匹配算法如直接匹配法、网格法、基于分类的算法等都不很理想,或者过滤效果不佳,或者耗时较大,难以适应大规模分布式仿真的需要.论文针对在区域比较多的大规模分布式仿真系统中,区域大都需要随着仿真的推进而频繁地被动态修改的实际特点,提出了一个基于索引排序的快速动态区域匹配算法——IOBM算法,该算法将范围的上下界分别各用一个节点表示,使用指针数组来索引每一维上的范围节点,数组元素的下标值表示对应的节点值,利用区域范围更新前后的信息,将匹配限定在移动区间之内,通过对移动区间之内的链表进行直接操作来完成匹配工作,因而大大减少了匹配计算的时间,实现了高效、精确的动态匹配.该算法尤其适合区域比较多的大规模分布式仿真的需要.

关键词：高层体系结构(HLA) 运行支持环境(RTI) 数据分发管理(DDM) 区域匹配动态

在线全文

学校读者我要写书评

暂无评论

基于TLA的事件图模型形式化验证方法

计算机应用研究 2011年第11期28卷 4171-4173,4187页

作者：夏薇姚益平慕晓冬国防科学技术大学计算机学院长沙410073 第二炮兵工程学院计算机系西安710025

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模... 详细信息

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型检验工具进行验证。这种方法不仅能够有效提高仿真模型的正确性,而且能够提高模型的可重用性,简化仿真模型建模与验证过程。最后利用TLA模型检验工具对实例进行了验证,实验结果表明了该方法的有效性。

关键词：仿真模型验证、确认和认定模型检验行为时态逻辑事件图

在线全文

学校读者我要写书评

暂无评论

计算系统生物学中并行随机仿真方法研究进展

计算机工程与科学 2010年第9期32卷 134-138,156页

作者：王兵姚益平邢飞国防科学技术大学计算机学院湖南长沙410073

随机仿真是计算系统生物学中对随机离散模型进行仿真研究的一类重要方法。本文对随机仿真方法的原理及并行化研究的进展进行了论述,指出了并行化是解决随机仿真性能开销问题的重要途径,并依照细粒度并行和粗粒度并行分类,阐述了当前并... 详细信息

随机仿真是计算系统生物学中对随机离散模型进行仿真研究的一类重要方法。本文对随机仿真方法的原理及并行化研究的进展进行了论述,指出了并行化是解决随机仿真性能开销问题的重要途径,并依照细粒度并行和粗粒度并行分类,阐述了当前并行随机仿真方法的研究现状,重点针对空间并行性,介绍了反应-扩散系统随机仿真的方法和相关工具。最后,对并行随机仿真方法研究未来发展进行了展望。

关键词：随机仿真算法计算系统生物学并行计算并行离散事件仿真离散事件系统

在线全文

学校读者我要写书评

暂无评论

面向社会网络仿真的混合时间管理算法

计算机工程与科学 2012年第11期34卷 77-82页

作者：张颖星姚益平国防科学技术大学计算机学院湖南长沙410073

并行仿真技术在大规模社会网络研究中扮演着越来越重要的角色,而仿真时间同步机制是决定并行仿真性能的重要因素,如何发掘社会学研究领域的应用特征以设计高效的时间管理算法是当前时间同步机制研究的重要课题。社会网络仿真中个体间行... 详细信息

并行仿真技术在大规模社会网络研究中扮演着越来越重要的角色,而仿真时间同步机制是决定并行仿真性能的重要因素,如何发掘社会学研究领域的应用特征以设计高效的时间管理算法是当前时间同步机制研究的重要课题。社会网络仿真中个体间行为模式差异较大,难以提取合适的Lookahead以保证保守时间管理策略的高效运行;同时,社会网络仿真中个体交互情况复杂,采用乐观时间管理策略时,容易引起系统内大量级联回滚。本文针对上述问题提出一种基于社区发现的混合时间管理机制,在逻辑进程的粒度上根据网络结构优化选择保守和乐观时间管理策略,从而最大限度地发掘系统的性能。实验结果表明了该算法的有效性。

关键词：仿真时间同步乐观策略保守策略社会网络仿真

在线全文

学校读者我要写书评

暂无评论

并行仿真多样本任务分发与调度工具的设计

计算机仿真 2009年第12期26卷 282-285页

作者：刘金鹏张晗姚益平蒋志文国防科技大学计算机学院湖南长沙410073 北京仿真中心导弹控制系统仿真国防科技重点实验室北京100854

并行离散事件仿真具有更高的运行效率,已在分析仿真领域得到了广泛的关注。分析仿真往往要对多组参数组合进行比较,要求仿真应用运行多次才能得到所需的结果数据。针对目前并行仿真应用进行多样本多次运行时需要进行大量手工配置、仿真... 详细信息

并行离散事件仿真具有更高的运行效率,已在分析仿真领域得到了广泛的关注。分析仿真往往要对多组参数组合进行比较,要求仿真应用运行多次才能得到所需的结果数据。针对目前并行仿真应用进行多样本多次运行时需要进行大量手工配置、仿真运行效率低下这一问题,论文在对并行仿真应用多次连续运行控制技术进行深入研究的基础上,提出了一种多样本任务分发与调度框架,并设计了多样本任务分发与调度工具。该工具能够将样本运行信息自动部署到局域网内多个节点上,并调度各节点上的样本并行运行。应用表明工具减少了仿真试验人员仿真运行配置工作量,大大缩短了仿真任务运行所需时间。

关键词：并行离散事件仿真多样本多次运行任务分发调度

在线全文

学校读者我要写书评

暂无评论

并行仿真运行信息记录分析工具的设计与实现

计算机仿真 2009年第12期26卷 274-277页

作者：李发刚蒋志文张文荣国防科学技术大学计算机学院湖南长沙410073

如何提高并行离散事件仿真应用程序的运行质量一直是开发人员所关心的问题,设计了一个记录分析工具。为达到记录过程高效、数据完备的目的,使用节点代理顺序记录等技术可以记录并行离散事件和应用程序的运行信息,可以用于可视化显示和分... 详细信息

如何提高并行离散事件仿真应用程序的运行质量一直是开发人员所关心的问题,设计了一个记录分析工具。为达到记录过程高效、数据完备的目的,使用节点代理顺序记录等技术可以记录并行离散事件和应用程序的运行信息,可以用于可视化显示和分析,开发人员通过使用上述工具能快速查看事件调度序列拓扑图、事件态势分布以及获取程序改进建议等信息,继而修改代码以提高程序运行质量。最后对工具的有效性进行了验证。

关键词：并行离散事件仿真(PDES) 节点代理顺序记录

在线全文

学校读者我要写书评

暂无评论

支持快速计划拟制的指挥决策模型研究

计算机仿真 2008年第11期25卷 10-12,24页

作者：李宁蒋志文国防科学技术大学计算机学院湖南沙市410073

指挥决策系统是辅助指挥员进行作战指挥决策的重要工具,信息化战争的特点对指挥决策支持系统的研制提出了新的挑战。针对现有的指挥决策系统工作效率不高等问题,提出了一种支持快速计划拟制的系统模型;该模型针对信息化条件下战争的特点... 详细信息

指挥决策系统是辅助指挥员进行作战指挥决策的重要工具,信息化战争的特点对指挥决策支持系统的研制提出了新的挑战。针对现有的指挥决策系统工作效率不高等问题,提出了一种支持快速计划拟制的系统模型;该模型针对信息化条件下战争的特点,提供了对快速计划拟制的支持,提高了决策系统执行效率。基于该模型建立了一个指挥决策系统,对该系统的测试结果表明,系统具备快速反应能力。能够适应信息化条件下联合战役计划拟制的需求。

关键词：快速计划指挥决策模型