教学课程资源库 更多>>

关键词： 形式化方法   软件架构   架构视图   REST   SA-REST   Mashup  

摘要： REST架构自2000年由Fielding在其博士论文中提出后,近十数年得到了广泛的展,因此遵循REST架构风格的服务和应用的数量正以极快的速度在增加。但是Fielding指出目前有部分声称是RESTful的服务并不完全符合REST的约束,REST架构被误用一定程度上是因为缺少对其的形式化研究。本文用形式化的方法,并将REST架构从三个视图：过程、连接器、数据分别进行建模和分析,三个视图分别对应REST的三种架构元素：组件、连接器、数据。利用多视图不仅能够给出更精确更完整的架构描述,还提高了模型的可读性及可扩展性。本文的模型在PAT中实现并验证了REST六条基本约束,且利用多视图的优势,着重分析验证了REST无状态性与应用状态及资源状态之间的关系、统一接口与统一方法之间的区别,以及超媒体驱动等性质。随着语义网的发展,REST结合语义后出现了SA-REST。通过给REST添加语义注释的方法,如添加RDF (Resource Description Framework)三元组,可以得到能够被机器理解和调用的SA-REST。在Mashup中利用SA-REST,可以使Mashup的性能和智能化得到大幅提升,称其为SMashup。本文介绍了SA-REST,并且用形式化方法研究了SMashup。通过用CSP语言建模和PAT工具实现验证,主要分析了SMashup中服务链的特性、服务糅合过程中的数据仲裁过程、添加语义后输入输出流的性质等。

关键词： 党务管理   业务分析   UML建模   数据库建模  

摘要： 论文介绍了党务信息系统的研究背景、项目意义和目前的研究与国内外应用现状,明确了论文研究的内容和主要工作。其中在业务分析中,论文对党务信息系统存在的问题、组织机构、原有业务流程等进行了分析,给出了改造后的业务流程；在党务信息功能分析中,论文通过用例分析和用例描述,明确了系统的功能,明确了党务信息管理信息系统的各模块的功能,给出了系统的总体功能包图和子功能包图,包括党务公布子功能包图、人员信息管理子功能包图、组织关系管理子功能包图、监督管理子功能及系统管理子功能包图。而在数据分析中,论文对系统各功能的所需要处理的数据进行了分析,给出了实体类关系图,建立了数据库表结构。论文最后对所做的研究与分析工作的几个方面进行了总结,并指出了论文的不足之处以及未来的改进工作进行了展望。

关键词： 东莞寮步镇   财务公开管理   信息系统   需求分析   UML建模  

摘要： 伴随着改革开放,经济的发展迅速,东莞市财政局寮步分局踊跃接受中央的号召,坚持以民为主,大力加强经济的发展,不断振兴市场。同时,随着社会不断迅速地发展,东莞市财政局寮步分局的财政支出范围也在不断扩大,人力资源恐怕较难满足日益增长的需求,财务局管理部门面对日常管理方面责任重、难度大的问题,每一次支出记录都需要的组织程序非常复杂,时间成本花费过高。在这样的情况下,我选择财务管理信息系统作为本次论文的题目,以此促进财务局的信息化建设,激起财务局工作人员的勇于学习信息技术的热情,提高财政局全体工作人员的信息化素养。通过对东莞市寮步镇财务公开管理信息系统的探讨和分析,使得东莞市寮步镇财务局平时的财务管理工作形成了一个稳定的系统化流程,以此来增强东莞市寮步镇财务局的公务质量和提高工作人员的工作效率,同时促进东莞市寮步镇财务局信息化建设,激起东莞市寮步锁财务局工作人员热衷的学习信息技术,促进财政局全体工作人员的信息化素养 对国内外的研究和应用现状的研究探讨后,完成了东莞市寮步镇财务公开管理信息系统的需求分析。在这次论文的业务分析中,对系统存在的问题、组织机构、原有的业务流程等进行了分析,作出了完善后的业务流程；在功能分析中,论文通过了用例分析和用例描述,明确了系统的功能,作出了系统的总体功能包图和子功能包图,包括了支出管理、收入管理、公开公示管理、系统管理、基础数据管理、反馈建议管理六个子包图；在数据分析中,论文对东莞市寮步镇财务公开管理信息系统各功能所需要处理的数据进行了分析,作出了实体类关系图,并建立了数据库的表结构。论文最后对研究的内容进行了总结,阐述了本人的主要工作,指出了论文存在的不足,并对进一步的工作进行了展望。

