公共文化服务平台

共 9 条记录，以下是 1-9

全选清除导出

排序方式：

基于PERT的审计方案可视化建模方法被引量：1: 2014年; 信息化潮流的新形势下,如何快速提升审计人员的方案策划能力、保障审计方案的执行效果以及降低审计成本成为当前实际审计工作中的重中之重。而传统的审计方案制定过程往往过分依赖经验数据或审计人员的主观认识,由于实施执行效果和工期不可预知,因此方案质量不能得到有效保障,在应付当今大规模审计时风险系数更高。提出了一种基于计划评审技术(PERT)的审计方案可视化建模方法,并在开源软件Gnome Planner的基础上进行了软件实现。基于PERT的审计方案可视化建模方法能按照审计方案中各审计任务的内在联系,用箭头来表示其先后顺序,画出一个各项任务相互关联的网络图,以便使用者对全局有一个比较完整的概念,从而找到关键环节和主要矛盾所在,相比较于一般的审计方案的文档描述来看更加直观。; 阮泓科张懋生姚益平; 关键词：审计方案可视化建模 GNOME PLANNER

高性能分布式论证仿真支撑环境分析: 2012年; 为获得能满足论证仿真需要的具有超实时运算能力的高性能仿真支撑环境,根据高性能分布式仿真的需求特点,研究以高层体系结构(HLA)为核心的高性能分布式仿真集成开发与运行管理环境的软件组成和体系结构,主要包括集成开发环境和运行与监控管理环境,为高性能分布式仿真应用的开发、测试、集成、初始化、运行、监控、管理等提供一体化的支撑.重点研究基于高性能计算机的分布仿真支撑环境HPC-RTI的功能设计和关键技术.基于该环境进行了某装备体系仿真实验,实验结果表明,大规模仿真系统的运行效率提高了17.8倍.; 陈欣梁洪波李猛张英潮

基于事件图的并行离散事件仿真方法被引量：1: 2012年; 为解决并行离散事件仿真技术开发难度大的问题,提出一种基于事件图的并行离散事件仿真方法。采用模型驱动体系结构,利用转换器将事件图模型自动转换为基于逻辑进程的并行离散事件仿真可执行代码。并行离散事件仿真的建模方式由以代码为中心的模式发展为以模型为中心的模式。实验结果表明,该方法能提高并行离散事件的仿真效率。; 夏薇姚益平慕晓冬; 关键词：并行离散事件仿真事件图逻辑进程模型驱动体系结构

基于事件图的离散事件仿真模型并行检验方法被引量：4: 2012年; 非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及到形式化规约、逻辑学以及并行计算等多项技术,应用难度较大.针对上述问题,提出了基于事件图的离散事件仿真模型并行检验方法.该方法首先对事件图在模型同步方面进行了扩展,给出了扩展事件图的形式化定义、语法及语义;然后将扩展事件图模型转换到分布并行验证环境的DVE模型,成功地将并行模型检验方法应用于仿真模型验证领域.该方法使得仿真人员无须学习新的形式化验证语言就能采用并行模型检验方法对仿真模型进行形式化验证,可降低模型并行验证的难度,从而有效提高模型验证的效率和完备性.实验结果表明了该方法的有效性,有利于扩展并行模型检验方法在仿真领域中的应用.; 夏薇姚益平慕晓冬柳林; 关键词：事件图

