教学课程资源库 更多>>

关键词： UML   建模   请假   E-R图  

摘要： 高校学生请假系统是适用于高等院校学生请假的网络应用软件。在需求分析过程中,将整个系统分为学生请假模块、辅导员和学生主任模块、主管院长模块和教师模块等6部分,使用统一建模语言UML对系统进行面向对象的分析和建模,完成了系统的静态建模。在数据库设计中用E-R图建立了数据库的概念模型。系统采用B/S结构开发,在校园网上进行测试,实现了预期目标。

关键词： 造纸机   程序设计   软件工程   结构化方法   Programmable   logic   controller(   PLC)  

摘要： 针对工程实践中造纸机PLC控制程序存在设计效率低、通用性不强等特点,提出运用软件工程方法对其进行标准化设计。通过分析造纸机多分部传动控制的特点,采用结构化方法进行需求分析和程序设计。实践验证,该方法应用在造纸机上是可行的,且能提高程序的设计效率和通用性。软件工程的软件设计方法在工业控制领域的应用具有很好的前景。

关键词： 半结构化   教学情境   教学设计  

摘要： 教学情境设计会直接影响课堂教学的模式和教学质量。现行不少教学情境缺乏可探究性，不利于学生思维能力的培养。在“半结构化”情境中，情境的呈现方式、设问方式及答案组织具有某种“不完整性”，这种看似不完整的“半结构化”情境恰恰有利于增加课堂探究的趣味性、互动性和生成性，并更好地激发学生的积极性和创造性。

关键词： UML   模型图   元模型   静态建模   动态建模  

摘要： 本文介绍了UML在系统开发中的建模应用，主要阐述了统一建模语言（UML）的基本定义与构成，以及UML的常用的模型图，并以此为基础，介绍了UML在系统开发中的建模流程以及面向对象的UML的建模，从而简化系统开发复杂度，提高系统开发效率。

关键词： 形式化方法   程序正确性   循环不变式   界函数  

摘要： 介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行,先确定好描述程序功能的断言,再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明,并对循环结构的形式化推导进行阐述说明。

关键词： 软件测试   测试手段   测试方法   测试影响  

摘要： 软件测试是在软件投入运行之前对软件进行需求分析，理解产品的功能需求、设计规格说明书和编码失眠的最终审查。对软件产品进行测试，帮助识别开发完成（中间或最终的版本）的计算机软件（整体或者部分）的正确度、完全度和质量的软件过程，是SQA的重要子域。是对质量的把关，是软件质量保证的关键步骤，保证发布出去的软件产品达到一定的质量标准。对软件产品的程序外形、结构、输入和输出的规约和标准提供了参考，并推动软件工程的发展，具有很大的积极意义。

关键词： 成长型数据中心   结构化设计   云计算   绿色IT   低成本运行  

摘要： 基于机构化设计理念,集成高效节能技术设备,应用云计算、虚拟化技术构建了集团全新一代的绿色成长型云数据中心,改变了过去以"单个项目为中心,按其应用峰值单独配置主机系统"的建设方式,大幅减少了远期不确定性投入,解决了传统数据中心常见的高投入、高能耗、高占用、低效率和低利用率问题,大幅提高资源利用率,有效降低了能耗,对于传统制造业实现绿色IT和低碳发展具有重要意义。

关键词： 降本增效   ERP   精细管理  

摘要： 对煤企自身存在问题进行分析,提出依托精细设计管理和深化ERP系统的方法,进行降本增效,增强企业核心竞争力。

关键词： 面向对象分析   多尺度分割   高分辨率   SAR图像  

摘要： 目的随着合成孔径雷达(SAR)技术和分辨率的不断提高,越来越多的空间细节呈现在高分辨率SAR影像上。与此同时,SAR图像的数据量越来越大,人们对其应用需求也越来越高,这使得传统的基于像素的SAR处理方法不再适用。面向对象分析技术以像元集合——"对象"为分析单元,为高分辨率遥感图像处理提供了有效的思路,并日渐成为遥感、摄影测量以及GIS等领域所关注的对象和研究热点之一。目前该技术在光学遥感中已经得到了广泛的应用,但在SAR图像处理中的应用还处于起步阶段。方法本文在简要阐述面向对象分析技术起源和特点的基础上,对SAR图像面向对象技术中常用的多尺度分割算法进行了分类分析,接着对面向对象技术在SAR遥感的应用方向进行全面介绍,最后对面向对象技术在SAR上的应用进行了总结与展望。结果面向对象分析技术在SAR图像处理中的应用主要分为以下五个方面:地物分类、城市信息提取、变化检测、海洋应用、森林应用。结论面向对象分析技术在解决高分辨率SAR图像尺度效应、抑制噪声等方面有着重要作用。目前,国外学者在基于SAR的面向对象分析技术研究上已经取得了一定的进展,但总体上该技术仍面临诸多问题,需要进一步的研究和完善。

关键词： 铁路信号   形式化   方法  

摘要： 铁路信号对于保证火车的安全运行是非常重要的,本文对铁路信号域形式化方法进行了探讨。