XiaoMi-AI文件搜索系统
World File Search System分析方法
以安全标准为指导的安全风险分析方法和框架
如前所述 [ 20 ]，实现安全和安保之间一致交织的挑战是相当多样和复杂的。安全和安保方面的最新进展表明，风险分析为实现全面协调提供了指导。然而，对于许多领域，例如航空领域，安全性是一个相当新的关注点，而飞机开发几十年来主要以安全标准为指导。所提到的差异以及安全性在许多方面仍处于发展阶段的事实，对指定和应用将安全和安保协同工程作为一个统一过程进行的方法施加了限制。在本文中，我们介绍了基于模型的方法、框架和工具的开发进展，这些方法、框架和工具可用于在安全标准和目标的指导下进行安全风险分析。除其他外，该方法依赖于最先进的技术诀窍，如 ED202、ED203 (EUROCAE) 1 等标准，以及 CAPEC 和 CWE (MITRE) 2 等开放知识库。这些来源是集成的，允许实例化攻击、漏洞和架构的模式，这是半自动化分析的关键要素。提出并实施了一种基于规则的算法，用于探索架构中的潜在攻击路径。最后通过分析飞行控制系统中可能破坏现代飞机安全性的组合攻击故障路径来证明该方法。该框架和工具支持在设计上寻求安全性，旨在促进案例研究的重用并为可重复性和结果比较奠定基础。
公差分析方法的比较研究 - HAL
摘要 稳健产品设计的特点是它们对干扰和噪声不敏感，例如几何零件偏差，这些偏差不可避免地出现在每个制造的工件上。这些观察到的偏差属于制造不精确和测量不确定度的公理，这些公理传达了可变性和不确定性的概念，是稳健设计的基本方面。为了确保产品在存在这些几何零件偏差的情况下仍能正常工作，而无需构建物理工件，在计算机辅助公差分析的背景下采用了公差模拟。受现有工具缺点的启发，皮肤模型形状的概念已被开发为计算机辅助公差分析的新范例。本文对采用专有 CAT 工具进行公差分析的标准程序和基于皮肤模型形状的公差模拟进行了比较研究。为此，重点介绍了两个示例研究案例。基于比较，得出了在公差分析和稳健设计背景下使用 CAT 工具的一般性评论。
AltaRica 3.0：基于模型的安全分析方法
2007 年——在泰雷兹研究与技术公司实习期间发现 AltaRica 语言。 2008 年——与 AltaRica 语言的创始人之一 Antoine Rauzy 会面。 2011 年 – 在 Antoine Rauzy 的指导下开始撰写有关 AltaRica 语言新版本的论文。在完成巴黎综合理工学院的学习后，我并不想撰写论文。但我有机会参与一个具有实际工业应用的创新研究项目。我要感谢我的论文指导老师 Antoine Rauzy，感谢他让我在这三年里获得了独特的经历。非常感谢您允许我在高质量的科学环境中工作，感谢您对我的信任，首先聘请我加入达索系统，然后为我提供在巴黎综合理工学院撰写论文的机会。我还要感谢在论文撰写期间与我合作的 Leïla Kloul。您让我发现了新的研究领域，以及在凡尔赛大学的教学。非常感谢Jean-Marc Roussel的教导。您的建议非常中肯，对我的论文答辩非常有用。也非常感谢 Michel Batteux。您对我的论文答辩和手稿的帮助以及这三年来的支持对我来说非常宝贵。我还要感谢我的报告员 Mohamed Kaˆaniche 和 Olivier Roux，以及我的评审团的所有其他成员 Le¨ıla Kloul、Michel Batteux、Frank Ortmeier 和 Christel Seguin。你们同意参加我的答辩并花时间仔细阅读我的手稿，这对我来说是一种莫大的荣幸。您的问题和评论对我改进工作和进一步深化该领域的知识非常有价值。我还要感谢 AltaRica 3.0 团队的所有成员，我自 2011 年 9 月以来就一直与他们相识。你们每个人都以自己的方式为今天的成果做出了贡献。感谢我们的博士生 Pierre-Antoine Brameret、Thomas Friedlhuber、Abraham Cherfi、Melissa Is-sad 和 Huixing Meng 的帮助、建议以及我们在会议、研讨会和小型聚会上共度的美好时光。感谢我们的实习生 Renaud Lancelot、Kseni¨ıa Isaeva、Hala Mortada 和 Nawaal Mamadou 的努力、他们的幽默感以及我与他们分享的美好时光。但该实验室并不局限于AltaRica 3.0小组。我还要感谢我们的秘书 Evelyne Rayssac 和 IT 专家 James Regis，如果没有他们，实验室就无法正常运转。关于这个问题，感谢博士学院（EDX）在这三年中通过 Gaspard Monge 国际论文资助提供的经济支持。更要感谢 Fabrice 和 Audrey 的耐心聆听。最后，我要感谢 Frank Ortmeier 教授以及他的博士生 Michael Lipaczewski 和 Simon Struck，他们在我 2012 年和 2013 年两次访德期间热情接待了我并向我介绍了他们的文化。我要感谢我的导师 Stéphane Mallat，他向我介绍了模型驱动工程和操作安全领域。感谢 Marc Bouissou 分享他在运营安全方面的专业知识。我还要感谢我在达索系统的所有前同事，特别是
AltaRica 3.0：基于模型的安全分析方法
2007 年 – 在泰雷兹研究与技术公司实习期间发现了阿尔塔里加语言。2008 – 会见 Antoine Rauzy，AltaRica 语言的创造者之一。2011 – 在 Antoine Rauzy 的指导下开始撰写有关 AltaRica 语言新版本的论文。在巴黎综合理工学院学习结束时，我并不一定想继续写论文。但我有机会参与具有实际工业应用的创新研究项目。我要感谢我的论文导师Antoine Rauzy，让我在这三年里获得了这段独特的经历。非常感谢您允许我在高质量的科学环境中工作，感谢您首先信任我，在达索系统雇用我，然后为我提供在巴黎综合理工学院完成论文的机会。我还要感谢在我的论文期间与我合作的 Leıla Kloul。您让我发现了新的研究领域以及在凡尔赛大学的教学。非常感谢 Jean-Marc Roussel 的教学。您非常相关的建议对我的论文答辩非常有用。也非常感谢 Michel Batteux。你们对我的论文答辩和手稿的帮助，以及你们这三年来的支持，对我来说非常宝贵。我还要感谢我的报告员 Mohamed Kaˆaniche 和 Olivier Roux 以及评审团的所有其他成员 Leıla Kloul、Michel Batteux、Frank Ortmeier 和 Christel Seguin。你们同意出席我的答辩并花时间仔细阅读我的手稿，这让我感到非常荣幸。您的问题和评论对于我改进我的工作并进一步加深我在该领域的知识非常有价值。我还要感谢 AltaRica 3.0 团队的所有成员，我自 2011 年 9 月以来一直与他们见面。你们每个人都以自己的方式为今天看到的结果做出了贡献。感谢我们的博士生 Pierre-Antoine Brameret、Thomas Friedlhuber、Abraham Cherfi、Melissa Issad 和 Huixin Men 的帮助、建议以及我们在会议、研讨会和小型聚会期间共同分享的时刻。感谢我们的实习生 Renaud Lancelot、Kseniěa Isaeva、Hala Mortada 和 Nawaal Mamadou 的工作、他们的幽默以及我与他们分享的时刻。但该实验室不仅仅涉及 AltaRica 3.0 小组。我还要感谢我们的秘书 Evelyne Rayssac 和我们的计算机科学家 James Regis，没有他们，实验室就无法正常运转。在此，感谢博士生学院（EDX）在这三年中通过 Gaspard Monge 国际论文资助提供的财政支持。更具体地说，感谢 Fabrice 和 Audrey 的及时帮助和细心。最后，我要向 Frank Ortmeier 教授和他的博士生 Michael Lipaczewski 和 Simon Struck 表示感谢，他们在 2012 年和 2013 年两次访问德国期间接待了我并向我介绍了他们的文化。我要感谢我的实习导师 St´ephane Mallat，他向我介绍了模型驱动的工程领域和操作安全。感谢 Marc Bouissou 分享他的运营安全专业知识。我还要感谢我在达索系统的所有前同事，特别是
绘制泰国可持续发展灾害风险的研究：主题分析方法
摘要：减少灾害风险（DRR）和可持续发展在许多层面上都与众不同。在2015年后的发展议程中，东南亚国家将DRR视为建立区域社区弹性以实现可持续发展目标的主要关键。但是，在泰国DRR研究的当前趋势中发现了知识差距，这阻碍了该地区包容性，可持续发展。本文回顾了2016 - 2020年不同时期的泰国DRR文献，其中包括46个同行评审的期刊文章中的不同地理位置，以使用主题分析（TA）定性方法来识别DRR领域的学术学科趋势。在搜索由Eakins和Luer（2006）风险方法指导的主题时，对相关代码进行了分类，收集和合并，以显示代码与主题之间的关系。的发现表明，建筑基础设施研究的危害评估占泰国的研究最多的研究，而灾难教育是2015年后学术研究中探索的最不变的主题。泰国DRR研究的知识分布领域已明确认可泰国的中央部分（城市）为主要研究地点，而泰国的东部地区（乡村）是DRR研究地点的普遍性最低。本文得出的结论是，关于DRR朝着泰国可持续发展的学术研究一直是主流物理问题，而不是社会经济问题。本文进一步认为，泰国DRR研究的未来指导应确保包容性，并包括地方政府和社区之间的合作，以改善可持续发展的弹性文化。
潜在类别分析方法 Comportam
摘要本横断面研究旨在确定生活方式行为模式及其与社会人口特征的关系。 2019 年国家健康调查被用作数据库，其中包含患有糖尿病的成年人（≥ 18 岁）。潜在类别分析将健康模式分为四个领域：吸烟、饮酒、体力活动和饮食。采用多项回归分析来确定行为模式与感兴趣的社会人口变量之间的关联。确定了三种行为模式：第 1 类对应样本的 17%，包括更有可能出现与食物相关的危险行为的个体；第 2 类（体力活动和水果蔬菜消费量较低）占样本的 71.2%；第 3 类（占人口的 11.8%）包括出现危险行为的可能性最低的个体。 45 岁或以上、受教育程度较低且没有医疗保险的个人不太可能属于第 1 类。不定期去看医生的男性更有可能属于第 2 类，45 岁或以上且受教育程度较低的人也是如此。关键词 健康行为，潜在类别分析，糖尿病，健康调查
结合 DFT、能量分解和数据分析方法研究柔性 DABCOnium/手性阴离子催化剂体系中非共价相互作用与选择性之间的关系
高选择性、速率提高和化学特异性是酶催化反应的特点，化学家们力求用合成催化剂模仿这些特点。1 与自然界的进化过程不同，小分子催化剂的合理而深思熟虑的设计需要精确的结构变化，理想情况下，这些变化可以对反应性和选择性产生可预测和合理的影响。在不对称催化领域，人们希望可靠地调整手性环境的空间和电子分布以影响反应的选择性，这导致广泛使用刚性的 C 2 对称配体和有机催化剂 2，而传统上人们认为灵活性是一种不受欢迎的特性。在这些系统中，经典的物理有机技术与通过密度泛函理论 (DFT) 定位过渡态 (TS) 结构相结合，已经成为理解选择性相互作用的常用方法。 3 对于传统手性催化剂，由于其相对不灵活性，因此可以进行计算研究，通常仅使用关键中间体和 TS 的最低能量结构来确定影响选择性的相互作用。
重复载荷下碳纤维增强板冲击后损伤发展的分析方法
摘要：本文提出了一种分析方法，用于获取碳纤维增强塑料 (CFRP) 平板在循环压缩载荷下的冲击后损伤扩展情况。基于引入的参考损伤模式 (RDM) 假设，给出了损伤增长寿命的解决方案。通过使用有限元分析 (FEA) 分析裂纹驱动力与损伤尺寸的关系，可以确定获得损伤增长寿命的临界损伤尺寸。通过示例讨论和说明了损伤容限原理对包含冲击损伤的结构元件压缩-压缩循环载荷情况的适用性。使用引入的简化方法计算损伤增长寿命特征的结果表明，在复合材料结构中使用缓慢增长方法是可能的，尽管必须解决获得与所选裂纹驱动力测量有关的损伤增长率方程的精确参数的必要性。
碳纤维撞击后损伤发展的分析方法重复载荷下的增强层压板
摘要：本文介绍了一种在循环压缩载荷下获取碳纤维增强塑料 (CFRP) 平板冲击后损伤扩展的分析方法。基于引入的参考损伤模式 (RDM) 假设，给出了损伤增长寿命的解决方案。通过使用有限元分析 (FEA) 对裂纹驱动力与损伤大小的分析，可以确定获取损伤增长寿命的损伤临界大小。通过示例讨论和说明了损伤容限原理对包含冲击损伤的结构元件压缩-压缩循环载荷情况的适用性。使用引入的简化方法计算损伤增长寿命特征的结果表明，在复合材料结构中使用缓慢增长方法是可能的，但必须解决获得与所选裂纹驱动力测量有关的损伤增长率方程的精确参数的必要性。
一种可信执行环境的比较分析方法
本论文免费提供给您，供您开放访问。它已被 PDXScholar 的授权管理员接受，可纳入学位论文和论文中。如果我们可以让此文档更容易访问，请联系我们：pdxscholar@pdx.edu。