教学课程资源库 更多>>

关键词： 虚拟仪器   面向对象技术   测试系统   模型  

摘要： 本文基于虚拟仪器和面向对象技术，建立了一计算机测试系统面向对象模型，并对其具体构造进行详细的分析。该模型的建立能够实现测试软件结构的有效优化，并促使测试软件的开发周期得到了明显的缩短，进而达成了一种事半功倍的效果，值得推广和应用。

关键词： 质量追溯   物联网   UML建模   系统功能模型  

摘要： 质量作为现代企业竞争的核心点之一,已经被越来越多的企业所重视。只有保证产品质量,才能保证企业长久不衰。作为传统制造业的典型产品,柴油机在诸多领域都有着举足轻重的地位。随着交通运输业的蓬勃发展,柴油机的质量安全也在社会中受到了广泛的关注。柴油机生产过程中一直存在着数据管理困难,数据失真以及质量信息难追溯等问题,这些问题都制约着柴油机的质量管理水平。如何解决上述问题,是本文接下来的分析的重点。本文基于质量管理与质量追溯相关理论与方法,结合柴油机生产的实际情况建立质量追溯模型,并将物联网的关键技术,应用到柴油机质量信息采集方案中,建立柴油机质量信息追溯管控系统。首先,本文介绍了质量追溯的相关方法与理论,并借助文献了解质量追溯、物联网的国内外研究现状,提出现阶段国内外质量追溯研究存在的不足,在此基础上提出了本文的论文结构、整体的写作思路。其次,针对柴油机生产过程中的质量管理状况,分析在质量管理过程中各部门的相关工作与业务流程,分析质量管理过程中存在的问题,并围绕这些问题提出解决方案,依据质量追溯相关理论、批次管理方法建立质量追溯模型,用以指导柴油机质量信息追溯管控系统的构建。再次,结合物联网关键技术,对柴油机关键件生产过程进行工艺流程分析,设置关键工序以及质量控制点,并使用RFID电子标签技术设计实物标识方案。对于使用传感器进行质量信息采集方式的情形,通过设计基于无线传感网的信息采集方案,结合ZigBee无线技术,实现质量信息采集与控制的自动化,并通过基于无线传感网的温度采集与控制实验验证方案的可行性。最后,结合质量追溯模型,围绕柴油机质量管理需求完成质量信息追溯管控系统的功能设计。通过UML系统建模的方法验证其功能完整性,并根据企业实际应用进行效果验收说明,实现质量信息数字化管理,有效的解决数据管理困难,数据失真,质量问题难追溯等问题。

关键词： 形式化方法   定理证明   HOL4   有限域   乘法器   时序电路  

摘要： 有限域乘法是数据编码、解码及数据加密算法中的核心运算。为了保证算法正确地完成编解码和加密的功能,必须对有限域乘法电路设计的可靠性进行验证。与此同时,随着硬件设计技术不断发展,硬件电路性能快速提升,其设计也日趋复杂,如何保障硬件设计的正确可靠成为人们面临的重大挑战。传统验证方法,如模拟/仿真的方法存在测试空间不完备的问题,难以满足硬件电路可靠性的需求。本文将使用定理证明方法对实现GF(2m)乘法的时序逻辑电路进行形式化研究。在高阶逻辑定理证明器HOL4中完成验证,保障硬件设计的可靠性和功能正确性。本文主要完成以下几个部分的工作:一、对形式化方法的原理进行简单介绍,比较形式化验证常见的四种方法,阐述各自的优缺点并对定理证明器HOL4系统进行深入研究,详细剖析其发展历程,编程语言,逻辑基础和验证方法等。二、对有限域及有限域乘法进行详细分析,总结其工作原理和硬件实现方法并剖析LSB-First算法的基本原理和演变过程。三、在HOL4系统中使用层次化方法和基于周期的方法对实现有限域乘法器的电路分析并完成电路实现的形式化建模,同时完成有限域乘法运算相关性质和规范的形式化描述。四、在HOL4系统中完成有限域乘法器周期特性和功能可靠性的验证。通过定理证明方法证明有限域乘法器设计的可靠性,同时也展示了HOL4系统在加密和编码硬件验证的能力和前景,有效地保障硬件实现的可靠性。

关键词： 结构化理财产品   设计原理   期权定价   蒙特卡洛模拟  

