刘维富
- 作品数:39 被引量:105H指数:6
- 供职机构:南通大学计算机科学与技术学院更多>>
- 发文基金:江苏省自然科学基金江苏省高校自然科学研究项目南通市应用研究计划项目更多>>
- 相关领域:自动化与计算机技术电子电信文化科学哲学宗教更多>>
- 多输入多输出单边逻辑函数优化系统的设计研究被引量:3
- 2006年
- 逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。
- 邱建林王波刘维富
- 关键词:多输入多输出单边逻辑函数逻辑优化
- C++中二维数组与指针关系的剖析被引量:2
- 2004年
- 对C的教学和编程中普遍存在的二维数组与指针极易混淆的关系进行了深入的探讨和分析 。
- 丁卫平刘维富沈天晴
- 关键词:C++二维数组
- 单边多输出逻辑函数补集软件的设计与实现
- 2007年
- 根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵和状态矢量来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。所设计的多输入多输出单边逻辑函数补集算法软件,在P-1.8GHz,512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。
- 邱建林王波顾翔刘维富
- 关键词:多输入多输出单边逻辑函数补集特征矩阵
- 多输出逻辑优化软件OPLG
- 综合在集成电路设计中是非常重要的一环。本文对多输出逻辑优化软件OPLG进行了研究。文章围绕OPLG的基本框架、OPLG的蕴涵项扩展算法、OPLG的去冗余算法、软件测试、实验结果等进行了论述。
- 王波邱建林刘维富
- 关键词:集成电路电路设计逻辑综合软件开发
- 单边多输出逻辑函数补集软件的设计与实现
- 根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵B(F)和状态矢量R(F)来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边...
- 邱建林王波顾翔刘维富
- 关键词:多输入多输出单边逻辑函数补集软件设计
- 文献传递
- 对逻辑函数3种求补算法的分析被引量:3
- 2005年
- 对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。
- 邱建林王波管致锦刘维富
- 关键词:逻辑函数补集
- Visual C++程序设计课程建设研究与实践被引量:12
- 2007年
- 本文从教学方法改革、教学内容研究、实践环节建设、特色教材编写等方面介绍该课程建设的一些做法。并介绍了几年来通过对该课程建设进行的研究和实践所取得的成果。
- 陈建平刘维富王春明邱建林顾晖史胜辉
- 关键词:C++程序设计课程建设特色教材
- C++语言引用型变量的实现机制浅析被引量:3
- 2002年
- 为准确理解C语言引用的本质,对C语言引用型变理的实现机制进行了初步探讨。通过变量的内存地址分析,揭示了C语言引用的本质,即引用变量用于存放所引用变量的地址,并对引用与指针进行了比较。
- 刘维富
- 关键词:C^++语言内存地址
- 基于全域识别的多值逻辑函数实质项生成算法的研究
- 本文在对ESPRESSO算法进行理解消化吸收改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多榆入多输出逻辑函数的余因子计算来进行全域判断,...
- 邱建林王波刘维富
- 关键词:多输入多输出逻辑函数
- 文献传递
- 试卷的自动生成算法
- 1999年
- 介绍了磁调制式直流放大器的构成,围绕提高磁调制器的性能进行了讨论,给出调制器的灵敏度与其结构尺寸及信号绕组匝数之间的关系,并确定了获得最高灵敏度应满足的条件。根据减小噪声和漂移、提高灵敏度的要求,分析了磁调制器铁芯应采用的结构型式。
- 王波刘维富
- 关键词:试题库管理自动生成算法试卷CAT