【摘 要】
：
针对航电系统任务安全性分析缺少仿真与验证手段问题，提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先，基于时间自动机理论与民航规章建立标准运行条件下航电系统任务过程的形式化模型；随后，将危险致因和安全约束分别以状态变迁的方式注入该模型，建立航电系统任务安全性验证模型；最后，通过遍历状态空间验证模型的活性、危险致因的可达性以及安全约束的充分性，实现任务安全性分析结果的自动化验证。实验结果表
【基金项目】
：
国家自然科学基金面上项目（12172290）； 国家自然科学基金青年科学基金（51805434）； 国家自然科学基金面上项目（61873203）； 国家重点基础研究发展项目（973计划）（2014CB744902）资助课题；
论文部分内容阅读
针对航电系统任务安全性分析缺少仿真与验证手段问题，提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先，基于时间自动机理论与民航规章建立标准运行条件下航电系统任务过程的形式化模型；随后，将危险致因和安全约束分别以状态变迁的方式注入该模型，建立航电系统任务安全性验证模型；最后，通过遍历状态空间验证模型的活性、危险致因的可达性以及安全约束的充分性，实现任务安全性分析结果的自动化验证。实验结果表明，所提方法具有可行性和有效性，能够为持续进行的航电系统任务安全性分析和设计提供模型基础，确保分析结果的正确性和完整性。
其他文献
目的 分析海扶刀治疗子宫肌瘤（uterine fibroids,UF）的磁共振（magnetic resonance,MR）影像。方法回顾性分析2019年11月至2021年10月新余市妇幼保健院收治的60例UF患者的病历资料，所有患者均采用海扶刀治疗。于患者术前、术后1个月时采用MR检查。分析手术前后T1加权成像（T1–weighted imaging,T1WI）、T2加权成像（T2–weight
作为国民经济的支柱，国有企业在推动国民经济发展，实现国有资产保值增值方面扮演着重要的角色。国有企业内部审计是监督国有资产运行质量重要抓手，通过内部审计能够对国有企业的财务状况、资产管理状况等进行全面的监督检查，避免国有资产流失。而内部审计的质量则体现了审计工作的执行情况，只有在高质量的内部审计支撑下，才能够实现内部审计的价值目标，真正起到国有资产运行的监督作用。然而，实践中，部分国有企业内部审计存
商量思维是中国共产党在领导中国革命、建设和改革的历史进程中创造的一种思想方法、工作方法和领导方法，其核心是通过广泛的共同商量凝聚共识、凝聚智慧、凝聚力量。从内涵看，商量思维是一个立体化、多层次的概念，是唯物史观的实践理念、团结政治的关键机制、现代化建设的内在要求、全过程人民民主的精神实质、中国特色社会主义制度体系的重要原则、中国共产党推进伟大社会革命的独特方法。从实践看，中国共产党始终坚持把共同商
为研究边缘构件纵筋配筋率和轴压比对榫卯连接装配整体式齿槽剪力墙抗震性能的影响，采用ABAQUS有限元软件建立了榫卯连接齿槽剪力墙模型，与试验结果进行对比，并进行了变参数对比分析。模拟结果表明：数值模型结果与试验结果基本吻合，内聚力-库伦摩擦混合模型能够准确地反映墙体新旧混凝土结合面的受力情况，数值模型可以较好地模拟榫卯剪力墙的裂缝发展及破坏形态；变参数分析结果显示，提高边缘构件纵筋配筋率能有效提高
为了探究不同封育管理措施对大兴安岭中段草地生产力的影响，试验在大兴安岭中段选取3块样地（科右前旗、科右中旗和扎赉特旗）,每块试验样地均设置4个处理，分别为自由放牧、围栏封育、围栏封育+有机肥和围栏封育+化肥,每个处理小区面积为25 m~2,每个处理设置3个重复，于试验结束后，测定各样地不同处理的草地群落高度、植被盖度和地上生物量（草地鲜草产量和草地干草产量）。结果表明：围栏封育能够极显著提高科右前
推行绿色施工是建筑行业贯彻落实节能减排政策的重要举措之一，基于此，以某建筑工程项目为例，开展对其在绿色施工体系下的管理方案研究。通过绿色建筑工程施工材料选择与管理、基于循环系统的施工水资源节能管理、土地资源管理与用地保护，提出一种全新的管理方案。通过对管理效果分析得出，新的管理方案应用后，建筑工程各个分区的总额和节能率都得到明显改善，充分满足绿色施工体系对建筑工程提出的绿色、环保、节能要求，同时也
近年来,核心素养已成了新阶段课程改革的方向标,已渗入小学每一种课程教学中。数学课程的主要教学目标是透过引导学生了解相应的数学计算能力,逐渐提高学生的核心素养,为了提高学生对数学知识的理解,教师应该从核心素养的角度出发,给予学生逻辑思维和推理能力的指导,这样可以有效提升课程的整体教学质量。基于这个背景,我们对小学数学单元整体课堂教学情况进行了研究,并提供了一些建议。
[目的]明晰斜茎黄芪种子萌发及幼苗生长对不同盐胁迫的适应性。[方法]分别采用NaCl溶液、Na2SO4溶液和Na2CO3溶液对斜茎黄芪种子进行盐胁迫处理，每种溶液均设置0（CK）、10、20、30、40mmol/L 5个浓度梯度，每种溶液每个处理浓度设置3次重复。计算不同盐溶液处理下斜茎黄芪种子的发芽率、发芽势、发芽指数、活力指数和相对盐害率，测定幼苗株高、根长。[结果]随着盐溶液浓度逐渐升高，斜
我国铁路大规模建设在促进国民经济快速发展的同时在安全运维方面提出了新的挑战。铁路沿线的违规地物,严重影响铁路安全运营,及时发现并检测铁路沿线的地物已成为当前铁路维护人员解决的首要问题。快速发展的高分辨率遥感技术为及时检测铁路沿线地物提供了一种快速、便捷、高效的解决方案。因此,本文基于深度学习目标检测方法和某段铁路沿线的遥感影像数据研究铁路沿线地物检测方法。主要研究内容如下:（1）基于改进YOLOv
＜正＞去年底召开的中央经济工作会议指出，“着力扩大国内需求”“要把恢复和扩大消费摆在优先位置”。如何恢复和扩大消费？中央经济工作会议指出，“增强消费能力，改善消费条件，创新消费场景。多渠道增加城乡居民收入，支持住房改善、新能源汽车、养老服务等消费。”