【摘 要】
：
通用系统管理(GSM)是综合模块化航电(IMA)系统服务中不可或缺的一部分,为解决传统安全性分析方法难以捕获复杂系统中组件交互所带来的危险.首先,研究GSM的工作环境及相关组件的功能划分,确定层次化系统管理的工作流程;其次,面向GSM建立基于系统理论事故过程的扩展模型,并通过系统理论过程分析(STPA)对动态重构实例的不安全控制行为(UCA)进行识别,生成相关致因场景及其对应的安全性需求;最后,通过时间自动机对实例进行仿真验证.结果 表明:模型的逻辑和时序的完整性及UCA的可达性,可为GSM的安全性分析提
【机 构】
：
中国民航大学民航航空器适航审定技术重点实验室 天津300300;中国民航大学安全科学与工程学院,天津300300;中国民航大学安全科学与工程学院,天津300300;天津市民用航空器适航与维修重点实验室
论文部分内容阅读
通用系统管理(GSM)是综合模块化航电(IMA)系统服务中不可或缺的一部分,为解决传统安全性分析方法难以捕获复杂系统中组件交互所带来的危险.首先,研究GSM的工作环境及相关组件的功能划分,确定层次化系统管理的工作流程;其次,面向GSM建立基于系统理论事故过程的扩展模型,并通过系统理论过程分析(STPA)对动态重构实例的不安全控制行为(UCA)进行识别,生成相关致因场景及其对应的安全性需求;最后,通过时间自动机对实例进行仿真验证.结果 表明:模型的逻辑和时序的完整性及UCA的可达性,可为GSM的安全性分析提供形式化依据.
其他文献
在船舶制造中,技术成熟度的评估意识薄弱且缺少信息化手段。通过确定评估指标、设定权重,建立船舶制造技术成熟度评估系统,由系统计算成熟度的得分和等级,从总体设计、建造工艺、船厂建造资源能力、船舶研制定型后等方面进行评估。该系统可减少返工带来的时间成本、人力成本,提高船舶制造技术成熟度评估的科学性、准确性、可靠性、灵活性及效率。
基于MOSES软件,建立某起重铺管船的船体模型及船体-托管架模型,计算船体-托管架在极限工况下的运动响应,得到船体-托管架的响应幅值算子(Response Amplitude Operator,RAO)值,将RAO值导入结构分析计算机系统(Structural Analysis Computer System,SACS)进行船舶航行中的托管架绑扎校核与结构分析。计算结果显示,在极限环境条件下,该船的稳性、总纵强度及艉部托管架结构均满足航行安全要求。计算方法可为同类船舶的航行安全提供参考。
以液化天然气(Liquefied Natural Gas,LNG)船液货围护系统中的1S型标准绝缘箱为例,分析标准绝缘箱的结构及钉子位置,设计机器人自动打钉系统,并开发机器人打钉轨迹算法,实现机器人运动轨迹的合理规划,大幅缩短现场编程时间。经实际应用,采用机器人自动打钉系统制造的标准绝缘箱质量稳定,实现标准绝缘箱的高效率、高质量制造。
爱玲，本名刘爱玲，女，山东德州人。中国作家协会会员，鲁迅文学院第32届高研班学员。作品散见于《中国作家》《花城》《清明》等，曾入选《小说选刊》等。 一 银城没有太阳，晨与夜分不那么清。大山穿着一件火红色短裤靠在床头弹吉他，他又一整夜没有睡，胃口搅着劲儿的隐痛更为剧烈，仿佛深处坠满了大块大块的铝锭。从家庭出了变故辍学到现在已经近两年，大山的全部生活轨迹就是和律师的反复见面，换回持续的等待。 已
TP2紫铜管在进行弯制时开裂,为找到原因,用退火试验模拟生产中的退火工艺。试验数据表明,铜管经多道次拉拔产生加工硬化,其外表面金相组织和内部金相组织不均匀,导致在进行弯制时铜管产生开裂。通过对比试验,找到铜管弯制的最佳退火温度区间为550~580℃,为铜管弯制退火工艺提供指导。
摘 要：目的：观察妇科腹部手术后早期半卧位与康复的关系。方法：选取2012年4月-2014年6月我院收治的200例妇科腹部手术患者作为研究对象，按照术后不同卧位分为对照组（n=100，术后6h保持平卧位）和观察组（n=100，术后6h保持半卧位），比较两组患者康复情况。结果：对比两组患者呼吸循环功能各项指标，观察组显著优于对照组，具有统计学意义（P<0.05）；对比两组患者的舒适度，对照组腰酸、烦
根据《MARPOL附则Ⅵ修正案》要求,自2025年1月1日起签订造船合同的散货船须满足能效设计指数(Energy Efficiency Design Index,EEDI)第3阶段要求,目前世界范围内的大部分散货船仍难以满足此要求。结合正在研发的新巴拿马型散货船项目,介绍综合节能方法、轴带发电机方案、轴带发电机+节能装置方案、主机选型方案等关键技术,并根据EEDI公式计算各方案理论值。结果表明,除综合节能方法节能效果有限外,其他几种方案理论上均满足EEDI第3阶段要求,可为相关船型节能减排技术提供参考。
利用二维码实现中间产品信息的索引,采用交互式多模型(Interacting Multiple Model,IMM)卡尔曼滤波法优化的飞行时间(Time of Flight,TOF)定位算法,实现中间产品的位置跟踪。根据船舶车间的标识定位需求,研发船舶中间产品标识定位系统,对船舶中间产品的加工工序、基本信息、位置信息等进行跟踪,为船厂备料套料、物流运输、加工监控等提供有力的数据支撑。
从无人水面艇(Unmanned Surface Vessel,USV)所处的工作环境,分析单目摄像头、双目摄像头、海事雷达、激光雷达等传感器的组成原理、优缺点、性能测试。介绍多传感器数据在USV上的融合原理、融合流程及其应用情况。经过实船海上试验,多传感器数据融合指标良好,较好地解决USV在复杂水域安全航行的感知技术问题。所描述的感知技术,对设计和研发搭载不同任务的USV,识别不同工作场景环境,具有积极的参考价值。
为辅助公安民警分析民航安保事件,采用深度长短记忆(LSTM)模型,研究民航安保事件行为主体识别问题.通过搭建民航安保事件数据库,对民航安保事件概念信息进行多模态信息表示,提取安保事件时序特征,构建深度LSTM模型,进而实现安保事件行为主体的学习与预测.结果 表明:该模型可基于事件时序特征分析事件行为主体,预测精度更优,且在有噪声情况下也可得出良好结果,相关研究成果已在SZX机场成功应用.