$ git 克隆 git://git.yoctoproject.org/meta-selinux 源/meta-selinux $ git 克隆 git://git.yoctoproject.org/meta-virtualization 源/meta-virtualization $ git 克隆 https://github.com/OSSystems/meta-browser 源/meta-browser $ git 克隆 https://github.com/kraj/meta-clang 源/meta-clang $ git 克隆 https://github.com/Freescale/meta-freescale-distro 源/meta-freescale-distro $ git 克隆 https://github.com/openembedded/meta-openembedded 源/meta-openembedded $ git 克隆 https://github.com/TimesysGit/meta-timesys 源/meta-timesys $ git 克隆 https://source.codeaurora.org/external/qoriq/qoriq-components/meta-qoriq 源/meta-qoriq
国防部和 GAO 对项目风险的评估确定了一系列项目风险等级,并表明一些项目可能低估了风险。具体而言,在积极使用登记册来管理项目风险的 22 个项目中,国防部将 9 个项目评为低风险,12 个项目评为中等风险,1 个项目评为高风险。相比之下,GAO 将 7 个项目评为低风险,12 个项目评为中等风险,3 个项目评为高风险。总体而言,GAO 发现 10 个项目的项目风险数字评估反映的风险高于国防部报告的风险,而国防部有三个项目报告的风险高于 GAO。国防部官员指出,风险水平的差异可能与多种因素有关,包括不同的风险评估方法。然而,GAO 确定的风险水平差异凸显了国防部需要确保准确报告项目风险。在该部门这样做之前,对某些项目的监督可能会受到过于乐观的风险观点的限制。
摘要 随着更强大的量子计算机的发展,量子软件工程研究领域应运而生,其目标是提供开发高质量量子应用程序的概念、原则和指南。在传统软件工程中,生命周期用于记录软件的设计、实现、维护、分析和调整过程。此类生命周期为如何开发和操作应用程序提供了共同的理解,由于量子计算的跨学科性质,这一点尤为重要。由于当今的量子应用程序在大多数情况下是混合的,由量子和经典程序组成,因此量子应用程序的生命周期必须涉及这两种程序的开发。然而,现有的生命周期仅针对量子或经典程序的独立开发。此外,必须使用工作流等方式协调各种程序。因此,量子应用程序的开发也包含工作流生命周期。在本章中,我们将分析通常组成量子应用程序的软件工件并介绍它们相应的生命周期。此外,我们确定了各个生命周期之间的连接点,并将它们集成到整个量子软件开发生命周期中。因此,集成的生命周期是开发和执行混合量子应用程序的基础。
美国国防部 (DOD) 推迟了关键测试的完成,直到 F-35 飞机模拟器的问题得到解决,GAO 去年也报告了这一点,并将再次推迟其全速生产决定。2020 年 8 月,项目办公室确定飞机模拟器(用于复制无法在真实环境测试中完成的复杂测试场景)不能完全代表 F-35 的能力,在修复之前不能用于进一步测试。从那时起,项目官员一直在制定一项新计划,以确保模拟器按预期工作。在他们最终确定计划并修复模拟器之前,下一个生产里程碑日期(将正式授权国防部从开发过渡到全面生产)仍未确定(见图)。
摘要— 为了保证储能系统 (SAE) 的适当运行条件,延长其使用寿命并为用户提供安全保障,需要使用一种称为电池管理系统 (BMS) 的设备。目前销售的大多数设备都局限于锂电池技术的操作特性,这些特性与实验室研究和开发的其他类型电池的操作方式不同。可以通过开放平台规避其他技术的限制,允许对 BMS 进行修改以适应应用技术。这种自适应特性在商业化设备中很少见,当 BMS 的目标与需要实验步骤的学术研究相关时,这种特性至关重要。因此,本研究提出了一种低成本自适应开源 BMS 原型,能够监测最多 10 个串联电池的电压、电流、温度和充电状态变量。开发包括用于 BMS 功能基本运行的硬件和软件。所提出的 BMS 是基于两种电池技术开发的:18650 锂离子和氯化镍钠。 BMS 在两种技术上的多功能性旨在展示系统的适应能力。对于远程监控,使用 Node-RED 和 IBM Watson 工具开发了一个界面。
输出前缀:[] 最小热身运行次数:[1] 最小热身运行持续时间(秒):[0.5] 图表:[mobilenet_quant_v1_224.tflite] 输入层:[] 输入形状:[] 输入值范围:[] 输入层值文件:[] 允许 fp16:[0] 要求完全委派:[0] 启用 op 分析:[0] 最大分析缓冲区条目:[1024] 用于导出分析数据的 CSV 文件:[] 最大委派分区数:[0] 加载模型 mobilenet_quant_v1_224.tflite 输入模型文件大小(MB):4.2761 初始化会话用时 29.969 毫秒。运行基准测试至少 1 次迭代和至少 0.5 秒,但如果超过 150 秒则终止。 count=6 first=87280 curr=84477 min=84477 max=87280 avg=85015.3 std=1015 运行基准测试至少 50 次迭代和至少 1 秒,但如果超过 150 秒则终止。count=50 first=84593 curr=84484 min=84441 max=85168 avg=84582.6 std=148 平均推理时间(单位:美元):热身:85015.3,初始化:29969,推理:84582.6 注意:由于基准测试工具本身会影响内存占用,以下内容仅是模型在运行时实际内存占用的近似值。请自行判断。峰值内存占用(MB):init=7.03516 Overall=8.96875
摘要 — 城市空中交通和无人机系统全球市场的兴起吸引了世界各地的许多初创企业。这些组织在民航用于开发软件和电子硬件的传统流程方面几乎没有接受过培训或经验。他们还受到资源限制,无法分配给专业团队遵循这些标准化流程。为了填补这一空白,本文提出了一种自定义工作流程,该工作流程基于从安全关键软件基础标准 DO-178C/DO-331 派生的一组目标。从标准中选择目标是基于特定目标的重要性、自动化程度和可重用性。该自定义工作流程旨在建立精益且高度自动化的开发生命周期,从而为研究和原型飞机提供更高质量、可维护性更好的软件。它还可以作为某些应用软件(如无人机系统、城市空中交通和通用航空)的合规手段。通过生成必要的开发和验证工件集,自定义工作流程还为未来符合 DO-178C/DO-331 的潜在认证提供了可扩展的基础。自定义工作流程在自动驾驶仪手动断开系统案例研究中得到演示。索引术语 —DO-178C、DO-331、软件保证、安全关键系统、精益软件开发、基于模型的开发、需求管理、敏捷开发
摘要 — 城市空中交通和无人机系统全球市场的兴起吸引了世界各地的许多初创企业。这些组织在民航用于开发软件和电子硬件的传统流程方面几乎没有接受过培训或经验。他们还受到资源限制,无法分配给专业团队遵循这些标准化流程。为了填补这一空白,本文提出了一种自定义工作流程,该工作流程基于从安全关键软件基础标准 DO-178C/DO-331 派生的一组目标。从标准中选择目标是基于特定目标的重要性、自动化程度和可重用性。该自定义工作流程旨在建立精益且高度自动化的开发生命周期,从而为研究和原型飞机提供更高质量、可维护性更好的软件。它还可以作为某些应用软件(如无人机系统、城市空中交通和通用航空)的合规手段。通过生成必要的开发和验证工件集,自定义工作流程还为未来符合 DO-178C/DO-331 的潜在认证提供了可扩展的基础。自定义工作流程在自动驾驶仪手动断开系统案例研究中得到演示。索引术语 —DO-178C、DO-331、软件保证、安全关键系统、精益软件开发、基于模型的开发、需求管理、敏捷开发
摘要 —RISC-V 是一种新兴架构,在低功耗物联网应用中逐渐强大。架构扩展的稳定和基于 RISC-V 的 SOC(如 Kendryte K210)的商业化的开始,引发了一个问题:这个开放标准是否会促进特定市场应用程序的开发。在本文中,我们评估了与 Sipeed MAIX Go 开发板相关的开发环境、工具链、调试过程,以及 Kendryte K210 的独立 SDK 和 Micropython 端口。还研究了内置卷积神经网络加速器的训练管道,支持 Tiny YOLO v2。为了深入评估上述所有方面,我们开发了两种基于 AI 的低成本、低功耗物联网边缘应用程序。第一个应用程序能够识别房屋内的移动,并自主识别移动是由人还是由家养宠物(例如狗或猫)引起的。在当前 COVID-19 疫情的背景下,第二个应用程序能够标记行人是否戴着口罩,以平均 13 FPS 的速度进行实时物体识别。在整个过程中,我们可以得出结论,尽管硬件具有潜力且具有出色的性能/成本比,但开发人员的文档很少,开发环境的成熟度较低,有时甚至没有调试过程。索引术语 —RISC-V、物联网、人工智能、AIoT、Kendrite K210、Sipeed MAIX、CNN 硬件加速器。
无担保。本卡内基梅隆大学和软件工程学院材料按“原样”提供。卡内基梅隆大学不对任何事项提供任何明示或暗示的担保,包括但不限于对用途适用性、适销性、排他性或使用材料所获得的结果的担保。卡内基梅隆大学不对专利、商标或版权侵权提供任何担保。