XiaoMi-AI文件搜索系统
World File Search System源代码
实现可靠的人工智能来理解源代码
云的成熟和普及导致了开源软件 (OSS) 的激增。反过来，管理 OSS 代码质量对于确保云的可持续增长至关重要。在这方面，由于大型开放代码库的随时可用，AI 建模在源代码理解任务中越来越受欢迎。然而，我们一直在观察这些黑匣子的某些特性，促使人们呼吁在取代传统的代码分析之前验证它们的可靠性。在这项工作中，我们重点介绍了影响 AI-for-code 的不同可靠性问题，并将其组织成 AI 管道的三个阶段——数据收集、模型训练和预测分析。我们强调研究界需要齐心协力，以确保 AI-for-code 的可信度、可问责性和可追溯性。对于每个阶段，我们讨论了源代码和软件工程设置为提高 AI 可靠性提供的独特机会。
嵌入式软件中的行为验证，从模型到源代码
为了降低验证成本并对软件更有信心，静态程序分析提供了证明源代码属性的方法。不幸的是，这些技术对于非专业人士来说很难理解和使用。建模允许用户以简单的方式指定软件的某些方面。更准确地说，在嵌入式软件中，状态机模型经常用于行为设计。本文的目的是通过提供从模型到源代码的注释自动生成来弥合模型和代码之间的差距。然后通过静态分析验证这些注释，以确保代码行为符合基于模型的设计。我们考虑的模型是具有正式非歧义语义的 UML 状态机，注释生成和验证在工具中实现并应用于案例研究。
开放通用出口许可证（军用软件及源代码）
(8) 如果出口商收到国务卿代表发出的警告信，其中指明未遵守本许可证或适用出口管制法律的规定，则出口商应采取该警告信中指明的措施（在规定的时间范围内）以恢复对许可证的遵守。在不影响命令第 34 条的情况下，不遵守此条件可能导致本许可证被撤销或暂停，直到出口商能够证明其遵守情况并让商业贸易部 (DBT) 满意为止。出口商将以书面形式收到任何此类暂停或撤销以及此类暂停或撤销的初始期限的通知。如果在此初始期限结束时，出口商仍未证明其遵守情况并让 DBT 满意，则暂停或撤销的期限可能会延长。出口商将以书面形式收到此类延期通知。
开放通用出口许可证（军用软件及源代码）
(8) 如果出口商收到国务卿代表发出的警告信，其中指明未遵守本许可证或适用出口管制法律的规定，则出口商应采取该警告信中指明的措施（在规定的时间范围内）以恢复对许可证的遵守。在不影响命令第 34 条的情况下，不遵守此条件可能导致本许可证被撤销或暂停，直到出口商能够证明其遵守情况并让商业贸易部 (DBT) 满意为止。出口商将以书面形式收到任何此类暂停或撤销以及此类暂停或撤销的初始期限的通知。如果在此初始期限结束时，出口商仍未证明其遵守情况并让 DBT 满意，则暂停或撤销的期限可能会延长。出口商将以书面形式收到此类延期通知。
设计模式与源代码之间的生成关系
当今世界，各种服务的实现都依赖于计算机软件。随着软件的日益复杂化，培养负责软件生命周期（包括规划、开发和运行）的高级软件工程师具有很高的社会重要性。软件开发过程包括规划、需求分析、设计、编程和软件测试等各种过程（ISO，2017）。软件工程师需要学习各种知识和技能来开发每个过程中的工件。我们正在开发一种可视化工具 VRale-SCM，用于 VR 空间中每个过程的工件及其之间的关系（Kishikawa，2020）。软件工程师可以自由浏览工件，以深入了解工件及其之间的关系。在本文中，我们提出了一种生成设计模式和 Java 源代码之间关系的机制。将提出的机制集成到 VRale-SCM 将丰富系统的教育内容，从而进一步提高教育效果。设计模式（Gamma，1995）是面向对象软件设计推荐惯例的抽象描述，可用于教授系统软件设计。我们提出了 xPIML 来描述设计模式的结构和描述（Ohtsuki，1998 和 2011）。
嵌入式软件中的行为验证，从模型到源代码
为了降低验证成本并对软件更有信心，静态程序分析提供了证明源代码属性的方法。不幸的是，这些技术对于非专业人士来说很难理解和使用。建模允许用户以简单的方式指定软件的某些方面。更准确地说，在嵌入式软件中，状态机模型经常用于行为设计。本文的目的是通过提供从模型到源代码的注释自动生成来弥合模型和代码之间的差距。然后通过静态分析验证这些注释，以确保代码行为符合基于模型的设计。我们考虑的模型是具有正式非歧义语义的 UML 状态机，注释生成和验证在工具中实现并应用于案例研究。
SOL：无需更改源代码即可轻松实现对 AI 框架的设备支持
摘要 — 现代高性能计算集群严重依赖加速器来克服 CPU 有限的计算能力。这些超级计算机运行来自不同领域的各种应用程序，例如模拟、数值应用程序或人工智能 (AI)。因此，供应商需要能够在其硬件上高效地运行各种各样的工作负载。在 AI 领域，这种情况尤其加剧，因为存在许多流行的框架（例如 PyTorch、TensorFlow 等），这些框架没有通用的代码库，并且功能可能有所不同。这些框架的代码发展迅速，因此跟上所有变化的成本很高，并且可能迫使开发人员不断进行上游更新。在本文中，我们探讨了如何在不更改框架源代码的情况下在 AI 框架中提供硬件支持，以最大限度地减少维护开销。我们介绍了 SOL，这是一种 AI 加速中间件，它提供了一个硬件抽象层，使我们能够透明地支持异构硬件。作为概念验证，我们为 PyTorch 实现了 SOL，它有三个后端：CPU、GPU 和矢量处理器。索引术语 — 人工智能、中间件、高性能计算
审核 - 报告NYM移动和桌面，VPN，Instra＆Cryptography 07.2024
•对NYM移动和桌面，VPN，INFRA和常规密码学的Pentests和源代码审核◦WP1：Crystal-Box Pentests＆Source Code and Source代码审核NYM移动应用程序▪源代码▪源代码：•URL：https：//github.com/nymmtech/nymmtech/nymmtech/nymmtech/nymmtech/nymmtech/nymmtch-client•pistr•pistr•pistr•pistr：：pors：： B40A4D2AC3427B242C8E29426BBF31B9B26EA282▪应用•相关存储库标签：Nym-VPN-X-X-V0.1.1.1.3•Android（通过F-Droid）：◦ https://support.nymvpn.com/hc/en-us/articles/25000269053969-how-to-com-use-f-droid-for-nymvpn•ios•ios（通过testflight + qr代码）：◦https:/https：◦https://nymvpn.com/nymvpn.com/en/en/nymcordit carter carter carter carter contriit桌面应用程序▪源代码•URL：https：//github.com/nymtech/nym-vpn-client•提交：B40A4D2AC3427B242C8E2942C8E29426BBF31B91B9B26EA26EA282 https://nymvpn.com/en/download/?wp3：Crystal-Box Pentests和源代码审核Nym后端API▪测试环境URL：•urls与CURE53共享：源代码▪源代码▪源代码：•url：•url：https：//github.com/nymtech/nym•pross： A5BCBCC1F5DE1513CECAB785F248DEDDED2036D0047▪特别关注：•/NYM-NODE•/NYM-API•WP4：Crystal-Box Pentests＆Crystal-box Pentests＆Source Code and Source Code Aucation and vpn软件和Infra vpn软件和Infra code：提交：B40A4D2AC3427B242C8E29426BBF31B9B9B26EA282◦WP5：Crystal-Box Pentests＆Source Code for Nym密码学审核▪源代码▪源代码：•url：•url：https：//github.com/nymtech/nym/nym•pisor： A5BCBCC1F5DE1513CECAB785F248DEDDED2036D0047▪特别关注：•/common/common/crypto•/common/nymsphinx•/common/common/nymcoconut
主题：招聘 02 名年轻专业人员到民航部网络安全部门工作。
漏洞评估、合规性审计、代码审查 o 源代码安全审计；检查源代码是否存在安全漏洞。 . Web 应用程序的远程漏洞评估和安全测试。 . 网站代码的静态源代码漏洞审计和安全测试。 . 加密函数和例程的 SecuriV 验证。 . 漏洞评估和渗透测试的工具/解决方案评估
QuTiP：Python 中的量子工具箱
2 安装 7 2.1 快速入门 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.4.1 PEP 517 源代码构建 . . . . . . . . . . . . . . . 9 2.4.2 直接 Setuptools 源代码构建 . . . . . . . . . . . . . . . . 9 2.5 在 Windows 上安装 . . . . . . . . . . . . . . .................................................................................................................................................................10 2.6 验证安装....................................................................................................................................................................10 2.7 检查版本信息....................................................................................................................................................11