民用机载IMA平台验证计划制定过程研究

综合模块化航空电子(integrated modular avionics, IMA)平台技术已经广泛应用于国外民用飞机上,我国也正大力发展民用飞机产业,深入研究IMA平台技术对我国民用航空电子技术的发展具有重要的战略意义。本文在分析和研究民用飞机和系统开发指南(aerospace recommended practice 4754A,ARP 4754A)规范基础上,提出了IMA平台验证计划的目标和策略,描述了验证计划的主要过程活动,并给出了验证计划文件架构的要点。

动态心电图联合血清IMA、GRP78、miR-29a诊断冠心病心肌缺血的临床价值

目的前瞻性研究动态心电图(DCG)联合血清缺血修饰白蛋白(IMA)、葡萄糖调节蛋白78(GRP78)、微小RNA-29a(miR-29a)诊断冠心病心肌缺血的临床价值。方法回顾性选择2020年7月至2022年8月于宿迁市第一人民医院就诊的冠心病心肌缺血患者100例,按照冠脉病变支分为单支组(n=67)、多支组(n=33),两组均行DCG联合血清IMA、GRP78、miR-29a检查。观察两组DCG特征;血清IMA、GRP78、miR-29a水平。以冠脉造影诊断结果为金标准,评价DCG及血清IMA、GRP78、miR-29a单独、联合诊断冠心病心肌缺血的诊断效能。分析冠心病心肌缺血患者DCG特征及血清IMA、GRP78、miR-29a水平与冠心病心肌缺血的病变程度相关性。结果单支组ST段压低幅度、ST段压低持续时间、心肌缺血发作频次分别为(1.41±0.16)mm、(7.82±0.80)min、(2.04±0.22)次、均小于多支组[(3.42±0.36)mm]、(17.13±1.93)min、(4.32±0.45)次],差异均有统计学意义(P<0.05)。单支组血清IMA水平为(13.29±1.60)U/mL,高于多支组[(7.34±0.76)U/mL],血清GRP78、miR-29a水平分别为(1.32±0.12)ng/mL、1.84±0.21,均低于单支组[(2.26±0.24)ng/mL、3.95±0.42],差异均有统计学意义(P<0.05)。以冠脉造影诊断结果为金标准,DCG及血清IMA、GRP78、miR-29a四者联合诊断冠心病心肌缺血的敏感度、特异度、阳性预测值及阴性预测值均高于四者单独、两两及三三联合诊断(P<0.05)。经Pearson相关性分析,ST段压低幅度、ST段压低持续时间、心肌缺血发作频次及血清GRP78、miR-29a水平与冠心病心肌缺血不同病变程度呈正相关(r=0.812、0.737、0.713、0.594、0.686,P<0.05),血清IMA水平与冠心病心肌缺血不同病变程度呈负相关(r=-0.521,P<0.05)。结论DCG联合血清IMA、GRP78、miR-29a可提高对冠心病心肌缺血的诊断效能。

基于DDPG的综合化航电系统多分区任务分配优化方法

综合化航电系统(Integrated Modular Avionics,IMA)通过时空分区机制实现共享资源平台下的多航电功能集成,分区间的任务分配方法的优劣决定着航电系统的整体效能。针对航电任务集合在多分区内的分配调度问题,提出了一种基于深度强化学习的优化方法。构建了航电系统模型与任务模型,以系统资源限制与任务实时性需求为约束,以提高系统资源利用率为优化目标,将任务分配过程描述为序贯决策问题。引入马尔科夫决策模型,建立基于深度确定性策略梯度(Deep Deterministic Policy Gradient,DDPG)法的IMA任务分配模型并提出通用分配架构;引入状态归一化、行为噪声等策略训练技巧,提高DDPG算法的学习性能和训练能力。仿真结果表明,提出的优化算法迭代次数达到500次时开始收敛,分析800次之后多分区内驻留任务方案在能满足约束要求的同时,最低处理效率提升20.55%。相较于传统分配方案和AC(Actor-Critic)算法,提出的DDPG算法在收敛能力、优化性能以及稳定性上均有显著优势。

Feasibility Analysis of IMA Configuration Design Tool

With the widespread application of integrated modular aviation(IMA)electronic systems,the requirements of IMA characteristic analysis and configuration generation have also improved significantly."Configuration and design system based on AADL models(real-time,reliability,interactive complexity,and schedulability)analysis of the AADL model"mainly get through key characteristic analysis for optimization,combined with input of component parameter information and constraint information,assist designers in generating system configuration information,and form a comprehensive modular avionics system resource configuration strategy generation platform.Also,the tool can generate configuration plans for avionics system software and hardware physical architecture configuration.The analysis of the avionics system model mainly involves designers inputting the existing system model architecture for multi characteristic analysis,it can realize the multi-character analysis based on software intensive system architecture models for software dense systems.Inter-complexity and schedulability analysis,and according to characteristic constraint analysis、system model assessment parameters and system architecture constraint parameters to generate configuration scheme information that meets the requirements.The system can meet domestic and foreign software-intensive systems and meet its quality requirements.

