教学课程资源库 更多>>

关键词： 云计算   形式化方法   语义   变化影响   tabular表达式   安全  

摘要： 为推进云计算的发展，本文利用形式化方法对云计算系统的形式语义进行了刻画，并在其基础之上，对云计算中的变化影响分析问题和数据安全性评测问题进行了较为深入地研究，主要工作如下： 1）利用抽象源对云计算系统的形式语义进行了刻画。基于在本体中引入动态语义的思想提出了一种新的知识表示方法——抽象源，利用抽象源从云的共性和特性两个角度对云计算系统的形式语义进行了刻画，并通过云服务的一个实例SCSKP对该方法的有效性进行了说明。 2）对云计算系统中“变化”的影响进行了分析。构建了一种包含云中“变化”信息的变化传播模型，定义了一种能对该模型进行形式化表示的编码CTMC，并基于变化传播模型和CTMC编码给出了一种可以对云中常见的“变化”影响进行分析的方法。 3）利用tabular表达式通用模型对云计算系统进行了描述。在tabular表达式通用模型中扩展了一些新的表类型，给出了一种以抽象源为媒介用tabular表达式对云计算系统进行描述的方法，增强了抽象源的适用性。 4）对SCSKP中数据的安全性进行了分析评测。基于SCSKP的抽象源描述分析了SCSKP的安全防护能力，利用马尔可夫模型对SCSKP中各种非法入侵发生的概率进行了分析，基于分析结果计算了非法入侵的损失期望。

关键词： 仓库管理   信息管理   流程图   UML建模  

摘要： 作为企业的重要组成部分,仓库库存管理在企业成败中占有重要的地位。因此,一个企业的仓库管理系统的建立,对于一个成功的企业来说相当有必要。虽然我工作单位是高校,但我校有生产设备价值五千万,学生半年学习理论,半年生产实习,有大量物料需要管理,仓库管理一直是我校管理的重中之重。很长一段时期内,本校都是采用人工来进行仓库各方面的管理事物,但是由于长期使用这种传统的仓库管理模式,也给管理带来了一定的弊端,例如：浪费人力物力、花费时间长且效率低下,而且长期下来积累了不少记录数据和保存的文件,这就造成了对数据的寻找、完善和休整方面的麻烦。 论文首先介绍了我校进行对本文中系统开发的项目背景、项目意义和国内外研究的现状,确立了研究的主要内容和将要进行的工作；接着叙述了开发此系统需要的基础理论知识,还有开发系统需要的技术支持；再者,又深层次的论述了系统需求分析,通过对仓库管理系统进行需求分析,明确了要做一个什么样的系统。系统的需求分析包括系统使用者的基本情况、业务需求分析、功能需求分析和非功能性需求分析。在需求分析中,通过业务流程图明确了系统的业务逻辑,通过用例图明确了系统的功能。在第四章中进行了系统的设计,在第五章中,进行了系统的运行环境描述、系统集成、测试方法和系统测试。最后对本文提出总结和展望。 仓库管理系统基于B/S架构,采用ASP. NET技术开发,使用SQL Server数据库,将Web服务器、应用服务器、数据库服务器相分离,由表示层、应用层、和后台数据库三个服务层组成。实际应用运行表明,本文中研究的系统具有不少的优点,例如：具有稳定的性能,全面的功能,操作起来简单,大大提升了使用者的仓库管理效率,还有它的操作界面具有很好的兼容性。

关键词： 结构化产品   最小期权   蒙特卡洛模拟  

摘要： 我的论文主要分成两个部分： 第一个部分介绍结构化产品，设计原理和流程，以及通常的定价方法。 第二个部分我采用上述原理和设计方法，我得到了一个以伊利股份（SSE:600887),贵州茅台（SSE:600519),涪陵榨菜（SSE:002507)，好想你（SSE:002582)及双汇发展（SSE:000895)为标的的结构化产品。并对产品的风险和最主要影响因素进行了研究。 在第一部分中，我首先回顾了结构化产品国内外研究的现状，认为目前国内研究均在原理的层面，虽然有一些文章确实对产品设计本身的风险，影响因素进行了研究，但均深度不够。这个为我后文的研究提供了方向性的指引。此外我还对结构化产品的历史及对资本市场的作用进行了一定回顾和分析。之后我重点分析了结构化产品的定价及其原理，这一部分将是后文中间定价的主要理论基础。 第二部分中，我对产品进行了设计，主要采用蒙特卡洛模拟的方法，以最小期权为基础，设计出来一个针对风险偏好型人群的产品。同时也尽可能的分析了一些风险因素和执行风险。此外对产品的敲定价格（Hurdle Rate），票面利率（Coupon Rate）进行了敏感性分析。认为该产品是高风险，高收益的风险型产品，只有对于该行业及其股票较为有信心的投资者有较强的吸引力。

