檢驗工具 的英文怎麼說
中文拼音 [jiǎnyàngōngjù]
檢驗工具
英文
inspection tools- 檢 : Ⅰ動詞1 (查) check up; inspect; examine 2 (約束; 檢點) restrain oneself; be careful in one s c...
- 驗 : 動詞1. (察看; 查考) examine; check; test 2. (產生預期的效果) prove effective; produce the expected result
- 工 : Ⅰ名詞1 (工人和工人階級) worker; workman; the working class 2 (工作; 生產勞動) work; labour 3 ...
- 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque(指檢查船舶...
-
Child use and care articles - baby carriers - safety requirements and test methods - soft carrier
兒童使用和護理用品.嬰兒運載工具.安全要求和檢驗方法.軟式運載工具Child use and care articles - baby carriers - safety requirements and test methods - framed back carriers
兒童使用和護理用品.嬰兒運載工具.安全要求和檢驗方法.後向有框架的運載工具Child use and care articles - baby carriers - safety requirements and test methods - part 2 : soft carrier ; german version en 13209 - 2 : 2005
兒童使用和護理用品.嬰兒運載工具.安全要求和檢驗方Standard termninology of collated and cohered fasteners and their application tools
有關檢驗和連接緊固件及其操作工具的術語The second passage of the article is the essential section, composed with macrocosm design, organization implement and feedback collection, designing and outlining the systemic model of certificate of leadership qualification, the whole assessment system pays attention not only to the macrocosm structure, proper and scientific frame, extensive applicability, but also to concrete steps, exiguous and intuitionistic programming, simple and convenient operation. the macrocosm design exerts modern examination theory and systemic project method to describe thoroughly the basic principles, applicable range, certificate categories, the setting of organization system, assessment target of leadership qualification, the choice of content and technology ; organization implement gives exiguous and concrete designs on the period of qualification examination, choosing time, confirmation of the certificate scale and qualification censor, written examination, interview, pub
總體設計中運用現代考試理論和系統工程的方法,適應形勢,結合實際,對認證制的基本原則、適用范圍(正副廳、正副處、正副科等三等六級) 、認證的分類、組織體系的設置、任職資格認證評價目標、內容和技術的選擇進行了宏觀全面地闡述;組織實施中對任職資格考試周期、時間的選擇、認證規模的確定以及資格審查、筆試、面試、考察、公示的操作等進行了微觀具體地設計;反饋迴流中對認證工作的檢驗和評估、任職資格的跟蹤動態管理和認證制保障機制的建立進行了詳細說明。The 3d coordinate measurement machine form usa, universal tool microscope from germany, intellectual flatness check device, metalloid graphic analyzer, electric and pneumatic measurement instruments and high performance steering test equipment ensure the products quality and play the important role for the products development
從國外進口的三坐標測量儀、德國萬能工具顯微鏡、智能平面度檢查儀、金相圖像分析系統、電動量儀、氣動量儀和日本的高性能動力轉向系統試驗設備,保證動力轉向器的性能質量。It is respectively : production, facility for transporting operates personnel : jockey of lathe work, milling, grinding work, boring labour, solderer, modular machine tool, machining center jockey, casting matchs benchwork, besmear to install ship - fitter of ship - fitter of equipment of benchwork of labour, tool, boiler, electric machinery, discretion to control ship - fitter of appearance of ship - fitter of appearance of instrument of electric equipment ship - fitter, electron, electrical engineering instrument, machine ; irrigation works of aricultural herd fishing produces personnel : inspector of quarantine of the member that animal epidemic disease prevents and cure, animal, firedamp produces work ; personnel of line of business of commerce, service : the member that assistant, bagman, publication is issued, chinese traditional medicine purchase and sale, clerk of the member that the division of division of appraisal appraisal division, chinese style noodle, chinese style noodle, western - style cook division, western - style noodle division, division that move wine, nutrition distributes food, dining - room, antechamber clerk, client clerk, health care ; handle affairs personnel and concerned personnel : secretary, public relations member, the member that terminal of communication of computer operator, cartographer, operator, user is maintained
分別是:生產、運輸設備操作人員:車工、銑工、磨工、鏜工、焊工、組合機床操作工、加工中心操作工、鑄配鉗工、塗裝工、工具鉗工、鍋爐設備裝配工、電機裝配工、高低壓電器裝配工、電子儀器儀表裝配工、電工儀器儀表裝配工、機修鉗工、汽車修理工、摩托車維修工、精密儀器儀表修理工、鍋爐設備安裝工、變電設備安裝工、維修電工、計算機維修工、手工木工、精細木工、音響調音員、貴金屬首飾手工製作工、土石方機械操作工、砌築工、混凝土工、鋼筋工、架子工、防水工、裝飾裝修工、電氣設備安裝工、管工、汽車駕駛員、起重裝卸機械操作工、化學檢驗工、食品檢驗工、紡織纖維檢驗工、貴金屬首飾鉆石檢驗員、防腐蝕工;農林牧漁水利生產人員:動物疫病防治員、動物檢疫檢驗員、沼氣生產工;商業、服務業人員:營業員、推銷員、出版物發行員、中藥購銷員、鑒定估價師、中式面點師、中式面點師、西式烹調師、西式面點師、調酒師、營養配菜員、餐廳服務員、前廳服務員、客戶服務員、保健按摩師、職業指導員、物業指導員、物業治理員、鍋爐操作工、美容師、美發師、攝影師、眼鏡驗光員、眼鏡定配工、家用電子產品維修工、家用電器產品維修工、照相器材維修工、鐘表維修工、辦公設備維修工、保育員、家政服務員、養老護理員;辦事人員和有關人員:秘書、公關員、計算機操作員、制圖員、話務員、用戶通信終端維修員。So the test tools for optimization theory are presented
為本文建立的優化理論提供了檢驗工具。Establish incoming inspection plan, improvement inspection tooling
建立來料檢驗指引,改進檢驗工具Road vehicles. garage equipment. engine testing and measuring equipment
道路車輛.汽車車庫工具.測量和檢驗工具Manage and maintain inspection tools to make them always functional and available for use
管理和保養檢驗工具,使其一直處于可使用狀態。The object of this paper is to verify security protocols with model checking tools
本課題的研究目的是採用模型檢驗工具對安全協議進行驗證。Learn how to identify design problems in your code with the code review tools within rational software architect
本教程將教你學會在rational software architect中利用代碼檢驗工具以尋找你的代碼中的設計問題。After that the paper analyses the land using theory and raises the evaluation system as a method to check the utility of space
再對城市空間結構的基礎土地利用結構進行理論分析,提出土地利用結構的優化的評價體系,以此作為城市土地利用結構優化的檢驗工具。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對稱鑰協議。Incoming check process planning and implementation, including inspection & measure tools design
進貨檢驗工藝的策劃和執行,包括檢具設計。Through the experiences and skills obtained in the retrieval practices, this paper introduces the retrieval functions of the search engine and the characteristics, usages and retrieval methods of the retrieval tools for the network information, in the light of the characteristics of network news, points out several methods and approaches for seaching the important web sites
通過檢索實踐得到的經驗和技巧,介紹了搜索引擎的檢索功能和網路信息檢索工具的特點、使用方法,並針對網路新聞的特點,指出了幾種查找重要站點的方法和途徑。First, this paper introduces the conception of software test, testability, and some existent model used for analyzing testability. second, we analyze the merits and demerits of each model, as followed, after we particularly investigating the process of software fault leading to software failure, we put forward our improved scheme ? stdm and specify the process that it measure software testability more logically. at last, based on stdm we design and implement a stds ( software testability detecting system ), which can be used to measure the testability of c programs, and show the detected result in different level
本文首先介紹了軟體測試和可測試性的基本概念等用於檢測軟體可測試性的理論基礎,並詳細分析了一些理論檢測模型及各自的優缺點;接下來,針對這些可測試性檢測模型中所存在的問題,根據對軟體錯誤導致軟體失效過程的研究分析,本文提出了一種改進的解決方案stdm用於對軟體的可測試性進行量化檢測,文章在最後設計並實現了構建在此stdm模型基礎之上的一個軟體可測試性檢測工具,該工具能夠對c源程序進行可測試性檢測並得出量化結果數據,驗證了該模型的有效性。分享友人