基于正反控制模型的可逆逻辑综合  CNKI文献

对一般Toffoli门进行了衍变和推广,给出了一个正反控制可逆级联模型(PNCRC),该模型拥有五种基本线型,并能正反控制目标位的输出.基于该模型给出了相应的可逆综合算法.对输入数不大于16的NCMCBench-mark函数进行测试并...

管致锦 秦小麟... 《计算机学报》 2008年05期 期刊

可逆逻辑门网络的表示与级联  CNKI文献

可逆计算是一个新兴的研究领域,可逆逻辑门网络的级联是可逆计算的重要内容.本文提出了一种可逆逻辑网络表示方法,给出了相应的可逆网络模型.为了构造可逆逻辑网络,给出了一种可逆逻辑门单元库的构造方法.证明了同一垂...

管致锦 秦小麟... 《电子学报》 2010年10期 期刊

可逆计算中逻辑综合若干问题研究  CNKI文献

可逆计算是一个新兴的研究领域,它在现代和未来计算机的诸多技术中都具有重要价值。可逆逻辑综合是可逆计算研究的关键问题之一。它是低功耗电路设计和量子信息技术研究的重要组成部分,并在信息安全、纳米技术等现代技...

管致锦 导师:秦小麟 南京航空航天大学 2008-09-01 博士论文

量子电路可逆逻辑综合的研究及进展  CNKI文献

分析了量子电路可逆逻辑综合的意义、研究现状和研究进展,给出了相关的研究方法和目前量子可逆逻辑综合研究中存在的主要问题,提出了量子可逆逻辑综合中的最小量子代价、最小化垃圾信息位、最小化门的数量和可逆逻辑综...

管致锦 秦小麟... 《南京邮电大学学报(自然科学版)》 2007年02期 期刊

基于实验任务驱动的操作系统教学设计  CNKI文献

文章在分析了计算机操作系统课程特点后 ,提出了以构建主义教学理论为基础的基于实验任务驱动的操作系统教学设计方案。文章从操作系统实验任务驱动教学的理论依据、实验任务设计及其操作等方面做了比较全面的阐述

管致锦 《南通工学院学报(自然科学版)》 2004年02期 期刊

计算机教学中人本教育研究探索  CNKI文献

为了探索计算机教育中的人本教育,培养具有创新能力的高素质人才,本文分析了计算机教学中的人本教育与创新素养和综合能力的关系,提出了计算机教学中人本教育的主要问题、研究内容、研究目标和研究方法。笔者还给出了...

管致锦 王杰华... 《电气电子教学学报》 2014年01期 期刊

基于置换群的可逆逻辑门网络级联(英文)  CNKI文献

n输入n输出可逆逻辑门的级联构成一个群,它与对称群S2n同构。本文研究了生成Toffoli门集合的可逆逻辑门数的特点,证明了任意置换Sn可以由n-轮换δ和一个置换τ=(ij,ik)生成,同时证明了相邻2-轮换可由至多两个NOT门在不...

管致锦 秦小麟... 《Transactions of Nanjing University of Aeronautics & Ast...》 2008年03期 期刊

Toffoli门可逆网络计数与级联  CNKI文献

分析并证明了同型Toffoli门串联的输出结果与串联门个数之间的关系.为了保证串联过程收敛,给出了Toffoli门串联网络的计数,证明了可逆网络输入向量中Hamming重量的位向量个数与位向量位数之间的关系.提出了一种Toffol...

管致锦 吕行远... 《南通大学学报(自然科学版)》 2010年04期 期刊

大变量逻辑函数最佳覆盖问题研究  CNKI文献

逻辑函数的最佳覆盖 ,一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖 ,对复杂的逻辑综合更为重要 ,但也更加困难。本文在对逻辑覆盖算法研究的基础上 ,提出了适合大变量逻辑函数最佳覆盖的Beister改进...

管致锦 张义清... 《计算机应用与软件》 2003年12期 期刊

新工科背景下的“人本”教育培养模式  CNKI文献

