階式基礎 的英文怎麼說
中文拼音 [jiēshìjīchǔ]
階式基礎
英文
benched foundation-
We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features
基於這些準則，對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充；給出了計算數據圖中正規表達式的演算法；對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬（ bisimulation ）等問題進行了研究，提出了一種判定數據圖的bisimulation演算法；在xml數據查詢語言研究的基礎上，設計並實現了一種具有數據庫查詢特性的web查詢系統原型。By making some assumptions, collision frequency were presented. then the the flocculation kinetics model was established through population balance equation. comparison of experimental data and modeling results indicate that there are the same trend between the two. so the model can predict floes number and size during flocculation of yellow river ' s loess particles without using empirical parameters. the tem and sem were used to obsever floes in the study of floe structure. the flocculation was divided as flocculi, floc and floe aggregate. the floes structure model was established by assumption that particles position in floe accords with tetrahedron. the fractal dimension of model and experimental floes was found to be coincidentso the model can reflect the structure of flocs formed in flocculation of yellow river ' s loess particles by macromolecule flocculant at a certain extent
最後，本文還對絮凝動力學和絮體結構進行了研究，在前人研究的基礎上，針對高分子絮凝黃河泥沙，對絮凝過程作了一些符合試驗條件的假設，建立了顆粒碰撞頻率表達式，應用了顆粒數量平衡方程，從而建立了絮凝過程的動力學生長模型，模型計算結果與試驗數據對比表明，二者趨勢一致，在沒有使用經驗參數的情況下基本上能夠描述黃河泥沙絮凝過程中絮體數量和尺寸分佈的變化過程；對絮體結構的研究中，應用掃描電子顯微鏡和透射電子顯微鏡對絮體進行了觀察，將絮體分為絮粒、絮團和絮網三個不同的生長階段，通過假設顆粒結合位置符西安建築科技大學博士學位論文合正四面體，建立了絮體結構模型，計算得到的模型絮體分形維數基本與試驗中的實際絮體相符，在一定程度上能夠反映高分子絮凝黃河泥沙生成的絮體結構。Roll over protective structure ( rops ) is a device which installs on out of construction vehicle. the main functions are : when the vehicle rolling over. rops can prevent the vehicle from rolling over further, and reduce the possibility of rolling vehicle injures operator ; when the vehicle traveling on freezing soil. concrete and rock, it has large resist continuous impact ability ; when the vehicle overturning rops can support the whole vehicle. arrangement of falling object protective structure ( fops ) can block objects ( such as trees, rocks ) so that supply protection for operator. this problem is that research rolling over and falling objects protective structure of bulldozer by learning research condition of rops / fops and relative lay down international standard. on the base of theory analysis. detrudes counting formula of rops / fops deformation through founding mechanics analysis model of rops / fops at the stage of elasticity and plastoelastic. and finds a set of feasible nonlinear finite element analysis counting. lt calculates rops / fops plastoelastic deforma variable of 320hp bulldozer, bulldozer has been carried out by optimizing design method
其主要功能是：當車輛滾翻時， rops能刺入未凍土壤而阻止車輛的進一步滾翻，降低滾翻的車輛對系著安全帶司機軋傷的可能性；保證rops在碰撞和沖擊變形不大的地面（如凍土、混疑土上、巖石）時，能具有相當大的抗連續沖擊能力；當車輛已經處于顛覆狀態時，已經變形的rops應能支撐住整車。落物保護裝置（簡稱fops ） ，其構件的布置方式要能遮蔽墜落的物體（如，樹木、巖石等） ，以便對司機提供適當的保護。本課題主要通過了解國內外有關對rops fops的研究情況和有關國際標準的制定，對大型推土機傾翻和落物保護裝置進行研究，在理論分析的基礎上，通過建立rops fops的力學分析模型，推導彈性、彈塑性階段rops fops變形的計算公式，建立一套可行的rops fops的非線性有限元分析計算方法。Embedded system is an application specific computer system that focuses on the application and it is based on the computer technologyjts hardware and software is cuttable. the development of embedded systems is very fast during the last ten years, furthermore, as an important part of embedded system, embedded operating system is uesed in the embedded systems more and more, especially in handheld devices and electronic devices. but the design techniques of embedded system and embedd software is still germinant, and there are no standards and universal methods about it
嵌入式系統是以應用為中心，以計算機技術為基礎，軟硬體可剪裁的專用計算機系統。近十幾年來，嵌入式系統的發展異常迅速，嵌入式操作系統作為嵌入式系統的核心，其應用也越來越廣泛，尤其在手持設備、信息家電領域更加突出。但嵌入式系統以及嵌入式軟體設計技術仍舊處于起步階段，仍舊未能形成一套完整、有效、通用的開發方法和規范。Based on the analysis of the data on global metallogeny in the framework of geodynamics and study of the processes of continental evolution and metalloeny of of sanjiang, qinling and xingan - mongolia orogenic belts, we have reconsidered the geodynamic evlution and metallogeny during indosinian to early - yanshan movement in china, and established large - scale metallogenic model on intracontinental evolution we in orogenic belts. the main results are summarized as follow. ( 1 ) systematically gathering the data about large - scale and superlarge - scale deposits in the world and drawing up the map of global tectonics and metallogeny ; finding out the segmentation of circle - pacific ocean metallogenic belt and informing that the giant deposit clusters are the prominent feature of global metallogeny
本文在總結全球大規模成礦的地球動力學背景資料基礎上，通過深入解剖和系統對比我國三江造山帶南段、東秦嶺造山帶和興蒙造山帶中南部等典型造山帶關鍵地區以陸內演化過程為核心的地球動力學演化歷史及其成礦特徵，重新認識了我國大陸印支?早燕山期的動力學演化過程及其成礦效應，建立了關于造山帶陸內演化階段主要過程中的大規模成礦模式。This dissertation focuses on the issue of the present farming organization structure in china. the research framework is that, while constructing some fundamental frame of theory for the research of farming organization structure, the study explores the theoretical basis behind the present farming organization structure in china ; while probing into general factors hindering the changing of the organization structure, the study tries to find out the deep - seated reasons which made the current farming organization structure incommensurate to the situations nowadays ; while studying the changing trend of farming organization structure in modern agriculture, the study suggests a basic orientation for the farming organization structure in this country ; while historically analyzing the developing process of the farming organization structure since 1949 in china, the study strives to find out its changing track ; then, while concretely analyzing the status quo, characteristic and adaptability of the current farming organization structure in china, the study explores its existing problems and their impacts on the agricultural development ; finally on the bases of the analyses above, the study brings forward an innovative ideas, some patterns and countermeasures for the current farming organization structure in china
研究的總體思路是：通過農業生產組織結構基本理論框架的闡釋，提出中國農業生產組織結構問題研究的理論依據；通過對生產組織結構變遷的一般影響因素的探討，分析我國現階段農業生產組織結構不合理的深層次原因；通過對現代農業中生產組織結構選擇趨勢的研究，指出現階段中國農業生產組織結構模式選擇的基本方向；通過對1949年以來我國農業生產組織結構變遷的過程進行歷史分析，找出我國農業生產組織結構變遷的歷史軌跡，以總結經驗、吸取教訓，使現階段農業生產組織結構創新少走彎路；在理論分析和歷史分析之後，具體剖析了中國農業生產組織結構的現狀、特點以及對農業發展的適應性問題，揭示現階段我國農業生產組織結構中存在的問題以及生產組織結構不合理對農業發展的影響；在上述鋪墊的基礎上，提出現階段中國農業生產組織結構創新的思路、模式以及對策，以期對解決我國農業生產組織結構中存在的問題有所助益。This paper, takes rli as an object of study, takes property rights relationship and management relationship of rural land as a main clue, takes raising the management benefit into full play of rural land and ensuring rural land sustainable utilization as objective, uses the theory of western institution economics and market economics for reference, adopts the method of study of combining macro analysis with microanalysis and combining quantitative analysis with qualitative analysis, reviews systematically the developing process of rli in china since the founding of our country and the developing tendency of rli in the world, summarizes the influence law of rli to rural land management benefit, analyses the innovative mechanis m. institutive achievement and being faced with difficult position and gauntlet of the present rli in china, and defines the objective and following principles of rli innovation proceeding from the actual conditions of our country. on the basis of these, constructs the innovative models by stages of rural land property rights institution and management institution, which accords with the market economic law and the law by stages of rural economic developing levels and gives consideration to efficiency and fair
本文以農村土地制度為研究對象，以農村土地的產權關系和經營關系為主線，以農村經濟發展水平（包括農村生產力發展水平和農村工業化、城鎮化水平）和農民的承受能力為依據，以最大限度地提高農地經營效益、確保農地資源的可持續利用為目的，借鑒西方新制度經濟學理論和市場經濟理論，採用宏觀分析與微觀分析、定量分析與定性分析、規范研究與實證研究相結合的研究方法，系統地回顧了建國后我國農地制度的演變過程及世界農地制度的演變趨勢，總結了農地制度對農地經營效益的影響規律，分析了我國現行的家庭承包經營責任制的創新機理、制度績效及其面臨的困境與挑戰，並從我國的實際出發，確定了農地制度創新的目標及應遵循的原則，在此基礎上構建符了符合市場經濟規律和農村經濟發展水平的階段性規律、兼顧效率和社會公平的階段性農地產權制度創新模式及其對應的經營制度創新模式。Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討Author made a synthetic analysis and summarization of western and chinese bibliographies, and did a further comparative research on the different behavior of their sociological thoughts in development stages, the different development way of their philosophy, unlike social background and logicality, the research result which the author got is that the western country and china have the same ecological and ethical aim of the theory of man is an integral part of nature which based on the adapting each other merits
本文對國內外相關文獻進行了綜合性的分析和總結，對比了中西方社會思潮在發展階段中的不同表現、中西方哲學的發展方向、中西方具有差異性的社會背景和思維方式，總結出中西雙方在相互吸收的基礎上，其追求的最終目標? ? 「天人合一」的生態和倫理觀的目標是一致的。Finally, it will bring about the transformation of the education mode of thinking. all these are doing a work of prerequisite cretique in educational mode of thinking, so it will lead education research methodology from abstractionism to practicalism
在完成對傳統的教育理論思維方式的關鍵制約因素? ?教育理論悖論本性看法轉換的基礎上，完成教育理論研究思維方式的轉換，開始轉向以「實踐為中介」的教育理論研究階段。When their experience grow up, their motive of inquiry is the main driving force of knowledge construction. secondly, the course of recognition can be analyzed from linear way, then we can say it consists of gestalt formation, schematizing and theory building
該模型告訴我們，在獲得經驗和具體事例的基礎上，主體進入第一種水平的知識建構階段，即格式塔的形成，然後進入圖式化，最後是理論建構。Many new forms such as prose report, spot news, and so on, marks the innovation of report form has gain achievement in this period and laid a foundation on further development
以散文式新聞、深度報道、現場短新聞、體驗式新聞為代表的一大批新聞報道樣式的出現和發展，標志著新聞文體改革取得了階段性成果，並為今後的新聞文體改革和發展奠定了基礎。In this paper, high - order accurate weighted essentially non - oscillatory ( weno ) schemes are investigated and their applications in hyperbolic conservation laws are discussed. based on this, a new weno difference scheme which based on dispersion - relation - preserving relation is developed, and representative test cases with this scheme for computational aeroacoustics ( caa ) problems has been implemented and compared in order to test capability of wave capturing ; in addition, weno schemes generally do not converge at high order in the presence of contact discontinuity of euler equations, so a conservative front tracking technique coupling weno schemes and level set method to simulate the translating density profile is presented here, and numerical simulation with this technique for representative test case has been implemented and results show the desired accuracy
本文研究了高階精度加權基本無振蕩（ weno ）格式及其在雙曲守恆律方程中的應用，在此基礎上作了兩個方面的工作：一是針對高頻聲波問題構造出一種基於保色散關系（ drp ）的weno有限差分格式，並對計算氣動聲學（ caa ）問題的代表性算例進行了大量數值實驗，比較了該格式捕捉波數的能力；另外，針對高階weno格式在處理euler方程的接觸間斷時精度有所降低的問題，研究了利用界面追蹤技術levelset方法和高階激波捕捉weno格式相結合的一種守恆追蹤方法，並且給出有代表性的密度滑移面問題的算例，得到一致高階精度的數值模擬結果。Firstly. operation principle of induction heating is introduced and the actuality of the power supply for induction heating is summarized. then, the scheme of structure of the power supply is established : uncontrolled rectifier and buck chopper constitute dc circuit. in this part, operation principle of a kind of soft switching buck chopper is presented mainly and the conclusion that the power semiconductor devices operate in soft switching is also illustrated by analysing the operation principle of all stages ; series resonant inverter is selected as inverter circuit via comparing the advantage and shortcoming of parallel resonant and series resonant. moreover. the work principle of series resonant inverter is analysed and the calculating method of the best dead time is put forward as well
文中首先介紹了感應加熱電源的工作原理並綜述了國內外的研究現狀。接下來分析並制定了電源主電路的構成方案：在對比幾種功率調節方式的基礎上選擇了不控整流加斬波調壓作為直流部分。在這部分里，重點研究了一種軟開關buck變換器，通過分析各階段的工作原理說明了開關器件如何工作在軟開關狀態；對于逆變器部分，在比較了串、並聯逆變器優缺點的基礎上選擇了串聯諧振逆變器，並詳細分析了串聯逆變器的工作原理，提出了最佳死區的計算方法。Based on these algorithms, and consider the property of the arc image, we proposed a new multi - stage algorithm. the proposed algorithm involves the class separability criterion in pattern recognition, and double - threshold method and non - maximum suppression proposed in canny operator. we apply this algorithm to the arc image, and get a better result
並在這些演算法的基礎上，基於電弧圖像的特點，提出了一種改進的多階段邊緣檢測演算法，這個演算法中應用到模式識別中的類別可分離判據的理論，並使用了canny演算法所中提出的雙閾值法和非極大值抑制方法等等。The dissertation focuses on the theory & mechanism research on life insurers ’ integrated risk management ( irm ). based on the realistic contexts and theoretical foundations of irm, the paper tentatively establishes the theoretical frameworks of value - based irm and sets up an irm model & its extended model with a step - by - step risk integration system including capital risk integration, asset - liability risk integration, strategic & business risk integration, risk management & risk management culture integration. the paper is organized in preface ( contexts analysis ), irm theoretical framework & irm model establishment ( chapter 1 - 3 ), and the model ’ s practical execution ( chapter 4 - 7 )
論文基於壽險公司整合性風險管理構架進行理論與運行研究，以公司整合性風險管理產生的背景（導論）為起點，以經濟金融理論、財務理論、風險社會與風險文化理論為理論基礎（第一章） ，建立了基於價值創造的公司整合性風險管理理論體系（第二章） ，建構壽險公司整合性風險管理模型（第三章） ，並對所建模型進行擴展運用，形成了資本風險的整合管理、資產負債風險的整合管理、戰略風險與經營風險的整合管理、風險管理與風險管理文化的整合管理（第四章至第七章）的遞階式風險整合管理體系。The equations of the mean value functions and the covariance functions are established for dynamical systems whose inputs are fuzzy stochastic processes. an existence and uniqueness theorem of ito fuzzy stochastic differential equations is proved, some explicit representations of solutions and the equations of statistical characteristics are deduced for linear fuzzy stochastic differential equations, and numerical methods to nonlinear fuzzy stochastic differential equations are proposed, the conditions for stability and observability of fuzzy linear systems are derived. the kalman filter algorithms of linear fuzzy stochastic systems are brought forward
主要成果包括：提出了模糊隨機變量協方差和反向協方差的概念；研究了二階模糊隨機變量的均方收斂性，並在此基礎上得到了均方模糊隨機分析、平穩模糊隨機過程及其譜分解的若干定理；根據均方模糊隨機分析理論，得到了輸入為模糊隨機過程的線性系統的輸出輸入統計特徵關系方程；證明了ito型模糊隨機微分方程解的存在唯一性，並給出了ito型線性模糊隨機微分方程解的表達式，統計特徵方程以及非線性模糊隨機微分方程的數值解法；得到了模糊線性系統的穩定性和可觀性條件、線性模糊隨機系統統計特徵方程和線性模糊隨機系統的kalman濾波演算法；研究了當觀測值是模糊數據時，線性回歸模型的建立。The software ansys6. 0 is used to analysis the stability of the state after construction of tongwamen bridge, linear method is used in analyzing the finite element model of the bridge, the coeffient of stability of different state after construction is given. on the basis, the effect of different factors such as the arrangement of lateral brace, the sloping angle of arch ribs, the stiffness of bridge deck system, the effect of non - orientedly conservative loadings of the hanger and tie bar etc is discussed. the different coefficients of stability of changing these factors are given, so the factors that are vital to the lateral stability of x - type arches are found, and the rationality of the methods taken to enhance the lateral stability of tongwamen bridge is evaluated
本文應用有限元分析商業軟體ansys6 . 0 ，採用線彈性方法，通過對該橋的空間有限元模型進行穩定性分析，得出其成橋運營階段各種工況下的穩定安全系數。在此基礎上，本文還通過有限元模型分析，就拱的矢跨比、吊桿（立柱）的非保向力效應、橋面系的剛度、橫撐布置形式、拱肋側傾角等因素對該橋整體穩定性的影響展開探討與研究。文中給出了各因素變化情況下的穩定安全系數，指出了對鋼管混凝土提籃拱橫向穩定性有顯著影響的因素及其合理變化范圍，並對銅瓦門大橋提高橫向穩定性的措施的經濟合理性進行了分析。There are two analytic frameworks in the model : one is three ring model in crosswise space dimension, the core ring ( spirit - mind - construction ) ; the middle ring ( behavior - system - construction ) ; the outer ring ( physicak visual construction ). the other is three phase model in vertical time dimension : root phase ( fundamental management ^ trunk phase ( middle running management ) ? crown phase ( advanced integrating management )
該模式有兩個分析框架；一是橫向空間維度「三環模式」 ：髓環?精神理念架構；中環?行為制度架構；外環?物質視覺架構；二是縱向時間維度「三階段模式」 ：根階段（基礎管理） ；干階段（中級經營管理） ；冠階段（高級整合管理） 。This paper makes a sort about concept, function, model, content, construction, implementing and valuation of teaching goals through reviewing the study in the past ten years, and the author tries to find the revelation to the new teaching goals reform and make a prospect of basic education teaching goals research
摘要筆者通過對我國近十年來教學目標研究的回顧分析，通過對教學目標的概念、功能、模式、內容、結構、實施與評價等方面的梳理，試圖尋找對現階段教學目標改革的啟示，並對現階段基礎教育教學目標研究的走向給予展望。分享友人