教学课程资源库 更多>>

关键词： 档案管理   Java EE技术   UML建模   MVC设计模式  

摘要： 随着高速增长的数字化信息,政府企业等各种机构产生的文档也是数量巨大。早期文档管理系统,是从结构上对数据进行分类,没有有效的管理。文档包含着企业丰富的知识财富,企业需要文档正确规范的进行保存和提取。设计企业的文档管理系统,建立一个使企业可提交的所有信息的共享和文件系统,已经成为一个迫切需要解决的问题。企业电子文档管理系统采用了 B/S三层体系结构,充分的利用了 Java开发web应用系统的多种框架技术,搭建了基于Struts+Spring+Hibernate的开发框架,结合成熟软件开发过程管理,从系统的需求分析、功能设计、系统的实现几个方面做全面细致的工作。系统后台采用Oracle9i数据库,将全部业务功能逻辑都封装成服务器端组件,从而有效地提高了本电子文档管理平台的可升级性与代码重用性。论文相继从技术结构与功能结构两个基本层面进行了系统设计。本系统共包括文档管理模块、部门管理模块、系统管理模块、角色管理模块、检索查询模块。在整个系统设计与实现过程中,作者一直是局域组件化和层次化理论思想来编写程序代码。这种设计方案实现了系统多层结构数据的有效分离,大大减小了各层次模块间的藕合度,从根本上提高了系统复用性。本平台整体上采用开放性模块化设计,这样有利于系统程序的升级。最后,对软件进行了严格的系统测试。测试结果表明本课题所开发的企业电子文档管理平台具有优良的系统扩展性和跨平台性,基本能够满足企业日常工作需要和要求,大大加速了各使用单位企业电子文档管理信息化建设的步伐。

关键词： 信息系统   营销管理   数据库   UML建模  

摘要： 随着信息化的快速发展,电子银行业务也在不断的增长。虽然中国工商银行拥有国内最大的客户群,但是公司客户的信息化管理未能完全落实信息化银行建设思路,客户经理在对客户的精细化管理和联动营销上力度不够,不能全面掌握和分析客户情况并从中优化客户管理模块。为此,采用现代信息化技术开发一个客户营销系统是目前亟需解决的问题。本文结合软件工程的思想,采用面向对象的建模方法,针对工行的客户营销系统进行分析研究。首先介绍了客户营销系统建设的项目意义和国内外的研究与应用现状,明确了论文研究的内容和主要工作；在业务分析中,根据中国工商银行目前在客户营销管理上存在的问题,对组织机构、业务流程等进行了分析,给出了优化后的业务流程；在功能分析中,论文通过用例分析和用例描述,明确了系统的功能,给出了系统总体功能的包图和子功能包图,包括产品管理,营销管理,客户管理,客户业务信息管理,队伍建设管理,系统管理等子包图；在数据分析中,论文对系统各功能的所需要处理的数据进行了分析,给出了实体类关系图,建立了数据库表结构；论文最后对所做的研究与分析工作进行了总结,并对进一步的工作进行了展望。

关键词： 网上作业系统   UML建模   数据建模  

摘要： 21世纪,计算机技术出现和发展,极大地改善了人们的生活,网络也成为人们生活、工作中不可缺少的一部分,而网络教学也慢慢变成教育教学的一种常规手段。学生通过网络来完成作业,也逐渐普及起来。合适的网上作业系统,可以减轻教师批改作业的负担,同时也使教师和学生之间的交流更加紧密。 本论文通过对现实工作生活的研究、调查,对现实中一些需要解决的问题进行了思考,探讨了鹤山二中网上作业系统这个项目研究的意义和必要性。并运用所学知识对鹤山二中网上作业系统进行了业务需求分析,描述了主要业务的流程；也进行了功能需求分析,对业务的功能进行了细化；同时也分析了系统的数据需求。 在此基础上,对鹤山二中网上作业系统进行了系统的功能模块设计,给出了模块功能的包图、类图、序列图和核心处理流程图。并对数据库进行了设计,给出了主要实体关系图和数据库表。 最后,对论文进行了反思和总结,反思不足之处,总结在此过程中的一些主要工作,并对今后在现实生活、工作中的一些问题做出进一步的展望。

关键词： 城市综合执法   UML建模   执法案件   综合评价  

