一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

脑卒中发病环境因素分析及干预

基于2012年全国大学生数学建模竞赛C题数据,首先对脑卒中发病人数进行统计描述,结果表明:发病人数具有季节特征;随年龄的递增而增加;男女性别的发病人数相差不大,男性略大于女性.采用相关性关系对脑卒中发病率与环境因素的关系进行研究,并建立回归模型.根据脑卒中高危人群的重要特征,提出有针对性的干预措施.     

面向卓越工程师培养的《嵌入式系统》课程建设

文中根据应用型本科“卓越工程师”培养计划的基本要求,针对《嵌入式系统》课程的特点及教学中的难点,总结了大连大学软件工程专业嵌入式系统课程建设的经验和成果,包括课程内容的衔接、实践环境和实践内容的建设、教学方法的建设和与企业的合作。经过几轮的实际教学验证,教学效果较好。     

仿真技术在单片机实验室建设中的应用

针对传统实物单片机实验室建设中存在的一些问题,提出采用Proteus仿真软件建立仿真实验室,设计制作一套51系列单片机实验系统。该系统基本包含实物实验箱中的所有模块,与硬件实物箱比较,既方便进行验证性的实验,又方便进行拓展性的实验。实验理念与以往有很大的差异,学生在学习实验过程中能够更大胆地去创新。单片机仿真实验室是一个完全开放型的实验室,它的建立既有利于教师开展实践教学,更有利于学生实践及工程能力的培养。     

一种模型驱动的嵌入式控制软件设计技术研究

针对当前嵌入式控制软件开发方法的不足,研究了一种将常规模型驱动开发技术与基于模型系统设计方法相结合的嵌入式控制软件模型驱动开发技术,首先分析了其应该具备的功能、特征并给出了方案实施步骤;然后,详细研究了方案中的PIM模型设计方法、PSM模型(代码)层次结构及OXT框架,并开发了针对Arm-Linux平台的适配器;最后,给出了基于该方法设计的微型飞行器控制软件运行测试实例.     

对外汉语汉字部件计算机辅助教学软件设计与实现

 为提高外国人学习和掌握汉字部件的教学效果,使外国学习者能准确、有效地识记汉字,掌握中文书写架构和习惯,依据计算机辅助语言学习理论（CALL）,从分析汉字部件的教学现状入手,设计和实现了对外汉语汉字部件计算机辅助教学软件.介绍其中的整体设计、界面设计、功能设计和技术实现4个模块的主要设计思想和实现过程.     

软件无线电系统中的调制识别系统组成及识别方法

在软件无线电系统中,调制识别部分由预处理、特征提取和选择、识别分类三个环节组成,其功能就是准确提取已调信号的频率、相位和幅度这三个参数的瞬时特征值,以便正确地解调出已经调制的信号,三个参数是对已调信号解调的关键.软件无线电系统中调制识别有决策论方法和统计模式识别方法两大类.     

即时通信软件在网络教学中的应用研究

课堂互动一直是教学的核心所在。而网络教学中的互动问题是阻碍网络教学发展的一太瓶颈．本文从当前我国网络教学的实际出发。在剖析了常见即时通讯软件教学功能和作用的前提下,提出利用即时通讯软件构建网络互动教学模式来提高网络教学质量,进而促进网络教学的发展．同时,对模型进行了准实验,通过实验结果比较分析了网络互动教学模式、传统课堂以及单纯的网络课程所开展的异地教学中师生互动的区别,总结分析了我国教学中师生互动、师生关系的变化发展趋势,以及社会性软件在网络教学中心的优势和特点．     

基于Google Earth数据的Surfer三维地形建模

对于资源潜力不明的新勘查区,尤其是地形复杂区,快速获取其地形图或三维地形模型,是开展相关勘查工作的基础.以滇西北茅草坪铜多金属矿区为例,提出了利用Google Earth平台提取研究区的三维空间数据,借助Surfer软件生成等高线和三维曲面模型的一种绘制大比例尺地形图或三维地形模型的直观、便捷方法 .该方法具有低成本、高效、准确的特点,可操作性强,可在当前地质勘查工作中广泛应用.     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.