教学课程资源库 更多>>

关键词： 公租房   租赁   需求分析   UML建模  

摘要： 近几年来,计算机技术和网络技术已经应用昆明市公共租赁住房开发建设管理有限公司日常工作中,使得昆明市公共租赁住房开发建设管理有限公司日常工作管理正朝着自动化、智能化、科学化、规范化方向发展。本论文是在公共租赁住房管理的基础上,结合公共租赁住房的实际特点,充分考虑各种因素之后,设计实现了一套适合于公共租赁住房管理系统,设计实现的公共租赁住房管理系统为昆明市公共租赁住房开发建设管理有限公司管理工作提供了强有力的保障,实现公租房管理的信息化、科学化、规范化。本论文主要介绍了公共租赁住房管理系统的背景、国内外研究现状、主要内容和主要工作、同时分析了论文的结构；在业务分析中,主要介绍公共租赁住房管理系统的业务分析,包括系统业务描述、原有业务流程分析和业务流程优化；在功能分析中,主要介绍了公共租赁住房管理系统的功能分析,包括申请审核管理用例、选房管理功能用例、合同管理功能用例、租赁管理功能用例、基础数据管理用例和系统管理用例；在数据分析中,介绍了公共租赁住房管理系统的数据分析,包括申请审核管理包图、选房管理功能包图、合同管理功能包图、租赁管理功能包图、基础数据管理包图和系统管理包图；最后对公共租赁住房管理系统进行了总结,同时对其进行了展望。

关键词： 中山一中   干部绩效考核   信息系统   需求分析   UML建模  

摘要： 随着时代的发展,人才的重要性愈发凸显。人力资源管理理论和实践研究愈发受到人们的重视,绩效管理逐渐运用到各行业。绩效考核是我国各学校衡量教职工工作业绩的主要依据,作为承担学校管理工作的行政干部人员,他们素质和能力的高低直接影响到学校的发展,行政干部绩效考核工作是成为学校管理的重要任务。因此必须全面加大力度改善行政干部的考核,为此,我们要培养一支综合素质高、管理效果好的行政干部队伍,这也是培养优秀行政干部的必要条件,而这个必要条件不但可以提高行政干部的管理水平,而且能增强行政干部之间的竞争力,更有利于行政干部发挥其自身的内在动力,更好地促进工作的开展。所以实施行政干部绩效考核管理的信息化是学校绩效管理的重要组成部分。本文从中山市第一中学的实际出发,研究并分析行政干部绩效考核管理系统首先对行政干部绩效考核管理系统的原有业务流程进行了分析,并分析出优化的业务流程；通过分析和描述系统的用例,明确了系统的功能,勾画出了系统的总体功能包图和子功能包图,主要包含绩效考核指标管理、政务督办考核管理、业绩考核管理、教职工评议管理、考核结果查询统计、干部奖惩管理、基础数据管理和系统管理八个子包图；通过对数据库表结构和实体类关系图的分析对系统各功能所涉及的数据进行分析。通过本系统的分析,能够使我校行政干部人员绩效考核进一步规范化、制度化和科学化,能够对中层行政人员履职尽责情况进行检查和评定,以此来达到对中层行政干部管理与监督、激励与约束的目的。为了加快高中行政管理科学化的步伐,同时增强行政人员的工作积极性,形成合理、公开、公正、有效的的考核评价机制。本文还研究分析和总结了学校行政干部绩效工作,并对未来工作进行了展望。

ISBN: (纸本)9787518204830

关键词： 城市管理   信息系统   UML建模   需求分析   数字城管  

摘要： 本文以宁波市镇海区城市管理为研究对象,为其设计了一套科学符合其需求的城市管理信息系统以提高城市管理效能,更好的服务于当地人民群众。实现城市信息化管理是运用现代管理技术和信息工程等技术,整合管理资源,重构和优化现有的城市管理环节,实现对城市的管理长效机制城市管理新模式。论文首先介绍了宁波市镇海区城管信息系统的项目意义、研究背景和现今的该领域的趋势,定下了本文研究的主要内容和方向：在城管业务需求分析中,本文对当前的管理模式的组织机构、现存的不足、原有流程的弊端等做了总结和研究,经过反复的研究和讨论得出了新的城管业务流程；本文通过经典的UML理论既用例图勾画了了本项目的主要的需实现功能,从而进一步得出了系统的总包图和各类子包图,包图有道路交通、公用设施、基础数据、市容、突发事件、系统、查询统计等构成：在数据的分析中,本文从缩量类图、实体关系类和数据表项展开,既有大的也有细的,比较详实；总结了本文所做的工作项,指出了现存的弊端,为日后的进一步研究打下基础。

关键词： 刑事办案   拘留   起诉   信息系统   UML建模  

