checking method 中文意思是什麼

checking method 解釋
核對法, 檢查法
  • checking : 產生裂縫
  • method : n 1 方法，方式；順序。2 （思想、言談上的）條理，規律，秩序。3 【生物學】分類法。4 〈M 〉【戲劇】...
  1. In this paper, it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency. such atomic formulas are called as irrelevant atomic formulas. a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables

    一個時間自動機是一個五元組n ， l 0 ， c ， e ， i ，其中n為一個有窮的位置集合， l 0n是初始狀態， c是一個取實數值的時鐘變量的有窮集合， e ng c 2 cn是轉換的集合。
  2. Now, simplified calculating methods of vertical frame and horizontal framed bent for plate structure are mostly used in this structure design. for the complex distribution of quality and rigidity of this structure, the calculating method of space turning coupled pair should be considered as a complemental checking calculation for this kind of irregular structure

    該類結構設計目前大多採用縱向框架、橫向框排架的平面結構簡化計算方法，由於該類結構質量和剛度分佈復雜，對於此類不規則結構尚應採用考慮空間扭轉耦聯的計算方法進行補充驗算。
  3. A new method of data spot - checking based on outliers mining

    一種基於離群數據挖掘的數據抽查新方法
  4. Accomplish and decide the reasonable checking method to ensure quality

    完成和決定合理檢驗方法確保質量。
  5. The checking method for the associative law of finite groups is discussed by programme. in the same time, the checking of dosure law, unit element and mverse element, is added into the program, so that it can check whethe a finite set is a group for the giving binary operation

    用編程的方法討論了群論中結合律的檢查，同時把閉合律、單位元、逆元的檢查也添進程序中，使得該程序能檢查一個有限集合對所給二元運算是否成一個群
  6. Research on the checking method of road base bearing capacity in loess area

    黃土地區公路地基承載力驗算方法研究
  7. First, this paper introduces the notation, categories and properties of security protocols, and formal methods to verify security protocols and small system model. the emphasis is the research and analysis of the principle of the model checking method. we study the mechanism and syntax of symbolic model checking tool smv, model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    文章主要介紹了安全協議的概念、分類和性質，安全協議的形式化驗證方法，以及小系統模型的原理；重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協議進行模型檢驗時的工作機理，而且使用smv對needham - schroeder公鑰協議和wooandlam對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。
  8. Applying model checking in software design and verification has been proved very difficult. software architectures are engineering artifacts that provide high - level and abstract descriptions of complex software systems. in this paper a direct model checking method based on kripke structure and matrix algorithm is provided

    將model checking應用到軟體正確性驗證方面被證明是很困難的事情，軟體體系結構sa software architecture通過對復雜軟體系統提供高層與抽象描述，為基於構件化技術的大型軟體系統關鍵性質的驗證提供了有效的途徑。
  9. In this part, discussed two type of tax assessment method : checking method and analysis method, introduced general procedure of tax assessment

    第二部分，煤炭開采業的稅收征管現狀分析。本部分介紹了煤礦生產經營的特點及其對稅收的影響。
  10. Based on the researches at home and abroad, aiming at the application of dynamic consolidation in compacting loess embankment, this paper makes assessments and analyses of the concerned factors and provides the laws of dynamic consolidation dealing with loess embankment according to the large - scale model test indoor ; combined with tonghuang highway construction, field tests of dynamic consolidation dealing with loess embankment is carried out in the representative loess - embankment experimental sites and some regularities of loess before and after handled by dynamic consolidation is put forward by physico - dynamic property experiments and electron - analysis ; at last, the author makes a systematic analysis of information related and presents the applicable condition, compacting technique and checking method which applies to dynamic consolidation dealing with loess embankment on the basis of field tests and model experiments indoor

    本文在國內外資料調研基礎上，針對強夯法在黃土路堤壓實施工中的應用，對強夯處理黃土路堤的有關因素進行了評價分析，並通過室內大比尺模型試驗得出強夯壓實黃土路堤的規律；結合銅黃公路建設，選擇典型黃土路堤試驗段，進行了強夯壓實黃土路堤的各項現場試驗，通過物理力學性質試驗和電鏡分析得出強夯前後黃土料壓實體的有關規律；最後，在室內外各項試驗基礎上，對有關資料進行了匯總分析評價，提出了強夯處理黃土路堤的適用條件、施工工藝及檢測方法。
  11. How to develop the checking method of measurement standard

    如何編寫測量標準核查方法
  12. The tin - solder checking method for generator

    發電機錫焊接頭檢測方法
  13. This paper is based on the pingpong bridge field ground protection, it presents one point to ground protection scheme which include the self - checking method of switches. the two point to ground protection scheme presents self - adapting fault location warp criterion after evaluating the effect on the calculation of fault location made by the change of transient resistance in the process of bridge switch. in order to make up the shortcoming of location warp criterion, this paper presents a comprehensive scheme into which integrate the second harmonic criterion

    本文針對乒乓式保護，結合開關自檢方法提出了完整的一點接地保護方案：在兩點接地保護方案中估算了開關切換過程中過渡電阻變化對接地點位置計算的影響，提出了故障位置偏差式兩點接地的自適應判據，為了彌補該判據的缺陷，提出了結合二次諧波輔助判據的綜合方案。
  14. This paper presents checking method of using predigested formula to calculate construction deflection checking value of base according to the strength of the semi - rigid base materials increases with their age ; and advances pavement base construction deflection value checking criterion, provides checking basis for controlling pavement construction

    本文在考慮半剛性基層材料強度隨齡期增長規律的基礎上，提出採用簡化公式計算路面基層頂面施工彎沉值的檢驗方法；並結合寧夏公路路面典型結構，提出路面基層施工彎沉值檢驗標準，為控制路面施工質量提供了檢測依據。
  15. Under such accounting checking method, more and more stern social contradictory, such as the question of population, resources, environment and the public causes are exposed. under this circumstance, we have to exam the social part of enterprises again. enterprises are required to burden corresponding social responsibilities during the course of running for high gains, acquiring cooperated development between enterprise and society and carry out the strategy of sustainable development

    傳統的會計核算模式是將企業作為一個獨立和封閉的經濟實體，對其生產經營情況進行核算，這一核算方法主導下的生產經營模式已經誘導了日益嚴重的社會問題，在這一背景下，人們不得不重新審視企業的社會角色，要求企業在追求自身高利潤率的同時也要切實地承擔相應的社會責任，實現企業和社會的協調發展，實施可持續發展戰略。
  16. 5. this thesis materializes the united processing for the error - checking function in digitalization of relief maps information and dem producing. in other words, the error - checking mechanism, considering the topological relation, is embedded in the process of producing dem. this progress provides automatic error - checking method for high - quality terrain data acquisition, and greatly improves the efficiency of digitalization for relief maps

    實現了地形圖地形信息數字化的錯誤檢查與dem建立的一體化處理，即在建立dem過程中，嵌入了充分考慮地形邏輯關系的錯誤檢查機制，為獲得高質量的地形等高線數據提供了自動化檢查手段，從而大大提高了地形圖數字化的生產效率。
  17. After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method

    在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后，用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。
  18. This paper covers a batch plate local stability checking method

    摘要介紹一種批量校核板的局部穩定性的方法。
  19. Non - periodic checking method

    不定期清查
  20. The artificial nerve network model for checking cable - stayed bridge is proposed on base of analyzing the structure characteristic, checking method, structure damage identification basic theory of cable - stayed bridge and the basic theory of artificial nerve network in detail, and the project example used by matlab language is given, and a satisfying network output outcome is obtained to show the influence and wide prospect of the application of the artificial nerve network in project

    本文在詳細分析斜拉橋結構特點、斜拉橋檢測方法、結構損傷識別的基本理論及人工神經網路基本理論的基礎上提出了斜拉橋檢測的人工神經網路模型，用matalab語言，並通過工程實例中的檢測數據對網路訓練，取得了較滿意的網路輸出結果，顯示出人工神經網路在工程實際應用中的影響及廣闊的前景。
分享友人
分享到 Line

分享到臉書