关键词： 公文督办管理   UML建模   系统设计与实现  

摘要： 进入21世纪以来,经济全球化、信息化的影响力越来越大,无时无刻不在影响着人类的生活费。同时,各企事业单位正利用先进的信息技术手段进行单位信息化建设,使得其行政效率取得了大幅度的提高。而针对于企事业单位中的公文管理活动直接关系到了企事业单位行政指令的上传下达,在其信息化过程中地位非常重要。就阿坝师专而言,目前的公文督办管理工作还停留在人工操作的水平,需要对日常公文信息管理的方式和作用进行分析,同时对日常公文管理系统是否发挥提高单位竞争力的作用、确保系统的信息安全等问题进行深入分析与研究,在此基础上,建立适合学校管理需要的、提升学校管理水平和竞争能力的日常公文管理系统,使得学校管理规范化和流程化是当务之急。本文以阿坝师专希望借助现代化手段使得公文流转及督办效率得到大幅提升的迫切需求为背景,围绕系统开发并紧密结合当今信息管理技术等先进技术手段对阿坝师专公文督办管理系统进行开发。将其从手工模式转化为无纸化公文办理模式。本文为最终实现阿坝师专公文督办管理系统,首先从国内外先进公文督办管理理论入手,学习先进理论,从学术层面阐明该系统的重要性及必要性。之后,借鉴“瀑布式”的开发流程,运用面相对象的系统开发思路及UML语言建模,通过VS2008等相关开发工具,对系统进行建模及系统需求分析与系统软件设计。形成分析阶段与设计阶段的相关用例图,结构图,类图,并根据分析与设计的结果对系统进行设计与实现。最后,对全文进行总结,总结论文及系统的特色所在与有待改进之处。该系统实现之后,可改变阿坝师专原本较为落后的手工公文督办程序流畅,从而转向先进的公文自动化办理,有效地提高了学校行政政令上传下达的速度与公文督办效率,同时也增强了阿坝师专在同级别高校中的竞争力。

关键词： 计算机联锁   进路办理建模   模型驱动   形式化方法   时间自动机  

摘要： 计算机联锁系统(CBI)是铁路运输中的重要设备,它肩负着列车调度、安全行车、提高运输效率的重要工作。它通过对道岔、进路以及信号的控制,来实现铁路列车的调度指挥工作。随着计算机技术在铁路信号中的发展与应用,传统的分析设计方法已经无法满足当前社会对于铁路运输的安全性、高效性需求。为此我们采用模型驱动的嵌入式软件开发方法对联锁软件的设计与验证提出了新的思路,从而提高软件开发的精确性和高效性。本文首先深入研究了各种形式化建模语言在嵌入式软件中的应用,以及它们在当前国际国内的发展水平和未来发展趋势。主要对各个方法的优点与缺点进行了对比分析,找出了一种适合计算机联锁系统软件开发的以模型设计需求分析取代传统文本设计需求分析的方法,即时间自动机理论。本文以工大高科自主研发的计算机联锁系统软件GKI-33e为研究对象,对它的进路办理流程进行了深入的分析,根据EN系列标准以及国家铁路标准对它的安全性和功能性进行了主要描述,提出了软件设计的V模型。并根据此设计流程对进路办理流程进行了形式化建模与分析。本文针对进路办理中的五个主要阶段分别建立了对应的时间自动机模型,并且通过成熟的UPPAAL工具组建了时间自动机网络,并对该网络进行了仿真模拟,通过时间约束与全局变量的设定,解决了以往开发过程中存在的模糊性、二义性等问题。最后,本文从系统的功能性与安全性出发,对时间自动机网络进行了验证。通过BNF语法对系统安全功能进行了验证与分析。证明了以模型驱动方法为基础的嵌入式软件开发方法的可行性。为计算机联锁系统软件设计提供了重要的参考价值。

关键词： 故障录波   面向对象技术   CORBA技术   UML建模   JAVA编程软件  

