verification of modeling 中文意思是什麼

verification of modeling 解釋
模型驗證
  • verification : n. 1. 證實，證明，確定；核驗，驗證，核對；檢驗，校驗。2. 【法律】訴狀[答辯書]結尾的舉證說明。
  • of : OF ＝Old French 古法語。
  • modeling : n. 製造模型的方法，造型（術）；塑像術；【美術】立體感（表現法）；模特兒職業。 the modeling of one's features 某人臉部的形象。
  1. Based on this kind of relations between the topological structures and the content distributions we study the web modelling, community identification and some related application problems in detail : first, after some existed characteristics of the web topology are verified, some new characteristics are discovered : the high clustering property in micro - topology ( high average gathering coefficient ), the obvious mapping relation between the topological struture and the content in micro - level 、 linear irrelevant between the degree distribution of network nodes and the relative degree distribution of contents etc. then after analysis the topology of the complex network and the network modeling, the muti - scale determinism is proposed, especially for the information network a web evolvement model ( prcp model ) that fused the node authority and the node correlation is proposed. the model deduction, evolving learning verification and large scale experiment proof indicate that the model can explain the micro - topology centralizing phenomena, can imitate the mapping relation between the network connecting distribution and network content relative distribution and also can predict the mapping relation between the topology clustering and content clustering

    本文在詳細觀察了web網路的拓撲結構特徵以及拓撲結構與內容分佈相互關系的基礎上，以信息網路的物理連接拓撲結構與節點內容相關度分佈之間的相互關系為主線，從網路特徵、網路建模、社區分析及相關應用方面問題進行了深入細致地探討:首先在驗證了前人提出的web網路拓撲結構特徵基礎上，進一步發現了信息網路所具有的一些新特徵: 1 ）網路微觀顆粒度的拓撲結構聚團與內容聚團存在明顯的映射關系，具體包括節點之間的物理連邊概率與節點之間的內容相關度成指數比例關系、節點形成三角形拓撲結構的概率與節點內容相關緊密程度之間同樣具有一種指數比例關系; 2 ）網路節點連接度整體分佈與節點內容相關度整體分佈是線性無關的; 3 ）網路微觀拓撲結構中的存在很強的集聚性（平均聚團系數很高） 。
  2. The author gives a completely literature review about buried pipe - in - pipe heat exchanger in gshp system at first, and then outlines the research subjects to be studied in this ph. d. thesis, that is, process optimizing of performance of a buried pipe - in - pipe heat exchanger, mathematical modeling of its heat transfer process, and results verification by field tests

    本文在綜述有關地源熱泵的地下埋管換熱器研究現狀的基礎上，首先確定本文所要研究的內容：地下埋管換熱器參數優化及傳熱性能數學模擬方法，並通過實驗測試驗證相應研究結果。
  3. But majority of the productions lack for verification of correction or only check the local expressions during the modeling process, so causing the existence of the deadlock, livelock and other bugs in the model. it causes many problems directly during the dynamic execution of the workflow. so it is important that model and verify the workflow before running

    但由於大多數產品在產品建模過程中缺乏正確性驗證或僅進行局部的語法檢驗，造成工作流模型存在死鎖、活鎖等缺陷，這直接引發了工作流動態執行過程中的諸多問題，如任務不能完成、超期完成等。
  4. This paper analyses patial sequential theory of formal verification, states the principle of modeling complex systems

    本文通過對形式驗證中部分順序理論的分析，闡述了通過串并行部序集描述復雜系統的原理。
  5. This ability should be guaranteed through system reliability study of sg - iii, which includes reliability modeling, analysis, assessment and verification

    這種能力需要通過一系列針對裝置的系統可靠性研究得到保證，包括建立神光iii激光裝置的可靠性模型，對裝置進行可靠性分析、評估和驗證等。
  6. An significant symbol has been used to determine the technique of 3 - d discontinuities network modeling of rock mass is good or not, which is to check whether the model can reappear the reality situation of rock mass or not, in order to make the 3 - d network model to meet the need of the actual rock engineering, the methods to verify the result of the modeling are required, one of the method to be used is to compare the figures between the section of the numerical model and the sampling window of in - situ model, the second method to be used is verify the data set between the numerical model and field data, only if the verification obtained a good precision, then the model can be considered as a efficiency model, and it can be applied into the actual rock engineering

    摘要巖體隨機不連續面三維網路模擬技術成熟與否的一個重要標志就是最終的網路模型是否能夠較真實地再現巖體的實際情況，為了使三維網路模型的結果能夠真正地應用於實際工程，就必須對模擬的結果進行必要的檢驗，檢驗的辦法就是將模擬出的模型剖面圖形與原型測量窗口的圖形進行圖形對比，或者將原型的觀測數據與模型的測試數據進行數據對比，當這種檢驗達到精度時，模擬出的模型為有效模型，可以投入工程實際應用。
  7. Or meaning of the uml modeling concepts remained inadequate for such mdd - oriented activities as automatic code generation or formal verification

    （或含義）的規范，對這些作為自動代碼生成或正式確認的基於mdd的活動仍舊是不適當的。
  8. The study group being taken charge of by the author has developed " the modeling verification and analysis platform of c4isr system " together. the appraisers report that this platform synthesizes modeling technique, component technique and several uptodate research achievement of hla on the aspects of design idea and implement approach, which is an innovated technique

    由作者負責的課題組共同研製了《 c ~ 4isr系統建模、驗證與分析平臺》 ，該成果的鑒定意見認為：在設計思想、實現方法上綜合運用了模型技術、構件技術和hla的多項最新研究成果，具有創新性。
  9. During the modeling and verification of the authentication version of needham - schroeder public key protocol with smv, we get more comprehension on the theory of symbolic model checking and small system model, and finally find a flaw in this protocol that corresponds with the one that gavin lowe found with fdr

    通過使用smv對needham - schroeder公鑰協議進行建模和驗證，理解了符號化模型檢驗和小系統模型的原理，並發現了一個協議漏洞，該漏洞與gavinlowe用fdr所發現的相一致。
  10. The mws constitutes of missile subsystem, floor support subsystem, and energy control subsystem. through analyzing the system structure and modeling the system, we got the maintainability diagram and mttr ( mean time to repair ) model of the three subsystems, and using bdd method and makov method to solve common - cause - failure problems. for verification of maintainability, we have four sutra methods on the presupposition of not known the distributing, known the distributing, known the distributing and the variance

    分析導彈武器系統結構的基礎上，通過對導彈武器系統進行維修性建模和分析，給出了導彈武器系統的導彈彈體系統、地面支援系統和火控系統三個分系統的維修性框圖和平均修復時間模型，並研究了維修性模型中運用bdd方法和馬爾可夫方法解決共因故障的問題。
  11. Chapter one introduces the major issues and the progress in ao research both in china and abroad. chapter two discusses the theoretical foundation and four engineering physics algorithm of ao. chapter three provides the theoretical modeling and experimental verification of the index - of - refraction ' s variation with temperature, giving the correlation of ao effect with wavelength, and verifying it with experiments

    本論文共七章，第一章分析介紹了氣動光學研究的主要內容和國內外研究進展；第二章探討了氣動光學的理論基礎和四種物理工程演算法；第三章推導了折射率隨溫度變化的計算公式，提出了氣動光學效應波長相關性原則。
  12. Starting with some fundamental notions of lscs modeling and simulation, the dissertation analyzed the principium of m & s based on similarity theory, discussed relations among system, simulation and evaluation. then the qualitative and quantitative descriptions of credibility were given out, the relations between credibility and fidelity, between credibility evaluation and vv & a ( verification, validation and accreditation ) were discriminated. and then the reference framework for credibility evaluation researches was built up, the connotation of the framework was illuminated and the application of it was expatiated

    論文從復雜大系統建模與模擬的概念和特點出發，以相似論為基礎分析了建模與模擬的基本原理，討論了系統、模擬與評估之間的關系;接著在前人研究的基礎上給出了模擬可信性的定性描述和定量度量，辨析了可信度與逼真度、可信性評估與vv & a （ verification ， validationandaccreditation ）之間的區別和聯系;然後從模擬工程的角度，建立了可信性評估研究的參考框架，闡明了框架的內涵並說明了其應用。
  13. In recent years, with the development of computer simulation, system modeling and w & a ( verification, validation, and accreditation ), we can carry on the tests in many aspects and ways to demonstrate the weapon systems " maintainability

    近年來，由於模擬技術、系統建模技術以及模型的校核、驗證和確認（ vv & a ）技術的發展，對武器裝備維修性的評定，可以從多角度、多途徑進行試驗。
  14. On the basis of the design frame, the main implementation approaches are narrated. tsa was tested during the requirement analysis phase of the software " aerospace distributed unit ( hdu ) ", which verified its usefulness during assisting in analysis modeling and model verification

    Tsa在航天分散式單元（ hdu ）開發的需求分析階段經過初步測試性使用，證實了它在輔助分析建模、模型驗證上所起的作用基本達到了預期的效果。
分享友人
分享到 Line

分享到臉書