导读:本文包含了图元模型论文开题报告文献综述及选题提纲参考文献，主要关键词:形式化,描述逻辑,类图,元模型
图元模型论文文献综述
杨小钢[1]（2018）在《基于描述逻辑ALCUQI的UML类图元模型形式化方法》一文中研究指出UML是一种半形式化的语言,它缺乏精确的形式化语义,难易保证UML模型的一致性。描述逻辑是一种知识表示的形式化语言,具有强大的知识表示和推理能力。针对UML模型的形式化问题,提出基于描述逻辑的形式化方法,分析类图元模型元元素与描述逻辑ALCUQI的对应关系,提出基于描述逻辑ALCUQI的类图元模型形式化方法,给出类图元模型转化为ALCUQI知识库的正确性证明。(本文来源于《现代计算机(专业版)》期刊2018年25期）
徐彪,尹项根,张哲,陈国炎,杨雯[2]（2018）在《基于拓扑图元信息融合的电网故障诊断模型》一文中研究指出电网发生故障后快速准确地识别故障元件是缩小停电区域、快速恢复供电的首要前提。针对现有电网故障诊断方法基于单个元件独立建模,难以适应网络拓扑变化的不足,提出一种基于拓扑图元信息融合的电网故障诊断模型。从电网拓扑结构出发,形成系统各元件、保护和断路器的拓扑关联矩阵,以此为图形单元构建信息融合诊断模型,并根据保护配合逻辑及出口方式,定义了远后备保护拓扑映射规则及完整的信息融合推理流程,最后分析了模型对网络拓扑变化及连锁故障的适应性。IEEE 14节点系统仿真算例表明,该方法可以快速准确地判定故障元件,能够适应网络拓扑变化,具有较强的容错性。(本文来源于《电工技术学报》期刊2018年03期）
邢晓斌[3]（2016）在《GPU中几何图元光栅化模型的搭建和仿真》一文中研究指出光栅化是图像处理中特别重要的组成部分,它将由几何数据和像素数据定义的基本图元转化成与像素点对应的片段。点、线、叁角形是图像处理的基本图元,他们经过光栅化之后边缘就会呈现锯齿状,使得图像出现失真,为了更好地显示图像,我们要对其进行反走样处理,将边缘进行光滑处理。本论文介绍了点线叁角形叁种图元的基本属性,如点的大小,颜色,直线的宽度,点画模式,着色模式和叁角形的点画模式,着色模式,反走样处理等。根据叁种图元的基本属性,分别介绍了其光栅化和反走样算法。点的光栅化是根据点的坐标和大小确定点的正方形扫描区域,反走样通过点的圆域确定采样区域并进行多重采样来实现。线的光栅化是由改进的bresenham算法来实现,反走样通过距离加权算法,并对直线的端点进行修正来实现。叁角形的光栅化是采用基于bresenham算法与属性平面方程的插值算法来实现,反走样通过边方程和多重采样的处理方式来实现。根据以上算法和叁种基本图元的属性,搭建了扫描转换模块的仿真模型。点的光栅化和反走样模型主要包括点命令接收模块,点扫描区域,点的覆盖率计算和像素的输出模块。线的光栅化和反走样模型主要包括直线参数建立与主轴扫描模块,线宽垂直扫描,属性参数步进,反走样边界处理和端点处理,像素点的输出模块。叁角形光栅化和反走样模型包括叁角形参数建立模块,属性参数初始化,扫描插值模块,像素输出模块。验证平台采用pls_sim平台,此平台有完善的BFM,和输出结果对比单元,还有图像显示单元,既可以精确地检查输出的正确性,也可以直观形象地查看输出结果。并且激励采用随机向量,能够最大限度地验证RTL代码的功能的正确形。(本文来源于《西安电子科技大学》期刊2016-03-01）
李晶晶,江涛,郭雨婷,李迪,王米利[4]（2015）在《UML类图元模型基于描述逻辑的表示及验证》一文中研究指出UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.(本文来源于《云南民族大学学报(自然科学版)》期刊2015年04期）
曹双辉[5]（2014）在《基于图元特征的工业CT图像与CAD模型的比对系统的研究与实现》一文中研究指出在当前工业产品结构日益复杂的情况下，经计算机辅助设计加工制造成型后的产品，其制造工艺评价的关键环节即为分析工件的制造误差。工业CT技术作为一种先进的无损检测技术，因可以在不损害物件结构的情况，对工件的内外结构进行准确的测量而得以广泛应用。本文在研究算法的基础上，提出了一种基于图元特征的配准方法，实现并开发了CT_CAD_Match软件系统该系统用于工业CT断层图像与二维CAD模型的误差对比分析。并实现了工业CT图像点云模型、矢量化模型与CAD模型的比对分析，采用对其误差分析结果进行彩色云状图显示，进而实现工件的制造误差分析。为了实现工业CT图像模型与CAD模型的比对，首先，将工业CT图像模型转换为矢量化模型与边缘轮廓点云模型，在矢量化过程中，本文提出了一种基于误差补偿空间矩算法的精确矢量化方法，其次，采用人机交互的方式，并结合最小包围盒的思想，选取参加配准的几何图元特征对，实现测试模型与CAD模型的配准。其配准过程分为两个方面：工业CT图像矢量化模型与CAD模型的配准、工业CT图像边缘轮廓点云模型与CAD模型的配准。前者的配准条件即选择配对的图元特征，后者的配准需在圈选点云的拟合图元特征基础上实现两者的配准。经配准以后，需计算工业CT图矢量化模型与CAD模型、工业CT图边缘轮廓模型与CAD模型之间的法向误差，前者在实现工业CT图像矢量化模型任意图元与CAD模型的图元特征配对的基础上，将矢量化模型图元特征离散为48或8个点并求其到CAD模型所对应图元的法向误差，后者采用最小临近原则实现工业CT图像任意边缘轮廓点云数据与CAD模型图元特征的配对，从而计算点到CAD模型的法向误差。最后，对其误差分析结果采用彩色云图进行显示并设定超差范围进行红色预警显示及其近似度的计算，进而实现对工件制造误差的分析功能。文中所提出的方法及其相关算法均在误差比对系统CT_CAD_Match中得到了实现。为了增强软件的人机交互性、友好性及其完善性,另外软件增加了DXF、PCG文件的读取、图像的放大、缩小、平移、误差文件的输出等辅助功能。(本文来源于《重庆大学》期刊2014-05-01）
朱彬,王娜[6]（2011）在《UML用况图元模型的问题分析》一文中研究指出用况模型一直都是主流建模语言不可或缺的一部分。但是当前的用况模型在语义、语法和表示法上都有一些问题。许多学者都在讨论或者试图解决这些问题,但是他们多半是针对模型的某个方面,而不是针对整个模型(将整个模型的所有问题作为一个整体考虑)。前人的研究积累已经为完整地重构用况模型提供了基础,而完整地理解用况模型的问题及其根源则是有效重构用况模型的第一步。详细讨论用况模型存在的问题,从而给出用况模型问题的完整视图。(本文来源于《Proceedings of 2011 International Conference on Ecological Protection of Lakes‐Wetlands‐Watershed and Application of 3S Technology（EPLWW3S 2011 V2）》期刊2011-06-25）
朱彬,王娜[7]（2010）在《UML用况图元模型的问题分析》一文中研究指出用况模型一直都是主流建模语言不可或缺的一部分。但是当前的用况模型在语义、语法和表示法上都有一些问题。许多学者都在讨论或者试图解决这些问题,但是他们多半是针对模型的某个方面,而不是针对整个模型(将整个模型的所有问题作为一个整体考虑)。前人的研究积累已经为完整地重构用况模型提供了基础,而完整地理解用况模型的问题及其根源则是有效重构用况模型的第一步。详细讨论用况模型存在的问题,从而给出用况模型问题的完整视图。(本文来源于《Proceedings of 2010 International Conference on Remote Sensing (ICRS 2010) Volume 3》期刊2010-10-05）
冯桂焕,孙正兴,Christian,VIARD-GAUDIN[8]（2009）在《使用几何特征与隐Markov模型的手绘笔画图元分解》一文中研究指出图元分解是笔交互的关键环节.提出一种将几何特征和隐马尔可夫模型HMM(hidden Markov model)结合的笔画图元分解方法.该方法采用4种关键几何特征来描述笔画的局部几何信息,并通过HMM结构对绘制上下文的建模来描述笔画的全局几何特性,进而利用全局搜索与最佳匹配实现在尽可能不丢失笔画几何信息的前提下对数据进行最大限度的压缩,可在保证系统计算效率的前提下同时完成分割点的查找与图元类型的判定.实验结果表明了该方法的有效性.(本文来源于《软件学报》期刊2009年01期）
梅洋,李霖,郑新燕[9]（2008）在《基于图元参数模型的通用普通地图符号库研究》一文中研究指出地图符号库是地理信息系统中实现地理信息可视化的功能模块。现有符号库的符号设计机制各不相同,符号数据在符号库之间无法共享。此外,对于崩崖、沼泽等复杂符号缺少参数化的描述方法,难以自动绘制。在现有地图符号库研究以及相关标准的基础上,提出了地图符号的基本图元参数模型,并且针对复杂符号的特点对模型进行了扩展,最终实现了一个基于图元参数模型的通用普通地图符号库系统。(本文来源于《测绘科学技术学报》期刊2008年01期）
扈海波,王瑛,朱文泉,李京[10]（2007）在《支持动态编译的GIS模型库系统中模型表示方式——图形图元表达、正则表达式及模型运算树》一文中研究指出提出模型库系统中模型的叁种表达方式——图形图元表达、正则表达式及模型运算树。它们可作为动态生成高效率模型体的有力手段,是模型库系统即时编译生成模型组件的基础。这为解决模型库系统实现过程中模型内容表达这一难题,提供理论基础及解答。最后,在此概念及原理基础上,给出了采用这叁种表达方式展现原型系统中范例模型的具体过程。(本文来源于《计算机工程与应用》期刊2007年21期）
图元模型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
电网发生故障后快速准确地识别故障元件是缩小停电区域、快速恢复供电的首要前提。针对现有电网故障诊断方法基于单个元件独立建模,难以适应网络拓扑变化的不足,提出一种基于拓扑图元信息融合的电网故障诊断模型。从电网拓扑结构出发,形成系统各元件、保护和断路器的拓扑关联矩阵,以此为图形单元构建信息融合诊断模型,并根据保护配合逻辑及出口方式,定义了远后备保护拓扑映射规则及完整的信息融合推理流程,最后分析了模型对网络拓扑变化及连锁故障的适应性。IEEE 14节点系统仿真算例表明,该方法可以快速准确地判定故障元件,能够适应网络拓扑变化,具有较强的容错性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
图元模型论文参考文献
[1].杨小钢.基于描述逻辑ALCUQI的UML类图元模型形式化方法[J].现代计算机(专业版).2018
[2].徐彪,尹项根,张哲,陈国炎,杨雯.基于拓扑图元信息融合的电网故障诊断模型[J].电工技术学报.2018
[3].邢晓斌.GPU中几何图元光栅化模型的搭建和仿真[D].西安电子科技大学.2016
[4].李晶晶,江涛,郭雨婷,李迪,王米利.UML类图元模型基于描述逻辑的表示及验证[J].云南民族大学学报(自然科学版).2015
[5].曹双辉.基于图元特征的工业CT图像与CAD模型的比对系统的研究与实现[D].重庆大学.2014
[6].朱彬,王娜.UML用况图元模型的问题分析[C].Proceedingsof2011InternationalConferenceonEcologicalProtectionofLakes‐Wetlands‐WatershedandApplicationof3STechnology（EPLWW3S2011V2）.2011
[7].朱彬,王娜.UML用况图元模型的问题分析[C].Proceedingsof2010InternationalConferenceonRemoteSensing(ICRS2010)Volume3.2010
[8].冯桂焕,孙正兴,Christian,VIARD-GAUDIN.使用几何特征与隐Markov模型的手绘笔画图元分解[J].软件学报.2009
[9].梅洋,李霖,郑新燕.基于图元参数模型的通用普通地图符号库研究[J].测绘科学技术学报.2008
[10].扈海波,王瑛,朱文泉,李京.支持动态编译的GIS模型库系统中模型表示方式——图形图元表达、正则表达式及模型运算树[J].计算机工程与应用.2007