摘要： 故障录波装置是一种能自动记录电力网络中电气状态和诸如电压、电流、功率等各种电气量的装置,主要用来检测继电保护与安全自动装置的动作情况,在整个电网网络产生异常或者震荡情况下,可以显示电力网络中电气一次设备的电气量变化过程,有效验证故障发生的时间、地点以及故障类型,完成电气一次设备各个电气量数据信息实时监测、检测和研究录制波形功能,故障录波装置确定异常或者震荡数据,从动作后果以及保护范围来确定故障发生的具体位置,实时显示异常设备,保证电网系统安稳运行。锦屏二级水电厂位于四川省凉山州雅砻江上,装机480万千瓦,属于流域梯级电站重要水电厂,是“西电东送”枢纽电源点,在整个电力网络中不仅供应清洁优质能源,也起到了调峰、调频以及事故备用的作用。作为电力系统中重要的水电机组电源点,必须建立完善的故障测录记录系统,使得全厂设备的运行电参数值及时正确测录、准确记录,特别是实现故障情况下的波形录制功能。根据锦屏二级水电厂故障录波系统的设计,开发和使用软件,分析软件项目管理的知识体系,利用UML建模语言,编写软件程序,以此实现锦屏二级水电厂故障录波系统各种功能。依据用户的实际需求和软件的自身特点,对锦屏二级水电厂故障录波系统进行定义,运用面向对象建模思想,根据系统的定义,使用UML语言进行建模,建立故障录波装置的模型,对水电厂的所有设备进行类与对象区分,实现锦屏二级水电厂故障录波系统的分析与开发。通过描述系统的实施过程,实现故障录波系统的实时检测与显示、查询曲线、故障录波分析、保护动作分析等功能。在软件系统的分析和研究进程中,绘制锦屏二级水电厂测录装置的数据信息业务程序、流程构造形式,研究装置的相关功效,采取统一UML建模语言、JAVA编程软件以及面向对象技术,详细说明采集的数据信息,实现故障诊断的方法,信息访问和远程报警,充分说明了该设计方案的可行性。该软件系统经过理论研究开发与实际试验应用,得出的试验结果符合性能要求。

关键词： 医院信息系统   电子病历   医疗质量控制  

摘要： 近年来,随着医院在数字化建设方面不断地深入和发展,医院信息系统(HIS)开始从以财务管理为主逐步转变为以患者、医疗信息为主,因此电子病历系统越来越得到医院以及业内专家的热切关注。 电子病历的概念是从传统病历发展演化而成的,所谓病历是指患者在医院诊断治疗全过程的记录,包含首页、病程记录、检查检验结果、医嘱、手术记录、护理记录等。说到电子病历,很多人会以为是电子化的病历,这些理解都太过片面。美国国立医学研究所将电子病历定义为基于一个特定系统的电子化病人记录,该系统提供完整准确、反映患者整个医疗过程的数据,具有警示、提示和临床决策支持的能力。 本论文结合上海市浦东新区公利医院的电子病历建设项目,主要阐述了该院在结构化电子病历实现多维度质量控制体系的设计和实现。文中从系统的体系结构、应用建模、设计方法和关键技术实现等几方面着手,介绍如何构建一个基于医疗质量控制的结构化电子病历系统。通过结构化的电子病历数据加上完善的质量控制体系来规范医生的诊疗行为,实现预先提醒、过程提示、过程控制、过程监控、事后筛查。同时通过整合诊疗常规、合理用药、临床路径、检验危机值等各种医学知识库,为医生提供诊疗辅助支持,进一步加强了医疗内涵质量。在公利医院电子病历项目中进行了实践,取得了良好的实际效果。 文章首先研究和分析了国内外电子病历的现状与发展状况,论证了医疗质量控制在医院管理方面的重要性；阐述及描述了目前医院对电子病历中医疗质量控制的具体需求,以及临床医疗行为中存在的问题；在此基础上,论文中分析了XML、DHTML关键技术,详细介绍了结构化电子病历以及医疗质量控制体系的系统设计,在整体设计上采用基于.net的三层架构,并全过程引入了SOA的思想与概念方法,同时参考了HL7、DICOM等数据交换标准；具体介绍了系统的功能模块内容,以及在临床使用过程中的实现方法。最后对本文的研究内容和结论进行了回顾,总结了为医院医疗质量管理带来的实际效果,并进行了下一步工作的展望。

关键词： 房地产ERP   UML建模   设计与实现   测试  

