国际科技合作与交流专项项目(CB7-2-01)
- 作品数：10 被引量：27H指数：4
- 相关作者：孙凌宇冷明彭宣戈郁松年余小清更多>>
- 相关机构：上海大学井冈山大学井冈山学院更多>>
- 发文基金：国际科技合作与交流专项项目江西省教育科学规划课题江西省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于对象和属性交叉渐进模糊概念格生成算法被引量：2
- 2008年
- 在人类的认知过程中,真实的形式背景总是模糊和不确定的,并伴随着对象和属性交叉渐增更新。在分析人类概念形成机理的基础上,提出了一种基于对象和属性交叉渐进式模糊概念格生成算法。该算法从空概念格开始,逐个地将形式背景中的对象和属性交叉插入到模糊概念格中,实现对模糊概念格的渐进式构造。实验及分析表明该算法不仅能有效地渐进式构造模糊概念格,而且解决了以往渐进式概念格生成算法,针对属性和对象交叉渐增更新需要重新构造概念格的问题。
- 孙凌宇冷明彭宣戈
- 关键词：模糊概念格
- 一种VLSI设计到无向赋权图的转换系统被引量：5
- 2009年
- 基于VLSI剖分问题的需要,设计并实现了VLSI设计到无向赋权图的转换系统(VLSI/Graph Converter,VGC).介绍了电路构造图和图文件存储格式,给出了VGC的处理流程图,提出了针对VLSI线网的无向赋权图转换算法.该算法解决的关键问题是,遍历树状结构的VLSI线网,将其转换为无向赋权图并存储为指定的图文件格式.VGC系统在Windows平台下用C++实现.实验及分析表明,该系统能正确地将Verilog语言描述的门级CPU转换为无向赋权图,避免了直接在VLSI线网上进行剖分,提高了VLSI剖分的效率.
- 孙凌宇冷明曾小荟郁松年
- 关键词：VLSI设计无向赋权图
- 基于谱方法的无向赋权图剖分算法被引量：5
- 2009年
- 在多水平方法初始剖分阶段提出了一种基于谱方法的无向赋权图剖分算法SPWUG,给出了基于Lanc-zos迭代计算Laplacian矩阵次小特征值及特征向量的实现细节。SPWUG算法借助Laplacian矩阵次小特征值对应的特征向量,刻画了节点间相对距离,将基于非赋权无向图的Laplacian谱理论在图的剖分应用方面扩展到无向赋权图上,实现了对最小图的初始剖分。基于ISPD98电路测试基准的实验表明,SPWUG算法取得了一定性能的改进。实验分析反映了在多水平方法中,最小图上的全局近似最优剖分可能是初始图的局部最优剖分,需要加强优化阶段的迁移优化算法逃离局部最优的能力。
- 冷明孙凌宇郁松年
- 关键词：剖分无向赋权图谱方法
- 一种有效的C＋＋内存泄漏自检测方法
- 2009年
- 针对内存的动态分配和释放特点,文章提出了一种有效的C++内存泄漏自检测方法,给出了该方法的对象行为结构模型以及内存动态分配和释放的具体实现。基于顺序存储数据结构的实验及分析表明,该方法不仅能正确地动态分配和释放类对象和数组块内存,还能监视所运行的程序中是否存在内存泄漏。该方法已经成功应用于算法设计和系统实现中,具有简单、速度快的优点。
- 孙凌宇冷明夏洁武
- 关键词：动态内存C++语言内存泄漏自检测
- 一种用户身份认证系统的形式化描述被引量：1
- 2009年
- 身份认证系统用于解决访问者的物理身份和数字身份的一致性问题,给其他系统提供权限管理的依据。运用形式化方法,针对一个用户身份认证系统,使用Z语言对其进行形式化描述。在形式化过程中,对该系统用户身份记录定义了读、添加、更新、删除四种操作,对该系统用户身份认证定义了登录、退出二种操作。对于每种操作,还定义了具体的操作步骤、操作需要的前提条件和提示信息。身份认证是整个信息安全体系的基础,并越来越受到重视,因此研究身份认证系统的形式化具有一定的现实意义。
- 孙凌宇冷明彭宣戈
- 关键词：Z形式化身份认证
- 一种基于元胞自动机的无向图剖分优化算法被引量：6
- 2008年
- 运用元胞自动机理论,针对无向图剖分优化问题进行了分析和建模,提出了一种元胞自动机模型以及基于该模型的无向图剖分优化算法。在该元胞自动机模型中,元胞对应于无向图中的结点,元胞的邻居对应于邻接结点,元胞空间对应于无向图中的结点集,元胞的状态对应于所在的结点子集。实验及分析表明该算法不仅能找到无向图的近似最优剖分,而且有效地降低了空间复杂度和时间复杂度。
- 孙凌宇冷明彭宣戈
- 关键词：元胞自动机无向图优化算法复杂度
- 音频信息检索研究现状与发展趋势被引量：4
- 2007年
- 在信息化和网络化时代,音频已成为网络信息传输的主要媒体之一.如何从大量的音频信息流中进行快速高效的内容检索以获得所需要的内容已经成为现代社会急需解决的问题,并已发展成为学术界的一个重要研究方向.该文就音频信息检索研究现状及发展趋势对音频检索的概念和方法进行了阐述,并重点对基于内容的音频信息检索的关键技术和方法进行了讨论.
- 万旺根常辽豫余小清崔滨刘晗
- 关键词：音频分割音频分类
- 基于动态区分矩阵的属性约简算法被引量：5
- 2008年
- 在分析基于静态区分矩阵的属性约简算法基础上,提出一种基于动态区分矩阵的属性约简算法。该算法采用2种不同的区分矩阵调整方案,使其能客观及时地反映出当前的约简以及剩余条件属性对信息系统的影响。实验结果表明,该算法不仅能找到信息系统的属性约简,还能有效减少计算属性约简的计算量,提高计算效率。
- 孙凌宇彭宣戈冷明
- 关键词：粗糙集区分矩阵
- 基于对象和属性交叉的渐进式概念格生成算法被引量：2
- 2009年
- 在分析人类概念形成机理的基础上,提出一种基于对象和属性交叉渐进式概念格生成算法,从空概念格开始,逐个地将形式背景中的对象和属性交叉插入到概念格中,实现对概念格的渐进式构造。该算法能渐进式地有效构造概念格,解决了以往渐进式概念格生成算法针对属性和对象交叉渐增更新需要重新构造概念格的问题。
- 刘群冷平孙凌宇
- 关键词：概念格
- 一种改进型BIC话者改变检测算法被引量：3
- 2007年
- 该文针对多人说话改变点检测问题,提出一种新的改进型BIC话者改变检测算法.该算法基于BIC准则确定初选改变点,再对其端点的变化趋势做进一步分析,得出说话人改变的分割点.该算法准确率达到90.2%,召回率达到95.8%.与传统BIC检测算法相比,计算更简便,准确率与召回率分别提高了62.5%和16%.
- 余小清谭海英
- 关键词：准确率召回率
