類型擴充 的英文怎麼說

中文拼音 [lèixíngkuòchōng]
類型擴充 英文
type extension
  • 類 : Ⅰ名1 （許多相似或相同的事物的綜合; 種類） class; category; kind; type 2 （姓氏） a surname Ⅱ動詞...
  • 擴 : 動詞（擴大） expand; enlarge; extend
  • 充 : Ⅰ形容詞（滿; 充足） sufficient; full; ample Ⅱ動詞1 （裝滿; 塞住） fill; charge; stuff 2 （擔任; ...
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  • 擴充 : expand; augment; enlarge; extend; strengthen
  1. 11 katoen j - p, langerak r, latella d, brinksma e. on specifying real - time systems in a causality - based setting. lecture notes in computer science 1135, 1996, pp. 385 - 405. 12 fecher h, majster - cederbaum m, wu j. refinement of actions in a real - time process algebra with a true concurrency model

    在系統模型的結構表示上，本文擴充了傳統的事件結構，使用一種帶時間信息的捆綁式事件結構來模擬系統行為，在系統模型的語言刻畫上，本文採用的是帶時間的類lotos進程代數描述語言，對于動作精化，我們同樣採用運算元的觀點，將動作精化定義為一個操作運算元。
  2. The variations in trace element contents and ratios may hold up a mirror to the lake - level fluctuations and climatic changes, which, in turn, have exerted a direct and important effect on the sequence stratigraphic development. collectively, the reservoir rocks from the yanchang formation consist dominantly of the delta front subfacies subaqueous distributary channel and channel - mouth bar microfacies and delta plain subfacies subaerial distributary channel microfacies fine - grained feldspar sandstones and siltstones. the reservoir rocks have been subjected to three stages of diagenetic and porosity evolution : ( 1 ) the porosity reduction by the mechanical compaction and chemical pressure solution during the early diagenetic stage ; ( 2 ) the porosity increase by the dissolution during the a substage of the late diagenetic stage, and ( 3 ) the porosity reduction by the cementation and filling during the b substage of the late diagenetic stage

    系統的儲層特徵研究表明，該區延長組儲層成因類型主要為三角洲前緣水下分流河道、河口砂壩及三角洲平原水上分流河道微相細粒長石砂巖、粉砂巖；儲層巖石經歷了壓實，膠結，溶蝕等成巖作用，歷經早成巖機械壓實和化學壓溶孔隙縮小期、晚成巖a亞期溶蝕作用孔隙擴大期及晚成巖a亞期（ b亞期）膠結充填孔隙縮小期三個成巖-孔隙演化階段；儲層物性總體上具有較低孔滲、低孔滲的特點，孔隙類型主要為粒間溶孔、殘余粒間孔隙、粒內溶孔、晶間孔及晶間溶孔，裂縫不發育，儲集巖排驅壓力和中值壓力較高，孔隙結構類型以細小孔-微孔隙，微細喉-微喉型為主。
  3. The following is the main content of the study : first, as known to all, the " bidding situation " that includes the factors must be considered during the bidding procedure in construction industry is always hard to make clear. the paper uses the method of layer contribution analysis to solve the variable selection problem in the bidding procedure for the first time. on the one hand, the difficulty of setting the right function during the modeling procedure is avoided, and on the other hand, the types of function in regressive modeling are extended, which makes the study of variable selection is more general

    全文主要的研究內容和研究成果概括如下：針對建築行業投標報價過程中難以確定「投標形勢」的難題，首次將層次貢獻分析法應用於投標報價過程中的變量選擇問題，一方面避免了在建模過程中如何正確設定函數形式的困難，另一方面也擴充了回歸建模研究中的函數類型，使變量選擇研究更具有一般性，模擬結果表明：使用層次貢獻分析法刪減變量后的投標報價模型更加符合實際的報價需要。
  4. With the development of the network and the multi - processor system, the research, simulation and the impemeni of the system - level fault diagnosis which is the very important means to increase the reliability of the system, are becoming more and more important. on the system - leve1 fault diagnosis, based on the group theory of system - level fault diagnosis that has been put forward by pro f zhang, the paper constructs newly the theory bases, improves on the matrix method, reinforces and consummates group arithmetic of all kinds of test mode, for the first time, analyses and discusses the equation solution of all kinds of models, so al1 the consistent fault patterns ( cfp ) could be found, straightly and high efficiently, even if the sufficient and necessary condition of t - diagnosable is dissatisfied and the complexity of system - level fault diagnosis is greatly decreased, especialy in strong t - diagnosabl6 system. last the simulation system ' s function has been extended and the application hotspot and the development trend have been disscussed

    本人在張大方教授等人提出的基於集團的系統級故障診斷的理論基礎上，重新構建了系統級故障診斷的理論基礎，定義了系統級故障診斷測試模型的三值表示；改進了系統級故障診斷的矩陣方法，重新定義了測試矩陣、鄰接矩陣、結點對、結點對的相連運算、極大準集團和斜加矩陣，由此能直觀、簡便地生成集團和極大獨立點集；補充和完善了各類測試模型的系統級故障診斷的集團演算法，通過定義集團測試邊和絕對故障集，簡化了集團診斷圖，由此能較易地找到所有的相容故障模式，即使不滿足t -可診斷性，大大減少了系統級故障診斷的復雜度，尤其是對強t -可診斷系統；首次分析探討了各類測試模型的方程解決，由此從另一角度能系統地、高效率地求出所有的相容故障模式（ cfp ） ：擴充了系統級故障診斷模擬系統的功能，快速、直觀和隨機地模擬實驗運行環境，進行清晰和正確的診斷，同時提供大量的實驗數據用於理論研究，優化演算法和設計。
  5. Applying the basic theories of spatial data mining and geomorphology, taking the loess plateau of north shaanxi province, china as the research area, this dissertation explored the theories and systematic structures of geomorphologic data mining and acknowledge discovery from dems, ascertained the systematic structures of topographic factors and synthetic topographic acknowledge, as well as systemically summarized mining algorithms from dems. the author pa id more attention also to analyze the principle and algorithm of flow length, curvature, relief, the earth ' s surface incision and gully density. in this research, the elementary constitutes and mining algorithms of regional character acknowledge in the loess plateau were probed

    本研究在廣泛總結前人研究成果與研究經驗的基礎上，利用空間數據挖掘和地形地貌學的基本理論，以陜北黃土高原多地貌類型區為實驗樣區，以1 10000比例尺dem為樣本數據，探討了dem中地形地貌數據挖掘與知識發現的理論方法和體系結構；確定了宏觀和微觀地形因子、地形綜合特徵知識的體系結構；系統總結了dem基本地形因子的提取演算法，並重點對坡長、曲率、地形的起伏度、切割深度和溝壑密度因子提取的原理與演算法作了深入的分析；提出了黃土高原地區區域特徵知識的基本構成及其系統完整、科學可行的挖掘提取演算法；擴充了arcviewgis軟體平臺中dem空間分析的基本功能；實現了以delphi7 . 0為平臺的地形信息輔助挖掘系統的設計與開發；完成了對黃土高原多地貌類型區（樣區）地形信息空間分異特徵的分析。
  6. L. a. zadeh, a famous american electronic engineering and cybernetics scientist with profound insight, played emphasis on this kind of problem and published < < fuzzy sets > > for resolving it in 1965. he amended and extended set theory - the basis of modern mathematics with a bold hand and brought forward the thinking of using fuzzy set as a mathematical model to representing fuzzy business

    美國著名的電子工程學家和控制論專家扎德（ l . a . zadeh ）是位很有見識的科學家，他正視並為解決這類問題於1965年，發表了《模糊集合》一文，大膽地對現代數學的基石?集合論進行修改和擴充，提出了用模糊集合（ fuzzyset ）作為表現模糊事物的數學模型。
  7. Based on plenty of investigations and researches, the thesis developed lots of lively, vivid, visual integrative monitor and alarm interfaces with excellent interactive quality by processing graphical edit software in the integrative monitoring and alarming system. the thesis managed to make them to be an ordinal, clear and distinct system, by programming and designing as a whole, arranging and organizing systematically

    疏浚模擬訓練器集中監控報警系統以國產1750m ~ 3 h絞吸式挖泥船集中監控報警系統為模擬母型，在大量調查研究基礎上，通過對各種監控數據、報警提示適當取捨、擴充，並進行總體規劃設計，經過分門別類地編排組織，採用過程圖形編輯軟體開發了大量生動、形象、直觀、交互性強的集中監控報警界面，使之組成脈絡分明、層次清晰的有序系統。
  8. On the aspect of data model, based on improving and extending the gdf data model, the data model of sde was put forwad. the data model can express multi - section data and semantic relations between different feature layers. it support segment attributions, so can express a segmental attribution of a line feature

    在數據模型方面，在gdf數據模型的基礎上進行了改進和擴充，提出了sde的數據模型，該模型具有多圖幅數據連續性表達、能表達不同層要素之間語義關系、支持段屬性，能夠表達線要素屬性上某一段屬性、支持多媒體數據類型等優點，並對數據庫中矢量數據的存放方式作了比較實驗。
  9. Encouraged by the results, renewed experiments at these centres of work and new experiments at more number of centres representing different agroclimatic regions and involving different crop rotations and production factors were initiated

    受到這些結果的鼓舞，除在這些試驗中心進一步試驗外，又擴充了幾個試驗中心，它們代表不同的農業氣象類型區域，包括不同的作物輪作及不同的生產因素。
  10. Existent automatic grading model of programs can not deal with the programs with structural body. in this paper, we study the syntax and concept of structural body based on an existed model, and improve the original model in the following aspects : increasing the middle representation form of structural body in analysis of morphology and syntax and system dependence graph and abstract syntax tree, adding standardization rules, mainly including type definition, nesting structure, initialization, function invocation, renaming and sequence of program sentence, besides standardization rules of bit operation and program with enumeration, enhancing the function of inspecting syntax error and improving matching strategies

    本文在原有的編程題自動評分模型的基礎上，對結構體的語法結構和實現原理進行研究，並在以下幾個方面完善原有模型:在詞法和語法分析、程序的系統依賴圖建立和抽象語法樹生成三個方面增加結構體類型的中間表示形式;擴充程序的標準化規則，主要包括類型定義標準化、結構體嵌套結構標準化、結構體初始化的標準化、結構體作為函數參數時函數調用標準化、結構體變量名稱標準化、結構體語句排列順序標準化等等;另外，還增加了位運算標準化、枚舉標準化以及文件的處理;增強學生程序中語法錯誤的檢測和改進程序匹配策略。
  11. With respect to extension of rough set theory under incomplete information systems, rough set modal based on class similarity relation is proposed in this thesis, this modal can reclassify to objects through equivalence partition of domain values

    在不完備系統下的粗糙集理論的擴充方面，提出了一種類相似關系的粗糙集模型，該模型通過對域值的等價劃分，可對對象進行重新分類。
  12. I study mainly the storage of record and object, and bring forward the method of storage when the instance of object is embodied inside of record. 3 ) in the aspect of indexing, i presented a method that is generalized b - tree ( gbt ) and combining technique of founction template of c + + build the universal algorithm of queries, insert and delete. 4 ) finally, i analyze deeply and improve the query processing system of ormdbms, and confirm performance algorithm of linking and queries based on relational database. management system ( rdbms )

    在系統結構和特性中分析了系統所採用的兩層體系結構，並且詳細探討了在設計和實現數據庫時所涉及到的幾個主要問題：支持復雜對象、類型擴充、繼承機制和規則系統等；在存儲機制的討論中，主要研究了記錄和對象以及包含了對象實例記錄的存儲方法；在索引技術研究中，本文提出了類屬b樹的索引方法，通過c + +的函數模板技術給出了通用類屬b樹查詢、插入及其刪除的基本演算法；最後，文章以關系數據庫為基礎，深入分析並改進了在對象關系多媒體數據庫中的查詢處理系統，確定了選擇和連接操作的具體演算法。
  13. None of the current still - image compression and coding standards can match all the new requirements of image processing, such as compression, roi coding, robustness, different types of still images, interactivity, security, expansion and open architecture. however, by using new techniques and depending on its new features, jpeg 2000 can address all the needs

    本文的立題意義在於利用jpeg2000具有的特性和採用的新技術，解決包括這些壓縮、 roi編碼、健壯性、多種圖像類型、交互性、安全性、可擴充性和開放性等新的圖像應用領域的不同需求。
  14. The software of data acquisition and analysis on radar simulation testing system in this subject can extend the signal types and the testing methods, and meet the requirement of the users

    本課題開發的某雷達模擬試驗數據錄取與分析系統軟體可以根據試驗任務的不同，擴充採集信號類型，擴充試驗方法，滿足了用戶的需求。
  15. Gets or sets a string that contains the codec s multipurpose internet mail extensions mime type

    獲取或設置包含編碼解碼器的多用途網際郵件擴充協議（ mime ）類型的字元串。
  16. Mime ( multipurpose i nternet m ail e xtensions ) is an internet standard for describes message content types

    Mime （多用途的網際郵件擴充協議）是用於描述信息內容類型的國際標準。
  17. After researching deep into the building and combination on model based on database, the author puts forth a search algorithm of data mining by use of prototype library and a data - clustering algorithm on the basis of expanded cf - tree

    本文對基於數據庫的模型生成和模型組合作了較深入的研究，給出了基於原型庫的數據開采搜索演算法和基於擴充cf -樹數據聚類演算法。
  18. At first reviewing the history of strategy management ; on the basis of analyzing the external environment and industry competition situation of this enterprise and analyzing its advantages and disadvantages. internal abilities, the paper points out the suitable development strategy for this enterprise - - the single - crop farming strategy concentrating its attention on piston ' s research and development producing and selling ; it should take advantage of established market network and good reputation on brand and select the style of initiative attack market leader strategy as its basic strategy ; meanwhile, it suggests that the enterprise should cultivate its own new core competence in the field of the piston ' s researching & designing rely on japanese and german technique ; according to the specific product ' s marketing status, it should acquire and maintain competitive advantages by adopting the low cost strategy and differentia strategy on the different products ; quicken the product configuration adjustment, enlarge the productivity of diesel oil piston ; it should establish strategy cooperation partnership with those strong domestic and foreign main engine manufacture enterprises. finally, the paper gives suggestions on organization structure system innovation, human resource management and exploitation, market management, quality management, information construction in the course of the enterprise strategy being implemented

    首先回顧了戰略管理理論的發展演變歷程；然後通過對該公司的宏觀環境、行業競爭態勢以及企業的優劣勢、內部能力等方面的分析，在此基礎上提出了適合該企業發展的戰略? ?專注于活塞產品的研製、開發、生產、銷售的單一經營戰略；充分發揮企業現有的在營銷、品牌方面的優勢，選擇積極進攻類型的市場領先者戰略作為其基礎戰略；並且提出了依託來自日本和德國的先進技術，培育企業在活塞產品設計、開發方面的新的核心競爭力的思路；根據產品市場的具體狀況在不同的產品線上分別採取成本領先及差異化戰略獲取和保持競爭優勢；加快產品結構調整，擴張柴油機活塞的生產能力；與實力強大的國內外主機企業建立戰略協作夥伴關系；最後對企業戰略實施中的組織機構、制度創新、人力資源管理與開發、市場營銷管理、質量管理、信息化建設等重要問題提出了自己的見解和建議。
  19. This paper concisely and systematically introduces the concept of semiotics and architectural semiotic theory. meantime, it extends the theory with the trend of contemporary architecture and semiotics aesthetics. moreover, the dissertation introduces the theory on how to make up new architectural symbols ( archetypics, gestalt, typology ) and almost forms a complete semiotic system

    論文簡明、系統地介紹了符號學的一些概念和建築符號理論體系，結合當代西方建築發展趨勢和符號美學的觀點對現代符號理論體系進行擴充，並介紹了建築符號構建的基礎理論（原型學、完形學和類型學） ，以形成較為完整的建築符號理論體系。
  20. The work includes : extending value - passing ccs to a system description language with strict typing rules ; extending accordingly the definition and generation rules of the basic stga, which makes it suitable for modeling real systems

    主要工作如下： ?擴展傳值ccs使其成為有嚴格類型規則的易於使用的系統描述語言、擴充了stga的定義和生成規則使其適于作為實際系統的計算模型。
分享友人
分享到 Line

分享到臉書