基于Q-M算法的量子可逆逻辑电路综合方法

提出了合并(化简)规则,并按合并规则修改了Q-M算法源码,获得积之异或和表达式,成功地实现了将不可逆操作转换为可逆操作。该规则应用于常规逻辑综合的Q-M算法移植到可逆逻辑综合中,以便利用可逆逻辑门来构造可逆逻辑电路。

一种改进的快速逻辑综合算法

通过对经典的改进 Q- M算法进行深入研究 ,结合实际应用中的问题 ,提出了几点改进 ,使得软件在运行速度和空间占用上有了很大改进。

判定平方布尔函数的计数算法

一个ｎ元函数是否为平方布尔函数？如果是，如何得到其所有的平方项？文中就此判定问题提出了一个时间复杂度为Ｏ（ｍｎ￣３）的计数算法．与经典的Ｑ－Ｍ算法不同，该算法基于直观的真值计数，并适合于并行实现．

基于LabWindows/CVI的辐射仪虚拟检测系统

基于LabWindows/CVI研发了新型的辐射仪虚拟检测系统,该检测系统通过USB接口与主机进行连接,采用卡诺图法和Q-M算法编写测试矢量,实现了野外对辐射仪快速检测的人性化设计,并且用虚拟仪器面板代替传统仪器面板,实现数据采集、检测、显示一体化,既保障了检测的安全性,又方便快捷。