概念型驗證 的英文怎麼說

中文拼音 [gàiniànxíngyànzhèng]
概念型驗證 英文
conceptual replication
  • 概 : Ⅰ名詞1 （大略） general outline 2 （神氣） manner of carrying and conducting oneself; deportment ...
  • 念 : Ⅰ動詞1 （看著文字發出聲音; 讀） read aloud 2 （上學） study; attend school 3 （想念; 考慮） think...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 概念 : concept; conception; notion; idea
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. Metropolitan circle is the result of industrialization and urbanization, which is the embodiment of centralization and radialization when the metropolis is developing to a certainty, in order to advance the space and economy to conform, to form a corporate area, fabricating the new type of metropolitan circle in which the metropolis is the core is new topic for discussion of innovative space structure of the big ciry this paper combine the theory expatiation and demonstration analysis with comprehensive and new statistics data, and theory model, and discusses the all - around regional development in chengdu area from a new angle, ie : using space structure model of metropolitan circle to develop the overall enhancement of strength in chengdu first, the thesis defmitudes the concept, connotation, and character of metropolitan circle, after that, it discusses the formative mechanism of metropolitan circle from the factors such as market, institution and ect moreover, from the practice of metropolitan circle ' s development in ho me and abroad, it summarizes the significance of the metropolitan circle form for the economic and social development, as well as the experience for reference and the problems we should pay attention to = based on these theories and practice, it brings forward the necessity and strategic significance of building metropolitan circle in chengdu, and analysis its possibilities, it also makes a research on the model of this circle, it innovatively brings forth that the double - polar circle structure of central city - sub central city - satellite town should be builded, through the establishment of index system, the sphere of metropolis circle in chengdu can be set which means the central city, sub center city and satellite town are sett it also analysis how to determine the gravity between center city and circumjacent area, and discusses the function orientation of center city and satellite town at last, it briefly analyses the transportation designing of suburb and city which are imperative for constructing the metropolitan circle in chengdu

    本文將理論闡述和經驗實證分析與較全面的最新統計資料，以及理論分析模型分析結合起來，從新的角度深入探討成都的區域整體發展，即以都市圈的空間結構模式促進成都整體實力的全面提高。本論文首先明確了都市圈的概念、內涵及特徵，從市場、等因素探討了都市圈的形成機理，並從國內外都市圈的發展實踐中，總結出都市圈這種空間形式所引起的經濟和社會發展的意義所在，以及我們值得借鑒的經驗和需要注意的問題。在此理論和實踐基礎上，提出構建成都都市圈的必要性及戰略意義，分析其可能性；並且對如何構建成都都市圈模式進行了探討，主要是創新性提出構建中心城市-副中心城市-衛星城鎮的雙極圈域結構，並通過指標體系的建立以確定成都都市圈的范圍，即中心城市、副中心城市和衛星城鎮的確定，以及測定中心城市與周邊地區的引力大小，以及對中心城市和衛星城鎮的功能定位進行了探討。
  2. Through the analysis we found that the effect will become more obviously with the increase of thickness or width of superstratum and the decrease of the coefficient of foundation bed ; ( 3 ) anisotropy and nonlinear elastic f. e. m. model has been established and the effect of stress dispersion in compound two - layer foundation was analyzed on the base of the model. from the analysis we can conclude that the coefficient of subsidiary stress dispersion will amplify with the increase of thickness or width or stiffness of back - up coat ; ( 4 ) the formula which can be used in conventional calculation has been deduced for calculating the coefficient of subsidiary stress dispersion and it also has been affirmed to be reasonable through the checking calculation ; the whole theory of compound two - layer foundation has been brought forward in this paper and it ' ll enrich the theory of composite foundation

    針對以上問題本文做了以下一些工作並得到若干結論： （ 1 ）提出了「復合雙層地基」的概念，並通過工程實例證明此概念的提出有其合理性和必要性； （ 2 ）用彈性地基梁理論證實了復合雙層地基確有應力擴散效應，且擴散效應隨上覆硬層厚度、剛度的增加而增大，隨下臥層基床系數的增大而減小； （ 3 ）建立了非線彈性、各向異性有限元模型，並以此為基礎分析了復合雙層地基的應力擴散效應，得到附加應力系數隨加固層厚度、寬度、剛度的增加而增大的結論； （ 4 ）推導了可用於常規計算的復合雙層地基應力擴散系數公式，並代入工程實例進行了驗證。
  3. In this thesis, studies are focused on as follows : ( 1 ) based on analyzing the general transfer - matrix, the conception of the generalized double layer soil model is proposed, and the transfer - matrix ( r ) of half - infinite elastic mass is introduce - d to the analytic expressions of stress and settlement under the uniform circular, rectangular and strip vertical loads in multi - layered soil ; ( 2 ) according to the analytic expressions of the additional stress and settlement under unifo - rm circular in multi - layered soil, rectangular and strip vertical loads, the programs are develop - ed to resolve and debugged. the results show that the programs are correct ; ( 3 ) through calculating the coefficient of additional stress on the central axis of uniform circ - ular vertical loads, under the corner point of the uniform rectangular vertical loads, and on the central axis of uniform strip vertical loads, and the settlement on the center of uniform circular vertical loads and uniform rectangular loads in double - layered soil, the characters of stress and settlement are discussed ; ( 4 ) a case, as an example, is studied with different calculation methods, such as traditional theory, fem. the results obtained are compared

    本文在已有研究成果的基礎上進一步開展了以下幾方面的研究： （ 1 ）在對層狀地基傳遞矩陣法中的總傳遞矩陣分析的基礎上，提出了廣義雙層地基模型的概念，並把半無限體的傳遞矩陣r引入到多層地基在圓形垂直均布荷載、矩形垂直均布荷載及條形垂直均布荷載作用下附加應力與沉降的解析式中； （ 2 ）根據多層地基在圓形荷載、矩形垂直均布荷載及條形垂直均布荷載作用下附加應力與沉降的解析式，編制了程序，調試通過並驗證了其正確性； （ 3 ）通過對雙層地基圓形垂直均布荷載中心軸線上的附加應力系數和荷載中心沉降，矩形垂直均布荷載角點下的附加應力系數和荷載角點沉降及條形垂直均布荷載中心軸線上的附加應力系數進行的計算，探討了雙層地基中的附加應力與沉降特性； （ 4 ）應用本文的層狀地基體系理論對一個工程實例進行了計算分析，並與傳統的計算方法的計算結果和有限單元方法的計算結果進行了對比分析，結果表明利用層狀地基理論計算更能反映地基中附加應力分佈的實際情況。
  4. Part one : this part introduces the summarization of the abs ( asset - backed securities ), which includes the conception, the basic theory, the features, the categories, the basic running process, and the circumstance of the research and development, etc. part two : the main contents of this part are the necessity and the analysis for the feasibility of the financing of securities depending on the charges of expressways, including the analysis for the feasibility of the financing of securities on the basis of the expressways " charges, the option between the two operation models, and the analysis for the feasibility of the operation of indigenization, etc. part three : this part mainly demonstrates how to design the plan of a company for the financing of securities and indigenization, which consists of the introduction of a company ' s background and the main problems to be confronted, the features of the basic assets and the analysis of the cash currency, the selection of spy, the design of trading structure, the product design of securities, etc. part four : this part discusses the financial evaluation about a company ' s design of the financing of securities and indigenization on the basis of the expressways " charges, the analysis of the risks and the analysis in general

    本文的創新之處在於: （ 1 ）通過對我國《信託法》 、 《公司法》等相關法律、法規的深入研究，提出在國內現行制度框架和市場環境下，以信託方式設立特設目的機構的基本思路，並構架了類附擔保公司債信託型和信託簽發企業銷售型兩種較為滿意的本土化交易結構方案，具有一定的理論創新性; （ 2 ）將資產證券化這一金融創新工具應用到高速公路融資領域，論證了高速公路利用收費證券化融資的必要性和可行性，並提出了一個可供借鑒的操作性方案。本文可能的不足是在證券化產品設計方面由於筆者知識水平的欠缺，深感作得不是很深入，需進一步的完善和細化;另外對各種交易結構模式的設計和分析只是一種理論上的探討，到底是否有效和可行需接受實踐的進一步檢驗。論文分為四個部份:第一部份，資產證券化概述，包括資產證券化的概念、基本理論、特點、基本形式、基本運作流程、國內外研究和發展現狀等。
  5. The model has been validated by testing, which supports the rapid design of minibus body structure frontal crashworthiness during concept design phase

    所建的參數化模型已經通過了有效性驗證，而且該模型支持微型客車概念設計階段的結構正面抗撞性快速方案設計。
  6. This paper carries out study on corporate governance based on system theory, advances concept of corporate governance, analyzes and abstracts system core of corporate governance from the point of mechanism by means of study on environment energy - rank principle, running mechanism and model of corporate governance. this paper analyzes mechanism of stimulation and restraint by using game theory, verifies effect of stock right structure on efficiency of corporate governance in view of connection between capital and corporate governance, gives method of resolving optimum stock right limit of collection and deconcentration and adventure share model of blending capital, and discusses problem of entrance of stakeholders to corporate governance etc. at last, according to system theory of corporate governance studied, this paper analyzes governance system of chinese state - owned and its effective factors, and advances complete countermove idea of corporate governance system

    本論文以系統理論為基礎對公司治理結構進行了研究，提出了公司治理結構系統的概念，分析提煉出了公司治理結構系統核，並通過對公司治理結構系統環境、系統能級原理和系統運行機制與模式的研究，從機制的角度分析了公司治理結構系統運行模式；運用博弈論對公司治理過程中的激勵約束機制進行了分析；針對資本結構與公司治理結構的關系，運用模型驗證了股權結構對公司治理效率的影響，給出了求解最佳股權集散度的方法和融資風險分擔模型；探討了利益相關者介入公司治理結構的問題等等。
  7. In addition, it puts forward a nested temporal db, which, with stronger expressive ability than others, is a breakthrough to entity - relationship model and is referred to as nter model. it also verifies the expressive ability of nter when it is applied to sidss. finally, in view of the features of sidss and the current status of salary distribution system, it conducts initial study of the sidss based on temporal - spatial relationship and the sidss with a temporally - driven knowledge database, with the aim for us to develop a consummate sidss system in the future

    本文中，介紹了時態數據庫的基本概念、發展、特點和分類；結合sidss的背景、特色及體系結構，詳細討論了sidss的時態性及其數學模型，指出將時態數據庫應用到sidss並作進一步的研究是必然趨勢，並在此基礎上研究了時態數據庫系統的模型；在探討了幾種模型之後，打破實體-關系類的模型的框框，提出了一個表達能力較強的嵌套時態數據模型，稱之為nter模型（ nestedtemporalentity - relationshipmodel ） ，並驗證將其應用到sidss系統中的表達能力；最後針對sidss的特點以及目前工資管理系統的狀況，進一步對基於時空關系的sidss系統、由時態驅動知識庫的sidss系統進行初步探討，以期今後對開發更完善的引） ss系統作進一步的研究。
  8. As a result of these, this research consult the scholars ’ research, add up my understanding, defined the quality of work life. according to it, on the basis of reviews of quality of work life studies, we make a tentative research on it. first, we collected the items for the measure by visiting, open questionnaire ; we developed a seven - component construct of quality of work life

    鑒於此，本研究在國內外學者以往研究的基礎上，結合我國企業的實際情況，界定工作生活質量的概念，並以此定義為依據，在搜集國內外相關文獻資料的基礎上，採用開放式問卷調查法、訪談法等方法，編制了企業員工工作生活質量問卷，提出並驗證了工作生活質量的七維結構模型。
  9. A good many case of approaching excavation are studied in this article, such as the study of infection of be coal mining to the huayingshan tunnel, technology study of strucked tunnels of metro in shenzhen, countermeasure study of tunnel approaching pile foundation of metro in guangzhou, excavation methods optimized of large cross section subaqueous tunnel approaching pile foundation of lrt in chongqing, etc. on the basic of analysing and concluding relative study production all over the the world by the numbers, classification of approaching excavation, partition of approach zone, formula of partition of approaching zone, approach degree and countermeasure grade of generalized approaching excavation of underground works are put forward. general methods studying and trea

    本文結合作者多年來對華鎣山隧道減少壓煤量研究、深圳地鐵重疊隧道第11頁西南交通大學博士研究主學位論文技術研究、廣州地鐵公紀區間廣紡聯段鄰樁施工對策研究和重慶輕軌大坪大斷面車站鄰近基礎淺埋暗挖工法優化分析等諸多近接施工問題案例的研究，在系統分析和歸納總結國內外相關研究成果的基礎上，系統地提出了廣義的地下工程近接施工的分類、分區、分區指標表達式、近接度與對策等級概念以及分區、分度準則，給出了研究和解決近接施工問題的普遍方法，如數值分析先行，模型試驗、現場測試驗證等。
  10. There are five parts are as follows : in part one, the concept of switching function is introduced first to establish the nonlinear mathematical model of the induction motor variable frequency speed adjustment system which is fed by a sine pulse width modulated ( spwm ) inverter and takes the effect of the main magnetic circuit saturation into consideration, then the low frequency oscillation of the system is simulated according to the model. next, from the view point of energy conversion of the inverter - induction system, a criterion for the low frequency oscillation is proposed to determine whether the system is in low frequency oscillation which is judged by whether the interval of the negative current component of the inverter input current is more than 1 / fc ( fc is the carrier wave frequency of the inverter ) or not

    首先引入開關函數概念，建立了正弦脈寬調制（ spwm ）逆變器供電異步電動機，考慮主磁路飽和時的變頻調速系統整體數學模型，模擬系統的低頻振蕩；其次從逆變器-異步電動機系統能量轉換角度出發，提出通過檢測逆變器輸入電流中負電流的間隔時間是否大於1 / f _ c （ f _ c為逆變器載波頻率）來判定系統是否出現低頻振蕩；最後的實驗結果驗證了系統低頻振蕩建模和判據的實用性和正確性。
  11. In this thesis, some work has been done : fisrtly, based on the thorough investigation of the mechanism project, combining concept diagram, the literal description and the formula analysis together for programing motion of the robot ; secondly, according to soil mechanics principle and pressuremeter theories, the model which reflect the interaction force between robot and soil are founded ; thirdly, proceed the analysis and solution ; using virtual prototyping software - adams to optimize the mechanism model and analyze the mechanics ; furthermore compared the analysis calculation result of the above both side, we verify the possibility that the robot dig hole and move in soil ; finally, construction model is consummated based on the optimized result, the mechanism motion and the simulation animation of whole harmonious motion is fulfilled by three dimension simulation software - 3dmax

    論文的主要工作有：首先，在對機構方案進行了深入研究的基礎上，以概念圖標表示、文字描述和公式分析相結合的研究方法對機器人進行了運動規劃；其次，根據土力學原理和旁壓理論建立了機器人在土質環境下的受力模型並進行了分析求解；然後，藉助于虛擬樣機軟體adams對機構模型進行優化和力學分析；除此之外，通過對上述兩方面分析計算結果的比較，驗證了該機器人在土質環境下拱洞和蠕動爬行的可行性；最後，在優化結果基礎上進一步完善了結構模型，通過三維模擬軟體3dmax實現了機構運動和整體協調運動動畫的模擬。
  12. 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對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。
  13. Then the isoparametric finite - difference three - dimensional transient groundwater numerical model is presented. visual modflow, the most popular standard visualization software package approved by the hydraulic scientists and technicians on simulating the groundwater flow is used to simulate and calibrate the groundwater level and quantity of the research area. at last, the changes of the hydraulic head and the produced quantity in the future were predicted according to the tested parameter and the modified model

    在水文地質概念模型的基礎上，進一步建立了研究區完整的三維有限差分非穩定流數學模型，利用目前國際上最盛行，且被各國同行一致認可的三維地下水流模擬軟體? ? visualmodflow對該區地下水的水位和水量進行模擬求解，最後，利用識別的參數和驗證后的模型預測了今後的水位變化趨勢和可開采量。
  14. The thesis consist of six chapters and based on the way of propose the question, analysis, then get the solution. it discussed and recognized what the ship transportation cost was in chapter one ; studied the environment and growing trend of the cost in chapter two ; fully discussed and demonstrated the voyage variable costs and controlling method, proposed a mathematic decision model of fuel supplying and get through the validation, proposed the concept of risking cost and addressing many controlling measures to it in chapter three ; discussed a certain running costs, proposed and validated a mathematic model of condition - based maintenance, and put forward many practical controlling method of running costs such as crew payment, repairs, spare parts, stores and lub oils in chapter four ; combining a case of monthly running cost budget and verification, performed a useful learning on running cost budget, forecast and verification in chapter five ; finally fully studied the method of cost - calculating and benefit - analyzing of time chartering container ships on a proposed route

    第一章主要討論並認清什麼是船舶運輸成本；第二章研究了船舶運輸成本的生存環境和生長趨勢；第三章詳細論述並論證了航次變動成本的控制措施，提出了燃油補給方案的決策模型並給出了模型的驗證過程，提出了航次風險成本的概念並論述了若干航次風險成本的控制措施；第四章對船舶營運成本中的船員費用、維修保養費用、備件、潤物料費用等幾個主要的可控性較高的成本進行了細致的分析並分別討論了相應的控制措施，提出了基於狀態維修決策的數學模型並論證了模型的正確性及具體解算步驟，對于備件、潤物料的控制堅持以科學的預算為前提，以申領、接收、使用、盤存為控制環節，切實做到理論與實踐的密切結合；第五章結合營運成本的預核算的案例，對船舶運輸營運成本的預算及核算進行了有益的探討；第六章結合具體案例對期租班輪的成本測算與效益分析方法進行了細致的研究。
  15. 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來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略，即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議，而這類協議的安全特性依賴于協議參與者的知識推理。
  16. Firstly the necessity of water erosion modeling on hillslopes is discussed. then existing water erosion models are generally divided into two types, formalization logic computational models and dialectical logic computational models according to the way of solving problems where the former can be further divided into four types - primarily empirically based, partially conceptually and partially empirically based, partially process based and partially empirically based, as well as theoretically based as weak points of the previous classification methods are concerned. finally characteristics of each type and their relationships are illust rated by examples

    考慮到原有水蝕模型類型的不足，對當前水蝕模型按解題方法重新歸為形式邏輯計算模型及辯證邏輯計算模型兩類。其中，形式邏輯計算模型又分為經驗模型半概念半經驗模型半過程半經驗模型以及理論模型4類。結合實例闡述這幾類模型的主要特性及相關關系。
  17. The first part, the theory and application about wu - ritt differential characteristic sequence method are discussed, which involves the theories of differential equations, abstract algebra and computer algebra etc. we apply wu - ritt differential characteristic sequence method ( abbr. wu - ritt method ) to linear partial differential equations which has physics significance and give the size of solutions and formal taylor solutions

    本文共分兩部分，第一部分討論微分特徵列法的理論和應用問題，涉及到微分方程，抽象代數，計算機代數等重要學科。將吳方法應用到具有物理意義的線性偏微分方程上去，我們給出了型序，驗證了張鴻慶教授八十年代給出的恰當解的概念，刻劃了解的規模並給出了形式冪級數解。
  18. On the base of trust path and certificate validation steps, we analyze the time complexity of two trust models ( subordinated hierarchy and cross - certified mesh model ), and then analyze the methods of certificate validation in current standards

    第三，介紹了信任路徑的概念，證書驗證的一般步驟，在此基礎上分析了兩種具有代表性的信任模型（附屬層次模型和交叉認證網模型）證書驗證的復雜度。
  19. To the problem that finding rules in enormous data is very time - consumable and the expansibility of existed algorithms is not very good, the thesis proposes a new method to discompose large data table based on the concepts of positive region and the importance of attribute in rough set theory. existed algorithms of rule deduction can be applied directly on the tree structure obtained by partition and the times for computation will be reduced observably. validation of information entropy on the partition structure shows that the partition of data table will not lead to the loss of information, while the computing speed increases at the same time, which reflects the practicability and rationality about the partition of large data table

    針對海量數據處理起來極為耗時，現有演算法拓展性較差的問題，基於rough集理論中的集合正域概念以及由此定義的屬性重要性概念，提出一種大型數據表分解演算法，現有的規則歸納演算法可直接在分解得到的樹型結構上應用，將大大降低知識發現的時間，並從信息理論的角度利用信息熵概念對該分解結構進行了驗證，分析了這種分解的實用性及合理性，揭示了這種分解結構在提高計算速度的同時不會損失信息量。
  20. This new technology changes from the traditional method by which the induced and compressor wheel separately are designed and produced to a new one by which the one - piece compressor is designed. on the basis of this new technology and the optimum blade profile, the performance of both the compressor and the turbocharger is largely improved. through the heating power calculation of the compressor, the analysis of the surge and the block of the compressor, the test - bed performance test of the turbocharger, the matching test of turbocharger and diesel engine, the propulsion test of the turbocharger on plateau condition, it is proved that the newly - designed compressor not only has high efficiency, but also improves the flow distribution in the high efficiency area so that the propulsion line can run through the high efficiency area

    主要內容包括：提出一種全新的壓氣機葉輪技術和概念，這種技術將傳統的導風輪和壓氣機分開設計、單獨加工改為整體設計、整體加工的單體葉輪；從增壓器與柴油機配機計算所得出的基本參數出發，通過對壓氣機進行熱力計算，確定壓氣機的基本結構參數；再對葉型以及葉輪輪廓與葉輪罩殼的配合間隙進行優化，對新設計的壓氣機進行喘振和堵塞分析；通過增壓器平臺性能試驗，驗證了新設計的壓氣機的性能水平得到了較大的提高，達到了提高增壓器的整體性能水平的目的；通過增壓器與柴油機配機試驗、以及增壓器用於高原條件下的牽引試驗，驗證了新設計的壓氣機不但具有高效率，還改善了高效率區的流量分佈，使牽引特性線貫穿高效率區。
分享友人
分享到 Line

分享到臉書