教学课程资源库 更多>>

关键词： 电子证书管理   UML建模   软件测试  

摘要： 随着计算机和互联网技术的发展,计算机及网络技术正在深刻的影响着社会各方面的发展。计算机技术的发展,为企业的发展提供了便利,充分满足现代化企业发展的需要。滨江路桥工程有限公司公司通过适合的电子证书管理系统来提高电子证书管理的效率,同时,通过电子证书管理系统的运用,更加有力的保证的电子证书的安全。本文首先对电子证书管理现状进行了调查研究,充分分析了当前电子证书管理系统设计与开发的现状,在做了详细的系统需求分析的基础上,将滨江路桥工程有限公司电子证书管理系统主要划分为接收信息管理、证书信息管理、告警管理、系统管理、辅助管理五个模块,采用统一建模语言对系统各个模块和系统整体进行动态和静态建模,包括设计了系统的用例图、类图、流程图、时序图等模型,从而更加准确的理解系统需求,更加合理的对系统进行设计,既保证了系统模块化设计,又有效的对系统进行了集成,充分实现了系统各模块的功能,达到了用户对于需求的要求,保证了系统能够高效、安全、稳定的运行,也为电子证书管理的现代化和信息化打下了坚实的基础。本系统通过大量测试用例的黑盒测试,在充分测试基础上,对系统出现的问题进行了代码级别的分析,查找原因,进行了全面的修改,对软件测试中发现的全部问题进行了修正,从而保证系统能够满足需求,为用户提供安全高效可靠的服务。另外,通过大量的测试工作,系统在功能实现上已经完全符合用户要求,证明系统已经能够满足需求,得到正确的实现。

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

摘要： 进行现代道路桥梁设计过程中，设计者需要遵循以下原则:一是安全性原则，其也是一项基本原则；二是适用性原则，它是进行结构化设计的初衷；三是经济性原则，这是在进行道路桥梁设计过程中必须要考虑的问题在道路桥梁传统设计过程中，虽然其设计方法和道路桥梁的设计要求相符合，但是在实施过程中存在着较多的隐患，这为道路桥梁的使用带来了较大的影响

关键词： 学生就业管理   管理系统   UML建模   数据库建模  

摘要： 本论文结合曲靖医学高等专科学校学生就业流程和毕业生就业管理的具体要求,分析了学生就业管理工作的业务流程,确定了该系统的业务和主要功能需求,这系统的意义就在于方便就业工作人员的同时也方便了学生和招聘单位,提高了学校就业工作效率。论文主要从以下几个方面展开研究和分析,首先,通过介绍曲靖医学高等专科学校学生就业管理系统的研究背景,明确了项目意义和同类系统的研究现状,给出了系统所要解决的不足之处；其次,在业务需求分析中,论文先是对学生就业管理系统所涉及的业务进行了综合描述,然后分别对原有业务流程、业务流程优化等进行了具体分析,给出了优化后的系统业务流程图；在功能分析中,使用用例分析和用例描述的方法,对系统所具有的功能进行了说明,并给出了系统的总体功能包图和子功能包图；在数据分析中,对曲靖医学高等专科学校学生就业管理系统各功能所需要处理的数据进行了分析,给出了实体类关系图,建立了详细的数据库表结构；最后,对整个系统的研究与分析工作进行了总结,并最后对系统完善方面进行了展望。

关键词： 自动化生产线   HIGRAPH   EVENT-B   建模   验证  

