高等学校创新团队建设的研究与实践——以北京工业大学嵌入式软件与系统市级学术创新团队为例

高等学校学术创新团队是国家科技创新体系中重要的力量,在创新型国家建设中发挥越来越重要的作用。文章在分析高等学校学术创新团队的内涵、特点和职责的基础上,研究北京工业大学嵌入式软件与系统市级学术创新团队的建设情况、措施和效果,探讨高校创新团队在人才培养、科学研究和服务社会等三个工作方面协同发展与贡献。

嵌入式软件与系统特色专业建设——以北京工业大学软件工程(嵌入式软件与系统)特色专业建设为例

专业建设是高等学校教学基本建设的重要内容,也是高等学校开展人才培养和教学工作的基础。2007年北京工业大学软件学院成功申报成功了教育部第二类特色专业建设点"——"软件工程(嵌入式软件与系统)"的建设任务,并以此为契机开展了特色专业建设与研究。本文总结了一年多来我院在特色专业建设的人才培养方案,软件工程领域嵌入式软件与系统方向的课程教学内容改革,工程实践与实训教学,研究项目驱动的主动式学习方式等方面办学过程中的经验,探索在软件工程领域嵌入式软件与系统方向上,培养高层次、复合型的嵌入式软件与系统人才的参考规范。

名师引导、人格辅导和弹性方案并用的创新人才培养——北京工业大学人才培养模式创新实验区的实践探索

以北工大-Xilinx软件工程(嵌入式系统方向)创新人才培养实验区的人才培养实践为例,通过重视入学教育,邀请著名专家、学者与新生面对面等形式,充分发挥班主任作用,利用数据分析手段进行人格调查和辅导,在了解学生个体的前提下,制定每个学生的培养方案与培养目标,探讨人才培养模式的弹性培养方案。

关于示范性软件学院办学的思考

本文通过对我国成立示范性软件学院的背景的分析，阐述了示范性学院的人才培养的特色，以及教育部通过对示范性软件学院的验收来验证是否达到成立软学院的目的，同时也指出了目前软件学院办学过程中出现的办学经费、学位与学历、学科发展等方面存在的问题。

软件测试大学教程:软件测试课程专业教材

软件测试是一项需具有较强专业技术、学习和创新能力的工作,软件测试人员必须要具有缜密的逻辑思维能力、全面的技术能力、敢想敢干的创新能力,要有较强的责任心和团队合作精神以及出色的沟通能力等专业素质。

国家示范性软件学院工程硕士培养导师组模式探析

结合国家示范性软件学院实际,针对工程硕士专业学位研究生传统培养体制面临的诸多挑战,北京工业大学软件学院积极进行导师组培养模式的探索与实践,取得了较为满意的效果。结合实践探索经验,本文对如何使导师组培养模式兴利除弊、切实发挥实效亦予以阐述,以供借鉴。

基于时空认知膨胀卷积网络与多源影响因素的PM_(2.5)细粒度预测模型

为实现精确化、细粒度的PM_(2.5)浓度预测,提出了基于时空认知膨胀卷积网络(spatial-temporal cognitive dilated convolution network,ST-C-DCN)的PM_(2.5)浓度预测模型ST-C-DCN。该模型将时空因素、气象因素运用于PM_(2.5)浓度预测,基于因果卷积网络提取时空特征,并采用时空注意力机制优化了时空特征的提取。基于海口市空气污染数据的实验测试表明:对于单个监测站,基线模型相比,ST-C-DCN的均方根误差(root mean square error,RMSE)平均下降24.7%,平均绝对误差(mean absolute error,MAE)平均下降9.93%,拟合优度(R-squared,R^(2))平均上升3.35%。对于全部监测站点的预测,ST-C-DCN在win-tie-loss(包括MSE、RMSE、MAE、R^(2))实验中,均获得了最多的获胜次数,分别为68,68、63和64。通过不同数据抽样条件下的Friedman检验,证明了ST-C-DCN对比基准有显著的性能提升。ST-C-DCN为细粒度PM_(2.5)预测提供了一个具有潜力的方向。

基于平台化实践教学体系的软件工程应用型人才培养模式

针对软件实用型人才培养目标,提出一种基于平台化实践教学体系的软件工程应用型人才培养模式应用计算机、多媒体和网络信息化等多种现代化教学手段,并与传统教学手段相结合,搭建不同层次的多维实践教学平台,培养学生的知识综合应用能力、工程实践能力和创新实践能力。

软件工程(数字媒体技术)特色专业的特色建设

根据教育部对对第二类特色专业建设点的建设目标及要求,针对软件工程(数字媒体技术)特色专业的办学定位和人才培养需求,提出用数字皮影打造软件工程(数字媒体技术)特色专业特色的建设方案,并以此为基础,开展特色专业建设,包括:课程建设、实验环境建设、科研教学团队建设以及学生科技活动平台建设。与此同时,对建设成果进行凝练和总结,使其能够被借鉴和推广。

远程胎儿电子监护软件系统的设计与实现

