面向航电系统任务安全性的形式化建模与验证

针对航电系统任务安全性分析缺少仿真与验证手段问题,提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先,基于时间自动机理论与民航规章建立标准运行条件下航电系统任务过程的形式化模型。随后,将危险致因和安全约束分别以状态变迁的方式注入该模型,建立航电系统任务安全性验证模型。最后,通过遍历状态空间验证模型的活性、危险致因的可达性以及安全约束的充分性,实现任务安全性分析结果的自动化验证。实验结果表明,所提方法具有可行性和有效性,能够为持续进行的航电系统任务安全性分析和设计提供模型基础,确保分析结果的正确性和完整性。

马克思、恩格斯对工人阶级健康状况的考察及启示

在资本主义社会中,由于资本主义的生产方式和资本家获取利润的目的,对工人进行剥削和压迫,工人在被压迫的过程中,无论是工作时长、居住环境还是医疗条件等都受到了一定程度的损害,马克思和恩格斯虽然并没有对健康进行专门的论述,但他们深入到工人阶级当中,通过对工人工作与生活条件的考察,论证了资本主义对工人的剥削和压迫,并且蕴含了丰富的健康思想。

公共伦理视角下的尊严与健康

在面对公共卫生事件时,来自疫区的人容易被污名化而受到歧视,患者的尊严也可能在救治过程中受到有意或无意的冒犯。在这样一个尊严仍然被普遍忽视、漠视与歧视的世界中,如何在面对公共卫生事件中维护与促进人的尊严,就成为一个公共伦理难题。解决公共卫生事件与维护人的尊严之间并不冲突,而是相互促进的。充分尊重人的尊严的措施与政策更能得到个人的理解、支持与配合。公共伦理视角要求对患病的弱势人群给予特殊尊重与关怀,以维护尊严的方式向脆弱人群提供医疗卫生服务。

民机气象雷达任务过程安全性分析方法研究

针对气象雷达系统任务过程安全性问题,以基于系统论的事故模型及过程(systems-theoretic accident model and process)理论方法为基础,提出了一种案例激励安全性分析方法。在进近阶段机载气象雷达任务过程中,通过构建系统分层控制结构,识别系统任务过程中存在的不安全控制行为,并辨识与不安全控制行为关联的潜在危险致因;构建安全飞行控制结构模型,以达美航空事故为例,提出安全约束建议控制事故衍变机制来优化模型,以提高系统任务过程安全。以上分析表明,该方法能更全面地识别系统深层危险致因,为机载气象雷达的安全性设计提供技术支持。

基于FPGA的惯组电源板检测系统设计

传统的电参数测试系统多使用两种芯片共同完成工作,电路复杂而且精度不高,本文设计了一个惯组电源板综合检测系统。测试内容包括:七路直流电压;交流信号的电压,频率与相位;正弦波信号的频率,电压与失真度;方波信号的高低电平电压,频率与占空比。本系统利用FPGA(EP3C10E144C8)配合NIOSII软核以及必要的外部电路完成设计,利用AD芯片及相关外部电路完成电压的测试,利用FFT运算对待测信号完成失真度的测试,利用测周法对待测信号进行计数,通过计数值计算出待测参数,完成频率,相位,占空比的测试,通过实验和仿真,实验结果表明本系统测试的参数能够达到要求的1%精度。解决了传统方法精度不高,电路复杂的问题。

综合模块化航电系统性能退化Lévy模型

综合模块化航空电子系统(integrated modular avionics,IMA)是现代航空的核心系统之一,其性能状态对飞机的安全性有着重要的影响。针对IMA性能退化特性分析问题,首先依据IMA运行管理机制,在现有测点的基础上,遴选了间歇故障发生频次和功能完成时间作为表征IMA性能状态的健康特征参数。然后,根据IMA自身运行特点证明了IMA功能完成时间历程是一个Lévy过程。提出了IMA性能退化Lévy模型,构建了单因素影响和多因素综合影响的IMA性能退化模型。最后,搭建了IMA仿真平台,获取了IMA性能退化Lévy模型参数,仿真了IMA性能退化历程,验证了模型的有效性。