关键词： 银行理财   客户管理   信息系统   需求分析   UML建模  

摘要： 本文以建设银行宁波分行理财业务为研究对象,为其设计了一套科学符合其要求的面向理财用户的理财客户系统以促进其理财业务的不断发展。论文介绍了建行宁波分行客户理财系统的研究背景、项目意义和目前的研究与应用现状,明确了论文研究的内容和主要工作；在业务分析中,论文对系统存在的问题、组织机构、原有业务流程等进行了分析,给出了优化后的业务流程；在功能分析中,论文通过用例分析和用例描述,明确了系统的功能,给出了系统的总体功能包图和子功能包图,包括理财规划管理、产品销售管理、售后服务管理、系统管理、基础数据管理、查询统计和用户提醒等子包图；在数据分析中,论文对系统各功能的所需要处理的数据进行了分析,给出了实体类关系图,建立了数据库表结构；论文最后对所做的研究与分析工作进行了总结,并对进一步的工作进行了展望。

关键词： 劳动仲裁管理系统   仲裁申请   案件受理   UML建模  

摘要： 随着经济的快速发展,企业也出现了遍地开花的景象,这现象给中国经济的进步产生了非常重要的影响。与此同时也因为就业人数的不断快速增加,一些不法的用人单位也渐渐出现,用人企业与劳动者之间的争议无法避免地发生,劳动争议仲裁委员会就是为了处理这种争议而存在的,它的存在主要是为了维护劳动者的权益。劳动仲裁主要是指劳动委员会就当事人申请的劳动争议进行仲裁,在查明事实,分清责任的基础上进行公断和裁决的一项活动,这是当事人向人民法院提起诉讼的必要过程。劳动仲裁作为处理劳动纠纷的有效方法,是我们构建社会主义和谐社会的一个重要组成部分。论文首先详细对劳动争议仲裁管理系统的主要研究背景、项目意义以及目前的应用现状进行了大致的介绍,并且明确了论文的研究内容以及主要工作；在业务分析过程中,论文对系统存在的一些问题、组织机构以及原有的业务流程等进行了详细的分析与研究,给出了改造之后的业务流程；在功能分析过程中,论文通过用用例分析以及用例描述,明确了管理系统的功能作用,给出了改造后的系统的总体的功能包图以及子功能包图,其中包括仲裁申请、案件受理管理、案件调解、案件仲裁庭、案件督办等子包图；在数据分析部分,论文对系统各个功能需要处理的数据进行了研究与分析,建立了数据库表的结构图；最后对所做出的研究和分析进行了总结,并且对以后的工作表达了展望。

关键词： 手机分销   管理系统   设计模式   UML建模  

摘要： 当前,越来越多的企业注重分销的销售模式,分销有利于增长企业的产品销售量,但是随着分销规模不断扩大,分销过程的资金、销售人员、销售记录以及销售数据分析和管理变得越来越困难,而传统的手工操作方法严重阻碍着企业的分销进程。因此,在此背景下,需要构建基于分布式的应用系统应用于分销管理中,借助于分销管理系统,方便企业对分散于各地的分销点的人员、销售数据等多种对象的管理,鉴于福建省移动公司南平分公司对于手机分销业务管理实际,公司决定构建一套基于WEB运行模式的手机分销管理系统。该系统以手机销售管理为背景,结合中国移动南平分公司对于手机分销管理的需求,利用.NET架构,研究实现出系统各个功能模块,按照B/S技术标准,构建基于服务端和客户端的系统体系。参照相关移动公司信息系统建设标准,采用面向对象的软件开发思想,运用UML建模中的用例图、类图、时序图等技术工具,以用户需求第一手资料获取、需求资料加工、需求模型构建与完善研究步骤,分析并获取到系统功能需求;采用MVC设计模式,将Model、Controller与View分离在不同的文件中,构建中国移动南平分公司手机分销管理信息系统的三层结构体系;采用WEB SERVICE和XML数据交互技术,自定义系统之间的通讯接口协议,研究形成本系统与移动公司第三方系统间的数据交互模块。在这之后使用C#、Javascript等开发语言,利用.NET开发环境进行系统的实现,同时运用数据库范式理论指导、规范和评价系统数据库表的设计。通过系统的投入使用,实践证明系统能够对总公司业务员实行全面监控,合理控制,有效降低财务风险和管理费用;提高了公司扩展现业务和销售能力,大大降低手机分销成本。

