比例網格線 的英文怎麼說

中文拼音 [bǐlìwǎnggéxiàn]
比例網格線 英文
scale grid lines
  • 比 : Ⅰ動詞1 （比較; 較量高下、 長短、距離、好壞等） compare; compete; contrast; match; emulate 2 （比...
  • 網 : Ⅰ名詞1 （捕魚捉鳥的器具） net 2 （像網的東西） thing which looks like a net 3 （像網一樣的組織或...
  • 格 : 格象聲詞rattle; gurgle
  • 線 : 名詞1 （用絲、棉、金屬等製成的細長的東西） thread; string; wire 2 [數學] （一個點任意移動所構成的...
  • 比例 : 1. （長度上縮小和放大的倍數） scale; scaling 2. （比率） proportion; ratio; proportionality
  • 網格 : cancellus
  1. The paper presents several aspects in partition rectification and visualization of raster image. adopt technology of visualization for scientific calculation, vector diagram of deformation 、 contour chart of deformation and drawing of three - dimensional are realized. delaunay tin in view of deformation feature is constructed on base of selected grid control points and methods and mathematical models for partition rectification are realized based on the delaunay tin. software of geometric rectification for large scales are realized and applied in project

    本論文針對柵格影像的變形可視化及分塊糾正展開研究，取得了以下幾方面的研究成果：一、採用科學計算可視化技術，繪制變形矢量圖、變形等值線圖和三維效果圖，實現了柵格影像變形特徵的可視化；二、提出了在格網控制點（ gcp ）數據基礎上選擇性構造顧及變形特徵的delaunay三角網，並基於構造的三角網實現了分塊糾正的方法和數學模型；三、採用vc編制了影像幾何糾正軟體，實現大比例尺掃描地形圖的糾正，並在工程中得到應用。
  2. A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
  3. This paper uses digital line graphs for original data. after author bases on large - scale relief map " feature and analyses the feature, data structure and creation algorithms of two main representation shape ? triangulated irregular network and regular grid, author provides a kind of method that large - scale dem is created from tin which is created from large - scale dlg

    本文以數字線化圖為原始數據，針對大比例地形圖的特點，在分析了數字高程模型的兩種主要表現形式? ?不規則三角網tin和規則格網grid的特點、數據結構、生成演算法的基礎上，考慮到大比例尺數字高程模型能最大限度符合實際地形特點，提出了一種從大比例尺數字線化圖dlg生成不規則三角網tin ，再由不規則三角網內插生成大比例尺數字高程模型grid的方法。
分享友人
分享到 Line

分享到臉書