Jobshop问题中动画仿真模型的自动生成系统

对于给定目标,仿真过程可大致分为仿真建模,程序实现,仿真结果的统计分析三大部分,其中仿真建模是最基础的,关系整个仿真成败的环节,如果能够在仿真模型完成后自动生成相应的仿真程序,不中大大减少了工作量,还可使工作者集中精力于仿真建模,使模型更准确,更优化,本文以Ｊｏｂｓｈｏｐ问题为例,给出了一中基于ＳＩＭＡＮ／ＣＩＮＥＭＡ软件的动画仿真程序自动生成系统,但该系统整体设计思想并不局限于ＳＩＭＡＮ／ＣＩＮ     

基于Simulink的多体机械系统模型转换方法设计与实践

模块框图作为成熟的图形化建模技术应用十分广泛,采用该技术的MATLAB/SimMechanics可进行多体机械系统的建模和仿真,然而对于建模精度要求高、需要实时仿真的柔性、大型多体机械系统比如空间站来说,SimMechanics有明显不足,而DARTS^M软件包可对航天器机械系统进行高精度实时仿真.本文深度解析这两款软件的底层建模技术,根据模型信息的对等关系,设计出模型转换的具体方法,通过C++编程,开发出模型转换程序,从而将航天器多体机械系统的SimMechanics模型转换为DARTS^M模型.通过本文的模型转换方法和程序,可以将两款不同软件各自的优点结合到一起,使得SimMechanics间接地拥有处理柔性体和实时仿真的能力,同时也解决了DARTS^M软件包缺乏图形化建模界面的问题,具有一定的工程应用价值.     

基于对象的仿真建模系统

基于面向对象的思想，图形用户界面和仿真程序自动生成技术研制开发出一个基于对象的辅助仿真建模系统ＳｉｍＭｏｄｅｌ，介绍了ＳｉｍＭｏｄｅｌ的系统结构和模型描述框架，讨论了仿真程序生成器的运行机制，提出了有向网络图递归深广优先搜索算法。     

声音信息在系统仿真中的应用研究与实例1)

就如何将多媒体与仿真结合起来为决策者提供更多有效的信息进行研究，解决了动画仿真软件中无声音信息的问题，提出了一种在已有的动画仿真软件的基础上向仿真模型中嵌入声音信息的方案，并成功地解决了动画与声音信息的同步问题.作者已开发出相应的软件，将同步声音/音乐与背景声音/音乐和仿真动画结合起来.     

基于组态建模的航天器姿轨控数学仿真系统

数学仿真是研究航天器姿态轨道控制系统常用的手段,目前常用人工编程的方式建模,花费时间长且软件的可读性、可维护性较差.提出一套基于组态建模的航天器姿态轨道控制仿真系统,该系统通用性强、可支持自动建模及代码生成.仿真实例表明,该系统模块化、自动化程度较高,大大提高了研究人员的工作效率.     

一种基于容腔节点的液压系统建模语言及实现

为实现直观面向系统原理图对液压系统建模,提出了一种基于容腔节点法的液压系统建模语言和一套新的建模语言描述规则,并阐述了利用该建模语言进行程序实现的方法.该建模语言将液压系统的拓扑结构抽象成具有容腔节点和元件节点的图形结构.液压元件模型独立封装,可模块化使用.在建模语言描述规则的基础上,生成容腔节点与元件节点的连接矩阵.所有节点和连接矩阵构成了系统的整体模型.通过典型智能液压泵系统建模过程,验证了该建模描述语言的正确性和有效性.结果表明:该基于容腔节点的液压系统建模语言可方便建立符合液压系统原理的拓扑图,并面向系统原理图自动生成系统模型.      

声音信息在系统仿真中的应用研究与实例

就如何将多媒体与仿真结合起来的决策者提供更多有效的信息进行研究，解决了动画仿真软件中无声音信息的问题，提出了一种在已有的动画仿真软件的基础计模型中嵌入声音信息的方案，并成功地钔了动画与声音信息的同步问题，作者已开发出相应的软件，将同步声音／音乐与背景声音／音乐和仿真动画结合起来。     

基于代码自动生成的空间交会GNC系统仿真平台

空间交会对接GNC系统涉及目标器和追踪器两个航天器的姿态轨道控制,其数学仿真比一般的卫星更复杂.给出一种轨道动力学、姿态动力学、相对动力学、测量及执行部件等仿真模型的规范化方法,并在此基础上,提出一套基于代码自动生成技术的空间交会对接GNC仿真平台,该平台的模块化和自动化程度高、软件的可读性和通用性强,实现了两个航天器的快速规范化仿真,显著提高了研究人员的工作效率,为空间交会GNC系统的设计和仿真提供了良好的支持.     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

蜂窝夹芯板超高速碰撞仿真

蜂窝夹芯板是一种多用于航天器的特殊结构,采用光滑粒子流体动力学算法(SP H)对蜂窝夹芯板进行超高速碰撞研究时主要存在2个问题:蜂窝芯的几何建模过程复杂;蜂 窝芯层非常薄,为保证仿真精度采用相等的粒子间距必然生成超过计算容忍的粒子数量.结 合参数化程序设计语言(APDL)、用户界面设计语言(UIDL)进行结构建模,编制了APDL生成蜂 窝芯的程序,采用UIDL将该程序集成到ANSYS交互式界面中,能够方便快捷的生成任意尺度 的正六边形蜂窝芯.针对此方法得到的模型,采用SPH单元与壳单元相结合的方法,其中蜂 窝芯采用壳单元,入射体、蜂窝夹芯板的前、后面板采用SPH单元,对蜂窝夹芯板进行了超 高速碰撞仿真研究.仿真结果与相关试验进行了对比,仿真得到的后板破口尺寸与试验比较 接近,证实了该方法适用于蜂窝夹芯板的超高速仿真.      

