Embotech是一种屡获殊荣的软件扩展,开发了自动驾驶汽车的最前沿自动驾驶技术和解决方案,重点是私人地面应用,例如港口航站楼的卡车和工厂中的乘用车。我们通过利用自2012年以来一直在开发的实时优化技术来提供安全的自主运输。我们正在寻找一个热衷于让真正复杂系统工作的实习生。您将使用Embotech的核心自动驾驶技术和外部供应商的元素来使用Safety&Systems Ankuiling(SSE)团队在部署一系列全栈自动驾驶系统中发挥重要作用。您的角色将涉及我们测试车辆上自动驾驶组件的开发,集成和测试以及全栈自动驾驶系统。我们在一家具有诱人条件和灵活的时间的快速发展的公司中提供令人兴奋的实习。Embotech在现代和动态的环境中开发创新产品,您可以期待国际氛围,具有高技能的同事,对卓越和效率充满热情。我们正在寻找高度有动力的人来帮助我们解决当今最复杂的挑战之一,并将我们的公司提升到一个新的水平。责任•开发经过良好测试和记录的软件,用于以私人为基础的自动驾驶。•将我们的软件和系统部署在我们自己和客户站点的测试车辆中。
根据世界卫生组织的说法,使用了一千多种不同的农药来保护农作物免受害虫的影响,以提高产量,并最大程度地减少储存和运输过程中农产品的恶化。但是,不当使用农药可能会导致食品供应和环境污染,从而使定义和监测农药残留目标至关重要,以保护环境,消费者健康,支持贸易并建立食品监管控制。因此,实验室的任务是开发具有广泛范围的方法,以检测,正确识别和量化数百种不同的农药及其转化产物的不同样本矩阵,通常在监管机构设置的最大残留水平(MRL)水平上。
计算机体系结构基础:处理器、内存、输入和输出设备、应用软件和系统软件:编译器、解释器、高级和低级语言、结构化编程方法简介、流程图、算法、伪代码(冒泡排序、线性搜索 - 算法和伪代码)
外围模块用途消息处理单元 (MHU) 配置处理器间中断。带 FIFO 的串行通信接口 (SCIFA) 执行标准串行通信,发送和接收控制台消息。中断控制器 (INTC) 配置中断设置;处理器将在缓冲串行通信期间接收中断,并在触发处理器间中断时在 MHU 模块中接收中断。时钟脉冲发生器 (CPG) 配置主 CPU 时钟。通用输入输出 (GPIO) 配置串行通信使用的 I/O 线。通用计时器 (GTM) 配置 FreeRTOS 的滴答。
摘要 神经形态计算系统(例如 DYNAP 和 Loihi)最近已被引入计算社区,以提高机器学习程序的性能和能源效率,尤其是使用脉冲神经网络 (SNN) 实现的程序。神经形态系统的系统软件的作用是聚类大型机器学习模型(例如,具有许多神经元和突触),并将这些聚类映射到硬件的计算资源。在这项工作中,我们制定了神经形态硬件的能耗,考虑了神经元和突触消耗的功率,以及在互连上传递脉冲所消耗的能量。基于这种公式,我们首先评估系统软件在管理神经形态系统能耗方面的作用。接下来,我们制定一种简单的基于启发式的映射方法,将神经元和突触放置到计算资源上以降低能耗。我们通过 10 个机器学习应用程序评估了我们的方法,并证明所提出的映射方法可以显著降低神经形态计算系统的能耗。
表格已获批准 OMB 编号 0704-0188 估计此信息收集的公共报告负担每份回应平均需要 1 小时,包括审查说明、搜索现有数据源、收集和维护所需数据以及完成和审查此信息收集的时间。请将有关此负担、估计或此信息收集的任何其他方面的评论(包括减轻此负担的建议)发送至国防部华盛顿总部服务处信息行动和报告局 (0704-0188),1215 Jefferson Davis Highway, Suite 1204, Arlington, VA 22202-4302。受访者应注意,尽管法律有其他规定,但如果信息收集未显示当前有效的 OMB 控制编号,则任何人均不会因未遵守信息收集而受到任何处罚。请不要将表格寄回上述地址。1. 报告日期 ( DD-MM-YYYY )
注意 本文件由美国运输部赞助发布,旨在交流信息。美国政府对其内容或使用不承担任何责任。美国政府不认可任何产品或制造商。贸易或制造商的名称出现在本文中仅仅是因为它们被认为对本报告的目标至关重要。本报告中的调查结果和结论均为作者的观点,并不一定代表资助机构的观点。本文件不构成 FAA 政策。有关其使用,请咨询技术文档页面上列出的 FAA 赞助组织。本报告可在联邦航空管理局 William J. Hughes 技术中心的全文技术报告页面:actlibrary.tc.faa.gov 以 Adobe Acrobat 便携式文档格式 (PDF) 获得。
16. 摘要 本研究的目的是确定评估标准,使开发人员和认证机构能够从系统和软件安全的角度评估特定的安全关键型实时软件开发工具。报告阐明了当前航空系统认证指南中软件开发工具的概况。研究工作朝两个方向进行:(1)收集工具资格认证工作的数据,以检查现有指南未来可能出现的修改;(2)通过确定工具类别、功能、关注点、因素和评估方法来创建软件开发工具评估分类法。问题陈述有四个部分:(1)行业观点,(2)资格认证,(3)质量评估,(4)工具评估分类法。从行业收集的数据影响了评估过程和开发工具实践的建议。报告描述了用于评估工具的选定方法。报告介绍了研究过程中确定的不同类别的工具。此分类仅限于 DO-178B 指导的研究范围。最后,报告定义了工具评估分类法的结构和组织。
16. 摘要 本研究的目的是确定评估标准,使开发人员和认证机构能够从系统和软件安全的角度评估特定的安全关键型实时软件开发工具。报告阐明了当前航空系统认证指南中软件开发工具的概况。研究工作朝两个方向进行:(1)收集工具资格认证工作的数据,以检查现有指南未来可能出现的修改;(2)通过确定工具类别、功能、关注点、因素和评估方法来创建软件开发工具评估分类法。问题陈述有四个部分:(1)行业观点,(2)资格认证,(3)质量评估,(4)工具评估分类法。从行业收集的数据影响了评估过程和开发工具实践的建议。报告描述了用于评估工具的选定方法。报告介绍了研究过程中确定的不同类别的工具。此分类仅限于 DO-178B 指导的研究范围。最后,报告定义了工具评估分类法的结构和组织。