精化检验论文-王爱国,张殿江,张雪锋,丁文利,王怀念

精化检验论文-王爱国,张殿江,张雪锋,丁文利,王怀念

导读:本文包含了精化检验论文开题报告文献综述及选题提纲参考文献,主要关键词:似大地水准面精化,GNSS,拟合,Bland-Altman

精化检验论文文献综述

王爱国,张殿江,张雪锋,丁文利,王怀念[1](2017)在《GNSS精化高程与拟合高程一致性分析与检验》一文中研究指出针对似大地水准面精化和利用GNSS大地高获取点位的正常高在进行水准拟合这两种获得点位高程的问题,采用Bland-Altman一致性算法,进行两种测量结果的差值、比值和百分比值叁种方法进行作图分析,计算它们的一致性界限和一致性界限范围内的比例,并做出一致性推断。通过河南省某地的实例分析,提出的Bland-Altman一致性算法能较好地解决两种测量方法的一致性问题,研究结果表明通过Bland-Altman的一致性界限分析,可以解决似大地水准面精化和GNSS水准拟合高程是否具有一致性的问题。提出的采用Bland-Altman算法进行两种测量方法的一致性算法,实现了两种测量方法的是否具有一致性的定量分析。(本文来源于《测绘科学》期刊2017年11期)

邱云峰,陈裕汉,罗文生,杨海关[2](2017)在《基于EGM2008城市似大地水准面精化成果的质量检验与分析》一文中研究指出为了检验城市似大地水准面精化项目成果模型的质量,本文利用一定数量的高程异常控制点,以基于EGM2008地球重力场模型及二次曲面函数拟合的方法,构建了一套质量检验模型,其精度优于±5.0 cm。采用质量检验模型比对项目成果模型进行质量分析检验,与外业实地检测相比,检验工作量较小,对项目成果模型的质量评价更全面、可靠。(本文来源于《测绘与空间地理信息》期刊2017年02期)

张训虎,刘晋虎,邱博,何川,杨绪峰[3](2016)在《区域似大地水准面精化成果检验方法探讨》一文中研究指出利用GNSS技术可以简单快速地测定厘米级的大地高,使用GNSS测定的大地高结合高精度的大地水准面精化模型,可以快速准确地确定待测点的海拔高程。随着各省、市似大地水准面精化模型的建设,似大地水准面成果正在改变着测绘的方式,推动测绘工作快速高效地应用于国民经济建设。目前我国缺少区域似大地水准面成果检验的相关规范或技术规程,如何对似大地水准面成果进行检验,缺乏统一的技术依据。本文从检验内容与方法方面探讨区域似大地水准面精化成果检验的相关问题,提出内容、方法的同时并应用于实际检验工作,为区域似大地水准面精化检验工作提供参考。(本文来源于《工程勘察》期刊2016年11期)

邱云峰,陈裕汉,罗文生,杨海关[4](2015)在《基于EGM2008城市似大地水准面精化成果的质量检验与分析》一文中研究指出为了检验城市似大地水准面精化项目成果模型的质量,本文利用一定数量的高程异常控制点,以基于EGM2008地球重力场模型及二次曲面函数拟合的方法,构建了一套质量检验模型,其精度优于±5.0cm。采用质量检验模型比对项目成果模型进行质量分析检验,与外业实地检测相比,检验工作量较小,对项目成果模型的质量评价更全面、可靠。(本文来源于《云南省测绘地理信息学会2015年学术年会论文集》期刊2015-12-01)

何亚丽,张广泉,王升[5](2010)在《基于XYZ/ADL的Web服务组合精化检验》一文中研究指出Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.(本文来源于《苏州大学学报(自然科学版)》期刊2010年01期)

赖德旺,张前勇[6](2009)在《测量平差函数模型的检验及精化》一文中研究指出用假设检验方法检验测量平差模型是否存在系统误差,对存在系统误差的数学模型用半参数模型分离出系统误差,利用叁次样条函数拟合系统误差,将系统误差参数化,达到精化平差模型的目的,结果说明半参数模型能有效修正参数模型中的系统误差.(本文来源于《湖北民族学院学报(自然科学版)》期刊2009年03期)

文艳军,王戟,齐治昌[7](2007)在《并发反应式系统的组合模型检验与组合精化检验》一文中研究指出模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检验和综合推理导出整个系统的性质.在一个统一的框架下对组合模型检验和组合精化检验作了系统的分析和归纳,从模块检验的角度阐述了上述两种组合验证方法的原理及其相应的组合验证策略.同时总结了各类问题的复杂性,并对上述两种方法作了比较分析,揭示了它们之间的内在联系.最后展望了组合模型检验与组合精化检验的发展方向.(本文来源于《软件学报》期刊2007年06期)

文艳军,王戟,齐治昌[8](2006)在《一种接口自动机的组合精化检验方法》一文中研究指出接口自动机是一个用来描述软构件接口的时态行为的形式模型,传统的简单组合精化检验规则由于没有考虑到环境对子任务的影响而使其实际应用受到较大限制。本文提出了一种对该规则的改进方法,以弥补上述缺陷。(本文来源于《计算机工程与科学》期刊2006年04期)

精化检验论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

为了检验城市似大地水准面精化项目成果模型的质量,本文利用一定数量的高程异常控制点,以基于EGM2008地球重力场模型及二次曲面函数拟合的方法,构建了一套质量检验模型,其精度优于±5.0 cm。采用质量检验模型比对项目成果模型进行质量分析检验,与外业实地检测相比,检验工作量较小,对项目成果模型的质量评价更全面、可靠。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

精化检验论文参考文献

[1].王爱国,张殿江,张雪锋,丁文利,王怀念.GNSS精化高程与拟合高程一致性分析与检验[J].测绘科学.2017

[2].邱云峰,陈裕汉,罗文生,杨海关.基于EGM2008城市似大地水准面精化成果的质量检验与分析[J].测绘与空间地理信息.2017

[3].张训虎,刘晋虎,邱博,何川,杨绪峰.区域似大地水准面精化成果检验方法探讨[J].工程勘察.2016

[4].邱云峰,陈裕汉,罗文生,杨海关.基于EGM2008城市似大地水准面精化成果的质量检验与分析[C].云南省测绘地理信息学会2015年学术年会论文集.2015

[5].何亚丽,张广泉,王升.基于XYZ/ADL的Web服务组合精化检验[J].苏州大学学报(自然科学版).2010

[6].赖德旺,张前勇.测量平差函数模型的检验及精化[J].湖北民族学院学报(自然科学版).2009

[7].文艳军,王戟,齐治昌.并发反应式系统的组合模型检验与组合精化检验[J].软件学报.2007

[8].文艳军,王戟,齐治昌.一种接口自动机的组合精化检验方法[J].计算机工程与科学.2006

标签:;  ;  ;  ;  

精化检验论文-王爱国,张殿江,张雪锋,丁文利,王怀念
下载Doc文档

猜你喜欢