期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
35
篇文章
<
1
2
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
C++程序设计课程研究与教材建设
被引量:
12
1
作者
刘维富
陈建平
+3 位作者
王春明
葛建芳
邱建林
顾晖
《计算机教育》
2010年第14期153-158,共6页
文章简要介绍了C++语言及课程的特点,分析国内高校C++课程的教材建设现状,针对C++课程的特点,结合南通大学C++课程的建设、教学研究、教学实践和教学理念,以学生的认识规律和编程能力的形成规律为依据,以培养学生实际编程能力和创新能...
文章简要介绍了C++语言及课程的特点,分析国内高校C++课程的教材建设现状,针对C++课程的特点,结合南通大学C++课程的建设、教学研究、教学实践和教学理念,以学生的认识规律和编程能力的形成规律为依据,以培养学生实际编程能力和创新能力为目标,阐述C++系列教材建设历程和建设成果。
展开更多
关键词
C++
课程研究
教材建设
负反馈教学
下载PDF
职称材料
C语言程序设计一体化案例教材的建设
被引量:
1
2
作者
刘维富
陈建平
+1 位作者
邱建林
顾晖
《电气电子教学学报》
2011年第1期115-116,120,共3页
本文介绍了C语言课程教材建设现状,针对C语言课程教材建设存在的主要问题,提出C语言程序设计一体化案例教材建设的完整思路,并用于C语言程序设计一体化案例教材建设与教学实践。本文的设想可供程序设计课程(如C++、C#J、ava、VB、VFP等...
本文介绍了C语言课程教材建设现状,针对C语言课程教材建设存在的主要问题,提出C语言程序设计一体化案例教材建设的完整思路,并用于C语言程序设计一体化案例教材建设与教学实践。本文的设想可供程序设计课程(如C++、C#J、ava、VB、VFP等)的教材建设参考。
展开更多
关键词
C语言
程序设计
教材建设
下载PDF
职称材料
试题难度呈正态分布的组卷算法
被引量:
3
3
作者
刘维富
《微型电脑应用》
2002年第11期32-34,共3页
本文建立了一个试卷自动生成算法。试卷中的题目从题库中选出 ,题量按题目的难易程度呈正态分布。算法还考虑到试题按章节分布的均匀性等问题。该算法具有通用性 ,可生成文、理。
关键词
试题难度
正态分布
组卷算法
题库管理软件
下载PDF
职称材料
C++语言引用型变量的实现机制浅析
被引量:
2
4
作者
刘维富
《南通工学院学报(自然科学版)》
2002年第1期64-66,共3页
为准确理解C语言引用的本质,对C语言引用型变理的实现机制进行了初步探讨。通过变量的内存地址分析,揭示了C语言引用的本质,即引用变量用于存放所引用变量的地址,并对引用与指针进行了比较。
关键词
引用型变量
实现机制
C^++语言
引用
指针
内存地址
下载PDF
职称材料
C运算符重载教学和编程中易被忽视的问题
被引量:
1
5
作者
刘维富
《南通工学院学报(自然科学版)》
2003年第3期56-59,共4页
对运算符重载教学和编程中常见的、易被忽视的问题进行了深入探讨和分析 ,并给出了有效的解决方法。对运算符重载时如何考虑用户使用习惯、使用的方便性和继承性也作了阐述。
关键词
C++语言
运算符
重载
教学
程序设计
多态性
继承性
友元函数
类成员函数
返回值
下载PDF
职称材料
Visual C++程序设计课程建设研究与实践
被引量:
12
6
作者
陈建平
刘维富
+3 位作者
王春明
邱建林
顾晖
史胜辉
《计算机教育》
2007年第06X期18-20,共3页
本文从教学方法改革、教学内容研究、实践环节建设、特色教材编写等方面介绍该课程建设的一些做法。并介绍了几年来通过对该课程建设进行的研究和实践所取得的成果。
关键词
C++程序设计
课程建设
负反馈教学法
实践环节
特色教材
下载PDF
职称材料
大变量逻辑函数求补的递归实现
7
作者
刘维富
《微机发展》
2002年第5期18-21,共4页
逻辑函数求补是大变量逻辑优化的算法基础。采用二叉树结构 ,用C语言实现了大变量逻辑函数求补递归算法。详述了求补二叉树的结构和形成过程 ,以及在求补二叉树上补集的收集方法。
关键词
大变量逻辑函数求补
递归
集成电路
逻辑设计
最优化
二叉树
数据结构
下载PDF
职称材料
逻辑函数求补算法及其改进
被引量:
3
8
作者
邱建林
王波
+2 位作者
管致锦
刘维富
顾晖
《计算机工程与应用》
CSCD
北大核心
2004年第18期64-66,228,共4页
逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空...
逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。
展开更多
关键词
逻辑函数
递归裂变
最小项
补集描述
下载PDF
职称材料
C语言程序设计教学的研究与实践
被引量:
34
9
作者
邱建林
刘维富
+2 位作者
顾晖
管致锦
王波
《电气电子教学学报》
2003年第4期96-98,共3页
C语言的教学是教与学的同步过程 ,教师在讲授过程中应根据 C语言程序设计课程的特点 ,采用对应的教学方法和策略 ,加强基础知识与程序设计基本技能的训练。通过“案例教学、任务驱动”等手段 ,结合多媒体投影教学 ,提高学习的兴趣与积极...
C语言的教学是教与学的同步过程 ,教师在讲授过程中应根据 C语言程序设计课程的特点 ,采用对应的教学方法和策略 ,加强基础知识与程序设计基本技能的训练。通过“案例教学、任务驱动”等手段 ,结合多媒体投影教学 ,提高学习的兴趣与积极性 ,实施“算法为中心、教学负反馈、注重于实践”的策略 ,培养学生良好的程序设计综合编程、程序调试能力。同时学生学习必须具有自觉性和富有探索精神 ,通过努力必能学有所获。
展开更多
关键词
C语言
程序设计
教学方法
多媒体投影教学
案例教学
下载PDF
职称材料
对逻辑函数3种求补算法的分析
被引量:
2
10
作者
邱建林
王波
+1 位作者
管致锦
刘维富
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第4期94-96,208,共4页
对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研...
对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。
展开更多
关键词
逻辑函数
补集
最小项
单边函数
递归裂变
下载PDF
职称材料
一种新的基于最小项逻辑优化的软件设计与实现
被引量:
2
11
作者
管致锦
王波
+2 位作者
刘维富
顾晖
邱建林
《微电子学与计算机》
CSCD
北大核心
2002年第11期68-70,共3页
文章提出了一个新的产生本源蕴涵项的算法,并形成了相应的组合逻辑电路逻辑综合优化软件,测试表明,它在运算速度和存储性能上都是高效的。
关键词
最小项逻辑优化
软件设计
集成电路
逻辑综合
无冗余覆盖
本源蕴涵项
下载PDF
职称材料
负反馈教学法的原理与实践
被引量:
9
12
作者
顾晖
刘维富
+3 位作者
管致锦
邱建林
王波
沈天晴
《电气电子教学学报》
2004年第4期102-104,共3页
根据多年教学实践与研究 ,在控制论、教育学和心理学的基础上 ,吸收了布鲁纳的“发现教学法”和瓦根舍因“范例教学法”的合理成分 ,提出了负反馈教学法 ,并运用到 C/C++程序设计教学实践中 ,取得了较好的教学效果。
关键词
负反馈教学法
发现教学法
范例教学法
C/C++
程序设计
下载PDF
职称材料
多输入多输出单边逻辑函数优化系统的设计研究
被引量:
2
13
作者
邱建林
王波
刘维富
《南京邮电大学学报(自然科学版)》
EI
2006年第5期65-70,共6页
逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引...
逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。
展开更多
关键词
多输入多输出
单边逻辑函数
逻辑优化
算法
软件
下载PDF
职称材料
大变量多输出逻辑函数实质项识别算法
被引量:
1
14
作者
邱建林
王波
刘维富
《计算机工程》
CAS
CSCD
北大核心
2007年第17期57-59,62,共4页
在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来...
在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项,从而构成实质本源项集合、完全冗余项集合和相对冗余项集合。对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000。软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试。
展开更多
关键词
多输入多输出
逻辑函数
算法
全域识别
实质本源项
下载PDF
职称材料
VC++程序设计基础课程实践教学方法的探讨
被引量:
13
15
作者
沈天晴
刘维富
丁卫平
《南通大学学报(教育科学版)》
2005年第3期88-90,共3页
文章从大学生的实际情况出发,基于VC++语言的特点,提出了单步跟踪、一题多做、警告排除、类比等实践教学改革的措施,该措施培养了学生的创新意识和独立解决问题的能力,使大学生的理论知识学习与实践动手能力达到有机的统一。
关键词
VC++
编程能力
基本调试技术
过程监视
下载PDF
职称材料
C++中二维数组与指针关系的剖析
被引量:
2
16
作者
丁卫平
刘维富
沈天晴
《南通工学院学报(自然科学版)》
2004年第3期85-87,共3页
对C的教学和编程中普遍存在的二维数组与指针极易混淆的关系进行了深入的探讨和分析 。
关键词
C++
二维数组
指针
地址
下载PDF
职称材料
用二值逻辑对多值逻辑进行优化
17
作者
邱建林
王波
+2 位作者
管致锦
刘维富
顾晖
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第5期682-686,共5页
提出以二值多输出逻辑优化软件OPLG为基础 ,对多值逻辑函数进行逻辑优化的方法 通过对多值变量、多值函数的二进制矢量描述 ,将多值多维体转换为布尔表达式积项形式 从多值多维体的多值最小项出发 ,给出计算基本无关集的方法 对多值逻...
提出以二值多输出逻辑优化软件OPLG为基础 ,对多值逻辑函数进行逻辑优化的方法 通过对多值变量、多值函数的二进制矢量描述 ,将多值多维体转换为布尔表达式积项形式 从多值多维体的多值最小项出发 ,给出计算基本无关集的方法 对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为30 0 )来实现 。
展开更多
关键词
多值最小项
二值逻辑
多值多维体
基本无关集
多值函数
优化算法
下载PDF
职称材料
单边多输出逻辑函数补集软件的设计与实现
18
作者
邱建林
王波
+1 位作者
顾翔
刘维富
《计算机工程与应用》
CSCD
北大核心
2006年第A01期129-132,共4页
根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵B(F)和状态矢量R(F)来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补...
根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵B(F)和状态矢量R(F)来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。我们设计的多输入多输出单边逻辑函数补集算法软件,在P-1.8GHz、512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。
展开更多
关键词
多输入多输出
单边逻辑函数
补集
特征矩阵
算法
下载PDF
职称材料
基于编码算法的组合逻辑电路最优化软件的设计与实现
19
作者
王波
管致锦
+2 位作者
刘维富
顾晖
邱建林
《计算机工程与应用》
CSCD
北大核心
2003年第13期153-155,199,共4页
在组合电路综合领域,逻辑最小化对电路面积及性能起到至关重要的作用。文章提出了一个新的产生本源蕴涵项的算法,并开发了一个最优化软件MININT,实验表明,它在运算速度和存储性能上都是高效的。
关键词
相邻最小项
实质本源蕴涵项
无冗余覆盖
下载PDF
职称材料
应用子带分解的特殊音效镶边的设计与实现
20
作者
吉晓东
陈建平
+1 位作者
刘维富
周婧洁
《计算机工程与应用》
CSCD
2012年第4期125-127,203,共4页
针对传统的调制镶边处理仅从全时域上对原始声音信号进行延时叠加的问题,利用子带分解的思想,研究如何有效地利用音频信号的频域特点,提出了一种新的基于子带分解的时、频镶边处理方案。理论分析和实验结果表明,新的镶边处理方案不仅能...
针对传统的调制镶边处理仅从全时域上对原始声音信号进行延时叠加的问题,利用子带分解的思想,研究如何有效地利用音频信号的频域特点,提出了一种新的基于子带分解的时、频镶边处理方案。理论分析和实验结果表明,新的镶边处理方案不仅能够有效利用人耳的听觉特性,还能够独立、灵活地选择和调节不同音域信号的调制镶边参数,实现了一种灵活、高效的镶边特殊音效处理。
展开更多
关键词
数字音频处理
特殊音效
镶边
子带分解
下载PDF
职称材料
题名
C++程序设计课程研究与教材建设
被引量:
12
1
作者
刘维富
陈建平
王春明
葛建芳
邱建林
顾晖
机构
南通大学计算机科学与技术学院
出处
《计算机教育》
2010年第14期153-158,共6页
基金
江苏省高校精品教材建设项目"Visual C++程序设计"(苏教高[2005]26号)
第四届大学计算机课程报告论坛项目"C++程序设计课程研究与教材建设"(高教研[2009]2号)
南通大学高等教育研究项目"C++课程教材建设的研究与实践"(08GJZX017)
文摘
文章简要介绍了C++语言及课程的特点,分析国内高校C++课程的教材建设现状,针对C++课程的特点,结合南通大学C++课程的建设、教学研究、教学实践和教学理念,以学生的认识规律和编程能力的形成规律为依据,以培养学生实际编程能力和创新能力为目标,阐述C++系列教材建设历程和建设成果。
关键词
C++
课程研究
教材建设
负反馈教学
Keywords
C++
course research
textbook construction
negative feedback teaching
分类号
G642 [文化科学—高等教育学]
下载PDF
职称材料
题名
C语言程序设计一体化案例教材的建设
被引量:
1
2
作者
刘维富
陈建平
邱建林
顾晖
机构
南通大学计算机科学与技术学院
出处
《电气电子教学学报》
2011年第1期115-116,120,共3页
基金
南通大学教学研究课题"C语言案例教材的建设与实践"(08B16)
南通大学教材建设项目"C语言程序设计一体化案例教程"(2008016)
文摘
本文介绍了C语言课程教材建设现状,针对C语言课程教材建设存在的主要问题,提出C语言程序设计一体化案例教材建设的完整思路,并用于C语言程序设计一体化案例教材建设与教学实践。本文的设想可供程序设计课程(如C++、C#J、ava、VB、VFP等)的教材建设参考。
关键词
C语言
程序设计
教材建设
Keywords
C language
programming design
textbook construction
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
试题难度呈正态分布的组卷算法
被引量:
3
3
作者
刘维富
机构
南通工学院信息工程系
出处
《微型电脑应用》
2002年第11期32-34,共3页
文摘
本文建立了一个试卷自动生成算法。试卷中的题目从题库中选出 ,题量按题目的难易程度呈正态分布。算法还考虑到试题按章节分布的均匀性等问题。该算法具有通用性 ,可生成文、理。
关键词
试题难度
正态分布
组卷算法
题库管理软件
分类号
TP319 [自动化与计算机技术—计算机软件与理论]
G424.7 [文化科学—课程与教学论]
下载PDF
职称材料
题名
C++语言引用型变量的实现机制浅析
被引量:
2
4
作者
刘维富
机构
南通工学院信息工程系
出处
《南通工学院学报(自然科学版)》
2002年第1期64-66,共3页
文摘
为准确理解C语言引用的本质,对C语言引用型变理的实现机制进行了初步探讨。通过变量的内存地址分析,揭示了C语言引用的本质,即引用变量用于存放所引用变量的地址,并对引用与指针进行了比较。
关键词
引用型变量
实现机制
C^++语言
引用
指针
内存地址
Keywords
C
reference
pointer
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
C运算符重载教学和编程中易被忽视的问题
被引量:
1
5
作者
刘维富
机构
南通工学院信息工程系
出处
《南通工学院学报(自然科学版)》
2003年第3期56-59,共4页
文摘
对运算符重载教学和编程中常见的、易被忽视的问题进行了深入探讨和分析 ,并给出了有效的解决方法。对运算符重载时如何考虑用户使用习惯、使用的方便性和继承性也作了阐述。
关键词
C++语言
运算符
重载
教学
程序设计
多态性
继承性
友元函数
类成员函数
返回值
Keywords
C
operator overloading
polymorphism
inheritance
friend functions
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Visual C++程序设计课程建设研究与实践
被引量:
12
6
作者
陈建平
刘维富
王春明
邱建林
顾晖
史胜辉
机构
南通大学计算机科学与技术学院
出处
《计算机教育》
2007年第06X期18-20,共3页
基金
江苏省高校精品教材建设项目“Visual C++程序设计”(苏教高[2005]26号)
南通大学精品课程建设项目“Visual C++程序设计精品课程的建设与实践”
文摘
本文从教学方法改革、教学内容研究、实践环节建设、特色教材编写等方面介绍该课程建设的一些做法。并介绍了几年来通过对该课程建设进行的研究和实践所取得的成果。
关键词
C++程序设计
课程建设
负反馈教学法
实践环节
特色教材
分类号
G64 [文化科学—高等教育学]
下载PDF
职称材料
题名
大变量逻辑函数求补的递归实现
7
作者
刘维富
机构
南通工学院信息工程系
出处
《微机发展》
2002年第5期18-21,共4页
基金
江苏省自然科学基金资助项目 (BK2 0 0 113 0 )
文摘
逻辑函数求补是大变量逻辑优化的算法基础。采用二叉树结构 ,用C语言实现了大变量逻辑函数求补递归算法。详述了求补二叉树的结构和形成过程 ,以及在求补二叉树上补集的收集方法。
关键词
大变量逻辑函数求补
递归
集成电路
逻辑设计
最优化
二叉树
数据结构
Keywords
complement set
binary tree
recursive
分类号
TN402 [电子电信—微电子学与固体电子学]
下载PDF
职称材料
题名
逻辑函数求补算法及其改进
被引量:
3
8
作者
邱建林
王波
管致锦
刘维富
顾晖
机构
南通工学院信息工程系
出处
《计算机工程与应用》
CSCD
北大核心
2004年第18期64-66,228,共4页
基金
江苏省自然科学基金(编号:BK2001130)
江苏省高校自然科学基金(编号:03KJB520103)资助
文摘
逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。
关键词
逻辑函数
递归裂变
最小项
补集描述
Keywords
logic function,recursion fission,minimum,complement set
分类号
TP302.2 [自动化与计算机技术—计算机系统结构]
TN47 [电子电信—微电子学与固体电子学]
下载PDF
职称材料
题名
C语言程序设计教学的研究与实践
被引量:
34
9
作者
邱建林
刘维富
顾晖
管致锦
王波
机构
南通工学院信息工程系
出处
《电气电子教学学报》
2003年第4期96-98,共3页
基金
南通工学院高教研究专项
南通工学院重点课程建设基金资助项目
文摘
C语言的教学是教与学的同步过程 ,教师在讲授过程中应根据 C语言程序设计课程的特点 ,采用对应的教学方法和策略 ,加强基础知识与程序设计基本技能的训练。通过“案例教学、任务驱动”等手段 ,结合多媒体投影教学 ,提高学习的兴趣与积极性 ,实施“算法为中心、教学负反馈、注重于实践”的策略 ,培养学生良好的程序设计综合编程、程序调试能力。同时学生学习必须具有自觉性和富有探索精神 ,通过努力必能学有所获。
关键词
C语言
程序设计
教学方法
多媒体投影教学
案例教学
Keywords
C language
programming
teaching
practice
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
G423.07 [文化科学—课程与教学论]
下载PDF
职称材料
题名
对逻辑函数3种求补算法的分析
被引量:
2
10
作者
邱建林
王波
管致锦
刘维富
机构
南通大学计算机科学与技术学院
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第4期94-96,208,共4页
基金
江苏省自然科学基金资助项目(BK2001130)
江苏省高校自然科学基金资助项目(03KJB520103)
南通市科委资助项目(C3024)
文摘
对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。
关键词
逻辑函数
补集
最小项
单边函数
递归裂变
Keywords
Logic function
Complement set
Minimum
Unate function
Recursion fission
分类号
TP302.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一种新的基于最小项逻辑优化的软件设计与实现
被引量:
2
11
作者
管致锦
王波
刘维富
顾晖
邱建林
机构
南通工学院
出处
《微电子学与计算机》
CSCD
北大核心
2002年第11期68-70,共3页
基金
江苏省自然科学基金资助项目(BK2001130)
文摘
文章提出了一个新的产生本源蕴涵项的算法,并形成了相应的组合逻辑电路逻辑综合优化软件,测试表明,它在运算速度和存储性能上都是高效的。
关键词
最小项逻辑优化
软件设计
集成电路
逻辑综合
无冗余覆盖
本源蕴涵项
Keywords
Adjacent minterm,Essential prime implicant,Irredundant cover
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
TN40 [电子电信—微电子学与固体电子学]
下载PDF
职称材料
题名
负反馈教学法的原理与实践
被引量:
9
12
作者
顾晖
刘维富
管致锦
邱建林
王波
沈天晴
机构
南通工学院信息工程系
出处
《电气电子教学学报》
2004年第4期102-104,共3页
文摘
根据多年教学实践与研究 ,在控制论、教育学和心理学的基础上 ,吸收了布鲁纳的“发现教学法”和瓦根舍因“范例教学法”的合理成分 ,提出了负反馈教学法 ,并运用到 C/C++程序设计教学实践中 ,取得了较好的教学效果。
关键词
负反馈教学法
发现教学法
范例教学法
C/C++
程序设计
Keywords
negative feedback pedagogics
discovery pedagogics
example pedagogics
C/C++
programming
分类号
G424.1 [文化科学—课程与教学论]
G44 [哲学宗教—发展与教育心理学]
下载PDF
职称材料
题名
多输入多输出单边逻辑函数优化系统的设计研究
被引量:
2
13
作者
邱建林
王波
刘维富
机构
南通大学计算机科学与技术学院
出处
《南京邮电大学学报(自然科学版)》
EI
2006年第5期65-70,共6页
基金
江苏省自然科学基金(BK2001130)
江苏省高校自然科学基金(03KJB520103
+2 种基金
05KJD520166
06KJB520090)
南通市应用研究计划项目(K2006008)资助项目
文摘
逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。
关键词
多输入多输出
单边逻辑函数
逻辑优化
算法
软件
Keywords
Multi-input multi-output
Unate logic functions
Logic optimization
Algorithm
Software
分类号
TP302.2 [自动化与计算机技术—计算机系统结构]
TN47 [电子电信—微电子学与固体电子学]
下载PDF
职称材料
题名
大变量多输出逻辑函数实质项识别算法
被引量:
1
14
作者
邱建林
王波
刘维富
机构
南通大学计算机科学与技术学院
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第17期57-59,62,共4页
基金
江苏省自然科学基金(BK2001130)
江苏省高校自然科学基金(03KJB520103)
文摘
在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项,从而构成实质本源项集合、完全冗余项集合和相对冗余项集合。对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000。软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试。
关键词
多输入多输出
逻辑函数
算法
全域识别
实质本源项
Keywords
multi-input multi-output
logic functions
algorithm
tautology identification
essential prime
分类号
TP302.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
VC++程序设计基础课程实践教学方法的探讨
被引量:
13
15
作者
沈天晴
刘维富
丁卫平
机构
南通大学计算机科学与技术学院
出处
《南通大学学报(教育科学版)》
2005年第3期88-90,共3页
文摘
文章从大学生的实际情况出发,基于VC++语言的特点,提出了单步跟踪、一题多做、警告排除、类比等实践教学改革的措施,该措施培养了学生的创新意识和独立解决问题的能力,使大学生的理论知识学习与实践动手能力达到有机的统一。
关键词
VC++
编程能力
基本调试技术
过程监视
Keywords
VC++
programming ability
basic techniques of debug
process monitor
分类号
G642 [文化科学—高等教育学]
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
C++中二维数组与指针关系的剖析
被引量:
2
16
作者
丁卫平
刘维富
沈天晴
机构
苏州大学计算机科学与技术学院
南通工学院信息工程系
出处
《南通工学院学报(自然科学版)》
2004年第3期85-87,共3页
文摘
对C的教学和编程中普遍存在的二维数组与指针极易混淆的关系进行了深入的探讨和分析 。
关键词
C++
二维数组
指针
地址
Keywords
C++
two-dimensional arrays
point
address
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
用二值逻辑对多值逻辑进行优化
17
作者
邱建林
王波
管致锦
刘维富
顾晖
机构
南通工学院信息工程系
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第5期682-686,共5页
基金
江苏省自然科学基金 (BK2 0 0 1130 )
江苏省高校自然科学基金(0 3KJB52 0 10 3)资助
文摘
提出以二值多输出逻辑优化软件OPLG为基础 ,对多值逻辑函数进行逻辑优化的方法 通过对多值变量、多值函数的二进制矢量描述 ,将多值多维体转换为布尔表达式积项形式 从多值多维体的多值最小项出发 ,给出计算基本无关集的方法 对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为30 0 )来实现 。
关键词
多值最小项
二值逻辑
多值多维体
基本无关集
多值函数
优化算法
Keywords
multi valued logic
multi valued cube
multi valued mini term
basic don't care set
two valued logic
分类号
TN431.2 [电子电信—微电子学与固体电子学]
下载PDF
职称材料
题名
单边多输出逻辑函数补集软件的设计与实现
18
作者
邱建林
王波
顾翔
刘维富
机构
南通大学计算机科学与技术学院
出处
《计算机工程与应用》
CSCD
北大核心
2006年第A01期129-132,共4页
基金
江苏省自然科学基金(BK2001130)
江苏省高校自然科学基金(03KJB520103
+2 种基金
05KJD520166
06KJB520090)
南通市应用研究计划资助项目(K2006008)。
文摘
根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵B(F)和状态矢量R(F)来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。我们设计的多输入多输出单边逻辑函数补集算法软件,在P-1.8GHz、512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。
关键词
多输入多输出
单边逻辑函数
补集
特征矩阵
算法
Keywords
multi-input multi-output
unate logic functions
complement sets
character matrix
algorithm
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于编码算法的组合逻辑电路最优化软件的设计与实现
19
作者
王波
管致锦
刘维富
顾晖
邱建林
机构
南通工学院信息工程系
出处
《计算机工程与应用》
CSCD
北大核心
2003年第13期153-155,199,共4页
基金
江苏省自然科学基金资助项目(编号:BK2001130)
文摘
在组合电路综合领域,逻辑最小化对电路面积及性能起到至关重要的作用。文章提出了一个新的产生本源蕴涵项的算法,并开发了一个最优化软件MININT,实验表明,它在运算速度和存储性能上都是高效的。
关键词
相邻最小项
实质本源蕴涵项
无冗余覆盖
Keywords
Adjacent minterm,Essential prime implicant ,Irredundant cover
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
应用子带分解的特殊音效镶边的设计与实现
20
作者
吉晓东
陈建平
刘维富
周婧洁
机构
南通大学电子信息学院
南通大学计算机科学与技术学院
出处
《计算机工程与应用》
CSCD
2012年第4期125-127,203,共4页
基金
南通市应用研究计划(No.K2007007)
南通大学自然科学基金(No.07Z044)
文摘
针对传统的调制镶边处理仅从全时域上对原始声音信号进行延时叠加的问题,利用子带分解的思想,研究如何有效地利用音频信号的频域特点,提出了一种新的基于子带分解的时、频镶边处理方案。理论分析和实验结果表明,新的镶边处理方案不仅能够有效利用人耳的听觉特性,还能够独立、灵活地选择和调节不同音域信号的调制镶边参数,实现了一种灵活、高效的镶边特殊音效处理。
关键词
数字音频处理
特殊音效
镶边
子带分解
Keywords
digital audio processing
audio effect
flanging
subband decomposition
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
C++程序设计课程研究与教材建设
刘维富
陈建平
王春明
葛建芳
邱建林
顾晖
《计算机教育》
2010
12
下载PDF
职称材料
2
C语言程序设计一体化案例教材的建设
刘维富
陈建平
邱建林
顾晖
《电气电子教学学报》
2011
1
下载PDF
职称材料
3
试题难度呈正态分布的组卷算法
刘维富
《微型电脑应用》
2002
3
下载PDF
职称材料
4
C++语言引用型变量的实现机制浅析
刘维富
《南通工学院学报(自然科学版)》
2002
2
下载PDF
职称材料
5
C运算符重载教学和编程中易被忽视的问题
刘维富
《南通工学院学报(自然科学版)》
2003
1
下载PDF
职称材料
6
Visual C++程序设计课程建设研究与实践
陈建平
刘维富
王春明
邱建林
顾晖
史胜辉
《计算机教育》
2007
12
下载PDF
职称材料
7
大变量逻辑函数求补的递归实现
刘维富
《微机发展》
2002
0
下载PDF
职称材料
8
逻辑函数求补算法及其改进
邱建林
王波
管致锦
刘维富
顾晖
《计算机工程与应用》
CSCD
北大核心
2004
3
下载PDF
职称材料
9
C语言程序设计教学的研究与实践
邱建林
刘维富
顾晖
管致锦
王波
《电气电子教学学报》
2003
34
下载PDF
职称材料
10
对逻辑函数3种求补算法的分析
邱建林
王波
管致锦
刘维富
《计算机工程》
EI
CAS
CSCD
北大核心
2005
2
下载PDF
职称材料
11
一种新的基于最小项逻辑优化的软件设计与实现
管致锦
王波
刘维富
顾晖
邱建林
《微电子学与计算机》
CSCD
北大核心
2002
2
下载PDF
职称材料
12
负反馈教学法的原理与实践
顾晖
刘维富
管致锦
邱建林
王波
沈天晴
《电气电子教学学报》
2004
9
下载PDF
职称材料
13
多输入多输出单边逻辑函数优化系统的设计研究
邱建林
王波
刘维富
《南京邮电大学学报(自然科学版)》
EI
2006
2
下载PDF
职称材料
14
大变量多输出逻辑函数实质项识别算法
邱建林
王波
刘维富
《计算机工程》
CAS
CSCD
北大核心
2007
1
下载PDF
职称材料
15
VC++程序设计基础课程实践教学方法的探讨
沈天晴
刘维富
丁卫平
《南通大学学报(教育科学版)》
2005
13
下载PDF
职称材料
16
C++中二维数组与指针关系的剖析
丁卫平
刘维富
沈天晴
《南通工学院学报(自然科学版)》
2004
2
下载PDF
职称材料
17
用二值逻辑对多值逻辑进行优化
邱建林
王波
管致锦
刘维富
顾晖
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004
0
下载PDF
职称材料
18
单边多输出逻辑函数补集软件的设计与实现
邱建林
王波
顾翔
刘维富
《计算机工程与应用》
CSCD
北大核心
2006
0
下载PDF
职称材料
19
基于编码算法的组合逻辑电路最优化软件的设计与实现
王波
管致锦
刘维富
顾晖
邱建林
《计算机工程与应用》
CSCD
北大核心
2003
0
下载PDF
职称材料
20
应用子带分解的特殊音效镶边的设计与实现
吉晓东
陈建平
刘维富
周婧洁
《计算机工程与应用》
CSCD
2012
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部