XiaoMi-AI文件搜索系统
World File Search System喇叭
轴C1310-E MK II网络喇叭扬声器
轴C1310-E MK II网络扬声器非常适合大多数气候中的户外环境。它允许用户远程防止不必要的活动，在紧急情况下提供说明或发出一般语音消息。内置内存支持预录的消息，或者个人可以通过Live Speak响应通知。开放标准支持与网络视频，访问控制，分析和VoIP（支持SIP）的轻松集成。数字信号处理（DSP）确保声音清晰。内置麦克风实现了远程健康测试和2路通信。此外，嵌入式音频管理软件支持用户，内容，区域和调度管理。
安全协议验证者proverif及其喇叭子句分辨率算法
安全协议的验证是自1990年代以来非常活跃的研究领域。安全协议无处不在：Internet（特别是用于https：// connections使用的TLS协议），WiFi，移动电话，信用卡，。。。。众所周知，他们的设计容易出错，并且未通过测试检测到错误：仅当对手试图攻击协议时，它们才会出现。因此，正式验证它们很重要。为了使安全协议形式化，需要为其数学模型。通常会考虑一个活跃的对手，可以收听网络上发送的消息，计算自己的媒介，然后将它们发送到网络上，就好像它们来自诚实的参与者一样。为了促进协议的自动验证，大多数协议验证者都考虑了加密的符号模型，也称为“ dolev-yao模型” [18，15]。在此模型中，加密原语（例如加密）被视为理想的黑盒，以功能符号为代表。消息是通过这些原始词的术语建模的；并且对手仅限于应用定义的原语。这也称为完美的加密假设：对手解密消息的唯一途径是将解密函数与正确的密钥一起使用。在这样的模型中，协议验证的主要任务之一是计算对手的知识，即对对手可以获得的一组术语。这仍然是并非繁琐的，因为该集合通常是无限的，但是它比有关斑点和概率的推理要简单得多。两个最广泛使用的符号协议验证者可能是proverif [11]和tamarin [17]。有关协议验证领域的更多详细信息，我们将读者转移到调查[10，6]。在本文中，我们专注于协议验证者proverif，可以从https://proverif.inria.fr下载。我们在下一节中介绍了王朝的概述，并关注其喇叭条款分辨率算法。
适用于太空应用的总功率喇叭耦合 150 GHz LEKID 阵列
摘要。我们开发了两组工作在 D 波段的集总元件动能电感探测器阵列，并针对旨在精确测量宇宙微波背景 (CMB) 的卫星任务的低辐射背景条件进行了优化。第一个探测器阵列对通过单模波导和波纹馈源喇叭耦合的入射辐射的总功率敏感，而第二个探测器阵列由于正交模式换能器而对辐射的极化敏感。在这里，我们重点介绍总功率探测器阵列，它适用于例如精确测量 CMB 的非极化光谱畸变，其中检测两种极化可提供灵敏度优势。我们描述了阵列设计、制造和封装的优化、暗和光学特性以及用于光学测试的黑体校准器的性能。我们表明，在 3.6 K 黑体的辐射背景下，阵列中的几乎所有探测器的光子噪声都是有限的。这一结果，加上 OLIMPO 飞行所展示的对宇宙射线撞击的弱灵敏度，验证了在精确的空间 CMB 任务中使用集中元件动能电感探测器的想法。
铁路喇叭系统声学特性研究
美国运输部、研究和特别项目管理局、沃尔普国家运输系统中心在联邦铁路管理局的支持下，正在开展一项研究计划，旨在减少公路铁路平交道口的死亡和受伤人数。作为该计划的一部分，沃尔普中心的噪声测量和评估设施正在进行一项研究，以确定铁路喇叭系统的有效性。本文件是支持这项研究的第一份出版物。它介绍了在爱荷华州康瑟尔布拉夫斯、佛罗里达州杰克逊维尔、马萨诸塞州剑桥和内布拉斯加州奥马哈进行的声学测量的结果，以确定几种铁路喇叭系统的声学特性。获得的数据包括频谱、指向性、下降率、最大 A 加权声级和声音暴露水平。