摘要： 自动化生产线因具有生产效率高、加工过程稳定等诸多优点已被广泛用于多个加工行业。采用自动化技术不仅可以把人从繁重的体力劳动、部分脑力劳动以及恶劣、危险的工作环境中解放出来,而且极大地提高了劳动生产率。近年来,放射性医疗产品碘[125I]密封籽源在治疗恶性肿瘤方面有着良好的效果,使用自动化生产线生产可以极大地提高生产效率,同时可以避免人为不稳定因素对生产的影响。在自动化生产线正式投入到工业领域使用之前,它必须经过大量的长期严格的测试,从而检测出设计过程中的错误。在测试过程中发现,有些故障无法人为制造,但是这些故障一旦出现会带来设备损坏甚至人身伤害。本课题依托于125I自动化生产线工程项目,论文以碘[125I]自动化生产线控制程序的设计和形式化方法验证为研究对象,主要研究工作和研究成果如下:首先,完成了125I自动化生产线控制结构设计。一方面在详细分析125I自动化生产线需求的基础上,根据实际生产工艺流程,对上料、焊接和倒头工序机械结构进行设计和安装,同时用传感器取代定时器判断工位的定位情况。另一方面根据项目的进展,现场增加了包括嵌入式服务器、触摸屏、激光焊接机等一些控制设备,通过使用西门子SIMATIC MANAGER组建了完整的网络系统,可以实现设备间信息的共享,生产数据备份,远程控制和监控等功能。其次,完成了125I自动化生产线控制程序设计。在考虑生产线可能出现多种故障的前提下,一方面通过使用HIGRAPH状态图的方法对生产线的主通道控制功能可以较便捷地实现对故障的排查处理,同时对3个工位进行软件程序设计,除此之外还对部分异常状况编写相应测试程序,使用台型结构状态表实现对程序变量的变更管理。另一方面通过OPC技术实现了生产线系统中不同设备之间的数据传输,解决了通信设备间的异构问题,同时根据项目需求开发OPC客户端实现对生产数据的客制化存储。最后,提出利用EVENT-B形式化方法对所设计的125I自动化生产线控制程序进行数学建模和验证。在详细分析EVENT-B形式化方法原理的基础上,严格按照EVENT-B语言的规范描述系统的安全性和功能需求,制定准确详细的精化策略,并通过横向精化和纵向精化步骤逐步引入新的元素实现新的设计功能,构建系统模型来证明相关的Proof Obligation,从而确保设计模型的安全性和准确性。

关键词： 防空反导   模糊UML   模糊Petri网   不确定环境   建模  

摘要： 现代战争中,防空反导成为了本土防御和战略威慑的重要手段,同时其面临作战环境的复杂性和不确定性在不断增强。这种不确定性对防空反导系统有重要影响,并对系统的稳定性和适应性提出了更高要求,因此对不确定环境下的防空反导系统进行研究成为一项重要工作,且具有较高的研究意义。本文以防空反导及其所处不确定环境为研究背景,选取模糊UML对防空反导系统进行建模,并应用模糊Petri网对模型进行分析验证。本文的主要工作如下:本文以防空反导及其所处不确定环境为研究背景,选取模糊UML对防空反导系统进行建模,并应用模糊Petri网对模型进行分析验证。本文的主要工作如下:1、提出了一个不确定环境下的防空反导过程概念模型详细阐述了作战环境的概念和内涵,分析了防空反导的一般过程。参照模糊逻辑系统规则库的生成方法,着重分析了防空反导过程中的不确定环境及其对防空反导过程的影响,并以此建立了不确定环境下的防空反导过程概念模型。2、提出了基于模糊UML的系统建模方法并进行了验证在UML的6种主要视图产品基础上扩展出对应的模糊视图产品,分别是模糊用例图、模糊类图、模糊顺序图、模糊活动图、模糊状态图。引入Dodaf2.0体系建模思想和框架,提出不确定环境下的模糊系统建模框架,应用模糊UML视图产品描述该框架下的部分作战和系统视图产品。选取模糊UML的顺序图和活动图,将其转化映射到模糊Petri网模型中,通过静态验证和动态验证检验模型内容的完备性、正确性和一致性,以及模型的动态行为。3、设计防空反导案例,验证本文提出的建模方法合理性和优越性。以区域防空反导为作战想定,以不确定环境为研究背景,应用模糊UML建模方法,建立防空反导系统模型,并应用模糊Petri网对模型的动态行为进行分析验证。

关键词： 校园一卡通   数字化门诊医疗管理   C/S构架   UML建模  