摘要： 在中国经济进入新常态的背景下,我国普通居民的投融资渠道越来越丰富,理财需求持续膨胀,理财意识逐渐提高。随着国内理财市场在竞争中的不断发展,银行理财产品在国内家庭资产配置中占据着很重要的位置。当前,普通的定期储蓄已经不能满足老百姓的需求了,因为一款理财产品的收益率至少会比同期的定期存款利息高出一两个百分点。虽然网络上各种“宝宝类”的理财产品让人眼花缭乱,收益率也有一定的竞争优势,但是银行理财以其自身的安全性和可靠性更受老百姓的青睐。银行理财产品我们都听说过,但是一提到银行的结构化理财产品,可能很多人就要摇头了,它也是银行理财产品的一种,只是占比很小,每年的发行数量很少。结构化理财产品是由固定收益证券和衍生合约结合而成的一种新型理财工具,其结构复杂,设计多样,产品定价同时涉及固定收益定价和期权定价两部分。写作本文的目的是为了揭开结构化理财产品的神秘面纱,使我国银行结构化理财产品的设计更加完善,定价更加合理,使其能够成为银行的又一成功的融资工具和受广大投资者欢迎的投资选择。本文先从结构化理财产品的含义和分类入手,为后面的分析打下了良好的基础,做好铺垫,紧接着介绍了我国银行结构化理财产品的发展历程及其现状,使读者对结构化理财产品的发展脉络有一个大致的了解。其次,按照高收益型和保本型结构化产品两条主线探讨了其设计过程中的基本原理。再次,对于产品的定价部分将其分为固定收益部分定价和期权部分定价,固定收益部分主要采用现金流贴现法,而期权部分定价主要包括Black-Scholes期权定价模型和蒙特卡洛模拟分析法。最后,对具有代表性的股票挂钩型结构化产品运用蒙特卡洛模拟法进行定价的实证研究。

关键词： Web API   MongoDB   非结构化数据   论文评阅与答辩系统  

摘要： 随着高校在研究生教学工作中的不断深入和发展,研究生的招生人数也随之增加,保证研究生毕业论文答辩工作的顺利完成变得十分重要。与此同时,各高校的信息化水平也越来越高,因此,有必要建立一套完整高效的论文评阅与答辩系统对研究生论文评阅与答辩工作进行高效、规范的管理。这即促进了论文评阅工作的透明,保证答辩审核的公平与公开,也方便了在职研究生高效率地进行论文答辩工作。所以,建立一套完整高效的论文答辩系统对于高校研究生教学管理和教学质量有着重要的作用。本文以研究生论文评阅与答辩管理的规范流程和需求为依据,使用统一建模语言(UML)对系统进行了详细的业务分析和功能分析。详细分析了论文评阅与答辩工作中文件申报、资格审核、文件审核、论文评阅、答辩安排、现场答辩等核心业务和功能。在系统设计方面,进行了体系结构设计与功能模块设计,并且结合MongoDB的特点进行了实体业务对象设计。在系统应用方面,本文按照功能模块从模块组件、应用界面以及核心功能代码三个方面展示了系统的实现与应用情况。在系统技术设计方面,该系统采用了Restful风格的Web API来构建HTTP服务框架,它支持HTTP的全部特征,可以采用轻量级的JSON格式传输数据。它轻量、灵活,开发速度快,而且可以方便地使用互联网上提供的各种服务,更适合构建跨平台的应用。另外,考虑到论文答辩工作流程中产生的大量文件数据,为了提高数据传输效率,系统采用JSON格式封装数据,所以传统的关系型数据库就不再适合系统中数据的存储和管理。因此系统在数据库设计方面,采用了目前较为成熟、功能丰富的非结构化数据库MongoDB。它是基于文档的,采用类似于JSON格式的BSON格式进行数据的存储,这一点也十分符合系统的数据封装和传输需求。本系统的实施可以使本校的研究生论文答辩工作高效规范地进行,这不仅方便了学生、老师和专家的工作,同时也促进了学校整体教学工作的信息化和规范化管理。

关键词： 备灾救灾   物资管理   信息系统   需求分析   UML建模  

