教学课程资源库 更多>>

关键词： 电子商务   网上商城   UML建模   PHP开发   MySql数据库  

摘要： 电子商务的蓬勃发展,使得互联网+思维模式日益风靡,现在越来越多的商家也推出了自己的电子商务销售平台。经过对国内外图书电子商务平台发展近况的深入分析后,本文设计和实现了一套书香易购商城网站系统。系统基于主流的三层框架技术,采用PHP语言和My SQL数据库进行开发。系统设计中基于UML建模思想,使用用例图和用例文本定义用户需求,明确系统边界和业务功能;使用数据字典和ER图分析系统数据,设计数据库;使用系统顺序图描述业务逻辑,定义系统架构和核心功能;使用流程图进行详细设计,展示事件流程和核心业务模块。系统主要功能有:1.图书业务管理。包括在线图书展示:对于图书产品进行封面、目录的细节展示;在线业务洽谈:买家可以通过在线客服窗口进行具体问题的沟通、洽谈;图书购买:对于合适的产品先添至购物车,接着结算并在线支付;图书管理:系统管理员及超级管理员可对系统进行图书信息更新及维护。2.会员管理。包括会员级别设置:系统根据用户消费额度升级用户为一定级别的会员,级别高优惠多;打折促销管理:管理员可以通过系统对商品进行打折促销设置。3.配送方式管理。管理员可以根据不同区地设置不同的物流配送价格和时间,为用户提供参考。4.其他管理。包括投票调查:用户投票选择自己喜欢的书目类别,便于企业下一步的市场调整;信息发布:系统超级管理员通过网站的通告模块可以发布活动通知。系统测试及用户使用表明,该商城满足了图书网上销售用户的需求,能节约销售成本和增强顾客体验。

关键词： 软件工程   实践能力   培养  

摘要： 本文分析了软件工程专业培养的现状,提出关于实践能力培养的多种方式,探讨软件工程专业实践能力培养体系,指出专业实践能力培养的意义。

关键词： 机房设备管理系统   UML建模   数据库建模  

摘要： 论文对云南省信息化中心(一期)省级电子政务数据中心机房设备管理系统(CREMS)的项目背景以及目前的研究、应用现状进行了分析说明,对目前的信息中心机房设备的管理过程中所需解决的各种问题进行了概述,讨论了项目建设的迫切性与重要性,对系统开发方法及技术进行论述。论文对现有政府机关信息中心机房管理现有的组织机构和业务流程进行了分析,提出了系统的设计目标。在业务分析中,论文对管理中存在的问题、组织机构、流程等进行了分析,给出了合理的业务流程;在功能分析中,通过需求分析,并采用用例分析和用例描述,清晰的对系统功能进行了分析说明;在数据分析中,在功能分析的基础上,对功能使用场景涉及的信息实体进行分析,并借助数据库设计的实体类关系图,对系统功能所需处理的数据进行了分析,从数据库层面对重点数据表进行了分析和设计。通过系统的需求分析与整体设计,深入了解信息中心机房设备管理流程,熟练应用UML建模技术,数据库建模技术。

关键词： 高职   艺术设计专业   生产性实训   基地  

摘要： 我们以校企合作二级学院为平台,实现引"厂"入校,共建校内生产性实训基地——"数字图文生产性实训中心"。实训中心能优质高效地进行生产性实习实训教学、职业培训、职业技能鉴定,能对外开展技术服务、承接设计项目,创造较好经济效益,能有效推动艺术设计专业及相关专业的实践教学水平和人才培养质量的提高。通过加强"校中厂"的特色建设,形成"工学交替"的人才培养模式,实现企业、学校、学生的共享共赢。

关键词： 飞机维修   管理信息系统   UML建模  

