基于MBSE在航空电子通信系统中的应用

在航空电子通信系统的研发过程中,针对基于文档的传统开发方法中存在的开发周期长、需求验证困难以及更改流程复杂等问题,文中提出了应用基于模型的系统工程(MBSE)方法。基于航空航天领域中主流的Harmony方法,通过需求分析、功能分析和设计综合依次建立了需求模型、功能模型和物理架构模型。该方法保证了数据的可追溯性,提高了设计效率,降低了设计风险,可为MBSE方法在航电系统中的进一步应用提供参考。     

雷达电讯虚拟样机构建与仿真技术研究

基于模型的系统工程(MBSE)是工业4. 0 的核心特征之一。借鉴MBSE 的思想,给出了雷达研发全流程中不同形态的电讯虚拟样机的内涵、作用和模型。提出了支持概念样机、功能样机和工程样机的协同仿真平台架构,研究了多领域专业仿真方法以及模型开发和管理两项关键技术。以机载火控雷达功能样机为例,形象展示了虚拟样机的建模、仿真与评估方法。基于虚拟样机的建模、仿真与虚拟验证手段将是复杂电子系统研制的新模式。     

基于模型的综合电子系统应用探索

在综合电子系统的研发过程中,针对基于文档的传统开发方法中存在的开发周期长、需求验证困难以及更改流程复杂等问题,文中提出了应用基于模型的系统工程(MBSE)方法。基于航空航天领域中主流的Harmony方法,通过需求分析、功能设计、逻辑设计、详细设计和集成验证,探索了MBSE应用于系统设计、仿真、验证与评估的方法和流程,提出了实施策略。该方法保证了数据的可追溯性,提高了设计效率,降低了设计风险,可为MBSE方法在综合电子系统中的进一步应用提供参考。     

MBSE应用于系统研发的效能分析

基于模型的系统工程(MBSE)是当前系统工程发展的热点方向。然而，将MBSE应用于系统研发的实际效果有时不及预期，文中针对该问题展开分析。首先，建立了一种MBSE的效能分析模型。基于该模型，在得益方面辨析了应用MBSE的期望得益与实际得益的概念和区别，分析了影响实际得益的系统复杂度和瓶颈问题等因素；在代价方面分析了应用MBSE的建模成本、学习成本、试错成本、过度应用成本。随后，基于效能分析模型解释了应用MBSE未达到预期效能的几种典型情况。最后，基于得益最大化和代价最小化原则，提出了MBSE应用于系统研发的优化建议，并对MBSE的试点和推广提供参考意见。     

飞机动力控制系统仿真技术应用研究

飞机动力控制系统的设计正面临着控制综合化、控制策略复杂、且飞机需求多样化等挑战,基于传统的系统开发研发流程已经不能适应FADEC产品的发展需求,迫切需要采用先进的设计理念和高效的研发手段加以应对,文章研究基于MBSE的仿真开发方法和工具链解决方案在FADEC产品设计过程中的应用,并对FADEC研制过程中的关键问题进行了梳理,指出在FADEC研发中应用MBSE方法有助于项目的顺利实施。     

试论基于模型的系统工程(MBSE)的推进思路

现阶段推广应用系统工程已经是军方、机关和集团公司的统一要求,也是型号研制的必然选择。本文介绍了基于模型的系统工程(MBSE)的概念,分析了其推广过程中存在的问题及解决措施,最后提出了在型号研制中应用MBSE的思路。     

支持MBSE的企业信息管理系统发展与启示

多年的实践表明，基于模型的系统工程（MBSE）没有被大规模采用的主要原因之一是缺乏对整个系统生命周期内各类模型进行管理的能力和手段。在此背景下，介绍了模型管理与MBSE、产品生命周期管理（PLM）的概念及其之间的关系，分析了不同行业的模型管理现状，提出了模型管理的解决方案与技术方向，最后给出了建设企业信息管理系统的建议，以期为企业信息管理系统支持MBSE及后续发展提供思路。     

航天地面站低代码开发平台方案设计

为了满足新形势下航天地面站快速交付、灵活部署与升级的需求,分析了基于模型的系统工程（Model-based Systems Engineering,MBSE）的航天地面系统模型,设计了一种适用于航天地面系统的低代码开发平台。该平台基于MBSE模型并通过可视化接口来构建包含软件功能、运行流程、数据处理等内容的应用程序。应用低代码软件平台,降低了软件开发的复杂性,满足装备快速升级的需求,研制时间较传统方法缩短了近45%。     

系统工程方法论在微系统设计中的应用探索

回顾了系统工程方法论的发展历史,总结了微系统的概念、内涵和特点。在系统工程方法论经典三维结构的基础上,提出了微系统四维结构体系。分析了“基于模型的系统工程”（MBSE）方法的优越性,从实际应用出发,提出把微系统模型分为描述模型和分析模型的建议。以一个实际例子,展示了微系统基于需求、功能、逻辑和物理的可视化分解、相互特性关联以及描述模型和分析模型的统一数据管理。     

基于数据驱动的微波组件生产过程管控技术研究

