AADL模型到广义随机Petri网的转换工具

为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估,实现AADL模型到广义随机Petri网模型(GSPN)可靠性计算模型的自动转换,依据AADL模型到GSPN模型的转换规则,设计并实现了集成在开源工具OSATE上的模型转换工具。实验表明:该文的转换工具可以将AADL可靠性模型自动转换为GSPN模型。     

用AADL的即插即用武器管理系统建模研究

分析了即插即用武器系统,采用AADL对其进行建模,以武器管理计算机系统为例对分系统建模进行了描述。结合AADL建模的特点,详细研究了任务数据交换的格式和结构、周期性任务调度算法、非周期性任务调度算法及基于服务器的混合任务调度算法。采用OSATE软件对系统进行了建模和分析。结果表明:该方案能很好地对即插即用武器系统进行建模。     

基于AADL的航电系统可靠性分析工具

为了支持航电系统可靠性分析评估过程的自动化,设计并实现了AADL可靠性分析工具RAT。以用例图说明工具的功能需求,以活动图说明工具的功能间交互流程。给出工具的功能模块的划分、部署及实现。通过对机载设备进行可靠性评估,验证了该工具设计思路和方法是有效的,这为航电系统设计方案的检验与评估提供支持,也为系统满足适航标准的开发过程和安全性目标提供证据。     

综合模块化航电系统失效模型分析

通过分析对比联合式航电系统和综合模块化航电系统(IMA)的体系结构特征,针对系统的资源紧耦合特性建立了IMA系统功能层次化失效模型。按照失效模型分析的资源解耦需求,对IMA系统的功能和服务进行了划分,分析总结了IMA平台的5类功能模型以及11种系统服务模型。按照失效机理对失效模型进行了分类。采用提出的失效模型分析方法对通信功能进行了失效分析并给出了失效应对策略,表明了本方法针对IMA系统失效分析的有效性。     

综合模块化航电系统FC网络的机内测试设计研究

随着信息技术的发展,综合模块化航电系统在航空领域的运用频率逐渐提高,利用光纤通道(fibre channel,FC)高速、低延迟的特性,可以显著增强综合模块化航电系统的通信能力、管理能力、控制能力,使航空产业得到长足发展。主要对综合模块化航电系统FC网络的机内测试进行研究,阐述机内测试的重要性,总结机内测试的关键点,并提出机内测试设计策略,以期为相关人员提供参考。     

基于元模型的复杂航电系统建模

针对当前综合模块化航空电子系统( IMA)开发中存在的问题,提出了一种基于元模型的航电系统建模方法.该方法充分利用了基于特征的元建模理论,通过合理划分和描述构成整体的各部分及其相互关系,构建航电系统领域的元模型.通过建模工具将元模型解释成面向领域的建模语言,在此基础上可构建具体的航电系统模型.以航电系统为实施对象进行了...     

航电FC交换网络可靠性建模与仿真研究

针对典型航电FC交换网络的架构,综合考虑了节点、交换机整体故障和各个端口独立故障对网络可靠性的影响差异以及多种余度数量的分析需求,建立了节点、交换机和链路故障模型、端口-端口网络故障模型以及节点-节点网络故障模型,提供了一种基于矩阵的直观建模思路;给出了基于仿真的故障样本生成方法和网络可靠性计算方法,并结合案例对航电FC交换网络的可靠性进行了定量分析,以上模型和方法可为航电FC交换网络的可靠性设计提供理论数据支持。     

航空电子互连网络的顶层设计架构与实现平台

提出一种顶层设计架构,采取数据驱动的方式,自顶向下、逐步完成针对航空电子互连网络的设计.基于这种架构,给出一种使用SAE AADL规范的实现平台,该平台为航空电子互连网络动态地生成最终的解决方案,并且统一管理仿真、归档和测试.具体的工程实践表明,提出的架构可以提高航空电子互连网络设计的效率,从而降低系统设计的全生命周期成本.     

模块化多电平换流器等效模型的研究

模块化多电平换流器(MMC)在仿真过程中随着电平数量的增加导致仿真效率降低。针对这一问题,通过研究现阶段相对成熟的4种等效模型,即基于戴维南等效、基于受控电压源等效、基于平均值等效以及基于开关函数等效的详细等效模型,并进一步分析上述4种等效的数学建模、等效思想以及每个模型的特性功能,进而从功能以及应用范围的角度进一步对其进行分类讨论,并划定分类标准。最后针对4种模型不同的特性、优缺点分别进行对比,最终得到一个可广泛适用于多种情况的对比结果,为选取模型提供标准。     

基于NI myDAQ的控制系统建模与分析综合设计研究

本文面向控制系统建模与分析综合设计实践,探讨自动化专业在实践教学过程中,学生能力培养的具体思路.以变换器为例,培养学生建模分析和系统辨识能力.并结合控制类课程知识,研究先进控制算法.最后,利用NI myDAQ平台进行算法快速验证.通过综合实践,可培养学生分析、解决问题能力,为其参与科技活动奠定基础,提升毕业生就业竞争力...     

