教学课程资源库 更多>>

关键词： 汉语语篇连贯   语篇连贯失误   分段式话语表征理论   汉语小说   形式化方法  

摘要： 近几十年来汉语语篇连贯研究取得了丰硕的成果,但缺乏形式化的研究。分段式话语表征理论(SDRT)是用形式化的方法逐步实现篇章语义的动态语义学理论,但以往的SDRT视角下汉语语篇研究没有关注某一类语篇,限制了SDRT在汉语研究上的作用。以汉语小说这一语篇类型为主要分析对象,从SDRT视角探究汉语语篇连贯的形式化过程。此外,汉语语篇连贯失误的形式化过程也得到了研究,以从侧面论证连贯的重要性。结果表明SDRT可用于汉语语篇连贯的形式化研究,有助于汉语语篇研究。

关键词： 基于模型的系统评估   结构化分析和设计语言   形式化方法  

摘要： 飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模和仿真流程及相应的评估分析能力进行了介绍,并在基于AADL的航空电子系统建模框架下,提出基于AADL的航空电子系统仿真评估和验证方法,利用结构化分析和设计语言AADL构建航空电子系统典型子系统的正常模型和错误模型,并以此建立系统的扩展模型。在此基础上,利用形式化方法对系统模型进行描述并转化为Kripke结构。最后对系统模型进行模型仿真和特性验证,验证所构建的系统架构和设计逻辑是否符合系统设计特性需求。

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

摘要： 近年来,我国经济发展迅速,国家对交通建设的投资力度也逐渐加大,我国的路桥建设取得了一定的成就。为了能更好地促进我国路桥行业的发展,一定要做好道路桥梁的设计和施工。其中,设计方案作为指导施工的依据,在设计中一定要完善设计理念和优化设计方案,做好结构化设计,才能提高道路桥梁设计水平。基于此,文章简要研究了结构化设计在道路桥梁设计中的应用。

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

摘要： 道路桥梁是我国交通领域的重要环节,它的健康稳定发展对于我国经济起着决定性的作用,更关乎人民生命及财产的安全。所以,在道路桥梁施工过程中,要注意对道桥安全质量检测,以防止道桥出现使用期短、破损坍塌等问题。基于以上的种种问题,更应做好道桥设计工作,提升道桥使用寿命,在施工过程中注重利用科学的设计方案及专业的设计人员,防止道桥在设计中出现潜在的安全隐患,酿成后续使用的危害。

关键词： 现代师徒制   软件工程专业   人才培养模式  

摘要： 高职软件工程专业需要培养具有软件开发、软件测试、大数据处理等能力的技能型人才,对学生的软件项目开发能力提出了较高要求。实践表明,传统的以课堂教学为主的培养模式不能有效提高学生软件项目开发能力。因此,如何提高高职学生的软件项目开发能力是当前高职院校软件工程专业学生普遍面临的问题。为此,本文提出一种“以提高学生编程能力为目标、以校企合作为途径、以软件项目实训、程序设计大赛为载体、以现代师徒制形式开展人才培养”的软件人才培养模式,较好地解决了高职软件专业学生开发能力无法满足社会需求的问题。

关键词： MCGS组态软件   STC15单片机   脚本驱动   通信  

摘要： MCGS组态软件提供了一种脚本驱动开发工具,用户使用该工具可便捷开发满足项目需求的驱动构件。脚本驱动开发工具包含大量的标准函数,能充分满足用户需求。文章基于MCGS的STC15单片机驱动构件开发,根据水位监控系统的实际要求设计,首先确定通信协议,再配置设备属性、设备通道、编写设备命令与编辑调试,最后通过驱动构件的发布与应用,实现设备驱动构件的开发。

关键词： 新工科   教学策略   考核方式   人才培养  

摘要： 分析目前软件工程课程实践教学存在的缺陷与不足,剖析新工科背景下对人才培养的诉求,针对学生实践能力培养问题,从深化培养目标、改变教学策略以及制订多样化的考核方式几方面提出一系列实践课程改革措施,为新工科工程技术人才的培养提供参考。

关键词： 高职教育   双证融通   工学结合  

摘要： 高等职业教育培养高技能应用型人才的关键在于人才培养模式的创新.武汉软件工程职业学院连锁经营管理专业经过近年来的探索和实践,在开展"订单班"、"现代学徒制"试点的经验基础上,逐渐形成了"双证融通、工学结合"的人才培养新模式.在教学改革上取得了一定的经验和成绩,较好地适应了区域经济发展的需要.