UML在软件可靠性测试数据自动生成中的运用

为了自动生成实时嵌入式软件的可靠性测试数据,利用UML(统一建模语言)提供的建模机 制,从软件可靠性测试的角度建立use-case剖面、接口模型和测试数据实现模型,然后根 据 这些模型的描述进行随机抽样,自动生成可靠性测试数据.利用该方法能够开发出相应的测 试数据自动生成工具,在软件可靠性测试领域有着较大的实用价值.     

基于程序建模的网络程序漏洞检测技术

研究和分析了网络程序漏洞检测方法,针对C/S结构下网络程序存在的二进制漏洞提出了一种基于程序建模的漏洞检测方法。该方法针对网络程序架构进行分析,通过抽取不同类型网络程序中的关键性系统函数,进行程序建模和检测系统执行模块开发。采用选择符号执行技术进行检测,通过函数挂钩的方式定制挂钩函数语义和函数执行触发的操作,引入符号化数据和引导符号执行过程。研究过程中基于该技术实现了一套网络程序漏洞检测系统,系统能够识别目标网络程序采用的I/O模型,根据目标网络程序的不同类型调取相应的系统执行模块,利用选择符号执行技术进行自动化漏洞检测过程。实验结果表明,相比于已有的检测工具,该系统在网络程序的漏洞检测方面针对性更强,程序代码的覆盖率更高,同时具有很好的可扩展性。      

地地弹道导弹可用性仿真评估系统构建

阐述了地地弹道导弹可用性评估的重要性,并以此为需求牵引,提出了以MTMC-RDEDS(Mission Time Monte Carlo Random Discrete Event Dynamic Systems)为核心的可用性建模与仿真一体化框架,结合实际应用,以模型重用技术为基础,构建了拥有丰富建模与仿真知识库、模块化设计与开放式接口的导弹可用性仿真评估系统总体框架及软件层次结构,并给出了涉及工作状态、维修保障、统计优化在内的核心仿真模型与算法,探讨了系统实现的关键技术,包括:随机变量建模、武器系统建模、仿真系统可信度评估.利用VC++和相关软件开发了地地弹道导弹可用性仿真评估系统,给出了仿真运行界面,并进行实例分析,验证模型和系统的有效性.仿真的结果与实际试验情况吻合较好,表明该动态评估方法快捷有效,评估系统建设方案合理可行,适用于工程分析,不失为地地弹道导弹可用性评估的一种有效手段.     

非线性随机动态系统学习建模方法

在动态神经网络及扩展卡尔曼滤波算法的基础上，提出了对非线性随机动态系统进行学习建模的迭代算法，用这种方法对非线性随机系统建模，可以获得更准确伯系统模型，并可对非线性随机系统进行状态估计。最后给出相应算法及仿真结果。     

一种消除钢坯闪光焊同步误差的控制方法

针对于大截面钢坯闪光焊顶锻阶段的特点和同步要求,提出了一种基于单神经元的同步误差预测控制方案,用于消除闪光焊顶锻过程中的系统之间顶锻力的同步误差;方案中采用液压系统压力反馈的方法解决了闪光焊中不方便安装里传感器的问题.考虑到液压系统的特点,使用AMESim液压仿真软件中的控制库和机械库建立了钢坯闪光焊的非线性液压系统模型、机械耦合系统模型,在Simulink中建立了控制系统的模型;为了验证控制器的性能,液压系统在建模过程中使各个分支的参数略有差异.仿真模型中建立了AMESim软件和Simulink软件的通信接口,通过这个接口实现了基于AMESim/Simulink的电液联合仿真;仿真结果表明基于单神经元预测控制的同步误差调节器在消除顶锻阶段同步误差上具有明显的作用.      

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

基于有限状态机的安全性仿真技术

为了研究系统中事故的动态变化机理,探索事故发展过程中的运动行为,制定正确的应急控制措施,提出了基于有限状态机理论的安全性建模仿真方法.结合Simulink/Stateflow工具开发了面向事故机理与应急过程的建模仿真平台,实现了系统的机理模型、安全状态控制模型以及应急操作模型的有效融合.该平台能实现对人-机-环境综合系统进行动态仿真,为明确事故的动态变化过程和制定应急控制措施提供依据.通过对某舰船舱室事故过程的仿真实例,验证了该方法的有效性和合理性.     

软件GNSS信号模拟器架构与中频信号生成

软件GNSS(Global Navigation Satellite Systems)信号模拟器对于GNSS接收机的高效研发将做出重要贡献,因其结构灵活、开放性以及低成本.以GPS/Galileo组合系统为例,讨论了软件GNSS中频信号模拟器的架构,主要功能模块包括卫星星座仿真、接收机轨迹生成、传播通道特性仿真(包括电离层模型、对流层模型、多径模型等)、数字中频信号生成.在此基础上,着重阐述了数字中频信号生成模块的实现,功率谱图及分析结果验证了所生成的信号,包括GPS L1 C/A,Galileo E1 CBOC(Composite Binary Offset Carrier),Galileo E5a和E5b信号.