教学课程资源库 更多>>

关键词： 提前招生   UML建模   流程优化   多终端响应   在线缴费   数据对接  

摘要： 在高职院校提前招生过程中,很多学校的招生安排与录取依然依靠手工操作和单机PC管理,这使得招生录取安排工作繁重、录取周期较长,给考生带来了极大的不便,造成了时间、人力资源的极大浪费;并且手工操作出错的风险高,而招生考务工作出错要求零容忍,因此手工操作和单机PC管理信息系统的工作方式已经不能满足实际需要,不适合新形势下的要求。研究和设计适应当前高职院校提前招生的基于B/S架构的管理信息系统已非常必要,其能够提高招生录取工作效率,给考生、家长、招生院校各部门、考试院等带来便利。根据高职学校提前招生的实际需求,本文将结合现阶段国家招生改革的新思路,探索高职院校招生管理理念和信息技术相互融合,主要研究并设计切合省内高职院校提前招生实际情况的以B/S架构为主的多终端响应的招生信息管理系统,研究的重点是如何采用软件工程理论与技术进行详细的UML建模,论文主要优化重构招生录取流程、规范数据标准实现数据对接、多终端响应、实现多种在线缴费方式,实现了高职院校提前招生录取的全生命过程。本文以省内某高职院校的提前招生为调研对象,首先进行需求分析,包含考生需求、招就处需求、教务处需求、财务处需求、各院系需求等;其次优化招生流程,具体优化报名流程、考试流程、录取流程;再次进行UML建模与设计,主要对在线缴费、成绩查询、录取查询、准考证生成、成绩计算、在线录取等功能模块进行详细建模设计,最后利用***(C#)+MS SQLServer设计实现、调试使用。本系统截止2018年4月底,已在省内某高职院校投入使用2年,共计服务近万师生,经过试验和应用,本系统在招生过程中能够高效无误的管理各种数据,有效优化招生录取处理流程,提高招录工作效率,给考生和招录人员带来便利;增加招生过程的透明度,实现了数据的标准化、一致性。本论文研究设计的高职院校提前招生管理系统具有一定的实用价值,通过某高校的使用后期望能推广至其他高职院校的提前招生录取中。

关键词： 高职院校   单独招生   管理系统   需求分析   UML建模  

摘要： 高职院校单独招生是我国高考选拔制定的改革的一项重要举措,近年来,各高职院校围绕自身的办学特色,开展了单独招生方式的探索、试点,逐步形成了高等教育多元化的选拔机制[1]。随着单独招生选拔方式的不断深化,以及高职院校招生规模的扩大,对单独招生工作的要求也越来越高。如何突出学校的办学特色,如何选拔优秀的、适合的生源,如何让考生及时、准确了解和掌握学校的招生信息等等问题日益凸显。鉴于此,云南经贸外事职业学院以信息化为手段,结合单独招生的工作特点,着手单独招生辅助管理系统的研究,以提高我校单独招生工作效率。本文以我校单独招生业务为核心,以软件工程的思想和方法为指导,首先研究和分析了招生管理系统在国内外的发展情况及发展趋势,对其优点进行学习和借鉴,并结合我校单独招生实际情况,梳理了我校单独招生业务流程,分析业务.中存在的问题和不足,然后对我校的单独招生辅助管理系统进行了研究和分析,优化了单独招生管理流程,进而对系统功能进行详细分析,并采用UML工具进行建模,系统包含招生计划管理、考生报名管理、考生成绩管理、考生录取管理、数据统计分析等功能模块,在此基础上,进一步对系统的数据需求进行了分析和描述,设计了数据库表。本系统的研发和应用将对我校单独招生管理工作提供强有力的决策支持。

关键词： 形式化方法   云计算   MapReduce   模型检测   对象约束语言   计算树逻辑  

摘要： 随着计算机软硬件体系的发展,能够确保其安全、可靠的形式化验证成为研究热点。其中,模型检测作为一种用来验证有限状态系统是否满足形式化规范的高度自动化的验证方法,备受关注。但是随着形式化方法的发展,约束规则的增加以及状态空间的复杂,如何更好地提高大规模约束规则查询的速度,保证具有复杂状态的模型检测的效率,已经成为一个迫切需要得到解决的问题。在形式规约方面,面对大规模约束查询,基于单节点的约束查询方法已经无法高效地完成大规模的查询任务,例如对象约束语言的约束查询效率过低问题。在形式验证方面,面对复杂系统模型检测,可能导致状态爆炸问题,例如计算树逻辑模型检测状态爆炸问题。相关研究表明可以利用云计算平台,解决上述形式化方法面临的问题,保证相关查询以及验证算法的效率。在此基础上,本文为了应对大量约束查询带来的挑战,提高OCL查询的速度,提出了一种基于MapReduce的OCL并行查询方法。这种方法通过提取OCL对象属性集合,实现从OCL规则库查询到OCL对象属性查询的转化,并利用MapReduce实现对象属性并行查询,缩短了OCL查询时间。实验结果表明,利用MapReduce实现对象属性并行查询,缩短了OCL查询时间。同时,针对模型检测的状态爆炸现象,论文设计了基于MapReduce的模型检测算法。此方法结合Kripke结构定义一种适用于MapReduce的数据结构,并利用这种数据结构提出一种基于MapReduce的模型检测算法。此外,为了解决MapReduce处理迭代数数据时性能欠佳的问题,提出一种基于HaLoop的CTL并行模型检测算法。实验显示,上述方法可以很大程度的缓解状态爆炸的问题。

关键词： 形式化方法   互模拟等价   RDF图  

摘要： 随着计算机科学的发展,形式化验证方法在软件和硬件领域的应用越来越广泛。互模拟等价关系是形式化方法中的一个重要概念,它表示两个转移系统之间的等价关系,当两个系统互模拟等价时,它们可以相互模拟彼此的动作。互模拟等价关系对并发系统的验证与分析具有重要作用,比如:两个转移系统满足相同的CTL(计算树逻辑)和CTL*公式当且仅当它们是互模拟等价的。互模拟等价验证算法可以分为局部算法和全局算法。本文主要研究这两类算法。本文的主要贡献如下所示:(1)对局部算法以及准局部算法的实现过程进行了优化,比较了它们的运行效率。之后,通过对标号转移系统的饱和处理将这两种算法推广到了弱互模拟等价的验证问题中。(2)实现并比较全局算法。全局算法的核心思想就是划分等价类,本文详细解释了这一思想的发展和演变过程。算法在一个初始分类的基础上对等价类不断地进行分割精化,直到满足如下条件:(1)所有互模拟的状态都属于同一等价类(2)一个等价类内的所有状态都是互模拟的。之后重点介绍了时间复杂度为O(mlogn)的Valmari算法,并分别用Java和C++实现了算法,然后将这两种版本的算法和CADP工具进行了比较。(3)全局算法的应用。上文提到的Valmari算法也是一种互模拟压缩算法,本文分别实现了由Valmari和Alexander Sch?tzle提出的两种互模拟压缩算法,并将其应用于知识图谱的互模拟压缩问题中,比较了两种算法的运行效果。根据实验数据可知,在PC平台上处理百万级规模的数据时可选择基于内存的Antti Valmari算法,在服务器的数据库中处理更大规模数据时可选择基于外存的Alexander Sch?tzle算法。

关键词： 机载火控   DSP   结构化设计   导航与攻击包络  

摘要： 机载火控系统是飞机作战不可或缺的重要组成部分,其性能直接决定了武器弹药投射的命中精度和飞机作战效能的高低,机载火控系统软件控制着系统的运行,设计出满足其总体性能技术指标的软件是本课题需要进行的工作。为实现航弹真实有效投放,研究X型滑翔炸弹的工作原理,结合火控系统总体技术指标和功能要求,提出一种与之相配的火控流程方案和模拟流程方案,从而提高作战效能。为满足高性能要求,采用高速数字信号处理器(DSP)作为核心处理器进行数据计算。为提高软件的可靠性和安全性,采用结构化设计方法实现软件架构。为提高投放精度,采用GNSS定位飞机的位置和速度,研究大地测量技术进行导航及攻击包络运算,从而引导飞机精确投放。为满足系统功能要求,着重研究图像处理中基本图形绘制算法、字符取模方法、非易失闪存技术,从而实现软件数据通信、导航及攻击参数动态显示、火力控制引导、飞行数据记录、故障处理、系统检测等功能。本文首先介绍了机载火控系统总体设计方案,结合硬件资源条件,介绍了硬件设计及布局,依据总体技术要求,进行了软件功能及数据需求分析,同时介绍了存储器分配情况及软件引导过程,完成了整个软件架构设计。同时结合目前技术发展现状与实现情况采用模块化设计,并对关键模块设计及实现形式做了介绍并进行了相关理论分析与研究,并完成了方案细化。最后使用GNSS模拟器模拟载机的飞行轨迹,对机载火控系统进行了仿真测试,通过对记录数据的分析,系统运行状态及结果满足总体技术输入要求及指标。

关键词： 信息管理系统   教学评价   UML建模   评价结果反馈   数据库建模  

摘要： 加强教师队伍建设,提升教育质量,是当前全面深化新时代教育改革的重要举措。随着“互联网+教育”的发展,互联网、大数据、移动APP等新一代技术和设备不断应用于教育,教育教学的手段、方法和内容发生了极大的变化。改革教师教学评价系统,缩短评价周期,及时获得结果,是当今教学评价的发展必然。本论文以昆明市财经商贸学校教师教学评价系统为研究载体,并结合软件工程知识进行研究与分析,完成的主要工作如下:(1)开头阐述了该系统开发的项目背景,探讨了开发的意义和有关的研究及应用现状,提出了论文的研究方向、实现的内容和主要工作。(2)业务分析中,对学校现有的教学评价的弊端、现存的工作流程等进行了业务建模,并引入系统,得到优化后的业务流程。(3)功能分析中,论文基于业务分析得到的优化流程,绘制了系统用例图,结合用例描述,用包图绘制出教学评价系统的功能,来确定系统的作用。(4)数据分析中,论文根据用例图及其描述,对教师教学评价涉及的教学评价指标管理、学生评价、教师互评、教师自评、专家评价、评价结果反馈、基础信息及系统管理八大模块进行了详细的分析,提炼出类图,从实体关系类图和数据库表结构着手对系统相关的数据进行阐述。(5)最终归纳本人从写论文前期工作到完成所做的工作,并对将来可能进一步开展的工作作出了展望。教学评价系统的搭建调动了广大教师研究教学的积极性,推动昆明市财经商贸学校在众多中职教育中脱颖而出,保持教学特色,为国家培养高素质的技能人才。

关键词： 计算机联锁系统   形式化验证   UML   NuSMV   模型转换  

摘要： 计算机联锁系统是铁路控制的核心系统之一,是保障铁路运输安全的重要一环。作为典型的安全苛求系统,计算机联锁软件的设计与开发应严格地按照相关规定和高行业标准进行。随着铁路系统的快速发展,在联锁软件开发的需求分析阶段通过形式化的验证找出存在的问题,对保证铁路运输系统的安全高效运行有着重要意义。然而直接采用形式化方法有着对专业知识要求高、使用难度大和建模效率低下等缺点,因此在站场的规模与复杂度不断提高的今天,需要开发一种更加高效便捷的联锁软件形式化验证方法用以保障其正确性。UML(Unified Modeling Language,统一建模语言)如今被广泛应用于软件开发领域的各个阶段,它通过多个视图结合能够准确全面地从不同角度描述一个系统,然而其作为一种半形式化的语言不能提供有效的自动分析与验证方法。NuSMV(New Symbolic Model Verifier,符号模型验证器)是一种高效成熟的形式化验证工具,若能够通过UML建立联锁系统模型,再将之转化为形式化的NuSMV模型并对其进行验证,则可以通过间接的方式实现降低对联锁系统形式化建模与验证的难度与提高效率的目的。针对上述问题,本文提出一种UML与NuSMV相结合的计算机联锁系统形式化验证的方法。首先分析联锁系统的框架结构与进路控制中每一阶段的需求,并针对进路选择阶段提出了一种基于坐标与站场拓扑的进路搜索算法,以一个标准站场为例利用UML类图、状态图与顺序图这三种视图建立联锁控制逻辑的需求模型。其次分析对比UML模型与NuSMV形式化模型在结构和语义上的关联,并结合设备间相互制约的特点制定了一套UML模型到NuSMV模型的转换规则。然后根据此规则在C#环境下编写了相应的模型转换程序,完成了UML模型到NuSMV模型的批量自动转换。最后,分析与提取计算机联锁系统需遵循的相关技术规范,应用CTL(Computation Tree Logic,计算树逻辑)表达式描述联锁模型应满足的一些性质,并将其作为验证语句输入至NuSMV验证器当中完成对计算机联锁系统模型的验证工作。验证结果表明:该方法能够实现高效准确地验证联锁系统需求的正确性,且能够举出反例从而修正可能出现的错误,为计算机联锁系统需求模型的正确性验证提供一种新思路。

关键词： UML   业务建模   关系模式   数据库   DDL  

摘要： 在实际项目开发的应用中,代码与数据库结构绑定的非常紧密,会因为数据库设计的优劣改变对象的抽象性。关系模型的规范化理论是关系型数据库逻辑设计的基础,信息系统开发人员对关系规范化的运用能力将直接影响所设计数据库系统的质量,并进而影响整个系统的性能.降低待开发系统的成本。一般数据库结构的设计满足关系模式的第三范式就可以了,BC范式已达到完美的程度(已完全消除了有害的函数依赖关系)。在小范围内,不影响到核心业务流程,为了设计开发的方便,允许一些特殊的设计出现。规范是用来约束设计的,约束的目的是为了最终整理设计的合理性、为了最终项目的合理性、为了最终项目的稳定性。本论文以RUP软件方法为指导,UML为建模语言,将两者相结合,从UML所有模型中寻找需要的适合的视图,把软件过程要达到的要求和功能记录下来,分析出系统的迭代建模过程,通过设定出软件结构组成的规划和职责,形成职责和结构清晰的软件架构,符合MVC模式设计,实现“高内聚低耦合”的思想。通过类图转化为数据库定义语言(DDL),验证DDL的关系模式的合理性和规范化。以网吧识别嫌疑人系统为例验证了所得数据库定义语言关系模式符合第三范式以及数据库关系模式的合理性和规范化,并进行了分析结果的比对。规范化的DDL可以很大限度的合理的处理数据,减少数据的冗余,保证了数据库设计的正确性和稳定性。

关键词： 面向对象技术   UML   SSH   数据库   映射  

摘要： 针对面向对象的分析与建模课程的特点,将教学内容中的面向对象UML建模技术结合流行的SSH框架对行业软件进行分析与设计,使设计方式简练准确,最终软件呈现运行高效的特征.通过课堂引入案例改进课程教学内容的教学,经过教学实践证明能够有效提高课堂教学的效果和质量.