教学课程资源库 更多>>

关键词： 体系结构设计   UPDM   STK   仿真   反导  

摘要： 军事信息系统体系结构是信息系统设计、研制、开发与使用的基础。目前,国内还主要采用以文本论证和专家研讨的方法进行体系结构开发,但系统工程理论与方法实践的发展,武器装备体系化趋势越来越明显,武器各系统间连接越来越复杂,传统方法在描述体系结构不清晰、无法开展早期验证等方面的缺陷逐渐凸显出来,已难以支撑日益复杂的军事信息系统设计与需求验证。本文针对基于UPDM的信息系统体系结构设计与验证,主要研究了以下几个方面:(1)研究了基于UPDM的体系结构设计方法首先对UPDM工具进行了介绍,然后在“以数据为中心”体系结构开发6步法的基础上提出基于UPDM的体系结构产品开发顺序,最后提出了基于UPDM的体系结构开发原则,用以指导体系结构的描述和开发。(2)研究了基于UPDM的可执行体系结构建模和仿真方法探索了基于UPDM的信息系统可执行体系结构设计的基本思路,包括UPDM、STK、仿真模型3个部分,然后研究了 UPDM与STK的互联方法,最后提出基于体系/系统双层建模框架,与以UPDM为中心的的体系结构联合仿真方法。(3)建模分析了基于UPDM的“宙斯盾”系统反导作战案例采用体系层/系统层两层建模思想应用STK设计“宙斯盾”系统拦截弹道导弹仿真想定,开展UPDM可执行体系结构模型与武器装备模型联合仿真,初步分析了电子干扰机干扰距离与反导系统时延对弹道导弹突防有效性的影响。

关键词： 低维磁性材料   过渡金属磷酸盐   制备工艺   晶体结构   磁学性质  

摘要： 过渡金属磷酸盐体系不仅具有丰富的结构化学特性，而且在非线性光学、离子电导、多相催化、磁性等诸多领域中表现出奇特有趣的特性。在过渡金属磷酸盐体系中，PO4四面体通常与MOx（M为过渡金属元素）多面体通过共用氧包括共顶点和共边的方式连接形成骨架结构。另外，引入离子半径较大的碱土金属元素Sr2+、Ba2+和卤素离子有助于切断或阻隔材料晶体结构在三维方向的延伸，使晶体结构趋于低维稳定，形成低维磁性材料。本论文依据过渡金属磷酸盐的研究现状，选取常见的Cu2+、Co2+作为磁性中心，以磷酸根基团作为构成骨架的主要桥联基团，引入合适的非磁性辅助基团或离子（如碱土金属、卤素离子等），在水热条件下，通过元素替换和实验优化的方法合成新型的高纯度过渡金属磷酸盐。本论文共制备出四个Me-M-P-O-X体系的化合物(Me为碱土金属元素;X为卤族元素)，通过X-射线技术确定了化合物的晶体结构和纯相，并对这些化合物的磁学性质进行了表征和分析。　　***2Cu5(PO4)4X2·8H2O(X=Cl,Br)　　Sr2Cu5(PO4)4X2·8H2O(X=Cl，Br)结晶于不同的空间群，但具有相似的层状骨架结构。结构分析表明该化合物具有独特的王冠形的{Cu5(PO4)4X2}结构单元，{Cu5(PO4)4X2}结构单元彼此交替连接形成扭曲的层状结构，Sr2+和游离的水分子位于层间的空隙中。磁性和比热测试表明两种晶体在低温形成了长程反铁磁序，理论模型拟合结果显示两种晶体的磁性离子Cu2+之间的磁交换作用大小相近，表明卤素的引入对体系的磁交换作用没有产生较大的影响。　　***4F(M=Cu，Co)　　BaMPO4F(M=Cu，Co)晶体同构，均含有孤立的{MO4F}四方锥形结构单元，每个{MO4F}结构单元沿a轴方向与PO4基团通过共顶点交替连接形成zigzag链，每条链与周围相近的四条链通过与PO4基团共顶点连接形成三维结构，并且形成了较大的十边形孔道，沿a轴方向无限延伸，Ba2+离子仅处于十边形孔道中。磁性和比热测试表明两者磁性差异明显。BaCoPO4F在22K左右出现了短程序，并在11.3K形成了长程反铁磁序。而BaCuPO4F具有顺磁基态。

关键词： 技术   UML建模   高校资产管理系统  

