XiaoMi-AI文件搜索系统
World File Search System系统认证
doe-oig-25-07 2024 年 12 月审计报告
2024 年 12 月 9 日 给部长的备忘录 主题：审计报告：需要取得进展以支持能源部将人工智能融入情报活动 所附报告讨论了我们根据 2023 财年情报授权法案对人工智能 (AI) 融入情报活动的审查。 根据 2023 财年情报授权法案，能源部主要负责 13 项要求中的 2 项。然而，我们发现该部只满足其中一项要求。在国家情报局长采取行动之前，它无法满足其余 11 项要求中的大部分。例如，该部正在等待国家情报局长制定人工智能的采购和使用政策和程序，并制定人工智能系统认证以及人工智能人员的招聘、留任和培训计划和指导。虽然情报和反情报办公室一直在参与部门工作组，但它必须确保在治理方面取得适当的平衡，考虑到部门指导的实施和《2023 财年情报授权法》的要求。本报告包含三项建议，如果得到全面实施，应该会改善情报和反情报办公室将人工智能融入其运营的努力。我们建议加快向国会提交一份关于实施人工智能的努力的必需报告，以优化内部工作流程，关注全面实施人工智能的资金需求，并确保所有官员都接受过人工智能概念和应用方面的培训和知识。管理层同意我们的建议。我们根据普遍接受的政府审计标准，从 2024 年 2 月到 2024 年 10 月进行了这次审计。我们感谢在这次审计期间收到的合作和协助。Teri L. Donaldson 监察长抄送：副部长 参谋长 情报和反情报办公室主任 首席信息官
环境产品声明
EPD 所有者：浙江索莱克斯能源网络技术有限公司 EPD 所有者对 EPD 拥有唯一所有权、义务和责任。 联系人：Jason.Shen 先生，邮箱：jason.shen@solaxpower.com；网站：www.solaxpower.com 中国浙江省桐庐市桐庐经济开发区石竹路 288 号 310000 组织描述：浙江索莱克斯能源网络技术有限公司成立于 2012 年，致力于智能能源微电网领域，拥有核心产品包括光伏并网逆变器、储能逆变器、储能电池、光伏储能系统等。迄今为止，SolaX 提供全球最多样化的产品线，并拥有最广泛的应用覆盖范围。SolaX 是智能光伏储能系统领域的全球领导者。SolaX 在中国拥有世界一流的生产和测试设施。 SolaX Power在全球五个国家设有分支机构，拥有500多名国际员工，其中130名是高级工程师和行业专家。目前，SolaX的产品销往118多个国家。SolaX是一家集研发、生产、销售和服务为一体的高科技企业，致力于提供并网逆变器、储能逆变器、太阳能电池储能和智能光伏储能系统。自成立以来，SolaX已获得70多项国家专利授权，其中包括10多项发明专利。SolaX逆变器目前已获得150多项国际授权认证。SolaX的产品已通过德国VDE认证、意大利CEI认证、欧盟EN认证、澳大利亚SAA认证、美国UL认证等主流市场认证。SolaX也是第一家获得日本S-Mark户用储能系统认证的中国制造商，证明了SolaX户用储能系统的卓越性能和稳定的可靠性。 2013年，SolaX成功推出亚洲第一款X-Hybrid储能逆变器，目前已是第四代产品。SolaX是太阳能和储能行业的真正领导者。生产基地名称及地址：浙江索莱克斯网络能源技术有限公司浙江省桐庐市桐庐经济开发区石竹路288号310000中国以上地址也代表了X3-Hybrid系列的独特制造工厂。
未分类 - GlobalSecurity.org
适航认证计划要素 (PE) 通过技术设计审批和系统认证，确保陆军飞机和航空系统的安全飞行运行，符合适当的适航标准。根据陆军条例 (AR) 70-62 的要求，此 PE 为所有指定的开发和生产中的陆军飞机（包括有人驾驶和无人驾驶）提供独立的适航认证，这对于确保陆军飞机的安全运行至关重要。此 PE 执行认证指定陆军飞机适航性所必需的工程功能（设计、分析、测试、演示和系统规范合规性），包括执行飞行安全调查/评估、评估系统风险、制定适航影响声明、制定适航发布以及评估新飞机和升级飞机系统的飞行安全消息和航空安全行动消息。此 PE 还提供陆军航空设计标准 (ADS) 计划的管理/执行；管理/执行所有指定陆军飞机系统的新系统和物资变更的适航批准；向航空项目执行办公室 (PEO AVN) 和技术应用项目办公室 (TAPO)、陆军特种作战飞机项目办公室提供适航工程支持，制定重大开发/修改和任何未来系统/子系统的要求；管理测试和评估过程以支持适航资格过程。适航认证 PE 还进行一般研究和开发，以支持飞机资格和涉及多种飞机型号的总体适航项目。当前正在进行的需要适航资格的项目包括：PEO 航空和 TAPO 未来部队系统，包括长弓阿帕奇 E 型；奇努克 F 型；黑鹰 M 型；特种作战 MH-47G 和 MH-60M；轻型通用直升机；灰鹰无人机系统 (UAS)；增强型多传感器机载侦察和传感器系统 (EMARSS)；以及改进的影子 UAS。此外，适航认证 PE 支持将其他关键航空子系统应用于陆军飞机，包括飞机生存能力设备（例如先进威胁红外对抗 (ATIRCM)、通用导弹预警系统 (CMWS)、航空任务设备（例如先进的多波段航空电子设备和战术无线电系统和数字数据链路）、通用传感器（电光多光谱视觉传感器）和蓝军跟踪器）。项目 092 还提供：通过联邦航空管理局军事认证办公室对军用民用衍生飞机进行适航认证；制定适航程序、规范、关键标准以及其他设计和资格文件；参与高级领导授权的适航三军活动（例如国家适航委员会、联合航空指挥官组）和条约授权的国际适航相关活动（例如飞入非隔离空域 (FINAS)）；以及在技术转型项目中有限的早期适航参与（例如联合多角色 (JMR) 技术演示和未来垂直升力飞机）和国防部长办公室 (OSD) 的其他计划。
海事系统设计与验证的形式化方法...
摘要 海上自主水面舰艇 (MASS) 正在接近现实，为海上控制系统带来了新的复杂性和关键性。在本文中，我们研究了如何使用形式化方法 (FM) 来设计和验证海上控制系统，以实现安全有效的 MASS。FM 是一系列基于数学的规范和验证方法。我们首先对 FM 进行高级介绍。我们讨论了当前的海上控制系统认证实践和走向自主化的需求。我们给出了三个具体示例，说明如何应用 FM 来满足这些需求：COLREG 的形式化规范、基于合同的设计和基于模拟的测试的自动化。最后，讨论了 FM 的一些局限性。我们得出结论，FM 似乎是满足部分自主性需求的有希望的候选者，并鼓励对 MASS 的 FM 进行进一步研究。关键词 海上自主水面舰艇、形式化方法、验证、规范、保证 简介 海上自主水面舰艇 (MASS) 正在接近现实，正在进行的项目众多，从小型研究原型到全尺寸工业船舶。虽然存在几种程度的自主性，但 MASS 的典型特点是能够在非平凡操作中独立于人类操作员运行，需要态势感知和规划能力。这些特点使得 MASS 开发人员需要新的设计方法，监管机构 (IMO 2021、NMD 2020) 和船级社 (DNV 2018) 也需要新的安全保证方法和流程。形式化方法 (FM) 是一类基于数学的规范和验证方法，源自理论计算机科学 (Woodcock 等人2009)。FM 提供高水平的保证，因此几十年来一直被积极用于其他行业（如航空航天和铁路）关键系统的开发和验证。随着自主系统的出现，FM 被认为是解决它们带来的一些保证挑战的有希望的候选者。这导致了过去十年来对应用于自动驾驶汽车和飞行器的 FM 的积极研究（Luckcuck 等人2019）。海运业尚未看到 FM 的广泛采用。然而，这种情况似乎正在改变，因为去年发表了一些文章。Shokri-Manninen 等人。福斯特等人。(2020) 创建了一个基于自动机的单船相遇正式模型，并综合了一种构造正确的导航策略。Park 和 Kim (2020) 基于可达性分析，综合了一种构造正确的船舶自动停靠控制器。(2020) 提出了一种混合动力系统形式的自主船舶控制器，并使用自动定理证明器来验证一些安全不变量。本文旨在通过首先进行高级介绍，引起海事界对 FM 的关注。接下来，我们回顾当前海事控制系统设计和验证的实践，并讨论一些走向自主化的需求。然后，我们在三个特定用例中激励并演示了 FM 的使用，以满足这些需求。最后，我们讨论一下 FM 的一些局限性。