南通市应用研究计划项目(BK2013043)
- 作品数：5 被引量：11H指数：3
- 相关作者：管致锦程学云徐明强张海豹丁卫平更多>>
- 相关机构：南通大学南通纺织职业技术学院江苏汇环环保科技有限公司更多>>
- 发文基金：南通市应用研究计划项目国家自然科学基金江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 环保物联网中远程设备实时控制问题研究被引量：3
- 2014年
- 选择Flash XMLSocket作为浏览器端和服务器端双向通信的关键技术,解决了HTTP协议中无法直接实现实时双向通信的问题;通过在监听服务器端建立Socket连接通道路由表并实时更新,解决了服务器只能被动连接数采仪导致实时控制时延较大的问题;结果表明,服务器端的控制时延很小,几乎可以忽略不计,浏览器端在足够的网络带宽下,也能保证较低的控制时延,满足了工业使用的需求。
- 丁浩管致锦沈兵程学云
- 关键词：污染源在线监控FLASH
- 一种通用的可逆比较器级联方法被引量：3
- 2014年
- 为了提升可逆比较器的通用性,进一步优化可逆比较器电路。分析了比较器的输入与输出的逻辑关系,提出并设计了一位可逆比较器(OBc)和一位可逆完全比较器(OBCC)。在此基础上将这两种器件进行级联,可以快速生成通用可逆比较器的级联电路。与相关文献对比,该级联方法有效地减少了常量输入和垃圾输出的同时,具有较低的量子代价,易于完成多位二进制数值在可逆电路中的比较。
- 徐明强管致锦程学云
- 关键词：量子信息可逆逻辑
- 基于规则的可逆Toffoli电路优化算法被引量：5
- 2013年
- 可逆电路的优化是可逆逻辑综合的关键问题之一。为了解决可逆Toffoli电路优化问题中算法复杂度高和电路规模可扩充性差的问题,分析归纳了相邻Toffoli门的关系,提出并证明了可逆Toffoli电路中子序列的移动和化简规则,并基于这些规则给出了可逆Toffoli电路的优化算法。根据移动规则对可逆电路进行正向和反向扫描,寻找满足化简规则的子序列进行优化,直到可逆电路不发生变化为止。该优化算法与可逆电路的输入线数无关,无需存储额外信息,适用于各种不同类型的Toffoli电路合成方法,算法复杂度为O(s3),优于通常使用的模板优化的复杂度O(n!t2s3)。在具体实例和国际认可的所有3变量可逆函数上的验证结果表明,该优化算法能有效地减少可逆电路的门数和控制位数,降低可逆电路的代价。
- 程学云管致锦张海豹丁卫平
- 关键词：可逆逻辑综合
- 可逆排序算法的分析与实现
- 2015年
- 使软件系统基于当前状态恢复先前某一状态的方法通常有两种:检查点和反向计算。为比较这两种方法的实现代价,以如何实现最低代价的可逆排序为例,将增量检查点技术应用于简单选择排序算法,实现了一种通过增量保存程序运行时系统状态的变化信息以恢复系统先前某一状态的排序算法,并通过反向计算技术实现了一种无需系统状态历史信息仅通过系统当前状态和程序自身逻辑便恢复先前状态的可逆排序算法。通过大量测试用例验证了上述两类算法的正确性,并得出在大规模且数据交换频繁的场景下反向计算排序算法远优于检查点排序算法的结论。
- 朱鹏程管致锦
- 关键词：检查点
- 基于NCV门的量子电路故障的检测与定位被引量：2
- 2015年
- 为了确保基于:NCV门库的量子电路的正确性和有效性,给出了量子电路故障定位树的生成算法和量子电路黑盒检测算法来定位量子电路中的门丢失故障。该故障定位树算法去除约98%的无用输出向量,提取输出表中有效的输入向量以及对应的故障输出向量,逐层生成故障定位树。结合量子电路黑盒检测算法对量子电路进行故障定位时不需要访问输出表就能够有效定位量子电路中的丢失门。对benchmaxks部分电路进行实验,结果验证了该算法定位单故障门的有效性。
- 何金凤管致锦程学云郁可人徐明强
- 关键词：量子光学量子电路
