XiaoMi-AI文件搜索系统
World File Search System自动机
有机硅遇到硅的地方：分析NIER：自动机作为马克思主义，存在主义和女权主义
I grant Trinity University (“Institution”), my academic department (“Department”), and the Texas Digital Library (“TDL”) the non-exclusive rights to copy, display, perform, distribute and publish the content I submit to this repository (hereafter called “Work”) and to make the Work available in any format in perpetuity as part of a TDL, digital preservation program, Institution or Department repository communication or distribution effort.
超低能耗可逆时间同步量子点细胞自动机组合逻辑电路的设计与仿真
摘要 量子点细胞自动机 (QCA) 代表着一种新兴的纳米技术，有望取代当前的互补金属氧化物半导体数字集成电路技术。QCA 是一种极具前景的无晶体管范式，可以缩小到分子级，从而促进万亿级器件集成和极低的能量耗散。可逆 QCA 电路具有从逻辑级到物理级的可逆性，可以执行计算操作，耗散的能量低于 Landauer 能量极限 (kBTln2)。逻辑门的时间同步是一项必不可少的附加要求，尤其是在涉及复杂电路的情况下，以确保准确的计算结果。本文报告了八个新的逻辑和物理可逆时间同步 QCA 组合逻辑电路的设计和仿真。这里介绍的新电路设计通过使用本质上更对称的电路配置来缓解由逻辑门信息不同步引起的时钟延迟问题。模拟结果证实了所提出的可逆时间同步 QCA 组合逻辑电路的行为，该电路表现出超低能量耗散并同时提供准确的计算结果。
使用逻辑交叉的量子蜂窝自动机中的多端口内存设计
摘要：内存及其数据通信在决定处理器的性能中起着至关重要的作用。为了获得高性能计算机，内存访问必须同样更快。在本文中，使用Set/Reset的双端口存储器是使用量子点蜂窝自动机（QCA）中的多数选民设计的。双端口存储器由基本功能块组成，例如2至4解码器，控制逻辑块（CLB），地址检查器块（ACB），内存单元格（MC），数据路由器块和输入/输出块。这些功能单位是使用三输入多数选民构建的。QCA是纳米级数字组件设计的最新技术之一。在qcadesigner 2.0.3中已经模拟和验证了双端口存储器的功能。一种称为逻辑交叉的新型跨界方法用于改善拟议设计的面积。逻辑交叉在适当的时钟区域分配的支持下进行数据传输。基于逻辑交叉的QCA布局是根据细胞计数和数量的数量来优化的。据观察，分别是29.81％，18.27％，8.32％，11.57％和3.69％是解码器，ACB，CLB，数据路由器和存储单元中细胞数量的改善百分比。另外，在解码器，ACB，CLB，数据路由器和存储器单元的区域中，可实现25.71％，16.83％，8.62％，4.74％和3.73％的改进。除了提出的使用逻辑交叉的提议的双端口存储器外，该区域的改善增长了8.26％；由于其构建所需的细胞数量减少了8.65％，因此这可能是可能的。此外，使用RCViewer+工具获得了RAM的量子电路。量子成本，恒定输入，门的数量，垃圾输出和总成本分别为285、67、57、50和516。
大型语言模型用于可验证的顺序决策...
摘要：基于自动机知识的基于自动机知识的表示在控制和计划的顺序决策问题中起着重要作用。但是，获得建立这种自动机所需的高级任务知识通常很困难。同时，大型语言模型（LLMS）可以自动生成相关的任务知识。但是，LLMS的文本输出不能被验证或用于顺序决策。我们开发了一个名为GLM2FSA的新颖算法，该算法构建了有限的态自动机（FSA），从简短的自然语言描述中编码高级任务知识的任务目标。因此，所提出的算法填补了自然语言任务描述和基于自动机的表示之间的差距，并且可以根据用户定义的任务规范对构造的FSA进行正式验证。我们相应地提出了一种基于结果的结果，从验证中提出了一种方法，以迭代地改进LLM的查询。我们演示了GLM2FSA构建和验证日常任务的基于自动机的表示以及需要高度专业知识的任务的能力。
令牌游戏和历史确定性的定量 -
摘要。如果仅考虑到目前为止读取单词的前缀，可以解决其非确定性，那么不确定的自动机是历史性确定的。由于其良好的组成属性，历史确定性的自动机对解决游戏和综合问题很有用。确定给定的非确定性自动机是历史性的 - 确定性（HDNESS问题）通常是一项艰巨的任务，这可能涉及指数过程，甚至是不可确定的，例如，例如在下降自动机的情况下。令牌游戏为Béuchi和CobéuchiAutomata的HDNess问题提供了PTIME解决方案，并且猜想的是2 -Token Games是所有ω-调节自动机的HDNESS。我们将令牌游戏扩展到定量设置，并分析其潜力，以帮助确定定量自动机的HD度。尤其是，我们表明，有限单词的所有定量（和布尔）自动机的HD特征，以及无限单词的折扣（dsum），Inf和可触及性自动机，以及2-图表的2-标记游戏，liminf和liminf and Liminf automata and sup automatama and sup sup sup sup of sup sup of supiente and inspopatienta tocken of insumatiate and sup sup sup sup sup sup sup sup of supienta n in insubiente and inspimapta。Using these characterisations, we provide solutions to the HDness problem of Safety , Reachability , Inf and Sup automata on finite and infinite words in PTime , of DSum automata on finite and infinite words in NP ∩ co-NP , of LimSup automata in quasipolynomial time, and of LimInf automata in exponential time, where the latter two are only polynomial for automata with a对数的重量数量。
仿真主义：控制论解答费米悖论
自动机的自我模拟是自动机进入无休止循环的终极状态的转换。本文将描述通过现代人工智能技术实现的自我复制的确定性有限自动机引发智能爆炸时达到的技术奇点和临界点，并研究超越该点的现象。我们还将解释认知领域的存在，该领域超越了人类区分现实与超级智能造成的非现实的能力，以及通过其嵌套创造的新世界。通过理解确定性有限自动机产生的感知矩阵的属性，有可能对为什么人类无法在“上帝不掷骰子”的确定性世界观下观察到随机扩张的外星生物殖民地提出一致的解释，并且不与各种理论相矛盾，从而为费米悖论提供解决方案。我们将这一系列哲学理论称为“模仿主义”，并在此提出。注意：在撰写本文时，我们自己完成了所有写作工作，除了翻译目的外，没有使用生成式人工智能进行文本生成。