摘要量子点蜂窝自动机(QCA)代表新兴的纳米技术,该纳米技术有望取代当前的互补金属 - 氧化物 - 氧化物 - 氧化电导剂数字整合电路技术。QCA构成了一种极为有希望的无晶体管范式,可以将其降低到分子水平,从而促进TERA级设备的整合和极低的能量耗散。可逆QCA电路的可逆性从逻辑级别降低到物理水平,可以执行比Landauer能量限制(KBTLN2)耗散能量更少的计算操作。逻辑门的时间同步是必不可少的附加要求,尤其是在涉及复杂电路的情况下,以确保准确的计算结果。本文报告了逻辑和物理上可逆的时间同步QCA组合逻辑电路的八个新的设计和仿真。此处介绍的新电路设计减轻了时钟延迟问题,这些问题是由逻辑门信息的非同步,通过使用固有的更对称的电路配置引起的。模拟结果证实了提出的可逆时间同步QCA组合逻辑电路的行为,该逻辑电路表现出超大的能量耗散,并同时提供了准确的计算结果。
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.
由于元件尺寸极小且功耗巨大,基于互补金属氧化物半导体 (CMOS) 技术的器件性能有限。确实,许多研究人员正在考虑如何使用低功耗方法在纳米级构建复杂的逻辑电路。为了降低设计密度并实现高速切换,有必要考虑 CMOS 替代品。量子点细胞自动机 (QCA) 是一种新型无晶体管范例,可用于创建具有高密度和太赫兹速度切换的纳米级器件。有许多参考文献 [1-3] 深入探讨了实验特性和物理实现(金属岛、半导体、磁性和分子 QCA)。第一个基于原始材料的功能量子单元刚刚建成 [4]。CMOS 技术的一个问题是它倾向于耗散大量电能。借助可逆计算,可以防止计算过程中的能量损失,这已被提出 [5]。研究证实了这一点。在可逆逻辑中,可逆门起着关键作用。研究界已提出了几种类型的可逆门 [5]。Toffoli 门因其可执行多种任务而得到广泛应用 [6-9]。
摘要。如果仅考虑到目前为止读取单词的前缀,可以解决其非确定性,那么不确定的自动机是历史性确定的。由于其良好的组成属性,历史确定性的自动机对解决游戏和综合问题很有用。确定给定的非确定性自动机是历史性的 - 确定性(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对数的重量数量。
降低CMOS技术尺寸并使数字设备更便携的过程,面临着诸如增加频率和减少功耗等严重挑战。因此,科学家正在寻找一种解决方案,例如用其他技术替换CMOS技术,包括量子点蜂窝自动机(QCA)技术,许多研究通过使用QCA技术设计了数字电路。触发器是大多数数字电路中的主要块之一。在本文中,QCA技术中提出了D型触发器(D-FF),其大多数门已在其反馈路径中用于重置。D-FF是由提出的D闩锁设计的,该闩锁基于NAND-NOR-逆变器(NNI)和一个新的逆变器门,该逆变器门具有24个单元格和0.5时钟循环延迟和0.02μm2面积。D-FF的新逆变器门具有高极化水平,面积较高,比以前的逆变器较低,而D-FF的NNI门是通用门。D-FFS带有复位引脚的应用之一是使用相频率检测器(PFD)。在拟议的方案中,由于可以设计PFD结构,因此已将重置功能添加到D-FF中。通过Qcadesigner软件评估所有提出的方案,并使用QCAPRO软件估算所有提议的电路的能源消耗模拟。
纸质代码纸质名称部门AEIE 3101流程控制(常规和积压*)AEIE CSEN 3104人工智能简介(常规和积电*)AIML Biot 3101遗传学(常规和背积*)BT CHEN 3101 CHEN 3101化学过程(定期和背lative&Backlog*)正规和自动分析 - 常规CEARTIS&BACKL 310 310 311 &Backlog*)CSBS CSEN 3002正式语言与自动机理论(常规和积压)CSE&DATA SC。CSEN 3102 Formal Language & Automata Theory (Backlog for before 2021 Batch) CSE ECEN 3101 Digital Communication (Regular & Backlog*) ECE ELEC 3101 Electrical Machines-II (Regular & Backlog*) EE CSEN 3108 Blockchain Technologies (Regular) IOT INFO 3104 Formal Language & Automata Theory (Regular & Backlog) IT INFO 3104 Software Engineering (Backlog for before 2021批次)IT MECH 3101机器Design-I(常规和积压*)ME MCA 2101软件工程(常规)MCA MCAP 2101数据库管理系统(常规和积压*** ***)MCA
布尔功能在许多加密原始素中起着主导作用。它们在哈希功能[13,5]甚至对称块加密[21]中特别使用。这些功能将一定数量的变量作为输入,以返回唯一的布尔值二进制值。蜂窝自动机规则可以视为布尔函数。某些蜂窝自动机规则具有有趣的加密性能,相对于传递给它们的输入而言,无需生成伪随机或混沌输出。这些规则可以产生非线性的输出,并且完全独立于将其作为输入传递给它们的位。它们可用于加密应用,例如哈希或阻止加密。使用这些规则避免了针对密码原语的已知攻击,例如线性密码分析[1]。对这些混乱功能的第一项研究是由Wolfram在1983年进行的,后者发现了30条具有3个变量的规则[20]。从那时起,就提出了许多布尔函数的分类[17,2]。许多科学论文研究了布尔功能在密码学中的使用[6]。尤其是在细胞自动机中使用布尔函数来构建哈希函数[10,9,24],或流和封闭密码[16,11]。