江苏省自然科学基金(BK2001130)

作品数：23被引量：17H指数：2
导出分析报告
相关作者：邱建林管致锦王波刘维富顾晖更多>>
相关机构：南通工学院南通大学南京航空航天大学更多>>
相关期刊：《兰州理工大学学报》《计算机工程与应用》《微电子学与计算机》《计算机辅助设计与图形学学报》更多>>
相关主题：逻辑函数逻辑综合多输入多输出单边逻辑函数逻辑优化更多>>
相关领域：自动化与计算机技术电子电信理学金属学及工艺更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多输入多输出单边逻辑函数补集算法的研究
《计算机应用与软件》2008年第1期280-282,共3页邱建林 王波 刘维富 
江苏省自然科学基金(BK2001130);江苏省高校自然科学基金(03KJB520103;05KJD520166;06KJB520090)资助。
介绍一种多输入多输出单边逻辑函数补集算法,该算法通过对多输入多输出逻辑函数的分离,形成多输入单输出的分支逻辑函数,对多输入单输出分支逻辑函数求出其特征矩阵和状态矢量,根据特征矩阵的特性进行最小列覆盖的选取形成多输入单输出...
关键词：多输入多输出 单边逻辑函数 补集特征矩阵 算法 
大变量多输出逻辑函数实质项识别算法被引量：1
《计算机工程》2007年第17期57-59,62,共4页邱建林 王波 刘维富 
江苏省自然科学基金(BK2001130);江苏省高校自然科学基金(03KJB520103)
在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来...
关键词：多输入多输出 逻辑函数 算法 全域识别 实质本源项 
一种基于积项扩展的大变量多输出逻辑优化算法的设计与实现
《江南大学学报（自然科学版）》2007年第6期718-722,共5页邱建林 陈建平 顾翔 王波 
江苏省自然科学基金项目(BK2001130);江苏省高校自然科学基金项目(03KJB520103;05KJD520166;06KJB520090);南通市应用研究计划项目(K2006008)
提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵,对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合,形成输入积项扩展后的积项形式.对于二级SOP型的多输入多输出逻辑函数,...
关键词：积项扩展 逻辑优化 多输入多输出 逻辑函数 算法 
单边多输出逻辑函数补集软件的设计与实现
《微电子学与计算机》2007年第7期4-7,12,共5页邱建林 王波 顾翔 刘维富 
江苏省自然科学基金项目(BK2001130);江苏省高校自然科学基金项目(03KJB520103;05KJD520166;06KJB520090);南通市应用研究计划项目(K2006008)
根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵和状态矢量来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑...
关键词：多输入多输出 单边逻辑函数 补集 特征矩阵 算法 
基于粗糙集的组合逻辑优化算法被引量：6
《兰州理工大学学报》2007年第1期88-91,共4页张义清 管致锦 吕彦明 
江苏省自然科学基金(BK2001130)
运用粗集理论对逻辑函数进行知识表达的方法,提出了基于粗糙集的组合逻辑优化方法,并给出了相应的算法.通过对20变量以下的组合逻辑标准Benchmark-89,91和93相容逻辑矩阵例题进行了检验,结果表明此算法是正确的,并具有显著的化简效果.
关键词：粗糙集 组合逻辑 优化 
超大变量多值单边逻辑函数优化算法的研究
《计算机研究与发展》2007年第z1期173-177,共5页邱建林 王波 刘维富 
江苏省自然科学基金项目(BK2001130);江苏省高校自然科学基金项目(03KJB520103,06KJB520090);南通市应用研究计划基金项目(K2006008)
单边多值逻辑函数是逻辑函数的一种特例,对于超大变量的逻辑函数优化,存储开销对输入变量呈2幂次方增长.针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输出单边逻辑函数补集,以积项扩展为基础,完成多输...
关键词：多输入多输出 单边逻辑函数 逻辑优化 算法 软件 
多输入多输出单边逻辑函数优化系统的设计研究被引量：2
《南京邮电大学学报（自然科学版）》2006年第5期65-70,共6页邱建林 王波 刘维富 
江苏省自然科学基金(BK2001130);江苏省高校自然科学基金(03KJB520103;05KJD520166;06KJB520090);南通市应用研究计划项目(K2006008)资助项目
逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引...
关键词：多输入多输出 单边逻辑函数 逻辑优化 算法 软件 
单边多输出逻辑函数补集软件的设计与实现
《计算机工程与应用》2006年第A01期129-132,共4页邱建林 王波 顾翔 刘维富 
江苏省自然科学基金(BK2001130);江苏省高校自然科学基金(03KJB520103;05KJD520166;06KJB520090);南通市应用研究计划资助项目(K2006008)。
根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵B(F)和状态矢量R(F)来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补...
关键词：多输入多输出 单边逻辑函数 补集 特征矩阵 算法 
逻辑函数的粗糙集表达及最小化方法被引量：1
《黑龙江大学自然科学学报》2006年第2期265-268,共4页张义清 管致锦 李洵 
江苏省自然科学基金资助项目(BK2001130);南通大学自然科学基金资助项目(05Z005)
提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前...
关键词：逻辑函数 粗糙集 最小化 
对逻辑函数3种求补算法的分析被引量：2
《计算机工程》2005年第4期94-96,208,共4页邱建林 王波 管致锦 刘维富 
江苏省自然科学基金资助项目(BK2001130);江苏省高校自然科学基金资助项目(03KJB520103);南通市科委资助项目(C3024)
对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研...
关键词：逻辑函数 补集 最小项 单边函数 递归裂变 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部