XiaoMi-AI文件搜索系统
World File Search System论证
可竞争的AI需要计算论证
AI近年来已经变得普遍，但最先进的方法主要忽略了对AI系统的必要性。相反，AI指南提倡可竞争性（例如由OECD）和对统计决策的监管（例如gdpr）。在这个位置，我们探讨了如何在AI中和AI中实现竞争性。We argue that contestable AI re- quires dynamic (human-machine and/or machine-machine) explainability and decision-making processes, whereby ma- chines can 1. interact with humans and/or other machines to progressively explain their outputs and/or their reasoning as well as assess grounds for contestation provided by these hu- mans and/or other machines, and 2. revise their decision– making processes to redress any issues successfully raised during比赛。鉴于当前的许多AI土地层是针对静态AIS量身定制的，因此可容纳可配合的需求的需求将需要激进的重新思考，我们认为，计算论证理想地适合支持。
规划论证报告 - 1338-1388 Sunningdale ...
目前，这些土地被划分为 R1-14、UR3/UR3*h-2 和 OS5 区。住宅 R1-14 区反映了这些土地过去作为私人服务设施上的大片单户住宅的用途。UR3 和 UR3*h-2 区反映了这些土地在伦敦规划中作为社区指定土地的状态，毗邻需要进一步评估的自然遗产特征。OS5 区土地部分包含位于该地产北部边界的湿地。
国会预算论证——海外业务
ACE 美国国务院对欧洲和欧亚援助协调员办公室 ACSBS 非洲冲突稳定与边境安全 ACW 先进化学武器 AEECA 对欧洲、欧亚和中亚的援助 AMEP 非洲军事教育计划 AMISOM 非洲联盟驻索马里特派团 AMSI 非洲海上安全倡议 APEC 亚太经济合作组织 AQ 基地组织 ARCT 非洲区域反恐 ART 抗逆转录病毒治疗 ASEAN 东南亚国家联盟 ATA 反恐援助 ADS 军备控制、威慑与稳定局 BHA 美国国际开发署人道主义援助局 BW 生物武器 C2 指挥与控制 CAFTA-DR 中美洲自由贸易协定 - 多米尼加共和国 CARICOM 加勒比共同体 CARSI 中美洲区域安全倡议 CBJ 国会预算论证 CBP 美国海关和边境保护局 CBSI 加勒比盆地安全倡议 CCF 复杂危机基金 CIF 美国国际开发署资本投资基金 CIPA 国际维和活动捐款 CPMIF 反恐人民共和国中国恶意影响基金 CPS 美国国际开发署预防冲突和稳定局 CSC 反击战略竞争对手 CT 国务院反恐怖主义局 CTBT 全面禁止核试验条约 CTBTO 全面禁止核试验条约组织 CTPF 反恐怖主义伙伴关系基金 CVE 反暴力极端主义 CWD 常规武器销毁 DA 发展援助 DCCP 数字连接和网络安全伙伴关系 DDRR 解除武装、复员、遣返和重返社会
从论证需求的引出到其持续...
1.Polacsek, T.：验证、认可或认证：一种提供信心的新型图表 2.Toulmin, S.E.：论证的用途 3.Duffau, C.、Camillieri, C.、Blay-Fornarino, M.：通过自动构建论证图来提高对实验系统的信心 4.Polacsek, T.、S. Sharma、C. Cuiller 和 V. Tuloup。«基于图尔敏模式应用的图表需求：航空案例研究»，EURO 决策过程杂志
论证引出的支持：两份工业报告
生产过程的结果通常伴随着一系列论证，这些论证可能取决于产品、过程相关的质量、可追溯性文档、产品相关的实验、测试或专家报告等。在关键情况下，必须证实产品的开发已经得到适当实施，这会导致论证文档数量的膨胀。如此大量的文档和信息难以管理，也难以评估（就健全性而言）。在本文中，我们报告了在两个工业案例研究中获得的经验，在这些案例研究中，我们应用了基于论证图和论证模式图的论证引出方法，以确定必要且充分的论证文档。
动态学习地图 (DLM) 论证 2024-2025
或者，☐ 无法为上述一项或多项提供保证（如果选中此框，请填写下面的“无保证解释”部分）。无保证解释请简要说明无法提供保证的原因。请勿在您的解释中包含任何个人身份信息 (PII)，例如学生姓名。这样做违反了《家庭教育权利和隐私法案》(FERPA)。
支持量子声明宣言的图论论证
1981 年 5 月，费曼在一次会议演讲中提出了“用计算机模拟物理”的想法。在那次演讲中，他提出了使用量子计算机模拟传统计算机难以模拟的量子系统的想法。他的演讲发表在 [ 1 ] 上，被认为是量子计算研究领域的一次大爆炸。从那时起，学术界和企业界都为开发有用的量子计算机付出了很多努力。尽管有许多利益相关者加入了这项任务，但这条路还远未完成。最大的问题之一是制造问题：创建和保存量子位。量子位相当于量子环境中的比特，但它们不像传统比特那么容易保存。它们必须在非常低的温度下储存以保持一致性——任何基于不相干量子位的计算都会导致错误。尽管这项任务成本高昂，但还是有少数公司能够构建出可以运行的量子计算机。受量子力学规则的限制，量子计算模型仅通过幺正运算来操纵量子比特，幺正运算是线性算子的一个子集。投影是线性算子的另一个子集，它允许读取量子比特的内容，尽管不可避免地会改变它们的状态。因此，每个量子算法都必须开发为一系列幺正算子和投影。诸如 Shor 的因式分解 [ 2 ] 和
OSD RDT&E 预算项目论证（R2 展览）
该计划的目的是为所有国防部组成部分进行常规和核物理安全设备 (PSE) 系统的先进工程开发。该计划支持对战术、固定和核武器系统、国防部人员和国防部设施的保护。这些资金用于为持续和不断发展的单个服务和联合 PSE 要求提供 PSE RDT&E，这些要求在部队保护和战术安全设备、机器人安全系统集成、水边安全系统、爆炸物检测设备、锁、保险箱和保险库、商用现货 (COTS) 测试和核武器安全等领域提供能力。许多由该 PE 产生的 RDT&E 工作将过渡到 PE 604161D8Z 进行系统演示和验证。PSE 计划的组织方式是，陆军、海军、空军和国防威胁降低局 (DTRA) 的代表通过物理安全设备行动组 (PSEAG) 和安全政策验证委员会 (SPVC) 的主持，监控、指导和优先考虑潜在和现有的 PSE 计划。除少数例外，每个军种都会赞助具有多军种应用的技术和项目的 RDT&E 工作。该项目元素支持：1) 陆军在内部和外部检测、安全照明、安全屏障和安全显示单元领域的 PSE RDT&E 工作；2) 空军在外部检测/监视领域的 PSE RDT&E 工作
科学 2024 财年国会预算论证......
注意：- 2023 财年资金未反映核能办公室向科学办公室转移的 2000 万美元，用于核设施运营和维护橡树岭国家实验室。概述科学办公室 (SC) 的使命是提供科学发现和重大科学工具，以改变我们对自然的理解，促进美国的能源、经济和国家安全。SC 是美国最大的联邦物理科学基础研究赞助商，也是支持国家能源未来基础科学研究的主要联邦机构。SC 通过支持以下方面完成其使命并推进国家目标： 科学前沿——探索自然的奥秘，从研究构成宇宙物质和其中一切的基本亚原子粒子、原子和分子到构成生命基础的 DNA、蛋白质和细胞。SC 中的每个项目都支持探究最基本学科问题的研究。 21 世纪科学工具 — 为国家研究人员提供 28 个最先进的国家科学用户设施，这些设施是现代科学最先进的工具，通过创新推动美国走在科学、技术开发和部署的最前沿。 能源和环境科学 — 为推动能源和环境部门的使命而奠定知识基础，以促进发现和创新。 SC 支持从单个首席研究员到大型团队活动的各种资助模式，以从事能源生产、转换、存储、传输和使用以及我们对地球系统的理解的基础研究。 SC 是美国科学发现和创新企业的公认领导者。几十年来，SC 在基础研究和支持性研究能力方面的投资和成就为新技术、企业和行业奠定了基础，为国家经济、国家安全和生活质量做出了重大贡献。 SC 项目促成的精选科学成就在项目预算说明中进行了描述。有关最近科学发现的更多描述，请访问 https://science.osti.gov/Science-Features/Science-Highlights。2024 财年申请中的亮点和重大变化 2024 财年 SC 申请为 88.004 亿美元，比 2023 财年颁布的水平增加 8.6%，以实现政府的目标，推动美国科学技术 (S&T) 实现大胆、变革性的飞跃，打造一支多元化的未来劳动力队伍，并确保美国在未来几代人中继续保持全球科技领先地位。2024 财年申请支持基础科学研究的平衡研究组合，探讨以下领域的一些最基本问题：高能、核能和等离子体物理；材料和化学；生物和环境系统；应用数学；下一代高性能计算和模拟能力；同位素生产；以及推动新加速器和能源技术发展的基础研究。该申请增加了对政府优先事项的投资，包括气候变化和清洁能源的基础研究，包括为 SC Energy Earthshots 提供额外资金，并加速聚变开发以支持商业聚变能源大胆十年愿景计划。SC 申请根据 CHIPS 和科学法案的授权建立了新的微电子科学研究中心。SC 申请还促进在国内建立关键同位素供应链，以减少美国对外国供应的依赖并提高美国的恢复力。SC 通过接触新能源科学劳动力 (RENEW) 和加速包容性研究资助 (FAIR) 计划加大力度支持服务不足的社区。该请求继续支持国家量子信息科学（QIS）研究中心的基础研究和早期开发，通过系统、理论、硬件和软件之间的垂直整合来加速 QIS 的发展。额外的量子相关研发支持