江苏省高校自然科学研究项目(03KJB520103)
- 作品数：10 被引量：36H指数：3
- 相关作者：邱建林管致锦刘维富王波张义清更多>>
- 相关机构：南通工学院南通大学更多>>
- 发文基金：江苏省高校自然科学研究项目江苏省自然科学基金南通市应用研究计划项目更多>>
- 相关领域：自动化与计算机技术电子电信金属学及工艺更多>>
- 适于大数目输入变量的逻辑综合启发式算法被引量：1
- 2004年
- 本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随机产生的大数目输入变量问题的测试。实验证明该方法是有效的 ,特别对大数目输入变量的函数 ,具有较好的综合效果。
- 管致锦张义清
- 关键词：逻辑综合启发式算法文字自顶向下
- 用二值逻辑对多值逻辑进行优化被引量：1
- 2004年
- 提出以二值多输出逻辑优化软件OPLG为基础 ,对多值逻辑函数进行逻辑优化的方法 通过对多值变量、多值函数的二进制矢量描述 ,将多值多维体转换为布尔表达式积项形式 从多值多维体的多值最小项出发 ,给出计算基本无关集的方法 对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为30 0 )来实现 。
- 邱建林王波管致锦刘维富顾晖
- 关键词：二值逻辑多值函数优化算法
- 逻辑函数求补算法及其改进被引量：4
- 2004年
- 逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。
- 邱建林王波管致锦刘维富顾晖
- 关键词：逻辑函数
- 对逻辑函数3种求补算法的分析被引量：3
- 2005年
- 对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。
- 邱建林王波管致锦刘维富
- 关键词：逻辑函数补集
- 数据的逻辑综合分析及决策算法被引量：1
- 2004年
- 文章给出了逻辑综合分析的基本理论和决策算法。并利用逻辑综合中逻辑单元的随机覆盖问题产生的随机数据,对算法加以验证。实验结果表明决策算法的精确度可以达到97.2%。
- 管致锦张义清徐慧
- 关键词：逻辑综合
- 超大变量多值单边逻辑函数优化算法的研究
- 2007年
- 单边多值逻辑函数是逻辑函数的一种特例,对于超大变量的逻辑函数优化,存储开销对输入变量呈2幂次方增长.针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输出单边逻辑函数补集,以积项扩展为基础,完成多输出单边逻辑函数无冗余覆盖.通过编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素进行了分析,软件系统在奔腾1.8GHz,512MB RAM的计算机上通过了正确性验证与测试,测试结果表明性能良好,有效降低了系统的存储空间和时间开销.在相同输出变量数、积项数和无关项因子的情况下,随输入变量数的增长,优化效率随之下降;在相同输入变量数、输出变量数和积项数的情况下,随无关项因子值的增长,优化效率随之下降;在相同输入变量数、输出变量数、和无关项因子的情况下,随积项数的增长优化效率随之提高.
- 邱建林王波刘维富
- 关键词：多输入多输出单边逻辑函数逻辑优化
- 大变量多输出逻辑函数实质项识别算法被引量：1
- 2007年
- 在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项,从而构成实质本源项集合、完全冗余项集合和相对冗余项集合。对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000。软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试。
- 邱建林王波刘维富
- 关键词：多输入多输出逻辑函数
- 基于阈门网络的逻辑综合问题研究被引量：1
- 2004年
- 我们在对阈门网络进行研究的基础上,给出了二级逻辑电路最小化技术应用的一个二级阈门网络综合算法-TLLS。算法通过了Benchmark二级逻辑函数例题的测试。当算法只限定到典型的逻辑门电路时,获得比较好的最小化效果。
- 管致锦张义清顾晖邱建林
- 关键词：逻辑电路逻辑综合
- 巨大变量组合逻辑设计优化软件的研究与设计被引量：1
- 2004年
- 采用不同优化算法和机器处理方法来缓解机器资源对巨大变量组合逻辑综合问题的限制,介绍了软件系统设计的技术途径。以此形成的巨大变量逻辑优化软件,其输入、输出变量之和达到300。该软件通过了组合逻辑电路的benchmark例题测试。其优化效果的平均输入输出之比为0.652。
- 管致锦张义清邱建林刘维富
- 关键词：逻辑优化
- 一种改进的网络拓扑发现方法被引量：27
- 2005年
- 在对基于ICMP的网络拓扑发现、基于ARP的网络拓扑发现和利用SNMP访问MIB(管 理信息库)路由表的网络拓扑发现三种方法的分析研究基础上,提出了一个经过改进的网络拓扑发 现方法,此方法能够准确、完整、高效地发现网络主干拓扑和子网内的设备,并详细描述了网络拓扑发 现的数据结构和算法。
- 邱建林何鹏
- 关键词：拓扑发现简单网络管理协议管理信息库
