应用Stateflow技术的安全性建模与仿真

为了保障高风险系统的使用安全性,探索事故的运动规律与应急决策,提出了面向事故过程的安全性仿真方法,并结合有限状态机原理与Stateflow技术设计了建模方法与仿真机制,该方法能实现混合系统过程状态逻辑与连续机理的建模与仿真,仿真结果能反映事故发展过程中系统的状态-时间特性、人机交互特性以及过程机理,为应急决策提供定量的依据.最后,对某产品实例的事故过程进行了模型设计与仿真实验,验证了该仿真方法的有效性与合理性.      

面向对象的虚拟组织集成建模方法

提出了一种适应虚拟组织业务过程动态变化的虚拟组织集成建模方法(VOIM,Virtual Organization Integrated modeling),该方法集标准化面向对象的建模语言(UML,Unified Modeling Language)、功能建模集成化定义方法(IDEF0,Integration Definition for Function Modeling)和事件驱动过程链(EPC,Event-driven Process Chain)为一体,以弥补单一方法的不足,适合复杂系统特别是虚拟组织的建模,其中:IDEF0对虚拟组织的功能建模,EPC对功能视图进行细化,UML通过实体映射关系把虚拟组织模型的各个视图有机结合起来,有利于实现系统的模块化和模型的重用;同时对建模过程中UML到EPC之间的转换方法进行了研究.最后对模型进行了形式化描述,从而使VOIM具备严格定义的抽象语法和语义,为模型的验证和仿真提供了良好的基础.     

基于仿真的制造系统生产计划与控制

采用面向对象建模方法,通过对现代制造过程的生产计划调度数据的分析,建立了车间仿真系统模型.从单元和车间的角度,采用流程控制图给出了现代制造过程的仿真流程及控制点.最后基于Witness动态系统仿真平台建立了仿真生产系统,对某航空生产厂叶片车间的生产计划进行了仿真与优化.     

飞机机电综合管理框架下燃油系统建模与仿真

机电综合管理框架下,设计了基于Simulink的某型飞机燃油系统仿真平台,阐述了平台各系统的工作原理和实现方式,实现了飞机燃油系统的压力加油、发动机供油、交叉供油等功能,利用热时间常数计算法对飞机不同飞行阶段的燃油温度进行了模拟,采用建模方法对燃油泵的电气故障特性进行了分析.仿真结果表明:该燃油系统仿真平台有效地实现了实际燃油系统的所有功能特性,为飞机燃油系统机电综合管理的实施和优化提供了有利支撑,同时为飞机燃油系统的故障诊断与容错设计提供了仿真实验平台.     

加速度计加速退化机理模型建模方法

针对传统加速退化试验方案设计缺乏机理模型支持的问题,给出一种基于主机理层试验、关键部件仿真、参数解析和系统辨识于一体的加速退化机理模型建模方法.调研相关资料确定影响产品参数变化的主机理,通过主机理层试验得到有限元仿真输入参数,结合有限元仿真得到产品关键有限元输出参数,同时利用解析方法得到有限元输出参数和产品参数之间关系,根据系统辨识方法建立了加速退化机理模型.以加速度计为例,建立了加速度计标度因数稳定性加速退化机理模型,将模型结果与其在常温贮存条件下结果进行对比分析,结论显示该方法的有效性.     

面向领域的仿真设计建模工具SIMDEMO

讨论了面向领域的仿真设计建模工具SIMDEMO的设计和实现.基于透明性、正交性、层次性的视图分解原理,对处于不同阶段、面向不同用户、涉及不同方面的系统模型采用多视图进行分解,建立了以多视图为核心理念的系统协同建模方法,给出了该建模方法下建模所需遵循的过程指导.针对领域模型描述、表示以及操作等多个方面对工具重构的需求,研究得到了基于元对象反射模型的工具架构;架构具有良好适应性,使得工具重构更灵活、简捷.对SIMDEMO的功能结构进行了简介,给出了系统实现方案.最后,将SIMDEMO与典型同类工具作了比较.     

"人在回路"无人飞艇半实物仿真系统设计与实现

为开展某型无人飞艇系统的地面集成及飞行仿真试验,基于VxWorks实时操作系统、Matlab/Simulink和RTW(Real Time Workshop)快速原型建模仿真软件、FUTABA数据采集系统和三维视景系统,开发了具有高精度、高实时性的半实物仿真平台以及仿真软件.该系统的最大创新点是加入了FUTABA遥控设备以及PWM(Pulse Width Modulation)/RS-422的信号转换模块,从而将飞行员的视觉感受及操纵输出接入到仿真回路中,实现了在全遥控、半自主和自主3种模式下的"人在回路"仿真.仿真试验结果表明:"人在回路"的飞行仿真试验可验证控制律的3种模式切换功能以及姿态、航迹控制效果,提高了飞行员对该型飞行器的操纵熟练程度,可以实现在应急情况下直接控制无人飞艇平稳着陆.      

