教学课程资源库 更多>>

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

摘要： 道路桥梁是道路交通不可缺少的一部分,而结构化设计对道路桥梁来说至关重要,结构化设计不仅要考虑道路桥梁建设所在地点的交通运输情况,还要考虑该地的地质条件,只有综合考虑这两点才能真正的发挥结构设计在道路桥梁设计中的作用。主要从道路桥梁结构设计重要性的角度出发,通过对不同计算模型以及常用解法的介绍,进而探讨了其应用原则,仅此提供借鉴。

关键词： UML   系统分析   建模  

摘要： UML是软件开发的主流建模语言,是面向对象的软件工程方法的重要组成部分。文章对多媒体设备管理系统进行了系统分析,接着建立了系统分析阶段的UML模型,绘制了系统用例图和流程图。

关键词： UML   餐饮预订系统   建模  

摘要： 阐述UML的基本概念、特点和作用,从对餐饮预订系统的需求调研入手,应用面向对象的方法 ,基于UML对系统进行了需求分析与建模。介绍需求捕获、需求分析和需求描述的完整过程。其中,运用了用例图、类图和活动图,描述了建模的主要过程。最后介绍系统的实际应用情况,并提出进一步的优化和改进建议。

关键词： 农家书屋图书管理系统   UML建模   数据建模  

摘要： 农家书屋的管理是社会主义新农村文化建设中一项很重要的工作。随着经济发展和社会需要,农家书屋的服务变得多样化,农家书屋的管理也变得越来越复杂。为了提高管理效率,实现优质服务,促进新农村文化建设,本文分析和设计了农家书屋图书管理系统。 论文首先介绍了农家书屋图书管理系统的研究背景,对所需要解决的问题进行了概述,讨论了项目的研究意义与重要性；论文提出了系统的设计目标,对系统进行了详细的需求分析,包括业务需求、功能需求和数据需求,给出了系统的业务流程图、用例图和概念类图,进行了用例描述。在系统设计中,对系统进行了总体设计与模块设计,包括阅览登记、图书检索、外借、归还、赔偿、查询借阅信息、读者信息维护、标题维护、图书维护等功能模块,给出了模块设计的功能结构图(包图)、类图、顺序图(协作图)和处理流程图,详细阐述了设计内容,并使用E-R图和数据库表结构对数据库进行了详细设计；论文最后对研究的内容进行了总结,指出了论文存在的不足,并对进一步的工作进行了展望。

关键词： 物资管理系统   UML建模   数据建模  

摘要： 物资管理是企业管理的重要内容,提高物资管理的效率和水平,有助于提升企业管理的总体水平。 本文首先对研究背景、需要解决的问题、研究意义与重要性进行了描述,介绍了系统可能涉及的开发方法及相关技术；对系统进行了需求分析,用活动图描述了系统的业务需求,用用例图及用例描述给出了系统的功能需求,以缩略类图表达系统的数据需求。在系统的设计中也应用用了UML建模方法,包括包图、类图、顺序图(协作图)和处理流程图等,论文详细阐述了设计内容,还进行了界面设计,并使用实体类图、E-R图和数据库表结构对数据库进行了详细设计。最后是对研究的内容进行了总结,阐述了本人的主要工作,指出了论文存在的不足,并对进一步的工作进行了展望。

关键词： 事务模型   智慧城市   软件体系结构   领域工程  

摘要： 研究基于事务模型的工作流管理平台的软件体系结构是为了满足软件系统模式设计与现代企业应用新需求的衔接而展开的。本文从软件体系结构的高度，基于事务模型对智慧城市领域的事务工作流管理软件应用平台进行研究，解决基于事务模型的智慧城市领域工作流管理软件平台的软件构件复用问题。主要完成如下方面的工作： 第一，提出智慧城市事务工作流管理平台领域模型。主要包括管理平台本体模型、管理平台信息模型、管理平台场景模型、管理平台特征模型、管理平台业务模型和智慧城市事务工作流管理平台的领域字典。 第二，提出智慧城市事务工作流管理平台软件体系结构。主要包括平台的构件与连接件，和配置文件,并在详细流程分析的基础上，进行用例业务功能的设计，给出角色用例间业务联系和角色用例内业务联系。 第三，在智慧城市事务工作流管理平台软件体系结构的理论基础之上，给出该系统平台的实例化系统原型-中新生态城工作流管理平台。 本文的创新点是对智慧城市工作流管理平台采用基于事务模型的软件体系结构设计，将事务模型更好的融合进工作流管理领域，给出了基于事务模型的智慧城市事务工作流管理平台的软件体系结构实现方法，从根本上提高事务工作流管理平台的软件复用率。