关键词： 立体测绘相机   像移补偿   时间同步   成像控制   结构化设计  

摘要： 随着GIS的推广应用，数字地图供不应求，利用卫星进行摄影测量得到迅速发展。而采用卫星进行摄影测量，需要的核心设备是摄影测量相机，目前成熟的摄影测量相机主要包括胶片型框幅立体测绘相机和传输型三线阵立体测绘相机。 三线阵立体测绘相机由三台线阵CCD相机组成，三台相机同时对地面推扫，形成三幅具有不同视角且相互重叠的图像。每条图像都是在某一时刻由一台线阵CCD相机获得，这条图像与成像时刻的相机外方位元素及内方位元素相对应，根据摄影测量理论，当已知相邻时刻航带图像的外方位元素以及像点坐标时，可利用前方交会原理求解地面坐标。 三线阵立体测绘相机从技术范畴需要跨越多个学科专业，其中最主要的学科包括光学、机械、电子学、热学、软件工程等。三线阵立体测绘相机软件系统位于三线阵立体测绘相机研制层次结构的最上层，为相机与用户之间的直接接口，软件系统的质量直接影响相机的成败及用户体验。 本文提出了三线阵立体测绘相机软件系统需要的四个重要的控制算法，包括三线阵立体测绘相机摄影控制算法、三线阵立体测绘相机时间同步算法、三线阵立体测绘相机像移补偿算法、三线阵立体测绘相机调焦控制算法。三线阵立体测绘相机摄影控制算法中描述了三线阵立体测绘相机的CCD配置结构，定义了三线阵立体测绘相机的摄影基线和面阵摄像间隔。根据三线阵立体测绘相机的配置结构和摄影测量原理进行数学建模，计算出摄影基线长度和面阵摄像间隔。三线阵立体测绘相机时间同步算法分析了三线阵立体测绘相机图像对时原理，设计和实现了三线阵立体测绘相机图像对时算法，为三线阵立体测绘相机线阵CCD图像记录了精确的摄影时刻，为求解每行线阵CCD图像的外方位元素以及进一步解算各种测绘元素提供了必要的条件。三线阵立体测绘相机像移补偿算法建立了基于WGS84坐标系的像移计算方法，设计了数字高程图在像移速度计算中的处理算法，并分析了像移误差对成像质量的影响。三线阵立体测绘相机调焦控制算法提出了温度调焦和试探调焦的控制策略，并给出了闭环调焦和开关调焦的具体实现过程。 本文设计了三线阵立体测绘相机软件系统的外部接口，包括CAN总线接口、GPS秒脉冲接口及图像数据接口；设计了三线阵立体测绘相机软件系统的内部接口，包括RS485接口及行周期接口。本文对软件系统的4个软件配置项在各自的硬件环境下的功能进行了详细的设计，实现的三线阵立体测绘相机软件系统已经通过在轨验证，软件的功能和性能满足摄影测量的需求。

关键词： 农牧村信息   数据管理   数据分析决策   SSH   UML建模  

