教学课程资源库 更多>>

关键词： 结构化程序设计   数据结构   算法   设计技巧  

摘要： 结构化程序设计方法可以概括为自顶向下、逐步求精和模块化,将原来较为复杂的问题化简为一系列简单模块的设计方法。本文从结构程序设计的基本特点入手,简要分析了在结构化程序设计中灵活运用若干技巧对提高程序设计的稳定性和可靠性的应用价值。

关键词： 面向对象语言   教材   程序设计  

ISBN: (数字)9787030375704 ISBN: (纸本)9787030375704

摘要： 本书可作为高等学校软件工程相关专业的教材

关键词： 职业技能鉴定   管理系统   分析与设计   UML建模  

摘要： 随着Internet迅速发展及Web技术广泛应用,使得职业技能鉴定部门实现鉴定工作自动化管理成为可能。为了实现职业技能鉴定的科学化、自动化、网络化管理,开发符合鉴定部门实际需求的职业技能鉴定管理系统势在必行。 论文首先介绍了东莞市职业技能鉴定管理系统的研究背景和研究意义,对目前国内外职业技能鉴定管理系统的研究现状进行了研究,阐述了系统开发方法和相关技术。论文提出了东莞市职业技能鉴定管理系统的建设目标,对职业技能鉴定管理系统的功能进行了需求分析。本文研究了东莞市职业技能鉴定管理系统中用户管理模块、机构管理模块、人员管理模块、报名管理模块、培训管理模块、考务管理模块、成绩管理模块、证书管理模块等模块的功能需求,建立了系统的静态模型。通过应用统一建模语言(UML)进行建模分析,分析了系统的用例和参与人员,使用用例图的形式,表现了各个系统的组成和功能。 论文对东莞市职业技能鉴定管理系统研究为基础,结合职业技能鉴定管理的经验,在进行详细的需求分析基础上,设计了职业技能鉴定管理系统各个子模块的应用功能。在数据库设计工作中,根据各个模块的功能需求以及它们之间的联系,依据数据库设计原则,详细地设计了系统数据库的主要表结构。最后,论文对研究的内容进行了总结,阐述了本人的主要工作,指出了论文存在的不足,并对进一步的工作进行了展望。

关键词： 软件体系结构   定义   风格类型  

摘要： 本文简述了软件体系结构的定义,探讨了Mary shaw和Daviad Garlan所提出的五种风格,即数据流风格、调用/返同风格、独立组件风格、独立组件风格、虚拟机风格、仓库风格软件体系结构。

关键词： 基于通信的列车控制   联锁   形式化方法   通信顺序进程   线性时序逻辑   ProB  

摘要： 随着通信技术、计算机技术、自动控制技术的发展,基于通信的列车控制(Communication Based Train Control, CBTC)逐渐成为城市轨道交通信号系统的首选方案。作为CBTC系统的一个子系统,联锁系统主要实现进路控制、区间临时限速、扣车和取消、站台紧急关闭和取消等功能,其安全性和可靠性对列车能否安全高效运行有很大影响。联锁逻辑作为联锁软件的核心,其正确性不论是对联锁系统的开发还是测试都十分重要。 本文从计算机联锁系统入手,首先分析并总结了CBTC联锁系统的功能性需求和安全性需求。其中对联锁逻辑的描述大部分还是依靠自然语言,鉴于自然语言不够规范并且容易有歧义,具有严格定义的数学基础和推理规则的形式化方法己经在轨道交通控制系统中有了一定的研究基础。 本文通过对经典的形式化方法的比较,给出了一种基于通信顺序进程(Communicational Sequential Processes, CSP)对城轨CBTC联锁逻辑进行描述的方法。联锁表是说明受控信号设备之间联锁关系的图表,是联锁逻辑的体现。因此本文利用形式化语言CSP描述联锁表所表达的逻辑关系,把每条进路分别看做一个进程,那么每个进程内部都是调度员、道岔、信号机和轨道区段与联锁设备相互通信、交互作业的过程,则整个联锁表就是各个进路的行为的并发组合。然后用CSP验证工具ProB结合线性时序逻辑,通过行为动画、模型检测、一致性验证等方法来验证模型是否满足功能性要求和安全性要求,进而来证明联锁表所描述的联锁逻辑的正确性。 文章的最后把这种基于CSP的形式化方法应用于北京地铁亦庄线同济南站,对该站的联锁表进行建模和验证,证明了该方法的可行性及正确性。

关键词： 高层建筑   剪力墙   体系结构   设计  

摘要： 在建筑设计过程中，高层建筑设计有着特殊的要求，因此我们需要对高层建筑的剪力墙体系结构设计进行相应的探讨。通过分析剪力墙的特点以及它的受力状况，从而设计出比较科学的剪力墙结构，保证高层建筑的安全性。但是在现实中，许多设计人员没有重视剪力墙的机构设计，使得高层建筑质量存在比较大的风险。

关键词： 社会保险信息   管理系统   UML建模   数据库  

