XiaoMi-AI文件搜索系统
World File Search System异或
“抽象空间” 2023。Chiara Passa 的 AR 和人工智能艺术作品。“抽象空间”通过整面墙的投影，将一个虚构的极简环境（我使用 Chat GPT API 创建）与真实空间重叠，而这个空间一旦被观众使用 AR-AI 应用程序修改，就会神秘、怪异或有时不完整地重新出现在我们周围。观众在这个新的不稳定空间中，通过观看由几何体积阴影构成的新 AI 空间，体验到一种缺失或空虚的感觉，这些阴影是根据缓冲过程沿光源方向挤压图元轮廓而创建的。还提供视频手册（屏幕 7'）版本。视频预览：https://youtu.be/zzAaf7hxTYI Android 应用程序和相关矩阵可供下载。每个动画持续 6'.30''。 https://play.google.com/store/apps/details?id=com.ChiaraPassa.AbstractSpace&hl=en https://play.google.com/store/apps/details?id=com.ChiaraPassa.AbstractSpace2&hl=en https://play.google.com/store/apps/details?id=com.ChiaraPassa.AbstractSpace3&hl=en https://play.google.com/store/apps/details?id=com.ChiaraPassa.AbstractSpace4&hl=en
“抽象空间” 2023。Chiara Passa 的 AR 和人工智能艺术作品。“抽象空间”通过整面墙的投影，将一个虚构的极简环境（我使用 Chat GPT API 创建）与真实空间重叠，而这个空间一旦被观众使用 AR-AI 应用程序修改，就会神秘、怪异或有时不完整地重新出现在我们周围。观众在这个新的不稳定空间中，通过观看由几何体积阴影构成的新 AI 空间，体验到一种缺失或空虚的感觉，这些阴影是根据缓冲过程沿光源方向挤压图元轮廓而创建的。还提供视频手册（屏幕 7'）版本。视频预览：https://youtu.be/zzAaf7hxTYI Android 应用程序和相关矩阵可供下载。每个动画持续 6'.30''。 https://play.google.com/store/apps/details?id=com.ChiaraPassa.AbstractSpace&hl=en https://play.google.com/store/apps/details?id=com.ChiaraPassa.AbstractSpace2&hl=en https://play.google.com/store/apps/details?id=com.ChiaraPassa.AbstractSpace3&hl=en https://play.google.com/store/apps/details?id=com.ChiaraPassa.AbstractSpace4&hl=en
编译型异或游戏价值的计算 Tsirelson 定理
非局部博弈是理解纠缠和在具有多个空间分离的量子设备的环境中构建量子协议的基础工具。在这项工作中，我们继续了 Kalai 等人 (STOC '23) 发起的研究，该研究是在经典验证器和单个加密受限的量子设备之间进行的编译非局部博弈。我们的主要结果是，Kalai 等人提出的编译器对于任何双人 XOR 游戏都是可靠的。Tsirelson 的一个著名定理表明，对于 XOR 游戏，量子值由半定程序精确给出，我们通过证明 SDP 上界对于编译的游戏成立，直到编译产生的错误可以忽略不计，从而获得了我们的结果。这回答了 Natarajan 和 Zhang (FOCS '23) 提出的问题，他们展示了 CHSH 游戏特定情况的可靠性。利用我们的技术，我们获得了几个额外的结果，包括（1）并行重复 XOR 游戏的编译值的严格界限、（2）任何编译的 XOR 游戏的运算符自测试语句，以及（3）任何 XOR 游戏的“良好”平方和证书，从中可以看出运算符的刚性。
利用对称布尔函数格实现异或/同或门的方法
目前 CMOS 的行业标准 XOR 和 XNOR 门分别由 12 个和 10 个晶体管组成。由于 XOR/XNOR 在许多功能模块中被广泛使用，因此可以降低晶体管数量以产生低功耗电路。作为一种解决方案，提出了一种利用对称布尔函数的特殊性质实现低晶体管数量 XOR/XNOR 门的方法。此特性表明，使用特殊的晶格结构电路可以用更少的晶体管实现此类功能的电路。对原始晶格结构进行了修改，以符合当前 CMOS 技术要求。最终电路需要八个晶体管用于 XOR/XNOR，并在上推和下拉网络中混合使用 NMOS 和 PMOS。模拟表明，XOR/XNOR 的预期逻辑功能已实现。然而，实际电压摆幅的读数表明，当 NMOS 和 PMOS 分别作为下拉或上推网络时，输出要么高于地 0.3 V，要么低于 VDD。如果只有 NMOS 处于上推状态或只有 PMOS 处于下拉状态，则可观察到 0.4 V 的更大电压损失。作为一项初步工作，功能逻辑级别的实现保证了未来开展更多工作以改善输出电压摆幅的损失。
差异或 HAACP 计划
a) 食品上应有标记，或以其他方式明确标识，标明食品脱离温度控制后的时间已超过四小时；b) 食品应在脱离温度控制后四小时内烹制并上桌、可立即食用后上桌或丢弃；c) 装在未标记的容器或包装中或装在标记的容器中，超过四小时限制的食品必须丢弃；d) 食品企业应制定书面程序，确保遵守上述 a、b 和 c 项以及《休斯顿食品条例》第 20.21.3(b)(2) 节关于在作为公共卫生标准之前制备、烹制和冷藏的食品的规定。