软件产品线领域模型与应用模型的通用同步演化方法

领域模型与应用模型保持一致的同步演化对于软件产品线的长期发展至关重要.然而,为不同类型的模型分别开发同步机制可能成为冗余且容易出错的工作.因此,提出一种软件产品线领域模型与应用模型的通用同步演化方法.该方法的核心是一个被称为SPL-GSync的基于模型的通用同步框架.框架涵盖一个通用元模型,能够通过一种通用的描述方式表示不同种类的产品线模型的内容,尤其是领域模型所包含的可变性.基于该元模型,定义了一套可复用的同步规则集.只需开发不同类型的模型与通用模型的双向转换程序,SPL-GSync便能有效实现不同类型的领域模型与应用模型之间的一致性同步.另外,SPLGSync已被实现为遵循C/S架构的软件工具原型,本文使用该工具以特征模型间的同步实例展现方法的有用性.     

普适计算环境中的社会技术系统自修复技术研究

传统自适应系统考虑的主要是软件系统内部的协调,譬如参数的重新配置,软件体系结构的重组等。而普适计算环境下的社会技术系统不仅包含软件,而且还包含硬件(如传感器、RFID等)和人类行为等其他系统元素。这种社会技术系统具有开放性和动态性的特点,其整体的行为具有很强的不确定性,因此需要通过持续的运行时自适应调整减少系统的失效。针对此问题,在前期工作基础上提出一种普适计算环境下社会技术系统的自修复技术方案,并基于Java和Arduino平台进行开发和实现。该方案根据用户需求和环境的变化,结合需求目标模型和运行时上下文管理,接入和事件映射方案以及ad hoc环境下服务检索的选取方案,使系统按照预期的目标运行。实验结果表明,社会技术系统在环境和人的行为变化的情况下,当系统运行偏离预期目标时,可以依据传感器等监控到的环境数据和服务器中的策略自主修复系统以使系统达到目标,满足用户和系统需求。     

移动计算环境下的个人化服务发布和组装

随着移动计算技术的发展,移动设备用户可以服务的方式共享移动设备及其周围设备的计算能力和计算资源.然而,移动设备的私有性、资源受限性以及移动性等特征使得这种基于移动设备提供的个人化服务在发布和组装方面存在着一些特殊问题,例如用户隐私、移动设备资源消耗、网络环境变化引起的失效问题等.针对以上这些问题,提出一种移动计算环境下的个人化服务发布和组装方法.该方法在个人化服务发布过程中引入了服务意愿的概念,并在服务选择过程中综合考虑了服务意愿和服务效用.此外,还提出了资源感知的心跳机制来定期更新服务选择所依赖的设备及服务状态信息,从而解决由于网络环境变化等引起的服务失效问题.基于该方法,提出了一个基于JADE和OSGi的实现框架.通过一个案例分析,验证了所提出的实现框架的有效性以及在移动计算环境下考虑服务意愿的合理性.     

一种基于子图搜索的特征定位方法

确定源代码中与给定需求特征相关的程序元素的过程称为特征定位。但现在大部分的特征定位方法仍是以特征相关的描述和代码结构信息为输入,以特征相关的代码元素为输出。这样的结果缺乏代码元素间的关系信息,难以让开发者快速理解相关特征的程序结构。针对这个问题,提出一种基于子图搜索的特征定位方法。该方法能找出与特征相关的代码元素,并以依赖调用图的形式将结果展示出来,让开发者快速了解代码结构。根据该方法实现了相应工具并经过实验验证了方法的有效性。该方法的平均准确率为40.41%,平均召回率为50.28%。     

湘江长沙综合枢纽隔板型式鱼道三维水流数值分析

鱼道是航电枢纽的重要组成部分.文章基于双方程紊流模型建立三维水流数学模型.利用数学模型开展湘江长沙综合枢纽隔板型式鱼道水流条件计算,得到了三维水流型态、流速场、最大流速、平均流速、最大流量、综合流速系数等水力学特性,为鱼道的设计和优化提供科学依据.     

基于3D动画的软件演化信息可视化

可视化是软件维护和演化研究的一个重要组成部分。一个交互式的3D可视化方案能够将软件演化过程更形象地展示给用户。将软件的演化历史比拟成一座城市的发展过程,用户可以自由地在城市中移动,在把握系统宏观变化趋势的同时,很好地掌控其细节的发展情况。在已有相关工作的基础上,利用unity3D实现了一个原型工具,基本实现了预期目标,能为软件管理者提供方便的可视化信息。     

面向普适计算环境的Android平台服务编排框架

普适计算环境下的智能移动设备是面向终端用户的服务资源聚集和编排的主要载体。普适计算环境中的服务资源具有多种不同的形态,包括基于互联网提供的Web服务、终端设备自身服务和资源(例如本地应用、自带传感器)以及所处环境中可访问的服务(例如环境传感器)。此外,不断变化的上下文环境对软件本身的自适应能力提出了新的要求,而移动设备上的服务编排受设备计算能力和资源的限制。为了解决上述问题,提出了一个面向普适计算环境的Android平台服务编排框架ASOF。通过ASOF,移动终端可在运行时获取所需业务流程的服务模板,并对该模板中的抽象服务进行服务绑定,实现轻量级的混合服务编排,使终端能够动态获得调用普适计算环境中各种类型的服务的能力。随后,基于OSGi Felix框架给出了一套ASOF的标准实现,并以一个具体案例验证其有效性。     

含倾斜文字的图像垃圾邮件过滤技术研究

垃圾邮件制造者采用图像来隐藏垃圾信息,把文字隐藏在图像中并带一定的倾斜。在对含有倾斜文字的图像邮件深入分析后,针对图片中含有倾斜文字的垃圾邮件,文章给出了一种在进行OCR识别之前对图像进行hough变换,并结合支持向量机识别垃圾邮件的算法,实验结果表明,该方法具有比较满意的过滤效果。     

基于路径时延模型的车联网数据分发方案

针对车联网的容迟特性造成通信资源受限的问题,提出了满足副本抑制要求的数据分发方案.方案利用马尔可夫链,通过交通网络的车辆概率分布建立路段的期望传输时延,并结合车辆的轨迹与目标位置的匹配度确定车辆的转发优先级.车辆为转发的每个数据包插入转发参数字段并通过同步反馈机制确定最终的转发车辆,确保由优先级最高的车辆完成转发.考虑到链路的稳定性,还推导了当前丢包率前提下,车辆接收数据包与发送次数之比,避免不必要的发送尝试产生大量副本.实验结果显示,提出的方案与基于轨迹预测的算法相比,有效提高了网络吞吐量和时延性能.     

电子信息工程专业综合改革的研究与实践

为了培养适应地方经济发展的高端应用型人才,围绕人才培养方案、课程体系建设和实践教学环节等主要内容,我院对电子信息工程专业进行了综合改革与实践,三年实践证明这一系列改革措施在学生人才培养和教师教学科研方面都取得了丰硕的成果,为地方院校专业综合改革起到了示范引领作用.