江苏省高校自然科学研究项目(03KJB520103)

作品数：10被引量：21H指数：1
导出分析报告
相关作者：邱建林管致锦刘维富王波张义清更多>>
相关机构：南通工学院南通大学更多>>
相关期刊：《计算机研究与发展》《计算机工程》《计算机应用》《计算机工程与应用》更多>>
相关主题：逻辑函数逻辑综合多输入多输出逻辑优化优化算法更多>>
相关领域：自动化与计算机技术电子电信金属学及工艺更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
大变量多输出逻辑函数实质项识别算法被引量：1
《计算机工程》2007年第17期57-59,62,共4页邱建林 王波 刘维富 
江苏省自然科学基金(BK2001130);江苏省高校自然科学基金(03KJB520103)
在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来...
关键词：多输入多输出 逻辑函数 算法 全域识别 实质本源项 
超大变量多值单边逻辑函数优化算法的研究
《计算机研究与发展》2007年第z1期173-177,共5页邱建林 王波 刘维富 
江苏省自然科学基金项目(BK2001130);江苏省高校自然科学基金项目(03KJB520103,06KJB520090);南通市应用研究计划基金项目(K2006008)
单边多值逻辑函数是逻辑函数的一种特例,对于超大变量的逻辑函数优化,存储开销对输入变量呈2幂次方增长.针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输出单边逻辑函数补集,以积项扩展为基础,完成多输...
关键词：多输入多输出 单边逻辑函数 逻辑优化 算法 软件 
对逻辑函数3种求补算法的分析被引量：2
《计算机工程》2005年第4期94-96,208,共4页邱建林 王波 管致锦 刘维富 
江苏省自然科学基金资助项目(BK2001130);江苏省高校自然科学基金资助项目(03KJB520103);南通市科委资助项目(C3024)
对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研...
关键词：逻辑函数 补集 最小项 单边函数 递归裂变 
一种改进的网络拓扑发现方法被引量：15
《计算机应用》2005年第4期891-893,共3页邱建林 何鹏 
江苏省高校自然科学基金资助项目(03KJB520103);江苏省现代教育技术资助项目(2004-METR- 27);南通市科委资助项目(C3018;C3024)
在对基于ICMP的网络拓扑发现、基于ARP的网络拓扑发现和利用SNMP访问MIB(管 理信息库)路由表的网络拓扑发现三种方法的分析研究基础上,提出了一个经过改进的网络拓扑发 现方法,此方法能够准确、完整、高效地发现网络主干拓扑和子网...
关键词：拓扑发现 简单网络管理协议 管理信息库 ICMP 地址解析协议 
数据的逻辑综合分析及决策算法
《计算机工程与应用》2004年第26期73-75,111,共4页管致锦 张义清 徐慧 
江苏省自然科学基金资助项目(编号:BK2001130);江苏省高校自然科学基金资助项目(编号:03KJB520103)
文章给出了逻辑综合分析的基本理论和决策算法。并利用逻辑综合中逻辑单元的随机覆盖问题产生的随机数据,对算法加以验证。实验结果表明决策算法的精确度可以达到97.2%。
关键词：数据 逻辑综合 分析 决策 
巨大变量组合逻辑设计优化软件的研究与设计
《计算机工程》2004年第19期55-56,95,共3页管致锦 张义清 邱建林 刘维富 
江苏省自然科学基金资助项目(BK2001130);江苏省高校自然科学基金资助项目(03KJB520103)
采用不同优化算法和机器处理方法来缓解机器资源对巨大变量组合逻辑综合问题的限制,介绍了软件系统设计的技术途径。以此形成的巨大变量逻辑优化软件,其输入、输出变量之和达到300。该软件通过了组合逻辑电路的benchmark例题测试。其优...
关键词：巨大变量 逻辑优化 软件 
适于大数目输入变量的逻辑综合启发式算法
《计算机应用与软件》2004年第11期8-9,20,共3页管致锦 张义清 
江苏省自然科学基金资助项目 (编号:BK2 0 0 1 1 30 );江苏省高校自然科学基金资助项目(编号:0 3KJB52 0 1 0 3)
本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随机产生的大数目输...
关键词：输入变量 逻辑综合 启发式算法 文字 自顶向下 逼近 测试 实验证明 数目 随机 
逻辑函数求补算法及其改进被引量：3
《计算机工程与应用》2004年第18期64-66,228,共4页邱建林 王波 管致锦 刘维富 顾晖 
江苏省自然科学基金(编号:BK2001130);江苏省高校自然科学基金(编号:03KJB520103)资助
逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空...
关键词：逻辑函数 递归裂变 最小项 补集描述 
基于阈门网络的逻辑综合问题研究
《微电子学与计算机》2004年第6期89-91,共3页管致锦 张义清 顾晖 邱建林 
江苏省自然科学基金资助项目(BK2001130);江苏省高校自然科学基金资助项目(03KJB520103)
我们在对阈门网络进行研究的基础上,给出了二级逻辑电路最小化技术应用的一个二级阈门网络综合算法-TLLS。算法通过了Benchmark二级逻辑函数例题的测试。当算法只限定到典型的逻辑门电路时,获得比较好的最小化效果。
关键词：阈门网络 逻辑电路 逻辑综合 
用二值逻辑对多值逻辑进行优化
《计算机辅助设计与图形学学报》2004年第5期682-686,共5页邱建林 王波 管致锦 刘维富 顾晖 
江苏省自然科学基金 (BK2 0 0 1130 );江苏省高校自然科学基金(0 3KJB52 0 10 3)资助
提出以二值多输出逻辑优化软件OPLG为基础 ,对多值逻辑函数进行逻辑优化的方法 通过对多值变量、多值函数的二进制矢量描述 ,将多值多维体转换为布尔表达式积项形式 从多值多维体的多值最小项出发 ,给出计算基本无关集的方法 对多值逻...
关键词：多值最小项 二值逻辑 多值多维体 基本无关集 多值函数 优化算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部