江西省自然科学基金(2009GQS0060)
- 作品数：10 被引量：20H指数：3
- 相关作者：孙凌宇冷明朱平郭恺强边计年更多>>
- 相关机构：井冈山大学清华大学上海大学更多>>
- 发文基金：江西省自然科学基金江西省教育厅科学技术研究项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 无向赋权图剖分优化问题的研究进展被引量：1
- 2010年
- 无向赋权图剖分优化问题作为图论中的一个典型组合优化问题,在大规模集成电路设计、并行计算、数据挖掘、任务调度、知识发现、图像分割等领域有着广泛的应用。本文给出了无向图剖分优化问题的相关概念;从寻优策略的角度,将无向图剖分优化问题的求解算法分为构造性算法和迭代改进算法;分析了求解无向图剖分优化问题的迁移方法、几何方法、组合方法、谱方法、元胞自动机方法;重点讨论了多水平方法的粗化阶段、初始剖分阶段和优化阶段相应的匹配算法、初始剖分算法和迁移优化算法;介绍了无向图剖分优化问题的典型应用领域并指出了该问题今后的研究方向。
- 冷明孙凌宇郁松年
- 关键词：无向赋权图剖分
- 移动机器人路径规划算法的研究被引量：4
- 2010年
- 路径规划技术作为机器人研究领域中的一个重要分支,是依据某些优化准则,在其工作空间中找到一条从起始状态到目标状态的最优无碰路径。本文针对机器人路径规划技术进行了深入地研究,阐述了机器人路径规划问题的三个子问题等内容,讨论了传统路径规划方法和基于智能算法的路径规划方法。本文运用传统Dijkstra算法的贪心策略,针对静态环境下移动机器人路径规划的寻路径子问题,提出了一种改进的Dijkstra路径规划算法。该算法借助具有"先进先出"特点的队列,采用广度优先遍历二维网络结点。该算法在选择邻接结点进行遍历的时候,采用的禁忌策略是禁止访问已经访问的结点,以及被标识为障碍物的结点。实验及分析表明,该算法能准确并快速地寻找到最优路径,且时间复杂度为O(4*n)。
- 孙凌宇冷明朱平周宇
- 关键词：移动机器人路径规划贪心策略
- 基于Petri网建模的Web型MIS系统的研究
- 2011年
- 文中提出了基于MVC架构的Web型信息管理流程模型,并通过定义的模型五元组来描述各层之间数据传递的关系和结果.给出了基于MVC架构的Web型MIS系统Petri网建模基本步骤,为Web型MIS系统的业务流程的分析、验证与优化提供了理论依据.以井冈山大学科研管理信息系统为例,讨论了Petri网理论在建模中的应用,实验结果表明采用Petri网理论对科研管理信息系统建模是可行且有效的.
- 冷明孙凌宇郭恺强朱平
- 关键词：管理信息系统
- 一种ISPD98电路网表到超图的转换算法被引量：8
- 2011年
- 以电路测试基准ISPD98的模型用例及对应的超图为例,阐述了ISPD98电路网表文件格式、超图的压缩存储格式和文件存储格式.提出了一种ISPD98电路网表到超图的转换算法.它读取ISPD98电路网表文件数据,将其映射到超图的压缩存储格式,并存储为指定的超图文件存储格式,从而有效地将电路划分问题转换为超图划分优化问题.实验表明,该转换算法能正确地将ISPD98电路网表转换为超图的文件存储格式,有效地避免了直接在ISPD98电路网表上进行划分,提高了电路划分的效率.
- 冷明孙凌宇郭恺强朱平
- 关键词：电路网表超图
- 基于Flash技术的住宅小区数字地图的设计与实现被引量：3
- 2010年
- 文章提出了基于Flash技术的住宅小区数字地图的设计基本思想,采用ActionScript脚本语言编程和内置组件实现用户与动画的交互,以图文并茂的形式、实时生动地将住宅小区的地理空间数据和属性数据有机地联系起来进行展示。文章还讨论了数字地图设计流程中不同阶段的实现方法,研究了其主要功能模块的关键技术,并给出了Flash图层设计的解决方案和ActionScript语言的实现代码,最后提出了借助外部配置文件,来增强基于Flash技术的住宅小区数字地图的易维护性。
- 冷明周松孙凌宇
- 关键词：数字地图FLASH住宅小区
- 基于SOA的电子商务数据交换平台研究
- 2010年
- 分析了电子商务发展中遇到的问题,阐述了集成企业各部门异构系统,建设数据交换平台的必要性,提出了"代理+服务器"松散耦合模式的数据交换平台系统。系统利用WMB实现企业服务总线来保证数据交换过程中各种数据的高效传输,采用SOA体系架构思想,使该系统层次结构清晰,具有良好的通用性和可维护性。
- 周松华
- 关键词：数据交换平台企业服务总线
- 赋权超图划分算法的电路划分实验比较研究被引量：3
- 2012年
- 给出了赋权超图优化划分问题的形式化描述,并结合电路划分的具体应用,采用赋权超图来构造ISPD98电路测试基准的数学模型。阐述了基于迁移方法和多水平方法的赋权超图优化划分算法,并重点讨论了粗化阶段的不同结点匹配策略、迁移优化阶段的不同结点迁移优化策略。基于ISPD98测试基准给出的18组电路,进行了迁移方法和多水平方法的对比实验,以及五种结点匹配和三种结点迁移优化不同组合策略的对比实验,实验数据对比充分验证了多水平方法的可行性和效率。
- 冷明平孙凌宇郭恺强边计年朱平
- 关键词：电路网表超图
- 图压缩存储格式的核排序重边匹配算法被引量：3
- 2011年
- 将图核概念引入到多水平方法粗化阶段,针对图的压缩存储格式提出了核排序重边匹配(CSHEM)算法。该算法借助图核的全局信息,改进了以往仅仅利用结点的度等局部信息进行匹配的粗化算法,在对原始图粗化过程中发挥结点核值导向性作用,克服以往只能选择随机匹配(RM)算法作为导向匹配算法的缺陷;提出了基于CSHEM和重边匹配(HEM)算法的组合粗化策略,在发挥结点核值的导向性作用的同时,又不至于被过分强调而使粗化图违背结点核值大小均匀分布的原则。基于ISPD98电路测试基准的实验和分析表明,相比无向图剖分软件MeTiS采用的RM和HEM算法的组合粗化策略,提出的策略取得了一定性能的改进。
- 孙凌宇冷明邓晓春郁松年
- 关键词：图核无向图
- 一种VLSI设计到赋权超图的转换系统被引量：3
- 2012年
- 本文基于VLSI划分问题的需要,提出了一种VLSI设计到赋权超图转换算法.该算法解决的关键问题是,它读取和遍历Verilog语言描述的树状结构VLSI设计,将其转换为赋权超图并存储为指定的文件存储格式,从而有效地将VLSI划分问题转换为超图划分优化问题.进而,本文给出了VLSI设计到赋权超图的转换系统(VLSI/Hypergraph Converter,VHC)的处理流程图,并在Windows平台下用C++设计实现了VHC系统.实验及分析表明,该系统能正确地将Verilog语言描述的门级CPU测试用例转换为赋权超图,避免了直接在VLSI线网上进行划分,提高了VLSI划分的效率.
- 冷明孙凌宇郭恺强朱平
- 关键词：VLSI设计
- 超图划分问题的元胞自动机模型及算法研究被引量：2
- 2012年
- 对超图划分问题运用元胞自动机理论进行分析建模,提出一种元胞自动机模型以及基于该模型的赋权超图划分优化算法。在该模型中,元胞对应于赋权超图中的结点,邻接元胞对应于邻接超边所包含的结点,元胞的状态对应于所在的划分子集。引入二维辅助数组存储每条超边在划分子集中的结点个数,给出快速的元胞收益值和划分割切值的计算方法,从而避免遍历超边中的结点。实验结果表明,与赋权图划分算法和迁移方法相比,该算法可以取得更优的划分,且时间复杂度和空间复杂度较低。
- 冷明孙凌宇边计年马昱春朱平
- 关键词：元胞自动机时间复杂度空间复杂度
