模式檢驗 的英文怎麼說
中文拼音 [móshìjiǎnyàn]
模式檢驗
英文
mode checking- 模 : 模名詞1. (模子) mould; pattern; matrix 2. (姓氏) a surname
- 式 : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
- 檢 : Ⅰ動詞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
- 模式 : model; mode; pattern; type; schema
- 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque(指檢查船舶...
-
Checkup of v - shape driving belt and its failure mode
V形傳動帶的檢驗及其失效模式Third, on the base of expatiating on experimental research method and theoretical research method of joints, the paper points out two kinds of valid methods, which are used to analyze the tube joints stress of dendriform structure by making use of semi - analytical method and inelastic large deflection finite element analysis method, confirms to apply the evaporative pattern casting process as the facture method of dendriform structure cast joints, and detailed dissertates the casting theory, casting process, generation cause and prevention measure of casting flaws, heat treatment method and inspection standard about cast steel joints
然後在闡述樹狀結構節點實驗研究方法和理論研究方法的基礎上,提出了利用半解析法和彈塑性大撓度有限元法兩種有效分析樹狀結構管節點應力的方法,並給出兩種方法的詳細表達式及它們各自的優缺點。通過對鑄鋼件常見製作方法的介紹,確定了採用消失模法作為樹狀結構鑄鋼節點的製作方法,並詳細論述了用消失模法製作鑄鋼節點的鑄造原理、鑄造工藝、鑄造缺陷產生的原因及防治措施、鑄鋼節點的熱處理方法以及檢驗標準。The test of the q2 rescaling parameters ' empiric formula of the double q2 rescaling model
2重標度模型重標度參數經驗公式的一個檢驗Based on historic radiosonde data of changchun city, jilin province and xian city. shanxi province and on the typical model of profiles of cloud liquid water content for stratiformis, the coefficients of retrieval equation are obtained as the functions of height for each month from april to july in the two cities. furthermore, we explore the internal physics signification of retrieval coefficients ' distributing according to every month and have comparisons between the two cities. then the numerical simulation tests of the accuracy of retrieval results are given : the statistical relative deviation of retrieved values of l to the simulated " trues " on the ground is 15 - 25 % and that at altitude of 6km is 5 - 10 %, that means the retrieval method and implementation of the method are applicable to processing measurements of an airborne radiometer made in china recently
本文介紹機載對空微波輻射計探測雲中路徑積分液態水含量( l )的輻射傳輸原理和反演方法;根據吉林省長春市和陜西省西安市的歷史探空資料和典型的層狀雲液水垂直分佈模式,得到這兩個地區4 - 7月各月的隨高度而變的反演公式及其系數的表達式;探索了和反演系數有關系的大氣的影響,並在各個月份之間進行了比較分析;給出了反演誤差的數值模擬檢驗結果:在地面反演值對『真值』的統計相對偏差是15 - 25 ,在6公里高度處為5 - 10 ,表明該方法已具有實用可接受的精度。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對稱鑰協議。Abstract : based on the escape behavior model developed in the previous paper, the case of escape behavior for single person in single room is simulated in this paper to test the practicability of the mode. the escape effects are checked up for three common escape behaviors, the wall - touch moving, random moving, and trend direction moving. this paper gives the calibration of model parameters and assumptions in the simulation model. the result shows that wall - touch moving is the most effective approach for escape in relatively large space. in addition, the major problems of the simulation model and the development possibilities are discussed
文摘:在我們已建立的避難行為模擬的初步模型的基礎上,為了檢驗該模擬模型的實用性,就單人單房避難情況進行了模擬.檢驗了常見的觸墻移動、隨機移動、大方向移動等3種避難行為模式的避難效果.文中給出了模擬過程中各種參數的計算和設定方法.模擬結果表明:在較寬闊的房屋內避難時,觸墻移動是最有效的避難途徑.在對單人單房避難模擬進行總結的基礎上,本文還探討了上述模型中存在的主要問題及其進一步完善的可能性The relationship between application and performance topology, and the feasibility, practicability of end - to - end measurement are analyzed ; then the network nodes are grouped by bottleneck bandwidth measurement to minimize the number of the nodes in sets, and detect the tree of the nodes by analyzing performance relationship especially ; finally, the feasibility and practicability of this method are verified by simulation
分析了分散式應用與網路性能拓撲結構的關系,以及利用端到端測量進行拓撲劃分的可行性和實用性;然後通過測量瓶頸鏈路的方法對節點進行分組劃分以縮小集合節點個數,再具體分析利用性能相關性探測節點集合的樹型拓撲結構;最後通過實驗模擬檢驗了這一拓撲探測方法。New support for validating xml data based on user - supplied schemas
根據用戶提供的模式檢驗xml數據的能力。A single schema can be used to validate multiple xml columns in multiple tables, if desired
如果需要,可以使用一個模式檢驗多個表中的多個xml列。That s why db2 gives users the option of registering their xml schemas and instructing db2 to validate xml documents against these schemas prior to storage
所以, db2允許用戶注冊他們的模式並要求db2在進行存儲之前針對這些模式檢驗xml文檔。The model review team commenced the model recognition process in late 1997. the number of institutions that have applied for or indicated their intention to adopt the internal models approach at this stage is relatively small
模式檢驗小組已於一九九七年下半年展開模式確認程序,在現階段申請採用或表示有意採用內部模式計算方法的機構為數不多。At last, we get the esos price formula under chinese stock structure. we consider the effect of the feature of non - transferability, dilutive effect, the exit rate, the employee ’ s behavior, the compensation effect and the subjective discount rate, and non - circulated stock to esos value
在考慮了esos其他特徵的情況下,該公式成功的將非流通股對esos價值的影響嵌入到該模型中,並通過模擬的方式檢驗了公式中的相關參數。According to the feature of base model of tire molds and our cnc machines, choose zig - zag surface to manufacture tire top and use variable contour manufacture tread grooves, create postprocessor files for different machines, customize operation templates and generate out 5 axes coordinates nc programs, and make verifications before engraving. master models were manufactured on the 5 axes cnc machines
根據輪胎模具基模及我公司數控機床的特點,分別選用了往復式曲面銑和可變軸曲面輪廓銑兩種加工方法分別加工胎面及花紋,配置了機床的後置處理程序,並定製了具有本企業特點的加工模板,生成了五坐標聯動數控程序,進行了模擬檢驗。To promote social service development and planning, enhance service quality, promote and encourage agencies to adopt good practices, review service delivery models, provide forums for exchanges and joint endeavours, keep abreast of the overall needs and changes of society
推動社會服務發展及策劃;提升服務質素;促進及鼓勵機構實踐良好工作模式;檢討服務模式;鼓勵機構互相分享經驗,促進彼此合作,以及掌握社會需要及轉變。However, china ' s listed companies behave in a manner that does n ' t follow the pecking order theory. they prefer external equity financing ( first ), then external debt financing ( second ), and internal fmancing ( third ). the paper analyzes empirically the financing choices of listed companies in china from two aspects
本文借鑒國內外學者的研究成果,採用規范和實證相結合的研究方法,從優序融資理論模型檢驗和融資成本比較兩個角度綜合研究我國上市公司融資方式的選擇。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的正確性。Sem examines the hypothetical models of the interrelation among personality tendency, social support and coping ways choosing. the results supports hypothesis of the third model : personality tendency have influence on the choosing of mature and immature coping ways through subjective and objective social support levels
結構方程模型檢驗了人格傾向、社會支持、應付方式選擇三者之間關系的假設模型,檢驗結果支持本研究第三個模型的假設:人格傾向通過主觀、客觀社會支持水平影響到對成熟、不成熟應付方式的選擇。, in this paper, an integrated navigation system composed of strapdown inertial navigation system ( sins ) and global positioning system ( gps ) was simulated for the purpose of testing the effect of this combination and compare the different performance of two kinds of kalman filters between the position of open loop and close loop
本文對gps / sins的組合導航模式進行了模擬,檢驗了其組合的效果,並比較了開環與閉環卡爾曼濾波的性能差異,闡述了聯合濾波的演算法、結構與效果。By use of a single station data in siberia area and 1998 game / hubex iop data the performance of a newly modified bats land surface process model are evaluated
利用西伯利亞地區的一個試驗點資料和1998年中國淮河流域試驗( hubex )的加密觀測資料對一個改進的bats陸面過程模式進行了模擬檢驗。分享友人