摘要： 随着互联网技术的快速发展成熟,我国各行各业的信息化水平都在快速发展提高。当前,我国物资管理行业正处在一个快速发展的时期,现代化的物资管理目标在于提高管理效率、降低物流成本、满足客户的多样化需求,并呈现出信息化、智能化和规范化的特征。而信息化是现代物资管理的核心,只有实现物资管理的信息化,才能够提供可靠、安全的物资管理服务,促进物资管理的现代化和系统化发展。而针对备灾救灾物资的管理,由于其特殊性和重要性导致其现代化发展速度一直处在较低水平,高效准确的物资管理离不开科学严谨的管理信息系统的有效支持。因此,本文根据备灾救灾管理中心的物资管理情况,结合计算机技术对现有的物资管理业务进行信息化改造,设计和开发了备灾救灾物资管理信息系统,并对该系统进行了研究与分析。首先,论文对备灾救灾物资管理信息系统的研究背景和意义进行了分析,对比了国内外物资管理信息系统的发展现状,阐述了论文的研究内容和本人的工作内容。然后,对系统功能模块进行业务需求分析,系统的功能模块包括物资信息管理、物资入库管理、物资出库管理、物资盘点管理、库存统计分析及备灾救灾物资发放管理。采用面向对象的统一建模语言对系统的业务问题和组织职能进行分析,并使用了系统业务的流程图和功能用例图的方式对系统业务流程和功能用例进行优化分析,并在此基础之上对系统的各功能模块进行包图设计;其次,对系统的功能业务处理相关数据进行分析设计,主要采用类图设计的方式对其进行分析阐述,并对系统后台数据库中的数据实体类实体关系图和数据库表项进行设计分析。最后,对该备灾救灾物资管理信息系统的研究分析进行总结与展望。

关键词： 结构化分析   资源共享管理   信息系统   管理信息化  

摘要： 管理信息化指的是在管理领域使用现代信息技术、计算机科学及互联网技术,通过计算机对数据、信息等资源进行有效管理,同时也将被管理组织内部资源和数据进行有效地组织,从而达到高效的管理要求。在现实生活中,校园信息管理系统主要是将日常管理中所产生的数据、信息数字化、组织化和结构化。通过这种方式将计算机、互联网技术与管理相结合,并利用网络通讯的实时性以及可靠性,从而使用人员可以实时的对学校信息的查询或者更新,保证所面对数据的实时性。通过这样的方式可以加强人们对管理事务的掌控实时性。在本文的内容中,主要是根据结构化方法完成校园资源共享管理信息系统的开发与设计。首先根据校园资源共享管理的所将要面对的业务流程进行了解和剖析,然后对所要设计资源共享信息系统进行需求分析,并的本文设计信息管理系统主要有基本信息管理、资源共享管理、接鸡蛋管理、留言评价管理和等级评定管理五个部分构成。接着根据所要设计资源共享管理信息系统实际流程分析从而完成对五个部分的业务流程而给出初始的业务流程图设计,同时所设计业务流程图与计算机管理技术相结合从而给出可相应的业务流程图的优化图。在本文接下来的内容中,是根据分析的业务流程,对系统的功能结构进行分析与设计,并根据功能组织结构设计出相应的数据流。然后从顶层到底层对数据流进行逐步分析,从顶层的顶级数据流到一级数据流以及根据系统中五个主要的业务流程给出相应的二级数据流。最后根据数据流的走向以及相应的功能组织结构,分析出系统中的相应的实体集以及其属性,并对其实体与实体之间的关系进行表达,给出系统中需要的关系。在本文最后一部分最后通过分析出的实体以及关系给出系统中所设计的相应的表。在完成相应的数据库的设计之后,借助编程开发软件,完成对该系统开发。本文在对系统的业务流程进行详细的梳理的基础上,对系统做了需求分析、数据库设计、详细设计、系统实现等工作。以一个实际系统开发的流程详细的对系统进行了介绍。

关键词： 纯面向对象   UML建模   多层体系结构   农作物信息  

