XiaoMi-AI文件搜索系统
World File Search System论证
飞机采购，海军 (BA 6-7) - 论证书
海军飞机采购用于飞机、设备（包括军械、备件和附件）的建造、采购、生产、改装和现代化；专用设备；公共和私人工厂的扩建，包括必要的土地，以及可在获得所有权之前获得的此类土地和权益，以及在其上进行的建设；以及公共和私人工厂的设备、器具和机床的采购和安装；储备工厂和政府及承包商拥有的设备分期付款，17,336,760,000 美元可用于履行义务，直到 2026 年 9 月 30 日。
海军飞机采购 (BA 6-7) - 论证书
海军飞机采购用于飞机、设备（包括军械、备件和附件）的建造、采购、生产、改装和现代化；专用设备；公共和私人工厂的扩建，包括必要的土地，以及可在获得所有权之前获得的此类土地和权益，以及在其上进行的建设；以及公共和私人工厂的设备、器具和机床的采购和安装；储备工厂和政府及承包商拥有的设备分期付款，17,336,760,000 美元可用于履行义务，直到 2026 年 9 月 30 日。
飞机采购，海军 (BA 1-4) - 论证书
海军飞机采购用于飞机、设备（包括军械、备件和附件）的建造、采购、生产、改装和现代化；专用设备；公共和私人工厂的扩建，包括必要的土地，以及可在获得所有权之前获得的此类土地和权益，以及在其上进行的建设；以及公共和私人工厂的设备、器具和机床的采购和安装；储备工厂和政府及承包商拥有的设备分期付款，17,336,760,000 美元可用于履行义务，直到 2026 年 9 月 30 日。
科学 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 的发展。额外的量子相关研发支持
科学/高级科学计算研究 2024 财年国会预算论证
高级科学计算研究概述 高级科学计算研究 (ASCR) 计划的使命是推进应用数学和计算机科学；与学科科学合作提供最复杂的计算科学应用；推进计算和网络能力；并与包括美国工业界在内的研究界合作，为科学和工程开发未来几代计算硬件和软件工具。ASCR 支持通过计算实现科学发现的最先进的能力。ASCR 与科学办公室 (SC) 以及应用技术办公室、其他机构和行业的合作对于这些努力至关重要。ASCR 的计算机科学和应用数学活动为提高国家高性能计算 (HPC) 生态系统的能力奠定了基础，通过专注于长期研究来开发创新的软件、算法、方法、工具和工作流程，以预测未来的硬件挑战和机遇以及科学应用和能源部 (DOE) 任务需求。同时，ASCR 与学科科学合作，在对 SC、DOE 和国家具有战略重要性的领域提供一些最先进的科学计算应用程序。 ASCR 还部署和运营世界一流的开放式 HPC 设施和高性能科学研究网络基础设施。半个多世纪以来，美国通过持续投资于研究、开发和定期部署新的先进计算系统和网络以及有效使用它们的应用数学和软件技术，保持了世界领先的计算能力。美国计算领导力带来的好处是，在提高劳动力生产率、加速科学和工程进步、先进制造技术和快速成型以及无需测试的库存管理方面取得了巨大进步。计算科学使研究人员能够探索、理解和利用自然和工程系统，这些系统太大、太复杂、太危险、太小或太短暂，无法进行实验探索。HPC 的领导地位也在维持美国的竞争力方面发挥了至关重要的作用。人们认识到，在人工智能 (AI) 和计算与数据生态系统整合方面处于领先地位的国家将在开发创新清洁能源技术、药品、工业、供应链和军事能力方面引领世界。美国需要利用科学投资来创新新技术、新材料和新方法，以加强我们的清洁能源经济，并确保所有美国人都能分享这些投资的利益。计算科学的下一代突破将来自于采用极端规模的数据驱动方法，并与美国研究人员和 SC 用户设施生成的数据量和复杂性的大幅增加紧密结合。人工智能技术与这些现有投资的融合为创新和技术开发和部署创造了强大的加速器。量子信息科学 (QIS) ——利用复杂的量子力学现象创造获取和处理信息的全新方式的能力——正在开辟科学发现和技术创新的新视野，这些新视野建立在 SC 数十年的投资之上。能源部设想了一个未来，QIS 的交叉领域将越来越多地推动科学前沿和创新，以实现基于量子的应用的全部潜力，从计算到传感，通过量子互联网连接。然而，需要采取大胆的方法，更好地结合技术创新链的所有要素，并联合 SC、大学、国家实验室和私营部门的人才，共同努力，使美国能够引领世界走向量子未来。摩尔定律（即微芯片创新的历史速度，特征尺寸大约每两年缩小一半）由于基础物理和经济学的限制而即将终结。因此，众多新兴技术正在竞争以帮助维持生产力增长，每种技术都有自己的风险和机遇。ASCR 面临的挑战是了解它们对科学计算的影响，并为快速发展的技术可能带来的破坏做好准备，而不会扼杀创新或阻碍科学进步。ASCR 的战略是专注于建立在 SC 专业知识和核心投资基础上的技术，继续与行业、应用技术办公室、其他机构以及百亿亿次计算项目 (ECP) 的科学界合作；投资小规模试验台；并增加对应用数学和计算机科学的核心研究投资。ASCR 提议的活动将推动 AI、QIS、高级通信网络和百亿亿次级及以上的战略计算，以加速实现清洁能源未来、理解和应对气候变化、扩大我们在科学方面的投资影响以及提高美国工业的竞争优势。量子信息科学 (QIS) 是一种利用复杂的量子力学现象来创造获取和处理信息的全新方式的能力，它正在为科学发现和技术创新开辟新的前景，而这些创新建立在数十年来对量子信息科学的投入之上。美国能源部设想，未来量子信息科学这一交叉领域将不断推动科学前沿和创新，以实现量子应用的全部潜力，从计算到传感，通过量子互联网连接起来。然而，我们需要采取大胆的方法，更好地结合技术创新链的所有要素，并联合量子信息科学、大学、国家实验室和私营部门的人才，共同努力，使美国能够引领世界进入量子未来。摩尔定律（即微芯片创新的历史速度，特征尺寸大约每两年缩小一半）由于基础物理学和经济学的限制而即将结束。因此，许多新兴技术正在竞争以帮助维持生产力增长，每种技术都有自己的风险和机遇。 ASCR 面临的挑战是了解它们对科学计算的影响，并为快速发展的技术可能带来的颠覆做好准备，同时又不扼杀创新或阻碍科学进步。ASCR 的战略是专注于建立在 SC 专业知识和核心投资基础上的技术，继续与行业、应用技术办公室、其他机构以及百亿亿次计算项目 (ECP) 的科学界合作；投资小规模试验台；并增加对应用数学和计算机科学的核心研究投资。ASCR 提出的活动将推动 AI、QIS、先进通信网络和百亿亿次级及更高级别的战略计算，以加速实现清洁能源未来、理解和应对气候变化、扩大我们在科学方面的投资影响以及提高美国工业的竞争优势。量子信息科学 (QIS) 是一种利用复杂的量子力学现象来创造获取和处理信息的全新方式的能力，它正在为科学发现和技术创新开辟新的前景，而这些创新建立在数十年来对量子信息科学的投入之上。美国能源部设想，未来量子信息科学这一交叉领域将不断推动科学前沿和创新，以实现量子应用的全部潜力，从计算到传感，通过量子互联网连接起来。然而，我们需要采取大胆的方法，更好地结合技术创新链的所有要素，并联合量子信息科学、大学、国家实验室和私营部门的人才，共同努力，使美国能够引领世界进入量子未来。摩尔定律（即微芯片创新的历史速度，特征尺寸大约每两年缩小一半）由于基础物理学和经济学的限制而即将结束。因此，许多新兴技术正在竞争以帮助维持生产力增长，每种技术都有自己的风险和机遇。 ASCR 面临的挑战是了解它们对科学计算的影响，并为快速发展的技术可能带来的颠覆做好准备，同时又不扼杀创新或阻碍科学进步。ASCR 的战略是专注于建立在 SC 专业知识和核心投资基础上的技术，继续与行业、应用技术办公室、其他机构以及百亿亿次计算项目 (ECP) 的科学界合作；投资小规模试验台；并增加对应用数学和计算机科学的核心研究投资。ASCR 提出的活动将推动 AI、QIS、先进通信网络和百亿亿次级及更高级别的战略计算，以加速实现清洁能源未来、理解和应对气候变化、扩大我们在科学方面的投资影响以及提高美国工业的竞争优势。摩尔定律（即微芯片创新的历史速度，特征尺寸大约每两年缩小一半）由于基础物理和经济学的限制而即将终结。因此，众多新兴技术正在竞争以帮助维持生产力增长，每种技术都有自己的风险和机遇。ASCR 面临的挑战是了解它们对科学计算的影响，并为快速发展的技术可能带来的破坏做好准备，而不会扼杀创新或阻碍科学进步。ASCR 的战略是专注于建立在 SC 专业知识和核心投资基础上的技术，继续与行业、应用技术办公室、其他机构以及百亿亿次计算项目 (ECP) 的科学界合作；投资小规模试验台；并增加对应用数学和计算机科学的核心研究投资。ASCR 提议的活动将推动 AI、QIS、高级通信网络和百亿亿次级及以上的战略计算，以加速实现清洁能源未来、理解和应对气候变化、扩大我们在科学方面的投资影响以及提高美国工业的竞争优势。摩尔定律（即微芯片创新的历史速度，特征尺寸大约每两年缩小一半）由于基础物理和经济学的限制而即将终结。因此，众多新兴技术正在竞争以帮助维持生产力增长，每种技术都有自己的风险和机遇。ASCR 面临的挑战是了解它们对科学计算的影响，并为快速发展的技术可能带来的破坏做好准备，而不会扼杀创新或阻碍科学进步。ASCR 的战略是专注于建立在 SC 专业知识和核心投资基础上的技术，继续与行业、应用技术办公室、其他机构以及百亿亿次计算项目 (ECP) 的科学界合作；投资小规模试验台；并增加对应用数学和计算机科学的核心研究投资。ASCR 提议的活动将推动 AI、QIS、高级通信网络和百亿亿次级及以上的战略计算，以加速实现清洁能源未来、理解和应对气候变化、扩大我们在科学方面的投资影响以及提高美国工业的竞争优势。
国会预算论证
我们将继续实施本届政府针对中华人民共和国的“投资、协调、竞争”战略，包括加强我们的联盟和伙伴关系，扩大我们在中华人民共和国施加影响的全球范围内的存在。这项预算请求将使我们能够全面实施本届政府的印度太平洋战略，该战略反映了我们对一个自由开放、互联互通、繁荣、有弹性和安全的地区的愿景。我们正在大幅扩大美国在太平洋岛屿的存在和计划，包括续签我们的自由联合协定，以及向马绍尔群岛、密克罗尼西亚和帕劳提供经济援助和联邦计划和服务的世代承诺。我们制定了 2022 年《CHIPS 法案》中设立的国际技术安全与创新基金的计划，这将维持和扩大我们的经济和技术影响力，使我们的经济和供应链更具弹性，并增强我们与中华人民共和国的竞争优势。
超越结构：使用理性力量模型评估论证写作
在教育研究和实践中使用的抽象当前方法评估书面论点的质量通常取决于结构分析。在此类评估中，由于存在论证，索赔，证据和反驳等论点的结构性要素而获得信用。在本文中，我们讨论了这种方法的局限性，包括缺乏评估论证元素质量的标准。然后，我们基于理性力量模型（RFM）提出了一个替代框架，该框架起源于北欧哲学家Næss的工作。使用论证论文的示例，我们通过关注论证元素的可接受性和相关性来证明RFM改善论证分析的潜力，这两个标准被广泛认为是论证强度的基本标志。我们概述了在教育环境中使用RFM的可能性和挑战，并通过提出未来研究的方向来得出结论。
AI 生成的论证有多有说服力？GPT-3 AI 文本生成器生成的论证文本质量分析
摘要。在本文中，我们使用伪算法程序来评估人工智能生成的文本。我们应用自然论证综合评估程序 (CAPNA) 来评估人工智能文本生成器 GPT-3 在《卫报》撰写的一篇评论文章中产生的论点。CAPNA 从三个方面检查论证实例：其过程、推理和表达。使用论证类型识别程序 (ATIP) 进行初步分析，首先确定存在论证，其次根据论证周期表 (PTA) 的论证分类框架确定其具体类型。然后使用程序问题来测试论证在三个方面中的可接受性。分析表明，虽然人工智能文本生成器提出的论证在类型上各不相同，并且遵循人类推理的熟悉模式，但它们存在明显的弱点。由此我们可以得出结论，自动生成有说服力的、合理的论证比生成有意义的语言要困难得多，并且如果要使人工智能系统提出的论证具有说服力，它们就需要一种方法来检查其自身输出的合理性。
基于论证的人机协作，支持行为改变以改善健康
本文介绍了一项基于论证的数字伴侣的实证需求引出研究，该研究旨在支持行为改变，其最终目标是促进和促进健康行为。这项研究由非专家用户和健康专家共同进行，部分由原型开发提供支持。它侧重于以人为本的方面，特别是用户动机，以及对数字伴侣的角色和交互行为的期望和看法。根据研究结果，提出了一个框架，用于定制代理的角色和行为以及论证方案。结果表明，数字伴侣在论证上挑战或支持用户态度和选择行为的程度以及伴侣的自信和挑衅程度可能会对用户接受度以及与数字伴侣互动的效果产生实质性和个性化的影响。更广泛地说，结果初步揭示了用户和领域专家对论证对话的“软”元级方面的看法，表明未来研究的潜力。
科学论证与宗教教育
虽然四套资源中每套都只以一门科学学科为例（例如，《竞争理论》中的生物学），但所有四个论证框架都可以灵活地适应不同的科学学科或主题，因为每个框架都以三个学科组合（科学、宗教教育和跨学科）为样本。“论证”被概念化为将主张与证据和理由联系起来。在这种概念化中，提出证据和理由来证明主张。术语“依据”可用于指代主张的正当性。每套资源都设计了支架，以介绍基于日常示例的论证结构，以便学生可以学习构建合乎逻辑和合理的论证。在跨学科学习和论证技能的广泛目标中，科学和宗教教育在认识论性质、知识生成方法、课程内容和教学方法方面存在明显差异。强烈鼓励教师根据学生和教学环境的具体需求调整或修改本包的任何部分。