目的:针对当前胎儿电子监护(EFM)中诊断主观性强、检测不便捷及检测时程短的问题,设计一种远程胎心监护软件系统。方法:从基本要素和需求分析入手,选择基于心电方式的胎儿和(或)母体心率记录仪作为采集设备,其他硬件要素包括孕妇手持智能设备、服务器及中央监护站;以ython为主编程语言,MySql为数据库,以蓝牙方式进行记录仪与手持设备间的通讯,以HTTP/TCP方式进行远程数据的传输,以模型-视图-控制器(MVC)框架模式组织代码,并在此基础上进行功能实现及测试完善。结果:完成以孕妇监测客户端软件、服务器软件及中央监护站监护软件3部分为主体的系统构建,结合基于心电的胎儿和(或)母体心率记录仪,可以实现20 h的远程实时监护、心率报警及生理参数分析。结论:满足病房-护士站系统或家庭-医院系统场景的胎心监护需求,为临床诊断提供更为客观的依据。

软件工程专业硬件课程设置情况调查报告

本文对国家示范性软件学院的硬件课程设置进行了调查，结果表明各院对计算机网络、嵌入式系统等课程的设置基本一致，而硬件课程则有较大不同。

软件可靠性测试方法新探

针对传统软件可靠性测试方法在对软件因长期使用软件性能下降,甚至完全失效这种严重影响软件可靠性的测试存在不足的现状,通过对软件自身特性以及软件可靠性估算面临问题的深入分析和研究,结合传统的软件可靠性测试方法,提出了基于操作剖面的软件可靠性压力测试思想和操作剖面、压力测试点相互结合、互为补充的软件可靠性测试方法,并给出了软件可靠性测试新方法实施的技术途径。该思想与方法既是对传统软件可靠性测试方法的一个大胆探索,也是对软件可靠性测试方法的一个有益补充。

信息安全中的可信软件编程计算研究

针对IT产业迅速发展、互联网广泛应用和渗透,各种各样的威胁模式不断涌现的现状,结合传统软件质量的对比分析,提出了信息安全中的重要因素——可信软件编程计算。重点研究代码可信性分析、计算和度量方面,涵盖软件的复杂性、可用性和可靠性等质量特性及可信属性,对于软件质量保证和信息安全具有非常重要的现实意义和实用价值。

几种常见软件体系结构模型的分析

随着计算机科学技术的发展,软件的规模和应用领域迅速扩大,造成了软件复杂程度的不断加大,所以高效地开发出高质量的软件产品越来越困难,于是软件开发人员开始关注于如何找到理解软件的更好途径和是否存在更好的途径来构造复杂的大型软件系统。研究软件体系结构就是解决这些问题的有力方法,经过对常见软件体系结构模型的分析后提出:根据待开发软件的应用场合和所处理问题的特点选取合适的体系结构,有利于缩短开发周期、节约开发成本和软件维护。

太极拳运动考评软件的设计与实现

针对太极拳教学现状,基于自主学习理论,提出设计基于关键帧提取技术和三维坐标变换技术的太极拳运动考评系统。本文采用运动捕捉技术采集了24式太极运动数据,以关键帧提取技术为基础,设计了运动时间对比模块,解决了运动速度对比问题;以三维坐标平移变换和朝向旋转变换技术为基础,设计了运动空间对比模块,解决了运动位置对比问题;结合运动速度对比与运动位置对比,系统能够自动地对教学运动素材进行对比与评价,满足了学生自主学习需求。

软件工程(数字媒体技术)特色专业复合型创新型人才培养模式研究

本文针对目前数字媒体技术人才紧缺的现状,根据数字媒体技术人才需求多样化的特点以及软件工程专业的学科优势,结合北京工业大学软件学院的实际情况和实践经验,从复合型创新型人才培养目标的制定出发,对软件工程(数字媒体技术)特色专业的教学课程体系的建立、人才培养模式及创新人才培养平台等问题进行探索与实践。

协同软件测试管理平台的研究

为了解决如何对包括多个不同软件技术模块的软件系统进行测试以及协同地进行软件测试的问题,提出了构建能够提供多种测试服务并支持协同地进行软件测试的测试管理平台的方案。提出了一种改造开源测试工具为测试服务的方法,设计了一个集成了改造后的测试服务,基于SharePoint的协同软件测试管理平台。通过Android自动化测试工具Mon-key Test的改造为测试服务和集成到平台的实现过程,验证了设计的可行性。

软件测试人才能力培养的探索与实践

根据教育部对软件人才培养的要求,针对软件工程专业特点,以软件测试紧缺人才培养为突破口,分析IT企业的用人需求,研究软件测试人才的培养目标和能力培养要求,探索软件测试人才能力培养的有效方法。在此基础上,积极开展软件测试人才能力培养的相关实践活动,包括:凝练软件测试人才培养的教学理念,建立软件测试人才能力培养的新模式,制定软件测试理论课与实践课的课程大纲,编写配套教材,开展实验室建设等。

开源软件测试实践教学方案设计

基于开源的软件测试实践教学方案是软件测试实践教学的一种大胆尝试,具有示范性和推广性,北京工业大学软件学院在这方面开展了多年的实践活动。文章介绍了开源软件测试实践教学的方案、对应的大纲和具体实施情况。

软件构架动态行为建模与检测

针对软件构架描述语言在分析、验证软件构架动态行为中的不足,用抽象代数对构件、连接器和体系结构配置进行抽象,提出了软件构架层次模型,并采用Pr/T网对软件构架动态行为建模·提出基于线性时序逻辑的软件构架动态行为模型检测方法,给出了该方法的算法描述·最后,详细描述了电子商务系统中并发控制机制的建模过程和检测结果·提出的软件构架动态行为建模与检测方法结合了Pr/T网和线性时序逻辑的优点,为开展软件构架动态行为的分析、验证提供了理论基础·