摘要： 随着当前我国改革开放和经济建设的深入发展,公安系统的执法环境越来越严峻,公安执法办案的要求也越来越高,利用现代化信息技术已迫在眉睫。论文介绍了遵义市公安局刑事办案管理系统的项目背景、概括叙述了刑事办案管理系统的研究意义和深入研究了遵义市公安局刑事办案管理系统目前的应用研究现状,明确了所做的主要工作和论文研究的内容；在刑事办案管理系统的业务分析中,论文采用组织结构图展示出了组织结构分析,采用业务流程图展示出了原有业务流程分析,采用了流程优化图展示出了优化的业务流程；在刑事办案管理系统的功能分析中,论文通过用例分析和用例描述,明确了刑事办案管理系统的功能,展示出了刑事办案管理系统的总体功能包图和子功能包图,包括：监视居所管理、刑事拘留管理、取保候审管理、逮捕管理、移送起诉管理、释放管理、系统基础数据管理、系统管理；在数据分析中,对刑事办案管理系统中各个控制类所依赖的实体类进行分析,展示出了实体类关系图,并设计出相关数据库表,完成了对数据库的建模。论文末尾,对所做的工作进行了总结,并展望了未来的工作。

关键词： 图书馆信息系统   信息系统   需求分析   UML建模  

摘要： 论文介绍了遵义师范学院图书馆管理系统的项目背景、概括叙述了遵义师范学院图书馆管理系统的研究意义和深入研究了遵义师范学院图书馆管理系统目前的应用研究现状,明确了所做的主要工作和论文研究的内容；在遵义师范学院图书馆管理系统的业务分析中,论文采用组织结构图展示出了组织结构分析,采用业务流程图展示出了原有业务流程分析,采用了流程优化图展示出了优化的业务流程；在遵义师范学院图书馆管理系统的功能分析中,论文通过用例分析和用例描述,明确了遵义师范学院图书馆管理系统的功能,展示出了遵义师范学院图书馆管理系统的总体功能包图和子功能包图,包括：采编管理、典藏管理、流通管理、剔旧管理、期刊管理、文献检索管理、基础数据管理、系统管理；在数据分析中,对遵义师范学院图书馆管理系统中各个控制类所依赖的实体类进行分析,展示出了实体类关系图,并设计出相关数据库表,完成了对数据库的建模。论文末尾,对所做的工作进行了总结,并展望了未来的工作。

关键词： 软件动态更新   形式化方法   模型检验  

摘要： 软件系统的更新是不可避免的。通常这些更新是通过离线方式完成的。离线更新需要先关闭系统,在安装新版本后,重启系统,因此离线更新会给系统带来较长时间的干扰和中断。在例如金融事务处理系统等关键性场景中,服务是不能被长时间中断的。因此,离线更新不适用于这些场景。同时离线更新在日常应用程序系统如Windows中带来的频繁干扰也是很恼人的。所以,我们需要一种在运行时刻更新软件系统的技术,即软件动态更新。因为软件动态更新需要将运行中的旧版本系统状态映射到新版本中,即使是新旧版本都正确的情况下,它仍可能会导致离线更新不会引发的错误,所以它并没有被广泛应用。形式化方法是保证软件动态更新正确性的一种主流方法。但是已有的形式化方法有一些不足,有的只考虑了模型本身的信息而没有考虑用户提供的规约,这样太过于宽松以至于不能保证正确性；有的方法把系统看作白盒,对系统内部实现的状态迁移进行规约,带来过度规约的问题；还有的工作仅仅考虑了静态分析的信息,虽然能够保证软件动态更新的正确性,但是太过于保守。为了解决这些问题,本文做了如下工作：1.提出一个软件动态更新的形式化框架。这个框架的与以往工作不同之处在于该框架使用了显式化的环境模型以及基于事件的角度。这两个特点可以使得我们在一个更加抽象的层面来定义软件动态更新及其正确性。这样可以避免过度规约的问题,允许更加灵活的软件动态更新。2.基于上述框架,我们提出一个基于运行时刻监视器的乐观软件动态更新方法。不同于以往的仅仅使用静态信息的保守悲观软件动态更新,我们结合运行时刻的监视器获得的运行时刻的信息与静态分析的结果,提出了一个乐观的方法,使得在保证正确性的前提下,提高软件动态更新的时效性。进一步,我们给出了一个自动合成该监视器的算法。3.对软件动态更新的平滑性进行了初步研究。我们不仅想要保证软件动态更新的正确性,更希望能够软件动态更新能够有更高的质量,保留已有的适用于新版本的计算结果。这样可以使得在更新之后,不需要在重做或者补偿上面付出额外的开销。

关键词： 税务稽查管理   信息系统   需求分析   UML建模  