摘要： 随着计算机信息科技的日益发展以及人们对健康问题的日益关注,医疗信息透明化、医疗过程数字化已经成为一种趋势。为了提高医疗过程中患者的就诊满意度,本文提出了一种采用“医疗就诊一卡通”的数字化就诊模式,其中“医疗就诊一卡通”账号为患者在医院的身份唯一标识。该就诊方式可以保存医疗过程的诊断信息、处方信息等一系列就诊信息到存储设备上,保证就诊信息不会因为时间原因出现损坏或者丢失,同时患者在挂号、就诊时只需要刷一卡通就可以,不需要再繁琐地登记个人信息等,极大地缩短了就诊时间;此外患者可以随时对自己的健康档案进行查看,医生也可以根据患者的健康档案进行辅助诊断。经观察学校中每一位在校人员都有自己的校园一卡通,与“医疗就诊一卡通”特点完全符合,因此本文以校医院为基础医疗环境,校园一卡通作为媒介,利用当代计算机技术、信息管理技术等对校医院医疗就诊过程进行建模,并给出了具体实施方案和测试分析。本文首先对传统的校医院业务进行分析得到本文关注的重点是门诊就诊业务,门诊就诊业务分为挂号管理、就诊管理、药品管理、收费管理和电子档案管理五大模块。其次应用UML建模方法对门诊就诊业务进行系统需求建模和系统数据建模,需求建模阶段采用了总体用例图、各模块用例图、各模块活动图及各模块具体功能的用例描述等方法详细地描述了门诊就诊业务的主要功能;数据建模阶段通过E-R图对各模块间的数据交互进行详尽勾勒,并在数据库设计阶段应用各功能模块的E-R图结合需求分析对系统各模块中实例的数据信息进行名称具体化、类型具体化、数据长度具体化及描述具体化。最后对系统的总体架构设计、网络拓扑设计、功能结构设计以及系统总体类图设计进行简要说明,其中架构设计主要包括数据层、硬件层、业务层和表示层;功能结构设计主要对校医院门诊就诊业务进行详细的功能划分,并采用UML建模方法对各功能模块的功能设计实现部分详细分析,通过流程图、类图及序列图将各模块的处理函数、事件流顺序等关键点具体阐述,最后在.NET Framework架构下,采用Oracle 11g数据库进行数据存储,选择***为开发语言进行开发实现。为确保本系统的健壮性,本文对基于校园一卡通的数字化门诊医疗管理系统的挂号管理、就诊管理、收费管理和药房管理进行功能测试,并对系统整体进行非功能测试,通过对测试结果的分析,该医疗管理系统的可行性和健壮性均达到了设计要求。用户试用后,反映系统运行良好,功能和非功能方面均达到了要求。

关键词： 非结构化   数据管理   Hadoop技术  

摘要： 随着网络技术的发展,电力行业和企业产生了大量的非结构化数据,包括文本、视频音频、图片等不同格式文件,通过挖掘有价值的数据,为企业领导层研究企业发展方向、发现存在的问题和决策提供基础数据。目前许多电力企业业务数据处于分散状态,无法形成统一管理模式;存在数据检索效率不高、存储环境不统一、利用率不高等问题。本课题建设非结构化数据管理平台,实现非结构化数据的存储、统一管理以及统一搜索,也能提升企业数据管理水平的核心内容,具备巨大的研究和应用价值。本课题正式基于现实需求的基础上提出的,十分具有应用价值。本课题系统在应用系统架构上采用J2EE架构进行设计,支持N-tier服务模式。在开发架构和技术路线上满足下述要求:采用基于J2EE架构的多层B/S应用模型、采用中间件技术、采用Java开发技术、遵循XML数据标准、基于工作流的业务驱动模式。采用Hadoop存储技术、HBase分布式数据库技术以及Lucence检索技术实现非结构化数据管理。本课题首先研究了课题建设背景,对相关技术进行了描述,从业务流程、功能用例等方面分析了系统需求,重点对系统进行了总体设计与详细设计,最后进行了功能实现。通过建设本管理平台,将企业内部不同业务系统的非结构化数据进行抽取、优化、处理、存储,实现数据集中存储和实时管理,支持数据的快速检索,让企业相关人员能够快速、高效、准确、便捷地检索出所需的数据,为企业提供知识库积累,更好地帮助企业员工获取内部信息,同时为企业提供决策支持依据。

关键词： 模拟股票交易   UML建模   软件工程   数据建模  

