教学课程资源库 更多>>

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

摘要： 过渡金属磷酸盐体系不仅具有丰富的结构化学特性，而且在非线性光学、离子电导、多相催化、磁性等诸多领域中表现出奇特有趣的特性。在过渡金属磷酸盐体系中，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方式提供应用入口，解决日常备案教学、经验分享交流等管理过程中的信息到达、信息反馈、信息统计的方式单一、使用不便等问题，同时建设一个实名制的教师交流，具有巨大的现实意义。

关键词： 蚁群算法   形式化方法   形式化建模   层次化方法   定理证明  

摘要： 近年来,人工智能领域飞速发展,仿生优化算法是其中的一个重要方向。蚁群算法(ant colony algorithm)又称为蚂蚁算法就是通过模拟蚁群觅食行为而发展起来的一类仿生优化算法,且已广泛应用于路径规划、网络路由等多个领域。然而蚁群算法存在着基础理论研究不够完善、研究相对滞后,缺乏新的分析和建模工具的问题。本文从以上问题出发,将形式化方法用于对蚁群算法的研究中,主要完成了以下工作:首先对形式化方法进行了深入的分析研究,对三种常用的形式化验证方法进行了详细的分析与对比,最终将定理证明方法确定为本文的形式化验证方法。接着对基本蚁群算法的原理进行了详细的阐述,然后从算法的实现出发对其进行了形式化分析与建模,用层次化的形式化建模方法自外向内进行分析,然后自内向外进行形式化建模,将基本蚁群算法分为了三层,在高阶逻辑定理证明器中构建了一个可扩展的基本蚁群算法形式化模型,并完成了它的形式化描述。选择正反馈性和自组织性作为本文的验证目标。首先对这两个性质规范进行形式化描述,然后通过对比详细阐述了两种验证方法:正向证明和目标制导法,最后通过之前构建的基本蚁群算法形式化模型,选用目标制法,在高阶逻辑定理证明器HOL4中完成了规范的形式化验证,证明了此建模方法的有效性。最后将已建立的基本蚁群算法形式化模型用于对一个优化蚁群算法形式化建模,进一步论证了此模型的有效性与本工作的意义。对蚁群算法进行形式化研究,不仅为算法的基础理论研究提供了新方法,也可以作为算法应用领域拓宽的基础。此外,将形式化方法用于蚁群算法中是对形式方法自身应用领域的拓宽,同时对定理证明方法的自动化水平的提高有着实际意义。

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

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

关键词： RBC系统   形式化方法   时间自动机   UPPAAL  

摘要： CTCS-3级列控系统是铁路信号领域的主要技术设备,它担负着指挥列车运行,保证行车安全和提高运输效率的重要任务。无线闭塞中心(Raid Block Center, RBC)系统是CTCS-3级列控系统地面设备中的核心设备,它是实现安全、高效控车的关键。由于RBC系统作为安全苛求系统(safety critical system),不仅功能复杂,而且实时性要求极高,因此对RBC系统设计的正确性和可靠性提出了更高的要求。然而传统的系统设计方法存在不能及时发现软件错误和隐患的缺陷,本文探索采用基于时间自动机理论的形式化方法对RBC系统的软件进行安全性设计和验证,以期提高RBC系统设计开发的安全、可靠和正确性。对RBC系统的形式化建模与验证的实质就是寻求一个同被研究原型有极密切映象关系的时间自动机模型研究系统。本文在分析既有RBC形式化建模技术及其优缺点的基础上,研究和探索了根据系统规范对RBC系统基于时间自动机理论进行形式化建模和验证。由于RBC系统是一个大型的、功能复杂的实时系统,为了更加直观清晰地描述系统,以CTCS-3级列控系统标准规范为依据,以RBC系统的主要控车运营场景作为切入点,分析各个场景中RBC系统的控车流程,建立了主要功能场景的时间自动机模型,并通过通道和全局变量组建成时间自动机网络模型。然后在UPPAAL工具中对所建模型进行模拟仿真,提取系统的关键功能点,并将其转化为BNF语法中的语句,在UPPAAL验证器中对网络模型的正确性进行验证。利用UPPAAL验证的结果表明,所建基于时间自动机理论和基于规范的RBC系统形式化模型是可行的,也为设计正确可靠RBC系统提供了一条新的途径,具有实际工程应用指导意义。

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

摘要： 随着信息化程度的不断增强,越来越多的软件采用面向对象编程技术研发,这类软件称之为面向对象软件,其质量问题一直是人们最为关注的热点问题。然而,由于面向对象软件的三大固有特征,使得软件测试面临着前所未有的挑战。在众多的测试方法中,基于随机测试的测试方法应用最为广泛,但是效率以及效果不是很理想,所以近年来有学者对随机测试方法进行了改进,提出了自适应随机测试方法,并且取得了较好的测试效果。软件中的失效区域通常是连续发生的,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为未来营业厅发展打下良好的铺垫,具有较大的现实意义。

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

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