XiaoMi-AI文件搜索系统
World File Search System系统设计
无人机数字式执行器自动测试系统设计...
杨涛 * ，柴立人，王刚 中国航天空气动力研究院，北京 100074 * 通讯作者 摘要：针对无人机数字作动器测试问题，该作动器是无人机的关键部件之一，其静动态性能直接影响无人机的机动性能，本文研究了一种全自动数字作动器测试系统，介绍了该系统的硬件和软件设计方案，并进行了应用演示。该系统以 TI 双核微控制器 TMS28377D 为核心，拥有 RS422、RS485、RS232、CAN Bus 等广泛应用于数字作动器的丰富通信接口。此外，测试系统还连接旋转增量式编码器，提供数字作动器的实际位置信息，以及 SD 卡用于实时记录数据。测试系统通过以太网通信与上位机通信，上位机发送命令并接收反馈。本文设计的全自动数字作动器具有可靠性高、升级方便等优点。该自动测试系统在无人机数字执行器的研制、生产和仓储中有着巨大的潜力。
海事系统设计与验证的形式化方法...
摘要 海上自主水面舰艇 (MASS) 正在接近现实，为海上控制系统带来了新的复杂性和关键性。在本文中，我们研究了如何使用形式化方法 (FM) 来设计和验证海上控制系统，以实现安全有效的 MASS。FM 是一系列基于数学的规范和验证方法。我们首先对 FM 进行高级介绍。我们讨论了当前的海上控制系统认证实践和走向自主化的需求。我们给出了三个具体示例，说明如何应用 FM 来满足这些需求：COLREG 的形式化规范、基于合同的设计和基于模拟的测试的自动化。最后，讨论了 FM 的一些局限性。我们得出结论，FM 似乎是满足部分自主性需求的有希望的候选者，并鼓励对 MASS 的 FM 进行进一步研究。关键词 海上自主水面舰艇、形式化方法、验证、规范、保证 简介 海上自主水面舰艇 (MASS) 正在接近现实，正在进行的项目众多，从小型研究原型到全尺寸工业船舶。虽然存在几种程度的自主性，但 MASS 的典型特点是能够在非平凡操作中独立于人类操作员运行，需要态势感知和规划能力。这些特点使得 MASS 开发人员需要新的设计方法，监管机构 (IMO 2021、NMD 2020) 和船级社 (DNV 2018) 也需要新的安全保证方法和流程。形式化方法 (FM) 是一类基于数学的规范和验证方法，源自理论计算机科学 (Woodcock 等人2009)。FM 提供高水平的保证，因此几十年来一直被积极用于其他行业（如航空航天和铁路）关键系统的开发和验证。随着自主系统的出现，FM 被认为是解决它们带来的一些保证挑战的有希望的候选者。这导致了过去十年来对应用于自动驾驶汽车和飞行器的 FM 的积极研究（Luckcuck 等人2019）。海运业尚未看到 FM 的广泛采用。然而，这种情况似乎正在改变，因为去年发表了一些文章。Shokri-Manninen 等人。福斯特等人。(2020) 创建了一个基于自动机的单船相遇正式模型，并综合了一种构造正确的导航策略。Park 和 Kim (2020) 基于可达性分析，综合了一种构造正确的船舶自动停靠控制器。(2020) 提出了一种混合动力系统形式的自主船舶控制器，并使用自动定理证明器来验证一些安全不变量。本文旨在通过首先进行高级介绍，引起海事界对 FM 的关注。接下来，我们回顾当前海事控制系统设计和验证的实践，并讨论一些走向自主化的需求。然后，我们在三个特定用例中激励并演示了 FM 的使用，以满足这些需求。最后，我们讨论一下 FM 的一些局限性。
![“嵌入式系统设计[ESD]”模块手册](/simg/5\53f2adca073362d62853e3ca84b10877dd625ce7.webp)
“嵌入式系统设计[ESD]”模块手册
文献 E. W. Dijkstra：协作顺序进程。收录于：F. Genys（编辑），《编程语言》，Academic Press，纽约（1968）43-112 P. B. Hansen，《Java 的不安全并行性》，ACM SIG-PLAN 通知，（4）23（1999）38-45。C. A. R. Hoare：监视器：操作系统结构概念，《ACM 通讯》，（10）17（1974），549-557。C. A. R. Hoare：通信顺序进程，《ACM 通讯》，（8）21（1978），666-677。D. Lea：Java 并发编程 - 设计原则和模式，Java 系列，Addison-Wesley，马萨诸塞州雷丁，第 2 期。Auflage (2000)。J. Magee、J. Kramer：并发 - 状态模型和 Java 程序，John Wiley & Sons，西萨塞克斯，第 2 期。Auflage (2006)。B. Sanden：应对 Java 线程，IEEE 计算机，(4) 37 (2004)，20-27。B. Goetz：Java 并发实践，Addison-Wesley，新泽西州上萨德尔河 (2006)。T. Rauber, G. Rünger：Parallele Programmierung，Springer-Verlag，柏林，海德堡，2。Auflage (2007)。
针对中小型企业的生产力工作系统设计...
摘要 — 这篇全面的文献综述深入探讨了工作系统设计对中小企业绩效的影响和应用。审查过程涉及三名独立审阅者，他们通过四步程序筛选了 514 篇文章：删除重复项、评估关键字相关性、评估摘要内容和彻底审查全文文章。采用各种标准（例如与研究主题的相关性、出版物类型、研究类型、语言、出版日期和方法质量）来排除某些出版物。经过系统的文献综述，一部分符合预定义纳入标准的文章被纳入。这些选定的出版物经过数据提取和分析，以汇编关于工作系统设计对中小企业绩效影响的见解。此外，还评估了纳入研究的质量，并确定了对证据主体的信心水平。这篇评论的结果揭示了工作系统设计如何影响中小企业绩效，强调了重要的含义和应用。此外，这篇评论为这一关键领域的进一步研究提出了建议，并总结了该领域的当前知识状态。了解工作系统设计与中小企业成功之间的复杂联系可以提高中小企业的运营效率、员工敬业度和整体竞争力。对文献的全面研究对中小企业的学术研究和实际决策都有很大贡献。关键词 — 文献综述、生产力、中小企业、工作系统设计。
在线约会系统设计和关系决策
摘要当今建立浪漫关系的最流行方式之一是通过在线约会。典型的约会系统遵循三种格式之一，即see-screen（例如match.com），算法（例如eharmony.com）和混合（例如，okcupid.com），在个人控制和算法的参与程度上有所不同。不同的功能会影响日报对与选定合作伙伴关系发展的决策和期望吗？研究1表明，尽管Daters对看到和屏幕系统提供了对伴侣选择的个人控制，但他们也喜欢使用算法系统。研究2发现，混合系统通过在选择期间提供控制和算法验证的双重好处，从而提供了“两全其美”。发现更广泛地阐明了自决理论，决策和关系形成。
双模三通道光接收系统设计
关键词：雷达 海岸 光学接收系统 双频 三通道 摘要：海岸带多潮间带、岛礁，传统的船载声学测量方法效率极其低下，因此海岸带三维综合测量一直是遥感领域的一个难点。由于海水蓝绿光窗透明度好，激光点云数据能快速准确区分浅海水体地形特点。目前国际上对海岸带最有效的探测方式是机载双频激光雷达探测技术，该技术测量速率高，覆盖范围广。激光器同时输出1064nm和532nm双波长激光，1064nm激光形成海面回波，532nm激光穿透海水形成浅海和深海回波。但在海水传播过程中，随着水深的增加，光子散射数增多，会造成回波信号的衰减。因此对大动态范围内的弱光探测精度不高，一直是近岸航空测深的难点。针对这一问题，设计了分场三通道光学接收系统。ZEMAX仿真结果表明，双通道激光雷达三通道接收光学系统有效降低了光学元件与通道间的光串扰，实现了不同水深通道的能量收集。该结构对光电信号进行了动态压缩，提高了信噪比。
农业系统设计 2009 - Hal Inrae
• Jon Hanson 联合主席 • Jerry L. Hatfield 联合主席 • John Antle，蒙大拿州立大学，明尼苏达州，博兹曼 • James Ascough，ARS 柯林斯堡，科罗拉多州 • Bill Belotti，阿德莱德大学，澳大利亚 • Olaf Christen，哈雷-维滕贝格大学，德国 • Marcello Donatelli，CRA-CIN，意大利 • Carlo Giupponi，米兰大学，意大利 • Hans Langeveld，瓦赫宁根大学，荷兰 • Jay Norton，怀俄明大学，怀俄明州，拉勒米 • James Jones，佛罗里达大学，佛罗里达州 • Andrea Rizzoli，IDSIA-USI/SUPSI，瑞士 • Daniel Rodriguez APSRU，昆士兰州，布里斯班，澳大利亚 • Claudio Stockle，华盛顿州立大学，华盛顿州 • Martin van Ittersum，瓦赫宁根大学，荷兰 • Jacques Wery，UMR 系统 (Agro.M-Cirad-Inra)，法国 • Jeffrey怀特，USDA-ARS，马里科帕，亚利桑那州
飞行路径控制系统设计与仿真
1,2 航空电子系，JNTUK 卡基纳达科学技术学院 摘要：深入了解自动飞行控制系统的知识可以理解控制飞机飞行的基本问题，并提高其评估通常提出的问题的解决方案的能力。许多飞行任务都要求飞机非常精确地遵循某些专门定义的路径。每当需要控制一架传统飞机时，飞行员可以指挥三个轴中任意一个或所有轴的旋转速度：俯仰、滚转和偏航。在飞行控制处理中考虑对路径变量的控制时，需要测量飞机的航向和气压高度等路径变量。这些近似值是线性的，也是充分的；这类系统可被视为飞行路径控制系统类的成员，本文对此进行了深入讨论。本文以时域方法为基础，介绍了现代控制理论方法，特别是状态方程的使用，这是一种自然有效的技术，与飞机动力学的数学描述相协调，而飞机动力学可以用状态和输出方程最完整、最方便地表达。本文还涉及 AFCS 的特定模式，涉及在不同飞行条件下为参考飞机 CHARLIE（一种非常大的四引擎喷气式客机）实施的飞行路径控制系统。SIMULINK 用于实施飞行路径控制系统，因为它们对于形成集成 AFCS 的最外层循环非常重要。关键词：飞机动力学、自动飞行控制系统 (AFCS)、飞行路径控制系统 (FPCS)
为AI系统设计福利评估协议
表5。Anand等人提出的调查问题的示例。[1]用于三个中心功能。中心能力“生命”是指“能够生命到正常长度的人类生活的尽头；不要过早死亡，或者在人生的生活之前降低了以至于不值得生活”； “情感”包括“能够对自己外面的事物和人们具有依恋”； “隶属关系”包括“基于种族，性别，性取向，种族，种姓，宗教和国籍的非歧视性的规定” [1]
农业系统设计 2009 - Hal Inrae
• Jon Hanson 联合主席 • Jerry L. Hatfield 联合主席 • John Antle，蒙大拿州立大学，明尼苏达州，博兹曼 • James Ascough，ARS 柯林斯堡，科罗拉多州 • Bill Belotti，阿德莱德大学，澳大利亚 • Olaf Christen，哈雷-维滕贝格大学，德国 • Marcello Donatelli，CRA-CIN，意大利 • Carlo Giupponi，米兰大学，意大利 • Hans Langeveld，瓦赫宁根大学，荷兰 • Jay Norton，怀俄明大学，怀俄明州，拉勒米 • James Jones，佛罗里达大学，佛罗里达州 • Andrea Rizzoli，IDSIA-USI/SUPSI，瑞士 • Daniel Rodriguez APSRU，昆士兰州，布里斯班，澳大利亚 • Claudio Stockle，华盛顿州立大学，华盛顿州 • Martin van Ittersum，瓦赫宁根大学，荷兰 • Jacques Wery，UMR 系统 (Agro.M-Cirad-Inra)，法国 • Jeffrey怀特，USDA-ARS，马里科帕，亚利桑那州