摘要： 在信息化时代的当今社会,互联网已经快速地走进了人们的日常生活中,网上各种各样的办公系统也是各行各业快速获得信息的主要方式,特别是在信息化公开的今天,政府部门工作效率的高低直接影响人们对其的满意度,所以现在的政府部门都会着手开发出适合于本单位的办公软件,东莞市社会保险信息管理系统也是在这个背景之下建立起来的,从实际效果来看,它能够使单位各部门的工作方式能尽量满足人们的实际要求,工作效率得到了较大的提高。 论文首先介绍了东莞市社会保险信息管理系统的研究背景和研究意义,对目前国内外社会保险信息管理系统的研究现状进行了研究,阐述了系统开发方法和相关技术。论文提出了东莞市社会保险信息管理系统的建设目标,对社会保险信息管理系统的功能进行了需求分析。本文研究了东莞市社会保险信息管理系统中单位参保、个人新参保、缴费管理、基金管理、系统管理等模块的功能需求,建立了系统的静态模型。通过UML进行建模分析,分析了系统的用例和参与人员,使用用例图的形式,表现了各个系统的组成和功能。在进行详细的需求分析基础上,设计了社会保险信息管理系统各个子模块的应用功能。在数据库设计工作中,根据各个模块的功能需求以及它们之间的联系,依据数据库设计原则,详细地设计了系统数据库的主要表结构。最后,论文对研究的内容进行了总结,阐述了本人的主要工作,指出了论文存在的不足,并对进一步的工作进行了展望。

关键词： 客户关系管理   银行业务软件   UML建模   软件工程  

摘要： 银行客户关系管理（Customer Relationship Management, CRM）是为了解决深入认知客户、深入挖掘客户、防止客户流失等问题的管理体系，并利用信息技术加以实现。常见的以账户为中心的CRM系统，不利于实现以客户为中心的先进客户关系管理理念，不能将客户的业务信息及银行业务信息，统一以客户ID为中心进行组织。为了解决这个问题，论文依据先进的客户关系管理理念和面向对象的软件开发技术，给出了以客户为中心的银行CRM系统设计和实现，并通过实际的运行和测试，证明系统的有效性和先进性。 首先，论文从管理、技术、实施等三个角度介绍了国内外关于CRM的研究现状，指出银行CRM系统可以帮助银行进行精细化管理，充分的挖掘客户潜力和分析产品目标客户，具有重要的应用价值。通过调研和分析银行CRM的需求，文章给出了以客户为中心的操作型CRM需求分析和客户服务流程设计，应用泳道图描述了客户资料导入、业务售前、业务售中、业务售后等各阶段中客户资料管理和业务流转的需求。 其次，依据中国银行浙江省分行CRM系统的实际需求，给出了概要设计和详细设计的内容，构建系统的整体框架，包括表现层、逻辑层、数据层。数据层包括关系数据库和文档数据库以及基于XML扩展的数据接口。逻辑层包括客户资源管理、客户发展管理、客户服务管理、客户分析管理等模块。通过类对象的分析，描述了系统内模块之间的耦合关系。采用软件工程的规范设计，基于软件开发生命周期法和快速原型Power designer开发工具，给出了系统中每个功能模块时序图的设计方案，并给出了系统数据库表的设计依据和内容。 然后，系统实现时，采用B/S三层体系结构模式进行开发，应用SQL2000作为数据库服务器和***开发平台，应用***技术实现高效的数据库通讯。按照银行实际工作需求，完成了CRM系统的软件开发。 最后，介绍了测试方法，并设计了系统的测试方案。通过试运行中的测试用例，对测试结论进行了分析和总结。指出了数据挖掘、权限管理、系统可扩展性功能等内容是未来的研究方向。

关键词： 保山新闻网   网站   UML建模  

摘要： 随着互联网(Internet)的迅速发展普及,政府信息化已成为社会信息化的基础。保山市随着社会的不断发展,应用新的技术,即国际互联网这一快捷方便、覆盖面广、费用低的媒体实现大范围多渠道地宣传政府形象,加强其实用的服务功能,信息高速公路是通向未来的必经之路。 建设保山新闻网,是为了占领网上舆论阵地,是配合中央进行国际舆论斗争的需要,同时也是对外宣传保山,介绍保山政治、经济、商贸、文化、艺术和科学技术领域的窗口,促进保山与世界各国交流与合作的重要渠道,为保山经济发展创造良好的外部环境实现快速的发展的需要。为实现这个目标必须有一套高效、快捷、易用、安全的网站管理系统。 本论文的主要工作是： 1、以保山新闻网站系统的开发为目的,分别从业务背景、应用实际、业务数据、管理模式、功能要求、管理制度等方面分析了保山新闻网站系统的需求,提出了符合保山市实际情况的系统功能需求和非功能需求； 2、以需求分析为基础,从系统结构、功能模块、数据库等方面进行了系统设计,以实现稿件从创建、初审、终审、签发、生成全过程的信息化管理。 3、对系统主要功能进行了实现,给出了主要运行界面。

关键词： 文化市场   准入管理   UML建模   数据建模  

摘要： 中共中央、国务院《关于深化文化体制改革的意见》要求文化行政部门“构建文化市场管理信息网络,建立文化企业信用档案和文化市场信用制度”。保山市文化市场准入管理依靠人工和经验管理市场的传统模式已经无法适应不断发展进步的多样化文化市场管理需要。设计建设保山市文化市场信息化建设系统,将有助于提升行政主管部门工作效率和质量,降低工作成本,大幅提高文化市场管理水平。 论文首先介绍了保山市文化市场准入管理系统的研究背景,对所需要解决的问题进行了概述,讨论了项目的研究意义与重要性,阐述了系统开发方法和相关技术；论文提出了系统的设计目标,对系统进行了详细的需求分析,包括业务需求、功能需求、数据需求和非功能需求,给出了系统的业务流程图、用例图和概念类图,进行了用例描述；在系统设计中,对系统进行了总体设计、模块设计和数据库设计,给出了总体结构图,采用包图、类图、顺序图和处理流程图表达了包括新办证、年检、备案、变更、换证、违规处理等功能模块的设计,详细阐述了设计内容,进行了界面设计,使用实体类图、E-R图和数据库表结构对数据库进行了详细设计。论文最后对研究的内容进行了总结,阐述了本人的主要工作,指出了论文存在的不足,并对进一步的工作进行了展望。