摘要： 在信息技术高速发展的时代,各行各业都在大力推进自身的信息化建设,以期实现行业现代化、促进行业经济发展、增强行业核心竞争力的战略目标。同样,农业信息化既是将传统农业升级改造成为高水平的现代农业必须逾越的屏障,同时也是现代农业发展的必然趋势与坚定基石。通过充分结合现代信息技术和农业科学技术,农业信息化使得农业生产及其相关信息的传播、交流与服务更广泛、更即时、方便快捷,从而有效推动农业经济的发展。在传统农业中,农业信息的获取方式与手段单一、范围有限、效率低下,农业信息的时效性与准确率不高,成为农业生产与发展的制约瓶颈。现代化农业信息服务平台能够彻底改变传统农业中低效、落后的信息获取方式,帮助人们快速、方便地获取农业资讯,显著提高获取的农业信息的准确性以及时效性。《农作物信息Web服务平台的构建》是2012年度山西省科技攻关项目《可视化农产品供需信息服务平台》项目的子课题。其研究目标和任务是构建一个以公共网络平台为基础,以数据库技术为核心,Web服务技术为支撑,直接面向各级各类从事农作物生产、经营和相关研究的组织和个人的全开放农作物综合信息服务平台,实现农业种植信息发布和获取过程的便捷化。《农作物信息Web服务平台的构建》的主要功能包括以下几个组成部分:农业资讯、种植物、种子、种植技术、病害防治、农药农肥、咨询平台、用户管理等部分。用户可以使用系统浏览农业新闻、惠农政策,根据关键字查询、搜索种植物、种子、农肥农药、种植技术、病虫害及防治等信息,还可以在线留言、专家咨询、同行交流等。系统会根据用户的兴趣度,向其推荐热点资讯。管理员可以与用户进行交流,发布和推广农业研究成果,负责对相应的板块进行增、删、改等的内容维护操作,保证信息的及时更新与管理,并管理和授权平台用户。《农作物信息Web服务平台的构建》的主要工作是:(1)确立了系统的研究目标、任务、软件需求及开发方法;(2)给出了该服务平台的分析与设计模型、阐述了关键算法原理,并采用UML建模语言描述;(3)确定了面向对象的基于开放式、多层次、可扩展体系结构的系统架构;(4)确定了系统的开发语言、环境平台和工具。系统基于Apache Tomcat 6.0 Web服务器、MySQL 5.0数据库服务器平台及Struts 2.0+Spring 4.0+Hibernate 3.0 SSH框架使用Java语言实现。

关键词： 信息系统   招投标管理   UML建模   需求分析  

摘要： 改革开放以来,本国市场经济得到了快速发展,工程中所涉及的工程招投标体系也逐渐成熟起来,在工程中发挥了不可替代的作用。随着政府招投标业务的规范化,业务流程的日益复杂化,,对工程招投标流程监管目趋严格,传统的招投标流程管理存在着很多问题,主要表现在：招投标监管力度不够,业务效率低下等,因此建立新的招投标业务管理系统尤为重要。论文介绍了中山市政府工程招标管理系统的研究背景、项目意义和目前的研究与应用现状,描述了市政工程招投标业务管理系统开发方法和相关技术；明确了论文研究的内容和主要工作；对中山市市政工程招投标信息管理系统进行了详细的需求分析,在业务分析中,论文对中山市市政工程招投标信息管理系统存在的问题、组织机构、原有业务流程等进行了分析,给出了优化后的业务流程；在功能分析中,论文通过用例分析和用例描述,明确了中山市政府工程招标管理系统的功能,给出了系统的总体功能包图和子功能包图;在数据分析中,论文对系统各功能的所需要处理的数据进行了分析,给出了实体类关系图,建立了数据库表结构；在系统设计过程中,把系统分为工程公告管理模块,工程投标管理模块,资格预审管理模块,工程开标管理模块,合同跟踪执行模块,基础数据管理模块,系统管理模块等七个功能模块。论文最后对所做的研究与分析工作进行了总结,指出了论文存在的不足,并对进一步的工作进行了展望。

关键词： 信息系统   UML建模   数据库建模   活动管理  

摘要： 对于大学生,除了课堂学习以外,参加各种活动也是丰富大学生活以及提升各方面能力的一个重要渠道,本校团委经常组织各种丰富多彩的活动,在活动发布、活动报名、现场管理、事后数据统计等方面花费很大的精力,但也经常会出现各种问题。针对这些问题,本论文从大学生团委活动管理(简称活动管理)系统的研究背景、项目意义和目前的研究与应用现状入手,明确论文研究的内容和主要工作；在业务分析中,论文对原有常规活动管理方式存在的问题、组织机构、原有业务流程等进行了分析,并给出了优化后的业务流程；在功能分析中,论文通过用例分析和用例描述,明确了系统的功能,给出了系统的总体功能包图和子功能包图,包括活动发布、活动报名、现场签到、记录管理、活动参与结果公示、基础数据管理、系统管理等子包图；在数据分析中,论文对系统各功能的所需要处理的数据进行了分析,绘制了实体类关系图,建立了数据库表结构；论文最后对所做的研究与分析工作进行了总结,并对进一步的工作进行了展望。