摘要： 股市有风险,投资需谨慎。据业界权威机构的有关研究表明,中国股市的参与者中,80%的股民都是亏损的,这充分说明股市投资风险很大且不容易控制。投顾业务作为证券公司重要的经济业务之一,可以给予客户好的投资建议并让股民学会经营风险,减少投资损失的几率；同时,也能增强公司在业界的影响力并建立良好的口碑和信誉。模拟股票交易平台的开发,就是为了提供给投顾人员一个演练自己投资方案的平台,从而更好的指导不同需求的客户。此外,新手客户入市后往往都是盲目投资,造成许多不必要的损失,这部分客户也可以使用模拟股票交易平台,了解股票的规则和风险,并锻炼科学的金融投资思维。本论文主要阐述模拟股票交易系统的分析与设计方法,采用软件工程的思想和方法对系统进行分析和设计,完成了需求分析、系统设计的研究和分析。在需求分析阶段,使用活动图对主要业务流程进行描述,采用用例图描述核心业务需求,并介绍其他非功能方面的需求。在设计分析阶段,利用包图、类图、顺序图以及活动图完成分析建模,并通过属性图和关系图描述数据库的建模,设计数据库的表结构。本论文最终设计了模拟股票交易系统的基本功能,包括：证券买入卖出,交易记录的查询,账户资金和持仓的查询以及后台管理账户等功能。该系统的设计可以提供给开发人员进行实现阶段的工作,具有实际的应用价值。

关键词： 无线网络   体系结构   TCP/IP协议   温室大棚  

摘要： 随着物联网技术的发展,单一无线通信方式不能满足差异化的信息传输需求,多种无线通信网络共用的模式越来越多,探讨无线通信物联网异架构组网方法是有理论意义和工程应用价值的。针对无线网络协议繁多、架构各异、互不兼容的现象,本文在分析现有无线通信国际标准的基础上,通过对无线网络协议标准各层规范进行分解,保留各无线网络固有特点层规范,定义可整合层规范,研究设计新型网络体系架构与协议栈,并将该方法应用在温室大棚监控系统中,验证了该网络体系的可行性和有效性。论文主要做了以下几方面的研究工作：1、构建了一种支持TCP/IP协议的新型无线网络架构。分析WiFi, Bluetooth, ZigBee三种无线通信标准的各自特点和差异特征,保留原有各协议网络层和传输层基础上,定义整合了应用层规范,构建了一种新型多协议无线网络架构。并给出了该规范应用的详细描述,为异构网络中多种协议间转换提供架构基础。2、定义了新型网络体系架构的协议栈。根据物联网环境下对信息传输的要求,设计了协议栈功能,包含网络模型、通信方式、连接过程、I/O触发模式,实现了异架构组网中各协议的应用层共享。3、温室大棚智能监控物联网系统设计应用。以温室大棚智能监控为背景,建立新型无线通信物联网系统,设计了感知层、控制层和信息层三层融合架构体系,构建了多异架构网络(ZigBee、WiFi、3G/4G、TCP/IP)的层间与跨层信息传输的应用层共享协议,并给出了该系统的控制器和感知网络的硬件电路和软件编程设计。经测试和用户成功应用,实现了多种异架构无线网络的无缝集成,从数据采集到存储、现场到云端服务器、监测到控制的无障碍传输,验证了该网络体系架构的可行性和有效性。

关键词： 招生管理   信息系统   UML建模  

摘要： 随着高校信息化发展的不断深入,信息化的管理方式受到了广泛关注。高校招生管理作为高校管理的重要组成部分。过去的人工管理的方式消耗了大量的人力、物力,各种招生信息也不能共享,不能适应高校现在信息化的需要。因此,本文研究分析出一套科学的招生管理系统,为解决目前高校招生管理方面的窘境。本文首先介绍了招生管理系统的研究背景,对所需要解决的问题进行了概述,讨论了项目的研究意义与重要性,并了解了招生管理系统目前的国内外现状,并对本文写作规划了具体目标。论文在需求分析过程中,主要采用了面向对象的分析方式,对高职招生管理系统的原有业务进行了梳理,并给出优化流程。根据业务优化流程,在功能分析中依次对各个角色进行了详细分析,并通过用例图和包图确定出系统的详细功能。数据分析部分,设计了系统各个功能模块的类图,首先确定出系统的控制类关系图,利用系统缩略类图确定出系统所需数据实体情况,在实体关系类图中给出各个实体类之间的关系,最后通过数据库表结构对数据库进行了详细设计。最后对论文进行总结,并对进一步的工作进行了展望。根据招生管理的具体实际情况,结合网络信息技术,为高校构建出简洁明了的招生信息管理系统。不仅提升了高校的招生工作信息化管理,也很好的对现有学生资源进行维护,从而减轻了招生工作者的繁琐工作和劳动强度。