面向IMA平台的应用软件动态重构方法

针对综合模块化航空电子系统(integrated modular avionics, IMA)具备高度资源共享、多余度的特点,当IMA航空电子系统内标准模块在功能发生变化或使用备用模块替换工作模块时,传统软件重构方法是将应用软件映像固化在本地类似FLASH芯片中,人工对模块软件升级,以保证模块软件功能正常,降低了平台的可靠性,增加了人力成本。基于此,提出了一种面向IMA平台的应用软件动态重构方法,用于解决IMA航空电子系统重构时应用软件需要动态地适应性重构的问题。具体而言,通过诊断系统内各模块的健康状态,动态地为每个模块分配角色软件,进而为每个模块加载软件映像及配置数据。在保障系统资源的利用率的同时,避免了航空电子系统重构所带来的软件升级冗余操作,提升了系统的可靠性和可维护性。

面向IMA平台动态重构的应用状态管理设计

IMA平台的应用层动态重构技术,允许平台以最小的余量设计保证功能增长,大幅度提高了平台的灵活性,同时也使得系统的分区管理复杂,资源重构困难。针对IMA平台动态重构时,应用任务状态出现断层不连续的问题,提出了一种分区应用状态管理方法设计,以避免应用功能因此而失效。设计提出在周期任务中预设应用状态提取断点,采用异地存储的设计,在断点处将任务状态数据异地备份;应用重构后,取回任务状态数据,将应用任务状态恢复到状态迁移前的状态。设计易于实现,提高了航空电子系统应用动态重构的可靠性。

sd-LDL及IMA与急性缺血性脑卒中的相关性分析

目的 探讨小而密低密度脂蛋白胆固醇(small dense low-density lipoprotein, sdLDL-C)及缺血修饰蛋白(ischemia modified albumin, IMA)与急性缺血性脑卒中相关性。方法 选取2021年1月至2021年5月于锦州医科大学附属第一医院确诊的101例急性脑卒中患者作为研究对象,另选取锦州医科大学附属第一医院同期健康体检者47例为对照组。比较两组患者的血清sdLDL-C、IMA等水平,分析其与病情严重程度(national institutes of health stroke scale, NIHSS)相关。结果 病例组的sdLDL-C及IMA表达水平高于对照组,且差异具有统计学意义,不同神经缺损程度患者sdLDL-C、IMA差异具有统计学意义。吸烟、高血压、糖尿病、sdLDL-C、IMA、低密度脂蛋白(low-density lipoprotein, LDL)是缺血性脑卒中危险因素,且LDL、sdLDL-C、IMA危险程度较高,根据ROC曲线,发现IMA、sdLDL-C联合检测效能更优。同时吸烟、糖尿病、LDL、IMA、sdLDL-C与NIHSS评分成正相关,sdLDL-C和IMA最为密切。结论 sdLDL-C是缺血性脑卒中重要危险因素,sdLDL-C、IMA联合检测可为早期干预提供参考依据,可作为病情评估及预后判断的血清学指标。

面向IMA平台的可持续环境试验软件设计

针对综合处理机环境试验软件单次测试效率低、试验时间过长的问题,设计了一种可持续的综合处理机环境试验软件设计方法。根据环境试验不同测试项的依赖关系分析,提出多测试子图并发测试优化方法,减少故障导致的测试中断,提升单次测试效率;针对网络测试子图的环形拓扑结构会导致单点故障造成测试中止的问题,设计了星型网络测试拓扑结构,实现单点网络故障条件下的网络测试可持续;提出了循环测试优化设计、备份主控优化设计、结构化故障现场记录设计方法进一步提升单次环境试验的测试效率和测试结果分析效率。针对某型综合处理机环境试验测试结果表明,提出的软件设计方法大大提升了环境试验的效率,缩短了环境试验总时间。

CATIA IMA在汽车造型设计中的具体实施方法及建模思路

随着基于细分方法的“快速建模”技术在汽车造型设计领域被全球车企所应用,越来越多汽车造型从业人员开始学习并研究这一新兴建模技术。文章将先从细分建模相较非均匀有理B样条(NURBS)传统建模的优劣势入手,简述细分建模存在的意义及其应用阶段;然后简要介绍CATIAIMA(Imagine&shape)模块及其常用命令;最后应用较大篇幅阐述基于CATIAIMA“快速建模”的具体实施方法、建模思路及技巧,意在使相关从业人员能够快速理解、掌握、应用这一新技术。

