XiaoMi-AI文件搜索系统
World File Search System开发软件
基于 DO-178C/DO-331 的精益、高度自动化的基于模型的软件开发流程
摘要 — 城市空中交通和无人机系统全球市场的兴起吸引了世界各地的许多初创企业。这些组织在民航用于开发软件和电子硬件的传统流程方面几乎没有接受过培训或经验。他们还受到资源限制，无法分配给专业团队遵循这些标准化流程。为了填补这一空白，本文提出了一种自定义工作流程，该工作流程基于从安全关键软件基础标准 DO-178C/DO-331 派生的一组目标。从标准中选择目标是基于特定目标的重要性、自动化程度和可重用性。该自定义工作流程旨在建立精益且高度自动化的开发生命周期，从而为研究和原型飞机提供更高质量、可维护性更好的软件。它还可以作为某些应用软件（如无人机系统、城市空中交通和通用航空）的合规手段。通过生成必要的开发和验证工件集，自定义工作流程还为未来符合 DO-178C/DO-331 的潜在认证提供了可扩展的基础。自定义工作流程在自动驾驶仪手动断开系统案例研究中得到演示。索引术语 —DO-178C、DO-331、软件保证、安全关键系统、精益软件开发、基于模型的开发、需求管理、敏捷开发
基于 DO-178C/DO-331 的精益、高度自动化的基于模型的软件开发流程
摘要 — 城市空中交通和无人机系统全球市场的兴起吸引了世界各地的许多初创企业。这些组织在民航用于开发软件和电子硬件的传统流程方面几乎没有接受过培训或经验。他们还受到资源限制，无法分配给专业团队遵循这些标准化流程。为了填补这一空白，本文提出了一种自定义工作流程，该工作流程基于从安全关键软件基础标准 DO-178C/DO-331 派生的一组目标。从标准中选择目标是基于特定目标的重要性、自动化程度和可重用性。该自定义工作流程旨在建立精益且高度自动化的开发生命周期，从而为研究和原型飞机提供更高质量、可维护性更好的软件。它还可以作为某些应用软件（如无人机系统、城市空中交通和通用航空）的合规手段。通过生成必要的开发和验证工件集，自定义工作流程还为未来符合 DO-178C/DO-331 的潜在认证提供了可扩展的基础。自定义工作流程在自动驾驶仪手动断开系统案例研究中得到演示。索引术语 —DO-178C、DO-331、软件保证、安全关键系统、精益软件开发、基于模型的开发、需求管理、敏捷开发
印度贾里亚煤田矿井火灾调查
摘要。1971 年，印度煤炭行业被国有化，巴拉特焦煤有限公司成立。新公司继承了约 600 家经营不善的煤矿，其中许多都发生了火灾。扑灭火灾的努力取得了部分成功。大约 65 处火点仍在 450 平方公里的煤田中燃烧。这是世界上最大的地上和地下煤火群。火势蔓延并不断增长，影响到煤炭生产、环境以及居住在该地区的 100 万人的健康、安全和福祉。一项由世界银行资助的为期 21 个月的两部分研究于 1994 年开始，并于 1996 年完成。第一部分是对火灾的分析，包括火灾的位置、规模、对社区的影响、自然环境和煤炭储量以及可能的补救措施及其成本。第二部分包括对煤田及其周边环境以及实施补救措施的影响进行的环境和社会经济调查。调查包括使用卫星和机载遥感平台、全球定位系统进行勘察、钻探、矿井规划和开发软件、实地勘察、实验室测试、煤矿记录审查和数据分析。印度专业人员的对应人员与外籍人员合作，获得继续工作所需的培训、程序和方法。确定了灭火、控制和预防火灾的技术及其成本。提出了灭火或控制火灾的建议。
TSO-C147，交通咨询系统 (TAS) Ariborne Equipment
1. 适用性 (a) 最低性能标准。本技术标准令 (TSO) 规定了主动交通咨询系统 (TAS) 机载设备必须满足的最低性能标准，以便通过适用的 TSO 标记进行识别。任何需要如此识别的主动交通咨询系统 (TAS) 机载设备，只要是在本 TSO 发布之日或之后制造的，都必须符合 RTCA 文件编号 RTCA/DO-197A“主动交通警报和防撞系统 I (ACTIVE TCAS 1) 的最低运行性能标准”第二部分 (2)（1994 年 9 月 12 日）中规定的标准，但本文件附录 1 中列出的例外情况除外。 (b) 设备类别。 (1) A 类。设备包含一个水平状况显示器，用于指示入侵飞机的存在和相对位置，以及一个声音警报，用于通知机组人员有交通咨询 (TA)。 (2) B 类。包含声音警报和视觉通告的设备，用于通知机组人员 TA。 (c) 环境标准。设备应符合 1997 年 7 月 29 日发布的 RTCA/DO-160D“机载设备的环境条件和测试程序”中规定的测试条件。 (d) 软件标准。如果物品包括数字计算机，则必须根据 1992 年 12 月 1 日发布的 RTCA DO-178B“机载系统和设备认证中的软件注意事项”开发软件。 2. 标记。根据 14 CFR 第 21.607(d) 节中规定的标记，以下要求适用于根据本 TSO 制造的设备的所有单独组件：
军用软件定义无线电 – ROHDE ...
军用软件定义无线电 – ROHDE & SCHWARZ 现状与前景 Ruediger Leschhorn (Rohde & Schwarz GmbH & Co. KG，德国慕尼黑；ruediger.leschhorn@rsd.rohde-schwarz.com) Boyd Buchin (Rohde & Schwarz GmbH & Co. KG，德国慕尼黑；boyd.buchin@rsd.rohde-schwarz.com) 摘要 Rohde & Schwarz 是军用市场领先的无线电制造商之一，在测试与测量、信息技术和通信领域具有国际影响力。作为首批开发软件定义无线电的公司之一，Rohde & Schwarz 目前已在市场上推出一系列 SDR，适用于机载、战术/移动和固定/舰载应用。本文第二章将对当前状况进行回顾。德国和许多其他欧洲国家已经制定了新的军事作战概念，以应对未来的挑战。为了实施这些概念，它们需要先进的通信能力。欧洲对下一代软件定义无线电的要求目前正在制定中。第三章和第四章深入介绍了预期的要求以及行业如何在当今的专业知识和能力下满足这些要求，并指出了现有 SDR 的迁移路径和集成新功能的概念。1.简介 软件定义无线电概念已经在更广泛的基础上进行了 10 多年的考虑。经过一段时间的试验和演示程序，SDR 终于进入市场（例如R&S ® M3xR 系列）。这些 SDR 背后的开发计划以及部署大型 SDR 通信系统的经验为行业带来了开发下一代 SDR 所需的专业知识。
军用软件定义无线电 – ROHDE ...
军用软件定义无线电 – ROHDE & SCHWARZ 现状与前景 Ruediger Leschhorn (Rohde & Schwarz GmbH & Co. KG，德国慕尼黑；ruediger.leschhorn@rsd.rohde-schwarz.com) Boyd Buchin (Rohde & Schwarz GmbH & Co. KG，德国慕尼黑；boyd.buchin@rsd.rohde-schwarz.com) 摘要 Rohde & Schwarz 是军用市场领先的无线电制造商之一，在测试与测量、信息技术和通信领域具有国际影响力。作为首批开发软件定义无线电的公司之一，Rohde & Schwarz 目前已在市场上推出一系列 SDR，适用于机载、战术/移动和固定/船载应用。本文第二章将对当前状况进行回顾。德国和许多其他欧洲国家已经制定了新的军事作战概念，以应对未来的挑战。为了实施这些概念，它们需要先进的通信能力。欧洲对下一代软件定义无线电的要求目前正在制定中。第三章和第四章深入介绍了预期的要求以及行业如何在当今的专业知识和能力下满足这些要求，并指出了现有 SDR 的迁移路径和集成新功能的概念。1.简介 软件定义无线电概念已经在更广泛的基础上进行了 10 多年的考虑。经过一段时间的试验和演示程序，SDR 终于进入市场（例如R&S ® M3xR 系列）。这些 SDR 背后的开发计划以及部署大型 SDR 通信系统的经验为行业带来了开发下一代 SDR 所需的专业知识。
Ocius Technology Ltd正在建造无人海洋无人机，以便科学家，行业和国防人员进行海洋监测和监视可以
特征： - 海洋航行和海面体验 - 商业嵌入式系统，IT/软件/编程经验 - 与成熟和指导机电一体化学生的成熟和指导的能力 - 能够与大学/自治系统的热情与大学的热情 - 对沃尔德尼大学的最初合同 - 在Systrime -2015年开始 - 2010年与沃尔姆斯大学合同： experience Embedded systems engineering and design: * Competent in electronic design work -part selection, schematic design and sourcing * Competent in production PCB design and layout, manufacture & testing * Competent embedded systems programmer- Expert in C,C++,C# * Competent in Linux both embedded distributions and standard Debian/CentOS distributions * Competent in shell scripting * Must have a strong knowledge of embedded systems communications protocols - SPI，I2C，UART，RS232，RS422，TIA-485，CAN，MDIO，以太网 *网络协议的知识（例如TCP/IP和以太网）。*强大的调查和调试技能 *在Linux和Windows开发环境中开发系统级软件的经验。*动手具有多线程体系结构，线程管理，延迟和吞吐量优化的经验。* ARM平台上自定义Linux驱动程序的知识 *在软件质量保证方面具有丰富的经验，包括审查测试计划，编写测试脚本和验证软件产品。*数据结构和算法中的坚实背景。*经验为网络协议开发软件，包括TCP/IP和
E Carrier 2024 年 4 月刊
有些人很早就发现了自己的热情，而有些人则要到后来才发现。直到大三，我都走上了一条常见的道路，不确定自己应该专注于哪个特定领域。Synopsis 是一家电子设计自动化 (EDA) 公司。这是一家为电子行业开发软件的软件公司。测试与验证工程师的职责是在产品交付给客户之前对产品进行初始测试和鉴定。他们检查产品是否按预期工作，新功能是否满足客户要求等。电子知识对这个角色来说非常重要。我也是测试与验证部门的一员。目前，我与一个约 50 人的团队合作，他们居住在斯里兰卡和印度，负责静态验证产品。2011 年，我毕业的时候，Atrenta 的代表访问了我们的大学。当时他们刚刚在斯里兰卡开始他们的业务，我发现他们的愿景很有趣。我作为最初的员工之一加入了他们，具体来说是第九名员工。我们和公司一起成长，现在我在这里。正如你所说，工程是一个充满活力的行业。我们应该能够适应该领域的新趋势。在我的职业生涯中，我们首先使用 Perl 编写脚本，然后 Python 变得流行，因为它更高效。然后机器学习变得流行，所以我们必须将机器学习纳入我们的项目。现在，我们有了生成式人工智能。我们应该谈谈生成式人工智能以及如何将其插入我们的活动中。在我的角色中，一个很好的例子是测试生成。如果我们看到任何单调的活动，我们可能会使用生成式人工智能。
341-e-beton-interactif-sensors-chips-rfid.pdf - Cerib
这项监测研究的重点是传感器、RFID（射频识别）芯片以及相关的数据处理和开发软件。在总结了 RFID 传感器和芯片所使用的技术和发展之后，确定了用于建筑和公共工程市场的具体产品的感兴趣领域。对于每个领域，都会介绍特定的应用程序、已上市的产品或原型，让您能够发现这些新功能的范围。看来，用于处理和使用所收集数据的电子芯片（传感器、RFID）和软件正在蓬勃发展，并涉及一系列日益扩大的应用：道路、城市发展、个人或集体住宅、第三产业、大型基础设施……这些发展源于大城市热衷于发展智能互联城市（“或智能城市”）形象的日益增长的需求。正在开发的项目旨在通过改进维护和交通管理使道路和高速公路互动且更安全。在建筑物中，应用更注重提高居民的安全性和舒适度。例如，所有这些创新旨在优化和减少道路基础设施的维护和保养成本，或限制建筑物或城市的能源消耗。这些技术代表了混凝土行业在大多数混凝土产品的市场和附加值方面的真正机遇。它们使得增加建筑系统的功能成为可能：与用户的交互、基础设施管理、能源回收等。这些技术将对使用它们的材料和产品的形象产生影响。具体产品从被动状态演变为具有通信属性的对象状态。
RISC-V 处理器的物理实现 - Aaltodoc
摘要 开源指令集架构 RISC-V 在首次发布后就引起了人们的关注。该 ISA 提供了一组精简且可扩展的指令，而不会损害典型处理器的任何功能。2020 年，阿尔托大学启动了一个 RISC-V 处理器项目，以在阿尔托大学开展处理器研究并将其用作其他项目的 CPU。在此项目期间，称为“A-core”的处理器已发展成为一个功能强大的内核，可以驱动各种外围设备并运行汇编或 C 程序。本论文的目标是通过开发基于 RISC-V 的自动化开发平台来设计 A-core 的完整物理实现。通过开发物理实现，可以在实际物理约束下验证和确认处理器。此外，物理实现允许更广泛地开发软件，将处理器用作教学和驱动其他芯片的一部分。在这项工作期间开发的基于 RISC-V 的自动化开发环境提供了设计和研究物理实现的工具。该环境还提供了验证和确认工具，以便能够以最小的缺陷制造实现。因此，A-core 的物理实现包括在设计过程中添加的所有功能，例如加速器、流水线和微小的结构变化，并使用自动化开发环境工具验证了设计。该设计最终被送去制造。从制造商那里到达后，必须通过测量来验证设计，之后才能说它完全可以正常工作，并且可以在阿尔托大学未来的工作中使用。