【摘 要】
：
近年来，基于模型的安全性分析（MBSA）是复杂系统建模与分析领域备受关注的分析方法。由于系统架构建模语言SysML缺少形式化的语义语法，不支持MBSA方法，而SLIM语言具备形式化语义和语法，支持安全性分析，所以本文提出了一种基于ATL（ATLAS Transformation Language）的SysML模型到SLIM模型的自动构造方法SysML2SLIM。首先，搭建系统的SysML模型并导出
论文部分内容阅读
近年来，基于模型的安全性分析（MBSA）是复杂系统建模与分析领域备受关注的分析方法。由于系统架构建模语言SysML缺少形式化的语义语法，不支持MBSA方法，而SLIM语言具备形式化语义和语法，支持安全性分析，所以本文提出了一种基于ATL（ATLAS Transformation Language）的SysML模型到SLIM模型的自动构造方法SysML2SLIM。首先，搭建系统的SysML模型并导出为XMI文件格式，根据SysML规约文档以及SLIM的BNF范式构建元模型，并建立模型元素映射规则；其次，设计源模型文件处理算法，在保留必要标签信息的情况下，获得规范的SysML源模型文件；接下来，根据元素映射规则利用ATL编写转换规则文件，调用ATL引擎完成构造；然后，给出模型转换的正确性证明的推导；此外，对集成SysML2SLIM方法的工具MSAT进行介绍；最后，对航天器中的电池传感器系统进行分析，验证了自动构造方法的有效性。
其他文献
高新技术企业是创新驱动战略的主体力量,是我国自主创新能力的重要载体。人才是高新技术企业发展最重要的创新要素,如何吸引并留住高素质科技型人才是关乎企业生死攸关的问题。核心技术员工作为企业创新活动具体的执行者,他们精通专业技术、了解部门核心业务运作、能够对工作中关键资源进行使用和调配,是促进技术创新、提高技术创新质量的重要因素。股权激励作为激励员工的一种长效激励机制,是促进企业技术创新的重要手段。因此
伴随着我国经济的腾飞、住房制度改革的深化,我国住宅业发展进入空前繁荣期,城市化进程、基础设施的发展又推动住宅业的繁荣,为城市经济发展和城镇化进程贡献了很大的力量,即住宅经济与国民经济发展关系密切。近年来,经济发展放缓,住宅经济与经济发展间问题逐渐显现;其次,住房是居民最基本的生存资料,若城镇居民住房需求无法满足和保障问题,衍生一系列社会问题,影响经济社会的稳定,进而不得不重新审视住宅经济与经济发展
本文从产业间协同集聚的角度出发,探讨高技术产业和生产性服务业协同集聚对我国全球价值链攀升的影响。首先,从我国实际出发,测算了我国高技术产业和生产性服务业协同集聚指数和全球价值链地位指数,并从整体和区域的角度展开分析。其次,依据相关理论基础,分别从产业协同集聚的创新驱动机理、促进经济协调机理和产业结构优化升级化机理来阐述高技术产业和生产性服务业协同集聚对全球价值链攀升的影响机理。最后,利用我国200
近几年临床供血短缺的现象屡见不鲜，血液紧张会导致临床手术延期、贫血患者的输血治疗滞后等，这些问题不仅威胁患者的生命健康，更增加血液输注的风险。本文以新冠肺炎疫情为例，在突发公共卫生事件时，利用时间序列模型对临床输血治疗以及输血风险的成效进行研究，且基于4R危机管理模式，从四维角度分析其风险因素及应对策略，不仅解决了疫情期间血液供需的不平衡问题，更降低了血液输注风险，从而实现血液最大限度的合理化安全
该文项目以树莓派为核心处理器，设计了一款精准喂养宠物的一体化系统，包括识别出粮部分、精准投喂部分以及移动端远程监测部分。识别出粮部分可采用2种模式，一是使用目标检测模型CNN进行识别喂粮，二是使用OPENMV搭载AprilTag追踪识别模型进行识别，从而实现分别喂粮。精准投喂部分将多特征值线性回归和指数平滑法相结合，进行初步预测，监测回归，再预测，达成精确投喂。移动端远程监测部分通过物联网平台进行
“政治三力”是新时代党员干部特别是高级干部必须具备的基本政治素质和政治能力，其核心价值是“看齐意识”与“信仰至上”。从本质上看，党员干部提高“政治三力”是旗帜鲜明讲政治的必然要求。韩山师范学院党委围绕“学校怎样办、课程怎样建、党建怎样干”等问题探讨高校领导提高“政治三力”的机制，初步形成了高校领导提高“政治三力”的“韩师实践”。“韩师实践”以“思想立校”为根本，是高校领导提升“政治三力”的有效实践
采用颗粒粒径分别为75～48 μm（P1），48～37.4 μm（P2）和小于37.4 μm（P3）的气雾化铁硅铝磁粉，按照一定质量比级配，通过磷酸/硅树脂复合绝缘工艺，制得铁硅铝复合磁粉芯，研究了粒度级配对粉芯密度及其磁性能的影响。研究表明，当粗颗粒组P1含量一定时，适当增加细颗粒组P3的含量，可以有效填充磁粉芯内粗颗粒之间的间隙，提高复合磁粉芯的密度，从而在一定程度上提高有效磁导率。适量减少P
＜正＞《幼儿园保育教育质量评估指南》（以下简称《评估指南》）提出：“以游戏为基本活动，确保幼儿每天有充分的自主游戏时间，因地制宜为幼儿创设游戏环境，提供丰富适宜的游戏材料，支持幼儿探究、试错、重复等行为，与幼儿一起分享游戏经验。”活动环境的多重改变，
＜正＞指南名称:Regional Nerve Blocks in Primary Total Hip Arthroplasty:The Clinical Practice Guidelines of the American Association of Hip and Knee Surgeons,American Society of Regional Anesthesia and Pain M