江西省教育厅科学技术研究项目(GJJ09590)
- 作品数：7 被引量：28H指数：3
- 相关作者：冷明孙凌宇郁松年谭云兰曾小荟更多>>
- 相关机构：井冈山大学上海大学更多>>
- 发文基金：江西省教育厅科学技术研究项目上海市教育委员会创新基金江西省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种VLSI设计到无向赋权图的转换系统被引量：5
- 2009年
- 基于VLSI剖分问题的需要,设计并实现了VLSI设计到无向赋权图的转换系统(VLSI/Graph Converter,VGC).介绍了电路构造图和图文件存储格式,给出了VGC的处理流程图,提出了针对VLSI线网的无向赋权图转换算法.该算法解决的关键问题是,遍历树状结构的VLSI线网,将其转换为无向赋权图并存储为指定的图文件格式.VGC系统在Windows平台下用C++实现.实验及分析表明,该系统能正确地将Verilog语言描述的门级CPU转换为无向赋权图,避免了直接在VLSI线网上进行剖分,提高了VLSI剖分的效率.
- 孙凌宇冷明曾小荟郁松年
- 关键词：VLSI设计无向赋权图
- 基于信息摘要函数的文件完整性检测工具被引量：2
- 2010年
- 文中在Microsoft Visual Studio2005集成开发环境下,用C#实现了基于信息摘要函数的文件完整性检测工具.该工具使用CRC32、MD5和SHA1信息摘要函数,通过计算文件的数字文摘值,向系统管理员提供文件完整性检测功能,从而为发现入侵提供依据.实验表明,该工具在对多个文件的完整性测试过程中,计算出的CRC32、MD5、SHA1数字文摘值正确无误.
- 孙凌宇冷明周宇夏洁武
- 赋权有向图的最小生成树算法被引量：13
- 2010年
- 针对赋权有向图最小生成树问题存在可行解的情况,根据树节点入度最大值为1的性质,提出赋权有向图最小生成树性质。采用反证法,调整生成树根节点到弧头的路径来证明赋权有向图MST性质的正确性。基于赋权有向图MST性质,给出改进的Prim和Kruskal算法及其时间复杂度分析。实验给出构造某赋权有向图实例最小生成树的具体步骤,表明这2种算法能正确有效地构造赋权有向图最小生成树。
- 孙凌宇冷明谭云兰郁松年
- 关键词：最小生成树PRIM算法KRUSKAL算法
- 基本和混合元胞自动机的伪随机数发生器研究
- 2010年
- 针对基本元胞自动机(Cellular Automata,简称CA)、混合CA的伪随机数发生器进行了深入的研究,通过对比实验观察到混沌型基本CA输出的伪随机序列质量稳定并较优,而混合CA输出伪随机序列的相关性,尽管优于基本CA的平均表现,但远差于混沌型基本CA的表现。针对混合CA的伪随机数发生器,提出了一种基于混合CA与粒子群优化(Particle Swarm Optimiza-tion,简称PSO)算法融合的伪随机数产生算法。在该算法中,元胞对应于PSO的粒子,每个元胞按照各自不同的规则进行迭代演化,其对应粒子在迭代规则空间中飞行。该算法通过计算每个元胞产生伪随机序列的熵值作为粒子的适应度函数值,有效地实现每个元胞最佳规则的搜索,一定程度上提高了混合CA产生伪随机序列的质量。给出了基于小生境技术、构造出最优CA-PSO耦合伪随机数发生器的研究方向。
- 孙凌宇冷明王千峰郁松年
- 关键词：元胞自动机粒子群算法伪随机数发生器
- 基于Flash技术的住宅小区数字地图的设计与实现被引量：3
- 2010年
- 文章提出了基于Flash技术的住宅小区数字地图的设计基本思想,采用ActionScript脚本语言编程和内置组件实现用户与动画的交互,以图文并茂的形式、实时生动地将住宅小区的地理空间数据和属性数据有机地联系起来进行展示。文章还讨论了数字地图设计流程中不同阶段的实现方法,研究了其主要功能模块的关键技术,并给出了Flash图层设计的解决方案和ActionScript语言的实现代码,最后提出了借助外部配置文件,来增强基于Flash技术的住宅小区数字地图的易维护性。
- 冷明周松孙凌宇
- 关键词：数字地图FLASH住宅小区
- 基于谱方法的无向赋权图剖分算法被引量：5
- 2009年
- 在多水平方法初始剖分阶段提出了一种基于谱方法的无向赋权图剖分算法SPWUG,给出了基于Lanc-zos迭代计算Laplacian矩阵次小特征值及特征向量的实现细节。SPWUG算法借助Laplacian矩阵次小特征值对应的特征向量,刻画了节点间相对距离,将基于非赋权无向图的Laplacian谱理论在图的剖分应用方面扩展到无向赋权图上,实现了对最小图的初始剖分。基于ISPD98电路测试基准的实验表明,SPWUG算法取得了一定性能的改进。实验分析反映了在多水平方法中,最小图上的全局近似最优剖分可能是初始图的局部最优剖分,需要加强优化阶段的迁移优化算法逃离局部最优的能力。
- 冷明孙凌宇郁松年
- 关键词：剖分无向赋权图谱方法
- 图压缩存储格式的核排序重边匹配算法被引量：3
- 2011年
- 将图核概念引入到多水平方法粗化阶段,针对图的压缩存储格式提出了核排序重边匹配(CSHEM)算法。该算法借助图核的全局信息,改进了以往仅仅利用结点的度等局部信息进行匹配的粗化算法,在对原始图粗化过程中发挥结点核值导向性作用,克服以往只能选择随机匹配(RM)算法作为导向匹配算法的缺陷;提出了基于CSHEM和重边匹配(HEM)算法的组合粗化策略,在发挥结点核值的导向性作用的同时,又不至于被过分强调而使粗化图违背结点核值大小均匀分布的原则。基于ISPD98电路测试基准的实验和分析表明,相比无向图剖分软件MeTiS采用的RM和HEM算法的组合粗化策略,提出的策略取得了一定性能的改进。
- 孙凌宇冷明邓晓春郁松年
- 关键词：图核无向图
