XiaoMi-AI文件搜索系统
World File Search System验证工具
电子密度：量子计算的忠诚见证人
在这项研究中，我们使用量子计算来证明分子的电子密度的评估。我们还建议电子密度可以是未来量子计算的有效验证工具，这可能证明是用常规量子化学解决方案可以解决的。电子密度的研究对于化学，物理学和材料科学的几种范围是核心。Hohenberg - Kohn定理规定电子密度是电子系统的基态特性。1通过Hellmann - Feynman定理，2个电子密度提供了有关分子内作用的力的信息。 3,4是物理科学中最丰富的可观察物之一，5-10密度奠定了密度功能理论（DFT）的基础，这是一种预测许多电子系统特性的形式主义。 11作为实验是真理的仲裁者，降压oen随着电子密度而停止。 重要的是，电子密度可以从X射线差异和散射数据的重构中重建，例如9使用，例如 ，多极模型，5 - 8,10 X射线约束波函数，12或最大熵方法。 13我们工作的一个动机是1通过Hellmann - Feynman定理，2个电子密度提供了有关分子内作用的力的信息。3,4是物理科学中最丰富的可观察物之一，5-10密度奠定了密度功能理论（DFT）的基础，这是一种预测许多电子系统特性的形式主义。11作为实验是真理的仲裁者，降压oen随着电子密度而停止。电子密度可以从X射线差异和散射数据的重构中重建，例如9使用，例如，多极模型，5 - 8,10 X射线约束波函数，12或最大熵方法。13我们工作的一个动机是
5G-AKA-HPQC：用于量子弹性5G主要身份验证的混合后量子加密协议
摘要-5G通过在我们的日常生活中与各种服务融合，可以作为变革性数字创新的催化剂。这种范式移动的成功无可否认地取决于稳健的安全措施，并具有主要的身份验证 - 符合对5G网络的访问权限 - 至关重要。两个协议，5G身份验证和关键协议（5G-AKA）以及用于身份验证和关键协议Prime（EAP-AKA'）的可扩展的身份验证协议，已为此目的进行了标准化，前者是为第三代合作项目（3GPP）设备设计的，而非3GPP设备的后者则为非3GPP设备。但是，最近的研究暴露了5G-AKA协议中的漏洞，使其容易受到安全漏洞的影响，包括可连接性攻击。此外，量子计算的广告构成了巨大的量子威胁，强调了迫切需要采用抵抗量子的加密机制。尽管已标准化了量子后加密（PQC），但缺乏现实部署限制了其可靠的鲁棒性。相比之下，在数十年的实际应用中，便会加密方案表现出可靠性。为了解决这一差距，互联网工程工作组（IETF）启动了混合PQC算法（HPQC）的标准化，结合了经典和抗量子的技术。因此，确保在5G-AKA协议中确保对量子威胁的前瞻性和弹性至关重要。为了应对这些安全挑战，我们提出了5G-AKA-HPQC协议。结果证实了协议的安全性和正确性。我们的协议旨在通过结合通过椭圆曲线集成的加密方案（ECIE）与源自PQC-key封装机制（KEM）进行协商的密钥来维持与现有标准的兼容性。为了严格而全面地验证5G-AKA-HPQC的安全性，我们采用了正式的验证工具，例如SVO Logic和Proverif。此外，性能评估突出了5G-AKA-HPQC固有的计算和通信开销。此分析表明该协议如何有效地平衡安全性和效率。总而言之，我们的研究提供了对安全，量子安全身份验证协议设计的重要见解，并为移动电信的安全身份验证和关键协议协议的未来标准化奠定了基础。
剧团系统：自主多代理漫游者群∗
太空探索的未来将利用多代理系统的力量。它是低地球轨道中的卫星星座，还是一群零重力构造无人机，自主的多机构系统为执行大规模太空任务提供了下一步。漫游者群体尤其可以开始着重于月球表面探索的任务。群有可能产生高科学实用程序的回报。但是，尚未完全解决的许多设计和实施问题。该团项目旨在以流浪者群的形式探索多代理系统的设计和开发。该团漫游将作为一个案例研究，用于实施用于安全风险管理，需求形式化，运行时验证框架和其他相关验证工具集的研究工具。NASA AMES的强大软件工程（RSE）组有两个主要目标：（1）研究和开发用于改善安全 - 关键软件的验证和验证（V＆V）的工具，以及（2）设计和设计和部署用于小型SAT太空飞行任务的飞行软件。理想情况下，这两个目标将相互补充。研究团队为任务开发人员开发工具，以提高软件质量，而任务开发人员在用例和所需功能上向研究团队提供直接反馈。实际上，设想的合作有局限性。飞行任务的日程限制通常不允许使用积极开发的工具进行原型制定和培训。安全限制（例如ITAR数据）阻止了混凝土用例的共享。为了克服这些障碍，RSE集团已经实施了一个名为Troupe的孵化器计划，该计划由四个自主流浪者组成，它们协调以绘制未知地形。最终的可交付方式将是绘制位于NASA AMES的漫游车场测试地面的漫游者的设计，开发和演示。演示任务允许开发太空飞行软件，同时集成了高级V＆V工具，包括正式的模型检查器，数学声音静态分析仪和运行时安全性监控。虽然Troupe遵循NASA对软件开发的严格要求，但任务本身与工具开发人员和研究社区共享数据没有局限性。以这种方式，团队可以学习正在积极开发的新工具，并直接向研究工具开发人员提供反馈。
电子密度：量子计算的忠诚见证人
在这项研究中，我们使用量子计算来证明分子的电子密度的评估。我们还建议电子密度可以是未来量子计算的有效验证工具，这可能证明是用常规量子化学解决方案可以解决的。电子密度的研究对于化学，物理学和材料科学的几个领域至关重要。Hohenberg-Kohn定理规定电子密度独特地定义了电子系统的基态特性。1通过Hellman-Feynman定理2，电子密度提供了有关分子内作用的力的信息。 3,4是物理科学中最丰富的可观察到的，5-10密度奠定了密度功能理论（DFT）的基础，这是一种预测许多电子系统特性的形式主义。 11作为实验是真理的仲裁者，雄鹿通常会随着电子密度而停止。 重要的是，电子密度可以从X射线衍射和散射数据的完善中重建，例如9使用多极模型，5-8,8,10 X射线约束波函数，12或最大熵方法。 13我们工作的一种动机是，实验确定的电子密度可用于测试未来材料的量子计算的准确性。传统计算机的模拟可能是不可行的。 今天，通过常规量子机械计算，例如，通过在某个近似水平上求解Schrödinger方程来获取有关电子分布的信息通常是可取的，更便宜和更快的。1通过Hellman-Feynman定理2，电子密度提供了有关分子内作用的力的信息。3,4是物理科学中最丰富的可观察到的，5-10密度奠定了密度功能理论（DFT）的基础，这是一种预测许多电子系统特性的形式主义。11作为实验是真理的仲裁者，雄鹿通常会随着电子密度而停止。电子密度可以从X射线衍射和散射数据的完善中重建，例如9使用多极模型，5-8,8,10 X射线约束波函数，12或最大熵方法。13我们工作的一种动机是，实验确定的电子密度可用于测试未来材料的量子计算的准确性。传统计算机的模拟可能是不可行的。今天，通过常规量子机械计算，例如，通过在某个近似水平上求解Schrödinger方程来获取有关电子分布的信息通常是可取的，更便宜和更快的。14获得高度准确的计算结果（能量，密度或其他属性）
通过分析和综合技能开发后疫情时代高等教育的信息素养评估工具
1 印度尼西亚三宝垄迪波尼戈罗大学人文学院图书馆学系摘要。信息素养是获取、分析和利用信息的技能的集合。这些技能在充斥着印刷和数字信息的生活中变得非常重要。信息素养技能也已成为学校和教育中不可或缺的一部分，但信息素养仍然很抽象，因此很难衡量。本研究旨在解释大学和研究图书馆协会 (ACRL) 的《高等教育信息素养框架》中包含的参考标准，并开发测量信息素养技能的工具，以及验证工具。该工具旨在通过以下标准评估分析和综合抽象科学著作的能力：(i) 信息源的选择、(ii) 主题的选择、(iii) 主题的评估和 (iv) 引用技能。该工具验证使用行动研究方法，涉及 120 名本科生，包括一年级学生和最后一年的学生。 1 引言 然而，全球通信过程导致了新的教育模式的出现，这主要归功于信息和通信技术 (ICT) 的发展。尽管以前的教学侧重于教师指导和学生学习，但现在的教育模式更注重主动学习。这种情况迫使参与教学过程的参与者的角色发生变化 [1]，[2]。学生不再是一个死记硬背学习材料的被动主体。然而，学生必须具备一系列能够连贯地获取信息的技能和能力。信息素养基于一系列能力和技能，其中一些是通用的，另一些是每个学科独有的，与学生在最佳条件下自学所需的技能有关。欧洲高等教育区 (EHEA) 致力于协调和建立欧洲大学研究之间的一体化，它提出了高等教育理念的转变，以强调学习资源的专业管理，而不是单纯的知识积累 [3]，[4]，[5]。 Tuning1 项目就是为实现这些目标而创建的，重点关注教育框架和研究内容。该项目定义了 30 项能力，称为横向或通用能力。近年来，能力和技能型教育这一主题在信息科学 2 中变得越来越重要。它导致了一条称为信息素养的研究路线，该路线侧重于使用信息的能力（搜索、组织、处理、表示和管理）。虽然