checking tool 中文意思是什麼

The system checking the computers online of ship station is a software developed according to the character of telecontrol and the circumstance of network layout, it can check the computers be online or not. it is an assistant tool for the network checking, can provide analysis basis quickly and safely

船載站測控通信網路微機在線檢測系統是根據測控的特點以及遠洋船局域網的布局情況而開發的檢測軟體，可以有針對性地檢測測控通信網路微機的在線情況，是網路檢查的輔助工具，並為網路通信故障的排查提供及時、可靠的分析依據。

By the present time, the author has designed 2d components of checking errors, 2d components of decoding, 2d components of tools " s compensatingn 2d components of interpolation, components of operating port, 3d components of checking errorss 3d components of decoding 3d components of tool " s compensating

本論文到目前為止，已經設計完成了二維錯誤檢查組件、二維譯碼組件、二維刀補組件、二維插補組件、埠操作組件、三維錯誤檢查類組件、三維譯碼組件、三維刀補組件。

The highlights of this paper include : hoop toughness criterion for longitudinal heat checking of tool joint was introduced firstly ; failure criterion for crescent - shaped wear casing was established according to the results of full - scale collapse tests ; new - typed alloy for hardbanding of tool joint was developed, its property has showed good performance in the tests

本文的主要創新點在於：以現場失效案例分析為基礎，提出了鉆桿接頭縱向熱裂的橫向韌性判據；通過對已磨損套管的實物擠毀試驗研究，確定了不均勻磨損套管的擠毀失效準則；設計出了具有獨立知識產權的鉆桿接頭硬化帶用新型耐磨減摩合金的成分，經實驗室試驗表明其性能可以達到或超過國外同類產品。

The electrocardiogram ( ecg ) is an important tool for checking abnormal information about the heart

心電信號蘊涵了豐富的反映心臟生理和病理狀態的信息。

The measuring tool series includes 2 kinds, 10 models applied for the correctness of straightness, level and vertical position installed of guide rail on all kinds machines tools and equipments, checking tiny inclining angle

量儀產品水平儀系列，主要有兩個大類，十個品種，用於檢驗各種機床及設備導軌的平直度，安裝的水平位置和垂直位置的正確性，並可檢驗微小傾角。

We have designed and implemented an uml - based model checking tool, uml - mc. it can verify the statecharts modeled by rational rose or i - logix rhapsody. the counter - examples will be given when system does not meet the properties

我們設計並實現了一個uml模型檢驗工具uml - mc ，可以對rationalrose或i - logixrhapsody建立的statecharts模型進行驗證，並能在性質不滿足時給出反例路徑。

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對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。

We research different kinds of formal methods, particularly study the mechanism of symbolic model checking tool smv, and finally we decide to adopt smv as the tool for the model checking of security protocols. with smv, we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

本文研究了驗證安全協議的各種形式化方法，詳細研究了符號化模型檢驗工具smv的工作機制；確定了使用smv作為工具對安全協議進行模型檢驗，驗證了認證版needham - schroeder公鑰協議和wooandlam對稱鑰協議。

With reference to the development of the agency ' s project of the system of airborne photogrammetry digital products " checking before acceptance and information management, after the process and methods of quality control are studied, a method of realization of the quality control during the process of production is put forth, and then after the analysis of the entries of information database and main functions that should be contained in the sub - system of information management, the airborne photogrammetry digitalized information database is designed and set up, and the information management software with vb6. 0 being the front end developing tool and sql server 7. 0 being the database management tool is developed, and the application of the object oriented technique in the software is discussed

在航測數字化生產領域，需要與生產相適應的質量檢查和資料信息管理系統。本文結合局科研項目「航測數字成果檢查驗收和資料信息管理系統」的研製，分析了質量控制的內容，提出了一種適用於生產的質量控制方法，研究了航測資料信息數據庫應包含的內容和資料信息管理子系統應具有的主要功能，設計並建立了航測資料信息數據庫，開發了以vb6 . 0為前端開發工具、以sqlserver7 . 0為數據庫管理平臺的資料信息管理系統，並論述了面向對象技術在子系統開發中的應用。

In this thesis, we ’ ve first introduced some conceptions of model checkingand knowledge reasoning. then we ’ ve mainly introduced my tutor ’ s methodof model checking temporal logic of knowledge. lastly, we ’ ve applied thismethod to two specific areas with our tool mctk : one problem is to verifythe winning strategies in the zero - sum games, which is to automatically findout whether there exists a way ensuring the necessarily win of players ; theother problem is to verify the knowledge based security protocols, whosesecure properties rely on the knowledge reasoning of the anticipants in theprotocol

本文首先介紹了模型檢測和知識推理的基本概念，然後著重介紹了我導師所提出的模型檢測時態知識邏輯的方法，最後使用本實驗室研製的相關工具mctk來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略，即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議，而這類協議的安全特性依賴于協議參與者的知識推理。

You can check out the temporal rover trial version a tool for checking temporal logic assertions at run time at the

查看temporal rover試用版（在運行時檢查時態邏輯斷言的工具） 。

Especially for the longitudinal heat checking of tool joint, the hoop toughness criterion of tool joint material was put forward to prevent the heat checking. based on analysis for field failure cases, minimal hoop impact work by means of mechanical calculation has been obtained, which can be used to modify the relevant contents of api rp7g