在适应新工科背景下,探索面向成果导向的计算机专业类"人本"人才培养模式,激发学生自身的潜能,帮助他们寻找彼此有别的能力和水平,获得成功、成就和快乐;使学生在完成基本目标达成度的同时,根据自身实际情况...

管致锦 丁卫平... 《电气电子教学学报》 2021年02期 期刊

嵌入式操作系统EPOS的设计与实现  CNKI文献

我们利用微内核的思想 ,设计并实现了一个基于X86系列处理器的多任务的嵌入式操作系统。该系统利用了保护模式基于描述符的存储管理模式及IntelX86系列处理器的其它许多先进功能。实现了任务管理、中断处理、时间管理...

管致锦 蒋兵... 《计算机与数字工程》 2004年04期 期刊

数据的逻辑综合分析及决策算法  CNKI文献

文章给出了逻辑综合分析的基本理论和决策算法。并利用逻辑综合中逻辑单元的随机覆盖问题产生的随机数据,对算法加以验证。实验结果表明决策算法的精确度可以达到97.2%。

管致锦 张义清... 《计算机工程与应用》 2004年26期 期刊

一种新的基于最小项逻辑优化的软件设计与实现  CNKI文献

文章提出了一个新的产生本源蕴涵项的算法,并形成了相应的组合逻辑电路逻辑综合优化软件,测试表明,它在运算速度和存储性能上都是高效的。

管致锦 王波... 《微电子学与计算机》 2002年11期 期刊

适于大数目输入变量的逻辑综合启发式算法  CNKI文献

本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随...

管致锦 张义清 《计算机应用与软件》 2004年11期 期刊

基于阈门网络的逻辑综合问题研究  CNKI文献

我们在对阈门网络进行研究的基础上,给出了二级逻辑电路最小化技术应用的一个二级阈门网络综合算法-TLLS。算法通过了Benchmark二级逻辑函数例题的测试。当算法只限定到典型的逻辑门电路时,获得比较好的最小化效果。

管致锦 张义清... 《微电子学与计算机》 2004年06期 期刊

巨大变量组合逻辑设计优化软件的研究与设计  CNKI文献

采用不同优化算法和机器处理方法来缓解机器资源对巨大变量组合逻辑综合问题的限制,介绍了软件系统设计的技术途径。以此形成的巨大变量逻辑优化软件,其输入、输出变量之和达到300。该软件通过了组合逻辑电路的benchm...

管致锦 张义清... 《计算机工程》 2004年19期 期刊

基于矩阵变换的线性最近邻量子线路综合与优化  CNKI文献

为了构造线性最近邻量子线路,降低线性量子可逆线路的量子代价,提出了一种基于矩阵变换的线性量子线路综合与优化方法.该方法给出了线路的矩阵表示和基于矩阵的近邻CNOT(Controlled NOT Gate)门判定,并提出矩阵分组的...

鹿玉 管致锦... 《电子学报》 2018年03期 期刊

便携智能终端(MIT)的设计与实现  CNKI文献

介绍了一种“便携智能终端”(简称 MIT)硬件设计的原理、通信控制软件结构 ,阐述了便携智能终端( MIT)的功能、特点和技术性能及工作原理

管致锦 陈继红... 《电脑开发与应用》 2000年12期 期刊

基于可观测无关项的多级逻辑优化  CNKI文献

文章在对可观测性无关项相关问题进行研究的基础上,给出了通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化的方法;同时对已有算法做了一定改进,以适用大输入和输出变...

管致锦 刘维富... 《南通工学院学报(自然科学版)》 2002年02期 期刊

环保物联网中远程设备实时控制问题研究  CNKI文献

选择Flash XMLSocket作为浏览器端和服务器端双向通信的关键技术,解决了HTTP协议中无法直接实现实时双向通信的问题;通过在监听服务器端建立Socket连接通道路由表并实时更新,解决了服务器只能被动连接数采仪导致实时控...

丁浩 管致锦... 《计算机测量与控制》 2014年06期 期刊