【摘 要】
：
乐观时间同步机制能够显著提高并行仿真的性能,但是在乐观时间推进过程中会出现因果错误,需要根据保存的状态对事件进行回退,因此事件状态保存机制是影响乐观时间推进效率的重要因素.本文首先简要介绍了并行仿真中逻辑进程的执行过程,讨论了乐观时间推进的状态保存与回退机制;然后对全状态保存技术进行了建模和理论分析,并通过实验对测试了全状态保存算法的性能,测试结果验证了理论分析的正确性.
【机 构】
：
国防科学技术大学高性能计算国家重点实验室,湖南长沙,中国,410073 国防科技大学计算机学院,湖
【出 处】
：
第18届中国系统仿真技术及其应用学术年会(18th CCSSTA 2017)
论文部分内容阅读
乐观时间同步机制能够显著提高并行仿真的性能,但是在乐观时间推进过程中会出现因果错误,需要根据保存的状态对事件进行回退,因此事件状态保存机制是影响乐观时间推进效率的重要因素.本文首先简要介绍了并行仿真中逻辑进程的执行过程,讨论了乐观时间推进的状态保存与回退机制;然后对全状态保存技术进行了建模和理论分析,并通过实验对测试了全状态保存算法的性能,测试结果验证了理论分析的正确性.
其他文献
工业4.0理念要求将分散网络化和信息物理进行深度融合以符合现代工业生产智能化、人性化的特点.组态软件具有资源配置、数据采集、状态监控等功能,是实现智能化工厂的各种信息管理的有效工具,也是工业4.0框架下重要的组成部分.本文研究了制造业工作站层的组态软件平台,该平台包含数据库系统以及图形系统.数据库系统管理实时数据采集、逻辑控制程序的交互、历史数据的读写控制、数据呈送等任务;图形系统完成变量配置、图
约束多目标优化问题普遍存在,但至今尚缺乏有效的求解方法.本文研究约束多目标优化问题的求解,并提出一种用于该问题的改进NSGA-Ⅱ算法.该算法在NSGA-Ⅱ的基础上,隔代对可行和不可行解实施交叉操作,以充分发挥不可行解在寻优过程中的作用;此外,还基于得到的优势个体更新外部保存集,以保留问题的优化解.将所提方法应用于3个基准多目标优化问题,并与传统的NSGA-Ⅱ算法比较.实验结果表明,所提方法能够得到
移动机器人在动态场景下工作时,需要对场景进行识别,检测出所在场景中的运动目标.现有的动态目标检测算法如背景减法、帧间差分法,在动态背景下难以取得较好的效果,且现有的一些像素级的运动检测方法,都无法提取出完整的运动目标.本文提出了一种基于稠密场景流的运动目标检测方法,该方法首先利用K-Means聚类算法,对RGB-D图像中的深度图进行聚类并分割图像,然后计算图像的每个分割块的场景流,最后根据聚类结果
迭代最近邻点(ICP)是一种常用的机器人定位算法,广泛应用于室内室外等场景.然而现实环境复杂多变,尤其是在室外等非结构化环境中,激光扫描数据受到众多干扰因素影响,观测信息总是存在不同程度的不确定性,因此相邻观测中的信息可能并不一致,导致匹配结果的稳定性较差,甚至匹配失败.针对该问题,本文提出一种基于观测数据几何特性的不确定性分析方法,根据观测数据的稳定性赋予观测点不同的权重,减少不稳定点带来的匹配
针对电动汽车锂离子电池制造工艺和使用环境不同所引起的单体不一致性问题,本文设计了一种主动均衡系统方案.该系统基于双向反激式变压器的均衡拓扑电路,搭载有数据采集和均衡控制芯片,主控制器采用MC9S08DZ60单片机.基于该主动均衡系统,设计实现了基于电压的均衡控制策略.实验结果表明,所设计的主动均衡系统能够满足电池系统均衡需求.
本文借助高斯伪谱法,对月球软着陆中的主减速段制导律进行了研究.采用固体火箭发动机制动会大大降低探月成本,约为传统液体火箭发动机成本的1/20,但固发不能像液发那样随时开关机,只能耗尽关机,给制导律的设计带来较大难度.针对这一问题,本文采用高斯伪谱法优化主减速段轨迹,将有约束的最优控制问题转化为非线性规划问题,给出了可用的制导指令,且能够有效避免初值敏感的问题.此外本文针对基于固发可能出现的工况和设
High precision and high robust mobile robot localization algorithm is a key technology for indoor SLAM.For decreasing the effect of perception uncertainty, a robot position estimation algorithm based
本文针对高速机动目标拦截攻击角度约束制导问题,将导弹自动驾驶仪简化为一阶惯性环节,基于高阶滑模控制理论,设计了一种鲁棒高阶滑模制导律;为避免估计目标机动不确定上界,同时尽可能减小控制增益,提出一种基于最小可能控制增益的自适应律,并应用于扰动补偿控制律设计;针对高速目标拦截时几种不同的机动方式,所设计的制导律都能实现视线角速率的有限时间收敛,同时保证攻击角度约束不被违背.导弹常速和变速下的拦截仿真证
信息的不确定性存在于社会的各个领域,对不确定性信息的分析处理是现代信息技术面临的重要问题.不同信息包含的不确定性内涵差别很大,分析处理不确定性的技术形成了不同的分支和流派.本文对定性分析、集合论方法、数学方法以及不确定性过滤等几种具有典型特征流派的技术进行了系统分析,并对其技术特色进行了总结归纳.
为进一步满足老年人健身需求,减少运动损伤.针对老年人健腹器造型设计中功能、审美和人机交互的综合要求,提出应用质量功能展开法作为设计策略,阐述质量功能展开在老年人健腹器设计过程的应用方法与步骤.为老年人针对性地提供健腹器创新设计方案,并给出最终设计效果图.