XiaoMi-AI文件搜索系统
World File Search System同伦
同伦类型理论中的拓扑量子门
尽管拓扑保护对于实现可扩展量子计算机显然必不可少，但拓扑量子逻辑门的概念基础可以说仍然不稳定，无论是在物理实现方面还是在信息论性质方面。基于弦/M 理论中的缺陷膜 [SS22-Def] 以及凝聚态理论中的全息对偶任意子缺陷 [SS22-Ord] 的最新成果，我们在此解释（如 [SS22-TQC] 中所述）如何通过拓扑有序量子材料中的任意子缺陷编织来规范实际的拓扑量子门，在参数化点集拓扑中具有令人惊讶的巧妙表述，这种表述是如此基础，以至于它可以在现代同伦类型编程语言（如立方 Agda ）中得到认证。
自主水下航行器的同伦约束路径规划
警告。获取和使用本博士论文的内容必须尊重作者的权利。它可以用于咨询或个人学习，也可以用于研究和教学活动或艺术术语中的材料。知识产权法综合文本（RDL 1/1996）第 32 条。如需其他用途，需事先征得作者明确授权。无论如何，在使用其内容时，必须注明作者姓名和博士论文题目。出于盈利目的对其进行复制或其他形式的利用，或从 TDX 服务以外的网站进行公开传播，均未经授权。也没有被授权在除 TDX（框架）之外的窗口或框架中呈现其内容。这种权利保留影响论文的内容及其摘要和索引。警告。获取和使用本博士论文的内容必须尊重作者的权利。它可以用于咨询或个人学习，也可以用于研究和教学活动或艺术术语中的材料。知识产权法综合文本（RDL 1/1996）第 32 条。如需其他用途，需事先征得作者明确授权。无论如何，在使用其内容时，必须明确注明编号和诉求