摘要： 信息产业的快速发展强烈刺激着各个行业的改革和创新,飞机维修业也随着航空工业信息化的深入而不断发展和优化。飞机维修是一个很特别的维修专业,目前由于我国的制造能力还不足,基本各大公司都是采购的欧美飞机,所以维护手册和维护标准都遵循欧美。飞机作为运输旅客的大型交通工具,维修要求绝对的安全可靠,对飞机维修的要求也越来越高,当今,作为维修部门,不仅仅要对飞机的安全性能负责,还要提高维修速度,快速处理故障问题,才能使得公司能跟上时代的发展。因此航空公司实现飞机维修管理信息化已势在必行,只有这样,航空公司才能跟紧时代的发展潮流,不被时代淘汰。本文题目是飞机维修信息管理系统的开发及应用,论文主要研究内容如下:1.分析了信息管理系统的开发背景及意义和国内外航空领域信息化的发展情况;2.分析了飞机维修业务信息管理系统的需求,结合企业的组织架构及业务流程,确定系统功能。从技术体系、开发模式、物理架构这三个方面进行了系统总体结构设计;3.明确了企业的实际需求之后,采用UML建模,借助用例图,序列图和活动图来分析,来设计飞机维修业务信息管理系统数据库;,4.以***为开发平台,采用C语言和SQL Server 2003数据库管理系统开发了基于B/S结构模式的飞机维修业务信息管理系统。结合具体查询功能模块,研究了相关数据查询处理和优化策略;飞机维修管理系统能大量节省维修中的人力物力,节省传达时间,提高效率,降低维修和运营成本,以高新技术为基础的飞机维修部门对信息系统的开发和使用成为必然将会显著提高飞机维修业务的工作效率、管理水平、竞争力和信息化水平。论文的研究成果也将直接应用于航修企业更高水平的信息化建设工作中,同时也对飞机维修行业实现信息化具有很大的借鉴意义。

关键词： 出纳管理系统   中小企业出   UML建模  

摘要： 随着企业规模的不断扩大，各个中小企业的财政信息处理也变得越来越繁杂。传统的工艺管理模式已然无法完美应对这种快节奏的企业出纳方式，不仅会滞纳企业的流程进度，更容易因人为操作失误而造成企业的巨大损失。在这种社会前景下，企业管理人员开始着手寻找适合企业自身发展的出纳管理系统，我们针对各个中小企业设计适合企业财政管理模式的中小企业出纳管理系统，使企业的财政管理变得更加时效化，便捷化和透明化。对企业内的财政资金处理模式进行各个层面的体系规划，对企业的日常管理及资料查询等方面都能起到良好的监督作用。　　本文对中小企业的出纳管理日常工作进行了需求分析，提出了有针对性的设计方案。本文以中小企业出纳管理的实际应用需求为背景，首先对企业出纳信息所需的各项业务情况进行调研，分析该课题的背景情况和国内外的研究现状。之后进行了系统整体构架的设计，将整体系统模块分为七个核心功能模块进行设计。后续又对该中小企业出纳管理系统的各个模块进行逻辑设计及流程分析，利用UML建模技术进行模块运营流程图及用例分析图的绘制。进行了该系统数据库实体属性信息的构建，列出各个实体属性间的关系详情。最后对系统所有功能模块进行了编码翻译，测试各个功能模块的运行情况，保障系统的功能完备性。该系统实现后很快投入企业进行使用，对企业的出纳信息进行了一整套系统性统筹规划管理的建立。实现了企业财政信息高效化，智能化，准确化的管理特点。大幅度提高了员工的工作效率和企业管理速率，为企业带来最大便利。

关键词： 联锁系统   形式化方法   有色Petri网   消息驱动   B语言  