摘要： 随着社会信息化进程的加快,传统的手工办公已经不能够满足人们的要求,高效率、低成本、管理过程既规范又科学的信息化管理方式已成为各大企业单位的办公的必然趋势。如何利用有限的资源对庞大的信息进行科学的、规范的、准确的、高效的管理是东莞市税务稽查管理部门所要面临的主要问题。论文介绍了东莞市税务稽查管理系统的相关背景,针对系统的业务需求、功能需求、数据库部分进行分析,并利用面向对象的方法对系统进行UML建模。第一章是论文的引言部分,介绍了东莞市税务稽查管理系统的项目背景和本人的主要研究内容：第二章是系统的业务分析部分,介绍了业务的原有业务流程,并给出了优化后的业务流程；第三章是系统的功能分析部分,利用用例图、包图、类图等对系统的功能进行分析；第四章是系统的数据分析部分,通过数据库建模对系统的底层支持数据进行分析,最后一章对本文所做的工作进行总结,并对下一步的科研工作进行了展望。

关键词： 困难生资助管理   信息系统   需求分析   UML建模   数据库  

摘要： 随着社会的进步和计算机技术的发展,传统的手工操作实现的事务显现出弊端：效率低、成本高、准确率低等,而传统事务的流程化特点符合软件工程建模特征,通过研究与分析实现系统的线上操作,有利于减轻人工操作的复杂度,提高事务的运作效率,可谓一举多得。金华职业技术学院困难生资助管理工作一直是学校重点关注的焦点,是我校重点扶植的项目和工作重点,并在政策上提供了帮助。由于历史遗留的原因,现有的学生困难生工作完全由手工完成,一方面不利于教职工的实际操作,效率低下,容易出错,影响学生贷款、困难补助发放的进度；另一方面,手工操作不符合二十一世纪信息化高校建设。为此提出了对困难生资助管理系统抽象完善提供完整的软件工程设计。文章首先提出了困难生资助管理系统在国内外的研究,分析存在的可能性和实现的效果；其通过研究与分析抽象出传统困难生资助管理系统的业务,利用学习软件工程方法提取其中的关键业务和流程,补充一部分现有困难生管理业务中缺乏的业务,如助学岗位管理、资金发放管理等；随后对业务进行分析,针对业务绘制出原始业务流程图,并对原始业务流程图优化,完成了主要业务后对业务功能进行分析,确定系统使用的角色；再者,对数据流进行分析,绘制一层和二层数据流图。文章的主要业务包括五个模块,分别是资助申请、助学岗位管理、学生考核管理、资金发放、基础信息管理等模块；然后,对业务结构分析,绘制结构图,对数据实例化,得到系统数据库表联系。最后,文章对上述流程做出总结,提出了改进的地方,并对未来工作做出展望。作者根据软件工程理论对现有的业务抽象和需求分析,提出了改进方法,结合理论和实际提出了可行性方案,具有一定的实际操作价值。

关键词： 概念设计   功能表示   功能动作   功能对象   功能本体   设计模块检索  

摘要： 为预期的功能寻找可行的设计模块是概念设计阶段的重要任务之一。目前,技术产品的设计日趋复杂,设计技术产品所需要的知识也趋向跨学科化,这使得设计员在开展创新设计时常常会因为自身教育背景、跨学科知识缺乏等原因而面临更多的挑战,解决上述问题的一个有效途径是借助计算机辅助概念设计系统开展工作。在计算机辅助概念设计研究中,为了能使计算机辅助概念设计系统准确的识别和处理设计模块所包含的功能知识,需要对设计模块的功能进行结构化、规范化的表示,这也是开展以功能表示为基础的设计模块检索、设计综合等工作的前提。为此,本文研究了一种面向跨学科概念设计的结构化、规范化的功能表示方法,并以此为基础研究了基于功能表示的设计模块检索方法。具体包含以下几个方面的工作。一、跨学科概念设计的功能表示方法。本文在澄清功能概念及分类的基础上,提出了以功能动作和功能对象为核心的跨学科概念设计功能表示方法,并进一步明确了功能动作和功能对象的表示方法。同时,针对对象转化型、过程转化型和对象关系转化型三种类型的功能,提出了与之对应的功能表示形式,实现了功能表示的结构化。二、跨学科概念设计功能表示本体库。本文以本体论为指导,通过对功能动作、功能对象及其“属性-属性值”的收集、处理、匹配和分类,初步建立了功能动作本体库和功能对象本体库,实现了功能表示的规范化。三、基于功能表示的设计模块检索方法。本文在结构化、规范化功能表示的基础上,提出了以功能动作和功能对象为核心的基于功能表示的设计模块精准检索方法,并设计开发了相应的算法,实现了基于功能表示的检索。四、计算机辅助功能知识建模和检索系统与跨学科概念设计模块知识库。本文以上述理论研究为指导,设计开发了包含功能动作管理、功能对象管理、功能知识建模和设计模块检索等子系统的计算机辅助功能知识建模和检索系统,实现了对功能动作、功能对象和功能知识的管理,以及基于功能表示的设计模块检索。此外,初步建立了具有一定规模的跨学科概念设计模块知识库。五、实例研究。本文以智能大棚/温室中的空气温度/湿度采集与控制系统为例,验证了所提出的跨学科概念设计功能表示和检索方法的理论,结果表明,本文提出的方法具有可行性和一定的创新性。