類型推論 的英文怎麼說

中文拼音 [lèixíngtuīlún]
類型推論 英文
type inference
  • 類 : Ⅰ名1 （許多相似或相同的事物的綜合; 種類） class; category; kind; type 2 （姓氏） a surname Ⅱ動詞...
  • 推 : 動詞1 （向外用力使物體移動） push; shove 2 （磨或碾） turn a mill or grindstone; grind 3 （剪或削...
  • 論 : 論名詞（記錄孔子及其門徒的言行的「論語」） the analects of confucius
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  • 推論 : ratiocination; sequitur; inference; triangulation; extrapolation; deduction; corollary
  1. For this purpos, from the point of the log geology, aimed at the actuality of the current fractured reservoir log geology interpretation and evaluation, based on synthetical analysis of the current domestic and foreign fruit of fractal dimension investigation of reservoir fracture, using the method and technique of fractal dimension, through the further discussion of the fractal dimension characteristics of m index and n index in the log interpretation archie model in a sample way and through the theoretic reasoning to the fractal dimension dfa and m index of fractured reservoir interval ' s log curve, according to the geophysical signification of the fractal dimension dfa of fractured reservoir interval ' s log curve shape : the more complicated the change of the curve shape is, the larger the its dfa value is, then the more complicated space structure of fracture and pore, then the higher value of m index of space structure of fracture and pore, and so on, the text propounds an improved method, based on box dimension, of covering log curve with scale grid, and by programming computes the dfa and its m index value of fractured reservoir interval ' s log curve, for instance, ac and rt curve, ect, then further puts this technique into application investigation, and makes analysis of application effects in the reservoirs located in l area of qx oil field from three aspects : 1. the dfa and its m index value of fractured reservoir interval ' s log curve, for instance, ac and rt curve, ect, which are derived from computing, is used to identify reservoir type by crossplotting m index with the product df _ acrt of fractal dimension of acoustical wave log curve and restivity log curve and by experiential discriminance plate of reservoir type in l area of qx oil field

    因此，對該區裂縫性儲集層的類型識別、孔滲特徵的測井地質解釋以及儲層裂縫的發育和分佈規律進行深入的研究便成為本文研究的出發點。為此，本文從測井地質的角度，針對當前裂縫性儲層測井地質解釋與評價的現狀，在綜合分析當前國內外儲層裂縫的分形分維研究成果的基礎上，利用分形分維方法和技術，通過對archie測井解釋模型中的m指數、 n指數的分形分維特性的深入淺出的論述以及裂縫性儲層段測井曲線分維d _ （ fa ）與m指數的理論推導，根據裂縫性儲層測井曲線形態分維值的地球物理意義? ?曲線變化越復雜，則其分維值d _ （ fa ）越大、裂縫孔隙空間結構越復雜、裂縫孔隙空間結構指數m值越高等特徵，提出了改進的基於盒維數的測井曲線網格覆蓋法，編程計算了裂縫性儲層段常規測井曲線（如聲波和電阻率曲線）上分形分維值及其m指數值，進而從以下三個方面對qx油田l區塊的裂縫油藏進行應用研究，效果十分理想： 1將計算得到的可變的m指數與聲波和電阻率分維之積df _ acrt進行交繪，採用儲層分維值分類技術統計分析這些參數變化的規律，並結合qx油田l區塊儲層類型經驗判別圖版，從而實現qx油田l區塊下白堊統的裂縫性儲層的類型識別。
  2. The karyotype of caragana microphylla lam can be espressed as 2n = 16 = 16m ( 4sat ) ; the chromosome number of c. intermedia kuang et h. c. fu is 2n = 18. the karyotype of c. intermedia kuang et h. c. fu can be espressed as 2n = 18 = 16m ( 4sat ) + 2m ; the chromosome number of c. arborescens ( amm. ) lam is 2n = 20. the karyotype of c. arborescens ( amm. ) lam can be espressed as 2n = 20 = 20m ( 4sat ) ; from the conclusion one and two, we can guess : the c. intermedia kuang et h. c. fu ' may be the hybrid or intermediary genve between caragana microphlla lam and c. arborescens ( amm ) lam, also may be have different haploid chromosome number

    （ 2 ）可得出三種染色體核型：小葉錦雞兒的染色體數為2n = 16 ，其核型公式為2n = 16 = 16m （ 4sat ） ；中間錦雞兒的染色體數為2n = 18 ，其核型公式為2n = 18 = 16m （ 4sat ） + 2m ；樹錦雞兒的染色體數為2n = 20 ，其核型公式為2n = 20 = 20m （ 4sat ） ，結合形態學所得結論，可推測：中間錦雞兒為小葉錦雞兒和樹錦雞兒的中間類型或雜交種，也可能是具有遞增染色體基數的不同種。
  3. In the end, by the logic theory of analogism, the paper gets the logistics optimized model of operation entropy in discrete manufacturing system of job - shop ordering type

    最後，利用類比推理的邏輯學理論得出單件小批訂貨型離散製造系統物流優化運行熵模型。
  4. The article explained the formation and development of the category study from philosophy and psychology, 4 points of view about perceptual classifying, classifying and clustering in methodology, connection between design solution and analogism

    論文從哲學和認知心理學的角度闡述了類別研究的形成與發展，以及關於人的知覺分類行為的四種觀點（規則觀、原型觀、樣例觀、理論觀） 、方法學上的分類與聚類、設計求解與類比推理的關系。
  5. Because of its extensive application and underdeveloped research level in our country, this paper establish the numerical model of blank cartridge ejecting device, the whole process from blank cartridge burning to eject missile is analyzed by classic interior ballistic theory and gas dynamics. several simulation examples are given, and the effect of different parameter structure on ejecting device is discussed

    鑒于這類系統在我國的廣泛應用與相對滯后的研究水平，本文針對三種類型五種型號的掛彈鉤建立了拋放彈彈射機構的數學物理計算模型，用經典內彈道和氣體動力學理論分析了火藥彈燃燒到彈射活塞完全推離懸掛物的整個過程。
  6. Taking a view of pure time field, this paper presents dissolvable signals and basic concepts of sampling ; and also gives the very condition of discrete of signal ; this paper uses linear algebra to analysis this kind of signal and then gives some results and relevant deductions ; based on these results, 1 made a further step to analysis some typical band - limited signals in order to proof the coherence of my theory of dissolvable signal to the typical sampling theory ; i made some preliminary study about the feasibility of sampling and recovering of this kind of signal

    本文從純時域角度出發，給出了可分解信號及其采樣的基本概念；也指出了信號可離散化的條件；利用線性代數理論給出了對這類信號進行采樣的分析理論及相應的推論；並用這些結論對典型的帶限信號進行了分析，證明可分解信號采樣定理與經典采樣理論的一致性；初步探討了對這類信號的實行采樣與恢復的工程實現問題。
  7. For a soil or rock of water - lacked, a heat transfer theoretical model is developed, which is a steady or unsteady, the results show that reservoir temperature, thermal diffusion coefficient, inlet temperature, flow rate of and run time of ground source heat pumps have an effect directly on heat transfer process of dhe. it can deduce that intermit running is favorable for this type of soils and rocks

    對于貧含水地下巖土層建立了穩態與非穩態傳熱的理論模型，分析結果表明，巖土層的熱儲溫度、導溫系數、埋地換熱器進水溫度、流量以及地源熱泵系統的運行時間或開停機比，都對埋地換熱器的傳熱過程產生直接影響，可以推斷，對于該類型巖土層的地源熱泵系統，採用間歇運行將是有利的。
  8. The development course of mathematical conjecture is demonstrated from its definition, origination, categorical character, resolvent using a method of historical analysis, the conclusion shows that mathematical conjecture is a convenient scientific method and an important thought form. to sum up, the study and the settlement of mathematical conjecture not only richen mathematical theory, but creat a lot of new methods, furthermore, it promotes the research on mathematical methodology and advance a development of mathmatics itself

    研究了數學猜想及其對數學發展的影響.採用歷史分析的方法，從數學猜想的定義、來源、提出方法、類型和解決的主要方法等方面論述了數學猜想的歷程和發展.數學猜想是數學研究的一種常用科學方法，又是數學發展的一種重要思維形式，研究和解決數學猜想，不但可以豐富數學理論，還會創造出許多新方法，促進數學方法論的研究和推動數學的發展
  9. In this thesis, four types of steel beam - rectangular cfst column connections, including normal welded flange plate ( wfp ) connection, bolted flange plate ( bfp ) connection, stiffened end plate ( sep ) connection and double split - tee plate ( dst ) connection, were designed based on the configuration of steel frame connection. total 8 models, 2 models of each kind of connections were tested under low - reversed cyclic loading at the end of cfst columns. the relationships between force and displacement at the end of columns, the relationships between the moment and rotation of the joints, degradations of strength and stiffness, ductility, failure mechanism and failure characteristics of these four connections under different axial - compression ratios were presented

    本文借鑒鋼框架節點構造，設計了四種類型矩形鋼管混凝土柱與鋼梁連接節點，包括常規栓焊（ wfp ）節點、翼緣全螺栓連接（ bfp ）節點、雙t板連接（ dst ）節點以及加勁端板連接（ sep ）節點，進行了四類節點8個模型試件在柱端低周反復荷載作用下的抗震性能試驗研究，比較了不同軸壓比下節點的滯回性能、強度與剛度退化、延性、破壞機理與破壞特徵，主要結論有： 1 、節點的位移滯回曲線與轉角滯回曲線為塊型分佈，沒有或略有捏攏現象，耗能能力強； 2 、軸壓比對節點滯回曲線有顯著影響，全部節點都有顯著的剛度退化； 3 、位移與轉角骨架曲線在峰值荷載後有較長的水平或下降段，具有良好的延性性能； 4 、從整體抗震性能上看，翼緣全螺栓連接節點、雙t板連接與加勁端板連接節點都優于常規栓焊節點，可在實際工程中加以推廣。
  10. It was through precise mathematical deduction, data imitation, and analysis to experimental data that this topic is studied. this dissertation is theoretically instructive and practically useful, to a certain extent, to the traveling bubble cavitation noise around a schiebe body

    全文通過嚴密的數學推導，模擬和實驗數據分析等方法實現對這一課題的研究，對于回轉體流動泡類型的空化噪聲具有一定的理論指導意義和現實應用價值。
  11. Mathematical models of categorization and inference

    歸類及推理研究的幾個數學理論模型
  12. Understanding the political and economic incorporation of migrants in both their communities of origin and destination is facilitated by disaggregating the types of political borders, types of nationalism, and levels of identification that have been conflated in the framework of " transnationalism "

    對于移民起源地及目的地的社會從移民的政治及經濟結合方面加以理解，是由邊界類型、民族主義類型以及認同的級別進行分解而推動的，而此種認同級別已被合併在「跨國論」的框架之中。
  13. Corrosion action slope cable used in cable - stayed bridge in different corrosion medium such as synthesis sea water, solution nacl and simulation acid rain are studied by electrochemical method, for example, linear polarization, tafel extrapolation and ac impedance method

    對此，本論文以人造海水、 nacl溶液、模擬酸雨作為腐蝕介質，針對不同類型的鋼絞線，採用線性極化法、 tafel外推法和交流阻抗法等電化學方法研究斜拉橋拉索結構中鋼絞線在不同介質中的腐蝕行為。
  14. To adapt the circumstance in which the crankshaft torsional vibration generally exists, the new method ( tvrs method ) in which the cylinder power is inversely solved according to the torsional vibration curve is put forward and deduced in this paper, that is, the average effective pressure of each cylinder i. e. power condition of each cylinder is estimated based on a crankshaft torsional vibration curve according to the elasticity model of the actual shafting of engine and by use of the i. c. engine dynamics, the numerical calculations and the signal theory etc. although the computing workload is more, the method makes full use of the now available data of the torsional vibration of the i. c. engine, and can be used to all kinds of i. c. engine on any kind of operating condition, so it has higher application value

    為適應內燃機普遍存在曲軸扭振的情況，本文提出並推導了利用扭振信號反算的新方法（ tvrs法） ，即採用軸系中某一測點的扭轉振動信號，按軸系實際的彈性模型，依據內燃機動力學、數值計算方法和信號理論等，反算各缸的平均有效壓力，定量判斷各缸的作功狀況。此法充分利用內燃機現有的扭振資料，雖然計算工作量較大，但普遍適用於各種類型各種工況的內燃機，有較高的實用價值。
  15. In the end, i discussed the formation and evolution character of long sequence cycles, which had close relation to asynchronous thrust action of longmen mountains and micang - daba mountains

    詳細討論了短期、中期和長期旋迴層序的結構類型、沉積序列、疊加樣式和分佈模式，最後探討了長期旋迴層序的形成、演化特徵以及與龍門山和米倉山?大巴山兩構造帶非同步逆沖推覆作用的關系。
  16. Based on the results of classification of cultivated soybean varieties in china, the indexes of genetic diversity about the various soybean types in various provinces were calculated. the centre of genetic diversity and the centre of origination were located

    利用中國大豆品種資源數據庫所記錄的各品種質量性狀和數量性狀，並結合中國大豆品種資源分類研究結果，用群體遺傳學研究方法計算我國各省（市、區）大豆品種資源各種類型的遺傳多樣性指數，分析中國大豆品種資源的遺傳多樣性中心，並依此推論中國栽培大豆的起源中心。
  17. In chapter 5, a long - period fiber grating with rectangular index modulation is studied by the coupled - mode theory. the couple - mode equations that describe the mode coupling in this kind of grating are presented

    本章仍以耦合模理論為基礎，首先對該類型光柵的折射率微擾進行展開，進而推導其相應的耦合系數和建立耦合模方程。
  18. We put the emphases on the soft output viterbi algorithm ( sova ), which is one of turbo code ’ s decoding algorithms, and presents the derivation and computation step of the sova decoding algorithm. after presenting sova and map decoding algorithms and analyzing four kinds of decoding algorithms, the paper makes a comparison among the different decoding algorithms by emulation analysis, and analyzes the time complexity of various algorithms, and then contrasts them. in the last part of this paper, according to the criterion recommended by the consultative committee for space data systems ( ccsds ), including code rate,

    根據空間數據系統顧問委員會（ ccsds ）為turbo碼應用於深空通信系統推薦的標準，包括碼率、碼塊大小、分量碼類型、約束長度、碼生成多項式，以及交織器的選擇等參數的建議以及sova譯碼演算法的理論基礎，設計了sova演算法的實現結構，通過模擬驗證了本文所採用的turbo碼的性能，從而證明turbo碼確實是一種很好的通道糾錯編碼方式，它適用於要求功耗低或信噪比低的深空通信系統中。
  19. The conformal microstrip antenna with some unique character has been applied in many fields, especialy on speedy objects. in this paper, an efficient fdtd algorithm is introduced to analyse the microstrip antenna. firstly, the fdtd formula in descartes coordinate system and in cylindrical coordinate system are obtained from the time _ dependent maxwell equations using the yee algorithm in a calculating region where the dielectric parameters are independent of time and space. the choice of the space discretization units and the time discretization interval are discussed which are decided by the accuracy and stability respectively. the shape and setup of the excitation source are discussed too. the excitation source is chosen to be gaussian pulse in shape. secondly, the mur ' s first - order and second - order boundary condition are deduced in cylindrical coordinate system. the methods of transforming radiation fields from near zone to far zone in the frequency domain and in the time domain are presented when fdtd is applied to analyse the characteristics of far zone. finally, three kinds of microstrip antennas are analysed. they are a slot antenna that lies on a plane ground of a microstrip, a slot antenna that lies on a cylindrical ground of a microstrip and a microstrip line _ fed aperture coupled stacked rectangular patch antenna in cylindrical coordinate system

    本文從麥克斯韋旋度方程出發，建立了笛卡兒坐標下無源空間中均勻無耗媒質的fdtd基本方程和圓柱坐標下無源空間中均勻無耗媒質的fdtd基本方程，詳細討論了fdtd法計算中時間步長和空間步長的選取原則以及激勵源的類型和設置；推導了mur一階和二階邊界條件在圓柱坐標下的差分格式；給出了在用fdtd法計算天線的遠場輻射特性時必需採用的頻域和時域近場遠場變換技術；最後用fdtd法計算了平面微帶縫隙天線、柱面共形微帶縫隙天線和柱面共形微帶層疊天線的輸入阻抗和遠區輻射場，並分析了天線的一些參數的變化對天線輸入阻抗的影響，得出了一些有用的結論。
  20. A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory

    本文提出一種新的基於類型理論邏輯框架lf的特定論域推理途徑lftop 。在此途徑下，用戶可以不必是類型理論方面的專家。
分享友人
分享到 Line

分享到臉書