精化
- 基于多源數(shù)據(jù)的BKlob 模型精細(xì)化
lob 模型進(jìn)行精化是非常有必要的.針對(duì)提升BDSklob 模型的精化處理方案，可分為參數(shù)精化法和模型精化法.參數(shù)精化法是利用數(shù)學(xué)方法，在已有廣播電離層模型8 參數(shù)的基礎(chǔ)上對(duì)其進(jìn)行二次解算，使其具有更好的修正效果，如最小二乘法、序貫平差法、松弛搜索法、經(jīng)驗(yàn)?zāi)Ｐ屯馔品ǖ萚11-14].其中松弛搜索法算法流程簡(jiǎn)單，運(yùn)算速度快，且具有較高精度.模型精化方法是在Klobuchar 原有模型基礎(chǔ)上附加考量其他影響因素增加或刪減參數(shù)，達(dá)到提升模型的性能效果.如，基于電
全球定位系統(tǒng) 2023年3期2023-07-31
- 《精細(xì)化工企業(yè)工程設(shè)計(jì)防火標(biāo)準(zhǔn)》在工程設(shè)計(jì)中的應(yīng)用
設(shè)計(jì)編制的規(guī)范《精化規(guī)》頒布，并于2020 年10 月1 日施行，解了企業(yè)燃眉之急，也使得設(shè)計(jì)有規(guī)可循。在設(shè)計(jì)過程中，通過與《建規(guī)》《石化規(guī)》的對(duì)比發(fā)現(xiàn)，《精化規(guī)》是在《建規(guī)》《石化規(guī)》的基礎(chǔ)上，針對(duì)精細(xì)化工產(chǎn)品種類多、原料和產(chǎn)品產(chǎn)量小的特點(diǎn)而專門制定的，既有聯(lián)系又有區(qū)別，在安全性上比另兩個(gè)規(guī)范有松有緊。在廠房間距上，《精化規(guī)》部分沿用了《建規(guī)》的標(biāo)準(zhǔn)，比如封閉式甲類廠房的間距仍然為12m，但多了敞開式廠房的間距15m 的條款，這樣既維護(hù)了《建規(guī)》有效性，
消防界(電子版) 2022年21期2023-01-23
- 華誼精化第七次斬獲“涂料工業(yè)-榮格創(chuàng)新獎(jiǎng)”
晚在滬舉行。華誼精化總工程師俞劍峰先生作為特邀嘉賓出席了盛典。華誼精化的百年老字號(hào)“飛虎”牌新產(chǎn)品黑色隔熱涂料在眾多參選產(chǎn)品中脫穎而出，榮獲“涂料工業(yè)-榮格創(chuàng)新獎(jiǎng)”，成為“2022高功能涂料類別”中的一大亮點(diǎn)，這是華誼精化第七次榮獲該獎(jiǎng)項(xiàng)。此次獲獎(jiǎng)的“飛虎”牌黑色隔熱涂料具有較高的近紅外反射率，隔熱作用顯著，克服了普通黑色涂料的吸熱問題。此外，它還具有較強(qiáng)的耐沾污性能、優(yōu)異的耐老化性能、在多種基材上具有良好的附著力，可廣泛應(yīng)用于路邊監(jiān)控探頭及電控箱等市政基
上海涂料 2022年6期2023-01-11
- GNSS大氣加權(quán)平均溫度經(jīng)驗(yàn)?zāi)Ｐ?span id="syggg00" class="hl">精化方法的建立和分析
種Tm經(jīng)驗(yàn)?zāi)Ｐ偷?span id="syggg00" class="hl">精化方法，它引入地面氣溫?cái)?shù)據(jù)并通過最小二乘方法快速獲取精化系數(shù)，達(dá)到對(duì)Tm的誤差補(bǔ)償作用。相較基于機(jī)器學(xué)習(xí)等精化方法，本文方法計(jì)算公式簡(jiǎn)便，可以快速推廣至任意Tm經(jīng)驗(yàn)?zāi)Ｐ?，達(dá)到模型精化的目的，對(duì)改善GNSS水汽反演精度有重要的現(xiàn)實(shí)意義。1 Tm計(jì)算原理及模型建立加權(quán)平均溫度Tm是由測(cè)站上空的水汽壓和氣溫在天頂方向的數(shù)值積分計(jì)算得到的，文獻(xiàn)[28—29]給出了Tm的定義及精確計(jì)算Tm的方法(1)式中，T是大氣溫度，單位為K；e是水汽壓，單位為
測(cè)繪學(xué)報(bào) 2022年11期2022-11-29
- 基于EVENT-B的飛機(jī)起落架控制系統(tǒng)形式化建模
;IUML-B;精化中圖分類號(hào)：v227+.4;? 文獻(xiàn)標(biāo)識(shí)碼：A文章編號(hào)：1009-3044（2022）07-0100-021 概述隨著飛機(jī)行業(yè)的進(jìn)步與發(fā)展，對(duì)飛機(jī)安全性的要求也越來越高，起落架控制系統(tǒng)開發(fā)是研究飛機(jī)安全性的重要環(huán)節(jié)，它是飛機(jī)在地面著陸停放、起飛滑跑時(shí)用于支撐飛機(jī)重力并承受相應(yīng)載荷的裝置，它能夠消耗和吸收飛機(jī)在著陸時(shí)的撞擊能量，并且它在飛機(jī)機(jī)體和機(jī)輪剎車系統(tǒng)的之間起著橋梁作用，故其設(shè)計(jì)性能的優(yōu)劣是直接影響著飛機(jī)起飛和著陸的關(guān)鍵因素[1]。
電腦知識(shí)與技術(shù) 2022年7期2022-05-09
- 基于稀少控制點(diǎn)的RPC參數(shù)優(yōu)化方法
理函數(shù)模型就可以精化RPC參數(shù)求解時(shí)的虛擬控制點(diǎn),進(jìn)而精化RPC參數(shù)。圖1是RPC參數(shù)精化流程,首先利用稀少控制點(diǎn)和原始RPC求解仿射變換參數(shù);然后將求解的仿射變換參數(shù)加入RFM模型,生成虛擬地面控制格網(wǎng);利用生成格網(wǎng)的虛擬控制點(diǎn)反投影計(jì)算像點(diǎn),獲得虛擬控制點(diǎn),利用虛擬控制點(diǎn)求解精化的RPC參數(shù);為了驗(yàn)證本方法的正確性,原始RPC和精化后的RPC分別結(jié)合像控點(diǎn)進(jìn)行前方交會(huì),然后與實(shí)測(cè)控制點(diǎn)進(jìn)行精度對(duì)比驗(yàn)證。圖1 RPC參數(shù)精化流程4 RPC參數(shù)精化實(shí)驗(yàn)為了
北京測(cè)繪 2022年2期2022-03-25
- 撐一支長篙，向課堂更高效處漫溯
和諧? 細(xì)化? 精化效率可以分為有效與無效，有效教學(xué)也可以分為低效教學(xué)和高效教學(xué)。無效、低效的課堂教學(xué)越多，教師工作會(huì)越來越累，困惑會(huì)越來越多，學(xué)生學(xué)習(xí)會(huì)越來越苦，家長心情會(huì)越來越急，學(xué)校發(fā)展會(huì)越來越難。反之，要想追求高效的課堂，那么一切就要以學(xué)生的發(fā)展為出發(fā)點(diǎn)，讓學(xué)生在課堂中有所獲、有所得，最終得以有效成長，有所期許?；诓煌恼n程學(xué)科，豐富的教學(xué)內(nèi)容、各異的教學(xué)對(duì)象，自然而然就呈現(xiàn)了多樣可變的高效課堂教學(xué)。當(dāng)前，我們雖然不能使課堂教學(xué)達(dá)到完全高效，但至
知識(shí)窗·教師版 2021年11期2021-12-28
- 基于Event-B的軟件工程形式化方法綜述①
式化語言,其逐步精化的思想和自動(dòng)代碼生成的能力,不僅保證了模型的正確性和一致性,同時(shí)又能對(duì)軟件開發(fā)的全壽命周期提供良好的支持.Event-B 方法已經(jīng)成為支持軟件工程形式化的主要方法之一.本文首先對(duì)已有的基于Event-B的軟件工程形式化方法進(jìn)行了分類闡述,主要分為Event-B 模型的控制結(jié)構(gòu)、面向?qū)ο蟮腅vent-B 模型、可重用的Event-B 模型、實(shí)時(shí)Event-B 模型.而后對(duì)基于Event-B的軟件工程形式化方法的未來發(fā)展方向提出了預(yù)測(cè)和建議
計(jì)算機(jī)系統(tǒng)應(yīng)用 2021年9期2021-10-11
- 聯(lián)合高度角與信噪比的精化隨機(jī)模型及其對(duì)高緯度精密單點(diǎn)定位的影響
型做出改進(jìn)，但以精化隨機(jī)模型來整體地提高定位精度尚沒有太多研究.本文利用主成分分析法(PCA)確定高度角和SNR 在GNSS 觀測(cè)噪聲中的貢獻(xiàn)建立精化隨機(jī)模型，實(shí)現(xiàn)了在不增加PPP 基本計(jì)算量的同時(shí)提高定位精度，并通過實(shí)際算例驗(yàn)證和分析該精化隨機(jī)模型在高緯度地區(qū)實(shí)施PPP 的效果.1 單點(diǎn)定位模型1.1 單點(diǎn)定位函數(shù)模型在GNSS 觀測(cè)中，函數(shù)模型由單點(diǎn)定位的基本原理確定，描述了已知量與未知參數(shù)之間的關(guān)系，利用衛(wèi)星位置作為已知點(diǎn)位，通過空間距離后方交會(huì)確定
全球定位系統(tǒng) 2021年3期2021-08-07
- 基于時(shí)序約束建模的自動(dòng)精化和組合工具
語言的工具；事件精化結(jié)構(gòu)工具[6]為事件精化結(jié)構(gòu)方法提供了工具支持；特征組合工具支持“特征”的組合和重用等等，在精化和組合的工具支持上都僅針對(duì)于特定方法進(jìn)行輔助。由于時(shí)間約束問題的對(duì)于混合系統(tǒng)建模的重要性，文獻(xiàn)[3]對(duì)現(xiàn)有的Event-B混合系統(tǒng)建模方法進(jìn)行改進(jìn)，提出基于混合系統(tǒng)的時(shí)序約束建模方法，可以很好地刻畫混合系統(tǒng)中的時(shí)間約束問題并支持混合系統(tǒng)時(shí)間約束的精化和組合。現(xiàn)有的工具需手工參與多，難以輔助自動(dòng)化開發(fā)，因此需要有針對(duì)時(shí)間約束的混合系統(tǒng)模型自動(dòng)精
計(jì)算機(jī)工程與設(shè)計(jì) 2021年7期2021-07-21
- 增量開發(fā)中的活動(dòng)圖精化研究
要的操作之一就是精化（refinement）。精化是對(duì)于軟件中的某一具體功能進(jìn)行進(jìn)一步的開發(fā),即使原來的功能更加具體。例如對(duì)于一個(gè)ATM機(jī)而言,如果初始系統(tǒng)中的取款功能僅僅是根據(jù)用戶輸入的金額,進(jìn)行出鈔,那么當(dāng)用戶輸入的金額超出ATM里剩余的金額總量,就可能會(huì)出現(xiàn)問題,或者當(dāng)用戶需要在出鈔的同時(shí),打印賬單,那么原系統(tǒng)也是無法做到的。此時(shí)就可以對(duì)原系統(tǒng)的取款功能進(jìn)行精化,從而達(dá)到客戶的需求。本文選擇使用UML 中的活動(dòng)圖對(duì)系統(tǒng)進(jìn)行建模,描述軟件開發(fā)中的增量過
科學(xué)技術(shù)創(chuàng)新 2021年5期2021-03-17
- 似大地水準(zhǔn)面精化在地下管線測(cè)量中的應(yīng)用
先進(jìn)的似大地平面精化技術(shù)，保障地下管線測(cè)量數(shù)值的精準(zhǔn)度以及全面性，為地下管線施工工作提供更加精準(zhǔn)的參考依據(jù)。文章就針對(duì)此，分析似大地平面精化在地下管線測(cè)量工作中的具體應(yīng)用，以期為相關(guān)工作人員提供幫助。關(guān)鍵詞：似大地水準(zhǔn)面精化;地下管線測(cè)量;應(yīng)用一、 引言就目前來看，似大地平面精化技術(shù)被廣泛應(yīng)用在各領(lǐng)域測(cè)量工作中。似大地平面精化分為天文水準(zhǔn)、衛(wèi)星測(cè)高等方式，因此，在將該技術(shù)應(yīng)用到地下管線測(cè)量過程中，需要結(jié)合地下管線測(cè)量要求，應(yīng)用似大地平面精化方法。二、 概述
市場(chǎng)周刊·市場(chǎng)版 2020年6期2020-11-30
- 農(nóng)業(yè)用地土壤重金屬樣本點(diǎn)數(shù)據(jù)精化方法
——以北京市順義區(qū)為例
征和相應(yīng)數(shù)據(jù)去冗精化方法非常關(guān)鍵。土壤采樣是調(diào)查土壤屬性空間變異性及其統(tǒng)計(jì)參數(shù)的重要方式[1-3]，精確研究土壤空間信息分布和變異性必須以土壤采樣點(diǎn)在空間均勻性及代表性為依托。因此，用樣本點(diǎn)數(shù)據(jù)分析前必須先對(duì)樣本集中樣本點(diǎn)進(jìn)行均勻性檢測(cè)和冗余數(shù)據(jù)處理，空間樣本點(diǎn)數(shù)據(jù)的均勻分布及代表性不僅是檢測(cè)評(píng)價(jià)的關(guān)鍵因素，也是判斷分析結(jié)果是否準(zhǔn)確的重要依據(jù)。針對(duì)空間樣本點(diǎn)數(shù)據(jù)的均勻性及代表性問題，國內(nèi)外學(xué)者開展了大量的研究，許多學(xué)者采用隨機(jī)選擇樣本點(diǎn)研究土壤重金屬污染及
- 大規(guī)模非對(duì)稱線性方程組Lanczos 算法和精化Lanczos算法的對(duì)比
算法進(jìn)行改進(jìn)和精化，使得求解出的特征對(duì)精度更高，速度更快.改變算法的解題方式，從正交投影的方式轉(zhuǎn)變成為雙正交的方式，由于矩陣空間維度擴(kuò)大會(huì)影響向量的雙正交性，所以借助壓縮技術(shù)，在得到高精度特征值的同時(shí)維持其雙正交性，且能減少硬件的內(nèi)存消耗[2].1 精細(xì)化對(duì)比1.1 構(gòu)造三角矩陣首先對(duì)非線性方程組進(jìn)行初始化處理，將方程組轉(zhuǎn)換成等價(jià)的三角矩陣.非線性方程組的矩陣形式為(2)其中，大寫字母V,W,Y表示矩陣，小寫字母v,w表示向量.在三角化中，首先設(shè)定u為啟
- LiDAR 技術(shù)在高速公路改擴(kuò)建中的應(yīng)用及精度分析
制測(cè)量、點(diǎn)云數(shù)據(jù)精化處理、成果精度分析等方面進(jìn)行研究，最終得到了平面位置精度優(yōu)于5cm，高程精度優(yōu)于2cm 的路面數(shù)據(jù)成果，滿足改擴(kuò)建的設(shè)計(jì)的要求。2 工程概況京藏高速公路改擴(kuò)建項(xiàng)目N3 標(biāo)段路線全長54.041 km，起點(diǎn)接第N2 標(biāo)段終點(diǎn)樁號(hào)為K1160+600，設(shè)置樞紐互通立交，終點(diǎn)與第N4 標(biāo)段起點(diǎn)順接樁號(hào)為K1213+000，其中新建道路長度39.538 km，改建道路長度14.503 km。改擴(kuò)建段交通繁忙，項(xiàng)目工期緊，且精度要求較高。采用傳統(tǒng)
江西測(cè)繪 2020年1期2020-07-22
- 海灣精化：站在百年的起點(diǎn)上
發(fā)展歷程中，海灣精化的不少產(chǎn)品都曾填補(bǔ)國內(nèi)空白每一個(gè)節(jié)點(diǎn)，都是一段新的征程。1919年到2019年，青島海灣精細(xì)化工有限公司（以下簡(jiǎn)稱“海灣精化”）走過百年征程。從維新化學(xué)工藝社到青島染料廠，從雙桃精化到海灣精化，從第一批硫化青染料、堿性染料到多品類分散染料，歷經(jīng)一個(gè)世紀(jì)的風(fēng)雨滄桑，海灣精化見證了中國染料工業(yè)的從無到有、由弱變強(qiáng)，也將自己的名字“印染”在了中國化工產(chǎn)業(yè)發(fā)展的史冊(cè)上。第一家民族染料生產(chǎn)廠時(shí)鐘撥回到19世紀(jì)末20世紀(jì)初，國外化學(xué)染料大量涌入中國
商周刊 2019年24期2019-12-07
- GNSS測(cè)量+水準(zhǔn)面精化模型代替等級(jí)水準(zhǔn)測(cè)量驗(yàn)證分析
、市似大地水準(zhǔn)面精化模型的建立,傳統(tǒng)基于水準(zhǔn)測(cè)量的地面標(biāo)石高程基準(zhǔn)將被基于全球衛(wèi)星導(dǎo)航系統(tǒng)(GNSS)測(cè)量的數(shù)字高程基準(zhǔn)所代替,從而改變高程基準(zhǔn)的維持模式和高程測(cè)定的作業(yè)模式[1]．GNSS/水準(zhǔn)測(cè)量得到高程的精度主要取決于兩個(gè)方面,一方面是GNSS測(cè)量大地高的精度,另一方面是高程異常的精度．隨著高精度GNSS儀器投入使用,大地高的測(cè)量精度已達(dá)到了厘米級(jí)精度,所以提高高程異常的精度是提高GNSS/水準(zhǔn)精度的關(guān)鍵所在[2]．以現(xiàn)代大地測(cè)量理論為基礎(chǔ),把高精度
全球定位系統(tǒng) 2019年3期2019-06-26
- 特殊塊三對(duì)角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āng)d(k)為(3)的精確解時(shí)，迭代格式(2-3)退化為單步迭代精化。不難看出，該迭代格式可以提高解x(k)的精度[3]。另外，倘若用高精度方法求解(3)，則迭代格式(2-3)為迭代精化[4-5]，把該迭代格式稱為精化迭代法。引理1 假設(shè)不考慮舍入誤差，精確計(jì)算殘差
- 復(fù)雜網(wǎng)絡(luò)環(huán)境下面向威脅監(jiān)測(cè)的采集策略精化方法
和收益平衡的策略精化方法，將以威脅監(jiān)測(cè)為目標(biāo)的高層監(jiān)測(cè)需求，綜合考慮采集貢獻(xiàn)度和資源消耗，細(xì)化為低層設(shè)備指令，在降低采集數(shù)據(jù)量的同時(shí)保證采集數(shù)據(jù)的精確度，做到極小量按需精準(zhǔn)采集。本文的主要貢獻(xiàn)如下。1) 提出了面向威脅監(jiān)測(cè)的采集策略精化系統(tǒng)模型，設(shè)計(jì)網(wǎng)絡(luò)環(huán)境和策略的3層結(jié)構(gòu)，以及策略精化規(guī)則和策略模板。2) 針對(duì)高層監(jiān)測(cè)需求的威脅類型到中層采集策略的采集項(xiàng)和采集頻率的精化問題，通過對(duì)采集貢獻(xiàn)度和采集資源消耗的量化，設(shè)計(jì)目標(biāo)函數(shù)，通過遺傳算法求解，得到與待采
通信學(xué)報(bào) 2019年4期2019-05-05
- 中長基線GPS靜態(tài)網(wǎng)山區(qū)高程精度的控制方法
即結(jié)合似大地水準(zhǔn)精化模型與數(shù)學(xué)擬合方法，通過似大地水準(zhǔn)精化模型修正區(qū)域高程異常，并利用較少水準(zhǔn)點(diǎn)擬合局部殘差趨勢(shì)項(xiàng)，實(shí)現(xiàn)長距離GPS高程傳遞，以取代相應(yīng)精度等級(jí)的傳統(tǒng)水準(zhǔn)測(cè)量方法。二、似大地水準(zhǔn)面精化模型的建立由地球重力場(chǎng)模型計(jì)算擾動(dòng)位的球諧表達(dá)式為：(1)(2)式中：γ為計(jì)算點(diǎn)正常重力。聯(lián)測(cè)GPS點(diǎn)水準(zhǔn)高程，并求按下式求取實(shí)測(cè)高程異常：ζGPS=H-h(3)可得到重力水準(zhǔn)面對(duì)應(yīng)點(diǎn)與GPS點(diǎn)高程異常之差：Δξ=ζM-ζGPS(4)并以三次多項(xiàng)式擬合高程異常
福建質(zhì)量管理 2019年8期2019-05-05
- 基于全球公眾數(shù)據(jù)EGM2008 1′似大地水準(zhǔn)面精化模型的應(yīng)用探索
分布的，所以要將精化結(jié)果和EGM2008數(shù)據(jù)進(jìn)行比較，將2000多個(gè)基于格網(wǎng)重力數(shù)據(jù)進(jìn)行內(nèi)插求值。本次實(shí)驗(yàn)將重力數(shù)據(jù)加載于ArcGIS中，利用ArcGIS的反距離加權(quán)插值法求取95個(gè)點(diǎn)的高程異常值，進(jìn)而求得95個(gè)點(diǎn)的重力異常殘差值。上述隨機(jī)選取的21點(diǎn)殘差值如表3所示。表3 某區(qū)21點(diǎn)高程異常與EGM2008高程異常對(duì)比殘差值（mm）由表3得出結(jié)論，該區(qū)域的似大地水準(zhǔn)面計(jì)算成果與基于EGM2008重力模型的插值成果的殘差值的絕對(duì)值很小，最大值為135.43
資源導(dǎo)刊(信息化測(cè)繪) 2018年12期2019-01-03
- ZJCORS技術(shù)在水準(zhǔn)高程基準(zhǔn)檢核中的應(yīng)用研究
內(nèi)的似大地水準(zhǔn)面精化模型，并且都取得了不錯(cuò)的效果[4]。目前，浙江省似大地水準(zhǔn)面精化模型建立工作已經(jīng)完成，并且實(shí)現(xiàn)了與ZJCORS技術(shù)的融合，即用戶可以通過ZJCORS技術(shù)在線獲得精化的正常高成果。在常規(guī)水準(zhǔn)測(cè)量實(shí)踐中往往存在高程起算點(diǎn)沉降的問題，因此一般在測(cè)量時(shí)都會(huì)采用附合水準(zhǔn)路線聯(lián)測(cè)起算水準(zhǔn)點(diǎn)，以檢核起算水準(zhǔn)點(diǎn)是否存在沉降現(xiàn)象。但這種作業(yè)方式存在2個(gè)問題，一是用來聯(lián)測(cè)檢核的水準(zhǔn)點(diǎn)距離起算水準(zhǔn)點(diǎn)較遠(yuǎn)，客觀上增加了水準(zhǔn)測(cè)量外業(yè)的工作量；二是用來聯(lián)測(cè)檢核的水
浙江水利科技 2018年5期2018-10-08
- “新河理想”成真
的大好機(jī)遇，海灣精化走上了轉(zhuǎn)型升級(jí)之路，無論是在自動(dòng)化、智能化方面，還是在綠色循環(huán)經(jīng)濟(jì)的發(fā)展上，都做得有聲有色，并一躍成為同行業(yè)的領(lǐng)頭者。再來到新河，早已不是原來的樣子。7年時(shí)間，昔日的泥濘土路已變成寬闊的柏油馬路，鱗次櫛比的化工園區(qū)取代了曾經(jīng)遍地的池塘和蘆葦蕩。海灣精化在告別老城區(qū)后，在新河這片闊土上重獲新生，北上二次創(chuàng)業(yè)，海灣精化“質(zhì)”的轉(zhuǎn)折點(diǎn)就發(fā)生在新河。海灣精化的前身是青島染料廠，這個(gè)百年老廠在歷史的更迭變化中，從一個(gè)規(guī)模極小、設(shè)備簡(jiǎn)陋的小作坊，發(fā)
商周刊 2018年6期2018-08-30
- “新河理想”成真
的大好機(jī)遇，海灣精化走上了轉(zhuǎn)型升級(jí)之路，無論是在自動(dòng)化、智能化方面，還是在綠色循環(huán)經(jīng)濟(jì)的發(fā)展上，都做得有聲有色，并一躍成為同行業(yè)的領(lǐng)頭者。再來到新河，早已不是原來的樣子。7年時(shí)間，昔日的泥濘土路已變成寬闊的柏油馬路，鱗次櫛比的化工園區(qū)取代了曾經(jīng)遍地的池塘和蘆葦蕩。海灣精化在告別老城區(qū)后，在新河這片闊土上重獲新生，北上二次創(chuàng)業(yè)，海灣精化“質(zhì)”的轉(zhuǎn)折點(diǎn)就發(fā)生在新河。海灣精化的前身是青島染料廠，這個(gè)百年老廠在歷史的更迭變化中，從一個(gè)規(guī)模極小、設(shè)備簡(jiǎn)陋的小作坊，發(fā)
商周刊 2018年6期2018-08-30
- 桂林市似大地水準(zhǔn)面模型精化與精度評(píng)定
似大地水準(zhǔn)面模型精化是測(cè)繪基準(zhǔn)建立與維持的主要內(nèi)容之一。與此同時(shí)，隨著現(xiàn)代空間技術(shù)(如GNSS)在大地測(cè)量中的應(yīng)用，建立和維持大地測(cè)量基準(zhǔn)的技術(shù)手段、工具及理論方法也發(fā)生了改變。近年來，為了滿足現(xiàn)代城市發(fā)展的要求，全國多個(gè)省及地區(qū)相繼建立了各自的似大地水準(zhǔn)面精化模型。如江蘇省建立了省域似大地水準(zhǔn)面精化模型，其精度為 7.8 cm，分辨率為2.5′× 2.5′；浙閩贛地區(qū)建立了其似大地水準(zhǔn)面精化模型，模型內(nèi)符合精度為 ±5.5 cm，外部符合精度為 ±6.2
城市勘測(cè) 2018年4期2018-08-30
- 區(qū)域似大地水準(zhǔn)面精化高程模型的建立及在鳳縣地區(qū)的應(yīng)用
水準(zhǔn)面模型建立及精化高程的目的全球GPS相對(duì)定位技術(shù)目前在平面二維位置獲取時(shí)，已經(jīng)能夠達(dá)到10-8數(shù)量級(jí)，但由于GPS觀測(cè)獲得的高程數(shù)據(jù)是相對(duì)于大地水準(zhǔn)面（即WGS-84橢球下）取得的大地高，而我國目前使用的高程系統(tǒng)為在似大地水準(zhǔn)面模型下的正常高系統(tǒng)，因此如何通過建立、優(yōu)化設(shè)計(jì)等方法，使得在GPS大地高與正常高的數(shù)據(jù)轉(zhuǎn)換中，數(shù)據(jù)質(zhì)量更準(zhǔn)確，精度更高，為獲得高精度的GPS高程值同正常高的優(yōu)化轉(zhuǎn)換成為測(cè)繪精化高程的主要目的。我們?nèi)绾文軌虿捎么蟮販y(cè)量方法精確求得
建材與裝飾 2018年35期2018-08-09
- n-精化與n-互模擬之間相關(guān)問題的研究
marsch等將精化模態(tài)邏輯(refinement modal logic,RML)看作是FEL的抽象[3]，因此?算子表示對(duì)精化的量化，也稱為精化量詞，用以描述與所給的信息狀態(tài)相匹配的信息事件。隨著研究的不斷深入，學(xué)者們逐漸意識(shí)到，在不同的模態(tài)邏輯下用結(jié)構(gòu)轉(zhuǎn)換來解釋精化量詞具有更廣泛的意義，由此，Laura Bozzelli等在Hans van Ditmarsch研究的基礎(chǔ)上，進(jìn)一步將精化量詞引入模態(tài)邏輯，并展開了相關(guān)的研究工作。精化與互模擬的區(qū)別在于前
計(jì)算機(jī)技術(shù)與發(fā)展 2018年4期2018-04-13
- 天馬精化業(yè)績(jī)大“變臉”的背后
金陵控股成為天馬精化的控股股東，現(xiàn)更名為華軟科技。2016年天馬精化實(shí)現(xiàn)營業(yè)收入約11.9億元，2015年實(shí)現(xiàn)營業(yè)收入約10.6億，2016年比2015年同比增長了約12.38%；2016年的營業(yè)利潤約-3.3億元，2015年約為2782萬元，營業(yè)利潤同比下降了1314.29%；2016年?duì)I業(yè)利潤率是-27.74%，2015年為2.62%天馬精化在前三個(gè)季度基本上還是處于盈利狀態(tài)，前三季度的利潤總和為11521504.89元，但是公司在第四季度發(fā)生了非常嚴(yán)
絲路藝術(shù) 2018年7期2018-04-01
- 基于Event-B的中斷管理需求和設(shè)計(jì)形式化建模與驗(yàn)證方法*
和設(shè)計(jì)重寫、制定精化策略并逐步精化的方法，對(duì)航天嵌入式操作系統(tǒng)SpaceOS2的中斷管理模塊建立了需求層和設(shè)計(jì)層形式化模型，將模型檢驗(yàn)和定理證明相結(jié)合，驗(yàn)證模型的正確性并且滿足安全性質(zhì). 關(guān)鍵詞： 中斷管理;形式化驗(yàn)證;Event-B;精化0 引 言在航空航天領(lǐng)域，航天器操作系統(tǒng)的安全性因其生命期長，結(jié)構(gòu)復(fù)雜，穩(wěn)定性要求高和出錯(cuò)代價(jià)高昂開始引起了廣泛的關(guān)注.操作系統(tǒng)由于其復(fù)雜性，其正確性很難用定量的方式進(jìn)行描述和說明，由于操作系統(tǒng)軟件在各類航天器計(jì)算機(jī)應(yīng)用
空間控制技術(shù)與應(yīng)用 2017年3期2017-07-05
- 精化齒坯熱鍛工藝淺析
330044）精化齒坯熱鍛工藝淺析江叔通 （南昌齒輪有限責(zé)任公司，江西 南昌 330044）齒坯閉式模鍛鍛件分精密級(jí)和普通級(jí)，但國家標(biāo)準(zhǔn)定義的精密級(jí)鍛件留有單邊加工余量，仍需進(jìn)行粗車和精車。在精密鍛造基礎(chǔ)上，研究精化齒坯熱鍛工藝，以進(jìn)一步提高鍛件精度等級(jí)，達(dá)到減少單邊加工余量，進(jìn)而使精化齒坯直接用于精車。本文對(duì)精化齒坯熱鍛工藝進(jìn)行了定義，并明確該工藝單邊加工余量的范圍。因制坯和預(yù)鍛是決定精化齒坯熱鍛工藝質(zhì)量的關(guān)鍵，因此對(duì)其工藝流程和工藝重點(diǎn)進(jìn)行了分析，同
鍛壓裝備與制造技術(shù) 2017年2期2017-06-01
- 華誼精化整治環(huán)境綠色發(fā)展
公司（簡(jiǎn)稱“華誼精化”）領(lǐng)導(dǎo)班子及司屬各企業(yè)認(rèn)真學(xué)習(xí)領(lǐng)會(huì)習(xí)總書記的十九大報(bào)告精神，牢固樹立和踐行“綠水青山就是金山銀山”的環(huán)保理念，表示要“像對(duì)待生命一樣對(duì)待生態(tài)環(huán)境”，為打贏環(huán)保整治保衛(wèi)戰(zhàn)而繼續(xù)努力。加大環(huán)保投入。近年來，華誼精化主動(dòng)承擔(dān)化工企業(yè)的社會(huì)責(zé)任，加強(qiáng)與院校研究合作，連續(xù)在開林、上造等多家老企業(yè)建成具有先進(jìn)技術(shù)的VOCs環(huán)保治理裝置；試四赫維引進(jìn)“活性炭高溫蒸汽吸脫附技術(shù)”、自主攻關(guān)“高濃度高鹽廢水”等處理技術(shù)，確保生產(chǎn)合規(guī)達(dá)標(biāo)排放。加快科技進(jìn)
上?；?2017年12期2017-04-10
- 百年老企業(yè)成為行業(yè)VOCs治理標(biāo)桿第三套環(huán)保治理裝置在開林造漆廠建成投運(yùn)
這是華誼集團(tuán)旗下精化公司建成的第三套VOCs環(huán)保治理裝置，預(yù)期VOCs凈化率可達(dá)90%以上。近年來，國家和上海市政府堅(jiān)持綠色發(fā)展，強(qiáng)力推進(jìn)環(huán)境治理，相繼出臺(tái)、修訂了《大氣污染防治條例》、《環(huán)境保護(hù)法》、《大氣污染防治法》和《上海市環(huán)境保護(hù)條例》。這對(duì)化工企業(yè)來說，不啻是一場(chǎng)嚴(yán)峻的生存發(fā)展考驗(yàn)。是一味被動(dòng)的減產(chǎn)、限產(chǎn)，束手待斃？還是主動(dòng)出擊，積極作為，為企業(yè)尋找一條科學(xué)的可持續(xù)的發(fā)展道路？華誼集團(tuán)精化公司毅然選擇了后者。精化公司堅(jiān)持“有進(jìn)有退”的產(chǎn)品、產(chǎn)業(yè)結(jié)
上?；?2017年3期2017-04-10
- 華誼精化力爭(zhēng)今年完成40億元銷售目標(biāo)
華誼精化力爭(zhēng)今年完成40億元銷售目標(biāo)2017年，要在新的起點(diǎn)上砥礪奮進(jìn)，實(shí)現(xiàn)主營業(yè)務(wù)收入40億元、歸屬母公司凈利潤7 420萬元的年度預(yù)算目標(biāo)。最近，上海華誼精細(xì)化工有限公司（簡(jiǎn)稱“華誼精華公司”）確定了2017年年度工作目標(biāo)。為確保年度奮斗目標(biāo)的全面實(shí)現(xiàn)，公司總經(jīng)理?xiàng)罴t妹提出要在十項(xiàng)工作上狠下功夫。一是守住安全環(huán)保底線，確保企業(yè)生存基礎(chǔ)；二是深挖降本增效潛力，節(jié)能控費(fèi)增添效益；三是創(chuàng)新市場(chǎng)拓展舉措，深挖重點(diǎn)產(chǎn)品領(lǐng)域；四是突破兩個(gè)項(xiàng)目瓶頸，盡快實(shí)現(xiàn)效益提升
上海化工 2017年4期2017-04-09
- 區(qū)域似大地水準(zhǔn)面精化的方法探討與精度分析
區(qū)域似大地水準(zhǔn)面精化的方法探討與精度分析布金偉，左小清(昆明理工大學(xué) 國土資源工程學(xué)院，云南 昆明 650093)闡述與GPS/水準(zhǔn)高程擬合相關(guān)的基本理論及區(qū)域似大地水準(zhǔn)面精化的原理與方法，并結(jié)合區(qū)域的具體實(shí)例，重點(diǎn)比較二次多項(xiàng)式曲面擬合法、三角剖分雙線性內(nèi)插法、加權(quán)平均推估法的精度情況，從中得到結(jié)論。實(shí)驗(yàn)表明，在沒有足夠重力數(shù)據(jù)的支持下，三角剖分雙線性內(nèi)插法獲得比較理想的精度，利用該方法精化似大地水準(zhǔn)面獲得的高程可以代替四等水準(zhǔn)。GPS/水準(zhǔn)；區(qū)域似大地
測(cè)繪工程 2017年6期2017-03-30
- UML類圖的形式規(guī)約與精化研究
類圖的形式規(guī)約與精化研究王博文 盛 楓 竇 亮 楊宗源(華東師范大學(xué)信息科學(xué)技術(shù)學(xué)院 上海 200241)UML由于其廣泛的應(yīng)用和直觀的圖形化符號(hào)，成為了模型驅(qū)動(dòng)工程的重要組成部分。但UML本身缺乏精確的形式語義定義，缺少對(duì)其模型精化關(guān)系的形式化規(guī)范定義，對(duì)UML模型進(jìn)行形式驗(yàn)證變得尤為困難。UML類圖作為描述系統(tǒng)結(jié)構(gòu)的靜態(tài)模型，不具備完整的形式語義。從UML類圖的機(jī)械語義中抽取出形式規(guī)約，將UML類圖中的結(jié)構(gòu)和形式規(guī)約轉(zhuǎn)換成定理證明器Coq中的機(jī)械語義定
計(jì)算機(jī)應(yīng)用與軟件 2017年2期2017-02-27
- Web服務(wù)編排場(chǎng)景的XML Schema消息類型精化
hema消息類型精化王 瑾 馬 凱 楊紅麗(北京工業(yè)大學(xué)計(jì)算機(jī)學(xué)院 北京 100124)Web服務(wù)(Web Services)編排描述了Web服務(wù)組合的交互行為，在實(shí)際開發(fā)中，Web服務(wù)組合的實(shí)現(xiàn)可能存在交互的數(shù)據(jù)類型、交互序列與編排規(guī)范不相符的情況，為了測(cè)試Web服務(wù)(組合)與編排的相符性，需要從編排規(guī)范生成測(cè)試用例。由于編排場(chǎng)景描述了編排中各個(gè)參與方的交互序列及其交互消息的XML Schema類型，從而可以根據(jù)場(chǎng)景中的XML Schema類型生成測(cè)試數(shù)
計(jì)算機(jī)應(yīng)用與軟件 2017年2期2017-02-27
- n-精化關(guān)系及其相關(guān)研究
惠麗 張晉津n-精化關(guān)系及其相關(guān)研究南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院 施曉靜 邢惠麗 張晉津精化關(guān)系是研究反應(yīng)式系統(tǒng)的重要內(nèi)容之一。本文在n-互模擬的基礎(chǔ)上提出了分層精化精化關(guān)系，探究n-精化關(guān)系與分層互模擬關(guān)系之間的區(qū)別與聯(lián)系，定義n-精化模態(tài)邏輯語言并給出相關(guān)的永真式。n-精化；n-互模擬，n-精化模態(tài)邏輯1.前言反應(yīng)式系統(tǒng)的研究?jī)?nèi)容之一是討論進(jìn)程之間的行為等價(jià)或者精化關(guān)系，一般而言前者是一個(gè)等價(jià)關(guān)系而后者是一個(gè)前序關(guān)系，在進(jìn)程代數(shù)理論發(fā)展過程中人
電子世界 2017年2期2017-02-17
- 城市似大地水準(zhǔn)面精化成果的應(yīng)用
城市似大地水準(zhǔn)面精化成果的應(yīng)用魏立峰1（1.秦皇島市城市規(guī)劃管理信息中心，河北 秦皇島 066001）介紹了利用城市似大地水準(zhǔn)面精化成果，結(jié)合HBCORS獲得的大地高數(shù)據(jù)，通過正常高求解數(shù)學(xué)模型來獲取點(diǎn)位正常高的方法。實(shí)驗(yàn)結(jié)果表明，通過該方法獲得的正常高精度能夠滿足四等GNSS高程測(cè)量精度要求，似大地水準(zhǔn)面精化成果在城市測(cè)量領(lǐng)域具有廣闊的應(yīng)用前景。似大地水準(zhǔn)面精化；高程異常；大地高；正常高全球?qū)Ш叫l(wèi)星系統(tǒng)（GNSS）測(cè)量技術(shù)在測(cè)繪領(lǐng)域已得到廣泛應(yīng)用，能提供
地理空間信息 2016年7期2016-12-27
- 模型精化過程中模型間一致性檢測(cè)研究
0241)?模型精化過程中模型間一致性檢測(cè)研究王 玲 徐立華(華東師范大學(xué)計(jì)算機(jī)科學(xué)技術(shù)系 上海 200241)傳統(tǒng)的模型精化過程中模型間一致性檢測(cè)專注于檢測(cè)模型自身的正確性、死鎖、以及不變式保持性等，而無法保證模型間行為方面的一致性。為此提出利用系統(tǒng)行為屬性來反應(yīng)模型行為，結(jié)合模型檢測(cè)的方法來檢測(cè)模型間的行為一致性。首先對(duì)精化前模型分析生成抽象測(cè)試用例并抽取其代表的系統(tǒng)行為屬性；然后根據(jù)精化后的模型抽取模型精化關(guān)系并進(jìn)一步更新系統(tǒng)屬性；最后使用這些系統(tǒng)行
計(jì)算機(jī)應(yīng)用與軟件 2016年11期2016-12-26
- 基于EIGEN6C2模型的Kaula規(guī)則精化
的Kaula規(guī)則精化梁建青1，沈云中1，張興福2(1.同濟(jì)大學(xué) 測(cè)繪與地理信息學(xué)院，上海 200092；2.廣東工業(yè)大學(xué) 測(cè)繪工程系，廣東 廣州 510006)高精度重力場(chǎng)模型精化Kaula規(guī)則其要點(diǎn)是將Kaula規(guī)則乘上一個(gè)與位系數(shù)階數(shù)項(xiàng)相關(guān)的二階有理函數(shù)，并基于EIGEN6C2重力場(chǎng)模型解算有理函數(shù)模型的系數(shù)。精化后的Kaula規(guī)則與EIGEN6C2模型和EGM2008模型的逼近誤差都只是原來Kaula規(guī)則的0.26%。因此, 精化后的Kaula規(guī)則更
測(cè)繪工程 2016年12期2016-10-17
- 引入似大地水準(zhǔn)面精化模型的山區(qū)水情監(jiān)測(cè)方法
引入似大地水準(zhǔn)面精化模型的山區(qū)水情監(jiān)測(cè)方法楊坤1，李和平2(1. 貴州省測(cè)繪資料檔案館，貴州 貴陽 550004； 2. 貴州省第一測(cè)繪院，貴州 貴陽 550025)基于山區(qū)水情監(jiān)測(cè)的內(nèi)在需求與山地開展水準(zhǔn)測(cè)量困難的地域?qū)嶋H，討論了引入?yún)^(qū)域似大地水準(zhǔn)面精化模型的GNSS靜態(tài)高程測(cè)量方法代替等級(jí)水準(zhǔn)的監(jiān)測(cè)方法的可行性，以貴州省內(nèi)分布均勻的15個(gè)CORS站點(diǎn)、20個(gè)C級(jí)點(diǎn)、11個(gè)水文站內(nèi)的三等水準(zhǔn)點(diǎn)作為研究基礎(chǔ)，按照C級(jí)網(wǎng)精度要求布網(wǎng)觀測(cè)，利用貴州省似大地水準(zhǔn)
測(cè)繪通報(bào) 2016年8期2016-09-08
- 似大地水準(zhǔn)面精化成果在地質(zhì)工程測(cè)量中的應(yīng)用探討
4）似大地水準(zhǔn)面精化成果在地質(zhì)工程測(cè)量中的應(yīng)用探討■杜炳輝（中國地震局第二監(jiān)測(cè)中心陜西西安710054）地質(zhì)工程測(cè)量是地質(zhì)勘查中一項(xiàng)重要的基礎(chǔ)工作。因而，在地質(zhì)工程測(cè)量中運(yùn)用合理而科學(xué)的測(cè)量方法顯得尤為重要。似大地水準(zhǔn)面精化成果用于高程系統(tǒng)的起算面，具有高精度，三維性，動(dòng)態(tài)性，多功能的特點(diǎn)。將其運(yùn)用在地質(zhì)工程測(cè)量中獲得其高程成果變得十分可取。一方面，可以保證測(cè)量結(jié)果的高程精度；另一方面，可以減少一定程度的工作量，降低測(cè)量成本，取得可觀的經(jīng)濟(jì)效益。似大地水準(zhǔn)
地球 2016年4期2016-04-14
- Institution框架下的結(jié)構(gòu)化標(biāo)記共變-逆變模擬
轉(zhuǎn)換系統(tǒng)間的模態(tài)精化與結(jié)構(gòu)化標(biāo)記共變-逆變模擬之間存在諸多相似之處，為了在更抽象層次上研究?jī)烧叩年P(guān)系，引入Institution框架?；谠摽蚣?，討論結(jié)構(gòu)化標(biāo)記模態(tài)轉(zhuǎn)換系統(tǒng)間的模態(tài)精化與結(jié)構(gòu)化標(biāo)記共變-逆變模擬之間的關(guān)系，并證明前者到后者存在Institution態(tài)射。結(jié)果表明，相比結(jié)構(gòu)化標(biāo)記模態(tài)轉(zhuǎn)換系統(tǒng)中模態(tài)精化關(guān)系，結(jié)構(gòu)化標(biāo)記共變-逆變模擬具有更強(qiáng)的表達(dá)能力。關(guān)鍵詞Institution結(jié)構(gòu)化標(biāo)記模態(tài)轉(zhuǎn)換系統(tǒng)共變-逆變模擬LABEL-STRUCTURE
計(jì)算機(jī)應(yīng)用與軟件 2016年2期2016-03-17
- 基于似大地水準(zhǔn)面精化模型的GNSS高程在山區(qū)水利測(cè)量中的應(yīng)用
秀明似大地水準(zhǔn)面精化是以GPS水準(zhǔn)確定的高精度但分辨率較低的幾何大地水準(zhǔn)面作為控制，將重力學(xué)方法確定的高分辨率但精度較低的重力大地水準(zhǔn)面與其擬合，實(shí)現(xiàn)對(duì)局部似大地水準(zhǔn)面的精化。1. 工程概況崇禮申奧工程水利實(shí)施項(xiàng)目就是要對(duì)清水河上游東溝和滑雪集聚區(qū)支流河進(jìn)行治理。為此，需進(jìn)行控制網(wǎng)建立、縱橫斷面測(cè)量和地形測(cè)量等大量的基礎(chǔ)測(cè)繪工作，而高程測(cè)量是其中一項(xiàng)關(guān)鍵性工作。2. 測(cè)量工作技術(shù)路線一是選埋滿足當(dāng)前測(cè)量階段需要的一定數(shù)量的控制點(diǎn)。二是平面控制：以測(cè)區(qū)現(xiàn)有的
河北水利 2015年6期2015-08-15
- GM（1，1）模型在區(qū)域似大地水準(zhǔn)面精化中的應(yīng)用研究
］。目前國內(nèi)外在精化區(qū)域似大地水準(zhǔn)面的常用方法主要有地球重力場(chǎng)模型法和數(shù)學(xué)模型擬合法。常用的地球重力場(chǎng)模型有EGM96、EGM2008，雖然其分辨率很高，但精度相對(duì)較低，并且相應(yīng)區(qū)域的重力數(shù)據(jù)很難獲取，不能滿足一般工程建設(shè)的實(shí)際需要［4］。數(shù)學(xué)模型擬合法包括曲線擬合法、曲面擬合法、非參數(shù)回歸法等，其對(duì)建模要求較高，并且要根據(jù)區(qū)域地形特征和對(duì)已知點(diǎn)數(shù)量的多少來選擇相適應(yīng)的數(shù)學(xué)模型，在地形復(fù)雜、控制點(diǎn)稀少的區(qū)域難以建立精確的似大地水準(zhǔn)面模型。在缺少重力數(shù)據(jù)的區(qū)
測(cè)繪工程 2015年1期2015-03-28
- 基于本體知識(shí)推理的QoS區(qū)分服務(wù)策略精化方法
語言描述的策略，精化分解為底層可執(zhí)行策略，一直是研究的熱點(diǎn)之一。其中比較受到認(rèn)可的方法有，基于目標(biāo)需求分解的精化方法、專家系統(tǒng)方法等。在目前的研究成果中，策略精化方法普遍缺少自動(dòng)推理機(jī)制，仍然需要較多的人工干預(yù)，大大制約了策略精化的自動(dòng)化水平。部分學(xué)者提出將本體知識(shí)系統(tǒng)引入策略網(wǎng)絡(luò)管理，利用本體良好的語義表達(dá)能力和知識(shí)推理能力實(shí)現(xiàn)策略的自動(dòng)精化，然而，如何設(shè)計(jì)并實(shí)現(xiàn)本體驅(qū)動(dòng)的策略精化機(jī)制卻始終未能得到解決。本文在以往研究成果的基礎(chǔ)上，針對(duì)QoS區(qū)分服務(wù)的具
計(jì)算機(jī)工程與設(shè)計(jì) 2014年11期2014-12-23
- 基于區(qū)域似大地水準(zhǔn)面精化的測(cè)量精度探索
區(qū)域似大地水準(zhǔn)面精化的相關(guān)工作，以區(qū)域似大地水準(zhǔn)面精化的意義為研究對(duì)象，從三個(gè)方面對(duì)其測(cè)量精度進(jìn)行了驗(yàn)證，結(jié)果表明，區(qū)域似大地水準(zhǔn)面精化成果的精度完全滿足四等及等外水準(zhǔn)點(diǎn)的測(cè)量、各種比例尺地形測(cè)圖及相應(yīng)比例尺航測(cè)像控點(diǎn)布設(shè)的要求，基于此，筆者給出了重點(diǎn)應(yīng)用方向，全文是筆者長期工作實(shí)踐基礎(chǔ)上的理論升華，相信對(duì)從事相關(guān)工作的同行能有所裨益。關(guān)鍵詞：區(qū)域 似大地水準(zhǔn)面 精化 水準(zhǔn)測(cè)量 地形測(cè)量 攝影測(cè)量中圖分類號(hào)：P23 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1672-37
科技資訊 2014年20期2014-10-22
- 基于區(qū)域似大地水準(zhǔn)面精化的測(cè)量精度探索
區(qū)域似大地水準(zhǔn)面精化的相關(guān)工作，以區(qū)域似大地水準(zhǔn)面精化的意義為研究對(duì)象，從三個(gè)方面對(duì)其測(cè)量精度進(jìn)行了驗(yàn)證，結(jié)果表明，區(qū)域似大地水準(zhǔn)面精化成果的精度完全滿足四等及等外水準(zhǔn)點(diǎn)的測(cè)量、各種比例尺地形測(cè)圖及相應(yīng)比例尺航測(cè)像控點(diǎn)布設(shè)的要求，基于此，筆者給出了重點(diǎn)應(yīng)用方向，全文是筆者長期工作實(shí)踐基礎(chǔ)上的理論升華，相信對(duì)從事相關(guān)工作的同行能有所裨益。關(guān)鍵詞：區(qū)域 似大地水準(zhǔn)面 精化 水準(zhǔn)測(cè)量 地形測(cè)量 攝影測(cè)量中圖分類號(hào)：P22 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1672-37
科技資訊 2014年23期2014-10-20
- 基于改進(jìn)的Kriging法區(qū)域似大地水準(zhǔn)面精化分析
區(qū)域似大地水準(zhǔn)面精化主要應(yīng)用于測(cè)繪工作,采用GPS測(cè)量值轉(zhuǎn)換為正常高,能夠有效減少人力花費(fèi),滿足大比例尺繪圖要求。我國自2003年開始進(jìn)行相關(guān)工作,采用高科技的衛(wèi)星定位技術(shù)代替?zhèn)鹘y(tǒng)的測(cè)量方式,提高了數(shù)據(jù)精度。這十來年,我國已經(jīng)完成了20多個(gè)省市的似大地水準(zhǔn)面精化工作,精度可以達(dá)到3～5 cm[1],這大大促進(jìn)了城市化的發(fā)展建設(shè),為國家?guī)砀嗟慕?jīng)濟(jì)效益和社會(huì)效益。1 區(qū)域似大地水準(zhǔn)面精化原理概述想要進(jìn)行精化工作,首先應(yīng)求解相應(yīng)區(qū)域的高程異常ξ,通過該區(qū)域的
全球定位系統(tǒng) 2014年6期2014-08-22
- Petri網(wǎng)結(jié)點(diǎn)精化及其應(yīng)用
中提到的有關(guān)結(jié)點(diǎn)精化方向的一些問題進(jìn)行討論和研究，就結(jié)點(diǎn)精化在解決Petri網(wǎng)結(jié)點(diǎn)爆炸問題上提出自己的見解。1 結(jié)點(diǎn)精化基礎(chǔ)Rainer Fehling在1993年國際Petri網(wǎng)理論與應(yīng)用大會(huì)上首先提出了結(jié)點(diǎn)精化的技術(shù)，最先在Petri網(wǎng)中引入層次方法。結(jié)點(diǎn)精化的基本思路是將一個(gè)Petri網(wǎng)(上層網(wǎng))中的某個(gè)結(jié)點(diǎn)用另一個(gè)Petri網(wǎng)(下層網(wǎng))進(jìn)行精化(即替換)，從而形成分層的Petri網(wǎng)。如果這個(gè)結(jié)點(diǎn)是庫所，就稱為庫所精化(Place Refinemen
計(jì)算機(jī)與現(xiàn)代化 2014年7期2014-07-03
- 基于Event-B的形式化建模關(guān)鍵技術(shù)研究
-B語言，以逐步精化的方式向模型中添加屬性和功能達(dá)到豐富、完善、細(xì)化模型的目的，并驗(yàn)證模型的正確性。1 Event-B和Rodin平臺(tái)Event-B是一種用于進(jìn)行系統(tǒng)級(jí)建模和分析的形式化方法[6]，它基于集合理論，在不同的抽象級(jí)構(gòu)建系統(tǒng)，并逐步精細(xì)化，使用數(shù)學(xué)證明來保證不同精化級(jí)別之間的一致性。Rodin是一種用于開發(fā)復(fù)雜高可信軟件系統(tǒng)的開放工具平臺(tái)，它基于Event-B形式化方法，提供對(duì)精化和數(shù)學(xué)證明的自然支持。Event-B軟件系統(tǒng)模型如圖1所示，包含
電子科技大學(xué)學(xué)報(bào) 2014年3期2014-02-10
- 似大地水準(zhǔn)面精化在山區(qū)大比例尺地形測(cè)圖中的應(yīng)用
0)似大地水準(zhǔn)面精化在山區(qū)大比例尺地形測(cè)圖中的應(yīng)用羅強(qiáng)?(重慶市勘測(cè)院，重慶 400020)似大地水準(zhǔn)面精化是現(xiàn)代測(cè)繪基準(zhǔn)體系中的重要組成部分，它的推廣和應(yīng)用改變了傳統(tǒng)的高程測(cè)量模式，為測(cè)繪工作帶來極大方便，提高了工作效率。本文以重慶市山區(qū)的一個(gè)大比例尺地形圖測(cè)量項(xiàng)目為例，通過應(yīng)用似大地水準(zhǔn)面精化成果校核原有已知高程點(diǎn)，精度滿足要求，充分應(yīng)用似大地水準(zhǔn)面精化成果替代搭接水準(zhǔn)點(diǎn)的傳統(tǒng)高程測(cè)量模式，為似大地水準(zhǔn)面精化成果的應(yīng)用積累了寶貴的經(jīng)驗(yàn)。似大地水準(zhǔn)面精化
城市勘測(cè) 2013年2期2013-03-03
- 一種調(diào)和Ritz向量的精化算法及應(yīng)用
itz對(duì)，并應(yīng)用精化Arnoldi算法的思想給出了一種精化變形，進(jìn)一步對(duì)調(diào)和Ritz向量進(jìn)行精化求解，尋求使殘量范數(shù)達(dá)到極小的近似特征向量，并對(duì)這種方法進(jìn)行了理論分析，給出了數(shù)值實(shí)驗(yàn)。理論分析顯示了這種方法的可行性，數(shù)值實(shí)驗(yàn)顯示這種方法的優(yōu)越性。最后將本文的算法應(yīng)用于K－L變換的變換矩陣求解中。K－L［6］變換的核心過程是計(jì)算特征值和特征向量。由于待處理矩陣維數(shù)高，一般的方法很難求出其特征值及特征向量，甚至無法求出。K－L變換的一些優(yōu)化處理過程復(fù)雜，很難滿
- 支持模型驅(qū)動(dòng)開發(fā)的行為描述方法＊
性。行為描述及其精化是MDD研究中的一個(gè)關(guān)鍵問題，它需要考慮對(duì)象的一系列動(dòng)作語義，包括動(dòng)作觸發(fā)的條件，動(dòng)作對(duì)系統(tǒng)的影響以及動(dòng)作之間的順序、并發(fā)等時(shí)空關(guān)系，但長期以來并未形成統(tǒng)一而行之有效的方法［1－3］。軟件系統(tǒng)的正確性和完備性可以通過對(duì)生命周期中不同產(chǎn)品和過程的形式化來提升，以集合論和謂詞邏輯為基礎(chǔ)的形式化方法是行為建模的一種較為有效的思路，如Z、B［4］和VDM等。形式化方法可提供消除歧義和精確定義的作用，并可通過嚴(yán)格證明以盡早發(fā)現(xiàn)描述中的錯(cuò)誤。形式化
濰坊學(xué)院學(xué)報(bào) 2012年4期2012-06-11
- 全國科技示范工程“蕪湖市似大地水準(zhǔn)面精化”項(xiàng)目順利通過部級(jí)驗(yàn)收
湖市似大地水準(zhǔn)面精化”項(xiàng)目順利通過部級(jí)驗(yàn)收(本刊訊)2012年11月13日，由蕪湖市勘察測(cè)繪設(shè)計(jì)研究院和國家測(cè)繪地理信息局大地測(cè)量數(shù)據(jù)處理中心聯(lián)合研發(fā)建設(shè)的“蕪湖市似大地水準(zhǔn)面精化研究”項(xiàng)目正式通過國家住建部驗(yàn)收專家委員會(huì)鑒定驗(yàn)收?！笆徍兴拼蟮厮疁?zhǔn)面精化研究”項(xiàng)目是國家住房和城鄉(xiāng)建設(shè)部2011年全國科技示范工程。該項(xiàng)目作為“數(shù)字蕪湖”地理空間基礎(chǔ)框架的重要組成部分，是全市各行各業(yè)經(jīng)濟(jì)建設(shè)、城鎮(zhèn)建設(shè)的基礎(chǔ)。項(xiàng)目根據(jù)大地測(cè)量、衛(wèi)星測(cè)量、現(xiàn)代地球重力場(chǎng)理論與方
城市勘測(cè) 2012年6期2012-04-01
- 基于B方法的體系結(jié)構(gòu)描述語言的精化研究
和復(fù)雜連接子逐步精化系統(tǒng),但缺乏語義支持.于是,將B方法和ABC/ADL兩相結(jié)合,取長補(bǔ)短,展開了體系結(jié)構(gòu)精化的研究,提出了一種使兩者無縫集成的精化開發(fā)方法：首先定義精化約束和規(guī)則保證在精化過程中模型系統(tǒng)的一致性;然后對(duì)ABC/ADL復(fù)合構(gòu)件和復(fù)雜連接子使用定義的精化約束和規(guī)則逐步精化,直到可執(zhí)行程序.2 體系結(jié)構(gòu)精化研究2.1 復(fù)合構(gòu)件和復(fù)雜連接子[5]ABC/ADL提供復(fù)合構(gòu)件和復(fù)雜連接子的機(jī)制來幫助設(shè)計(jì)人員逐步精化系統(tǒng).從構(gòu)件對(duì)外的角度來看,復(fù)合構(gòu)件
懷化學(xué)院學(xué)報(bào) 2012年2期2012-01-07
- 多步橋接精化遷移學(xué)習(xí)*
算法——多步橋接精化(Multi-Step Bridged Refinement，簡(jiǎn)稱MSBR)來解決訓(xùn)練數(shù)據(jù)和測(cè)試數(shù)據(jù)分布不一致的分類問題.首先通過構(gòu)造一系列中間模型來建立源領(lǐng)域和目標(biāo)領(lǐng)域之間的連接，進(jìn)而進(jìn)行標(biāo)簽傳播，最終完成從源領(lǐng)域到目標(biāo)領(lǐng)域的判別信息的遷移.由于構(gòu)造的中間模型兩兩間的數(shù)據(jù)分布相似，原來被認(rèn)為較難的遷移過程被分解成為一系列相對(duì)容易解決的子遷移.1 多步橋接精化遷移1.1 問題定義1.2 交互精化本研究借助標(biāo)簽傳播的原理來求目標(biāo)領(lǐng)域數(shù)據(jù)的
- 似大地水準(zhǔn)面成果精度檢測(cè)的研究
精度似大地水準(zhǔn)面精化工程，是在國家空間數(shù)據(jù)基準(zhǔn)框架的基礎(chǔ)上，以現(xiàn)代大地測(cè)量技術(shù)為基礎(chǔ)，主要是利用GNSS技術(shù)、水準(zhǔn)測(cè)量技術(shù)、重力測(cè)量技術(shù)及現(xiàn)有重力場(chǎng)的數(shù)據(jù)、理論和方法，建立區(qū)域高分辨率的似大地水準(zhǔn)面?？梢赃M(jìn)一步完善城市基礎(chǔ)測(cè)繪基準(zhǔn)體系。大多數(shù)城市地理信息系統(tǒng)及其應(yīng)用基于二維坐標(biāo)系，雖然系統(tǒng)可以產(chǎn)生高質(zhì)量的圖形顯示，但缺少管理、分析三維的功能，難以滿足數(shù)字城市的三維空間特征要求。GNSS定位技術(shù)可以直接精確地測(cè)定地面點(diǎn)的三維大地坐標(biāo)，高精度似大地水準(zhǔn)面精化成
城市勘測(cè) 2010年2期2010-04-18