教学课程资源库 更多>>

关键词： 振扬石油公司   油库库存管理   信息系统   需求分析   UML建模  

摘要： 中山市振扬石油有限公司油库库存管理中存在库存入库出库管理业务不规范不科学,油库库存管理效率低下,对油库库存量管理实时性欠佳,在油库调拨调度过程中,缺少科学的调拨调度数据以及调拨调度算法作为油库调拨调度决策的基础等问题。本文在上述问题的基础上提出了中山市振扬石油有限公司油库库存管理系统的研究与分析,希望通过本文系统,为解决上述问题提供基础的研究工作,同时促进振扬石油有限公司油库库存管理的信息化水平。论文基于中山市振扬石油有限公司油库库存管理的实际情况,介绍了油库库存管理系统的研究背景、项目意义和目前的研究与应用现状,明确了论文研究的内容和主要工作。在业务分析中,论文对中山市振扬石油有限公司油库库存管理系统存在的问题、组织机构、原有业务流程等进行了分析,本文原有业务流程包括油库入库管理、油库出库管理、仓库作业管理、库存调拨调度以及库存数据管理业务流程,论文在原有的业务流程基础上对业务流程进行了再造,对引入系统后的再造业务流程进行了建模分析。在功能分析中,论文通过用例分析和用例描述,明确了中山市振扬石油有限公司油库库存管理系统的功能,给出了系统的总体功能包图,包括油库入库管理、油库出库管理、仓库作业管理、库存调拨调度、库存数据管理以及系统管理等。在数据分析中,论文对中山市振扬石油有限公司油库库存管理系统各功能的所需要处理的数据进行了分析,通过缩略图的形式对系统的核心功能的数据需求进行了分析,并且给出了中山市振扬石油有限公司油库库存管理系统数据库的实体类关系图,建立了数据库表结构。论文最后对本文所做的研究与分析工作以及不足之处进行了总结,并对进一步工作进行了展望。

关键词： 住院医师规范化培训   组织管理   UML建模   数据建模  

摘要： 在我国,住院医师的规范培训一直是医学生毕业后教育的重要组成部分,对于培训临床高层次医师,提高医疗技术保障医疗质量极为重要。在医学终生教育中占据了承前(医学院校基本教育)启后(继续医学教育)的重要地位,是医学临床专家形成过程的关键所在。 随着住院医师规范化培训的不断发展,已经有越来越多的住院医师和相关医疗单位参与到培训中来,住院医师规范化培训的规模也随之不断发展壮大。以前通过人工和半人工管理培训的办法,已然无法跟上时代发展的脚步,因此亟需一个科学的、完整的管理系统来适应当前住院医师规范化培训的需求,方便学员参加培训和各管理部门进行学籍管理、考试报名、考务管理、成绩管理和合格证管理,同时还能提升管理部门的工作效率,实现信息的电子化管理。 论文中首先对目前的住院医师规范化培训组织管理的背景进行介绍,分析组织管理遇到的问题以及这个课题的研究意义和研究目标。接着对规范化培训组织管理系统和具体业务进行需求分析,了解业务功能,采用例图的模式对系统的功能进行分析,并且给出系统的数据需求。接着对系统功能进行详细设计,包括总体设计和模块设计,内容如下：1、管理系统中人员管理、培训组织管理、单位机构管理、新闻公告管理等几个模块的设计；2、对上述模块进行详细设计,给出每个模块包图、类图和顺序图,并且根据这些内容对所涉及到的核心流程图进行设计,并且对软件所使用的数据库进行设计,给出实体类图、E-R图以及相关数据表格； 最后,对论文研究内容进行归纳,总结出主要研究工作以及论文存在的不足,并且对下一步工作进行展望。

关键词： 公文管理   UML建模   发文管理   收文管理  

摘要： 近年来,鹤山市委市政府高度重视教育的发展,不断加大教育投入,不断完善学校的办学条件,教育质量稳步提高,有力促进教育现代化的发展。但在教育公文管理方面未能得到同步发展,还比较落后,难以适应教育现代化的发展需要。因此,有必要开发一套功能更完善、性能更好、安全性更强的公文管理系统,促进教育系统内部信息交流和信息资源的共享,强化部门和学校业务管理,实现公文管理现代化,全面提高工作效率。 论文介绍了鹤山市教育系统公文管理系统的研究背景、项目意义和目前的研究与应用现状,明确了论文研究的内容和主要工作；在业务分析中,论文对系统存在的问题、组织机构、原有业务流程等进行了分析,给出了改造后的业务流程；在功能分析中,论文通过用例分析和用例描述,明确了系统的功能,给出了系统的总体功能包图和子功能包图,包括发文管理、收文管理、公文借阅、公文归档、公文查询等子包图；在数据分析中,论文对系统各功能的所需要处理的数据进行了分析,给出了实体关系图,建立了数据库表结构；论文最后对所做的研究与分析工作进行了总结,指出一些不足之处,并对进一步的工作进行了展望。

