XiaoMi-AI文件搜索系统
World File Search System系统认证
ASTM-欧盟标准
本标准定义了轻型无人机系统 (UAS) 专业操作员的通用操作手册的要求。本标准涉及专业操作员的文档和组织要求和/或最佳实践（即薪酬和雇佣）。本标准旨在支持将获得民航局操作员认证的专业实体，并为 UAS 操作员的自我或第三方审计提供实践标准。并非所有民航局都拥有操作员证书。这将为运营商提供标准，并确定目前尚未解决的差距，因为它涉及：（1）目前是远程飞行员的个人（即第 107 部分下的 FAA），在没有单独认证运营商的司法管辖区，他们希望自愿遵守更高的标准，以及（2）正在寻求 CAA 为轻型无人机系统认证的运营商，他们希望自愿遵守行业标准（3）有兴趣开发无人机系统项目的公共机构。
新生儿和儿科患者空中和地面运输指南，第 4 版
编辑和贡献者要感谢美国儿科学会 (AAP) 运输医学分会的众多会员和附属会员对这些修订指南内容提出的深思熟虑的意见。还要特别感谢以下 AAP 小组对本手册的意见和审查：生物伦理委员会、编码和命名委员会、药物委员会、胎儿和新生儿委员会、传染病委员会、儿科急诊医学委员会、州政府事务委员会、残疾儿童委员会、麻醉学和疼痛医学分会、生物伦理学分会、临床药理学和治疗学分会、重症监护分会、急诊医学分会、临终关怀和姑息医学分会、远程医疗分会、制服服务分会和灾害防备咨询委员会。编辑们还要感谢家庭之声、医疗运输系统认证委员会和全国新生儿护士协会。
提高安全关键型软件质量的四大支柱
工程师们依靠保守的最佳实践和将安全考虑融入组织方方面面的文化来开发安全关键型系统。这些实践反映了 ISO 9001/CMMI ® 1、ISO-IEC SC 7 流程标准套件以及特定于安全关键型软件系统认证的标准和实践，例如 DO-178B 和 C、SAE ARP 4754 和 SAE ARP 4761 [RTCA 1992/2011；SAE 2010，1996]。2 飞机机载软件的规模和复杂性呈指数增长（图 2）。在当前的“先构建后测试”实践下，当前一代飞机软件的行业成本已达到难以承受的 80 亿美元 [Redman 2010]。类似地，美国陆军已经认识到，由于软件规模和交互复杂性的增加，通过当前试图实现完整代码覆盖的软件测试实践来确定旋翼机的适航性已经变得越来越不可行 [Boydston 2009]。
提高安全关键型软件质量的四大支柱
工程师们依靠保守的最佳实践和将安全考虑融入组织方方面面的文化来开发安全关键型系统。这些实践反映了 ISO 9001/CMMI ® 1、ISO-IEC SC 7 流程标准套件以及特定于安全关键型软件系统认证的标准和实践，例如 DO-178B 和 C、SAE ARP 4754 和 SAE ARP 4761 [RTCA 1992/2011；SAE 2010, 1996]。2 飞机机载软件的规模和复杂性呈指数增长（图 2）。在当前的“先构建后测试”实践下，当前一代飞机软件的行业成本已达到难以承受的 80 亿美元 [Redman 2010]。同样，美国陆军已经认识到，由于软件规模和交互复杂性的增加，在当前试图实现全代码覆盖的软件测试实践中，对旋翼机适航性的评估已变得越来越不可行 [Boydston 2009]。
安全性和可靠性 - 不断变化的世界中的安全社会
摘要：所有模式的自动驾驶运输系统——公路（即自动驾驶汽车）、航空（即无人机）、航运和铁路——都即将问世。挪威的监管和测试正在进行中。由于数据缺失、新兴技术和框架条件的变化，自动驾驶系统的风险不确定。然而，自动驾驶汽车的事故似乎只有当前水平的 1/3 或 1/2。事故各不相同，有时需要外部干预。基于对各种模式和法规经验的回顾，我们建议在整个自动驾驶生态系统中，在所有模式之间进行敏捷和透明的学习。需要系统认证，并且必须明确系统职责。应建立协调运输（即控制可能出现常见故障的许多自动驾驶汽车）和标记自动驾驶运输的结构。在人与系统之间的接口中，想象中的自主性和实际执行的自主性存在差异，从而导致新的事故和意外。必须探索新出现的安全/保障问题。
MAA 监管出版物 (MRP) 修订流程
第 1 部分（针对受监管社区发布）简介（不超过 250 个字）Def Stan 00-970 第 11 部分第 3 节中包含的基本适航性要求基于欧洲航空安全局 (EASA) 发动机认证规范；CS-E 第 01 期，发布日期为 2003 年 10 月 24 日。然而，自 2006 年 1 月首次发布 Def Stan 00-970 以来，CS-E 已有 3 项修订，但尚未反映在 Def Stan 00-970 中，包括：修订 1：除了微小的编辑更改外，更重要的更改包括增加“粘合”要求（CS-E 145）以阐明电气粘合要求的总体意图（参见 CS-E/1 NPA 03/2005 和 NPA 04/2005）。修正案 1 中的另一个重大变化是加强了电子发动机控制系统认证的要求。本案中对 CS-E 的更改
保护AI：构建保证安全
为了做出这样的证明，必须首先定义有关AI系统的规范（理想地将集体审议过程中的意见与相关利益相关者有关适当的风险阈值和定义进行了相关的利益相关者）。为了定义作为现实世界网络物理系统的AI系统的安全规范，必须定义部署系统动态和环境动态的数学模型。规范可以对环境中发生的情况提出要求（例如某种正式定义的“危害”并不是出于高概率而发生的），而不是正式的规格，仅指AI系统本身的输入和输出之间的关系（这足以定义某些非平地属性，例如“对抗性鲁棒性”，但不是任何安全性）。为了将其视为部署环境中可能发生的事情的“基础真理”，以作为系统认证的信任根源，必须由人类团队审核这些数学模型，因此必须既可以理解它们的模型语言，又可以理解为正式方法。
受保护的人工智能：构建有保障的安全
为了做出这样的证明，必须首先定义与人工智能系统相关的规范（理想情况下，将集体审议过程的意见与相关利益相关者的意见结合起来，确定适当的风险阈值和定义）。为了为作为现实世界网络物理系统一部分运行的人工智能系统定义安全规范，必须定义系统部署的环境和上下文的动态数学模型。然后，规范可以对环境中发生的事情提出要求（例如某种正式定义的“伤害”不会以高概率发生），而不是仅指人工智能系统本身的输入和输出之间的关系的正式规范（这足以定义一些非平凡的属性，如“对抗性鲁棒性”，但不能定义任何物理类型的安全性）。为了被视为部署环境中可能发生的情况的“基本事实”，作为系统认证的信任根源，这些数学模型必须经过人类团队的审核，因此表达这些数学模型的建模语言必须既是人类可理解的，又符合形式化方法。
安全关键软件开发工具评估...
16.摘要 本研究的目的是确定评估标准，使开发人员和认证机构能够从系统和软件安全的角度评估特定的安全关键型实时软件开发工具。本报告根据当前的航空系统认证指南阐明了软件开发工具的前景。研究工作朝两个方向进行：(1) 收集有关工具资格认证工作的数据，以检查现有指南未来可能出现的修改；(2) 通过确定工具类别、功能、关注点、因素和评估方法来创建软件开发工具评估分类法。问题陈述有四个部分：(1) 行业观点、(2) 资格认证、(3) 质量评估和 (4) 工具评估分类法。从行业收集的数据影响了评估过程和开发工具实践的建议。描述了用于评估工具的选定方法。报告介绍了研究过程中确定的不同类别的工具。此分类仅限于 DO-178B 指导的研究范围。最后，报告定义了工具评估分类法的结构和组织。
西北地区建筑条例第 5058 号
“增建”是指建筑面积、楼面面积、建筑高度或结构楼层数的增加；“代理人”是指根据本附例与业主签订合同进行工作并已随许可申请提交规定格式的授权代理人表格的人；“改建”是指在现有建筑区域内进行的设计、拆除、移除、重建和更换，包括现有建筑占用的任何变化；“ASRAE”是指美国采暖、制冷与空调工程师学会；“申请人”是指根据本附例正式申请许可的业主或代理人；“建筑服务部”是指耶洛奈夫市规划和发展部的建筑服务部；“CASA”是指加拿大自动喷水灭火系统协会；“认证 HVAC 设计师”是指由 ASRAE 或 HRIA 认可为第 9 部分建筑 HVAC 系统认证设计师的个人，并且是 ASRAE 或 HRIA 的活跃会员； “认证喷水灭火系统