特別針對鉆桿接頭縱向熱裂問題，提出了控制接頭材料的橫向韌性判據，並以現場失效案例分析為基礎，經力學計算初步確定了最低橫向沖擊功要求，可用於完善修訂apirp7g推薦做法的有關內容。

When dicussing reliability design and reliahbaiiy ensuring methods, a new reliability calculating model of petroleum logging tools is presented, reliability assurimg technologies should be taken in petroleum logging tools and their using approaches are presented and stated from electricity design and mechanical design, reliability system model of petroleum logging tool is set up according to the latest reliability theory, reliability indexes of petroleum logging tool and their acquiring ways are discussed, the reconmended reliability indexes ( mwture, nolwnm, mtbf, mttf ) of petroleum logging tool are presented : the mean working time under rated error ( mwture ) of the new tool is obtained through experiments. when studying data processing methods, the property of gamma - ray signal is stated and the type of it ' s measuring error is examined using statistical method, the basic theory of digital filtering and the basic situation of digital filtering methods are introduced and analyzed, the factors affecting digital filtering effect to gamma - ray signal and the effect of digital filtering to logging curve are analyzed, the evaluting criteria ( rvi, rmse, sfi ) of digital filtering effect are set up from two aspects, named as real value acquiring of steady section and the formation boundary checking and processing, the related filtering methods and examining methods are given out. the design methods of digital filter used to process gamma - ray signal are discussed, the mixed filtering scheme of natural gamma - ray log is presented, the realization ways are discussed. the selective filtering system and it ' s realization flow are given out through quantitive reseaching to part of digital filters, three new filtering sheme will be used to process gamma - ray signal in era2000 logging system

在探討可靠性設計與可靠性保障技術時，提出了石油測井儀器的可靠性計算新模型，從電氣和機械兩個方面，提出並闡述了應採用的可靠性保障技術及其使用方法：根據最新可靠性理論，建立了石油測井儀器的可靠性系統模型，探討了石油測井儀器的可靠性指標及其獲取途徑，提出了推薦使用的石油測井儀器可靠性指標（ mwture ， nolwnm ， mtbf ， mttf ） ；通過試驗，得到了所設計儀器的穩定工作時間（ mwture ） 。在研究數據處理方法時，闡述了伽瑪信號的特徵，對測量誤差類型進行了統計檢驗；介紹了數字濾波的基本理論、數字濾波方法的概況，並進行了分析；對伽瑪信號數字濾波效果的影響因素及其對測井曲線的影響進行了基本分析；從獲取平穩段真值、地層邊界的檢測與處理兩個方面，建立了數字濾波效果的評價準則（ rvi ， rmse ， sfi ） ，給出了相應的數字濾波方法及效果評價方法；探討了自然伽瑪信號數字濾波器的設計方法，提出了適合自然伽瑪測井的混合濾波方案，探討了混合濾波方案的實現途徑；通過對部分數字濾波方法的定量研究，給出了靈活可選的數字濾波系統構成及實現流程；提出的三種濾波方案，將用於era2000成像測井系統，對自然伽瑪測井數據進行濾波處理。

This paper aims at the shortages, which are too much information, too long - processing time, low precision, needing checking and revising, of stl form file in the front processing of laser rapid prototyping, it puts forward a method of 3 - d cad model direct slicing, and it will process section profile curve that direct slicing produces so that this section profile curve will be used in sequent numerical controlling machine tool. direct slicing on the model can reduce data - processing time and file dimension, advance precision of work pieces

本文針對快速成形前處理過程中使用的stl （ stereolithography ）格式文件的信息冗餘量大，數據處理時間長，精度差，需要檢查和修改等缺點，提出了對三維cad模型直接切片的方法，並對直接切片獲得的截面輪廓線進行了處理使之能夠被后續的工控機所使用，通過對模型的直接切片，能減少數據處理時間，降低文件規模，提高工件精度。

Two different methods for interference checking have been developed. quick feasibility checking is used to find a conservative feasible tool orientation by using the control mesh of a sculptured surface

在干涉檢測中用了兩種不同的演算法，即快速檢測法和詳細檢測法，快速檢測法通過使用曲面的控制網格獲得刀具的可行位置。

On the platform of the 3ds max and max script, the 3d modeling, motion simulation and interference analysis for the new type of parallel machine tool are developed in the virtual environment. based on it, the reliable foundation is provided for checking the dynamic and static interference problems of machine tool structure design, verifying the rationality of path planning, and appraising the technological process and the rationality of the processing parameters of parts

基於3dsmax和maxscript腳本語言開發平臺，在虛擬環境下進行了並聯機床的實體建模、運動模擬和干涉分析，為檢查機床結構設計中的動靜態干涉問題、驗證軌跡規劃的合理性、實現對零件可加工性及加工參數的合理性評價提供了可靠的依據。

Developers of wintext, a multilingual creation tool with spell checking, text editing and publication functionality

-包括拼音雙筆畫拼形數碼的萬能輸入法系列。

The accessibility checking tool is not available in visual web developer express edition

Visual web developer速成版中未提供可訪問性檢查工具。

It s always nice to send one s code through an automated checking tool - and watch it pass

發送代碼，使其通過一個自動檢查工具並看著它通過總是很不錯的。

The accessibility checking tool is not available in the microsoft visual web developer express edition

Microsoft visual web developer速成版中未提供輔助功能檢查工具。