基于多信号流图的分层系统测试性建模与分析

为了对分层系统进行测试性分析,提出基于多信号流图模型的分层系统测试性建模与分析方法.该方法利用多信号流图模型建立分层系统的层次结构模型,进行测试性分析时,首先利用相关性模型法对顶层模型进行测试性分析,当层次性模块与其它模块不能区分时,再利用相关性模型法对模糊组进行测试性分析,最终实现对分层系统的诊断设计.最后,利用某具有层次性结构的滤波放大器电路对该方法进行了验证,试验结果证明,该方法对于分层系统的测试性建模与分析是有效的,能够为分层系统制定有效的诊断策略.      

基于场景控制特征的安全性需求分析方法

安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变量间关系的变量影响图模型,进一步给出了安全性需求分析方法。通过该方法,使用变量影响图等对控制过程进行分析,生成基于系统理论事故模型和过程（STAMP）的危险性控制活动,并以此获得系统安全性需求。经实验验证,所提出的安全性需求分析方法在正确性和一致性方面具有较好的效果。      

考虑安全性的BWB民机飞行控制系统设计

翼身融合（BWB）飞行器满足未来民用航空经济、绿色、低碳的运行需求,是重要的发展方向。针对BWB飞行器的飞行控制系统,对其安全性与系统设计进行了研究。给出基于系统理论的事故模型及过程,与相应的安全性分析,重点对BWB飞行器飞行控制系统内的复杂逻辑关系、不安全控制动作、危害致因进行分析;进行切换系统设计,给出低可靠先进系统和高可靠备用系统的设计过程,并分析切换逻辑;基于设计进行仿真验证。研究结果表明：系统理论过程分析方法能够支持BWB飞行器飞行控制系统复杂逻辑关系的安全隐患分析,同时所设计的飞行控制系统具有一定的安全性与实用性。     

高精度大力矩补偿机构仿真模型

用于高稳定度卫星载荷扰动力矩补偿的补偿机构设计原理与力矩模式反作用轮类似,但具有输出力矩大、摩擦力矩大和饱和转速低的特点,且目前无针对性的仿真模型.迫于姿态控制系统的仿真需求,根据补偿机构的结构,合理简化的驱动控制电路的设计并结合反作用轮的建模方法,给出了详细的仿真模型.     

面向地震应急响应的松耦合研判模型管理机制

由于面向地震应急响应系统(EERS)的研判模型有其自身特点,传统决策支持系统中模型管理方法并不能较好地满足其管理需求。提出一种面向地震应急响应的松耦合研判模型管理机制(LC-MM),包括3个部分:(1)研判资源建模环境,由研判模型描述/控制语言(MDCL)和数据源描述/控制语言(DSDCL)组成;(2)研判资源协同交互框架,该框架分为4层,主要包括应用环境上下文App_Context、模型调用者Model_Invoker和数据通道Data_Channel 3个Agent组件;(3)研判资源协同交互协议,该协议将研判任务、研判模型和数据源的紧耦合关系分解为上述Agent组件之间的协同交互关系。实际应用表明,LC-MM能够有效屏蔽研判资源的异构性,提高EERS的可扩展性、动态适应性以及平台无关性,能够较好地满足EERS中研判模型的管理需求。     

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

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

虚拟维修仿真建模与控制实现

现有的建模技术在描述维修过程及其相关信息资源等方面存在很大不足,同时缺乏将抽象的维修任务描述与底层维修活动仿真相结合的研究,针对此问题提出并建立了维修任务仿真管理模型 MTN(Maintenance Task Net).构建MTN模型框架并建立基本功能模块,同时阐述了MTN建模的3个要素:状态、活动和条件.基于状态描述各种维修资源,基于活动定义维修动作行为,基于条件建立资源与活动间约束关系.进一步阐述MTN驱动虚拟场景进行维修仿真,同时控制管理整个维修仿真过程.最后给出了应用实例,该模型对实际工程中维修工作分析评价的开展具有一定的实用价值.      

某系留气球抗风性能仿真分析

系留气球以其显著特点已应用到许多领域,今后还会有大的发展。因所处环境的风力对飞行稳定性影响较大,故抗风能力成为系统重要指标。针对无法用实验手段进行验证的空中工作姿态,一般采取计算机仿真方法进行模拟研究。介绍了系留气球的设备组成,描述了空中飞行状态,通过建立动力学模型的数学方程式,施加1-consine型离散突风模型扰动,仿真了空中球体的俯仰角和滚转角随扰动时间的关系曲线,并对结果曲线进行分析研究,以期为同型系留气球的设计方法提供某种借鉴,为浮空器使用安全提供帮助。