SOE系统输入卡件的设计

事件顺序记录,即SOE（Sequence of Events）系统可以正确、快速地确定事故故障,迅速处理事故,恢复系统的正常运行。SOE系统中输入卡件的设计,包括卡件的组成及软件模块的设计。产品测试表明,系统接收多点数据信息正确,能够及时准确的反映数据采集的实时数值,并提供报警信息。     

Using the cloud to develop applications supporting geo-collaborative Situated Learning

Situated Learning stresses the importance of the context in which learning takes place. It has been therefore frequently associated with informal learning or learning outside the classroom. Cloud technologies can play an important role supporting this type of learning, since it requires ubiquitous computing support, connectivity and access to data across various scenarios: on the field, in the classroom, at home, etc. In this paper we first present the situated learning theory and how we can take advantage of services offered by Cloud Computing to implement computer applications implementing learning activities based on this theory, providing pertinent geographical information and discussion boards. Next we propose a software architecture schema which can be used as a basis for integrating existing cloud services into new applications supporting learning activities. Then we present two examples developed with this approach with its viability and advantages. These are discussed in the concluding chapter.     

软件错误定位研究综述

错误定位是软件调试中的一个热点问题,旨在高效地检测出软件错误。首先根据研究方法的不同,将已有错误定位方法从轻量级和重量级两个角度进行分类并进行比较。轻量级错误定位技术不涉及程序依赖关系分析,在程序执行覆盖信息的基础上用统计学或数据挖掘等方法找出可疑错误代码的集合来定位错误;重量级错误定位技术涉及程序依赖关系分析,主要分析数据依赖、控制依赖关系或使用程序切片等来识别可疑代码。然后,总结了常用的评测数据集和评测标准。最后,对错误定位的未来研究趋势进行了展望。     

全生命周期软件过程风险管理模型研究

首先从软件过程的角度重新定义了过程风险的基本概念;然后结合CMMI和软件的生命周期分别从软件过程、生命周期和风险管理构建了三维结构的软件项目风险管理模型,提出了基于CMMI的全生命周期的过程风险策划、识别、评估和监控全过程模型;最后建立了软件研制风险管理系统,该系统在实际应用中取得了较好的效果。     

程序控制流检测算法优化

暴露在太空辐射环境下的星载计算机,其电子元器件可能因受到高能带电粒子的轰击而造成硬件系统的瞬时故障,所以,需要使用容错技术来提高其可靠性。对一种面向硬件瞬时故障的纯软件控制流检测算法RSCFC(Relationship Signatures for Control Flow Checking)进行了有效的改进,通过对标签S进行分段编码,克服了原算法中存在的待加固程序的基本块总数受机器字长限制的问题,并给出了具体的计算证明。计算结果表明,如果机器字长为64位,那么改进后的算法在设定前提下能单层加固程序的最大基本块数可以超过218。与RSCFC相比,改进后的算法在加固基本块总数比较大的程序时,性能开销明显降低而且检错能力保持不变。     

一种将需求模型转换为软件体系结构模型的方法

需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。     

一种基于主题建模的代码功能挖掘工具

代码复用是重要的软件复用方式之一,复用者需要理解软件代码实现的功能方能有效实施软件复用。基于主题建模技术的程序理解方法逐渐受到研究人员的重视,它能够帮助软件开发者和使用者更好地理解软件的功能。目前,基于主题建模技术的程序理解方法一般欠缺对挖掘出的Topic的语义分析,为此提出的基于代码静态分析和LDA技术的代码功能挖掘(Code Function Mining,CFM)方法可作为对这类方法的补充。CFM是一套以代码为研究对象的挖掘、筛选、组织和描述主题(Topic)的方法,该方法能够生成带描述的功能型Topic的层次结构,以供使用者更清晰和方便地浏览、学习软件的功能。功能型Topic的描述能够帮助复用者理解代码功能,其层次结构能够让复用者从不同抽象层次理解代码功能。CFM方法包括4个部分:挖掘Topic、筛选Topic、组织Topic、描述Topic。以CFM方法为基础,设计并实现了一个CFM工具。CFM工具能够分析用户提交的代码,通过Web页面向用户展示带描述的功能型Topic的层次结构。最后,对CFM方法中的几个关键算法进行实验分析,验证了CFM方法的有效性。     

基于网络的软件项目管理的设计与实现

课题主要完成基于网络的软件项目管理课程的设计与实现,从而使软件项目管理课程教学实现教学网络化。课件采用人性化的界面设计、形象逼真的交互性动画演示,从而能够使学生更容易理解知识、掌握知识。平台主要使用JSP技术、JavaScript语言、Dreamwaver网页制作工具、Flash动画制作工具、Photoshop图像编辑工具、Fireworks图片处理软件、DBMS等开发工具。计算机网络课程教学平台系统可以极大地促进计算机网络课程教学,提高了教学效率和教学手段,为学生提供一个理想的学习平台。     

手机二维码整合三亚旅游资源的应用研究

分析了手机二维码的特点,手机二维码技术在三亚旅游市场的应用研究,通过整合三亚旅游资源,可以提高三亚旅游服务效率和服务水平,规范旅游市场,积极推进三亚市旅游市场的信息化建设。