教学课程资源库 更多>>

关键词： 实践教学体系   数据管理课程群   质量保障体系  

摘要： 针对软件工程专业的数据管理课程群的特点,设计符合数据管理课程群大纲要求的实践教学过程,以此实现具有动态性机制的实践教学体系的建设,并能够体现出培养软件工程专业学生的行业工作标准。

关键词： 物联网技术   下一代互联网   体系结构设计  

摘要： 随着目前网络技术的不断发展,人们对于物联网也越来越重视。本文研究了物联网的特点,并且分析了基于物联网的下一代互联网体系结构的设计。

关键词： 统一建模语言UML   形式化方法   顺序图   组合交互片段   指称语义   操作语义  

摘要： 为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障。结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析和比较了不同方法的工作机制和优缺点,指出了定义UML顺序图语义时需重点关注的问题。最后,对未来的研究工作与研究思路进行了梳理与展望。

关键词： 民族院校   软件工程   实践教学   创新  

摘要： 针对民族院校软件工程专业实践教学面临的困难及存在的问题,探索提高专业创新实践教学水平的方法。以大连民族大学软件工程专业创新实践教学为例,提出通过优化实践课程体系,完善师资培训机制,提高实践教学质量,挖掘民族学生优势,丰富校企合作内涵等方面,提高民族学生实践应用能力和工程规范能力。同时,开展以教师工作室制为载体,以各类学科竞赛为平台的实践教学活动,进一步提高民族学生的创新实践能力和团结协作能力。

关键词： 单元整体教学设计   量身定制   核心价值   结构化设计  

摘要： 单元整体教学设计要求教师根据本班学生的实际学情,突破原有单元教材编排组合与教学结构、次序,对单元教材资源进行深度开掘,发现与提取出单元教学的核心价值,在此基础上确定基于学生最近发展区与本单元发展学科核心素养切实需要的教学目标、内容,创造性地进行单元教学整体设计。以苏教版小学语文五年级上册第五单元为重点进行整体教学设计的探索,发现诸如编写段落提纲、具体生动描写、言语实践运用等教学价值,对教学目标与内容进行结构化设计,更具实效性且充满新意。

关键词： 软件工程   专业建设   课程设置  

摘要： 信息化时代背景下,我国软件产业逐步迈入了健康、持续的快速发展通道。在此过程中,大量工程型、应用型的高素质软件工程师发挥了不可或缺的作用。本科院校作为软件工程师人才培养的主要阵地,其专业建设在某种程度上直接关联着软件产业发展,有关研究备受关注。本文在对软件工程专业建设现状作出简要分析和论述的基础上,重点就软件工程本科专业建设实践进行了研究。

关键词： 计算机应用   分布式系统   时钟一致性演化   因素量化分析   有限自动机   形式化方法  

摘要： 传统分布仿真系统时钟不一致影响因素分析方法,已不能满足当前面向服务分布仿真的时钟状态分析需要。从系统全局时钟演化出发,阐述了时钟状态演化内涵与过程;在此基础上,基于有限自动机理论,提出了用于时钟不一致影响因素量化分析的动态演化模型及其算法:时钟有限自动机CFSA和时钟一致性演化算法CCEA。仿真实验表明:相比传统的分析方法,使用CFSA模型及其CCEA演化算法刻画系统时钟一致性状态变迁过程,探寻各种不一致因素的影响机理,量化分析各因素的影响程度等具有可行性、有效性和新颖性,可为面向服务分布仿真中时钟同步算法设计提供指导性建议。

关键词： 房地产私募基金   结构化设计   债权投资  

摘要： 房地产私募基金是因当前房地产开发企业银行开发贷款受限而迅速发展起来的一种新型融资渠道,借助私募基金,地产开发企业可以融资的同时也可以实现如报表管理等其他目的。房地产私募基金通常以有限合伙企业的形式开展,通常以债权模式投向房地产开发项目,并对基金的投资人实施优先/劣后等结构化设计,以放大劣后投资人的杠杆。

关键词： 软件工程   课程体系   创新实践  

摘要： 结合我国软件工程专业的实际发展情况,根据国际上对于软件工程专业人才的要求,分析我国软件工程专业课程体系的完善与创新。本文从软件工程专业课程体系的具体内容、必要性、发展现状、发展目标入手,分析了如何进行软件工程专业课程体系的研究与创新实践。

关键词： 可变工作量模型   实时系统   形式化方法   工作量曲线   最差情况下执行时间  

摘要： 传统实时系统性能分析以最差情况下执行时间(worst-case execution time,WCET)作为主要输入,导致分析过于保守.针对实时系统设计时预留冗余过大的问题,建立了以到达事件类型、数量和分布为决策变量,包括工作量曲线(workload curves)、逆工作量曲线(inverse workload curves)、工作量比率曲线(workload ratio curves)在内的实时系统可变工作量模型,给出了相关计算方法.基于可变工作量模型分析了其在混合调度中的应用,结果表明:采用可变工作量模型和算法可显著减少任务所需的执行工作量,降低了实时系统的资源需求.