助力管理和财务专业人士为企业创造更大价值——专访IMA总裁兼首席执行官Mike DePrisco

全球领先的国际管理会计师组织IMA管理会计师协会(The Institutes of Management Accountants,IMA)于2023年4月迎来了新一任总裁兼首席执行官Mike DePrisco。在成为IMA总裁之前,DePrisco在项目管理协会(PMI)工作了10年,积累了丰富的经验,这些经验完美契合其作为IMA新任总裁兼CEO所承担的多重角色和职责。成为变革推动者,是担任IMA总裁兼CEO一职最让他期待的事情之一。

A Single Feasibility Study of System Multi-feature Analysis and Evaluation Tool Based on AADL Model

The tool for analyzing and evaluating system characteristics based on the AADL model can achieve real-time,reliability,security,and schedulability analysis and evaluation for software-intensive systems.It provides a complete solution for quality analysis of real-time,reliability,safety,and schedulability in the design and demonstration stages of software-intensive systems.By using the system′s multi-characteristic(real-time capability,reliability,safety,schedulability)analysis and evaluation tool based on AADL models,it can meet the software non-functional requirements stipulated by the existing model development standards and specifications.This effectively enhances the efficiency of demonstrating the compliance of the system′s non-functional quality attributes in the design work of our unit′s software-intensive system.It can also improve the performance of our unit′s software-intensive system in engineering inspections and requirement reviews conducted by various organizations.The improvement in the quality level of software-intensive systems can enhance the market competitiveness of our unit′s electronic products.

不同频率电针内关对心肌缺血再灌注损伤大鼠下丘脑β_3-ADR表达的影响

目的探讨针刺治疗心肌缺血的神经源性机制,并观察针刺干预在缺血再灌注损伤心肌保护中的作用机制。方法将50只大鼠随机分为5组①空白组,②假手术组,③模型组,④高频电针组,⑤低频电针组。5组均麻醉后捆绑,全程记录心电图。空白组同期捆绑对照;假手术组开胸挂线不结扎;模型组、高频电针组和低频电针组开胸结扎大鼠左冠状动脉前降支,造成心肌缺血20min,再灌注40min。经以上处理后颈动脉取血,采用721分光光度计测定血清缺血修饰白蛋白(IMA)和免疫组织化学法测定下丘脑β3-肾上腺素受体(β3-ADR)。结果模型组大鼠心肌缺血再灌注后心电图STⅡ值明显高于空白组和假手术组,也高于低频电针组和高频电针组。模型组IMA含量、β3-ADR表达较空白组和假手术组明显升高,而低频电针组和高频电针组与之比较显著降低;高频电针组大鼠心肌缺血再灌注后IMA含量和β3-ADR表达都低于低频电针组。结论电针内关穴能减少心肌缺血再灌注损伤大鼠血液中IMA含量,降低下丘脑β3-ADR阳性表达。提示电针通过对神经传导通路上相关物质的影响,对心肌缺血再灌注伤害性神经信号传递过程中产生抑制作用,从而抑制应激反应的发生,起到保护心肌的作用。

新一代分布式IMA核心系统技术研究

为提高飞机作战能力和性能,IMA核心系统将应用于未来飞机的任务组织、功能集成和系统管理.在IMA系统、机载计算研究基础上,提出了一种以时间触发FC(TTFC)网络为统一数据网络的分布式模块化综合航空电子系统(DMIA)架构模型,结合IMA2G系统需求和组成特点分析,进行了新一代IMA核心系统的多核处理、TTFC网络、系统管理与重构关键技术及应用解决方案研究,并通过原型系统研制和试验进行了验证.结果表明:DMIA架构模型及关键技术性能满足系统需求,为新型飞机IMA系统研制奠定基础.

不同微创矫正术治疗成人拇外翻的疗效观察

目的:探讨微创矫正术治疗成人拇外翻后的临床疗效。方法:采用回顾性方法分析,选取我院自2012年1月至2014年1月收治的78例成人外翻患者的临床资料作为本次研究对象,其中13例行Mayo术,20例行McBride术,22例行Keller术,23例行改良McBride术,分析临床疗效。结果:与治疗前比较后,改良McBride术的HVA、IMA评分均低于Mayo术、McBride术、Keller术,差异具有统计学意义(P<0.05);改良McBride术优良率(91.30%)均高于Mayo术(46.15%)、McBride术(75.00%)、Keller术(81.82%),差异具有统计学意义(P<0.05)。结论:改良McBride术的HVA、IMA评分均低于Mayo术、McBride术、Keller术,且改良McBride术可纠正拇外翻,恢复拇指屈伸能力,提高临床疗效,值得临床推广应用。

