XiaoMi-AI文件搜索系统
World File Search System设计系统
迈向经过验证的人工智能
软件、网络攻击和人工智能系统安全。4 因此，人工智能系统的验证和确认问题，以及更广泛地说，实现值得信赖的人工智能的问题，39 已开始引起研究界的关注。我们将“经过验证的人工智能”定义为设计具有强大、理想情况下可证明的正确性保证的人工智能系统的目标，这些保证对于数学指定的要求是正确的。我们如何实现这一目标？在本文中，我们从形式化方法的角度考虑经过验证的人工智能的挑战，形式化方法是一个计算机科学和工程领域，涉及系统的严格数学规范、设计和验证。38 形式化方法的核心在于证明：制定形成证明义务的规范；设计系统以满足这些义务；并通过算法证明搜索验证系统确实符合其规范。从规范驱动的测试和仿真到模型检查和定理证明，一系列形式化方法通常用于集成电路 (IC) 的计算机辅助设计，并已广泛应用于查找软件中的错误、分析信息物理系统 (CPS) 和查找安全漏洞。我们回顾了
与Amigos合作 - 为南极洲开发远程测量站
自动化气象 - 冰 - 地球物理学 - 海洋观察系统（Amigos）是一种多传感器的冰上海洋，冰和气候观测系统，设计系统，可在全年实时实时进行极端和遥远的部署，与最小的人类交互。工程和软件需求相对独特且具有挑战性，但与其他领域的探索非常相似。Partnering with the CU chapter of the Colorado Space Grant Consortium (COSGC), a NASA funded organization for creating opportu- nities and learning experience for Colorado students interested in careers in space technology, a group of CU undergraduate engineering students known as the Junior Antarctic Engineering Team (JANE) was formed and contributed start to finish in the development of the latest iteration of these sys- tems, the AMIGOS iii。在2020年初，这项工作最终在南极的东部Thwaites冰架上安装了两个Amigos III，在Cavyy Camp（75.048°S，105.584°W）和Channel Camp（75.057°S，75.057°S，105.446°W），约4 km相距4 km。
大型发动机控制模块（LECM）
iolock。当CPU或I/O模块失败时，看门狗逻辑将其驱动到Iolock条件下，所有输出电路和信号均被驱动到已知的去激化状态，如下所述。必须设计系统，以使Iolock和Power Off状态将导致受控设备的安全状况。•CPU和I/O模块故障将将模块驱动到Iolock状态。•CPU故障将向所有模块和扩展架上主张Iolock信号，以将其驱动到Iolock状态。•离散输出 /继电器驱动程序将无效且能量。•模拟和执行器输出将无活性，并用零电压或零电流脱氧。在各种条件下主张了Iolock状态，包括：•CPU和I/O模块监视案件故障•PowerUp和PowerDown条件•系统重置和硬件/软件初始化•输入配置模式•用户选择注意：其他看门狗详细信息以及这些失败状态在相关的CPU或I/O模块部分中指定了这些故障状态。
应用程序的机器学习
在本文中，我们处理了准确，自动检测一般图像的方向的问题，例如，假日快照。检测图像方向对于人类来说是一件容易的事，但在数字照片的处理和管理过程中可能是一项漫长而乏味的活动。在设计系统以正确的方向显示图像的系统设计中已经进行了几次尝试，但是，这仍然是一个开放的问题。在这项工作中，我们利用深度学习的力量提出了一种转移学习方法，该方法将预训练的卷积神经网络调整为此分类任务。我们创建了通过随机更改给定网络的所有激活层中的激活功能设计的不同卷积神经网络模型的合奏。以及几个已知的激活函数，我们还将新颖的软学习激活函数包括在“随机集”中。我们由此产生的合奏已在从四个不同的公共数据集中拍摄的45,000多张图像上进行了广泛的评估，显示出与其他最新方法相对于其他最新方法的显着性能改善。所有用于此工作的源代码均可在https://github.com/lorisnanni/上免费获得。
使用提示自动生成建模元素...
智能技术系统（ITS）的开发需要高级方法，以满足不断增长的系统复杂性和各种利益相关者要求的种类。基于模型的系统工程（MBSE）已被证明是一种有前途的开发方法，可以应对不断增长的系统复杂性和提高企业敏捷性（Friedenthal 2023）。通常，系统工程（SE）致力于开发整体解决方案和集成系统组件以满足客户需求和功能（Hitchins 2007）。se首先定义系统要求，然后设计系统元素，合成和复杂系统验证（Walden 2023）。MBSE是基于文档的SE的扩展，其中有关系统的信息在系统模型中被形式化。这种以模型为中心的方法可以为跨学科系统开发所需的一致且可追溯的系统设计（Friedenthal 2023）。系统模型有助于更深入地了解系统需求与系统新兴属性，内部结构和行为之间的联系。建模使整合易于管理的不同观点的复杂性。系统模型是在研讨会中设计的，其中随后将模型数字化，或者使用建模工具直接以数字形式进行数字化（Tschirner 2016）。正式的建模语言，例如Sysml（Delligatti 2014），用于以正式的方式捕获系统设计。
自动水下车辆的控制系统的设计Edysys1
摘要。本文描述了自动水下车辆的控制系统的设计Edysys1。与远程操作的车辆（ROV）相比，一辆无人驾驶的水下车辆是一种无人驾驶的且自行的水下船只，可以独立运行，并执行几项分配给它的任务，该任务通常被束缚在船上或其他系泊的水车上。自主水下车辆的控制系统的智能设计是一个积极的研究领域，赋予对自治的需求和智能系统满足此类需求的能力。一个控制系统是用Raspberry Pi 4计算机设计为主控制单元的。通过车辆采集数据采集的各种子系统和传感器由Raspberry Pi 4控制，该覆盆子PI 4具有配置的机器人操作系统（ROS）。使用Python编程语言配置控制每个传感器的必要智能。此后，相关的python脚本在ROS框架中作为节点实现。通过调用ROS中的相关节点，通过ROS环境中的设计系统获得了各种感觉数据值。还实现了通过洛拉的成功沟通。
手推车机器人导航带有相机视觉
机器人技术领域的快速发展刺激了密集研究，尤其是在工业部门，旨在开发可以帮助简化日常人类任务的机器人。一个新兴领域的研究领域涉及货运机器人手推车的设计。这个手推车机器人有能力通过识别该人通过图像处理所穿的衣服的颜色来跟随一个人。这项研究的目的是通过使机器人能够识别和遵循最小距离30厘米，最大距离超过3米的人类物体来促进货物的运输，尤其是在机场环境中。该机器人手推车的设计系统利用摄像头传感器在Microsoft Visual Studio 2012平台上使用OpenCV来检测要跟踪的对象。图像处理导致发送到Arduino的PWM值驱动直流电动机。此外，还采用了超声波传感器来限制机器人在周围环境中的运动，从而防止碰撞。机器人的速度可以根据人的步行速度进行调整。如果机器人移动得太快，那么当机器人与所遵循的人之间的距离小于30厘米时，它将被超声传感器停止，避免了机器人与人之间的碰撞。
战略公路研究计划 (SHRP) 评估...
16. 摘要 战略公路研究计划 (SHRP) 是一个耗资 1.5 亿美元的 5 年研究计划，针对四个领域：沥青、混凝土、公路运营和路面工程。这项工作产生了 128 种产品，每种产品都可能是设备、程序、规范等。这些产品中的许多产品和 SHRP 研究的其他方面都适用于机场路面，但这些技术必须单独评估才能确定其实用性。这些评论已被组织成情况说明书，提供产品的简要描述和对该技术是否适用于联邦航空管理局 (FAA) 路面及其使用中涉及的技术问题的评估。已根据当前的 FAA 沥青混合料设计对 SHRP 沥青混合料设计系统 (SUPERPAVE ® ) 进行了评估。 SHRP 期间进行的沥青混合料测试（恒定高度重复简单剪切、弯曲梁疲劳和热应力约束试样测试）表明，重型 SHRP 和重型 FAA 实验室制备的试样在性能相关材料特性方面没有显著差异。其中包括关于 FAA 采用和/或修订 SHRP 沥青技术方面的建议。
研究声明：行为信息的机器学习
机器学习（ML）已整合到日常生活的各个方面，在很大程度上从人类数据中得出了培训。因此，这些ML系统经常表现出和反映人类的行为偏见，从而引起了从社交媒体到医疗决策的应用的担忧。然而，尽管心理学研究的证据表明，但目前的ML方法主要将人类视为独立的，随机数据来源或认为它们是理性决策者。这一差距强调了将凭经验扎根的人类行为洞察力纳入ML设计的必要性。此外，随着ML的不断增长，它开辟了设计系统通过考虑现实的人类行为来增强人类决策的潜力。我的研究旨在开发出行为知识的机器学习，检查和将经验依据的人类行为纳入ML系统的设计。我重点介绍了ML生命周期中人类行为的两个关键方面：用于培训ML模型的数据的产生，以及与机器援助同行的人类决策。相应地，我的研究介绍了人类与ML之间的两种关键形式：设计从人类行为数据中学习的ML系统，并设计了增强人类决策中人类的ML系统。
管理中的定量模型和方法II
CB1。 学生在研究领域中表现出对知识的财产和理解，该研究领域以中等教育的基础为基础，并且通常处于依靠高级教科书的同时，还包括一些涉及研究CB2领域尖端的知识的方面。 学生能够以专业的方式将自己的知识应用于他们的工作或职业，并拥有通过在学习领域内的论点和解决问题解决的能力。 CB3。 学生有能力收集和解释相关数据（通常在其研究领域），以做出判断，包括反思相关的社会，科学或道德问题。 CB5。 学生将发展具有高度自治的进一步学习所需的学习技能。 cg1。 能够通过主动，决策，创造力，关键推理解决问题，并在工业工程领域进行知识，技能和能力传达和传递知识，技能和能力。 CG3。 能够在工业技术领域设计系统，组件或过程以满足所需规范CG4的能力。 知识和应用当前立法以及工业工程领域的规格，法规和强制性标准的能力。 CG5。 对公司的概念，机构和法律框架的概念充分了解。 公司的组织和管理。 CG6。 应用公司组织的知识。CB1。学生在研究领域中表现出对知识的财产和理解，该研究领域以中等教育的基础为基础，并且通常处于依靠高级教科书的同时，还包括一些涉及研究CB2领域尖端的知识的方面。学生能够以专业的方式将自己的知识应用于他们的工作或职业，并拥有通过在学习领域内的论点和解决问题解决的能力。CB3。 学生有能力收集和解释相关数据（通常在其研究领域），以做出判断，包括反思相关的社会，科学或道德问题。 CB5。 学生将发展具有高度自治的进一步学习所需的学习技能。 cg1。 能够通过主动，决策，创造力，关键推理解决问题，并在工业工程领域进行知识，技能和能力传达和传递知识，技能和能力。 CG3。 能够在工业技术领域设计系统，组件或过程以满足所需规范CG4的能力。 知识和应用当前立法以及工业工程领域的规格，法规和强制性标准的能力。 CG5。 对公司的概念，机构和法律框架的概念充分了解。 公司的组织和管理。 CG6。 应用公司组织的知识。CB3。学生有能力收集和解释相关数据（通常在其研究领域），以做出判断，包括反思相关的社会，科学或道德问题。CB5。 学生将发展具有高度自治的进一步学习所需的学习技能。 cg1。 能够通过主动，决策，创造力，关键推理解决问题，并在工业工程领域进行知识，技能和能力传达和传递知识，技能和能力。 CG3。 能够在工业技术领域设计系统，组件或过程以满足所需规范CG4的能力。 知识和应用当前立法以及工业工程领域的规格，法规和强制性标准的能力。 CG5。 对公司的概念，机构和法律框架的概念充分了解。 公司的组织和管理。 CG6。 应用公司组织的知识。CB5。学生将发展具有高度自治的进一步学习所需的学习技能。cg1。能够通过主动，决策，创造力，关键推理解决问题，并在工业工程领域进行知识，技能和能力传达和传递知识，技能和能力。CG3。 能够在工业技术领域设计系统，组件或过程以满足所需规范CG4的能力。 知识和应用当前立法以及工业工程领域的规格，法规和强制性标准的能力。 CG5。 对公司的概念，机构和法律框架的概念充分了解。 公司的组织和管理。 CG6。 应用公司组织的知识。CG3。能够在工业技术领域设计系统，组件或过程以满足所需规范CG4的能力。知识和应用当前立法以及工业工程领域的规格，法规和强制性标准的能力。CG5。 对公司的概念，机构和法律框架的概念充分了解。 公司的组织和管理。 CG6。 应用公司组织的知识。CG5。对公司的概念，机构和法律框架的概念充分了解。公司的组织和管理。CG6。 应用公司组织的知识。CG6。应用公司组织的知识。CG8。 知识和应用质量原则和方法的能力。 CG9。 知识和应用计算和实验工具的能力来分析和量化工业工程问题。 ra1。 知识和理解：在工业领域内具有对科学，数学和工程学的基本知识和理解，以及对力学，固体和结构力学，固体和结构力学，热工程，流体力学，生产系统，电气和自动化，工业组织和电气工程的知识和理解。 ra2。 工程分析：为了确定工业领域内的工程问题，识别规格，建立不同的分辨率方法并选择最适合其解决方案的方法。 研究与创新：能够使用适当的方法进行研究并在工业工程领域做出创新贡献。 ra5。 工程应用程序：能够根据成本，质量，安全性，效率和对环境的尊重的标准，将其知识和理解应用于工业工程领域的问题，设计设备或流程。 ra6。 横向技能：在当今社会中具有必要的技能来实践工程。CG8。知识和应用质量原则和方法的能力。CG9。 知识和应用计算和实验工具的能力来分析和量化工业工程问题。 ra1。 知识和理解：在工业领域内具有对科学，数学和工程学的基本知识和理解，以及对力学，固体和结构力学，固体和结构力学，热工程，流体力学，生产系统，电气和自动化，工业组织和电气工程的知识和理解。 ra2。 工程分析：为了确定工业领域内的工程问题，识别规格，建立不同的分辨率方法并选择最适合其解决方案的方法。 研究与创新：能够使用适当的方法进行研究并在工业工程领域做出创新贡献。 ra5。 工程应用程序：能够根据成本，质量，安全性，效率和对环境的尊重的标准，将其知识和理解应用于工业工程领域的问题，设计设备或流程。 ra6。 横向技能：在当今社会中具有必要的技能来实践工程。CG9。知识和应用计算和实验工具的能力来分析和量化工业工程问题。ra1。知识和理解：在工业领域内具有对科学，数学和工程学的基本知识和理解，以及对力学，固体和结构力学，固体和结构力学，热工程，流体力学，生产系统，电气和自动化，工业组织和电气工程的知识和理解。ra2。工程分析：为了确定工业领域内的工程问题，识别规格，建立不同的分辨率方法并选择最适合其解决方案的方法。研究与创新：能够使用适当的方法进行研究并在工业工程领域做出创新贡献。ra5。工程应用程序：能够根据成本，质量，安全性，效率和对环境的尊重的标准，将其知识和理解应用于工业工程领域的问题，设计设备或流程。ra6。横向技能：在当今社会中具有必要的技能来实践工程。