XiaoMi-AI文件搜索系统
World File Search System软件系统
针对硬件/软件系统的测试和调试进行设计
本文描述了对硬件/软件系统中“测试和调试设计”通用方法开发的研究。该方法为与系统级测试和调试相关的复杂问题提供了解决方案。系统级测试的目的是验证系统硬件/软件实现的行为是否与指定的系统行为相匹配。调试对于确定测试所揭示的错误的确切原因是必要的。测试和调试硬件/软件系统时的一个主要问题是内部系统行为的可见性有限。内部系统行为的某些方面在系统的外部环境中特别难以观察和控制，例如顺序。系统中的事件、流程的不同执行、时间依赖性和非确定性行为。在我们的“测试和调试设计”方法中，这些问题是通过提高内部系统行为的可控性和可观察性来解决的。我们为硬件/软件系统中的错误提供各种分类。我们专注于错误的通信和同步协议、对受损数据或资源的错误互斥访问、错误的进程执行序列、死锁、竞争条件和错误的中断处理。这个
计算机与工业工程
在由许多互连组件组成的软件系统中，每个组件的脆弱性都会影响其他组件和整个系统的脆弱性。现有技术可以量化单个组件的脆弱性，但当它们互连或相互依赖时，评估它们的脆弱性仍然是一个挑战。本研究通过一种新的系统范围脆弱性评估 (SWVA) 框架解决了这一问题，该框架针对互连软件组件，基于关联随机神经网络 (ARNN)，根据单个组件已知的局部脆弱性及其互连来估计所有软件组件的系统范围脆弱性。ARNN 使用特定于问题的权重初始化，并使用基于梯度的深度学习算法从现有软件系统示例中学习。然后使用 ARNN 来评估迄今为止未见过的软件系统的脆弱性。对所提出的基于 ARNN 的 SWVA 框架的性能进行了评估，并与几种著名的机器学习技术在 13 个不同版本的真实软件系统（最多包含 11 个组件）上进行了比较。实验结果表明，ARNN 的性能优越，中位准确率达到 85% 以上，并且相对于连接的软件组件数量具有良好的高可扩展性。
小型软件维护改进... - CEUR-WS
1. 简介 当今市场和商业需要软件组织能够快速开发和有效维护复杂的软件系统。尽管软件开发对软件工程师的吸引力远远大于软件维护，但软件维护已被认为是软件生命周期中最昂贵、要求最高、最困难的阶段 [1, 2, 3, 4]。通过分析软件行业 40 多年来使用的维护模型，Lenarduzzi 等人 [5] 指出：（1）大多数模型都是从头开始构建的，没有扩展或使用现有模型；（2）开发的模型是针对特定问题提出的，这使得它们很难与其他模型进行比较；（3）模型仅由提出它们的人验证，这在有效性方面受到了一些限制。适合维护的软件系统应满足多项客户标准，例如使用领域的质量、可靠性、用户友好性和技术标准，而且还应与提供维护服务的软件组织的业务流程和战略方向保持一致。随着维护成本和维护活动的复杂性的提高，开发可维护的软件系统是软件行业最苛刻和最重要的要求之一[6]。此外，软件行业软件维护的主要问题是许多软件组织没有
软件工程与人工智能相遇
摘要：随着人工智能在传统软件系统中的应用越来越广泛，两个以前彼此陌生的世界正变得越来越接近，即成熟的软件工程学科和人工智能世界。一方面，数据科学家试图使用各种工具、极大的自由和创造力从数据中提取尽可能多的见解。另一方面，软件工程师经过多年和几十年的学习，已经学会了提供尽可能高质量的软件并管理发布状态。在开发包含人工智能组件的软件系统时，这两个世界会发生碰撞。本文将展示哪些方面会在这里发挥作用，哪些问题可能会出现，以及这些问题的解决方案可能是什么样子。除此之外，软件工程本身也可以从使用人工智能方法中受益。因此，我们还将研究软件工程的新兴研究领域人工智能。
WL - 船舶结构委员会
毫无疑问，船舶结构设计和分析是一个从计算机技术的快速发展中受益的领域。本报告对计算机辅助结构设计系统的当前趋势及其对船舶初步结构设计的可能影响进行了评估。调查和评估涵盖海洋软件系统以及非海洋系统，例如航空航天工业和土木工程结构中使用的系统。确定适合船舶初步结构设计的“理想”程序的元素，并将其用于评估可用软件。然后，针对船舶初步结构设计的各个典型方面选择合适的程序。对使用计算机辅助设计系统可能产生的潜在技术和经济效益进行了评估。还建议开发一个软件系统，并详细描述其各个组件。本报告附有一份“现有程序”的详尽清单。
基于行为树的ROS 2应用程序用纸莎草纸的低代码编程
来自意大利比萨的Scuola Superiore Sant'anna的计算机科学医生（新兴数字技术，专注于嵌入式系统），Matteo Morelli是CEA列表的嵌入式和自主系统设计实验室（LSEA）的研究工程师和项目经理。他的研究重点是用于自动且值得信赖的机器人软件系统体系结构的工具辅助设计过程。Matteo是多个欧盟项目的PI，包括Robmosys H2020，并说服了他和主题组«软件工程，系统集成，系统工程»（Eurobotics AISBL TG）和法国研究工作组«GT4：GT4：建筑物De ControtorturesdeContorôlePourôlePourpour la Robotique»（GDR Robotique）。自2022年9月以来，Matteo一直是“基于模型的自主软件系统体系结构”的CEA专家，他为CEA CEA列表列表研究计划的战略路线图的定义和实现做出了贡献。
2024 年 3 月 14 日
将该州目前已有 23 年历史的财务和人力资本管理企业资源规划 (ERP) 软件系统解决方案 (Oracle/PeopleSoft) 替换为遵循软件即服务 (SaaS) 云模型的 Workday 解决方案
基于人工智能的课程规划软件，用于支持能力提升
摘要 教学是一个复杂且需要认知的过程，也是一项非常有创造性的任务。必须精心准备一堂课才能确保有效、有目的的教学。如今，课程计划也经常使用标准软件（例如学习或内容管理系统）创建。显然，这种复杂的课程规划过程可以通过专门的软件系统来支持，这些软件系统不仅可以促进日常任务，还可以鼓励反思。本文阐述了基于人工智能技术的课程规划软件的理念和概念，以支持基于能力的学习。通过该软件，教师应该能够轻松直观地生成个性化的学习内容，而不会失去教学自由。通过各种用户场景，展示和解释了该软件的可能性。最后，本文旨在提高人们对此类智能学习环境的认识，以及它们如何实现终身教育链中学习内容的自动化开发。
欧洲航天工业的数字化转型 - HAL
欧洲航天工业的数字化转型 • 类别：普通论文 • 作者：Jean-Loup Terraillon，软件系统首席工程师，欧洲航天局，软件系统部，荷兰诺德维克 • 关键词：基于模型的系统工程、数字化、空间、航天器 摘要 数字化是大多数工业领域的趋势。航天领域几年前就已开始数字化。从基于模型的系统工程计划开始，航天局和工业界之间的讨论愈演愈烈，成立了多个专题工作组。范围已经从 MBSE 扩大到全面的工程数字化，旨在提供能够开发数字孪生的推动因素。本文描述并定位了 ESA 数字化项目，作为一项航天界联合努力，提出了一种发展方法，并给出了纲领要素以及 MBSE 在航天项目中部署的初步全景。