精化
- 基于多源数据的BKlob 模型精细化
lob 模型进行精化是非常有必要的.针对提升BDSklob 模型的精化处理方案，可分为参数精化法和模型精化法.参数精化法是利用数学方法，在已有广播电离层模型8 参数的基础上对其进行二次解算，使其具有更好的修正效果，如最小二乘法、序贯平差法、松弛搜索法、经验模型外推法等[11-14].其中松弛搜索法算法流程简单，运算速度快，且具有较高精度.模型精化方法是在Klobuchar 原有模型基础上附加考量其他影响因素增加或删减参数，达到提升模型的性能效果.如，基于电
全球定位系统 2023年3期2023-07-31
- 《精细化工企业工程设计防火标准》在工程设计中的应用
设计编制的规范《精化规》颁布，并于2020 年10 月1 日施行，解了企业燃眉之急，也使得设计有规可循。在设计过程中，通过与《建规》《石化规》的对比发现，《精化规》是在《建规》《石化规》的基础上，针对精细化工产品种类多、原料和产品产量小的特点而专门制定的，既有联系又有区别，在安全性上比另两个规范有松有紧。在厂房间距上，《精化规》部分沿用了《建规》的标准，比如封闭式甲类厂房的间距仍然为12m，但多了敞开式厂房的间距15m 的条款，这样既维护了《建规》有效性，
消防界(电子版) 2022年21期2023-01-23
- 华谊精化第七次斩获“涂料工业-荣格创新奖”
晚在沪举行。华谊精化总工程师俞剑峰先生作为特邀嘉宾出席了盛典。华谊精化的百年老字号“飞虎”牌新产品黑色隔热涂料在众多参选产品中脱颖而出，荣获“涂料工业-荣格创新奖”，成为“2022高功能涂料类别”中的一大亮点，这是华谊精化第七次荣获该奖项。此次获奖的“飞虎”牌黑色隔热涂料具有较高的近红外反射率，隔热作用显著，克服了普通黑色涂料的吸热问题。此外，它还具有较强的耐沾污性能、优异的耐老化性能、在多种基材上具有良好的附着力，可广泛应用于路边监控探头及电控箱等市政基
上海涂料 2022年6期2023-01-11
- GNSS大气加权平均温度经验模型精化方法的建立和分析
种Tm经验模型的精化方法，它引入地面气温数据并通过最小二乘方法快速获取精化系数，达到对Tm的误差补偿作用。相较基于机器学习等精化方法，本文方法计算公式简便，可以快速推广至任意Tm经验模型，达到模型精化的目的，对改善GNSS水汽反演精度有重要的现实意义。1 Tm计算原理及模型建立加权平均温度Tm是由测站上空的水汽压和气温在天顶方向的数值积分计算得到的，文献[28—29]给出了Tm的定义及精确计算Tm的方法(1)式中，T是大气温度，单位为K；e是水汽压，单位为
测绘学报 2022年11期2022-11-29
- 基于EVENT-B的飞机起落架控制系统形式化建模
;IUML-B;精化中图分类号：v227+.4; 文献标识码：A文章编号：1009-3044（2022）07-0100-021 概述随着飞机行业的进步与发展，对飞机安全性的要求也越来越高，起落架控制系统开发是研究飞机安全性的重要环节，它是飞机在地面着陆停放、起飞滑跑时用于支撑飞机重力并承受相应载荷的装置，它能够消耗和吸收飞机在着陆时的撞击能量，并且它在飞机机体和机轮刹车系统的之间起着桥梁作用，故其设计性能的优劣是直接影响着飞机起飞和着陆的关键因素[1]。
电脑知识与技术 2022年7期2022-05-09
- 基于稀少控制点的RPC参数优化方法
理函数模型就可以精化RPC参数求解时的虚拟控制点,进而精化RPC参数。图1是RPC参数精化流程,首先利用稀少控制点和原始RPC求解仿射变换参数;然后将求解的仿射变换参数加入RFM模型,生成虚拟地面控制格网;利用生成格网的虚拟控制点反投影计算像点,获得虚拟控制点,利用虚拟控制点求解精化的RPC参数;为了验证本方法的正确性,原始RPC和精化后的RPC分别结合像控点进行前方交会,然后与实测控制点进行精度对比验证。图1 RPC参数精化流程4 RPC参数精化实验为了
北京测绘 2022年2期2022-03-25
- 撑一支长篙，向课堂更高效处漫溯
和谐 细化 精化效率可以分为有效与无效，有效教学也可以分为低效教学和高效教学。无效、低效的课堂教学越多，教师工作会越来越累，困惑会越来越多，学生学习会越来越苦，家长心情会越来越急，学校发展会越来越难。反之，要想追求高效的课堂，那么一切就要以学生的发展为出发点，让学生在课堂中有所获、有所得，最终得以有效成长，有所期许。基于不同的课程学科，丰富的教学内容、各异的教学对象，自然而然就呈现了多样可变的高效课堂教学。当前，我们虽然不能使课堂教学达到完全高效，但至
知识窗·教师版 2021年11期2021-12-28
- 基于Event-B的软件工程形式化方法综述①
式化语言,其逐步精化的思想和自动代码生成的能力,不仅保证了模型的正确性和一致性,同时又能对软件开发的全寿命周期提供良好的支持.Event-B 方法已经成为支持软件工程形式化的主要方法之一.本文首先对已有的基于Event-B的软件工程形式化方法进行了分类阐述,主要分为Event-B 模型的控制结构、面向对象的Event-B 模型、可重用的Event-B 模型、实时Event-B 模型.而后对基于Event-B的软件工程形式化方法的未来发展方向提出了预测和建议
计算机系统应用 2021年9期2021-10-11
- 联合高度角与信噪比的精化随机模型及其对高纬度精密单点定位的影响
型做出改进，但以精化随机模型来整体地提高定位精度尚没有太多研究.本文利用主成分分析法(PCA)确定高度角和SNR 在GNSS 观测噪声中的贡献建立精化随机模型，实现了在不增加PPP 基本计算量的同时提高定位精度，并通过实际算例验证和分析该精化随机模型在高纬度地区实施PPP 的效果.1 单点定位模型1.1 单点定位函数模型在GNSS 观测中，函数模型由单点定位的基本原理确定，描述了已知量与未知参数之间的关系，利用卫星位置作为已知点位，通过空间距离后方交会确定
全球定位系统 2021年3期2021-08-07
- 基于时序约束建模的自动精化和组合工具
语言的工具；事件精化结构工具[6]为事件精化结构方法提供了工具支持；特征组合工具支持“特征”的组合和重用等等，在精化和组合的工具支持上都仅针对于特定方法进行辅助。由于时间约束问题的对于混合系统建模的重要性，文献[3]对现有的Event-B混合系统建模方法进行改进，提出基于混合系统的时序约束建模方法，可以很好地刻画混合系统中的时间约束问题并支持混合系统时间约束的精化和组合。现有的工具需手工参与多，难以辅助自动化开发，因此需要有针对时间约束的混合系统模型自动精
计算机工程与设计 2021年7期2021-07-21
- 增量开发中的活动图精化研究
要的操作之一就是精化（refinement）。精化是对于软件中的某一具体功能进行进一步的开发,即使原来的功能更加具体。例如对于一个ATM机而言,如果初始系统中的取款功能仅仅是根据用户输入的金额,进行出钞,那么当用户输入的金额超出ATM里剩余的金额总量,就可能会出现问题,或者当用户需要在出钞的同时,打印账单,那么原系统也是无法做到的。此时就可以对原系统的取款功能进行精化,从而达到客户的需求。本文选择使用UML 中的活动图对系统进行建模,描述软件开发中的增量过
科学技术创新 2021年5期2021-03-17
- 似大地水准面精化在地下管线测量中的应用
先进的似大地平面精化技术，保障地下管线测量数值的精准度以及全面性，为地下管线施工工作提供更加精准的参考依据。文章就针对此，分析似大地平面精化在地下管线测量工作中的具体应用，以期为相关工作人员提供帮助。关键词：似大地水准面精化;地下管线测量;应用一、 引言就目前来看，似大地平面精化技术被广泛应用在各领域测量工作中。似大地平面精化分为天文水准、卫星测高等方式，因此，在将该技术应用到地下管线测量过程中，需要结合地下管线测量要求，应用似大地平面精化方法。二、 概述
市场周刊·市场版 2020年6期2020-11-30
- 农业用地土壤重金属样本点数据精化方法
——以北京市顺义区为例
征和相应数据去冗精化方法非常关键。土壤采样是调查土壤属性空间变异性及其统计参数的重要方式[1-3]，精确研究土壤空间信息分布和变异性必须以土壤采样点在空间均匀性及代表性为依托。因此，用样本点数据分析前必须先对样本集中样本点进行均匀性检测和冗余数据处理，空间样本点数据的均匀分布及代表性不仅是检测评价的关键因素，也是判断分析结果是否准确的重要依据。针对空间样本点数据的均匀性及代表性问题，国内外学者开展了大量的研究，许多学者采用随机选择样本点研究土壤重金属污染及
农业环境科学学报 2020年10期2020-11-11
- 大规模非对称线性方程组Lanczos 算法和精化Lanczos算法的对比
算法进行改进和精化，使得求解出的特征对精度更高，速度更快.改变算法的解题方式，从正交投影的方式转变成为双正交的方式，由于矩阵空间维度扩大会影响向量的双正交性，所以借助压缩技术，在得到高精度特征值的同时维持其双正交性，且能减少硬件的内存消耗[2].1 精细化对比1.1 构造三角矩阵首先对非线性方程组进行初始化处理，将方程组转换成等价的三角矩阵.非线性方程组的矩阵形式为(2)其中，大写字母V,W,Y表示矩阵，小写字母v,w表示向量.在三角化中，首先设定u为启
山西师范大学学报（自然科学版） 2020年3期2020-10-21
- LiDAR 技术在高速公路改扩建中的应用及精度分析
制测量、点云数据精化处理、成果精度分析等方面进行研究，最终得到了平面位置精度优于5cm，高程精度优于2cm 的路面数据成果，满足改扩建的设计的要求。2 工程概况京藏高速公路改扩建项目N3 标段路线全长54.041 km，起点接第N2 标段终点桩号为K1160+600，设置枢纽互通立交，终点与第N4 标段起点顺接桩号为K1213+000，其中新建道路长度39.538 km，改建道路长度14.503 km。改扩建段交通繁忙，项目工期紧，且精度要求较高。采用传统
江西测绘 2020年1期2020-07-22
- 海湾精化：站在百年的起点上
发展历程中，海湾精化的不少产品都曾填补国内空白每一个节点，都是一段新的征程。1919年到2019年，青岛海湾精细化工有限公司（以下简称“海湾精化”）走过百年征程。从维新化学工艺社到青岛染料厂，从双桃精化到海湾精化，从第一批硫化青染料、碱性染料到多品类分散染料，历经一个世纪的风雨沧桑，海湾精化见证了中国染料工业的从无到有、由弱变强，也将自己的名字“印染”在了中国化工产业发展的史册上。第一家民族染料生产厂时钟拨回到19世纪末20世纪初，国外化学染料大量涌入中国
商周刊 2019年24期2019-12-07
- GNSS测量+水准面精化模型代替等级水准测量验证分析
、市似大地水准面精化模型的建立,传统基于水准测量的地面标石高程基准将被基于全球卫星导航系统(GNSS)测量的数字高程基准所代替,从而改变高程基准的维持模式和高程测定的作业模式[1]．GNSS/水准测量得到高程的精度主要取决于两个方面,一方面是GNSS测量大地高的精度,另一方面是高程异常的精度．随着高精度GNSS仪器投入使用,大地高的测量精度已达到了厘米级精度,所以提高高程异常的精度是提高GNSS/水准精度的关键所在[2]．以现代大地测量理论为基础,把高精度
全球定位系统 2019年3期2019-06-26
- 特殊块三对角Toeplitz线性方程组的精化迭代法及收敛性
解等问题中。1 精化迭代法求解(1)式的精化迭代法的迭代格式为x(k+1)=x(k)+d(k)(2)Ad(k)=r(k)，r(k)=b-Ax(k)(3)其中:x(0)为初始迭代向量，k=0，1，…当d(k)为(3)的精确解时，迭代格式(2-3)退化为单步迭代精化。不难看出，该迭代格式可以提高解x(k)的精度[3]。另外，倘若用高精度方法求解(3)，则迭代格式(2-3)为迭代精化[4-5]，把该迭代格式称为精化迭代法。引理1 假设不考虑舍入误差，精确计算残差
邵阳学院学报（自然科学版） 2019年3期2019-05-05
- 复杂网络环境下面向威胁监测的采集策略精化方法
和收益平衡的策略精化方法，将以威胁监测为目标的高层监测需求，综合考虑采集贡献度和资源消耗，细化为低层设备指令，在降低采集数据量的同时保证采集数据的精确度，做到极小量按需精准采集。本文的主要贡献如下。1) 提出了面向威胁监测的采集策略精化系统模型，设计网络环境和策略的3层结构，以及策略精化规则和策略模板。2) 针对高层监测需求的威胁类型到中层采集策略的采集项和采集频率的精化问题，通过对采集贡献度和采集资源消耗的量化，设计目标函数，通过遗传算法求解，得到与待采
通信学报 2019年4期2019-05-05
- 中长基线GPS静态网山区高程精度的控制方法
即结合似大地水准精化模型与数学拟合方法，通过似大地水准精化模型修正区域高程异常，并利用较少水准点拟合局部残差趋势项，实现长距离GPS高程传递，以取代相应精度等级的传统水准测量方法。二、似大地水准面精化模型的建立由地球重力场模型计算扰动位的球谐表达式为：(1)(2)式中：γ为计算点正常重力。联测GPS点水准高程，并求按下式求取实测高程异常：ζGPS=H-h(3)可得到重力水准面对应点与GPS点高程异常之差：Δξ=ζM-ζGPS(4)并以三次多项式拟合高程异常
福建质量管理 2019年8期2019-05-05
- 基于全球公众数据EGM2008 1′似大地水准面精化模型的应用探索
分布的，所以要将精化结果和EGM2008数据进行比较，将2000多个基于格网重力数据进行内插求值。本次实验将重力数据加载于ArcGIS中，利用ArcGIS的反距离加权插值法求取95个点的高程异常值，进而求得95个点的重力异常残差值。上述随机选取的21点残差值如表3所示。表3 某区21点高程异常与EGM2008高程异常对比残差值（mm）由表3得出结论，该区域的似大地水准面计算成果与基于EGM2008重力模型的插值成果的残差值的绝对值很小，最大值为135.43
资源导刊(信息化测绘) 2018年12期2019-01-03
- ZJCORS技术在水准高程基准检核中的应用研究
内的似大地水准面精化模型，并且都取得了不错的效果[4]。目前，浙江省似大地水准面精化模型建立工作已经完成，并且实现了与ZJCORS技术的融合，即用户可以通过ZJCORS技术在线获得精化的正常高成果。在常规水准测量实践中往往存在高程起算点沉降的问题，因此一般在测量时都会采用附合水准路线联测起算水准点，以检核起算水准点是否存在沉降现象。但这种作业方式存在2个问题，一是用来联测检核的水准点距离起算水准点较远，客观上增加了水准测量外业的工作量；二是用来联测检核的水
浙江水利科技 2018年5期2018-10-08
- “新河理想”成真
的大好机遇，海湾精化走上了转型升级之路，无论是在自动化、智能化方面，还是在绿色循环经济的发展上，都做得有声有色，并一跃成为同行业的领头者。再来到新河，早已不是原来的样子。7年时间，昔日的泥泞土路已变成宽阔的柏油马路，鳞次栉比的化工园区取代了曾经遍地的池塘和芦苇荡。海湾精化在告别老城区后，在新河这片阔土上重获新生，北上二次创业，海湾精化“质”的转折点就发生在新河。海湾精化的前身是青岛染料厂，这个百年老厂在历史的更迭变化中，从一个规模极小、设备简陋的小作坊，发
商周刊 2018年6期2018-08-30
- “新河理想”成真
的大好机遇，海湾精化走上了转型升级之路，无论是在自动化、智能化方面，还是在绿色循环经济的发展上，都做得有声有色，并一跃成为同行业的领头者。再来到新河，早已不是原来的样子。7年时间，昔日的泥泞土路已变成宽阔的柏油马路，鳞次栉比的化工园区取代了曾经遍地的池塘和芦苇荡。海湾精化在告别老城区后，在新河这片阔土上重获新生，北上二次创业，海湾精化“质”的转折点就发生在新河。海湾精化的前身是青岛染料厂，这个百年老厂在历史的更迭变化中，从一个规模极小、设备简陋的小作坊，发
商周刊 2018年6期2018-08-30
- 桂林市似大地水准面模型精化与精度评定
似大地水准面模型精化是测绘基准建立与维持的主要内容之一。与此同时，随着现代空间技术(如GNSS)在大地测量中的应用，建立和维持大地测量基准的技术手段、工具及理论方法也发生了改变。近年来，为了满足现代城市发展的要求，全国多个省及地区相继建立了各自的似大地水准面精化模型。如江苏省建立了省域似大地水准面精化模型，其精度为 7.8 cm，分辨率为2.5′× 2.5′；浙闽赣地区建立了其似大地水准面精化模型，模型内符合精度为 ±5.5 cm，外部符合精度为 ±6.2
城市勘测 2018年4期2018-08-30
- 区域似大地水准面精化高程模型的建立及在凤县地区的应用
水准面模型建立及精化高程的目的全球GPS相对定位技术目前在平面二维位置获取时，已经能够达到10-8数量级，但由于GPS观测获得的高程数据是相对于大地水准面（即WGS-84椭球下）取得的大地高，而我国目前使用的高程系统为在似大地水准面模型下的正常高系统，因此如何通过建立、优化设计等方法，使得在GPS大地高与正常高的数据转换中，数据质量更准确，精度更高，为获得高精度的GPS高程值同正常高的优化转换成为测绘精化高程的主要目的。我们如何能够采用大地测量方法精确求得
建材与装饰 2018年35期2018-08-09
- n-精化与n-互模拟之间相关问题的研究
marsch等将精化模态逻辑(refinement modal logic,RML)看作是FEL的抽象[3]，因此∃算子表示对精化的量化，也称为精化量词，用以描述与所给的信息状态相匹配的信息事件。随着研究的不断深入，学者们逐渐意识到，在不同的模态逻辑下用结构转换来解释精化量词具有更广泛的意义，由此，Laura Bozzelli等在Hans van Ditmarsch研究的基础上，进一步将精化量词引入模态逻辑，并展开了相关的研究工作。精化与互模拟的区别在于前
计算机技术与发展 2018年4期2018-04-13
- 天马精化业绩大“变脸”的背后
金陵控股成为天马精化的控股股东，现更名为华软科技。2016年天马精化实现营业收入约11.9亿元，2015年实现营业收入约10.6亿，2016年比2015年同比增长了约12.38%；2016年的营业利润约-3.3亿元，2015年约为2782万元，营业利润同比下降了1314.29%；2016年营业利润率是-27.74%，2015年为2.62%天马精化在前三个季度基本上还是处于盈利状态，前三季度的利润总和为11521504.89元，但是公司在第四季度发生了非常严
丝路艺术 2018年7期2018-04-01
- 基于Event-B的中断管理需求和设计形式化建模与验证方法*
和设计重写、制定精化策略并逐步精化的方法，对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型，将模型检验和定理证明相结合，验证模型的正确性并且满足安全性质. 关键词： 中断管理;形式化验证;Event-B;精化0 引 言在航空航天领域，航天器操作系统的安全性因其生命期长，结构复杂，稳定性要求高和出错代价高昂开始引起了广泛的关注.操作系统由于其复杂性，其正确性很难用定量的方式进行描述和说明，由于操作系统软件在各类航天器计算机应用
空间控制技术与应用 2017年3期2017-07-05
- 精化齿坯热锻工艺浅析
330044）精化齿坯热锻工艺浅析江叔通 （南昌齿轮有限责任公司，江西 南昌 330044）齿坯闭式模锻锻件分精密级和普通级，但国家标准定义的精密级锻件留有单边加工余量，仍需进行粗车和精车。在精密锻造基础上，研究精化齿坯热锻工艺，以进一步提高锻件精度等级，达到减少单边加工余量，进而使精化齿坯直接用于精车。本文对精化齿坯热锻工艺进行了定义，并明确该工艺单边加工余量的范围。因制坯和预锻是决定精化齿坯热锻工艺质量的关键，因此对其工艺流程和工艺重点进行了分析，同
锻压装备与制造技术 2017年2期2017-06-01
- 华谊精化整治环境绿色发展
公司（简称“华谊精化”）领导班子及司属各企业认真学习领会习总书记的十九大报告精神，牢固树立和践行“绿水青山就是金山银山”的环保理念，表示要“像对待生命一样对待生态环境”，为打赢环保整治保卫战而继续努力。加大环保投入。近年来，华谊精化主动承担化工企业的社会责任，加强与院校研究合作，连续在开林、上造等多家老企业建成具有先进技术的VOCs环保治理装置；试四赫维引进“活性炭高温蒸汽吸脱附技术”、自主攻关“高浓度高盐废水”等处理技术，确保生产合规达标排放。加快科技进
上海化工 2017年12期2017-04-10
- 百年老企业成为行业VOCs治理标杆第三套环保治理装置在开林造漆厂建成投运
这是华谊集团旗下精化公司建成的第三套VOCs环保治理装置，预期VOCs净化率可达90%以上。近年来，国家和上海市政府坚持绿色发展，强力推进环境治理，相继出台、修订了《大气污染防治条例》、《环境保护法》、《大气污染防治法》和《上海市环境保护条例》。这对化工企业来说，不啻是一场严峻的生存发展考验。是一味被动的减产、限产，束手待毙？还是主动出击，积极作为，为企业寻找一条科学的可持续的发展道路？华谊集团精化公司毅然选择了后者。精化公司坚持“有进有退”的产品、产业结
上海化工 2017年3期2017-04-10
- 华谊精化力争今年完成40亿元销售目标
华谊精化力争今年完成40亿元销售目标2017年，要在新的起点上砥砺奋进，实现主营业务收入40亿元、归属母公司净利润7 420万元的年度预算目标。最近，上海华谊精细化工有限公司（简称“华谊精华公司”）确定了2017年年度工作目标。为确保年度奋斗目标的全面实现，公司总经理杨红妹提出要在十项工作上狠下功夫。一是守住安全环保底线，确保企业生存基础；二是深挖降本增效潜力，节能控费增添效益；三是创新市场拓展举措，深挖重点产品领域；四是突破两个项目瓶颈，尽快实现效益提升
上海化工 2017年4期2017-04-09
- 区域似大地水准面精化的方法探讨与精度分析
区域似大地水准面精化的方法探讨与精度分析布金伟，左小清(昆明理工大学 国土资源工程学院，云南 昆明 650093)阐述与GPS/水准高程拟合相关的基本理论及区域似大地水准面精化的原理与方法，并结合区域的具体实例，重点比较二次多项式曲面拟合法、三角剖分双线性内插法、加权平均推估法的精度情况，从中得到结论。实验表明，在没有足够重力数据的支持下，三角剖分双线性内插法获得比较理想的精度，利用该方法精化似大地水准面获得的高程可以代替四等水准。GPS/水准；区域似大地
测绘工程 2017年6期2017-03-30
- UML类图的形式规约与精化研究
类图的形式规约与精化研究王博文 盛 枫 窦 亮 杨宗源(华东师范大学信息科学技术学院 上海 200241)UML由于其广泛的应用和直观的图形化符号，成为了模型驱动工程的重要组成部分。但UML本身缺乏精确的形式语义定义，缺少对其模型精化关系的形式化规范定义，对UML模型进行形式验证变得尤为困难。UML类图作为描述系统结构的静态模型，不具备完整的形式语义。从UML类图的机械语义中抽取出形式规约，将UML类图中的结构和形式规约转换成定理证明器Coq中的机械语义定
计算机应用与软件 2017年2期2017-02-27
- Web服务编排场景的XML Schema消息类型精化
hema消息类型精化王 瑾 马 凯 杨红丽(北京工业大学计算机学院 北京 100124)Web服务(Web Services)编排描述了Web服务组合的交互行为，在实际开发中，Web服务组合的实现可能存在交互的数据类型、交互序列与编排规范不相符的情况，为了测试Web服务(组合)与编排的相符性，需要从编排规范生成测试用例。由于编排场景描述了编排中各个参与方的交互序列及其交互消息的XML Schema类型，从而可以根据场景中的XML Schema类型生成测试数
计算机应用与软件 2017年2期2017-02-27
- n-精化关系及其相关研究
惠丽 张晋津n-精化关系及其相关研究南京航空航天大学计算机科学与技术学院 施晓静 邢惠丽 张晋津精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系，探究n-精化关系与分层互模拟关系之间的区别与联系，定义n-精化模态逻辑语言并给出相关的永真式。n-精化；n-互模拟，n-精化模态逻辑1.前言反应式系统的研究内容之一是讨论进程之间的行为等价或者精化关系，一般而言前者是一个等价关系而后者是一个前序关系，在进程代数理论发展过程中人
电子世界 2017年2期2017-02-17
- 城市似大地水准面精化成果的应用
城市似大地水准面精化成果的应用魏立峰1（1.秦皇岛市城市规划管理信息中心，河北 秦皇岛 066001）介绍了利用城市似大地水准面精化成果，结合HBCORS获得的大地高数据，通过正常高求解数学模型来获取点位正常高的方法。实验结果表明，通过该方法获得的正常高精度能够满足四等GNSS高程测量精度要求，似大地水准面精化成果在城市测量领域具有广阔的应用前景。似大地水准面精化；高程异常；大地高；正常高全球导航卫星系统（GNSS）测量技术在测绘领域已得到广泛应用，能提供
地理空间信息 2016年7期2016-12-27
- 模型精化过程中模型间一致性检测研究
0241)模型精化过程中模型间一致性检测研究王 玲 徐立华(华东师范大学计算机科学技术系 上海 200241)传统的模型精化过程中模型间一致性检测专注于检测模型自身的正确性、死锁、以及不变式保持性等，而无法保证模型间行为方面的一致性。为此提出利用系统行为属性来反应模型行为，结合模型检测的方法来检测模型间的行为一致性。首先对精化前模型分析生成抽象测试用例并抽取其代表的系统行为属性；然后根据精化后的模型抽取模型精化关系并进一步更新系统属性；最后使用这些系统行
计算机应用与软件 2016年11期2016-12-26
- 基于EIGEN6C2模型的Kaula规则精化
的Kaula规则精化梁建青1，沈云中1，张兴福2(1.同济大学 测绘与地理信息学院，上海 200092；2.广东工业大学 测绘工程系，广东 广州 510006)高精度重力场模型精化Kaula规则其要点是将Kaula规则乘上一个与位系数阶数项相关的二阶有理函数，并基于EIGEN6C2重力场模型解算有理函数模型的系数。精化后的Kaula规则与EIGEN6C2模型和EGM2008模型的逼近误差都只是原来Kaula规则的0.26%。因此, 精化后的Kaula规则更
测绘工程 2016年12期2016-10-17
- 引入似大地水准面精化模型的山区水情监测方法
引入似大地水准面精化模型的山区水情监测方法杨坤1，李和平2(1. 贵州省测绘资料档案馆，贵州 贵阳 550004； 2. 贵州省第一测绘院，贵州 贵阳 550025)基于山区水情监测的内在需求与山地开展水准测量困难的地域实际，讨论了引入区域似大地水准面精化模型的GNSS静态高程测量方法代替等级水准的监测方法的可行性，以贵州省内分布均匀的15个CORS站点、20个C级点、11个水文站内的三等水准点作为研究基础，按照C级网精度要求布网观测，利用贵州省似大地水准
测绘通报 2016年8期2016-09-08
- 似大地水准面精化成果在地质工程测量中的应用探讨
4）似大地水准面精化成果在地质工程测量中的应用探讨■杜炳辉（中国地震局第二监测中心陕西西安710054）地质工程测量是地质勘查中一项重要的基础工作。因而，在地质工程测量中运用合理而科学的测量方法显得尤为重要。似大地水准面精化成果用于高程系统的起算面，具有高精度，三维性，动态性，多功能的特点。将其运用在地质工程测量中获得其高程成果变得十分可取。一方面，可以保证测量结果的高程精度；另一方面，可以减少一定程度的工作量，降低测量成本，取得可观的经济效益。似大地水准
地球 2016年4期2016-04-14
- Institution框架下的结构化标记共变-逆变模拟
转换系统间的模态精化与结构化标记共变-逆变模拟之间存在诸多相似之处，为了在更抽象层次上研究两者的关系，引入Institution框架。基于该框架，讨论结构化标记模态转换系统间的模态精化与结构化标记共变-逆变模拟之间的关系，并证明前者到后者存在Institution态射。结果表明，相比结构化标记模态转换系统中模态精化关系，结构化标记共变-逆变模拟具有更强的表达能力。关键词Institution结构化标记模态转换系统共变-逆变模拟LABEL-STRUCTURE
计算机应用与软件 2016年2期2016-03-17
- 基于似大地水准面精化模型的GNSS高程在山区水利测量中的应用
秀明似大地水准面精化是以GPS水准确定的高精度但分辨率较低的几何大地水准面作为控制，将重力学方法确定的高分辨率但精度较低的重力大地水准面与其拟合，实现对局部似大地水准面的精化。1. 工程概况崇礼申奥工程水利实施项目就是要对清水河上游东沟和滑雪集聚区支流河进行治理。为此，需进行控制网建立、纵横断面测量和地形测量等大量的基础测绘工作，而高程测量是其中一项关键性工作。2. 测量工作技术路线一是选埋满足当前测量阶段需要的一定数量的控制点。二是平面控制：以测区现有的
河北水利 2015年6期2015-08-15
- GM（1，1）模型在区域似大地水准面精化中的应用研究
］。目前国内外在精化区域似大地水准面的常用方法主要有地球重力场模型法和数学模型拟合法。常用的地球重力场模型有EGM96、EGM2008，虽然其分辨率很高，但精度相对较低，并且相应区域的重力数据很难获取，不能满足一般工程建设的实际需要［4］。数学模型拟合法包括曲线拟合法、曲面拟合法、非参数回归法等，其对建模要求较高，并且要根据区域地形特征和对已知点数量的多少来选择相适应的数学模型，在地形复杂、控制点稀少的区域难以建立精确的似大地水准面模型。在缺少重力数据的区
测绘工程 2015年1期2015-03-28
- 基于本体知识推理的QoS区分服务策略精化方法
语言描述的策略，精化分解为底层可执行策略，一直是研究的热点之一。其中比较受到认可的方法有，基于目标需求分解的精化方法、专家系统方法等。在目前的研究成果中，策略精化方法普遍缺少自动推理机制，仍然需要较多的人工干预，大大制约了策略精化的自动化水平。部分学者提出将本体知识系统引入策略网络管理，利用本体良好的语义表达能力和知识推理能力实现策略的自动精化，然而，如何设计并实现本体驱动的策略精化机制却始终未能得到解决。本文在以往研究成果的基础上，针对QoS区分服务的具
计算机工程与设计 2014年11期2014-12-23
- 基于区域似大地水准面精化的测量精度探索
区域似大地水准面精化的相关工作，以区域似大地水准面精化的意义为研究对象，从三个方面对其测量精度进行了验证，结果表明，区域似大地水准面精化成果的精度完全满足四等及等外水准点的测量、各种比例尺地形测图及相应比例尺航测像控点布设的要求，基于此，笔者给出了重点应用方向，全文是笔者长期工作实践基础上的理论升华，相信对从事相关工作的同行能有所裨益。关键词：区域 似大地水准面 精化 水准测量 地形测量 摄影测量中图分类号：P23 文献标识码：A 文章编号：1672-37
科技资讯 2014年20期2014-10-22
- 基于区域似大地水准面精化的测量精度探索
区域似大地水准面精化的相关工作，以区域似大地水准面精化的意义为研究对象，从三个方面对其测量精度进行了验证，结果表明，区域似大地水准面精化成果的精度完全满足四等及等外水准点的测量、各种比例尺地形测图及相应比例尺航测像控点布设的要求，基于此，笔者给出了重点应用方向，全文是笔者长期工作实践基础上的理论升华，相信对从事相关工作的同行能有所裨益。关键词：区域 似大地水准面 精化 水准测量 地形测量 摄影测量中图分类号：P22 文献标识码：A 文章编号：1672-37
科技资讯 2014年23期2014-10-20
- 基于改进的Kriging法区域似大地水准面精化分析
区域似大地水准面精化主要应用于测绘工作,采用GPS测量值转换为正常高,能够有效减少人力花费,满足大比例尺绘图要求。我国自2003年开始进行相关工作,采用高科技的卫星定位技术代替传统的测量方式,提高了数据精度。这十来年,我国已经完成了20多个省市的似大地水准面精化工作,精度可以达到3～5 cm[1],这大大促进了城市化的发展建设,为国家带来更多的经济效益和社会效益。1 区域似大地水准面精化原理概述想要进行精化工作,首先应求解相应区域的高程异常ξ,通过该区域的
全球定位系统 2014年6期2014-08-22
- Petri网结点精化及其应用
中提到的有关结点精化方向的一些问题进行讨论和研究，就结点精化在解决Petri网结点爆炸问题上提出自己的见解。1 结点精化基础Rainer Fehling在1993年国际Petri网理论与应用大会上首先提出了结点精化的技术，最先在Petri网中引入层次方法。结点精化的基本思路是将一个Petri网(上层网)中的某个结点用另一个Petri网(下层网)进行精化(即替换)，从而形成分层的Petri网。如果这个结点是库所，就称为库所精化(Place Refinemen
计算机与现代化 2014年7期2014-07-03
- 基于Event-B的形式化建模关键技术研究
-B语言，以逐步精化的方式向模型中添加属性和功能达到丰富、完善、细化模型的目的，并验证模型的正确性。1 Event-B和Rodin平台Event-B是一种用于进行系统级建模和分析的形式化方法[6]，它基于集合理论，在不同的抽象级构建系统，并逐步精细化，使用数学证明来保证不同精化级别之间的一致性。Rodin是一种用于开发复杂高可信软件系统的开放工具平台，它基于Event-B形式化方法，提供对精化和数学证明的自然支持。Event-B软件系统模型如图1所示，包含
电子科技大学学报 2014年3期2014-02-10
- 似大地水准面精化在山区大比例尺地形测图中的应用
0)似大地水准面精化在山区大比例尺地形测图中的应用罗强∗(重庆市勘测院，重庆 400020)似大地水准面精化是现代测绘基准体系中的重要组成部分，它的推广和应用改变了传统的高程测量模式，为测绘工作带来极大方便，提高了工作效率。本文以重庆市山区的一个大比例尺地形图测量项目为例，通过应用似大地水准面精化成果校核原有已知高程点，精度满足要求，充分应用似大地水准面精化成果替代搭接水准点的传统高程测量模式，为似大地水准面精化成果的应用积累了宝贵的经验。似大地水准面精化
城市勘测 2013年2期2013-03-03
- 一种调和Ritz向量的精化算法及应用
itz对，并应用精化Arnoldi算法的思想给出了一种精化变形，进一步对调和Ritz向量进行精化求解，寻求使残量范数达到极小的近似特征向量，并对这种方法进行了理论分析，给出了数值实验。理论分析显示了这种方法的可行性，数值实验显示这种方法的优越性。最后将本文的算法应用于K－L变换的变换矩阵求解中。K－L［6］变换的核心过程是计算特征值和特征向量。由于待处理矩阵维数高，一般的方法很难求出其特征值及特征向量，甚至无法求出。K－L变换的一些优化处理过程复杂，很难满
成都理工大学学报（自然科学版） 2012年3期2012-07-06
- 支持模型驱动开发的行为描述方法＊
性。行为描述及其精化是MDD研究中的一个关键问题，它需要考虑对象的一系列动作语义，包括动作触发的条件，动作对系统的影响以及动作之间的顺序、并发等时空关系，但长期以来并未形成统一而行之有效的方法［1－3］。软件系统的正确性和完备性可以通过对生命周期中不同产品和过程的形式化来提升，以集合论和谓词逻辑为基础的形式化方法是行为建模的一种较为有效的思路，如Z、B［4］和VDM等。形式化方法可提供消除歧义和精确定义的作用，并可通过严格证明以尽早发现描述中的错误。形式化
潍坊学院学报 2012年4期2012-06-11
- 全国科技示范工程“芜湖市似大地水准面精化”项目顺利通过部级验收
湖市似大地水准面精化”项目顺利通过部级验收(本刊讯)2012年11月13日，由芜湖市勘察测绘设计研究院和国家测绘地理信息局大地测量数据处理中心联合研发建设的“芜湖市似大地水准面精化研究”项目正式通过国家住建部验收专家委员会鉴定验收。“芜湖市似大地水准面精化研究”项目是国家住房和城乡建设部2011年全国科技示范工程。该项目作为“数字芜湖”地理空间基础框架的重要组成部分，是全市各行各业经济建设、城镇建设的基础。项目根据大地测量、卫星测量、现代地球重力场理论与方
城市勘测 2012年6期2012-04-01
- 基于B方法的体系结构描述语言的精化研究
和复杂连接子逐步精化系统,但缺乏语义支持.于是,将B方法和ABC/ADL两相结合,取长补短,展开了体系结构精化的研究,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序.2 体系结构精化研究2.1 复合构件和复杂连接子[5]ABC/ADL提供复合构件和复杂连接子的机制来帮助设计人员逐步精化系统.从构件对外的角度来看,复合构件
怀化学院学报 2012年2期2012-01-07
- 多步桥接精化迁移学习*
算法——多步桥接精化(Multi-Step Bridged Refinement，简称MSBR)来解决训练数据和测试数据分布不一致的分类问题.首先通过构造一系列中间模型来建立源领域和目标领域之间的连接，进而进行标签传播，最终完成从源领域到目标领域的判别信息的迁移.由于构造的中间模型两两间的数据分布相似，原来被认为较难的迁移过程被分解成为一系列相对容易解决的子迁移.1 多步桥接精化迁移1.1 问题定义1.2 交互精化本研究借助标签传播的原理来求目标领域数据的
华南理工大学学报（自然科学版） 2011年5期2011-01-24
- 似大地水准面成果精度检测的研究
精度似大地水准面精化工程，是在国家空间数据基准框架的基础上，以现代大地测量技术为基础，主要是利用GNSS技术、水准测量技术、重力测量技术及现有重力场的数据、理论和方法，建立区域高分辨率的似大地水准面。可以进一步完善城市基础测绘基准体系。大多数城市地理信息系统及其应用基于二维坐标系，虽然系统可以产生高质量的图形显示，但缺少管理、分析三维的功能，难以满足数字城市的三维空间特征要求。GNSS定位技术可以直接精确地测定地面点的三维大地坐标，高精度似大地水准面精化成
城市勘测 2010年2期2010-04-18