井冈山大学电子与信息工程学院计算机科学系
- 作品数：28 被引量：76H指数：5
- 相关作者：孙凌宇冷明平更多>>
- 相关机构：上海大学计算机工程与科学学院清华大学信息科学技术学院计算机科学与技术系清华大学信息科学技术学院更多>>
- 发文基金：江西省教育厅科学技术研究项目国家自然科学基金江西省自然科学基金更多>>
- 相关领域：自动化与计算机技术自然科学总论电子电信更多>>
- 一种ISPD98电路网表到超图的转换算法被引量：8
- 2011年
- 以电路测试基准ISPD98的模型用例及对应的超图为例,阐述了ISPD98电路网表文件格式、超图的压缩存储格式和文件存储格式.提出了一种ISPD98电路网表到超图的转换算法.它读取ISPD98电路网表文件数据,将其映射到超图的压缩存储格式,并存储为指定的超图文件存储格式,从而有效地将电路划分问题转换为超图划分优化问题.实验表明,该转换算法能正确地将ISPD98电路网表转换为超图的文件存储格式,有效地避免了直接在ISPD98电路网表上进行划分,提高了电路划分的效率.
- 冷明孙凌宇郭恺强朱平
- 关键词：电路网表超图
- 基本和混合元胞自动机的伪随机数发生器研究
- 2010年
- 针对基本元胞自动机(Cellular Automata,简称CA)、混合CA的伪随机数发生器进行了深入的研究,通过对比实验观察到混沌型基本CA输出的伪随机序列质量稳定并较优,而混合CA输出伪随机序列的相关性,尽管优于基本CA的平均表现,但远差于混沌型基本CA的表现。针对混合CA的伪随机数发生器,提出了一种基于混合CA与粒子群优化(Particle Swarm Optimiza-tion,简称PSO)算法融合的伪随机数产生算法。在该算法中,元胞对应于PSO的粒子,每个元胞按照各自不同的规则进行迭代演化,其对应粒子在迭代规则空间中飞行。该算法通过计算每个元胞产生伪随机序列的熵值作为粒子的适应度函数值,有效地实现每个元胞最佳规则的搜索,一定程度上提高了混合CA产生伪随机序列的质量。给出了基于小生境技术、构造出最优CA-PSO耦合伪随机数发生器的研究方向。
- 孙凌宇冷明王千峰郁松年
- 关键词：元胞自动机粒子群算法伪随机数发生器
- 一种XDL网表电路到有向超图的转换系统
- 2021年
- FPGA电路网表的XDL描述文件,不仅能通过解析来抽取FPGA设计的Inst电路单元和Net电路信号,而且能用于构建FPGA电路网表中信号传播的抽象数学模型.本文通过有向超图来构建FPGA电路网表中信号的前向拓扑关系,其中FPGA电路单元的有效管脚表示为超图结点,管脚间的外部连线、管脚内的电路逻辑功能表示为有向超边.进而,本文阐述了XDL网表级电路描述文件到有向超图的转换流程,给出了XDL网表级电路描述文件编译所需的EBNF表达式、XDL网表级电路到有向超图的转换算法.最后,本文基于RapidSmith开源软件和Java语言实现了转换系统,并选用基于Xilinx公司的Virtex-4型号FPGA的测试用例,实现了XDL网表级电路描述文件转换至有向超图,验证了XDL网表级电路描述文件到有向超图转换系统的有效性和正确性.
- 冷明孙凌宇郭晨
- 关键词：现场可编程门阵列有向超图
- 超图划分问题的元胞自动机模型及算法研究被引量：2
- 2012年
- 对超图划分问题运用元胞自动机理论进行分析建模,提出一种元胞自动机模型以及基于该模型的赋权超图划分优化算法。在该模型中,元胞对应于赋权超图中的结点,邻接元胞对应于邻接超边所包含的结点,元胞的状态对应于所在的划分子集。引入二维辅助数组存储每条超边在划分子集中的结点个数,给出快速的元胞收益值和划分割切值的计算方法,从而避免遍历超边中的结点。实验结果表明,与赋权图划分算法和迁移方法相比,该算法可以取得更优的划分,且时间复杂度和空间复杂度较低。
- 冷明孙凌宇边计年马昱春朱平
- 关键词：元胞自动机时间复杂度空间复杂度
- 基于对象和属性交叉渐进模糊概念格生成算法被引量：2
- 2008年
- 在人类的认知过程中,真实的形式背景总是模糊和不确定的,并伴随着对象和属性交叉渐增更新。在分析人类概念形成机理的基础上,提出了一种基于对象和属性交叉渐进式模糊概念格生成算法。该算法从空概念格开始,逐个地将形式背景中的对象和属性交叉插入到模糊概念格中,实现对模糊概念格的渐进式构造。实验及分析表明该算法不仅能有效地渐进式构造模糊概念格,而且解决了以往渐进式概念格生成算法,针对属性和对象交叉渐增更新需要重新构造概念格的问题。
- 孙凌宇冷明彭宣戈
- 关键词：模糊概念格
- 无线传感器网络中间件的研究被引量：1
- 2008年
- 无线传感器网络(WSNs)能量和资源有限、网络动态性强等特点使得终端用户管理复杂的WSNs并不容易,需要中间件的支持。研究不同的WSNs中间件设计方法,对WSNs中间件进行了分类和比较,提出了今后进一步研究的方向。
- 刘昌鑫谭云兰唐卫东
- 关键词：无线传感器网络中间件
- 基于谱方法的无向赋权图剖分算法被引量：5
- 2009年
- 在多水平方法初始剖分阶段提出了一种基于谱方法的无向赋权图剖分算法SPWUG,给出了基于Lanc-zos迭代计算Laplacian矩阵次小特征值及特征向量的实现细节。SPWUG算法借助Laplacian矩阵次小特征值对应的特征向量,刻画了节点间相对距离,将基于非赋权无向图的Laplacian谱理论在图的剖分应用方面扩展到无向赋权图上,实现了对最小图的初始剖分。基于ISPD98电路测试基准的实验表明,SPWUG算法取得了一定性能的改进。实验分析反映了在多水平方法中,最小图上的全局近似最优剖分可能是初始图的局部最优剖分,需要加强优化阶段的迁移优化算法逃离局部最优的能力。
- 冷明孙凌宇郁松年
- 关键词：剖分无向赋权图谱方法
- 基于信息摘要函数的文件完整性检测工具被引量：2
- 2010年
- 文中在Microsoft Visual Studio2005集成开发环境下,用C#实现了基于信息摘要函数的文件完整性检测工具.该工具使用CRC32、MD5和SHA1信息摘要函数,通过计算文件的数字文摘值,向系统管理员提供文件完整性检测功能,从而为发现入侵提供依据.实验表明,该工具在对多个文件的完整性测试过程中,计算出的CRC32、MD5、SHA1数字文摘值正确无误.
- 孙凌宇冷明周宇夏洁武
- 基于Petri网建模的Web型MIS系统的研究
- 2011年
- 文中提出了基于MVC架构的Web型信息管理流程模型,并通过定义的模型五元组来描述各层之间数据传递的关系和结果.给出了基于MVC架构的Web型MIS系统Petri网建模基本步骤,为Web型MIS系统的业务流程的分析、验证与优化提供了理论依据.以井冈山大学科研管理信息系统为例,讨论了Petri网理论在建模中的应用,实验结果表明采用Petri网理论对科研管理信息系统建模是可行且有效的.
- 冷明孙凌宇郭恺强朱平
- 关键词：管理信息系统
- 一种有效的C＋＋内存泄漏自检测方法
- 2009年
- 针对内存的动态分配和释放特点,文章提出了一种有效的C++内存泄漏自检测方法,给出了该方法的对象行为结构模型以及内存动态分配和释放的具体实现。基于顺序存储数据结构的实验及分析表明,该方法不仅能正确地动态分配和释放类对象和数组块内存,还能监视所运行的程序中是否存在内存泄漏。该方法已经成功应用于算法设计和系统实现中,具有简单、速度快的优点。
- 孙凌宇冷明夏洁武
- 关键词：动态内存C++语言内存泄漏自检测