关键词： 信息化   校企合作   信息管理系统   UML建模  

摘要： 高等职业教育的最大特点是注重学生实践能力的培养,为此,各高等职业院校与企业存在着广泛的合作关系。通过学校与企业之间的合作,一方面增强学生的学以致用的能力,另一方面,建立学生与企业之间的双向选择通道。本课题研究,针对江西制造职业技术学院的校企合作现状,探讨信息技术在校企合作管理中的应用,以期通过项目研究,实现校企合作工作的信息化。 论文介绍了校企合作信息管理系统的研究背景、研究意义和目前的研究与应用现状,并明确了课题研究内容和主要工作；在业务分析中,介绍了项目应用单位的组织结构和当前存在的问题,’同时给出了原有业务流程分析,并且,针对原有业务流程的缺陷,对其进行了再造；在功能分析中,通过用例分析和用例描述,明确了系统功能,给出了系统的功能包图,包括岗位信息发布、实习岗位申请、企业培训、实习监督、实习测评的子包图；在数据分析中,论文针对系统的各个功能,对各自需要处理的数据进行了分析,并给出了系统的实体类关系图和数据表结构；论文在最后对研究和分析工作进行了总结,并指出后期进一步需要处理的工作。

关键词： 高速列控系统   系统理论   安全分析   形式化方法   时序逻辑  

摘要： 高速列车运行控制系统(简称高速列控系统)是高速铁路的核心技术和关键装备,对于确保高速列车运行安全和运输效率起着重要的作用。一旦高速列控系统出现问题,将有可能造成行车中断,甚至是车毁人亡的严重后果。为保障高速列控系统的安全性,必须采用科学、有效的安全分析方法在系统生命周期的各个阶段分别对系统危险进行分析、控制。其中,在生命周期的早期阶段——系统需求阶段——实施系统危险分析,是系统安全设计和安全评估顺利进行的重要前提,对于保障高速列控系统的安全性具有重要意义。然而,随着计算机、通信以及控制技术的发展,融合这些技术为一体的高速列控系统拥有比传统的列控系统更加复杂的功能和交互关系,其行为的时序性和混成性也更加突出,这都给系统安全分析带来了极大的挑战。 论文针对需求阶段的高速列控系统安全分析问题,提出基于STPA (System-theory Process Analysis)的高速列控系统安全分析方法。其中,在深入研究高速列控系统行为时序规律的基础上,定义了控制行为时序逻辑(Control Action Temporal Logic, CATL),并论证了CATL逻辑的约简法则,将其引入基于系统理论的危险分析过程中；提出控制关系模型的形式化描述语言以及不恰当控制行为求解算法,为系统危险致因机理及演化规律的分析提供了更加科学、有效的方法；论文进一步研究了需求阶段的高速列控系统中的控制缺陷类型,提出功能失效描述符号(Function Failure Description Notation, FFDN)、形式化模型整合算法以及控制缺陷辨识方法,更加准确、高效的辨识了系统危险的根本致因。 论文的主要创新点如下： (1)针对高速列控系统及其系统需求规范的特点,提出多种方式相结合的安全分析模型构建方法,即采用分层控制框图、UML状态图、过程模型图以及功能列表等相结合的方式对系统分层控制结构进行描述,有助于分析人员更加准确的刻画系统需求规范所描述的系统。 (2)针对高速列控系统中控制行为的时序特征,提出控制行为时序逻辑CATL。利用该逻辑对高速列控系统中控制行为的时序关系进行形式化描述。提出并证明了控制行为时序逻辑的约简法则,利用约简法则可将复杂的CATL逻辑表达式化简为等价且简单的逻辑公式组合,有助于对实际控制行为的分析。 (3)针对高速列控系统中控制行为的各类关系,提出控制关系模型CARM并给出其形式化语法和语义,利用该模型实现高速列控系统中控制行为关系的描述。提出不恰当控制行为求解算法,实现对高速列控系统中不恰当控制行为及其时序关系的分析。 (4)针对需求阶段的高速列控系统中的控制缺陷,提出形式化的功能失效描述符号FFDN,实现对功能模块失效情况的形式化描述。提出模型整合算法,根据该算法实现系统正常行为模型和故障模型的整合。利用成熟的形式化工具实施危险致因分析,在一定程度上减少分析过程的主观性。 论文最后以中国列车运行控制系统3级(Chinese Train Control System Level3, CTCS-3)的典型工作场景为例,采用本文所提方法分析研究案例的不恰当控制以及控制缺陷,得到了系统危险的直接致因和根本致因。其中,根据不恰当控制行为得出的安全约束,为系统需求规范的完善提供了依据,而辨识出的控制缺陷,则是安全需求规范形成的前提和必要条件。

