XiaoMi-AI文件搜索系统
World File Search System系统认证
朝基于AI的系统认证
摘要 - 基于尺寸（包括可靠性和透明度）的基于人工智力（AI）的系统的可信赖性至关重要，因为它们的吸收增加了。同样，由于制定了监管要求，可行的认证准则将对开发人员和认证机构有用，以确保AI的可信度。在这里，我们提出了一项持续的努力，以制定验证的AI认证方案，该方案是评估AI系统的可信度的框架，其中包括具有相应合规性手段的特定目标（即过程，文档或技术方法）。重要的是，该计划在法律要求和经过验证的技术之间建立了明确的联系，以评估AI系统的合规性，从而实现了支持AI认证的工作流程。我们解释了开发认证方案的理由，并证明了对示例用例的评估，该示例用途案例具有从目标到相应手段的具体工作流程，重点介绍了可靠性和透明度。索引术语 - 手工智能，机器学习，信化，可靠性，透明度
人工智能系统认证框架
摘要 — 当前的航空航天软件认证流程不适用于深度神经网络等“基于人工智能”的算法。与传统的航空航天软件不同，神经网络训练期间优化的精确参数与处理网络的代码一样重要（甚至更重要），而且它们不是直接用数学方法可以理解的。尽管这些算法缺乏可解释性，但它们很有吸引力，因为对于某些应用，它们可以表现出任何传统的逐行显式软件方法都无法达到的高性能。本文提出了一个框架和原则，可用于建立神经网络模型的认证方法，而当前的认证流程（例如 DO-178）无法应用这些模型。虽然这不是一个神奇的秘诀，但它是一套常识性的步骤，通过展示汇集、跟踪和追踪需求、数据、软件、训练过程和测试结果的能力，将使申请人和监管机构对开发的软件增加信心。
迈向基于人工智能的系统认证
摘要 — 鉴于人工智能 (AI) 系统的使用率不断提高，基于可靠性和透明度等维度对其可信度进行认证至关重要。同样，随着监管要求的建立，可操作的认证指南将对开发人员和认证机构确保人工智能的可信度大有裨益。在此，我们介绍了一项持续努力，旨在开发一个经过验证的人工智能认证方案，该方案是一个评估人工智能系统可信度的框架，包括特定目标及其相应的合规手段（即流程、文档或技术方法）。重要的是，该方案明确地将法律要求与评估人工智能系统合规性的经过验证的技术联系起来，从而实施了支持人工智能认证的工作流程。我们解释了开发认证方案的理由，并展示了对示例用例的评估，其中有一个具体的工作流程，从目标到相应的手段，重点关注可靠性和透明度。索引术语 — 人工智能、机器学习、认证、可靠性、透明度
形式化方法与关键系统认证
本报告主要面向 FAA 认证人员撰写，不要求认证人员之前接触过形式化方法。但是，它不是形式化方法教程：它包含大量关于形式化方法的优势、劣势和技术问题的讨论，这些问题应在认证中考虑，但并未解释如何使用形式化方法。报告中散布着一些简单的例子，但这些例子仅供大家感受所讨论的主题，并不代表认证中可能提供的特定技术或符号。那些希望提供形式化方法来支持认证的人显然必须成为他们所选方法的专家，认证人员同样需要获得所采用的特定方法的专业知识。第 2.8 节为开始此类研究的人提供了一些阅读建议。
高级时间系统认证培训讲义 - WILENET
一般录入信息 将记录录入 CIB 和 NCIC 文件会给录入机构带来一些独特的责任问题。所有处理文件录入、修改、补充和取消的操作员都必须了解在记录录入之前、期间和之后需要做什么。NCIC 和 TIME 系统可以说是有关犯罪和罪犯的刑事司法信息的计算机索引。这些系统用作定位系统，协助机构逮捕和追回通缉犯、失踪人员、身份不明人员和被盗财产。这些系统存储了大量的刑事司法信息，任何授权机构都可以立即检索和/或提供给这些信息。为了使 TIME 系统有效工作，所有条目或记录都必须包含尽可能多的信息。记录中添加的信息越多，找到被盗财产、找到失踪人员和逮捕逃犯的机会就越大。热门文件 大多数记录由发起机构（ORI、持有逮捕令、失踪人员报告或盗窃报告、帮派成员信息等的机构）直接放入系统的“热门文件”中。系统中记录的准确性、完整性和维护由执法或刑事司法机构（称为 ORI）负责。由于每个机构都能够从系统中输入、更新和取消记录，因此文件不断变化（因此得名“热门文件”）。可以只对 CIB（州级）文件或 CIB 和 NCIC（全国）文件进行输入。并非每个文件条目都允许这种选择；有些条目会自动同时对两个文件进行输入，而有些文件仅在 NCIC 级别维护。输入后，TIME 系统会编辑信息，然后转发给 NCIC（如果适用）。NCIC 还会对输入的数据进行编辑。一旦数据库接受了记录，TIME 系统和/或 NCIC 系统中的条目就会被分配唯一的编号。这些唯一编号称为系统标识号（TIME 系统）或 NCIC/NIC 编号。如果条目包含的数据少于最低要求的数据、无效的数据或不正确的数据，则可能会被拒绝。NCIC 记录将被取消，相应的 CIB 记录也将被取消。及时性为了确保文件尽可能保持最新，最大限度地提高 CIB 和 NCIC 的效率，确保警官和公众安全，同时增加逮捕通缉犯或找到相关人员或财产的可能性，NCIC 和 CIB 制定了及时输入政策。该政策规定：“为确保系统最大效率，在满足输入条件后必须立即输入 NCIC/TIME 系统记录，输入机构收到后不得超过 3 天”。当机构收到搜查令或其他输入 TIME 系统的信息时，机构应记录接收日期和时间。如果未记录接收令或报告的接收日期，则审计人员和当地机构人员将联合评估接收的及时性。CIB/NCIC 建议在案件报告或令状文件上加盖日期和时间戳。但是，电子或纸质日志也足够了。
两栖攻击舰仪表航母着陆系统认证过程分析
背景 ................................................................................................................ 4 舰载组件 ................................................................................................................ 4 概述 .............................................................................................................................. 4 性能 .............................................................................................................................. 5 概述 .............................................................................................................................. 5 方位角 ...................................................................................................................... 7 仰角 ...................................................................................................................... 7 附加舰载系统 ...................................................................................................... 9 概述 ...................................................................................................................... 9 战术空中导航 (TACAN) ................................................................................ 9 垂直/短距起飞和着陆光学着陆系统 ............................................................................................................. 12 机载系统 ............................................................................................................. 14 测试飞机 ............................................................................................................. 14 ICLS 接收器-解码器 ............................................................................................. 14 雷达高度计 ................................................................................................ 15 战术空中导航（TACAN） .............................................................................. 15
规划制定小型飞机氢燃料电池推进系统认证体系...
第 4 节。含义······················································· ·······································。 ······················································· ······················ ······················································· ·······································。 ······················································· ··········118
电子战设计和制造中心...
l3harris提供了一个完整的端到端解决方案，并通过对从设计，采购到制造和支持的复杂项目的专业管理。我们的布里斯班设施已获得AS9100D质量管理系统认证的全面认证，没有任何排除，这是我们制造高可获取性产品以满足苛刻航空航天标准的能力的基础。
