教学课程资源库 更多>>

关键词： Web服务   服务组合   代数规约   形式化方法  

摘要： 近年来,以Web服务为基本构件的面向服务计算(SOC)得到越来越广泛的关注,将发布的单个服务组合成更强大更可靠的系统能够进一步发挥SOC的优势,因此服务组合与验证一直是Web服务研究领域的热点和难点。服务组合的形式化语义描述能够支持组合正确性的验证和测试,但已有服务组合形式化研究主要对服务组合交互行为进行建模和验证,缺乏对服务组合功能正确性的关注。本文在扩充已有面向服务代数规约描述语言基础上,提出一种基于代数规约的服务组合形式化描述方法,对组合抽象功能和交互行为进行形式化描述,为服务组合的可验证性和可测试性奠定了理论基础。本学位论文主要包括以下三个方面的工作:1.为更好地描述服务组合,扩充现有的面向服务系统代数规约描述语言SOFIA,进一步增强语言的服务描述能力和模块化特性。首次完整地给出扩展后SOFIA语言的语法及其形式化定义,并基于JavaCC设计和实现SOFIA语言的解析器,检查面向服务系统代数规约的语法正确性和类型正确性,并将解析结果存入数据库以供后期测试使用。2.针对已有面向服务系统的代数规约并未描述组合实现过程的问题,提出一种面向服务组合的代数规约方法,引入了规约包机制以支持该方法。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包,另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包。在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间所必须满足的“实现”关系,阐述了满足实现关系可以保证实现的正确性这一结论的证明思路,从而为服务组合的可验证性和可测试性奠定了理论基础。在此基础上,设计和开发证明实现关系是否成立的辅助推导工具。3.将面向服务组合的代数规约方法应用于若干系统进行案例研究,用SOFIA语言对被组合服务和组合服务进行规约,并证明案例中组合实现的正确性。最后分析阐述用代数规约描述服务组合的抽象性、可表达性和可验证性。

关键词： 内部审计管理   面向对象   UML建模   业务流程优化   功能分析   数据分析  

摘要： 改革开放四十年来,我国的信息技术得到了前所未有的发展,各行各业都在进行着信息化建设,信息化的普及,强有力地提高了生产工作效率。尤其是在高校中,只有跟随信息化的潮流,才能增强自身软实力,与时俱进。高校内审计工作的建设关系到学校的管理工作、财经的秩序规范、学校的合法权益等问题,是一项十分重要的内容。对高校内部审计管理系统的信息化研究与分析是十分必要的。本文是在结合了云南交通职业技术学院内部审计管理实际现状下来进行写作的。在论文写作之前,详细研究了高校内部审计管理系统的项目背景以及研究和应用现状,在文中具体给出了本文的研究背景和意义,并对本人的工作做了详细的介绍。通过UML建模技术和面向对象的开发思想来对本文进行了详细的建模,将本文划分为审计计划管理、编制审计实施方案、现场审计、出具审计报告、审计整改与反馈、基础数据管理、系统管理等七大功能模块,进行建模之后结合数据库技术来对本文系统进行了分析。文中首先使用组织结构图来介绍云南交通职业技术学院内部审计部门的组织情况,接着通过泳道图来对相关业务进行了原有流程和优化流程分析,其次,利用包图、用例图对业务功能进行分析,以此阐述本文研究和分析的核心功能,最后建立相关数据库表,通过缩略图来进行数据分析,并在文末给出了总结和展望。

关键词： 行政办公   管理系统   需求分析   UML建模   数据库设计  

摘要： 当今社会,信息技术已被广泛应用于社会各行各业,在高职院校的日常管理和运营工作中,信息化建设工作已是其自身建设过程的重要组成部分,更是适应高职教育长久发展的必然选择,提升信息化建设水平对高职院校行政管理、教育教学等工作有着尤为重要的意义。随着学校规模扩大、学生生源竞争日趋激烈,学校越来越重视办公效率提高。传统的工作方式已不能适应当前需要,亟需要一套完善支持院校职工群体协作、快速传递信息、快速决策的信息系统,通过系统的应用,为学校管理建立一种开放化、网络化、高效率的办公环境。本文讨论了国内外办公自动化发展现状及趋势,分析了云南经贸外事职业学院行政办公相关业务中存在问题、信息化需求,在此基础上,提出了优化后的业务流程,进而研究和分析了适用于该学院的行政办公管理系统。确定了公文办理(收、发公文)、会议管理、公章管理、公车用车管理、日常办公用品管理等系统功能模块,结合UML建模语言,采用活动图、用例图、包图、缩略类图、实体关系图等对业务流程、系统功能及数据进行描述,并设计了相应的数据库表。最后对系统的研究情况、存在问题作出总结,通过本文研究和分析成果,为高职院校行政办公管理系统的建设提供一定建议和参考。