摘要： 国内负责农牧村规划发展的相关部门使用农牧村信息数据上存在以下三个问题：问题一,数据采集不够信息化,农牧村信息数据在采集统计的过程中仍采用传统的纸质方式,这样使得工作人员不仅费时费力,更重要的是使工作效率很低；问题二,数据管理不够规范化,工作人员收集到的农牧村信息数据采用纸质记录,这些包含大量历史信息数据的纸质数据不仅很难长久保存易丢失,更重要的是查询统计时很不方便,同样使工作效率很低；问题三,决策指导不够科学化,采用传统的方式对农牧村的发展指导决策,不具有科学创新性,可能制约着农牧村的经济发展步伐。为了解决上面的三个问题,实现高效采集、有效管理和科学分析数据的要求,本文在研究系统开发背景与水平的前提下,设计了农牧村信息数据管理与分析决策平台。本文实现了基于SSH框架农牧村信息数据管理与分析决策平台,该平台由农牧村信息数据管理和农牧村信息数据分析决策两个子系统组成。在信息数据管理子系统中,主要功能有：赋予用户不同权限操作信息数据,对数据的操作包括增加、删除、修改、查看和汇总统计。在分析决策子系统中主要功能是各项指标的趋势分析以及各项指标对比分析。本文在整体的设计与实现过程中,对系统平台的需求分析、所采用的关键技术、总体结构设计、系统功能设计、数据库设计以及具体的实现与测试都做了详细的介绍。并对其中的开发技术进行了进一步研究。在这整体的过程中实现了可复用性与可扩展性。

关键词： 民安财产保险   网络销售   信息系统   需求分析   UML建模  

摘要： 随着计算机的发展,互联网的广泛使用,越来越多的企业开始把目光放到互联网应用上,其中保险行业也是如此。在保险电子商务的优势与价值的高增长率的背景下,各家保险公司如何提高自身在电子商务领域的竞争力是重要的课题。相对而言,在我国这种初期的保险业阶段,发展的起点比较低,所以保险市场潜力大,从而把保险业发展到网络保险也是必然的趋势,也有很大的挑战。本文首先介绍了民安财产保险有限公司网销系统的主要功能与其目的所在；在业务分析中,论文对系统存在的问题、原有业务流程等进行了分析,给出了改造后的业务流程；在功能分析中,论文通过用例分析和数据字典,明确了系统的功能,给出了系统的总体功能架构和各功能模块的结构,包括具体功能点有：非车险类线上投保、联网出单、卡单激活、车险在线投保、客户信息管理、会员注册和登录；在数据分析中,论文对系统各功能的所需要处理的数据进行了分析,给出了E-R图,建立了数据库表结构；论文最后对所做的研究与分析工作进行了总结,并对进一步的工作进行了展望。

关键词： 任务   协作学习   UML  

摘要： 融合与协同已成为信息化社会的新常态。如何将现代信息技术融合到人们的工作、学习与生活中，使人与人能够有效协同工作、学习与生活，是教育技术领域面临的新课题。本文依据协作学习理论与方法，针对山西信息职业技术学院的“UML与软件建模”课程教学，开发了一种面向UML建模的协作学习支持系统，开展了“课堂+网络”的混合式协作学习研究。 本文按照协作学习和教学设计方法，在认真分析课程教学大纲、教材和学情的基础上，梳理了程序系统的功能需求，使用UML建模工具画出系统的类图、用例图及序列图，详细讨论了程序系统模块设计，包括资源、互动交流、任务管理、测试、课程等模块，编程实现了面向UML建模的协作学习支持系统。 面向UML建模的协作学习支持系统的用户包括教师、学生、管理员，由管理员管理、调控整个系统；教师完成课程管理、任务下发、资源上传、帖子发表、回复等工作；学生借助该平台领取任务、下载资源、完成并上传任务等。 本文将协作学习支持系统应用于“UML与软件建模”课程的教学实践，依据教学设计理论构建了在线协作学习模式，以山西信息职业技术学院软件1301、1302班为研究对象进行为期3个月的对比实验，实验结束后使用SPSS软件对实验结果进行统计分析。实验结果表明，在UML与软件建模课程中借助协作学习支持系统开展混合式协作学习能很好地实现师生、生生之间的互动交流，并能有效地提升学习效率，提高沟通和协作学习能力。