基于多核集群的RTI并行优化技术被引量：2: 2012年; 随着基于高层体系结构HLA(High Level Architecture)仿真应用的不断深入,系统仿真规模不断扩大,仿真模型越来越复杂,仿真节点之间的交互更加频繁,使得仿真系统对通信资源与计算资源的需求不断提高。多核集群能够提供数据并行处理和高效通信的性能潜力,因此通过在多核集群上进行仿真加速正成为提高HLA仿真运行效率的重要途径。然而传统的仿真运行支撑平台RTI(Run Time Infrastructure)主要面向分布式网络环境,一般不支持并行通信和消息并行处理,从而难以发挥多核集群的高效通信和并行计算的性能优势。因此,为了提高多核集群下大规模HLA仿真的运行效率,提出了基于多通道的并行通信结构和基于消息分类的多线程处理技术,并已经应用于正在开发的并行shmRTI中,与国际同类商业软件pRTI1516进行的对比测试结果表明,性能可提升30%以上。; 杨勇姚益平梁洪波; 关键词：多核集群 HLA RTI 并行通信多线程

面向事件图和事件时态逻辑的模型检验方法被引量：2: 2013年; 针对目前没有适合直接对事件图模型进行性质规约的时态逻辑语言,提出一种基于事件的时态逻辑(event temporal logic,简称ETL).ETL以事件作为原子命题,根据事件图的特点增加了对事件取消操作、模型实例化、时间约束和同时事件优先级的表达能力,便于仿真领域的用户在模型检验过程中简洁地对基于事件图的模型应满足的性质进行描述.然后,在ETL公式和自动机理论的基础上,给出了面向事件图和ETL的模型检验方法来判断事件图模型是否满足ETL描述的性质规约.实例验证了ETL对事件图模型具有足够的表达能力以及该方法的有效性.; 夏薇姚益平慕晓冬; 关键词：事件图 BÜCHI自动机

基于CMP+GPU的并行离散事件仿真技术初探被引量：1: 2014年; 随着应用的不断深入,仿真对计算机综合性能的要求越来越高。异构计算系统的出现为并行离散事件仿真带来了重要的机遇和挑战,如何高效充分利用系统资源,提高仿真运行效率成为当前亟待解决的关键问题。从技术角度介绍了利用CMP和GPU进行并行仿真加速的研究进展,分析了传统高性能仿真技术难以充分利用异构计算系统资源的问题,在此基础上就如何利用异构计算系统进行并行离散事件仿真提出了具体建议和展望。; 姚益平唐文杰廖建蔡斐华; 关键词：并行离散事件仿真 CMP GPU 异构计算系统

多核环境下负载均衡的并行离散事件全局调度机制被引量：6: 2012年; 分析了多核环境下传统的离散事件时间弯曲并行系统的性能,针对其事件调度开销小和负载均衡能力强难以兼得的问题,提出了一种基于分布式队列的全局调度机制,设计了相应的数据结构和调度算法,大大减少了锁开销。通过大量实验对多核环境下几种典型离散事件系统并行策略的性能分析表明,本文提出的全局调度策略不仅事件调度开销小,而且回滚率大大降低,有效克服了传统策略回滚量较大或难以实现动态负载平衡的情况,并具备良好的可扩展性。; 陈莉丽姚益平蔡潞; 关键词：并行离散事件仿真多核多线程

面向多核的并行离散事件仿真服务优化被引量：4: 2013年; 处理器发展已进入多核时代.现有并行仿真内核常常以多进程方式使用多核资源,存在较大的同步和通信开销,无法深入发掘多核处理器潜能.基于层次化并行仿真内核(HPSK)模型,重点对时间管理服务和事件管理服务进行优化,支持多线程架构下进行高效能仿真:(1)基于混合时间推进模式,提出最小发送时戳(EETS)计算协议,可根据仿真应用特点灵活配置为异步EETS算法以支持高效的全局同步,并证明了计算协议的正确性;(2)基于并行仿真事件交互的特点,提出无锁创建、异步提交和指针通信的事件管理算法,最小化线程之间的锁开销并减少了内存的消耗.实验结果表明,采用上述优化服务的HPSK能够在各种条件下获得很好的加速效果.; 唐文杰姚益平; 关键词：多核处理器并行离散事件仿真多线程时间管理事件管理

全选清除导出

共1页<1>

国家自然科学基金(61170048)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

国家自然科学基金(61170048)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