关键词： 梯田   无人机正射影像   地形因子   面向对象   监督学习  

摘要： 梯田建设作为坡耕地整治的一项主要措施,在我国黄土丘陵山区的农业发展及治理水土流失中起着关键作用。精准、高效地提取梯田的田面,可为改善黄土丘陵区域农业经济发展,梯田建设评估提供可靠的支持。目前,通过遥感影像自动、半自动化解译梯田信息有一定的研究进展,但是受数据获取成本、精度、数据源单一、解译方法单一等限制,梯田信息提取研究只限于大范围地提取梯田区域。低成本地进行梯田的田面精准提取仍需进一步研究。本文以甘肃省兰州市榆中县龙泉乡的水平旱梯田为样区,基于面向对象(Object Base Image Analysis,OBIA)分析方法,应用无人机遥感影像与通过DEM计算出的地形因子,研究提取梯田田面的方法。论文主要研究内容如下:(1)梯田分割的研究。首先对无人机正射影像(分辨率0.5m)进行影像增强,以及通过数字高程模型(Digital Elevation Model,DEM)(分辨率0.5m)计算得出地形因子并降维;其次对增强后的正射影像、降维后的地形因子、及两者的融合等三种数据,分别采用多尺度分割,获取梯田与非梯田对象。研究表明,将正射影像与地形因子融合的多尺度分割效果优于应用单一数据源。(2)梯田田面对象分类研究。对多尺度分割获取的梯田与非梯田对象,采用监督学习(K-最邻近,支持向量机,决策树)法进行分类提取出梯田田面。并应用基于混淆矩阵法的计算的总精度、Kappa系数进行分类精度评价。实验表明,应用正射影像与地形因子融合的数据,分类效果优于基于单一数据源的分类效果。并且,对于形状较为规则、田面上覆盖物较少的梯田,基于支持向量机的分类结果优于基于K-最邻近法和决策树法。而对于形状不规则,田面上有积雪等覆盖物的梯田,基于决策树法的分类结果优于基于K-最邻近法和支持向量机法。

关键词： 办公系统   MVC模式   面向对象分析  

摘要： 随着信息技术产业的飞速发展,企业要想在日趋激烈的商业竞争占有一席之地,除了核心产品和技术的升级之外,人力资源和日常管理也是其中不可或缺的重要部分。而企业传统的独立、零散的办公自动化应用已无法满足现实需求,协同工作、综合、集成化发展的是解决企业管理水平低下的一个方案。而互联网技术正是解决由于物理距离造成的信息交流不畅、协商沟通不便等办公瓶颈问题的最佳方式。企业基于网络对各办公要素进行整合,实现了工作流、信息流、知识流的办公自动化系统的整合管理,为员工和管理者提供了一个科学、开放、先进的信息化办公平台,并可根据实际工作需要进行远程办公或在家办公。通过企业网上办公自动化将员工从繁琐、无序、低序、低端的工作中解放出来从事核心事物,整体提高了整体办事效率和对信息的可控性,降低办公成本,提高执行力,使管理趋于完善。在青水啤酒公司,有许多的文字资料需要处理,涉及很多细枝末节的工作流程,需要决策者在开展业务工作的同时花费大量精力进行琐碎的日常办公管理。对于青水啤酒来说建立一个办公管理系统是非常有用的。本系统采用模块化开发方式,在开发过程中采用Servlet/JSP技术,MVC设计模式,使用IntelliJ IDEA为开发工具,MySQL数据库及Mybatis框架,Tomcat 7.0为系统运行服务器平台。实现了包括人力资源管理、消息管理、文档管理、资产管理、系统管理、考勤管理和消息传递等功能。目前,企业的内部发展和外部扩展都需要扩大对信息的需求,而互联网技术和计算机应用已在不知不觉中渗透到企业发展的各个环节。传统繁复、细碎和低智能化的内部信息流转方式,已无法适应青水啤酒业务逐渐扩张,带来的人员规模化管理、数据安全传递和信息快速处理等需求。青水啤酒办公自动化管理系统的设计与开发就是为了满足了企业的网络化办公环境和自动化的管理流程需求,从而提高了企业日常管理工作效率,提升内部管理水平,也可以全面提升企业在市场中的综合竞争力和影响力。