摘要： 作为基于通信的列车控制（Communication Based Train Control,CBTC）系统的安全关键设备,联锁系统的结构、功能逻辑复杂,软硬件集成度较高,是典型的复杂安全苛求系统。如何保证联锁系统开发的正确性和安全性,寻求一套全面、有效的建模与验证方法已经成为CBTC系统中亟需解决的问题。近年来,基于严格数学定义的形式化方法越来越显示出它的优越性,不仅能够准确、清晰地描述系统的结构与功能,而且能够对系统特性进行验证,已经成为CBTC联锁系统建模与验证的一种重要理论方法。基于此,针对CBTC联锁系统形式化建模与验证的关键问题,本文从模型可重用性、并发性、模型转换方法,以及组合形式化方法四个方面展开了深入研究。本论文的主要成果和创新点如下:（1）针对CBTC联锁系统模型状态空间复杂、重复构件模型成本巨大的问题,本文提出并实现了一种基于分层有色Petri网（HCPN）的CBTC联锁系统模型模板。该模板属于分层的参数化模型,可重用性较强,适用于不同的CBTC车站,提高了联锁系统的建模效率与普适性,并且该模板通过分层建模思想解决模型的状态空间爆炸问题。（2）针对CBTC联锁系统的HCPN模型的同步触发和并发性问题,本文引入了模型的消息驱动机制,解决了HCPN模型无法支持各网络层之间并发行为以及同步触发的问题。该方法在现有HCPN框架的基础上,增加消息驱动机制,能够实现模型中信号机、道岔等控制对象的同步触发,弥补传统HCPN的不足。（3）针对模型转换以及代码生成问题,本文给出了由HCPN模型至B语言符号的转换方法。该模型转换方法优化了模型转换机制,能够兼容HCPN多种类型的颜色集。该方法实现HCPN模型转换至B抽象机的转换,生成的B抽象机能够通过Atelier B软件的模型验证,为代码的自动生成提供了保证。（4）针对单一形式化建模方法的不足之处,本文提出了一种融合基于函数的建模方法与基于逻辑的建模方法的组合建模方法。该建模方法克服了单一HCPN建模不能反映时间的问题,使得模型更易于发现系统设计中的错误、不一致性、模糊性和不完备性。将时间自动机的建模方法运用到CBTC联锁系统模板中,增强了联锁模板的通用性。

关键词： 净水系统   UML   面向对象建模   仿真  

摘要： 净水车净水系统仿真是净水系统设计、净水工艺优化、净水工况分析等方面的一种经济、高效的方法。对现有净水车净水系统及其工艺流程进行分析;明确了系统仿真需求;在构建系统仿真框架基础上运用可视化UML建模语言建立了系统的静态模型;最后利用Matlab仿真工具,对净水系统进行仿真实验。并对仿真结果进行了分析,验证了面向对象净水系统仿真模型的可行性和有效性。

ISBN: (纸本)9787111571438

关键词： 纳税管理   税务登记   UML建模  

摘要： 纳税管理信息系统是云南省税务机关“一个系统、两个门户、三级覆盖”信息化建设思路的重要组成部分,该项目建设旨在消除云南省已有信息化系统之间存在的数据壁垒,整合现有的税务机关人力资源和数据资源,最终实现税务登记申请和纳税申报的网络化操作,以及税务工作和纳税评估的信息化处理。本文采用UML建模工具,深入分析了系统的业务流程和功能需求,在此基础上,完成了系统技术架构、网络结构、功能结构、数据库结构的设计工作,并通过类图和时序图,详细探讨了系统主要功能模块的内部逻辑结构和功能实现流程。本文讨论的纳税管理信息系统采用了 JavaEE技术和MVC框架,基于MyEclipse程序开发平台和Microsoft SQL Server数据库平台,利用Java语言开发完成。系统共包括税务登记、发票管理、纳税申报、纳税评估等核心业务模块。其中,税务登记模块面向纳税人和税务人员提供税务登记申请、登记申请审核和税务登记的功能;发票管理模块实现发票领用管理和发票单据的维护;纳税申报模块实现了正常申报和延期申报的网络化、信息化处理;纳税评估模块依据评估指标和评估任务,实现对纳税人的纳税评估,并对可疑的评估结果进行处理。本文在系统测试部分重点讨论了纳税管理信息系统的功能测试和性能测试,表明该系统设计和实现达到了预期目标。本文设计的纳税管理信息系统针对的是云南税务机关的实际业务流程,与该单位已有的税务系统相比,在技术方案上,采用了当前流行的Web开发技术,如MVC框架,体现了系统的灵活性和可维护性,同时,该系统整合了云南全省范围内的纳税人信息和纳税数据,实现了对税务数据资源的集中利用和管理。目前,该系统已投入试运行,在一定程度上简化了税务登记和纳税申报流程,提高了纳税管理工作的效率。