论文部分内容阅读
面向CPS的建模、反例搜索与规范挖掘
【摘 要】
：
信息物理融合系统(Cyber-Physical Systems,简称:CPS)是由计算机系统与物理设备构成的,具有离散行为和连续行为。随着CPS的广泛应用,CPS的安全性问题越发凸显。本文研究CPS的安全性问题,主要从建模、反例搜索、规范挖掘这三个角度进行研究与创新:(1)建模混成自动机虽然是成熟的CPS形式化建模方式,但是由于其理论性较强,对于非专业性人员很难入手,而AADL和Modelica却
【出 处】
：
南京航空航天大学
【发表日期】
：
2020年01期
其他文献
火龙果是近年来崛起势头猛烈的一种热带水果。2019年,南宁市火龙果种植面积约9667ha,产量约150,000t。南宁市是广西最大火龙果生产基地,良庆区在南宁市重点推进火龙果生产进程中种植面积也不断扩增,病虫害问题持续存在且日益严重。因此,加强对良庆区火龙果病虫害绿色防控技术发展现状、存在问题及对策研究十分迫切。本文对良庆区火龙果产业发展情况、种植户基本情况以及病虫害绿色防控技术的发展现状、存在问
学位
发动机喷流噪声是飞机最主要的噪声源之一,大型民航客机适航审定标准多次提高了对于飞机噪声的限制,因而在发动机设计之初就必须考虑发动机的气动声学设计。开展涡扇发动机/喷流噪声综合模型建模和性能寻优控制研究可以为发动机研发提供参考,在考虑喷流噪声限制的基础上充分挖掘涡扇发动机性能潜力。首先,基于面向对象建模的思想,建立大涵道比分开排气式涡扇发动机部件级模型;基于ST2JET算法和喷流噪声特性建立喷流噪声
学位
邻苯二甲酸酯(Phthalate esters,PAEs)是一种半挥发性有机物,广泛用来塑料制造,随着经济和城市建设的快速发展,其消耗量也迅速增长。PAEs作为一种内分泌干扰物,具有类雌激素以及抗雄激素的作用,与各种健康危害有关。杭州市作为浙江省的经济政治中心,城市化建设发展迅速,大量人口的涌入加速了城市的发展,由此带来的环境问题不容忽视。本文首先以杭州下沙经济技术开发区作为混合功能区的典型代表,
学位
目前,阵列技术的研究多数是针对目标信号大小和波达方向(Direction of Arrival,DOA)等参数的估计,对于传感器阵列系统的信息获取过程尚未有统一的理论描述。本文基于香农信息论思想,建立了传感器阵列空间信息理论框架,针对恒模和复高斯两种散射信源模型,和阵列感知单源和多源两种场景,描述了信源DOA和散射参数的估计过程,并基于空间信息扩展了熵误差和分辨率的概念来评估系统性能。提出的信息理
学位
锂离子电池在过去三十年间已取得了巨大的商业成功,但锂离子电池所使用的原材料成本迅速上升,因此激发了人们探索成本更低的储能系统的兴趣,其中钠/钾离子电池由于原材料资源丰富,分布广泛,得到了很多关注。钠/钾离子电池与锂离子电池具有相同的工作原理,但Na+/K+的性质与Li+有很大差异,因此锂离子电池中最常见的负极材料石墨在钠/钾离子电池中表现出较差的电化学性能。硬炭由于具有高的存储容量,适当的工作电势
学位
燃料电池汽车是一种能效高、节能无污染,噪声低的新能源汽车,是未来汽车发展的理想方向之一。但是,车载能源的有限性始终是制约新能源汽车发展关键因素,电动空调系统、电动制动和电动转向作为新能源汽车的辅助系统,消耗了整车的能量,尤其是电动空调系统由于无法利用发动机余热进行驾驶室制热,其能耗约占到了整车的33%,严重影响了新能源汽车的续航里程。且空调系统作为车辆行驶过程中必不可少的辅助系统,直接影响了驾驶和
学位
碳纤维增强复合材料(CFRP)和钛合金(TC4)组成的叠层结构由于性能优良被广泛应用于航空航天产业中。然而,两种材料性能的差异导致叠层材料制孔时刀具磨损严重,面临着频繁更换刀具造成生产效率下降的问题。传统的刀具状态判断方法具有主观性等不确定因素,准确性低,不适用于自动化生产。随着工业自动化的飞速发展,实现在线监测刀具状态的需求日益迫切。本文研究了CFRP/TC4叠层结构制孔时的刀具磨损状态变化过程
学位
变形监测和重构是实现结构自适应变形控制的前提,也是保障结构安全的重要手段。目前复杂结构的变形重构研究较少,大多数研究将结构简化成简单的板、梁,没有考虑结构的复杂性。本文面向以鱼骨作为主承力结构的自适应机翼结构,研究基于逆向有限元变形重构算法的结构变形重构方法,研究中考虑了结构的复杂性,主要研究内容和创新如下:(1)研究了逆向有限元算法重构变形的基本过程,针对自适应变形机翼的主要构型和承力单元鱼骨结
学位
先进的航空发动机故障诊断技术,可有效提高飞机的安全性,并大幅降低发动机维修保养的成本。为此,本文针对大涵道比民用涡扇发动机气路故障,开展基于深度信念网络(DBN)的故障诊断算法设计方法研究。首先,阐述了航空发动机故障诊断的研究意义,分析了航空发动机气路故障产生的原因,基于TMATS工具箱航空发动机部件级模型,生成气路故障数据并进行预处理,用于训练和测试故障诊断模型。其次,分析了深度信念网络原理和训
学位