关键词： UML   J2EE   数据库   短信平台   PMIS  

摘要： 现代科技的飞速发展，计算机技术也得到了显著提高，结合现代化管理的需要，各种通讯技术、信息技术广泛应用于各行各业的项目管理中，项目管理信息系统因此也得到飞速的发展与普及。目前，大部分政府部门和企业都建立了自己的项目管理信息系统（PMIS），用来管理控制各项目在各阶段的运营情况，这也大大提高了项目管理的信息化水平、效率和质量。 项目管理信息系统（project management information system，PMIS）是计算机辅助管理项目的工具，对项目管理的规划、审批、投资、进度和质量进行动态控制，为项目目标的实现提供强有力的帮助。 本系统基于UML建模技术，以J2EE平台为基础，使用ORACLE作为数据库支撑平台，利用ORACLE临时表优化数据库查询效率、保证多用户的并发性和独立性，有效利用ORACLE视图提高数据的安全性和逻辑数据的独立性。丰富的查询、统计模块，便捷地为用户提供准确的数据；通过从多个角度对项目的进展进行分析和实时控制，对系统管理人员的不同需求提供合理的服务。 本系统结合短信平台接口实现了手机短信的收发功能，可以将项目的相关信息及时发送给项目相关人员，项目相关人员可以通过手机短信的方式向系统请求查询相关的项目信息，提高项目管理的灵活性和高效性。

关键词： 安全关键软件   系统安全性验证   操作表达式   形式化方法   Safety-C  

摘要： 近年来，在嵌入式安全关键领域，对软件系统安全性分析与验证已经成为软件工程研究领域中的一个热点问题。形式化方法是通过建立严格的数学模型来指导软件开发过程，并能增强人们对系统安全性的信心。形式化方法中，定理证明采用形式逻辑描述语言和相应的推理系统。与模型检测方法相比，其具有在证明过程中不受状态空间和相关输入约束的优点。针对嵌入式安全关键软件，操作表达式模型是目前定理证明中有效的形式化建模方法。本文采用操作表达式模型对一类典型的嵌入式软件（使用C语言安全子集Safety-C编写）展开安全性方面的程序证明，设计并实现了相关的原型工具。 本文工作的主要研究内容包括以下4个部分： （1）针对安全关键软件的C语言安全子集，从数据类型、表达式以及程序控制三方面进行详细地特征分析；针对Safety-C软件系统，给出了C语言安全子集到操作表达式的转换规则与相应的转换流程；通过对操作表达式模型的预处理，并提出了模型分析树生成算法； （2）结合模型分析树的结构特点与操作表达式语义特性，给出分析树的节点语义谓词计算规则与相应的计算流程，构造出附有完整语义谓词的分析树；在消解原理与Coq定理证明器的辅助下，设计了基于语义谓词的分析树安全性验证框架，并给出验证执行引擎的设计结构，实现对系统形式规约的验证； （3）针对本文提出的面向C语言安全子集的软件安全性分析与验证方法，设计并实现相应的原型工具OESPA（Operation Expression Semantic PredicateAxioms），对OESPA的功能模块进行相应地说明，并给出该工具的设计框架与执行流程； （4）针对飞机襟缝翼控制软件系统进行实例分析，结合该系统的需求详细设计以及相关领域规范，利用原型工具对该系统的安全关键模块进行形式验证，给出相应的验证结果，并有效的说明本文提出的方法可行性与有效性。