摘要： 随着计算机网络的建设和发展,许多高校都建立了一系列的信息化管理系统,但是目前高校资产管理系统存在程序繁琐和信息更新不及时的问题,需要进一步的完善和改进.本文采用***技术对高校资产管理系统进行流程化设计,通过UML建模的方法介绍设计和实现的过程,系统建立以后能够满足高校资产管理系统的需要,可以将高校资产的价值能够充分发挥出来.

关键词： 网络备课系统   UML建模   B/S架构   MVC三层架构  

摘要： 随着教育技术的进步，社会各界对教育的重视，利用网络进行远程教学已经是教育界的一个趋势。随着网络教育的逐步完善，越来越多的学校和教育系统倾向于使用网络进行资源管理与资源共享。与传统的备课管理模式和教学管理手段相比，基于web的备课系统不仅摆脱了传统教学管理中的区域局限性，而且为资源的易于整理提供了很多方便和有效的途径和手段，另外基于web的备课系统也给老师提供了非常好的网上分享和教案资源管理的平台，有效利用网络空间与资源，实现异步异域协同工作，交流经验，提高集体备课的效率与教师教学质量，促进教师专业水平发展的一个实践社区平台。正是由于这样的发展趋势，本文以现代教育技术学、计算机科学为理论指导，以学校的实际需求为出发点，设计与开发了此系统。　　本文首先介绍本课题研究的背景与意义，从不同角度分析本课题的研究重要意义;并对课题相关的国内外研究进行简单的介绍，分析国内外此类系统的主要内容和建设方案;随后介绍了系统开发的技术情况;经过前期的理论基础，本文从不同角度论述了课题开展的可行性，从系统用户的角度，分析不同用户角色应该涵盖的主要功能，通过用户需求分析，分析从三大用户的用例图，并细化分析;论文在概要设计部分首先描述了系统设计原则，如何确保系统最高可用，最低后期维护成本，通过模块的方式分析了总体技术架构同时分析了系统数据库设计，包括主要E-R图和主要表结构的设计;本文还对系统进行了详细设计，系统详细设计首先是系统基础设计，包括用户角色和权限设计等UML建模方式，详细描述系统的设计情况，采用MVC三层架构实现系统，并给出系统的设计界面。　　针对目前所存在的弊端，本课题积极响应教育部提出的“网络学习空间人人通”号召，结合互联网WEB方式提供应用入口，解决日常备案教学、经验分享交流等管理过程中的信息到达、信息反馈、信息统计的方式单一、使用不便等问题，同时建设一个实名制的教师交流，具有巨大的现实意义。

关键词： 信息设备   日常维护   管理系统   UML建模  

摘要： 随着社会经济的迅猛发展和科技的全面进步,计算机等相关领域技术也随之飞速发展,正逐渐改变着人们的学习、生活以及工作方式。计算机技术的应用方便了人们的生活,提高了人们的工作效率,给人们的生活带来了高效性和便捷性。云南交通技师学院拥有相当数量的以计算机为主的信息设备,随着学院计算机为主的信息设备数量的日益增多,越来越凸显其不足和弊端。为了满足对学院信息设备报修及管理的需要,取代现有的人工管理模式,减轻维修人员和管理员的工作强度,建设一套符合学院实际的信息设备日常管理系统显得十分必要。在本文的业务需求分析中,作者对学院信息设备的日常维护与管理业务中存在的问题进行了分析定位,基于学院信息设备日常管理的实际需求,对系统进行建模,以传统的管理模式为基础,对原有业务流程进行了业务流程优化和规范;在本文的功能分析中,对系统用户角色进行了分析,给出了学院信息设备日常管理系统的总体用例图,在此基础上通过子用例图对各块功能需求进行了分析,通过系统功能包图对系统的主要功能结构进行了分析;在本文的数据分析中,对学院信息设备日常管理系统控制类关系进行了分析,然后通过缩略类图对系统主要功能数据进行了分析,给出了系统的实体类关系以及数据库表结构。云南交通技师学院信息设备日常维护管理系统将故障报修管理、故障诊断管理、维修管理、评价验收管理、常规检查管理、系统管理、基础信息管理等功能集成在一个高效的管理平台上,不但提高了工作的效率,又有利于简化流程并且节省更多成本,为全院教职工用户提供全方位、全过程的信息设备报修以及评价验收服务。

关键词： 面向对象软件   自适应随机测试   覆盖率   距离信息   测试用例生成  