关键词： 办税服务厅   系统分析与设计   UML建模   预约管理   地税部门  

摘要： 中小企业是地税部门的主要服务对象,其办税意识和能力都存在严重不足,造成办税服务厅办税效率不高和纳税人办税难等突出问题。随着地税部门在线办税功能的深入应用,将办税服务厅的现场办税与线上办税相结合对于改善服务质量有重要意义。 办税服务厅管理系统以精细化为基本手段,一方面通过集成在线预约与线下办税来构建灵活的多渠道服务系统,另一方面基于办税记录、纳税人特征和窗口人员能力优化预约机制。通过高质量互动和实施监控预警达到提高办税服务厅办税效率、减少办税人等待时间和降低办税失败率的目标,推动税务部门信息系统向精细化和智能化发展。 本文主要利用服务领域排队理论和基于位置服务研究办税服务厅预约体系的建设,并且基于综合数据分析的精细化排队系统,并采用面向对象方法初步完成办税服务厅管理系统的分析、设计与开发。 首先,介绍地税部门办税服务厅的运作现状,分析办税服务厅向服务组织转换和精细化运作的必要性,探讨将在线预约机制用于排队系统的意义和可行性。 接下来,分析了系统采用的主要技术和相关理论,简要介绍预约机制的算法和基于位置服务技术的应用方式,以及系统开发中使用的框架和编程环境。 第三,遵循面向对象的开发方法完成了办税服务厅管理系统的分析、设计和实现。在开发过程中以软件工程思想为指导,利用UML建模技术建立了系统的用例模型、静态模型和动态模型。除了分析系统的可行性、需求描述和运行平台,还描述了系统各功能模块的详细设计,并且完成了数据库设计。 最后,采用***基本实现了系统的主要功能,并且以惠安地税为例测试了系统的主要功能模块。结果表明系统取得了良好的效果,办税服务厅的办税效率和纳税人满意度都有明显改善。

关键词： 信息系统   功能建模   数据库建模   结构化设计  

摘要： 本文以黔西南州交警支队道路交通违法管理为背景,以结构化分析方法为研究基础,研究与分析道路交通违法管理系统,以实现交通违法信息处理的系统化、规范化、自动化,达到提高处理违章信息效率的目的。 首先,论文介绍了该项目的研究背景和目前同类系统研究与应用现状,阐述了本文研究的内容；采用软件工程的原理和方法,对系统进行了需求分析。在业务分析中,论文对系统存在的问题、组织机构、原有业务流程等进行了分析,给出了改造后的业务流程；在功能分析中,论文通过数据流分析和数据字典,明确了系统的功能,给出了系统的总体功能架构和各功能模块的结构,包括数据采集、审核及发布、违法处理、违法消除、综合查询、系统管理等功能模块；在数据分析中,论文对系统各功能所需要处理的数据进行了分析,给出了E-R图,建立了数据库表结构；论文最后对所做的研究与分析工作进行了总结,并展望了进一步的工作。

关键词： 无穷维Hamilton正则系统   无穷维Hamilton算子   高阶微分方程   代数升维法  

摘要： 如今,高阶微分方程已然成为了进行科学研究的最重要手段之一,即通过建立符合现实意义的方程来获得我们所需要的变量,高阶微分方程的求解及其相关性质的探讨成为了至关重要的问题.目前,在物理、力学、数学等科研领域,微分方程的Hamilton形式,由于其具有良好的对称性,为方程的求解和性质的探讨带来了极大的便利,成为了一种很受欢迎的形式.故将高阶微分方程化为相应的Hamilton正则形式,再进行求解,也成为了求解高阶微分方程的一种重要方法.Hamilton形式主要分为两类,无穷维Hamilton形式和有限维Hamilton形式.本文在前人的基础上,主要针对高阶微分方程的无穷维Hamilton正则形式进行研究,用两种方法探讨了如何将高阶微分方程化为无穷维Hamilton正则形式,在每一种阐述的方法中根据Hamilton算子和方程的阶数进行了简单分类讨论,并给出具体的有效算例,验证了结果的有效性.第一章,首先罗列了文献中常见的几种Hamilton正则形式定义,简要阐述了其发展历史及其研究现状,并简单介绍了近些年有关Hamilton形式研究的一些新的结论和进展;其次对本文的研究对象进行了简单介绍,罗列了本文将涉及到的一些基本概念和计算法则.最后简单介绍了一下本文的主要工作.第二章,对特殊四阶和六阶微分方程的Hamilton正则形式进行了探讨,给出并证明了符合一定条件的四阶和六阶微分方程所对应的Hamilton正则形式,通过一些有效算例验证了方法的有效性和正确性.该方法虽机械,但在一定程度上简化了某些类方程的Hamilton正则形式的求解.另外,通过本章的方法所求出来的Hamilton正则形式与其它方法求出来的不同,扩大了微分方程Hamilton形式的类型.第三章,对原有求Hamilton正则系统的代数升维方法做了进一步的理解,探索了针对一些类型的特殊Hamilton矩阵算子的设定,以及在这些Hamilton矩阵算子设定下,与之相适应的微分方程的类型,并给出具体有效的算例.该方法一定程度上简化了某些类型微分方程Hamilton正则形式的求解.第四章,对本文进行了简要总结,分析了本文的不足和接下来需要继续进行研究的方向.

