王磊
- 作品数：16 被引量：31H指数：4
- 供职机构：潍坊学院计算机工程学院更多>>
- 发文基金：山东省科技发展计划项目山东省优秀中青年科学家科研奖励基金山东省星火计划项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于体系结构的模型转换语义描述框架
- 为解决模型驱动开发中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上引入进程代数,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架.范畴图表描述了体系结构模型的...
- 侯金奎王磊
- 关键词：计算机软件模型驱动开发语义描述
- 文献传递
- 基于构件的服务模型形式化语义描述
- 2013年
- 为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服务规范之间的关系,余极限用来描述服务的层次组合.以此为基础,进一步从服务端口、结构和行为等方面对服务的组合、分解以及精化过程所中应保持的语义特性进行了分析.实例研究表明:该框架不仅能在抽象层次上支持服务系统的建模和分析,而且还可通过映射抽象模型到实现技术来支持服务组合,可以很好地分析需求分解和服务组合的正确性,可用于指导服务系统的描述和构建.
- 侯金奎王磊张奎廷
- 关键词：形式化语义
- 基于Agent的分布式模型形式化语义描述
- 为解决分布式系统构建过程中系统组合和语义验证等方面的问题,基于范畴理论和进程代数,为基于Agent的分布式系统模型提出了一种形式化的语义描述框架.范畴图表用于描述整个系统的结构模型,态射用来表示系统各组成部分之间的交互和...
- 侯金奎王磊
- 关键词：进程代数代理人分布式模型
- 文献传递
- 基于体系结构的模型转换语义描述框架被引量：4
- 2017年
- 为解决模型驱动的软件开发过程中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架。范畴图表描述了体系结构模型的语义,类型态射蕴含了构件对象之间的依赖关系,类型函子用来刻画模型转换前后的映射机制。应用研究表明,该框架很好地遵循了模型驱动的软件开发理念和实质要求,为基于模型和模型转换的软件开发研究提供了新的理解和认知学习的指导架构。
- 侯金奎王磊
- 关键词：计算机软件模型驱动开发语义描述
- 支持Web服务组合与验证的形式化模型被引量：2
- 2015年
- 针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了Web服务架构的语义描述能力。
- 侯金奎王磊
- 关键词：WEB服务进程代数
- 基于模型驱动的Web应用服务系统开发理论框架被引量：5
- 2018年
- 从软件设计实践出发,针对基于Web应用服务和设计模式的软件设计方法,提出了一种新的模型驱动开发理论框架.该框架以类型范畴理论为基础,以服务构件标识为范畴对象,以服务构件之间的交互和依赖关系为范畴态射,从而用范畴图表给出了软件体系结构模型的框架描述.设计模式看成是构件规范的模板,模板的实例化和规范的集成过程就是软件设计和实现的过程,从而建立起了模型转换和精化中特性描述和一致性研究的统一框架.应用研究表明,该框架符合模型驱动软件设计的本质要求,为模型转换和模型驱动的Web应用服务开发提供了新的认知、分析和研究的指导架构.
- 侯金奎鹿旭东陈春雷王磊
- 关键词：模型驱动开发模型精化
- 三维地质和地下水建模的研究和应用被引量：3
- 2014年
- 针对地质和地下水可视化分析的应用问题,提出了基于三维建模和分析的可视化研究方法,并建立了有效的针对地势和地下水的可视化平台.尤其针对建模过程中数据的连续性问题采用了基于多元二次插值方法,从而有效的解决了抽样数据点稀疏的问题.在地层建模方面,系统采用了基于三棱柱体积元素的建模方法,同时通过基于检测井法线信息的有效插值算法解决了地层建模过程中的连续性问题.针对地下水的具体应用,提出了基于图像的绘制方法,实现了地势、地层断层和地下水分布的可视化分析和展现.
- 王磊谢江宁
- 关键词：地质建模地形可视化三角化
- 基于软件竞赛的应用型软件人才培养方法研究被引量：2
- 2017年
- 高校应用型软件开发人才培养过程中,由于程序设计和软件开发能力培养缺少充足的实践环节,导致了现有的学生不能够满足软件公司的要求。本文通过对软件开发类学生培养过程和软件人才需求标准的分析,有效的结合了现有各种软件开发竞赛,提出了基于过程进化式的软件开发实践能力培养方法。结合潍坊学院近4年来在软件开发人才培养的实践,对本文所提出的培养体系进行了有效验证。
- 王磊侯金奎孟凡楼王媛媛
- 关键词：程序设计应用型软件人才
- 基于层级分割的颜色恒常性算法被引量：3
- 2016年
- 颜色恒常性是指当照射物体表面的颜色光发生变化时,人们对该物体表面颜色的知觉仍然保持不变的视觉特性。灰度世界方法是一种常用的的颜色恒常方法,它假设客观世界中物体表面的平均反射比趋于灰色(灰度世界假设)。传统的灰度世界方法对整幅图像进行处理,然而并不是所有的图像都满足灰度世界假设。首先采用层级分割方法把图像分割成若干个片段,然后采用使用灰度世界方法处理各个片段,得到各个片段的估计结果;最后对这些估计结果进行聚类,得到最终结果。实验结果表明,该方法优于原始的灰度世界方法。与原始方法相比,平均误差降低至36.0%、中值误差降低至63.5%。本文所提出的算法优于目前领先的颜色恒常算法。
- 王磊谢江宁
- 关键词：颜色恒常性贝叶斯方法图像分割
- 农产品价格采集、预测及微信发布系统的设计与实现被引量：4
- 2015年
- 针对农产品价格采集、分析和发布等一系列问题,采用了统一的面向服务的架构体系,通过先进的基于Restful的数据交互方法,实现了整体移动平台、后端服务平台和微信发布平台的统一性处理,同时将相关平台应用于潍坊市物价局农产品价相关业务,验证有关性能.在农产品采集、分析和发布系统中,将整体的农产品价格采集规约成价格采集任务,从而通过一体化的架构设计,实现了任务的定义、收集、审核和发布.
- 王磊
- 关键词：RESTFUL价格走势分析
