基于场景的C2系统的模拟与评价方法

为适应一体化联合作战指挥控制系统快速决策与实时性能评价的要求,提出一种基于场景的系统快速模拟与评价模型.其优点在于①根据系统需求实现系统的建模、仿真代码自动生成及性能评价.②模型自适应能力强,系统场景设计中的冲突、不完整、安全、性能及行为错误等问题都可以通过仿真过程中不同方面的动态分析检测出来.     

基于MDA的HLA仿真技术框架设计

近年来MDA在分布式仿真特别是在HLA仿真技术中的应用情况缺乏对MDA与HLA结合的仿真技术整体性的认识,不利于仿真系统开发的宏观指导.基于MDA的HLA仿真技术框架的提出就是从系统的角度研究基于MDA的仿真系统开发过程.该框架从模型通用性的静态角度和建模仿真过程的动态角度出发,分为HLA仿真系统主题域的划分和HLA仿真系统开发过程两部分进行了全面的分析,为今后开展基于MDA的HLA仿真研究提供了一种宏观的指导方法.     

想定驱动的仿真资源发现方法

为解决在云间共享架构的仿真环境下资源的自动发现问题,研究了仿真资源请求的描述方法及相应的资源发现算法,提出了想定驱动的仿真资源发现方法.方法通过扩展的军事想定描述语言表示仿真资源请求,使用双映射三过滤算法实现仿真资源的自动发现.分析表明,仿真想定驱动的资源发现方法可以实现在云间共享架构下仿真运行所需的大量资源的自动发现,并对发现结果具有语用校验功能,对于仿真环境的快速部署具有积极意义.     

时序驱动的详细布局方法

针对超大规模集成电路布局过程中时序优化问题,提出一种时序驱动的详细布局方法。对设计进行时序分析并获取时序违反路径集合,对路径上两个连续固定单元间的线网进行平滑处理,以减小路径曲折度以及减少线长。再针对每一个可移动单元与其相邻的线网建立二次规划时序模型,求解局部最优布局位置。对于给定的测试电路,实验结果表明,最差的时序违反与总的时序违反均有明显改善,采用ICCAD2015竞赛的测试模板和评价方法,总的时序性能有45~350 min的提升。     

Dual-steering mode based on direct yaw moment control for multi-wheel hub motor driven vehicles:Theoretical design and experimental assessment

One of the main challenges for multi-wheel hub motor driven vehicles is the coordination of individual drivetrains to improve mobility and stability in the steering process.This paper proposes a dual-steering mode based on direct yaw moment control for enhancing vehicle steering ability in complex environ-ments.The control system is designed as a hierarchical structure,with a yaw moment decision layer and a driving force distribution layer.In the higher-level layer,the objective optimization function is con-structed to obtain the slip steering ratio,which represents the degree of vehicle slip steering in the dual-steering mode.A yaw moment controller using active disturbance rejection control theory is designed for continuous yaw rate control.When the actual yaw rate of the vehicle deviates from the reference yaw rate obtained by the vehicle reference model and the slip steering ratio,the yaw moment controller is actuated to determine the yaw moment demand for vehicle steering.In the lower-level layer,there is a torque distribution controller based on distribution rules,which meets the requirement of yaw moment demand without affecting the total longitudinal driving force of the vehicle.For verifying the validity and feasibility of the dual-steering mode,simulations were conducted on the hardware-in-loop real-time simulation platform.Additionally,corresponding real vehicle tests were carried out on an eight-wheel prototype vehicle.Test results were generally consistent with the simulation results,thereby demon-strating that the proposed dual-steering mode reduces steering radius and enhances the steering per-formance of the vehicle.     

针对滑动窗口算法的椭圆曲线密码Cache计时攻击

基于访问驱动攻击模型,提出一种针对椭圆曲线滑动窗口算法的踪迹驱动Cache计时攻击方法,引入了方差思想判断每次窗口滑动是否查找了预计算表,提高了攻击成功率．仿真实验结果表踞：由于滑动窗口算法引入了预计算表,易遭受Cache计时攻击．精确采集NITT-192一次加密过程中窗口105次滑动的Cache时间信息即可获取完整密钥．本文的攻击方法对其他使用预计算表的公钥密码具有借鉴意义．     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

预处理方法在低速粘性流动中的应用

用时间相关法、LU SGS隐式求解经过预处理后的二维可压Navier Stokes方程 ,数值模拟了低速情况下不同马赫数、不同雷诺数的驱动空腔流动。为了使时间相关法能应用于计算低速流动及加快收敛 ,在控制方程的时间导数项前乘了一个预处理矩阵 ,实现了对方程的预处理。数值模拟结果表明 ,预处理确实加快了计算的收敛性 ,而定常解却没有改变。所得结果与可能的计算结果进行了比较     

化学反应驱动热机的功率优化

本文基于一级和二级化学反应动力学理论,讨论化学反应驱动有限热容热源内可逆卡诺热机系统的功率优化问题,得到了一些新的结果。     

作战效能评估方法研究

作战效能评估是指挥决策的基础。随着战争形态由机械化向信息化的转变,作战信息爆炸式增长,战争系统呈现出前所未有的复杂特征,给作战效能评估工作提出了挑战。文章根据效能评估模型建立机理的不同,将效能评估方法分为数学模型驱动、作战模拟驱动、经验驱动和数据驱动,并从每类方法中选取一种或多种典型方法进行介绍,对各类方法的优缺点和适用范围进行比较,分析得出效能评估发展趋势。