XiaoMi-AI文件搜索系统
World File Search System安全工程
软件在航天器事故中的作用 - Nancy Leveson
摘要：解决任何问题的第一步也是最重要的一步是充分了解问题，以便创建有效的解决方案。为此，研究了几起与软件相关的航天器事故，以确定常见的系统性因素。虽然每起事故的细节各不相同，但都发现了与安全文化、管理和组织以及技术缺陷有关的非常相似的因素。这些因素包括自满和低估软件风险、责任和权力分散、沟通渠道有限和信息流不畅、系统和软件工程不充分（规范差或缺失、不必要的复杂性和软件功能、没有适当安全分析的软件重用、违反数字组件的基本安全工程实践）、审查活动不足、系统安全工程无效、测试和模拟环境有缺陷以及人为因素工程不足。讨论了这些因素中的每一个，并提出了一些关于如何在未来项目中消除它们的建议。
软件在航天器事故中的作用 - Nancy Leveson
摘要：解决任何问题的第一步也是最重要的一步是充分了解问题，以便创建有效的解决方案。为此，研究了几起与软件相关的航天器事故，以确定常见的系统性因素。虽然每起事故的细节各不相同，但都发现了与安全文化、管理和组织以及技术缺陷有关的非常相似的因素。这些因素包括自满和低估软件风险、责任和权力分散、沟通渠道有限和信息流不畅、系统和软件工程不充分（规范差或缺失、不必要的复杂性和软件功能、没有适当安全分析的软件重用、违反数字组件的基本安全工程实践）、审查活动不足、系统安全工程无效、测试和模拟环境有缺陷以及人为因素工程不足。本文讨论了这些因素中的每一个，并提出了一些关于如何在未来项目中消除它们的建议。
博思艾伦为海军、空军实现 GPS 现代化
Booz Allen 将提供一系列基本服务，包括系统定义、需求同步、能力改进、网络安全工程、平台集成和测试以及采购项目管理。具体来说，Booz Allen 的工作将通过军用 GPS 用户设备、GPS III 和下一代作战控制系统等主要项目帮助 GPS 系统的开发和现代化。
通过生成AI增强自主驾驶安全性分析：自动危害和风险评估的比较研究
摘要 - 自主驾驶技术的出现突显了对全面危害分析和风险评估（HARA）的需求，以确保车辆系统的安全性和可靠性。传统的Hara过程虽然是固有的，但本质上是耗时的，并且会遇到人为错误，因此需要采取变革性的方法来加强安全工程。本文介绍了生成人工智能（AI）的综合应用，作为在自动驾驶安全分析中增强HARA的一种手段。生成的AI以其预测建模和数据生成能力而闻名，可利用HAR的劳动密集型要素自动化，从而加快了该过程并增强了安全分析的彻底性。通过实证研究，该研究将安全专家进行的常规HARA实践与补充生成AI工具的传统习俗进行了对比。基准比较的重点是关键指标，例如分析时间，错误率和风险识别范围。通过采用生成AI，该研究表明了效率的显着上升，这可以通过减少的时间表和扩展的分析覆盖范围来证明。A-Aimaigment流程还提供了增强的头脑风暴支持，刺激创造性的问题解决并识别先前未知的风险因素。这些发现突出了生成AI通过简化工作流程，Mitigat的监督以及扩大危险感知的地平线来改变安全工程范式的潜力。本文主张在安全系统开发的早期阶段将生成性AI整合起来，以识别和解决潜在系统脆弱性。这样做，它提出了一种主动的安全文化，该文化与自主驾驶技术的动态复杂性保持一致。本文通过讨论对未来安全工程实践的影响以及生成AI在建立严格的，容忍故障的自主驾驶系统中的关键作用。
一种架构主导的安全分析方法 - HAL
安全关键系统需要在软件开发生命周期中进行特定的开发和评估活动，以确保产品安全。其中一些活动被汇总为全面的安全工程实践，这些实践在行业内是标准化的，例如航空业的航空航天推荐实践 (ARP) 4761。这些技术侧重于单个组件的故障和可靠性。系统理论过程分析 (STPA) 等较新的技术超越了单个组件的可靠性，考虑了组件之间的相互作用。在本文中，我们介绍了架构主导的安全分析 (ALSA) 方法，它是架构主导的安全工程实践的一部分。ALSA 结合了至少部分架构模型的开发和分析，使用诸如架构分析和设计语言、其错误模型附件之类的符号以及现有的 ARP 4761 和 ARP 4754A 实践，例如功能危害评估、初步系统安全评估和系统安全评估以及新兴的 STPA 技术。这项工作为使用 ALSA 分析全权限数字引擎控制器提供了一个例证。该方法由开放源代码架构工具环境支持，并已在工业强度示例上进行了试验。
SURVICE-TR-06-033 安全分离分析系统安全工程研究 编写人：David H. Hall Brian K. Holcombe Michael S. Ray Ray C. Terry
摘要海军航空系统司令部 (NAVAIR) 与 SURVICE 工程公司签订了合同，以审查与确定空射武器系统的安全分离（最短射击时间或射击距离）和安全逃逸（武器目标撞击）计算及相应的释放条件有关的现行技术要求、方法、假设和方法。本文报告了该研究的结果，比较了两种海军方法：一种是位于加利福尼亚州中国湖的海军空战中心武器部 (NAWCWD)，另一种是位于马里兰州帕塔克森特河的海军空战中心飞机部 (NAWCAD)；位于佛罗里达州埃格林空军基地的空军寻求鹰办公室方法；以及位于阿拉巴马州红石兵工厂的航空工程局的陆军方法。研究小组采访了可用的服务专家；审查了在各个会场展示的简报和文件；并分析了可用的建模和仿真 (M&S) 文档。该研究还借鉴了正在进行的联合攻击战斗机 (JSF) 联合安全逃逸分析解决方案 (JSEAS) 开发工作的结果。比较标准包括假设、要求、定义、飞机建模、武器建模以及各军种使用的安全逃逸/安全武装建模和模拟套件。该研究最后提出了改进上述每个领域的建议。
课程2023（自治）
人文和社会科学在内，包括管理课程：普遍人类价值观，工程师管理，商业经济学和会计。基础科学课程：数学，工程物理，工程化学，工程物理和化学实验室。工程科学课程：电气和电子工程，工程机械师，工程图形，设计工程，Python的编程，C解决和编程的基础知识，制造和建筑实践B，电气和电子工作室。强制性非学会课程：环境科学，专业沟通，职业道德，工业安全工程。
通过退火热处理实现选择性激光熔化 Ti-6Al-4V 合金的致密化、定制微观结构和力学性能
1 华南理工大学机电与汽车工程学院，广州 510641；mewdlaser@scut.edu.cn (DW); 202020100649@mail.scut.edu.cn (HW); xjchan001@163.com (XC) 2 宁波大学冲击与安全工程教育部实验室，宁波 315211 3 攀钢集团研究院有限公司钒钛资源综合利用国家重点实验室，攀枝花 617000；ludong_1786@163.com (DL); cgvermouth2022@163.com (XL) 4 四川省先进金属材料增材制造工程技术研究中心，成都先进金属材料产业技术研究院有限公司，成都 610300，中国 * 通讯作者：liuyang1@nbu.edu.cn (YL); cjhan@scut.edu.cn (CH)
