高洪江
- 作品数:15 被引量:83H指数:6
- 供职机构:鲁东大学信息与电气工程学院更多>>
- 发文基金:国家重点基础研究发展计划国防科技技术预先研究基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术建筑科学轻工技术与工程文化科学更多>>
- 形式化方法B的精化被引量:6
- 2007年
- 形式化方法B支持从抽象规约到实现的完整的开发过程,用于开发安全关键的软件系统。给出了B方法精化的定义后,介绍了抽象机的精化过程与方法,结合实例分析了仅使用前向精化的普通精化规则的不完整性,通过引入反向精化提供了完备的精化理论,二者联合起来能够证明任何正确的精化。
- 高洪江覃征鹿蕾邵利平
- 关键词:形式化方法抽象机
- 采用仿射传播的聚类集成算法被引量:11
- 2011年
- 针对K均值聚类随机初始聚类中心导致的聚类结果不稳定问题,提出一种基于仿射传播的聚类集成算法.该算法把每个聚类集成的成员个体结果看成是原始数据的一个属性,然后在其基础上对聚类成员个体的聚类结果进行加权集成,集成算法采用简单高效的仿射传播聚类,并且提出了直接集成、利用平均规范化互信息(NMI)和聚类有效性Silhouette指标进行加权集成.最后,运用Hungarian算法对仿射传播聚类集成的结果进行类别标签的统一和匹配.在加州大学尔湾分校数据集上进行了实验,结果表明,与集成前的K均值聚类及其他聚类集成算法相比,该算法能有效地提高聚类结果的准确性、鲁棒性和稳定性,建立起来的聚类集成算法具有良好的扩展性和灵活性,而且简单有效.
- 王羡慧覃征张选平高洪江
- 关键词:K均值聚类
- 基于MVC框架的农产品信息系统设计与实现被引量:1
- 2014年
- 针对农业信息系统比较薄弱的现象,以冬枣信息系统为例,设计开发了一个基于MVC框架的农产品信息系统。系统综合采用S2SH 3大主流框架、JSP语言、Oracle数据库等技术,实现了前台信息浏览与信息分享,后台系统管理与用户管理、信息管理等功能。系统通用性和扩展性较强,在数字农业、农村信息化建设等领域具有实用价值。
- 高洪江王灵志张海培岳峻
- 关键词:MVCS2SHORACLE系统设计
- 基于Android的农业信息服务平台可视化建模被引量:1
- 2014年
- 在“软件工程”和“软件系统分析与设计”等课程传统理论教学中,参考CDIO教育思想,为了引入案例驱动、项目驱动以及团队合作等模式,结合MOOCs授课特色,本文以一个实际项目为例,讨论了在教学中如何进行信息系统的建模。实践表明,这种教学方式取得了良好的教学效果。
- 高洪江张海培岳峻张振兴
- 关键词:ANDROIDUML教学改革
- 软件工程应用型人才课程教学研究
- 2012年
- 本文从目前软件企业人才需求及人才培养现状入手,分析了软件工程课程教学过程中存在的问题,提出了软件工程应用型人才课程体系构建方法,并针对教学过程中诸多教学与实践环节的改革进行了探讨,以达到培养应用型人才的实践教学目标。
- 高洪江
- 关键词:软件工程教学研究
- 基于高维矩阵变换的雪崩图像置乱变换被引量:11
- 2008年
- 传统的以高维Arnold变换和高维Fibonacci-Q变换为代表的基于高维矩阵变换的图像置乱方法,虽然具备较好的安全性,且能改变被置乱图像的灰度特征,但存在可恢复周期长,且对攻击不具备全局扩散能力等问题,在应用中存在缺陷。针对以上问题,基于高维矩阵变换,构造了雪崩图像置乱变换,该置乱变换可通过逆变换对图像进行置乱,通过正变换对置乱图像进行恢复,因而可减少由置乱图像恢复为原始图像的迭代次数,同时理论和实验结果表明该置乱变换在受到各种攻击时的强脆弱性,因而可用于数字作品完整性鉴别的脆弱水印构造。
- 邵利平覃征衡星辰高洪江王羡慧
- 关键词:图像加密雪崩效应脆弱水印
- 矿物质细粉复掺配制高性能混凝土的均匀试验研究被引量:3
- 2005年
- 运用均匀试验设计的方法研究了不同品种、不同用量的矿物质超细粉复合作用对高性能混凝土工作性、力学性能的影响。研究表明:当配比组合为水泥∶磨细矿渣∶粉煤灰∶硅灰∶膨胀剂=3∶1∶1∶0.2∶0.02时,塌落度超过130mm,7d,28d,56d劈拉强度/抗压强度分别为5.5/45.55MPa,7.7/71.05MPa和8.3/88.8MPa。本研究采用均匀理论设计试验方案,利用SPSS,MATLAB软件建立了高精度的多组分高性能混凝土强度和塌落度的预测方程,并从机理上分析了多组分矿物质细粉复掺的作用,探索出一条微机辅助试验设计的新方法。
- 周梅纪成君高洪江
- 关键词:矿物质超细粉均匀设计高性能混凝土SPSS复掺MATLAB软件
- 一种基于布尔代数的秘密共享方案
- 2007年
- 秘密共享方案是在n个参与者之间共享秘密k的方法。将布尔代数中的与或逻辑引入秘密共享而提出的新方案运算速度快,并具有灵活的自适应能力和良好的可扩展性,便于软件编程和硬件固化,可以与经典的加密方法紧密结合,以提高其安全性。
- 高洪江邵利平衡星辰覃征
- 关键词:秘密共享布尔代数
- 基于两阶段查询重写的XML近似查询算法被引量:8
- 2007年
- 提出了基于两阶段查询重写的XML近似查询算法.该算法不仅能够返回精确查询结果,而且能够返回带有相似度分值的近似结果序列.首先,通过模式重写策略,将原始查询树改写为多种XML DTD(文档类型定义)下的重写查询树,从而解决了XML数据的多样性带来的查询语义缺失问题,接着,利用基本变异操作得到的变异查询树对XML数据树完成精确嵌入,可将XML近似查询的问题转变为多棵变异查询树的精确查询问题,并给出了基于XML数据统计的相似度计算模型和Top-K问题求解的优化算法.最后,在汽车外形智能化设计的实验中表明该算法优于SSO算法.
- 衡星辰覃征邵利平曹玉辉高洪江
- 二维非等长图像置乱变换被引量:26
- 2007年
- 传统的2维图像置乱变换一般用于正方形图像处理,对宽高不等的矩形图像,需进行正方形扩展,或使用高维置乱变换阵置乱.本文对此问题做了改进,提出了一种新颖的2维非等长图像置乱变换,给出了周期存在判据,用以选择合适的置乱系数,使得在不增加额外存储空间和计算代价的基础上,可用于非等长图像置乱,并且存在可恢复周期.实验表明所提方法的有效性和可行性.
- 邵利平覃征高洪江衡星辰
- 关键词:ARNOLD变换图像加密