教学课程资源库 更多>>

关键词： 形式化方法   程序规约   组合数学   递推技术  

摘要： 组合数学问题算法的研究是计算机科学的重要研究内容,但在许多相关文献中,许多组合数学问题的算法只是经过简单分析得到,并未给出算法程序的详细设计过程,导致读者无法理解算法本质,更无法保证算法程序的正确性.该文在以组合数学中连续子序列最大乘积和第2类斯特林数变形问题为例的基础上,通过形式化描述问题的程序规约,使用规约变换规则,对程序规约进行一系列等价变换,获得问题求解序列的递推式,并以此为基础得到问题求解的算法程序,清晰地展示了从问题的需求到算法程序的详细推导过程.通过对相关组合数学问题的进一步深入研究,提炼了2类组合数学问题的求解策略,为提高组合数学问题算法程序的正确性提供了有效途径.

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

摘要： 路桥的结构化设计是将设计当成一个单独的且非整体模块结构,进而结合实际需求进行设计的一种方式。结构化设计在路桥设计中的应用较为广泛,为此,本文主要对结构化设计在路桥设计中的应用进行了探讨。

关键词： 形式化方法   智能系统   组合抽象模型   模型检测  

摘要： 论文针对智能系统提出了一种形式化建模和验证的方法:首先,采用层次化的思想将智能系统分为应用层、系统层和设备层,综合系统功能需求和硬件模块分别建立各层的Kripke结构模型;然后,根据组合模型规则将层次模型进行组合,经过抽象处理后得到系统组合抽象模型。最后,以能源共享系统为例,用CSP#描述系统模型、LTL描述系统性质,利用PAT工具完成系统模型的自动验证。实验结果表明,该方法综合考虑了系统各个主体的行为,能够有效找出智能系统中的设计缺陷,并且可以缓解模型检测中的状态空间爆炸问题。

关键词： 综合设计   工程能力培养   课程教学实践   梯度型课题设计  

摘要： 综合课程设计在工程能力实践教育体系中占据着承上启下的重要地位。该文以Android APP前后端交互系统的综合项目为例,阐述了在实践教学中开展综合设计(中年级)的课题设计目标、复杂工程问题分解、涉及知识点、交互式教学方法及实施的过程、学生成绩考评方式以及针对学有余力或高年级同学的梯度型扩展内容的设计,同时在课题设计小节例举了部分同等量级的衍生课题。通过该课程的实践教学结果表明,整套教学实施过程有利于学生工程实践能力的提升,以及创新型人才的培养,为企业实习及毕业设计奠定了良好的项目基础。

关键词： 隐私保护   差分隐私   形式化方法   概率自动机   概率标号迁移系统   概率进程代数   马尔可夫链   模型检测  

摘要： 尽管大数据分析在许多领域展现出巨大价值,但目前大数据的发展仍然面临着诸多问题,隐私保护便是公认的关键问题之一.在大数据背景下,数据间存在着复杂的关联性.为防止攻击者利用先验知识获取隐私,Dwork提出了差分隐私概念.近年来,差分隐私受到了广泛关注,成为有望解决数据隐私问题的一个重要研究方向.值得注意的是,在诸如执行MapReduce计算的Airavat等系统中,差分隐私技术仅用于构件层面.显然,保护单个构件的隐私并不意味着保护了整个系统的隐私.为此,国内外许多学者从系统层面研究了隐私保护.文章在简要回顾传统差分隐私提出的背景、定义及理论方面的进展后,从形式化方法的视角,综述概率系统差分隐私的最新研究进展和研究方向,以期促进该领域的进一步研究.

关键词： 案例   案例库   软件工程   案例教学实践  

摘要： 针对当前软件工程核心课程案例教学中案例缺少的问题,提出软件工程核心课程案例库建设的方案,通过课程选择、案例类型分析以及案例目标设定,详细说明基于知识点的软件度量案例以及基于项目的众包平台工人能力分析案例,通过研究生教学过程中的实践,说明案例教学对促进学生知识点掌握和提高项目总体理解研究能力具有良好的作用。

关键词： 项目导师制   软件工程专业   实践教学模式  

摘要： 长期以来,学校培养的技术人才的知识和态度与企业发展所需的技能和观念之间存在差距。软件工程专业实践教学模式存在人才培养目标单一;教学目标不明确,课程设置过于均衡;企业参与不足等问题。为此,本文以重庆电信职业学院软件工程专业为例,对基于“现代学徒制”理念下的高职院校软件工程专业“项目导师制”实践教学模式的创新进行了分析探讨,以期为其他院校的人才培养提供一些经验。

关键词： 阻燃剂   防火门   结构设计   绿色环保  

摘要： 我国木门市场的消费占比是多种市场消费占比最高的。近年来得益于科技不断发展,一种新型的绿色环保木门随之产生。该新型木质防火门不仅具有装饰性能好、安装方便、外形美观及防火性能好等优点,还是高科技的产物,使用范围广,广泛适用于民用建筑和工业建筑中,并且可以综合应用在其他场合。

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

摘要： 就道路桥梁设计中的结构化设计进行了研究,首先介绍了道路桥梁设计中结构化设计的必要性和可行性,并从多方面阐述了道路桥梁设计中结构化设计的应用原则,最后例举了道路桥梁结构化设计应用要点,希望通过研究能够更好的促进我国交通运输事业的发展。