摘要： 目前,各大城市的违规现象管理已成为我国城市管理重点管理的重要组成方面,因为随着我国国民经济的不断快速发展,城市的各种违规现象越来越普遍相应的人数也在逐渐增加。但是,我国目前城市违规现象的一切管理工作主要还是依赖于传统的纸质报表来展开,而随着现在城市违规的现象和数量持续增多,很显然传统的对城市违规现象进行管理的方式早已不足以满足目前的新的需求。因此,一方面为了可以更好的对城市综合的管理工作进行开展；另一方面为了给城市违规现象的处理方法提供一个良好和有效的解决方案,那么研究对怎样利用引入计算机这种发达的技术来管理城市各种违规现象则是一件有着深刻意义的事情。论文是在结合了目前我国公安部城市综合管理局对城市违规现象管理的一些实际情况的基础上进行研究的。首先,向读者介绍当前城市违规现象系统的相关研究背景、项目的意义以及目前研究和应用的现状,目的是为了对本次论文研究的主要内容和一些主要的工作进行明确。其次,针对在业务分析的过程中对东莞市城市综合管理局麻涌分局目前的城竹执法案件管理系统所存在的一些重要问题,例如组织机构以及原有业务流程等,都对这些进行了全面的分析。此外,本文还对原有业务的流程进行优化,其中包括了综合评价管理、立案管理、举报处理管理、案件处理、系统维护管理、基础信息管理、结案管理等等这些重要的业务流程,最后本篇论文还给出了改造后新的业务流程。利用对用例进行分析和描述这两种方式来进行功能分析,这样可以更加方便的对东莞市城市综合管理局麻涌分局的城管执法案件管理系统所有功能的使用情况进行明确,最后本文还给出了该系统总体的功能包图以及其了功能包图。作者通过对该系统的各项功能所需要进行处理的数据做了全面的分析,然后通过缩略图的形式来对整个系统的核心功能涉及的相应数据需求展开分析,并且同时绘制了实体类的关系图对系统数据库的实体类关系进行分析,为建立数据库表结构提供帮助。最后对接下来的相关工作进行了展望。

关键词： 形式化验证   模型检测   LLBMC   广度优先剪枝法   空间爆炸  

摘要： 随着计算机软件技术的快速发展,特别是在航空航天、交通运输、生物医疗等安全苛求系统中的应用越来越广泛,软件系统的安全性、可靠性变得越来越重要,任何一个错误都可能带来灾难性的后果。因此,如何保障软件系统的安全可靠性越来越受到人们的关注。 从软件系统的设计到最终的代码实现,每一个环节都关系到软件的安全性,但系统的高层设计的正确性不能保证代码实现的安全性,因此只有通过对源代码进行安全性验证才能保障系统的安全性。模型检测是一种基于形式化方法的自动化验证技术,与传统验证技术相比,具有无二义性、高效、可靠等特点,在电路设计和通信协议设计中得到了广为应用,但其在软件系统安全性领域是近些年才被引入的,特别是在软件代码验证领域的研究还不成熟。 本文首先介绍了模型检测技术的理论基础、检测流程、发展现状,并指出了模型检测中状态空间爆炸的问题及现有解决方法。通过对某安全苛求系统的以存储为中心的软件构件进行分析,选定模型检测工具LLBMC作为安全性验证研究工具。LLBMC作为一种具有精确内存模型的有界模型检测工具,能够针对软件模块的内存错误和逻辑错误的形式化验证并对得到的软件系统错误进行追踪定位。对影响软件系统模型状态空间和模型检测时间的两个关键要素一一广度和深度进行分析,分别用最大循环的次数表示广度,最大函数调用深度表示深度,进而发现广度是导致状态空间爆炸的主要因素。在此基础上,提出了一种面向模型状态空间中状态可达性的判断方法,设计了一种基于广度优先剪枝的状态空间缩减方法,并通过实验验证了该方法可有效应对检测中的状态空间爆炸问题。 本文最后采用某安全苛求系统软件构件验证了状态可达性判断方法、广度优先剪枝法和平衡性问题,表明这些方法可有效检测出软件代码中存在的若干安全漏洞,为提高软件系统,特别是安全苛求系统的可靠性提供了坚实保障。

关键词： Construction   Artificial intelligence   Design brief   Design development   Project strategy   SSADM  