血清Hcy、IMA、炎性因子水平与非ST段抬高急性心肌梗死患者冠状动脉病变程度的关系

目的:探索血清同型半胱氨酸(Hcy)、缺血修饰蛋白(IMA)及各炎性因子与非ST段抬高急性心肌梗死(NSTEMI)患者冠状动脉病变程度的相关性。方法:将符合入选标准并经临床确诊的96例NSTEMI患者作为研究组,另外选择30例健康体检者作为对照组,检测其血清Hcy、IMA及肿瘤坏死因子-α(TNF-α)、超敏C-反应蛋白(hs-CRP)、白介素-6(IL-6)水平,并分析各因子与NSTEMI患者冠状动脉病变程度的相关性。结果:NSTEMI患者Hcy、IMA及TNF-α、IL-6、hs-CRP水平与健康对照组比较均有明显增加,且差异存在统计学意义(P<0.05);NSTEMI冠状动脉双支病变组患者Hcy、IMA及TNF-α、IL-6、hs-CRP水平与单支病变组进行比较均有明显增加,而多支病变组患者上述各项指标与双支病变组进行比较均有明显增加,且各组间差异均存在统计学意义(P<0.05);Hcy、IMA及TNF-α、IL-6、hs-CRP水平与冠状动脉病变程度均呈明显正相关(P<0.05)。结论:非ST段抬高急性心肌梗死患者Hcy、IMA及TNF-α、IL-6、hs-CRP水平均较健康对照组明显增加,且随患者冠状动脉病变程度增加而增加。

血清超氧化物歧化酶、同型半胱氨酸、缺血修饰蛋白对预测脑梗死的价值分析

脑梗死病因、发病机制、病理过程比较复杂，临床表现和转归与病理过程密切相关。研究发现，血清中超氧化物歧化酶（SOD）、同型半胱氨酸（Hcy）、缺血修饰蛋白（IMA）分别在脑梗死发病后不同时间有一定表达，本研究探寻对脑梗死的预测有意义的检测指标。

缺血修饰白蛋白在缺血性脑卒中早期诊断中的临床应用研究

目的 观察缺血性脑卒中患者血清中缺血修饰白蛋白（IMA）的动态变化,并探讨其相关的临床意义.方法 选择2012年3月～2013年6月深圳市南山区人民医院（以下简称“我院”）收治的缺血性脑卒中患者42例为缺血性脑卒中组,根据NIHSS评分将其分为轻度（n=12）、中度（n=16）、重度（n=14）神经功能受损组,选取同期我院体检中心健康体检者40例为对照组.使用比色法测定IMA的表达情况.结果 缺血性脑卒中组IMA表达情况与对照组比较,差异有统计学意义（P＜0.05）;入院3、6、12、24、48 h时缺血性脑卒中组患者血清中IMA的表达水平相比较,差异均有统计学意义（均P＜ 0.05）;轻度、中度、重度神经功能受损组IMA水平分别为（59.8±5.6）、（49.9±4.8）和（42.8±3.7） U/mL,各组之间差异有统计学意义（P＜0.05）.结论 血清IMA水平的变化可以作为缺血性脑卒中的早期诊断指标,同时血清IMA水平的高低可以反映出患者神经功能损伤的严重程度.

模型驱动的安全关键系统重配置信息验证方法

近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。

航空电子分区调度研究

在模块化航空电子系统中,通过分区管理实现不同分组的航空软件互不影响的执行。分区管理采用两层任务调度策略,在操作系统层采用周期调度的方式激活每一个分区,在具体每一个分区,系统根据分区内航空应用软件的固定优先级进行调度。在航空电子软件的分区调度问题研究过程中,通过对分区处理任务系统建模,对任务关键时刻进行分析,利用分区访问时间和任务执行系数,计算系统空闲时间,给出了分区成功调度的条件,最后给出实例进行具体说明。

基于VxWorks653分区操作系统的IMA设计与实现

综合模块化航电系统(Integrated Modular Avionics System,IMA)在飞机航电设备的研制中逐渐得到应用。为了完整地说明IMA的设计方法,以某型飞机航电系统的升级改进为背景,提出一种基于VxWorks653分区操作系统的IMA方案,首次实现将两个独立分系统的设备集成到一台IMA中,方案对IMA的软件架构、分区任务规划、时间空间资源分配等关键要素进行设计和实现,并建立实验平台。实验数据表明,IMA运行正确,可以实现原有系统的功能,分区之间时间和空间隔离机制工作正常,通信工作正常,具有较高稳定性和可靠性。