摘要： 随着信息化程度的不断增强,越来越多的软件采用面向对象编程技术研发,这类软件称之为面向对象软件,其质量问题一直是人们最为关注的热点问题。然而,由于面向对象软件的三大固有特征,使得软件测试面临着前所未有的挑战。在众多的测试方法中,基于随机测试的测试方法应用最为广泛,但是效率以及效果不是很理想,所以近年来有学者对随机测试方法进行了改进,提出了自适应随机测试方法,并且取得了较好的测试效果。软件中的失效区域通常是连续发生的,Chen T Y教授根据这一现象对随机测试方法进行了改进,提出自适应随机测试方法。自适应随机测试方法执行时,通常会产生已执行测试用例集和候选测试用例集两个集合,从候选测试用例集当中挑选出距离所有已执行测试用例最远的测试用例作为下一个可执行用例,如果没有引发程序失效,则将其加入到已执行测试用例集。为了增加所挑选测试用例的有效性,论文决定引入覆盖率信息,将语句覆盖率同距离信息综合考虑来挑选测试用例,从而提高错误检测率。本文针对以上问题分别提出了基于覆盖率的面向对象软件动态测试用例生成方法和基于覆盖率的自适应随机测试方法,并分别进行了实验分析,从而证明了这两种方法的可行性,同时设计并实现了一个测试原型系统。本文主要完成工作阐述如下:1.提出了基于覆盖率的面向对象软件动态测试用例生成方法。在该方法中阐明了覆盖率动态排序监测技术,并且详细分析了该技术的三大组成模块,分别为预处理模块、程序插桩模块以及排序模块,其中程序插桩模块中定义了三类插桩规则,用于监测测试用例在执行过程中的四类覆盖率信息。在四类覆盖率信息中,选择其中的语句覆盖率信息应用到面向对象软件动态测试用例生成技术中,使得生成的测试用例能够拥有较高的语句覆盖率信息,从而提高检错效率。2.提出了基于覆盖率的自适应随机测试方法。在该方法中阐明了利用基于覆盖率的面向对象软件动态测试用例生成方法生成候选测试用例集,定义权重之和的公式为Weight=Distance+Coverage,即先计算候选测试用例集中的每个测试用例与所有已执行的测试用例的距离之和并进行归一化处理,再依据候选测试用例集中每个测试用例的语句覆盖率信息,通过该公式计算得到Weight值,Weight值最大的即为下一个执行测试用例。另外还说明了面向对象软件测试的实现方法,其中包括测试流程、实现的相关算法以及测试结果的自动化分析。3.设计并实现了一个测试原型系统(ARTCovPS)。其中包含了类图录入模块、参数配置模块、DTCG-COV执行模块、测试驱动模块、FSCS-COV算法执行模块以及结果统计模块,ARTCovPS系统完成了整个测试流程,具有较好的可行性。

关键词： 电子病历   信息管理系统   B/S模式   UML建模  

摘要： 病历作为医务人员对患者疾病的发生、发展与转归,以及进行检查、诊断与治疗等医疗活动过程的记录,在整个患者诊断治疗过程中扮演着重要的角色。病历的电子信息化是医院信息化建设的基础与重点。本文以河北省某三等甲级医院电子病历信息化建设为研究背景,设计开发了一款符合医院病历管理业务流程的电子病历系统,进而提高了病历管理工作效率与诊疗服务质量,有助于医院信息化管理水平的提升。本文首先明确了医院对电子病历提出的功能需求与非功能需求,分析与梳理了与病历使用相关的业务流程。在用户需求分析的基础上,采用UML建模技术对电子病历系统进行了分析与设计。本系统设计采用B/S三层架构,实现了系统业务逻辑层、数据持久层与人机交互层逻辑独立,提高了系统扩展性与模块复用性。系统实现主要采用面向对象程序设计语言C#,关系型数据库管理系统SQL Server以及HTML、CSS等人机交互页面设计技术。所开发的电子病历管理系统可实现患者基本信息管理、诊疗管理、住院管理、会诊管理、质量管理、辅诊检查管理与数据检索管理等主要业务功能。最后通过编写测试用例,对电子病历系统进行了功能与性能测试。测试结果表明电子病历系统运行良好,符合用户需求,用户操作界面布局合理、交互友好,达到了设计目标。

关键词： 江西移动   掌上营业厅   结构化设计   APP  

