江西省科技支撑计划项目(20112BBE50048) 作品数:12 被引量:11 H指数:2 相关作者: 徐洪珍 钟国韵 刘梅锋 王晓燕 吴有用 更多>> 相关机构: 东华理工大学 同济大学 石家庄铁道大学 更多>> 发文基金: 江西省科技支撑计划项目 江西省自然科学基金 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 文化科学 冶金工程 更多>>
一种演化超图文法到状态转移系统的映射方法 2016年 运用模型检测技术验证动态演化的正确性,是近年来软件体系结构动态演化研究领域面临的一个挑战.然而,当前的方法很少考虑软件体系结构动态演化时的相关条件.针对该问题,提出用条件状态转移系统表示软件体系结构动态演化的状态模型,将软件体系结构超图映射为状态,演化规则运用映射为条件状态转移关系,给出软件体系结构动态演化的条件超图文法到条件状态转移系统的映射方法以及相应的实现算法,实现了软件体系结构动态演化的条件状态转移系统的构建,并证明了在该映射方法下,软件体系结构动态演化条件超图文法与条件状态转移系统的互模拟等价.最后通过案例分析,运用该方法以及模型检测技术,验证了软件体系结构动态演化的相关性质,从而验证了该方法的有效性. 徐洪珍 曾国荪 王晓燕关键词:体系结构 基于时域相关性的快速HEVC帧间模式判决方法 被引量:3 2014年 高效率视频编码(HEVC)相比目前的国际视频编码标准H.264/AVC,在压缩率方面有了较大的提高,但也带来了巨大的编码计算复杂度.为了降低HEVC的编码计算复杂度,提出了一种快速HEVC帧间模式判决方法.统计并分析了相邻两帧之间对应块的编码单元(CU)和预测单元(PU)的时域相关性,在此相关性基础上,跳过了一些冗余CU分割层和PU预测模式,CU层最多只取两种PU预测模式,从而大大减少了所需要进行的率失真代价计算的数量.实验结果显示,与HM7.0相比,该方法在仅损失了0.21%~1.66%的压缩率和0.01~0.09 dB的峰值信噪比的前提下,降低了52.3%~63.5%的编码时间. 刘娟 钟国韵 王蕾 刘梅锋 徐洪珍基于CDIO理念和CP教学法的JAVA课程教学改革研究 被引量:4 2015年 文章提出了一个以"构思、设计、实现和运作即CDIO(Conceive、Design、Implement and Operate)为理念,案例为导向,项目为主线"校企双主体模式的JAVA课程教学改革思路。通过对该课程理论教学内容的改革,整合优化理论教学体系,提高学生计算机语言知识掌握的全面性。在实践教学中,强化实践教学体系,提高学生实践动手能力,最终实现人才培养与企业需求的"无缝衔接"。 王晓燕 全蕾关键词:校企双主体 面向服务的构件可信演化策略 被引量:1 2016年 针对目前软件动态演化研究很少考虑可信方面的不足,以面向服务的构件为对象,提出一种构件可信演化策略。该策略包括构件可信演化的相关定义、推理规则、计算公式和声望更新模型。在演化过程中,该策略根据构件提供的各种服务的可信性计算出构件的声望值,由构件的声望值向导构件的可信演化,并根据实际演化情况动态更新构件的声望值。最后,通过案例进行分析,验证了该策略的有效性。 蔡文华 徐洪珍关键词:声望 一种面向服务的软件演化推荐信任方法 2014年 目前软件体系结构动态演化研究,主要方法是从软件系统演化的操作或规则入手,描述或建模面向服务的软件系统演化,而往往忽略软件本身的可信问题。事实上,在软件演化初始前,对软件演化进行可信方面的研究,可以大大地降低软件演化失败的几率。该文从软件的推荐信任的角度考虑软件的可信度,提出一种软件推荐可信的计算方法,解决软件演化非相邻构件的信任问题。 蔡文华 徐洪珍 刘超 李坤 王少坡关键词:软件体系结构 信任 基于索引属性改进的OPIC算法 2015年 搜索结果的可靠性是影响广大网民使用搜索引擎的一项重要指标.在开源OPIC算法的基础上,提出了TS算法,该算法通过基于索引属性的改进,加入网页的创建时间和网页深度两个属性,使得网页的评分不仅仅局限于网页的链接,实现了网页评分因素的多元化.而网页最后的排序分值在原有OPIC算法的基础上与网页创建时间成正比,与网页深度成反比,有效改善了OPIC算法偏重历史网页的缺点,使搜索结果更加合理.最后,对TS算法进行效果演化,经过与传统搜索结果的分析对比,显示本算法返回的结果具有更高的可靠性. 田文波 徐洪珍 卢群乐关键词:搜索引擎 PAGERANK 可靠性 一种基于三角形运动分块的HEVC视频编码方法 被引量:1 2014年 分析了目前H.264/AVC已有的非规则运动分块方法的优缺点,根据高效率视频编码(High Efficiency Video Coding,缩写HEVC)标准,提出了三角形的帧间预测单元(Prediction Unit-PU)运动分块,相比常规的PU运动分块,它的斜边更适合一些场景中有着斜边的运动对象,从而提高编码效率。根据该三角形的运动分块形状,提出三角形PU运动分块的运动向量预测方法和运动估计方法。通过分析斜边将产生的块效应方向,相应地提出了优化HEVC滤波方法。实验结果显示,相比已有的非规则运动分块的编码方法,在编码时间平均上升23%的前提下,本算法在BD-rate方面平均降低了2.1%。 刘梅锋 钟国韵 徐洪珍关键词:滤波 运动向量 一种基于演化博弈的云分布式入侵检测系统行为分析预测模型 2016年 针对目前云计算环境下分布式入侵检测系统行为分析方法的不足,提出用演化博弈理论构建检测系统行为分析的预测模型,用复制动态方程描绘参与人行为策略选取趋势,用演化稳定策略刻画动态局面的收敛方向,分析讨论了不同损益条件对检测系统行为的影响。在该基础上,给出合理的安全方案,供管理人员参考。最后,设计实验进行分析,验证了该模型的理论,以及预测结果的正确性。 汪传章 徐洪珍 徐德华关键词:云计算 演化博弈 分布式入侵检测 非正方形四叉树变换系数能量分布模型及其扫描方式改进 2014年 传统的非正方形四叉树变换(NSQT)系数的扫描方式并不能很好地适应系数的能量分布,这将降低熵编码的编码效率。为了提高编码效率,该文提出非正方形四叉树变换系数能量分布模型,并改进了其系数扫描方式。首先推导了非正方形变换块的空间频率域位置分布,基于推导的分布,从理论上提出了其能量分布模型,并用实验进行了证实,发现能量从左上角到右下角逐渐递减,而左下角的能量与右上角的能量接近,根据该能量分布模型,重建了非正方形四叉树变换中量化系数的扫描模式,以适应熵编码,而熵编码中的系数扫描方式倾向于系数上的降序。实验结果显示,相比NSQT中已有的系数扫描方式,该文方法提出的扫描方式在编码计算复杂度和客观视频质量损失可忽略的前提下,平均下降了1.32%~3.74%的比特率,对于非正方形变换块,下降了9.05%~13.19%的比特率。 钟国韵 刘梅锋 徐洪珍时空域相关性的快速HEVC帧间模式判决方法 被引量:2 2013年 高性能视频编码(HEVC)相比目前的国际视频编码标准H.264/AVC有着更高的视频压缩比,但同时也带来了更大的编码计算复杂度。为了降低该计算复杂度,提出了一种快速HEVC帧间预测模式。统计了HEVC中最大出现概率的预测单元(PU)模式,分析了相邻两帧之间的编码单元(CU)和Pu之间的时域相关性,分析了对应CU分块与其空间上相邻的4个CU之间的相关性。根据分析的最大出现概率的Pu模式,以及时域相关性和空域相关性,跳过当前最大编码单元中各层CU中冗余的Pu模式,从而降低了编码的计算复杂度。实验结果显示,与HEVC测试模型HM7.0相比,该算法能在保持视频质量和视频压缩比基本不变的情况下,降低32.2%~52.4%的编码时间。 钟国韵 汤彬 徐洪珍 吴有用关键词:空域相关性