法定檢驗師 的英文怎麼說
中文拼音 [fǎdìngjiǎnyànshī]
法定檢驗師
英文
authorized inspector- 法 : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
- 定 : Ⅰ形容詞1 (平靜; 穩定) calm; stable 2 (已經確定的; 不改變的) fixed; settled; established Ⅱ動詞...
- 檢 : Ⅰ動詞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
- 法定 : legal; statutory法定安培 legal ampere; 法定貶值 official devaluation; 法定標準 statutory standard...
- 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque(指檢查船舶...
-
If you are in doubt as to whether or not your vehicle does comply with the laws relating to construction and maintenance, you should contact the senior engineer motor vehicle examination at 34 f, immigration tower, 7 gloucester road, hong kong tel 2829 5466
若對你的車輛是否符合有關構造及保養的法例規定有所懷疑,可向香港灣仔告士打道七號入境事務大樓三十四樓車輛檢驗組高級工程師查詢(電話:二八二九五四六六) 。If you are in doubt as to whether or not your vehicle does comply with the laws relating to construction and maintenance, you should contact the senior engineermotor vehicle examination at 34f, immigration tower, 7 gloucester road, hong kong ( tel 2829 5466 )
若對你的車輛是否符合有關構造及保養的法例規定有所懷疑,可向香港灣仔告士打道七號入境事務大樓三十四樓車輛檢驗組高級工程師查詢(電話:二八二九五四六六) 。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來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略,即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議,而這類協議的安全特性依賴于協議參與者的知識推理。The computer system of bridge ' s maintainence and consolidation, which is discussed in this thesis, is set up to resolve the question that the managing department of bridge usually make the decision of bridge ' s maintainence and consolidation by qualitative knowing about the bridge ' s state and the experiences of engineer without scientific and systemic methods of examination and valuation. the system establishes a consummate bridge ' s database and reasonable program of valuation, and collects many typical damages of bridge and its reasons. and, the system obtains the knowledges of specialists in special field to simulate the behavior of expert by these knowledges, and proffer advisable scheme of maintainence and consolidation
本論文所研究的橋梁維修加固計算機系統主要針對橋梁管理部門在橋梁養護維修決策時往往根據對橋梁狀況的定性了解和工程師的經驗來進行的,缺少科學的指導思想、系統的檢測評價方法的弊病,建立了完善的橋梁技術數據庫和合理的橋梁評價子系統,收集了目前橋梁典型的病害形式及其產生的機理,並在專門領域內獲取專家知識,運用專家知識去模擬專家行為,提出適當的維修加固方案。分享友人