关键词： 教学质量评估   面向对象分析   业务流程重组   UML建模  

摘要： 教学质量是衡量学校办学水平的重要指标之一,提高教学质量管理,有利于及时发现教学过程中存在的问题并逐步改善,指导授课教师的教学方法,增强教师与学生之间的互动,便于及时了解学生的学习情况,了解教师教学的水平,并帮助教师找出教学活动中存在的不足,为教师提供学习的方向,积累教学经验。 宜春职业技术学院教学质量评估系统的研究与分析论文介绍了宜春职业技术学院教学质量评估系统管理系统的研究背景、项目意义和目前的研究与应用现状,明确了论文研究的内容和主要工作,并运用软件工程技术和面向对象的分析方法对业务进行了分析。在业务分析中,给出了现有主要管理业务过程的的流程图,明确了现有业务流程存在的问题,通过业务流程再造,重构了主要业务电子化改造后的业务流程；在功能分析中,论文进行了用例建模,给出了用例图和用例描述,明确了系统的功能。在功能分析的基础上,给出了系统的总体功能架构和各功能模块的结构,包括学生评教管理、教学信息反馈管理、同行评教管理、指标问卷管理、基础信息管理、系统管理等功能模块；在数据分析中,论文对系统各功能所处理的数据进行了分析,给出了实体类关系图,描述了数据库表的基本结构。 论文最后对所做的研究与分析工作进行了总结,并对进一步的工作进行了展望。

关键词： 形式化方法   模型检验   Timed CSP   TTCAN   AUTOSAR  

摘要： 随着科学技术及汽车工业的快速发展,围绕汽车电子开展的研究越来越多。为了实现汽车上各种复杂的电子设备之间信息的快速、安全传输,人们研究出诸如CAN、TTCAN、LIN、FlexRay等汽车内部网络通讯协议。而汽车开放系统架构AUTOSAR (AUTomotive Open System ARchitecture)的提出则为高效管理愈来愈复杂的汽车电子、网络系统提供一个基础。本文对TTCAN协议及AUTOSAR规范进行分析,并运用形式化方法对TTCAN协议及基于AUTOSAR的TTCAN协议建模,然后根据规范对模型关键性质进行验证。对于TTCAN协议,分别从系统矩阵、节点消息传输、总线仲裁和错误处理四个主要方面进行形式化描述,建立四个模块以及模块之间消息通信的详细模型。对基于AUTOSAR的TTCAN协议则主要在TTCAN协议模型的基础上,根据规范将TTCAN协议模型迁移到AUTOSAR,建立包含软件组件、运行时环境和基础软件三个层次的模型。其中,软件组件实现TTCAN协议模型中系统矩阵的功能,为系统提供消息传输请求的列表；运行时环境为上下层之间的通信提供了虚拟总线的功能,包含了多种接口以供上层模块调用底层通信服务,是对TTCAN协议模型通信通道的抽象；基础软件包含TTCAN协议模型中的节点消息传输、总线仲裁和错误处理模块。模型的建立以Timed CSP为基础,并利用工具PAT实现。同时根据TTCAN协议及AUTOSAR规范的相关需求,提取了包括无死锁性、安全性、不变性及公平性在内的四种类型的性质。提取的性质由LTL公式及断言描述,并在模型验证工具PAT中进行了验证。通过形式化方法对TTCAN协议及基于AUTOSAR的TTCAN协议进行建模与验证,对提高TTCAN协议安全性与实时性有一定的促进作用。同时,建立基于AUTOSAR的TTCAN协议模型可以增强对汽车电子系统架构的理解,为以后分析其它汽车内部网络通讯协议,基于模型开发等研究工作打下基础。