XiaoMi-AI文件搜索系统
World File Search System软件系统
深度神经网络的人工智能蓝图
摘要 开发可信（例如安全和/或安保关键）硬件/软件系统需要依赖于定义明确的过程模型。然而，对于利用人工智能（AI）实现的可信系统工程的讨论仍然很少。这在很大程度上是因为人们认为人工智能是一种应用于软件工程的技术。这项工作遵循了不同的观点，即人工智能代表第三种技术（仅次于软件和硬件），与软件密切相关。因此，本文的贡献在于提出了一种针对人工智能工程的过程模型。其目标是支持可信系统的开发，该系统的部分安全和/或安保关键功能由人工智能实现。因此，它考虑了人工智能开发不同阶段的方法和指标，使用这些方法和指标可以更高地确保所开发系统满足可信属性。
用于比较光谱的标准伽马射线光谱...
在国际原子能机构的主持下，人们已经开展了创建标准光谱（国际原子能机构 Gl 测试光谱）和进行比对的工作 [9, 10]。Sanderson 和 Decker [11] 以及 Sanderson [12] 也使用标准光谱评估了软件系统。美国国家标准协会 (ANSI) 就如何测试 γ 射线光谱程序提出了建议 [13, 14]，国际电工委员会 [15] 也给出了建议。在每种情况下，人们都对结果的可变性提出了严重担忧，并且这些人工生成的测试光谱的一些特性受到了批评，无论是否合理（Gilmore 和 Hemingway [16] 在概述中对此进行了讨论）。另一个问题是产生一个单一的品质因数来比较软件的可能性 [17]。
特别通知信息请求：交付弹性系统的正式方法 (FMDRS) DARPA-SN-25-34 2025 年 1 月 23 日修订版 1
背景：DARPA 致力于创建弹性系统，包括硬件、网络物理系统和纯软件系统。在过去十年中，DARPA 开发了一套可扩展的工具，可以确保几乎所有现有和未来的国防部系统均不存在可利用的漏洞。这些工具采用基于形式化数学方法（“形式化方法”）的软件开发实践。就本 RFI 和相关文件而言，“形式化方法”是指数学上严谨的技术，用于生成软件和机器检查的证据，证明系统将以预期的方式运行，而不是以非预期的方式运行。这些软件工具的广泛适用性为大幅提高国防部大量部署的遗留代码和未来能力的安全性提供了机会，以确保国防部能力能够成功完成其任务。
编号 11212022-R&R 和 DC (E-3171940)
2. 重新部署和剩余人员管理系统 (RSMS) 是一个软件系统，旨在方便各部委办公室在线处理所有重新部署本部剩余人员名册上可用证书 (NAC) 的合适人员的请求，这些请求均须遵守 1990 年 CCS（剩余人员重新部署）规则。为实施 RSMS，DoP&T 已提名各部委办公室主任 (Admn.) 作为各部委的“联络官”。在这方面，需要提供联络官所需的信息，例如姓名、职位、手机和联系电话、电子邮件 ID（最好是官方 ID）以及现任官员（根据部门安排的主任 (Admn.)/联络官）的完整办公地址，以便注册、访问和使用 RSMS 的用户部门。RSMS 的 URL 地址是 - http:IIrsms.nic.in。附件为 RSMS 负责官员的名单。
详细的教学大纲 - BCA学期VI（三年课程）
信用：10，IA标记：50，ESE标记：150个课程目标：•为了帮助学生发展计算机科学中新思想的开放性，发展了从观察值中获取合理推论并学习使用分析和解决问题的能力来提出和解决新的计算机科学问题的能力； •为了帮助学生发展综合和整合信息和思想的能力，发展创造性思考的能力，发展整体思考的能力，并发展出区分事实和观点的能力； •通过完成不同的软件生命周期阶段（例如规范，体系结构，设计，实施，验证，文档等），帮助学生获得必要的能力来构建现实生活软件系统。BCA学期VI BCA 605：工业培训
2020 年学生项目 - UCL 计算机科学
UCL 计算机科学是实验计算机科学研究领域的全球领导者，关注计算机和软件系统及其使用的真实数据和观察。这一定位直接影响和塑造了我们的教学课程，涵盖我们的两个主要本科教学课程（BSc 和 MEng 计算机科学）以及我们的许多硕士课程。我们采用了基于问题的教学和学习方法，训练学生能够以严谨的方法应对现实世界的挑战。我们通过两种主要方式向学生传授这一点：(1) UCL 行业交流网络 (UCL IXN)，以及 (2) 学术研究培训。这两种方式都采用一种教学框架，让学生接触社会、创业和商业挑战，并让他们从第一年开始就有机会参与现实世界的软件工程项目。
Amrita计算学院，Amritapuri
目前是阿姆里塔计算学院院长巴拉特·贾亚拉曼（Bharat Jayaraman）博士，在印度理工学院，马德拉斯（Madras）获得了学士生和硕士学位，并获得了犹他大学的计算机科学博士学位。加入Amrita之前，他曾担任布法罗大学CSE系主任。Jayaraman博士的研究专注于编程语言和软件系统，从而获得了100多种科学文章，并获得了NSF，ONR，Fujitsu，IBM和Xerox基金会等机构的支持。值得注意的项目包括用于Java可视化，程序分析，逻辑语言和软件验证的JIVE。他的贡献标志着他是计算机科学教育和研究中的重要数字。
论量子软件与硬件的协同设计
量子计算系统自然由两部分组成，即软件系统和硬件系统。量子应用程序使用量子软件进行编程，然后在量子硬件上执行。然而，现有量子计算系统的性能仍然有限。在量子计算机上解决超出传统计算机能力的实际问题尚未得到证实。在本文中，我们指出，量子软件和硬件系统应协同设计，以充分利用量子计算的潜力。我们首先回顾了三项相关工作，包括一个硬件感知的量子编译器优化、一个应用感知的量子硬件架构设计流程和一个针对新兴量子计算化学的协同设计方法。然后我们讨论了一些遵循协同设计原则的潜在未来方向。
人工智能系统和作者概念的问题。对最近一本书的反思
摘要 《Beta Writer。2019。锂离子电池。当前研究的机器生成摘要。纽约，纽约州：Springer》一书的出版引发了对多个领域的分析和思考。首先，人工智能系统在信息文本的生成中能做什么。这就提出了一个问题，人工智能软件系统是否以及如何可以被视为其所生成文本的作者。评估这是否正确和可能，会导致重新审视当前的概念，即作者是理所当然的人。反过来，当面对人工智能系统生成的文本时，必然会引发一个问题，即它们是否像作者一样，被赋予了代理权。文章的结论是，人工智能系统的特点是分布式代理，由设计它们并使其工作的人共享，并且在 50 年前巴特和福柯的反思之后，有必要定义和识别一种新型的作者。
可靠目标的编程和验证技术...
摘要 1 未来的太空任务（例如火星科学实验室）需要设计一些最复杂的载人自主软件系统。根据最近的一些估计，任务关键型软件的认证成本超过了其开发成本。当前面向过程的方法尚未达到为并发软件的开发和验证提供指导方针的详细程度。时间和并发性是自主空间系统中最关键的概念。在这项工作中，我们介绍了第一个并发和以时间为中心的框架的设计和实现，用于在 JPL 任务数据系统框架 (MDS) 中验证和语义并行化实时 C++。激励我们工作的工业项目的最终目标是提供认证工件并加速测试自主飞行系统中的复杂软件交互。作为案例研究，我们展示了 MDS 目标网络的验证和语义并行化。