摘要： 随着经济的发展与科技的进步,尤其是近几年我国移动市场的占有率在迅速增长,各类多样化的服务以及创新型业务手段更是不断更新,移动市场的竞争也出现白热化现象。前些年中国移动的大量业务的传播以及营销等采用的都是传统的形式,自从智能手机终端的发展,使用智能手机终端解决传统移动营业厅问题的模式成了现阶段人们研究的新热点。本篇文章以中国移动江西公司作为研究对象,在和江西移动公司相关部分进行深入交流与分析的前提下,阐述了江西移动掌上营业厅APP的业务分析、功能分析以及数据分析,其业务分析包括客户管理流程分析、SIM卡片管理流程分析、充值缴费管理流程分析、套餐业务办理流程分析、我的账单管理流程优化分析以及基础数据管理流程分析。功能分析对系统的顶层、一层、二层数据流进行了分析,并分析了系统的功能结构;数据分析是对系统的实体关系进行了分析并建立系统所涉及的大量数据库表。江西移动掌上营业厅APP具有很好的开放性、实用性、可扩充性、先进与高效性,外观实用,客户端的安全性能也非常可靠。江西移动掌上营业厅APP是安装在客户手机上的软件,让客户能够随时随地的查询营业厅业务,使得客户办理移动营业厅更加便捷,而且客户能够利用闲暇时间了解移动营业厅的套餐业务,使得客户能够选择适合自己的套餐业务。移动掌上营业厅系统满足了现代人群便捷的理念,将在未来占据整个移动业务市场,所以该江西移动掌上营业厅APP为未来营业厅发展打下良好的铺垫,具有较大的现实意义。

关键词： 安全关键系统软件   矿井机车无人驾驶系统   机车运行过程控制   形式化方法   Event-B  

摘要： 矿井机车无人驾驶系统在设计时具有较高的安全要求,属于典型的安全关键系统。然而,在安全关键系统软件的设计过程中,传统上基于软件工程的方法,一方面,在需求分析阶段,由于自然语言编写的需求文档难以保证需求的完备性和一致性,另一方面,仿真和测试的也无法保证软件分析和验证的完全正确,这些因素给系统的安全带来了隐患。目前,针对传统软件工程方法在开发安全关键系统中遇到的问题,科研人员采用形式化方法来保证安全关键系统软件设计的正确性,进而提高系统的安全性。Event-B作为一种全新的形式化方法,具有逐步精化的建模策略和基于定理证明的模型验证方式。通过采用Event-B方法对安全关键系统软件进行建模与验证可以更早发现并修复系统的漏洞,对于安全关键系统软件的开发具有重要的借鉴意义。本文针对安全关键系统软件——矿井机车无人驾驶系统研发中遇到的问题,提出了基于Event-B形式化方法的解决方案,并选取矿机机车无人驾驶系统的核心功能——机车运行过程控制进行了形式化建模与验证的探索研究。分别对只具有离散属性的机车模式选择过程,和既具有离散属性又具有连续属性的机车自主行车过程控进行了基于Event-B方法的建模与验证。本文的研究结果表明,基于Event-B形式化方法可以准确的描述机车运行过程控制中的离散属性和连续属性需求。同时,通过定理证明的方式可以有效发现需求文档中存在的需求不一致性、需求缺失和需求模糊等问题,进而提早发现并修正这些漏洞,有效的提高了系统设计的正确性,为矿井机车无人驾驶系统的研发提供了一种借鉴,同时也为安全关键系统软件的研发提供了一种新的思路。

关键词： 江门幼师   成绩管理   信息系统   需求分析   UML建模  

摘要： 最近几年,江门幼儿师范学校招生工作形势喜人,办学规模也逐渐扩大,学生的人数增加幅度很大;在教学过程中,不仅要进行大量的信息采集,而且还有较大工作量要归档,后期的查询工作、统计汇总也相当复杂。在当今信息时代,信息化、网络化对学生成绩管理比传统管理具有更大的优越性,因此,为提高成绩管理效率,更新成绩管理观念,江门幼师急需开发一套学生成绩管理系统。论文首先对江门幼师学生成绩管理系统的项目背景进行了阐述,随后对本系统在业务、功能、数据等方面进行深入地分析;在业务分析中,对系统中成绩信息登录与维护等六个原有业务存在的功能性、结构性不足,进行了深入的探讨,总结出优化的业务流程;在功能分析中,进行了成绩信息登录与维护等六个方面的用例图及包图的分析,给出了系统的总体功能包图和子功能包图;在数据分析中,分析了成绩信息登录与维护等六个方面的缩略图、实体类图,给出了系统功能的实体类关系图;最后,总结了对本系统开展的探究工作并对未来的研究工作进行了部署。