model check 中文意思是什麼
model check
解釋
模型檢查-
A comparison of the experimental and calculated distribution curves should provide a robust check of the adequacy of this model.
將實驗測得的和計算所得的分佈曲線進行比較，應該對這個模型是否合適這一問題提供有力的校驗。 -
Enterprises must compare with the best satisfaction value after receiving the index satisfaction at all levels, find out one ' s own advantage and disparity from it, implement and improve, about improve model question that input and output maximized in fact, enterprises are in a situation that the capital cost is certain, the rational input to each index of distribution, make customer satisfaction get the greatest improvement customer satisfaction test and assessment is a dynamic course, enterprises must also implement a lot of investigations, measure satisfaction value many times, in order to check the impro ved result, cany on essential adjustment, make the improvement scheme correspond to reality
企業在得到各級指標滿意度之後，必須與最佳滿意度值比較，從中找出自己的優勢和差距，實施改進，關于改進模型實際上是投入產出最大化的問題，企業在投資額一定的情況下，合理的分配對各個指標的投入，使得顧客滿意度得到最大的提高。顧客滿意度測評是一個動態的過程，企業還必須實行多次調查，多次測量滿意度值，以檢查改進的效果，進行必要的調整，使得改進方案符合實際。 -
This model of electromagnetic valve has the single - way check function and a patent design of block - up resisting and is the ideal self control valve for the water supply system with a high level container or tank or the automatic water supply system with a high level container or tank or the automatic water supply facility required the function of adverse current prevention. the amalgamation inflicts to hike in the inflexions of can percolation function that purge
Fcd . 3 148f ：進水口與出水口均為4分15外螺紋銅接頭該型電磁閥具有單向止回功能，專利防阻塞設計，是高水位容箱器供水系統或其他兼需防逆流功能的自動供水設備的理想自控閥門;並增加了過濾裝置。 -
( 2 ) the liman problem is normally adopted to check the liability of numerical method. the calculation error was within 9 % by comparison with the theoretic solutions of liman problem in the following case, the dimensionless calculation length was 2 with high pressure zone 0. 8, and the dimensionless state parameters were p1 = 2, p2 = 1, p1 = p2 = 1, u1 = u2 = 0. experiment results in literature [ 8 ] were used to check the adaptability of the numerical model developed here for unconfined gas cloud explosions and the calculation error was within 13 %
（ 2 ）數值方法的可靠性通常用黎曼問題的解析解檢驗，本文以無量綱計算區長度為2 ，高壓區長度為0 . 8 ，狀態參數為p _ 1 = 2 ， p _ 2 = 1 ， _ 1 = _ 2 = 1 ， u _ 1 = u _ 2 = 0條件下的黎曼問題解析解對所編制的爆炸場計算程序進行了考核，結果表明該程序的計算誤差在9以內；為考核本文計算模型預測開敞空間氣雲爆炸的適用性，以文獻[ 8 ]的實驗數據進行了校核，計算誤差在13以內。 -
The most important criteria that used to check the calibrated model are root mean square error ( rms ), the mean absolute error normalized rms error, and mass balance
模型參數使用試錯法識別，識別過程中最重要的指標是均方差、平均絕對誤差、標準均方差和水均衡。 -
Hongdu aviation industry group arrived our factory to check and confirm plane model showpiece on september 4, 2004 group photo
2004年9月4日，洪都航空工業集團公司到廠驗收飛模展品合影。 -
Hongdu aviation industry group arrived our factory to check and confirm plane model showpiece on september 4, 2004 ( group photo )
2004年9月4日，洪都航空工業集團公司到廠驗收飛模展品（合影） 。 -
A series of testing experiments are made to check the performance of the model, including the simulations of a stationary wave and a plunging wave rush on the slope beach
其中包括駐波的模擬實驗，卷波的破碎模擬實驗和一組isope的官方測試（ officialbenchmark ）模擬實驗。 -
As the popularization and application of integrate logistics support engineering thinking at our country industry field and the military continuously, the evaluation of equipment integrate logistics support capability become the mostly means to check up the stand and fall of equipment character of supportable design, the efficiency of the equipment using supportability and the decision - making to equipment ' s continuous model development, at the same time, along with the development and maturity of computer simulation technique, the research of analysing and evaluating equipment ' s effectiveness steps into a new stage, we can get the handle and maintain data on the base of originally lasting accumulating in existence by utilizing the computer emulating technique, which is necessary to analyzing and evaluating the ground - to - ground missile ' s integrate logistics support effectiveness, via simulating the handling and maintaining process of ground - to - ground missile weapon, we can evaluate the ils effectiveness comp rehensively, impersonally, veraciously, consequently, provide decision - making gist to make the best support project
隨著綜合保障工程思想在我國工業界和軍方不斷普及和推廣應用，裝備綜合保障能力的評估成為檢驗裝備保障性設計好壞、裝備使用保障效能高低以及裝備后續型號發展決策的主要手段，同時隨著計算機模擬技術的不斷完善和成熟，裝備效能分析與評估研究進入了一個新階段，我們可以在導彈武器綜合保障效能分析與評估所需使用與維修數據原始積累的基礎上，利用計算機模擬導彈武器在真實使用環境中的使用維修過程，達到對導彈武器系統的綜合保障能力進行更全面、客觀、準確的評價目的，從而為裝備保障部門制定最優的保障方案提供更好的決策依據。 -
Statistical model check : to look over and recognize the key data with tobit ' s model such as statistical model
統計模型校驗：用tobit模型等統計模型對關鍵數據進行探查識別。 -
Because these assertions check for changes in the model, not the view
因為這些斷言只是在模型中，而不是在視圖中檢查發生的更改。 -
Our company ushers in first the advanced equipments produces each model number wool ball. have own the laboratory of development. have the profession the personnel design development the independence development of our company and the patented product of the production with pack to have applied for the patent. create the local and top - grade quality with all strength, lead off to use the sxd type high pressure already set the even slicing the machine. make the product of our company with import an etc. product to match in excellence mutually. attaining the local price imports the quality. from enter to anticipate to process the production check goods the qualified arriving an each link of factory the full - time guarding a pass. usage door trust happy, if have responsible for quantity problem after all
本公司最先引進先進設備生產各型號羊毛球.配有自己的開發實驗室.有專業人員設計開發本公司自主開發及生產的專利產品和包裝已申請專利.全力打造國內一流品質，率先使用sxd型高壓定型平切機.使本公司產品與進口3m等產品相媲美.做到國內價格進口品質.自進料加工生產驗貨合格到出廠各環節專職把關.使用戶放心開心，如有質量問題負責到底。 -
High - qualified designers and engineers of chaowei are able to provide various high - qualified design services such as ic software program, circuit board, product appearance, products structure, and product package, etc. the factories directly under chaowei have advanced production abilities including mould making, inection moulding, surface spray - painting, silk - screening, shift - screening, smt, welding and assembling, quartz clock core production, and quality check and assurance. chaowei held many design patents and utility model patents, at the same time, national clock and watch quality certification, national technical supervision bureau certification, usa fcc and astm security authentication, canada ic, and euro ce are achieved, the rich experience in oem and odm can ensure high quality products and professional service
超維公司擁有一批高素質的專業設計師和工程師，有能力為國內外客戶提供包括ic軟體編程線路板設計產品外觀設計產品結構設計產品包裝設計等多方面高水準的設計服務超維的直屬工廠則擁有模具製造注塑成型表面噴漆絲印移印smt焊接裝配石英鐘機芯製造品質檢驗測試等先進的生產能力超維公司的產品擁有大量的外觀設計專利和實用新型專利，同時獲得了國家鐘表質量檢驗中心的合格證書國家技術監督局檢驗合格證書美國fcc認證和astm安全認證加拿大ic認證歐盟ce認證。 -
The second chapter studies the economy of ship ' s power plants, based on the aspects of lowering fuel cost, waste heat recovery, the match of ship, machinery and propeller, increasing propulsion efficiency, increasing the economy of ship ' s power plants, etc. the third chapter discusses in detail the control measures of voyage change cost, analysizes systematically the voyage change cost based on the way of fuel cost, harbor cost, voyage venture cost. the fourth chapter studies the structures and control measures of seafarers cost, maintenance cost, spare parts and stores cost, lubricating oil cost, etc. which are relatively easy to be controlled ; based on the state maintenance decision - making, a mathematical model is put forward, the validity and its solve process are discussed. the control measures of spare parts, fuel cost and lubricating oil cost should be based on scientific budget, through the control means of application, reception, usage, store check, try to acquire the inosculation of theory
第一章主要討論營運船舶運輸成本，對船舶運輸成本的概念、結構、性質與分攤、成本細分進行了分析，從宏觀上闡明了船舶運輸成本的生存環境和生長趨勢；第二章研究了船舶動力裝置的經濟性，在營運船舶降低油耗、廢熱利用、船機槳匹配、提高推進效率、提高船舶動力裝置經濟性的有效途徑等方面進行了闡述和論證；第三章詳細論述並論證了航次變動成本的控制措施，全面系統地分析和總結了航次變動成本，通過對燃油成本、港口使費、航次風險成本的分析與控制，提出了航次風險成本的概念並論述了若干航次風險成本的控制措施；第四章對船舶營運成本中的船員費用控制、維修保養及其費用控制、船舶備件物料管理及其費用控制等幾個主要可控性較高的成本進行了細致的分析並分別討論了相互的控制措施，提出了基於狀態維修決策的馬爾可夫數學模型並論證了模型的正確性及具體解算步驟，對于備件、燃潤物料的控制堅持以科學的預算為前提，以申領、接收、使用、盤存為控制環節，切實做到理論與實踐的密切結合；第五章，結合營運成本的預核算的案例，對船舶營運成本的預算及核算進行了有益的探討，旨在揭示成本發生的動因，並給出了成本預算、核算的編制方法。 -
Assembly model of the pro / engineer cad / cam does not support the interference check of assembly path and process. to resolve this problem, this paper put forward a method which directly takes advantage of the eigen functions of pro / engineer. that is : planning path and simulating dynamically under skeleton, setting interference conditions and simulation degree under relation of pro / program, realizing the interference check with the man - machine interchange
本文從裝配的概念及發展現狀、裝配模型的建立、裝配的評價體系等系統地闡述了產品虛擬裝配的過程和重要性，並對虛擬裝配的操作平臺pro engineer作了一個簡單的介紹，針對pro engineercad cam軟體assembly模塊中不能體現裝配路徑及過程干涉的問題，提出了在組合件的skeleton下規劃裝配路徑和動態模擬、在pro program的relation下設定干涉條件和模擬程度、以及通過人機交互解決干涉的方法。 -
When author emendated the twenties carving of wen tingyun ’ s poetry from ming dynasty and qing dynasty, the author does to check relation of the origin and succeed by ordering of arrangement ’ s model, collecting poems ’ amount, detecting letters ’ divarication, collating preface and postscript and storing realizing
筆者通過比勘二十余種明清溫集版刻，依其編次體例、收詩數量、文字歧異、刊刻序跋及庋藏題識，考次諸本淵源與承傳關系。 -
Until you get the model the way you like it, check the box for
直道以您喜歡的方式取得模型，選中 -
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對稱鑰協議。 -
( 4 ) the thesis converts unrest model ( arima model ) of time series to the rest model ( arma model ) of time series. it sets up models acrossing some procedures, such as model identify, factor estimation, model check, ect, then predict the development short - term warp of road foundation. it predicts the time of the filling soil of the next grade utilizing the growth theory of the strength of the road foundation, assures that the working organization and design go smoothly during the filling work of road foundation and saves time and money
（ 4 ）從路基實測變形數據出發，將時間序列非平穩性模型（ arima模型）轉化成時間序列平穩模型（ arma模型） ，通過模型識別、參數估計、模型驗證等步驟來建立模型，從而進行路基動態變形預測，利用路基變形的控制標準對路基下一級填土的時間進行預測，優化了施工組織設計，節省了時間和資金。
分享友人