关键词： 安全生产培训管理系统   烟草   UML建模   数据库建模  

摘要： 安全生产是企业长期发展的根本,保障安全生产的落实最有效的手段就是培训。因此,做好安全生产培训是完成安全生产任务的首要基础。通过建立安全生产培训管理系统够提高企业安全生产培训管理的效率,巩固安全生产的意识,为安全生产责任的落实提供信息支撑。本论文通过对云南省烟草公司安全生产培训管理业务了解、调研和分析。从云南省烟草公司安全生产培训管理系统产生基础、同类项目实际使用的效果,明确了论文完成的任务和要解决的实际问题。业务分析章节,分析原有业务中的四个管理流程:培训申报管理、培训实施管理、培训结果管理和培训学员管理,对原有安全生产培训管理模式、管理流程和组织机构的配置进行了深入的研究分析,整理出新的管理流程:培训计划管理、培训筹备管理、培训实施管理、培训考核管理、培训评价管理、培训公示管理、培训学员管理,在此基础上给出了更为适合的管理模式;功能分析章节,使用用例和包的方式描述了各个参与者以及他们在业务中的每个阶段中完成的任务;数据分析章节,论文对系统中各个管理流程中使用的数据进行了整理和分析,使用类图的方式进行展现并进行了各个类之间的关系分析和属性描述;最后总结目前完成的主要工作,提出了没有实现的功能和对今后的思考。本论文通过对安全生产管理系统的研究和分析,找出了原有管理方式中繁杂和不合理的流程,并运用UML建模技术和数据库建模技术给出优化后的流程并进行了功能和数据分析。

关键词： 非技术性能力   软件工程   教学实践  

摘要： 以软件工程教学实践为例,针对工科学生特点,探讨其非技术性能力培养问题。采用培养学生的经济意识、人文社科知识、管理与团队意识等多种措施,加强学生非技术性能力的培养。对培养高素质、全面发展的应用型人才提供了有益的借鉴。

关键词： SaaS软件   软件演化   动态演化   形式化方法   Petri网  

摘要： 随着云计算的不断发展,出现了有别于传统的软件模式。SaaS软件不仅改变了传统软件的商业模式,还改变了人们使用软件的方式。SaaS软件要求服务提供商随时随地按需为用户提供服务,停机状态下的静态演化方式将会对用户产生影响使得服务提供商承受经济损失。因此,SaaS软件对于动态演化的需求显得尤为迫切。文本旨在提出一种基于云管程机制的SaaS软件动态演化方法。首先对当前研究背景和国内外的研究现状进行了综述并介绍了本文的相关工作。然后根据SaaS软件可配置、多租户、可伸缩特点,提出了 SaaS软件的结构模型——SaaS软件元模型。它支持SaaS软件成熟度模型,能够建模任何成熟度等级的SaaS软件。SaaS软件元模型分为多个层次:应用层、软件实例层、租户层、表示层、云管程层、服务实体层。文中对SaaS软件元模型进行了形式化定义,并对每个成熟度等级的表示情况进行了讨论。之后以SaaS软件元模型为视图,提出云管程机制的动态演化方法。因为云管程层是SaaS软件功能的实现和执行层,所以SaaS软件的动态演化工作目标定位在云管程层。云管程是为SaaS 软件提供普适性支持和保证动态演化正确实施的特殊服务。这部分先对云管程的结构和功能进行了定义,然后根据不同的演化阶段制定演化规则。云管程机制的动态演化过程类似于操作系统中的进程切换,使用保护现场和跳转的方式换取执行过程的逻辑连续性。然后根据云管程层中的基本Petri网结构云服务网的不同结构,提出了适用于不同的结构的动态演化算法。顺序结构包括了服务的添加、删除和替换操作算法,它是其他所有结构的基础。在选择结构中提出分叉库所和汇合库所,并对这两种特殊结构的演化情况进行讨论。并发结构演化实施情况与前两种结构的类似。最后本文作者开发实现了支持云管程机制的工具CloudMonitor,它能够对SaaS软件云服务网的基本Petri网结构执行动态演化。以一个CRM系统为例进行案例分析。首先建立了这个CRM的结构模型,然后根据几个演化需求使用CloudMonitor工具对需要演化的云服网执行动态演化,并对执行结果进行分析,验证本文方法的可行性。