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