XiaoMi-AI文件搜索系统
World File Search SystemMQT
使用 MQTT 实现 Cobot 的多模式交互
摘要：为了提高效率，人机和人机交互必须以多模态的理念进行设计。为了允许在多种不同的设备（计算机、智能手机、平板电脑等）上使用多种交互模式，例如使用语音、触摸、注视跟踪，并集成可能的连接对象，必须在系统的不同部分之间建立有效且安全的通信方式。当使用协作机器人 (cobot) 共享同一空间并在执行任务期间非常靠近人类时，这一点就更为重要。本研究介绍了使用 MQTT 协议的协作机器人在虚拟（Webots）和现实世界（ESP 微控制器、Arduino、IOT2040）中的多模态交互领域的研究工作。我们展示了如何高效地使用 MQTT，为系统的多个实体提供通用的发布/订阅机制，以便与连接的对象（如 LED 和传送带）、机械臂（如 Ned Niryo）或移动机器人进行交互。我们将 MQTT 的使用与之前几项研究工作中使用的 Firebase 实时数据库的使用进行了比较。我们展示了协作机器人和人类如何共同完成“挑选-等待-选择-放置”任务，以及这在通信和人体工程学规则方面意味着什么，包括健康或工业问题（残疾人和远程操作）。
MQT Qudits：混合维量子计算的软件框架
量子计算有望在许多领域超越传统设备的极限。尽管取得了令人瞩目的进展，但当前的研究主要集中在量子比特上。同时，基于多级 qudit 系统的量子硬件提供了一系列优势，包括扩展的门集、更高的信息密度和更高的计算效率，这可能在克服传统机器和当前基于量子比特的量子设备的局限性方面发挥关键作用。然而，使用 qudits 不仅在实验控制方面面临挑战，而且在算法开发和量子软件方面尤其如此。在这项工作中，我们介绍了一种开源工具 MQT Qudits，它是慕尼黑量子工具包 (MQT) 的一部分，旨在帮助设计和实现混合维 qudit 设备的应用程序。我们为混合维度系统指定了一种标准化语言，并讨论了电路规范、硬件门集编译、高效电路模拟和开放挑战。 MQT Qudits 可在 github.com/cda-tum/mqt-qudits 和 pypi 上的 pypi.org/project/mqt.qudits/ 上获取。
MQTT中逻辑缺陷的安全分析和验证...
摘要 - iot消息传递协议对于连接用户和物联网设备至关重要。在所有协议中，消息排队和遥测传输（MQTT）可以说是最广泛使用的。Mainstream IoT平台利用MQTT经纪人，MQTT的服务器端实现，以启用和中介用户装置通信（例如，控制命令的传输）。有70多个开源MQTT经纪人，在生产中已被广泛采用。那些开源MQTT经纪人中的任何安全缺陷都可以轻松地进入许多供应商的IoT部署，并具有放大影响，不可避免地危害了物联网应用程序的安全性和用户的MILIONT。我们报告了野外开源MQTT经纪人的第一个系统安全分析。为了启用分析，我们设计和开发了MQTTactic，这是一种半自动工具，可以基于生成的安全属性正式验证MQTT代理实现。mqttactic基于静态代码分析，正式建模和自动模型检查（带有现成的模型检查器旋转）。在设计MQTTactic时，我们表征并解决了关键的技术挑战。mqttactic当前专注于与授权相关的属性，并发现了7个小说，零日量实际上实现了认真的，未经授权的访问。我们向相关方报告了所有浮标，他们承认这些问题并已采取行动来解决这些问题。我们的全面评估表明，MQTTactic是有效且实用的。
MQT 手册
量子计算机正在成为现实，目前正在研究众多具有短期前景（例如，用于金融、化学、机器学习和优化）和长期前景（例如，用于加密或非结构化搜索）的量子计算应用。然而，以可扩展的方式设计和实现这些设备的潜在应用需要自动化、高效且用户友好的软件工具，以满足整个量子软件堆栈各个级别的最终用户、工程师和物理学家的需求。在这方面要解决的许多问题类似于经典领域的设计问题，过去几十年来已经为这些领域开发了复杂的设计自动化工具。慕尼黑量子工具包 (MQT) 是由慕尼黑工业大学设计自动化系开发的量子计算软件工具集合，它明确利用了这种设计自动化专业知识。我们的总体目标是为整个量子软件堆栈的设计任务提供解决方案。这需要为最终用户实现其应用程序提供高水平支持、用于经典模拟、编译和验证量子电路的有效方法、用于量子纠错的工具、对物理设计的支持等。这些方法由相应的数据结构（例如决策图）和核心方法（例如 SAT 编码/求解器）支持。所有开发的工具均可作为开源实现使用，并托管在 github.com/cda-tum 上。
增强基于MQTT的IoT网络中的安全性
摘要：物联网（IoT）的广泛采用导致了许多设备的互连，从而增加了对安全可靠的通信协议的需求。响应这一需求，由于其轻量级设计，消息排队遥测传输（MQTT）协议成为物联网通信的一种流行选择。在本文论文中，我们深入研究了基于MQTT的IoT网络中机器学习（ML）技术的应用，以检测通信攻击，讨论MQTT协议，其漏洞和潜在攻击。此外，还提供了有关基于机器学习的检测方法的现有文献的概述，并概述了它们的贡献和局限性。随后，在确定研究差距后，已经阐述了增强基于MQTT的IoT通信攻击检测的未来方向。
慕尼黑量子工具包（MQT）
量子计算机正在成为现实。但为这些设备设计应用程序需要自动化、高效且用户友好的软件工具，以满足设计流程各个层面的最终用户、工程师和物理学家的需求。慕尼黑量子工具包 (MQT) 是慕尼黑工业大学设计自动化系开发的用于量子计算的设计自动化工具和软件的集合。本传单概述了所提供的解决方案。对于设计流程中的每个步骤，编号节点表示
Ai-WB2 模块基于 TLS 的 MQTT 连接服务器使用示例
（1）随机取测试的名称 （2）随机取clientID （3）这里使用了TLS加密，所以主机前缀选择：“ wss:// ”（4）wss链接，端口号需要填写8084，如果是MQTT链接则填写8883 （5）随机账号与密码 （6）选择SSL/TLS加密，选择CA visa服务器 （7）MQTT版本选择3.1.1 （8）Last Will部分无需配置 ③ 如果设置的参数无误，点击connect按钮连接成功，然后点击Add subscription，在Topic上填写aithinker然后点击OK，在发布的数据上方的主题名称中填写aithinker，如下图：