教学课程资源库 更多>>

关键词： 形式化方法   膜计算   通信机制   描述能力   形式化建模   自动机   系统演化   演化过程   软件产品线  

摘要： 针对膜计算类形式化方法无法描述建模完成的系统的演化问题,提出了一种适用于演化过程建模的通信膜演算。该演算在已有的膜计算类形式化方法的基础上,通过在定义中添加规则的传递等反应规则,使得建模完成的系统可以根据演化需要发生变化,解决了膜计算类形式化方法不适用于对系统演化这一普遍存在的问题,即进行形式化建模的问题。同时利用自动机理论对通信膜演算的性质进行分析,分析了通信膜演算适用于演化过程建模的原因。并利用通信膜演算对一种软件产品线的特定演化过程进行了形式化建模,建模结果表明通信膜演算适用于对演化过程的形式化建模。

关键词： 形式化方法   抽象算法   混成系统   温控系统  

摘要： 对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性。对温控系统实现了抽象算法的形式化,首先对线性混成系统的状态空间进行分割,然后将其转化为图的可达性问题,利用图算法求解,最终对系统进行了安全性验证。实验结果表明,采用形式化方法对混成系统进行安全性验证具有较高的可靠性与可信性。

关键词： UML   公开招聘教师系统   面向对象方法   建模  

摘要： 本文介绍了UML的基本概念,分析了公开招聘教师管理系统的总体功能结构.通过UML建模研究,设计了基于UML的公开招聘教师管理系统的模型,运用UML的图描述了系统中各个模块之间的关系.通过公开招聘教师管理系统建模的研究与设计,进一步阐述了如何运用UML的方法来设计与开发软件的模型.

关键词： 模糊集   模糊OWL2本体   模糊关系数据库   映射   转换  

摘要： 针对语义Web上的模糊OWL 2本体,提出了基于关系数据库的模糊本体存储方法.通过深入分析模糊OWL 2本体的结构及语义特点,提出了基于模糊关系数据库的模糊本体存储结构,在此基础上,给出了模糊OWL 2本体到模糊关系数据库映射的形式化方法.理论和实例结果表明所提出的形式化映射方法是合理和可行的.

关键词： 新工科   软件工程   教学改革  

摘要： 在新工科背景下,以提高人才培养质量为核心,提出了软件工程课程教学改革整体框架,该框架构建四位一体的教学模式,以学生为中心,从学习资源库、教学团队、角色课堂和评价体系四个方面,全方面提高学生的项目开发实践能力。对新的教学模式进行试点研究和效果问卷调查,研究结果表明大部分学生对新的实践教学模式表示满意,新的实践教学模式有助于调动学生的学习积极性,加强学生对知识的理解和掌握。

关键词： 软件人才   能力培养   课程群建设  

摘要： 文章针对软件人才培养的现状,分析了核心课课程群设置的必要性,按照企业需求和应用型人才培养目标,对软件工程专业核心课进行了课程群的划分,并以软件工程类课程群为例,探索课程群建设思路,阐述了教学内容、授课方式和考核模式的改革方法,力争以能力培养为目标,为企业输送适合的软件人才。

关键词： 结构化   道路桥梁   设计  

摘要： 本文通过对结构化设计的探讨,详细地分析和研究结构化设计在道路桥梁设计中的应用,提高道路桥梁的质量,使道路桥梁建设具有保障性。

关键词： 物联网   智能家具   感知体系  

摘要： 介绍了智能家具的发展现状,对基于物联网的智能家具感知体系进行了设计,从技术上对智能家具感知体系进行研究分析,并为以后智能家具的多种可能性进行了设想。家具行业柔性化生产的体系构架,构建物联网感知层、网络控制执行层、应用分析决策层的体系模型。针对家具企业生产中各个机器设备之间节点资源通讯不畅,网络中的冲突和拥塞等带来的传输可靠性和实时性的问题,进而达到从全方位,全生命周期解决柔性化家具生产中感知、执行与分析的目的。实现家具生产设备之间的通信与数据的互联互通,通过通信融合实现生产设备的协同,达到生产柔性化,满足大规模个性化定制和高级智能化生产。

关键词： UML   声传感器   组网探测  

摘要： 声传感器组网探测是数据融合系统的一个重要组成部分,它的主要目的是通过声传感器网络对低空/超低空飞行目标进行探测,以获得目标方位及属性信息。针对声传感器网络相关理论和技术进行了探讨,并运用UML语言对声传感器探测组网系统进行系统分析,建立了动态行为模型。最后,通过系统动态行为建模实现了对声传感器探测组网的模拟。

关键词： 软件工程师   培养体系   应用型人才  

摘要： 以培养软件工程师为目标,构建工程应用型人才培养体系,阐述了学生工程实践能力培养的实施方案,其中包括构建科学的课程体系、科学的教学团队、科学的组织教学、采用专业导师制、有效的评价体系等一系列教学改革,以期培养出现代企业需求的人才。