关键词： UML建模   学籍一体化   信息系统   太原市文化艺术学校  

摘要： 随着科学技术的迅猛发展，应用和普及信息技术俨然已经成为社会发展的一个大趋势。随着信息量的不断增多，信息更多是以网络系统形式进行分类交换和管理。目前由于国家对职业教育的重视，我国职业教育的信息化成为了国家信息化的一个重要发展方向，计算机应用的普遍推广和科学技术的高速发展为现代教育信息化打下了良好的基础。 随着信息技术的不断渗透，现在科技已经逐步应用到校园的每个环节，传统的校园管理模式已经很难适应社会的变化，因此很多独立的信息系统应运而生。例如学生信息管理系统、教务系统、财务系统等等，这些独立的管理系统将校园办公的整体效率带动到一个新的水平上，但是对于校园整体管理而言，这些都是相对独立的系统，很多信息需要重复输入，严重造成资源浪费，导致了信息孤岛的产生。由于校园建设是一个长期的工程，校园规模会不断扩大，人数也会不断增多，单纯独立的系统只能解决表面问题，只有将各个系统间的信息连接整合到一起才真正实现了校园一体化。作者分析了当前学校中各个系统内部存在的联系，以建设一体化平台为前提和基础，将有限的设备和资源进行整合，将校园的数字化集成到最大。建设一个基于UML的高效能、高可靠性的公共共享校园平台。 本文介绍了基于UML的“学籍一体化”艺术学校管理信息系统的设计与实现总体设计思路和系统设计实现的过程，通过了解艺术院校的需求、数据标准等方面，对系统进行总体的设计。系统需求分析阶段，主要是根据文化艺术学校的特点，根据学校的专业要求，以及学校现有的数字化设备，基于已有的平台基础对学校的信息化管理进行整合。然后根据总体设计分析进行分项模块设计，将总体设计分为七个模块，每个模块能够实现相应的功能。系统采用统一身份验证，后台建立统一的数据库中心，所用用户通过前台入口访问后台数据库，实现了各个部门工作人员及学生的统一管理。平台设计根据系统需求而定，全面实现便捷登录、智能数据共享、统一同步信息等，真正实现校园一体化平台。

关键词： 医院车辆   管理系统   车辆管理   UML建模  

摘要： 为适应现代医疗卫生服务,医院必须提高管理水平,急救车辆管理是现代医院管理的重要内容,研究这一问题,有一定现实意义与应用价值。 论文以贵州省人民医院车辆管理为背景,采用面向对象的方法进行分析与设计。论文介绍了贵州省人民医院车辆管理系统的选题青景和意义,对课题的应用现状与研究现状进行了详细介绍,阐述了本人的主要工作和论文的设计目标。对系统开发设计所涉及的方法、建模技术和工具以及相关的数据库技术等相关技术进行了描述。论文通过业务描述,用活动图、用例图及用例分析方式对系统进行了详细的业务需求分析、功能需求分析和非功能需求分析。在需求分析的基础上,论文对系统进行了总体设计,并对各个功能模块进行了详细设计。在对系统的功能模块设计时给出了功能结构包图、类图、处理流程的活动图等。论文还采用E-R图和数据库表对数据库进行了详细设计。 首先,介绍了贵州省人民医院车辆管理系统的选题背景和意义,并对课题的应用现状与研究现状进行了详细介绍。对系统开发设计所涉及的方法、建模技术和工具以及相关的数据库技术等相关技术进行了描述,并阐述了本人的主要工作和论文的设计目标。 其次,应用描述、活动图、用例图及用例分析方式对系统进行了详细的业务需求分析、功能需求分析和非功能需求分析。第三部分,对系统进行了各个功能模块及总体设计。在对系统的功能模块设计时给出了功能结构包图、类图、处理流程的活动图等,并详细阐述了本文所要设计的内容。采用E-R图和数据库表对数据库进行了详细设计。 最后,对本次研究进行了总结与展望,阐述了论文存在的不足及下一步的工作。