【摘 要】
：
随着安全关键系统的规模和复杂性不断增长，单一建模语言无法完全覆盖该类异构系统的建模要求.近年来，多范式建模方法逐渐成为表达复杂异构系统的有力手段，而安全性分析则是保证安全关键系统质量的重要步骤.本文提出一种面向安全关键系统的多范式建模及安全性分析方法.首先，使用SysML和AADL两种建模语言对安全关键系统进行多范式建模，SysML定义系统需求和逻辑架构，AADL则用于表达系统实现的物理架构、执行
【基金项目】
：
国家自然科学基金项目（62072233）资助； 航空科学基金项目（201919052002）资助； 中央高校基本科研业务费专项资金项目（NP2017205）资助；
论文部分内容阅读
随着安全关键系统的规模和复杂性不断增长，单一建模语言无法完全覆盖该类异构系统的建模要求.近年来，多范式建模方法逐渐成为表达复杂异构系统的有力手段，而安全性分析则是保证安全关键系统质量的重要步骤.本文提出一种面向安全关键系统的多范式建模及安全性分析方法.首先，使用SysML和AADL两种建模语言对安全关键系统进行多范式建模，SysML定义系统需求和逻辑架构，AADL则用于表达系统实现的物理架构、执行平台和应用软件运行时.其次，面向航空适航安全分析标准ARP4761的要求，对多范式模型进行安全性分析，即，为支持SysML系统定义层的安全性分析，提出安全性扩展附件SafetyProfile用于表达安全性信息，并将安全模型和SysML系统模型进行链接，自动生成功能危害评估报告和故障树；提出SysML系统模型和安全模型到AADL架构模型和错误附件模型的自动转换方法，并对AADL模型进行系统实现层的安全性分析.最后，设计实现了原型工具，并以航空领域的飞机空气增压系统（Airplane Air Compressor System）这一安全关键系统为案例，验证本文所提方法和工具的有效性.
其他文献
个性化新闻推荐是网络新闻服务的一项重要任务。随着深度学习的发展,以端到端的方式直接从原始数据中学习关于新闻内容和用户兴趣的向量表示逐步成为研究热点。得益于各种有效的表示学习方法,基于神经网络的新闻推荐模型层见叠出,成绩非常出色。然而当焦点集中在如何构造或应用更加先进的神经网络模型时,许多研究忽略了对新闻内容信息的充分探索。经调查,现有方法在学习新闻表示时没有对正文文本进行有效利用,并且在利用主题信
随着信息网络的飞快发展,人们每天通过网络传输着海量的隐私数据,数据传输的安全等问题也随之产生。信息隐藏技术通过隐藏隐私数据的存在,实现隐私数据传输的安全性保护。而文本作为日常生活中信息传输的载体,使用深度学习语言模型,实现文本隐写,对信息隐藏领域的发展具有重大的推动作用。然而现有的文本隐写方法生成的短隐写文本隐藏容量较小、多样性较差、使用场景有限。为了解决文本隐写所存在的问题,本文从多组主题约束和
在房价预测技术研究和应用中,由于房价交易数据获取的不确定性,导致在构建等间隔时序序列时会出现数据缺失问题,而现有的研究并未过多考虑这些缺失问题所带来的影响。同时,现有的研究通过集成学习的方式让预测模型可以提取更多的特征,但都未过多考虑政策和经济因素所带来的影响以及多个模型的训练问题。因此,针对构建时序序列时所出现的数据缺失问题、政策和经济因素的影响以及多个模型的训练问题,本论文提出的解决方案如下:
在互联网技术和普适计算快速发展的时代,推荐系统因其能够帮助用户做出合适的选择而变得越来越重要。协同过滤是最成功的推荐技术之一,它根据志同道合的用户过去的评级向活跃用户推荐项目。然而,用户-物品评级矩阵（user-item rating matrix）,即推荐算法的输入之一,往往是高度稀疏的,因此会导致协同过滤的推荐效果并不理想。同时随着推荐技术的发展,当算法的准确性进一步提高时,用户更多的会接收到
在高中数学的教学过程中,模型思维起着非常关键的作用,在教学实践中,应用了大量的数学理论和实践经验。论文对数学学科核心素养的含义进行了简要的论述,并进一步探讨了如何在核心素质的前提下,培养出高中学生的数学模型意识,从而可以更好地推动他们的创新思维能力的发展,为其今后的数学研究与人格发展奠定了坚实的理论与实践基础。
随着金融业的飞速发展,银行信用卡业务竞争日趋激烈。Z银行信用卡中心长期将主营业务聚焦于发卡,市场份额稳步提升,发卡规模和贷款余额在商业银行中名列第三。在此情况下,由于长期缺乏逾期风险预警体系,造成逾期风险的客户特征不清晰、预警等级不明确、预警策略落实的及时性、针对性不足等问题,致使不良逾期风险逐年上升。本文对Z银行信用卡中心逾期风险管理现状进行分析,完成逾期风险预警指标体系的构建、逾期风险预警等级
毕业论文作为高等教育学生学业的最后一个环节,毕业论文格式的规范性是毕业论文质量评价的重要指标之一。毕业论文的质量体现了学生的综合能力,同时也体现了学校的教学质量和教学水平。目前毕业论文格式自动检测相关研究较少,毕业论文格式检查工作主要由人工进行。因而有必要对毕业论文格式自动检测进行研究,其主要工作如下:1.构建了一种通用的毕业论文格式检测模型。首先针对高校毕业论文Word标准格式模板中的格式要求进
人脸识别是模式识别中重要的研究课题之一,它以识别人身份为目的。随着人脸识别技术的发展,在受控场景环境下的人脸识别已经能取得令人满意的结果,但是在非受控环境下进行人脸识别仍存在挑战,其中光照、姿态、年龄、遮挡等问题就是影响人脸识别的重要因素。光照作为影响人脸识别的重要影响因素之一,成为研究者们致力于研究的问题。光照可细分为光照角度、光照色温和光照强度,本文主要研究光照中的光照角度问题,具体工作如下:
研究婴儿大脑的发育有助于评估未来婴儿患发育性神经精神疾病的风险,并为后续的早发现早治疗赢得宝贵时间。核磁共振成像无放射性,对人体无损害且组织对比度高,被广泛使用在婴儿脑影像分析中。在婴幼儿脑发育的过程中,白质的信号强度是在不断变化的,尤其是在六个月左右大小的时候,灰质与白质有着相似的信号强度,这给婴幼儿脑组织分割带来困难。目前针对成人脑部核磁共振图像的分割,前人已经做了许多非常好的研究,但是由于婴
计算机视觉系统在采集图像的过程中,容易受到外界环境的干扰。特别在雾霾天气下,采集的户外图像往往退化严重,主要表现为清晰度下降、色彩失真、纹理细节模糊等,而将特征受损的图像作为输入必然会影响系统后续对图像的分析和理解,削弱视觉系统的工作性能。因此,研究如何有效地从有雾降质图像中重建出原始图像,对提高视觉系统的应用性能和鲁棒性具有重要的现实意义。分数阶微积分可以在提高信号高频成分的同时非线性地保留信号