相控阵雷达微波组件是复杂电子组件的典型代表,具有物料品种多、生产流程长、测试指标多等特点.该文以相控阵雷达微波组件为对象,结合微波组件的生产特点和基础条件,开展了适应复杂电子组件全流程的数据采集技术研究,提出了数据采集的方案,构建了相应的管控模型,实现了基于数据的生产过程管控,并简要介绍了数据驱动的精准排产、质量控制以...     

Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog

Model Based System Engineering (MBSE) is a renowned approach in the context of embedded systems development. It is frequently used to deal with the structural and behavioral aspects of system design. However, the verification of system design is generally performed in isolation. It is particularly true in the context of assertion based verification. Consequently, there is a huge gap between system design and its verification that seriously effects the productivity and time-to market objectives. Therefore, in this research, we target to reduce this gap by exploiting the features of MBSE and SystemVerilog assertions (SVA’s). This article introduces a novel MBSE approach to model the design verification aspects of embedded systems, along with the system design (structural and behavioral aspects). We propose SystemVerilog in Object Constraint Language (SVOCL), an OCL temporal extension for SystemVerilog, to represent the design verification requirements by means of SVA’s. As a part of research, SVOCL transformation engine has been developed to generate SVA’s code in order to automate the design verification of embedded systems. The application of SVOCL has been validated through four case studies.     

基于调频广播单站无源系统的定位方法

基于调频广播的单站无源定位系统实际相当于收发分置的双基雷达,以调频广播的发射机作为辐射源,接收雷达位于另一处。在实际的无源雷达系统中,利用数字波束形成技术和比幅测角,可以得到目标方位角。再利用信号到达时间差,可以得到目标和雷达站间的距离信息,从而实现了固定单站对二维运动辐射源的无源定位。最后还给出了定位精度的计算机仿真结果。此定位方法在工程中取得了较好的效果。     

某雷达模拟训练系统控制台工程设计与实现

以训练操作手为主要目的的装备模拟系统称为装备模拟训练系统。雷达作为大型军用装备,其模拟训练系统的设计与实现具有代表性。雷达模拟训练系统主要进行的是功能模拟,即“现象模拟”。提出了一种雷达模拟训练系统控制台的设计方法和思路,并据此设计实现了某雷达模拟训练系统的控制台,该方法还可应用于其他雷达装备模拟训练系统的设计中。     

二辅助通道雷达副瓣对消处理的FPGA实现

传统的副瓣对消处理多基于通用DSP。为了在由FPGA构建的板级信号处理器上实现雷达副瓣对消处理,可以将副瓣对消的算法采用一种专用硬件架构来实现。在开发电路时充分考虑设计的可移植性,为以后类似的任务提供IP。基于硬件乘法器复用的方法设计的电路,已经过FPGA验证,实测对消比大于20 dB,达到了预定指标,并已应用于工程实践。     

基于SQP 算法的MIMO 雷达波形设计与工程实现

为了有效利用MIMO 体制雷达的波形分集能力,需要对雷达发射波形进行正交性设计,从工程实现 的角度出发,针对MIMO 雷达发射信号的正交性要求,利用序列二次规划方法设计正交相位编码信号波形。通过仿 真分析,重点研究了信号数量、码长对波形正交性能的影响以及波形与雷达发射方向图之间的关系,验证了该方法 的有效性和优异性,并与经典的遗传算法进行了仿真比较,最后依托波形产生系统完成了波形的工程实现,并且成 功应用到了雷达系统中。结果表明,采用该方法能够获得较低的自相关旁瓣峰值和互相关峰值,设计出符合雷达系 统要求的正交波形。     

基于可拓工程方法的雷达系统效能评估

针对雷达系统效能的不确定性、随机性和模糊性,运用可拓工程方法,建立一种基于物元理论的雷达系统效能评估模型。并以4种型号系列雷达为例,得到了雷达系统效能的有效评价值,为雷达系统效能的评估提供了一种新的方法。     

基于雷达系统功能的软件测试方法

面对软件高度集成的现代雷达系统,以装备试验学和软件工程学作为理论基础,对雷达系统软件战术指标测试方法进行研究。提出基于系统功能的软件测试方法,用软件测试角度,从雷达系统专业背景考虑,对战术指标进行考核验证,以期通过软件测试发现系统缺陷而不仅仅是软件缺陷。依据相关装备试验原理和软件测试原理,将装备软件测试与装备专业理论相结合,确定测试用例设计方法、等价类划分准则和集合元素选取准则。提出测试策略和测试方法说明。实现从雷达系统专业领域知识对雷达系统软件战术指标进行考核验证的研究目的。     

基于ADS-B数据的雷达精度测量方法

分析了采用全球定位系统数据测量雷达精度的适用范围,介绍了广播式自动相关监视系统(ADS-B)的工作原理、数据格式、系统测量精度,并提出了一种基于ADS-B数据测量雷达精度的方法。文中验证了该方法在雷达精度考核中的可行性,试验结果表明,该方法可以满足精度较高的相控阵雷达精度测量和考核,且操作简单,易于评估。