综合化通信设备信号流程设计与实现

介绍了综合化通信设备通用信号处理模块的硬件框架平台,提出了综合化通信设备的信号流程设计,着重给出其流程的实现过程,并分析其流程设计的优点,最后指出所提设计可为其他类似系统的通信设备移植提供参考。     

综合化信号与信息处理平台设计与实现

为解决大规模分布式异构实时处理平台在航空电子模块化综合条件下的体系结构问题,在分析联合标准化航电系统架构特点的基础上,提出一种基于串行RapidIO硬总线和虚通道软总线互连的开放式系统架构,并完成一套基于该架构的综合化信号与信息处理机,实现了真正意义上的芯片级互连、低延时、多节点、可扩展、可重构的航空电子综合化应用平台。     

基于模型的综合模块化航电系统测试性设计方法

针对综合模块化航电系统对测试性提出的更高要求及其工程实践中存在的典型问题,定义了一种分布-集中式的系统测试诊断架构,以适应其体系架构的特点和生产配套关系的变化;提出了一种基于模型的系统测试性设计方法和流程,以测试性模型为驱动指导航电系统的测试性方案设计、评估与优化过程,取代传统的基于指标的测试性设计方法。在某机载综合射频系统上开展了方法应用,成功解决了该系统综合化以后测试诊断架构设计与测试性分配的非线性问题。     

安全性评估方法在通用飞机航电系统中的应用

目前国内通用飞机产业发展进入加速期,对于国内飞机厂商及供应商而言,如何研制出满足适航安全性要求的产品以取得适航许可成为最为迫切的问题之一。以自行研制的多发涡轮通用飞机航电系统为例,给出了一种在系统架构设计中运用安全性评估并利用评估结果对系统架构提出改进措施的方法。对灾难级失效状态的分析结果表明,合理利用安全性评估方法能够有效地找出设计过程中存在的缺陷和风险以满足适航安全性要求。     

一种基于模式的集中控制软件架构的设计

为适应各种控制管理类系统的发展,传统的软件设计开发方式已不能满足需求。为此,研究并设计了一种基于模式的集中控制系统软件架构。实际应用结果表明,该软件架构具有较强的可复用性和扩展性。     

机载电子设备可靠性与结构一体化设计方法

开展了可靠性与结构一体化设计方法的研究.通过对机载电子设备数字样机进行应力分析发现设计薄弱环节,并根据薄弱环节对设备进行了设计优化,从而满足设备的环境适应性要求.在此基础上,进行设备的潜在故障分析与可靠性优化,提升设备的可靠性指标.某机载电子设备的应用实践与试验验证表明了这种一体化设计方法在电子设备设计中的适用性.     

IC设计流程自动化环境的研究

随着半导体工艺技术的快速发展、集成电路(IC)规模越来越大、复杂度越来越高,电子设计自动化(EDA)工具也日益复杂,如何借助工具提高设计效率已经成为业界广泛关注的问题.文章介绍了一种基于工具命令语言(TCL)构建的用于搭建IC设计流程自动化环境的系统框架,并详细说明了其实现方法,利用该框架可方便地定制各种IC设计自动化流程,提高工作效率.     

综合因素对模块封装设计的影响

讨论了综合模块化航空电子系统中影响现场可更换模块(LRM)封装的各个关键要素,重点分析了这些要素间的关联性,以及外部因素对模块封装的综合性影响.同时,对国內新一代飞机平台上的航空用LRM封装标准化提出了一些看法和建议.     

基于嵌入式车流量实时检测算法研究与实现

针对道路现场实时车流量检测问题,提出了一种改进的帧间差分法的运动车辆检测算法,并将该检测算法成功移植到了嵌入式系统上。将帧间差分法与采用长度、宽度、面积筛选轮廓及用质心距离的车辆跟踪算法结合,实现运动车辆的检测;将U-Boot引导程序、Linux内核、Yaffs2文件系统和检测算法移植到S3C6410上,通过摄像头实时采集交通视频,检测结果由触摸屏显示。复杂交通场景的实时测试结果表明,本系统的检测时间为0.298秒/帧,准确率超过88%,基本能够实现在道路现场的车流量实时检测。     

高度综合化航电系统对象管理模型设计与应用

针对航空电子信息系统对象建模过程存在效率低下的问题,结合高度综合化航电系统特点,采用面向对象设计思想及建模方法,分析了航电系统对象组成及相互关系,研究了系统基类设计构型,并在此基础上提出了基于虚拟表单的高度综合化航电系统对象管理模型。该模型的应用为航电系统设计研制提供了灵活、动态的管理手段,在辅助开发设计人员对系统进行面向对象建模的同时,显著提高了系统研发管理效率。