摘要： 本文以中铁二局房地产企业信息化建设为背景,以开发企业定制ERP系统为目标,围绕中铁二局房地产ERP信息系统的建设,依次介绍了系统研究的背景、开发的目的和意义。在进行具体的开发之前,本文还对目前典型的房地产ERP系统进行了分析,作者在开发中借鉴了这些系统,随后对本系统使用的Web开发技术进行了分析。项目的开发过程遵循了软件工程的实现,首先采用用例图及用例规约,完成了系统的需求分析;随后采用类图及顺序图描述了系统的设计与实现;在项目开发过程及开发结束时完成了系统网络的部署及功能测试。文章的最后给出了本次开发的总结及系统的优势以及下一阶段的工作。本系统功能较为全面,能够满足中铁二局日常业务管理的需要,系统中的功能模块包括系统登录、业务管理、人力资源管理、各分支公司之间的协调管理、知识管理等。本系涉及功能较多,作者在需求分析阶段详细介绍了系统各模块的功能及性能需求,之后为突出重点,以系统核心功能部分中的财务管理模块以例,介绍了系统设计、实现以及测试过程,并以此展示软件开发过程。财务管理模块又分为数据录入模块、销售管理模块、报表管理模块以及档案管理模块,文中除对这些模块的设计及实现进行详细的说明外,也给出了系统总体实现界面。系统开发采用面向对象技术,在系统需求分析及设计过程中,广泛采用了UML建模工具,提高了系统文档的编制效率以及系统开发的效率。在系统的测试阶段使用了集成化的测试工具LoadRunner完成了系统的性能测试,并在详细的测试用例的基础上完成了系统的功能测试。本系统在设计过程中将实用技术与先进的软件设计方法有效融合。综合采用了JavaEE技术、工作流技术、C/S与B/S混合结构模式,充分保证了系统的实用性以及操作的简洁性。同时本系统的开发充分考虑了系统的安全性要求,采用了多种安全保障技术,包括基于角色的访问控制方式、数据的加密传输、安全传输协议、数据的冗余备份等措施。

关键词： 结构化产品设计   蒙特卡洛定价   风险管理   对冲  

摘要： 股票挂钩型结构化产品的收益率通常取决于与单只股票价格、一篮子股票或者股价指数在一段时期内的表现。结构化产品的收益结构通常可以分解成固定收益部分和期权部分。不同于传统证券的支付结构，结构化产品可以在不同市场条件下为其投资者提供个性化的风险收益特征。结构化产品在八十年代诞生于美国，九十年代初在欧洲市场大受欢迎，并于九十年代末传到亚洲市场并被逐渐接受。 2004年2月，中国银监会发布的《金融机构衍生产品交易业务管理暂行办法》，标志着中国政府自此开始鼓励和支持金融创新与衍生产品的发展。自此之后，结构化产品逐步在中国市场上找到一席之地。 尽管股票挂钩型结构化产品这几年在国内市场发展迅猛，境外金融机构仍然主导着国内市场上此类产品的发行与管理。不少国内商业银行通过直接向境外金融机构购买一份合同条款完全一致的产品来对冲其发行结构化产品的风险。在这种情况下，境外金融机构才是这些结构化产品的实际管理人。正是因为国内发行者对结构化产品的设计与发行仍缺乏深刻认识，关于结构化产品设计、定价、风险管理的相关研究对中国市场不仅有着理论研究价值，还有现实参考意义。 本文主要针对结构化产品的设计、定价及风险管理机制展开分析，以期望帮助境内投资者更深刻的理解股票挂钩新结构化产品的本质。此外，本文以挂钩A股的保本型结构化产品设计为例，对产品结构、定价、风险管理等问题进行了实务探讨。

关键词： 商业银行   理财业务   结构化产品  

摘要： 随着我国居民人均收入的不断提高,投资理财的需求也越来越强烈；同时商业银行也在利率市场化、自由化的趋势下逐步摒弃传统的存贷业务,向中间业务、理财服务业务转变。在这种背景下,笔者从商业银行理财业务中最为特殊、最为灵活的结构化理财产品入手,重点分析了该类产品的设计定价、面临的风险等一系列问题。本篇论文一共有五个章节： 第一章,介绍了本文的选题背景和意义；系统的梳理了在该领域国内外已有的研究成果；对本文的研究方法和整体框架做了一个简明的归纳,并指出了本文在结构化产品探讨中的创新和不足。 第二章是对结构化理财产品的一个概述,其中对结构化产品进行了严格的定义和说明,然后从挂钩标的、保本情况等多个角度对该类产品进行了分类；随后简单介绍了一下结构化产品在国内外的现状。 第三章则讲述了结构化产品的设计和定价情况,如何对结构化产品进行设计,如何选择挂钩标的和嵌套期权；随后介绍了现在主流的一些可以使用在结构化产品中的主流的定价方法,最后选取了两款颇具代表性的理财产品做了定价研究。 第四章针对市场上不少银行所发行的产品无法实现预期收益率的现象,分析了影响结构化产品收益的因素和结构化产品面临的风险和风险管理的方法。最后针对一种股权累计型产品采用Delta方法做了模拟对冲分析。 第五章根据上文所做的研究做出了总结,找出了结构化产品中的一些问题,并提出了相关建议。这些问题当中既有商业银行自身的,也有是由于我国金融市场发展不完善造成的,本文都做出了具体的说明和分析。