摘要： Purpose - The focus of this work is on the client-designer interface where decisions have significant impact over the lifecycle of the project. Therefore, the briefing stage is examined in the context of clients' needs which is divided into project-based strategy and broader clients' strategy. The purpose of this paper is to address the pitfalls in the briefing process which has been attributed to the shortcomings in the client-designer communication interfaces. This will be achieved by developing an automated brief generation framework. The research examines the efficiency of standard approaches to modelling and design, and the benefits that these methodologies have offered to the computer industry. The work reviews the similarities between the two industries and argues in support of the potential benefits in adopting a standard methodology in the construction industry. The structure upon which the framework is developed is based on system analysis and design methodology (SSADM) which has proven to be an effective platform used within the software development industry. Design/methodology/approach - SSADM is an established methodology within the software development industry. The paper will demonstrate that due to fundamental similarities between the construction and software development industries, SSADM is likely to offer a viable platform upon which an automated enhanced brief generation model is developed for use in the construction industry. The construction design and construction process will be mapped on SSADM high-level definition before focusing and honing on the design phase. The methodology for the development of the framework will be based on the rationalist approach of generating knowledge through reasoning leading to model-building. Findings - A model that is based on SSADM is proposed for the design development phase of construction projects. In order to shape the project strategy, the model considers the combined role of clients' requirements with o

关键词： 事后监督系统   UML建模   软件测试  

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

关键词： 混成系统   形式化验证   抽象方法   微分动态逻辑   恒温器系统   生命支持系统   VCCR系统   Coq工具   KeYmaera工具  

摘要： 混成系统是含离散事件决策的一类动态系统,其演化过程由离散事件跳变和连续时间动态过程共同完成。在众多信息物理融合系统、智能控制系统中有大量混成系统的实例。如何对混成系统进行建模、以及验证系统满足实际需求的安全性质是计算机应用技术领域有挑战性的研究课题,有重要的理论意义和应用价值。针对混成系统的特点,形式化验证的方法适合对其进行建模、分析和验证。本文主要采用了抽象化(abstraction)方法和微分动态逻辑(differential dynamiclogic)方法,结合交互式定理证明工具Coq和混成系统形式化验证工具KeYmaera,分别对不同的实际混成系统进行建模分析,并验证其安全性质。抽象化方法首先对线性混成系统的状态空间进行抽象和分割,然后将其转换成图的可达性问题。在交互式定理证明软件Coq中,根据抽象化方法思想、结合其已有的相关库,实现了验证混成系统抽象化方法的形式化。对一个线性混成系统的实际应用场景“恒温器系统”,用抽象化方法在Coq中对其建模,并且验证安全性质。基于微分动态逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性。将VCCR系统基于混成程序建模,定义其需验证的安全性性质,使用混成系统形式化验证工具KeYmaera进行验证,证明了空间生命支持系统中VCCR子系统的安全性。最后,总结了形式化方法对混成系统安全性验证的优势,对其尚存在的局限性的解决提出了展望。

关键词： 台州城管   执法事件管理   信息系统   需求分析   UML建模  

摘要： 随着信息技术的发展和推广,各个行业都已经采用信息化手段来提高工作效率。政府部门作为服务人民群众的机构理应与时俱进。城市化进程的不断推进,使得各个方面的利益矛盾加剧,城市管理中的问题逐渐凸显,行政执法工作任务更加繁重,工作难度更加大。传统的行政执法以手工操作为主,以纸质文件形式存在,这样的工作效率低,人工成本高,不利于执法效率和服务效果的提高。因此,建立一套行政执法信息系统,实现业务操作的信息化、规范化和自动化,基础资料的统一和数据信息的共享,对提高工作效率、减少人工开销具有重要意义。 论文首先介绍了执法事件管理系统的研究背景、项目意义和目前的研究与应用现状,明确了论文研究的内容和主要工作；接着进行业务分析,通过对传统执法方式的原有业务流程的分析给出了改造后的业务流程；然后进行功能分析,把系统划分为事件上报、事件处理、事件统计、执法督查、巡查监管和系统管理等子模块,通过对这些子模块进行用例分析和用例描述,给出了系统的总体功能包图和子功能包图；然后在数据分析中,论文对系统各功能模块所需要处理的数据进行了分析,给出了实体类关系图,建立了数据库表结构；论文最后对所做的研究与分析工作进行了总结,并对进一步的工作进行了展望。

关键词： 结构化岗位   业务单元   海氏岗位评估  

摘要： 岗位价值评估是薪酬设计的重要组成部分,它是指根据岗位所需技能、职责大小、工作复杂程度、重要性等因素对岗位进行综合评价,确定岗位在组织内相对重要性和排序的过程。岗位价值评估在薪酬管理中主要有以下几个作用:一是确定组织机构中的岗位序列和重点岗位;二是明确工资发放是为岗位价值付酬,使工资政策具有连续性;三是通过把工作的内在价值和市场工资水平、工作性质、组织机构需求联系起来,合理地对人力资源进行有效分配。