time scale check 中文意思是什麼
time scale check
解釋
時標校驗-
This part, by way of how state - owned railway industry and railway transportation networks relation, analyzes the problems in railway industry on defining the state - owned assets, function establishing, carrying out the responsibility and the dealership, and establishing mordern industry system and inspired system for railway netsworks, also encounter, etc., analyzing characteristics of changsha and other railway industry, to compare with europe, japan and russianjanalyzes what problems are with railway industry and transportation networks in the process of " enterprises independent, financing dividing, staff separating " and are with changsha railway industry in scale, facilities, capitals, quality of staff members and the violently competed environment inside and outside, etc. ; studing substance, special feature, principle, check - up target for railway industry perform capital responsibilities. in railway industry enterprises and manaing, investigates how to classify railway industry and transportation networks ' s managemen t scope - sticking to assets basis establishing market position of railway industry, endowing sufficient and free dealership to enterprises, at the same time, creating effectively supervised confined system ; analyzes chang tie machine - loading mill decline its competion - power can be behaved makes readers better understand some main problems in managing railway industry and why the problems occurs, at last some relevant countermeasures are proposed to solve these problems
面對激烈的市場競爭環境，研究工附業企業的經營管理現狀，找出應對措施具有十分重要的意義。本文從鐵路工附業企業與運輸主業的關系，分析了鐵路工附業在國有資產的界定、職能定位、企業經營責任和經營權的落實、鐵路建立現代企業制度、企業如何建立有效的監督機制以及存在的三個不到位等方面的問題；分析了路內和長沙鐵路工附業的特點，比較了歐洲、俄羅斯和日本鐵路經營管理的特點；分析了鐵路工附業企業與運輸主業在「企業分設、財務分賬、人員分開」過程中，長沙鐵路工附業企業在規模、設備、資金、人員素質以及內外部激烈的競爭環境等方面面臨的問題；研究鐵路實行資產經營責任制的內涵和特徵、必須堅持的原則，提出了工附業實行資產經營責任制的考核指標及主要內容。 -
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
一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率 -
But the standard mc has some shortcomings : firstly, the standard mc picks up isosurfaces by threshold, however, threshold segmentation is invalid for picking up tissues or organs from some medical images ; secondly, the standard mc pocesses cubes one by one, that is to say, all the cubes will be checked, and the algorithm spents 30 % - 70 % of time to check the null units, so we need a reasonable data structure to travel the space data and accelerate the checking or filting of null units ; thirdly, the standard mc has a large scale of triangles, normally, the tissue or organ reconstructed includes hundreds of thousands so much as millions of triangles, this means it hardly to execute real - time rendering or interaction ; lastly, the standard mc can not get the very smoothly surface mesh, and there will be some unexpected accidented cases, especially in the case of big errors in oringinal data
但是標準mc演算法存在較大的問題:標準mc演算法實質上是通過閾值分割來提取等值面，閾值分割對某些醫學圖像的組織或器官的提取難以得到較好的效果;標準mc演算法是逐個移動立方體來進行處理，就是說對所有的立方體都要進行一次檢測，演算法執行中30 % ~ 70 %的時間用在對空單元的檢測上，因此需要有一種合理的數據結構對空間數據進行有效的遍歷，以加速對空單元的檢測和過濾;標準mc演算法產生了大量的三角面片，一般重建的組織或器官包含數十萬甚至上百萬的三角面片，難以實現實時的繪制和交互操作;標準mc演算法得到的表面網格並不光滑，會有一些不期望的凹凸，特別是在原始數據有較大誤差的情況下尤其突出。 -
Magnetizing inrush current has obvious singularity, and wavelet transform has multi - scale and good time - frequency local characteristic, that it is particularly well adapted to extract the characteristic of signal ' s edge and peak value, and can check up the singularity well
變壓器勵磁涌流具有明顯的奇異性，小波變換具有多尺度分析和良好時頻域局部化特性，適合提取信號邊緣和峰值突變的特徵，能夠很好的檢測信號奇異性。
分享友人