類型的充分性 的英文怎麼說

中文拼音 [lèixíngdechōngfēnxìng]
類型的充分性 英文
typology adequacy
  • 類 : Ⅰ名1 （許多相似或相同的事物的綜合; 種類） class; category; kind; type 2 （姓氏） a surname Ⅱ動詞...
  • 的 : 4次方是 The fourth power of 2 is direction
  • 充 : Ⅰ形容詞（滿; 充足） sufficient; full; ample Ⅱ動詞1 （裝滿; 塞住） fill; charge; stuff 2 （擔任; ...
  • 分 : 分Ⅰ名詞1. （成分） component 2. （職責和權利的限度） what is within one's duty or rights Ⅱ同 「份」Ⅲ動詞[書面語] （料想） judge
  • 性 : Ⅰ名詞1 （性格） nature; character; disposition 2 （性能; 性質） property; quality 3 （性別） sex ...
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  1. In the light of the recent work in biological models, especially in the chemostat models, the dissertation provides a systematic study on the asymptotical behaviour of some chemostat models built by delay or diffusion differential equations. the main contents and results in this dissertation are as follows : i ) the global asymptotic behavior of the chemostat model with the beddington - deangelies functional responses and time delays is studied. the conditions for the uniform persistence of the competing populations are obtained via uniform persistence of infinite dimensional systems

    本論文基於當前生物學模型，特別是恆化器模型的研究現狀，深入系統的研究了時滯和擴散方程描述的幾類恆化器系統的漸近性態，本文的主要內容包括以下幾個方面：一、研究了具有beddington - deangelies功能性反應函數的時滯恆化器模型，利用無窮維連續動力系統的一致持續生存的理論給出了兩競爭種群一致持續生存的充分條件，利用單調動力學系統得到了系統的全局漸近穩定性。
  2. In the united states, international treaties present at least four distinctive forms, and article vi, section ii of the us constitution adopts them wholesale as the supreme law of the land ; nevertheless, since 1829 the courts have come to distinguish the self - executing and non - self - executing treaties, but a large volume of cases and commentaries have controversy and confusion on the differential criteria, which has fallen into four categories in this article : intent, constitutionality, justiciability and private right of action

    首先， 《美國憲法》第六條第二款將在國內至少表現為四種不同形式的國際條約作為整體一攬子采納為全國最高的法律；但自從1829年，其司法實踐中開始區分自動執行與非自動執行兩種類型的條約，前者無須進一步採取立法或行政上的措施就能直接適用，後者反之。大量的案例和評論對於二者的區分標準充滿了爭論與困惑，本文將其分為意圖、合憲性、司法性和私人訴權四類並加以分析和評價。
  3. The author points out that right to defense of advance or follow - up performance should fall under into the category of the conventional right to defense of simultaneous performance ; there is no tenable reason for its self - existent. in order to apply the right to defense of uncertain performance to all kinds of bilateral contracts, and to impartially distribute the right in the interested parties of a contract, the system of anticipatory breach of contract should be abolished and the system of right to defense of be perfected because they overlap and conflict with each other.

    作者認為：后履行抗辯權沒有充分的獨立性理由，應當歸入傳統的同時履行抗辯權范疇之內；我國的預期違約制度和不安抗辯權制度是相互重疊和沖突的，應當廢除預期違約制度；完善不安抗辯權制度，使其適用於各種類型的雙務合同，並應將此項權利平等地賦予合同雙方當事人；為解決合同當事人期前明示毀約的問題，應當按大陸法傳統，設立預期拒絕履行制度。
  4. In the end of the paper, the development of the software is introduced and an example for floating - end heat exchanger design is given to show the usefulness of the system and the effect. the method presented in this paper makes use of database to save and manage the standard sizes data and makes use of drawing libraries to save and manager the parts and assembly drawings. the theory of fixed patterns with flexible sizes is used to generate the parts and assembly drawings

    文中提出的方法充分利用了數據庫技術對換熱器系列標準化尺寸數據進行有效的存儲與管理，利用圖庫對結構相同或相似的視圖進行分級分類存儲與管理，利用「死圖活尺寸」的圖形生成原理快捷地生成各種型號浮頭式換熱器的零部件圖和裝配圖，實現了浮頭式換熱器的輔助設計計算和自動繪圖的功能；所開發的軟體使得換熱器設計中許多實際問題得到圓滿解決，軟體開發方法具有通用性，對其它類型的換熱器輔助設計系統的開發有重要的參考價值，在該領域中將有良好的應用前景。
  5. In the second chapter, we obtain the necessary and sufficient condition where the cubic kolmogorov type system is bounded if homogeneous polynomials of degree 3 are relatively prime. and we obtain there are only four behaviours of the trajectories near the equator of the bounded cubic system if the homogeneous polynomials of degree 3 are relatively prime. in the third chapter, we study the existence and nonexistence of limit cycle for a class of bounded cubic systems

    第一章為引言；第二章，我們得到了齊三次項互素時三次kolmogorov型系統有界的充分必要條件及其在赤道上孤立奇點附近軌線的分佈情況有且僅有四種；第三章，我們研究了一類有界三次kolmogorov型系統極限環的存在性與不存在性。
  6. 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樹查詢、插入及其刪除的基本演算法；最後，文章以關系數據庫為基礎，深入分析並改進了在對象關系多媒體數據庫中的查詢處理系統，確定了選擇和連接操作的具體演算法。
  7. A sufficient condition for the existence of a solution to robust decentralized dissipative control via state feedback and via output feedback is derived in term of a set of hamilton - jacobi - issacs ( hji ) inequalities. the sufficient condition is that the robust decentralized dissipative control problem can be resovled for all admissible uncertainties, if there exists a scaling c1 storage function such that hji inequalities have nonnegative solution. the controllers constructed make the nonlinear system robust dissipative with respect to the quadratic supply rate

    基於hji不等式給出了含有不確定和干擾非線性互聯系統魯棒分散耗散控制存在的充分條件，即對于所有允許的不確定如果存在標量c ~ 1類存儲函數使得hji不等式有非負定解，那麼非線性互聯系統魯棒分散耗散控制就可獲得，並且構造的控制器使得非線性互聯系統在給定二次型供給率下具有魯棒耗散性。
  8. Now days, more and more companies adopt alliance strategy. the main motive is to rapidly flow through alliance and to find new capability of company or make full use of existing capability to improve products and service according to economic theory, the paper thinks that motive of enterprise alliance are as the follows : 1. save the cost of business, 2. take alliance as a kind of development strategy

    第二章探討了企業建立戰略聯盟的合作動機，以及企業戰略聯盟類型的決定因素，並進一步闡述了維護聯盟有效運行的規制結構及其動態性，在今天有越來越多的公司採取聯盟的戰略，其主要動機是希望通過聯盟實現快速增長，發現新公司能力或充分利用現有能力以此來改進產品和服務。
  9. Using the connectivity feature to access these existing models in rational rapid developer, an architect can push a fully developed class model down to users and give them a jumpstart on development

    使用這種在rational rapid developer訪問這些已存在模型的連接性的特性，架構師可以將一個充分被開發的類模型交付給用戶，並提供給他們在軟體開發上的開始點。
  10. In chapter 2 and 3, wave front solutions of the delay reaction - diffusion cui - lawson equation and the 2 - dimensional competitive lotka - volterra systems are obtained by constructing an upper solution and a lower solution of a second differential equation with delay. in chapter 4, it is discussed that travelling wave solutions of the delay reaction - diffusion equations whose reaction term do not satisfy quasimonotonicity condition or weak quasimonotonicity condition

    在第二章和第三章，利用一類二階時滯微分方程解的存在性理論，通過構造這類時滯微分方程的上、下解，分別研究了含時滯和擴散的cui - lawson方程和二維競爭型lotka - volterra系統，得到了它們波前解存在的充分條件。
  11. The whole paper consists of three parts : part is about general theory of the least positive period, which argues the necessary and sufficient condition for the existence of the least positive period for a periodic function, and concludes " the existence of the least positive period for that periodic function, which is continuous at least one point and not equal ever to a constant " ; part researches the least positive period for the sum of two periodic functions, followed its general expression ; part discusses non - periodicity for the compound function constructed by a periodic function and a non - periodic function, and the corresponding results

    全文分為三部份：第一部份是關于最小正周期的一般理論，得到了周期函數有最小正周期的充分必要條件，也獲得了「至少在一個點連續且不恆等於常數的周期函數必有最小正周期」的結論；第二部份分析了兩個周期函數之和的最小正周期的問題，給出了其一般表達式；第三部份討論了周期函數與某些類型的非周期函數構成的復合函數的非周期性問題，並得出相應結論。
  12. Abstract : iterative learning control is an effective approach to the control of processes that are repetitive in nature. in this paper, an open - closed - loop pi - type iterative learning control scheme for the precise tracking control of a class of discrete nonlinear time - varying systems over a finite time interval is presented. the scheme updates control input with tracking errors of both current and last iterations simultaneously. sufficient and necessary conditions which guarantee the convergence of the scheme are given and then proved with inductive method. finally, the conditions are verified with simulation results

    文摘:對于具有重復運動性質的對象，迭代學習控制是一種有效的控制方法.針對一類離散非線性時變系統在有限時域上的精確軌跡跟蹤問題，提出了一種開閉環pi型迭代學習控制律.這種迭代律同時利用系統當前的跟蹤誤差和前次迭代控制的跟蹤誤差修正控製作用.給出了所提出的學習控制律收斂的充分必要條件，並採用歸納法進行了證明.最後用模擬結果對收斂條件進行了驗證
  13. After a lot of experiments, we have found the most appropriate material and the best proportion of the two components for the type of the high - voltage isolation optocouplers are found, and concluded some original creative operation processes and rules for encapsulation technique of the high - voltage isolation are concluded the author has done some deeply research in the field of the series of the high - voltage isolation optocouplers, enlarged the application of the optocoupler and

    5 、對高壓隔離特性類光電耦合器的工藝製作、測試方法作了詳細的介紹;通過大量的實驗，找到合適的介質填充材料以及最佳的組分配比，制定灌封工藝操作詳細規范。目前，國外仍無該類型的器件面世，國內也沒有其它的單位在此領域有過或正在深入的研究。
  14. The results of landscape classification indicate that the classification of function and configuration of rural landscape is a comprehensive and applied method which can meet the requirements of both rural landscape planning and rural landscape mapping of large scale, further, embody the characteristics of rural landscape in china. its landscape units which are classified by physiognomy and land use unit not only take on obvious characteristics of spatial configurations and relative single land utilization types, but also its classification indicators can be quantified easily

    研究結果表明，該方法能夠反映實際存在的各種景觀類型，充分考慮到了影響鄉村景觀類型的自然因素和人為因素，所劃分得景觀類型單元具有明顯的空間形態特徵和相對單一的土地利用方式，邊界較易確定；能夠滿足大比例尺鄉村景觀規劃和制圖的需要，體現了鄉村景觀的特點，是一種比較綜合的實用性方法。
  15. Based on the research to the economic system which involves two equal planners, we present a kind of linear interaction programming problem ( lipp )

    第二章對一類兩人交叉決策問題提出了其線性數學模型，給出了均衡解存在的充分條件
  16. In this paper, we study the stability of a class of neutral dynamic equations on time scales, the sufficient conditions of uniform stability of this equation are obtained

    摘要討論了時標上的一類中立型非線性動力方程的穩定性，得出了該方程一致穩定的充分條件。
  17. In this paper, asymptotic behaviour of solutions for forced nonlinear differential systems with distributed delays is discussed. the reults of 6 is extended and delightfull result is obtained

    研究了一類帶有強迫項的具有連續型滯量的非線性微分方程組解的漸近性.進一步推廣了文6中的主要結果，得到了系統的解趨于零的充分條件
  18. Using geomodel 1. 0, users can ( 1 ) manage the database of geochemical data, ( 2 ) get atomic weights and molecular weights of minerals, ( 3 ) model geochemical reaction of the species in the database and, ( 4 ) obtain information about geochemistry and modeling theories. compared with analogous software, geomodel 1. 0 has followed characteristics : ( 1 ) employing database system instead of text files to save data, ( 2 ) introducing the conception of base species and using it in modeling, and ( 3 ) having a friendly and visual interface which is all in chinese

    和同類型的軟體相比較， geomodel1 . 0具有以下特點： （ 1 ）用數據庫而非文本的方式對地球化學反應參數進行管理； （ 2 ）引入基物種的概念進行地球化學反應模擬； （ 3 ）程序充分的利用計算機的智能特性，控制模擬流程，人為干預很少； （ 4 ）允許用戶對數據庫中的數據進行擴充和編輯； （ 5 ）具有簡單、明了的可視化中文界面。
  19. A sufficient condition guaranteeing the global asymptotical stability of the equilibrium point is derived for a class of neural network models with variable delay and neutral type delay

    摘要針對一類能夠由中立型變延遲非線性微分方程描述的神經網路模型，給出了全局漸近穩定的不依賴于時間延遲的充分條件。
  20. High - dimensional alternate type differential system with impulse is discussed. sufficient condition is obtained for stability of the system with constant coefficient

    摘要研究了一類多維交替型脈沖微分系統的穩定性，給出了系統的平凡解漸近穩定的充分條件。
分享友人
分享到 Line

分享到臉書