教学课程资源库 更多>>

关键词： 程序设计   流程图   结构化   结构化定理  

摘要： 流程图是一种很好的算法表示工具,但对程序设计的初学者而言,设计出来的流程图大多是非结构化的。在《程序设计》课程的教学中,让学生学习结构化定理的相关知识,把非结构化的流程图转换为结构化的,这对培养学生的结构化程序设计思维有很好的意义。

关键词： CCSDS标准   LDPC码   部分并行译码器  

摘要： CCSDS标准给出的低密度奇偶校验码(Low Density Parity Check,LDPC)其子矩阵具有不同的列重,这给部分并行译码器的设计带来困难。本文针对如何高效实现CCSDS中LDPC码部分并行译码的问题,根据该类码的准循环特性,将码的校验矩阵分解成3个矩阵的和,提出了一种能够部分并行译码的译码器结构。利用本文提出的方法设计译码器时可以在译码时延和译码复杂度之间进行折中。

关键词： 信息管理系统   籽棉收购   软件开发方法   基于构件   棉花质量检验   棉花加工企业   业务需求   自动化管理  

摘要： 棉花作为关系国计民生的重要战略物资，历来受到各国的重视。随着我国棉花质量检验体制改革的深入，对整个棉花加工行业提出了新的要求，实现信息化、自动化管理己成为不可阻挡的趋势。为了避免籽棉收购中的手工录入、人为因素、收购效率低等问题，棉花加工企业广泛使用籽棉收购信息管理系统满足自身收购业务需求。但是，随着棉花业务的发展，要求籽棉收购系统的功能越来越强大，技术越来越复杂，这就给系统后续升级开发带来不小的难题。

关键词： 社会监控   集体儿童膳食营养   UML建模  

摘要： 学龄前儿童营养状况对儿童一生的成长至关重要,对智力发展的影响,具有不可逆、不可弥补的特性,在现有政策规定下,本课题提供一种基于社会化监控的集体儿童膳食营养管理平台,通过家长和公众参与的配餐监控,建立集体儿童配餐机构、儿童家长、监管部门之间有效的沟通机制,使集体儿童膳食营养更趋平衡与合理。

关键词： UML   储值卡   面向对象   建模  

摘要： 面向对象的特点之一是抽象,通过提升抽象级别能够构造更强大、更复杂的系统。而采用UML建模能够把复杂的系统用可视化的语言直观地描述出来,使得用户更易理解,后期更易维护。以储值卡收银管理信息系统的开发为背景,探讨了UML在系统中的建模过程。实践表明统一建模语言能极大地提高系统的开发效率和成功率。

关键词： 形式化方法   软件开发  

摘要： 形式化方法是把概念、判断、推理转化成特定的形式符号后,对形式符号表达系统进行研究的方法。是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。形式化方法就是用符号化的数学变换把需求分析给准确的表述出来,这样可以确保和需求的一致性,并能用于分析和验证应用程序。

关键词： 运行时验证   运行时监控   软件正确性   形式化方法  

摘要： 运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证技术已经得到了越来越多的应用,以确保软件系统的正确性。总结了近年来运行时验证技术的研究进展,首先介绍了运行时验证的概念、原理和分类,接着深入分析了现有的几种解决方案,并对该领域中的研究热点进行了深入探讨,最后分析了运行时验证技术面临的主要挑战,并对未来该领域的研究方向进行了展望。

关键词： 结构化设计   道路桥梁设计   重要性研究   应用原则   具体应用  

摘要： 利用结构化设计参与道路桥梁设计是非常重要的。从结构化设计的必要性、重要性研究、实例、应有原则、具体应用来阐述结构化设计在道路桥梁设计的重要性,有关经验可供相关专业人员参考。

关键词： 卓越工程师计划   软件工程实践   教学改革   CDIO  

摘要： 软件产业的迅速发展对行业从业人员提出了更高的要求,但我国高校现有的软件工程专业实践教育并不能很好地满足这些要求。对此,本文以安徽大学为例,阐述了"卓越工程师培养计划"下的软件工程专业实践教学改革。文中根据软件工程实践教育特点,并结合卓越工程计划的培养要求,提出从树立工程化实践教育理念,构建一体化实践教育体系,采用多样化实践教学方法,突出能力化实践考核方式,建立创新型实践教学团队等多个角度进行实践教育改革。为研究新形势下,软件工程专业实践建设做出积极的探索。

关键词： 兵棋推演   UML   建模  

摘要： 通过对兵棋推演系统结构和功能的分析,运用面向对象的分析与设计方法,建立了基于UML的兵棋推演系统模型,并构建了系列视图模型,描述了该系统从需求分析到系统设计的整个过程,对兵棋推演系统进行了规范化、可视化表述。为兵棋推演系统详细设计、开发和实现奠定基础,为其他推演系统开发提供参考。