有限可定義性 的英文怎麼說

中文拼音 [yǒuxiàndìngxìng]
有限可定義性 英文
finite definability
  • : 有副詞[書面語] (表示整數之外再加零數): 30 有 5 thirty-five; 10 有 5年 fifteen years
  • : Ⅰ名詞(指定的范圍; 限度) limit; bounds Ⅱ動詞(指定范圍, 不許超過) set a limit; limit; restrict
  • : Ⅰ形容詞1 (平靜; 穩定) calm; stable 2 (已經確定的; 不改變的) fixed; settled; established Ⅱ動詞...
  • : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
  • : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
  • 有限 : limited; restricted; finite; a little; not much
  1. Plant endemism is the key problem in floristic study. analysis of endemism in a flora has significant implications in demonstrating floristic richness and diversity, the relationship between plants and their environment, and also in conserving biodiversity of the flora. in view of the situation that most of the past studies on endemism were qualitative, this study is the first tentative approach to the introduction of quantitative indices to the analysis of floristic endemism, with an purpose to push the study of endemism from qualitative to quantitative. four quantitative indices are introduced, i. e. level of endemism ( l ), coefficient of endemism ( c ), degree of endemism ( d ) and general index of endemism ( a ). mathematical formulae have been given to each of the above indices and explanations for them have been presented, and the scope of their use in floristic studies has been delimited and exemplified in this paper. the result shows that they are of good applicability. the proposed indices embody full information of plant systematics and plant geography. with the aid of qualitative analysis, the application of the proposed indices will improve the comparability and precision of endemism study in floristics

    過去關特現象的研究主要的分析,和精確較差.該文嘗試引入特現象的量化指標,以推動特現象的分析研究從水平向量水平邁進.所引入的4種量化指標分別是:特水平、特系數、特度以及特綜合指數.對每種量化指標都給出了數學表達式,說明了其區系學意,例證和界了這些指標在植物區系分析中的應用,結果表明,它們良好的適用.這些指標充分地包含了植物系統學和植物區系學的信息.結合分析,這些指標的應用將增強植物區系研究的,使植物區系特現象的分析達到更精確的水平
  2. In fact, the deep overlapping of the wavepacket of particles implies new interactions which are technically called nonlinear ( in the sense of depending on powers of the wavefunctions bigger than one ), nonlocal ( in the sense that they are extended over the volume of wave - overlappings which cannot be evidently reduced to finite number of isolated points ), as well as nonpotential ( in the sense of being of contact / zero { range type for which the notion of action - at - a - distance potential has no mathematical or physical meaning of any type }

    事實上,粒子相互之間深深重疊的波包意味著新型的相互作用,技術上它稱之為非線為它們取決于波函數大於1次的幕而,為非局部意為它們的延伸超越了波重疊的體積,使其顯然無法再縮小到數孤立點,以及為非潛能意為相互接觸零距離,在這種情況下一距離下作用的潛勢不再任何數學上或物理上的意
  3. The pointer is said to have restricted mutability because the defining type controls whether the value can be mutated

    指針具,因為類型控制了值是否變。
  4. In order to make the research of this paper more practicable, the paper combines the actual situation of market - oriented interest rate of china, compares and analyses the base leading rate affixation model, the cost plus pricing model, and the customer profitability analysis model, which are all very popular abroad. based on this, and according to the basic principles of lending pricing, the paper introduces the concept of loan - term compound interest, and constructs a lending pricing model on " the mobile choice between cost and market price ", which is practicable under the condition of market - oriented interest rate

    為使本文的研究更實踐意,本文結合中國利率市場化趨勢,比較分析了國外普遍採用的「基準利率加點」 、 「成本加成」 、 「客戶盈利分析」等貸款價模式在中國的適用,並在此基礎上,根據貸款價的基本原則,引入貸款期復利概念,構建了利率市場化條件下具實際操作的「成本與市價相機訣擇」的貸款價模型。
  5. The table will write down all about the electronic records during their life period. the content noted in the table will be the only basis on original and reality " testing of electronic records ". the major task of the second levels is to build the tight filing rules, moreover, combined the " life cycle table ", to build the test system to assure the original and the reality of the information during filing ; the assignment of the third level is to build testing and restoring measures of the original and the reality. by maintaining the media of electronic archives or building information file of electronic archives etc, electronic archives can maintain their available ^ visuak understandable during their deadline ; meanwhile, to build the safe control of the system through the workers dispersed authorization and deterring skills, to formulate the standards of the protective system, such as the standard of the basic structure of united electronic records ^ electronic archives. all of this is important to protect the original and the reality of electronic records and electronic archives

    「生命周期表」所記錄的內容將作為電子文件歸檔時檢驗原始、真實的唯一依據;電子文件歸檔管理層中的主要任務是要建立起嚴密的歸檔制度,同時結合「文件生命同期表」建立檢驗措施保證電子文件在歸檔過程中信息內容的原始、真實;電子檔案保管層中主要任務是建立電子檔案數據原始、真實檢驗及原始數據恢復管理措施,通過對電子檔案載體的維護、建立電子檔案維護管理的信息文檔等工作,確保在保管期中的電子檔案保持其存取理解:建立電子文件與電子檔案原始、真實保護體系安全控制,通過對系統工作人員授權分散化、建立用戶標識與認證技術等措施確保「保護體系」安全運行;加強「保護體系」涉及的標準與規范的制工作,如建立統一的歸檔電于文件、電子檔案基本結構等標準對保護電子文件、電子檔案信息原始、真實著重要意
  6. Moreover, this paper discusses the feasibility of option pricing theory by adopting cases. on the one hand, it admits this method plays a key role in the realization of " debt - in - lieu - of - equity " of state - owned enterprises and appraising the value of potential earning - capacity ; on the other hand, it illustrates the application of option pricing theory in appraisal is still immature. for it can not meet the prerequisite of the theory ; its result will not be generally accepted and the quality of appraisal staff are relatively lower, this method is not applicable to business valuation aiming at equity alteration. thus it should not be regarded as a brand - new appraisal method to be promot ed in the short run. in the finial the thesis forms its conclusion on method application of superseding cost method gradually. generalizing the use of income method and developing the sense of using option pricing method

    由於成本法所固的局,無法評估出資產組配成具獲利能力的整體資產的創造價值,因此注重企業獲利能力的收益法已成為轉軌時期中國評估業的現實選擇,並進一步對收益法的起源、方法特點和適用進行了深入的分析;運用理分析與案例分析相結合的方法對收益法發展的新階段? ?期權價法應用於企業價值評估的進行了研究,肯了這一方法對國企實現「債轉股」和評估高新技術企業潛在獲利能力價值的重大意,同時對此方法應用於企業價值評估不滿足前提條件、評估結果的接受、及評估人員素質等方面說明了這一方法在資產評估領域的應用尚不成熟,尤其不適用於產權變動為目的的企業價值評估,因而短期內不宜作為一種全新的評估方法推廣。
  7. The results of research reveals the variation disciplinarian and the affected factor, defines the factor limiting the urban regional development. all these offer scientific references for reasonable city planning, municipal building project planning, reasonable arrangement of land use, the confirmation of land use intensity and the improving land use benefit. and a series of methods we have explored can apply the practical manipulation of grading and assessing urban land, which contribute to enhance working efficiency, shorten the time of evaluation, enhance the updating of urban land price, establish a system of dynamic superviso ry control and examination, and enhance accuracy and objectivity of urban land - rated evaluation

    再由球形檢驗和主成份分析、信度分析、多元回歸分析的技術路線,逐層遞深地解譯影響城市地價的主要因素及相互數量關系,其研究結果揭示了城市地價的變化規律和影響因素、明確了制城市區域發展的因素,為合理的城市規劃,市政建設項目規劃,合理安排土地用途,確土地利用強度,提高土地利用效益等提供了科學依據,同時探索的系列化方法直接應用於城市級估價的實際操作中,利於提高工作效率,縮短估價時間,提高城市地價的現勢,建立地價動態監控和測算系統,又提高城市級估價的準確度和客觀,在理論上、學術和實踐上均積極意
  8. Writer ' s view of point is that delivery of cargo without original bills of lading has the character of breaching of the contract, because releasing cargo against original bills of lading is carrier ' s legal liability in carrying out the carriage of goods by sea. also it has the character of action in tort, as if the actions violate the civil law of liability in tort, the doer shall take on the liability of compensation. however when actions are both of breach and in tort, the chinese law gives the victim the rights to choose to sue in tort or of breach, but some limitations in applying substantive law

    第二章論述無單放貨的法律質,筆者認為,無單放貨具違約,因為保證憑正本提單交付貨物是承運人在履行海上貨物運輸合同中的一項法務;無單放貨具侵權,只要無單放貨行為構成承擔侵權行為民事責任的要件,無單放貨行為人就必須承擔賠償責任;同時,無單放貨的違約和侵權能構成責任競合時,我國法律允許受害人以選擇一個訴因行使其請求權,但對實體法請求權的選擇,法律作出了一范圍的制;最後,無單放貨在某種程度上促進了航運業的發展,我們不能一概加以否,無單放貨在特情況下具的合理
  9. Though fdi is often discussed, there is not a general concept, which can be accepted by professors from home and abroad. here i just give a general ideal and that of imf. i also compare fdi and idi, as to the same and difference between them

    盡管外商直接投資是一個經常談到的名詞,但對于其無論國內還是國外學術界現在都還沒一致認,我們在這里也是給出一個一般和國際貨幣基金組織的,並比較了直接投資與間接投資的異同。
  10. From experimental result, i preliminarily know that eps is good thermal insulation material because the absorption of water is low and heat insulation is good, it is practicable at preserving temperature field of frozen earth roadbed and bringing frozen disaster under control ; second, according to the analysis of the eps that is applied into practical project, i have studied the practical effect which eps preserve roadbed temperature field, and the influence that was made after building field. i have get that eps can influence moisture content and frozen upper limit, through practical measuring data, i have studied freezing and expanding quantity and melting and submerging quantity during a complete frozen and melting cycle as well as have expanded and proved the practical application effect of eps with some reference significance to deep research of some connected problems. finally, through computer data analysis, setting up the analytical model of finite unit, i have simulated the temperature field of roadbed heat preservation, then expounded and proved that the height of embankment influenced the effect of thermal insulation material

    其一是對聚苯乙烯泡沫塑料( eps )保溫板以及天然路基土層、路堤填料進行了室內試驗分析,結合國內外現在的關科研成果,綜合確其各項特徵參數;從試驗結果初步認識到聚苯乙烯泡沫塑料是一種吸水率低,隔熱好的保溫材料,在凍土路基溫度場的保護和凍害治理方面是行的;其二通過eps保溫板在現場工程實踐中的應用分析,研究了保溫板在保護路基土層溫度場的實際效果以及修築路堤后造成的影響,保溫板對土體含水量、凍結上的影響,通過實測資料,研究了在一個完整的凍融周期內整個路基的凍脹量和融沉變形量,論證了保溫板的實際應用效果,對關問題的進一步研究和相關工程設計具參考意;其三,通過計算機數值分析,建立元分析模型,對保溫路基的溫度場進行了模擬計算,論證了路堤高度對保溫材料效果的影響。
  11. These achievements will enrich the relationship between pair - network and network, and further understand the internal connection between hereditarily closure - preserving families and point countable families or locally finite families, and better certain topological non - variability of the space with pair - networks, and enrich the theory of generalized metric space. this paper reached some principal conclusions about the space with - hereditarily closure - preserving pair - networks

    弱遺傳閉包保持雙網路空間的類似結構,這些結果將更加充實雙網路與網路之間的關系,進一步明確遺傳閉包保持集族與點數集族或局部集族之間的內在聯系,完善由雙網路確的空間關于拓撲運算下的某種不變,豐富了廣度量空間理論
  12. This paper mainly deals with the subjects below : the problem on fem analysis, general reliability analysis and calculation, and optimization based on the general reliability of the random or fuzzy parameters structure ; and also brings forward a method for getting the fuzzy answers from the fem equation by taking the fuzzy multiplier from a fuzzy variable ; in the fem analysis and structural reliability optimization, the randomcity and fuzziness of the structural physical parameters and the load applied on the structures are all considered

    文中對隨機和模糊參數結構在不確荷載作用下的結構元分析、分析和基於的優化設計等問題進行了研究。以桿系結構為對象,提出結構分析的模糊因子方法,其中分別或同時考慮了結構材料的物理參數、構件的幾何尺寸和作用荷載幅值等的隨機和模糊;對結構響應(位移、應力)為模糊變量時的廣靠度進行了推導。
  13. The precondition of studying the distribution of burden of proof in civil lawsuit is to correctly set theoretical definitions for burden of proof as well as the object of burden of proof. going through various viewpoints upon the distribution of burden of proof, they, guided by the substantive law and the principle of justice and fairness, have respective limitations, they strive for the predictability and stability of law, but unavoidably face the problem of little flexibility, which might make the results not so fair, the substantive standards highlight a great flexibility, but might cause careless judge due to the uncertainty of standards

    綜觀證明責任分配諸說,雖均以符合實體法宗旨與公平正原則為指導思想,但各其局,形式標準致力於實現法的預測與穩,但卻不避免地存在靈活不足的問題,能使證明責任負擔的結果欠公平,實質標準實現了靈活的長處,卻又存在因標準不確導致法官恣意裁判危及正能。
  14. The definition of a mixed block matrix is given, and an algorithm for the inverse of a given mixed block matrix over a group algebra of a finite group over a field is presented, and a method of determining singularity of this mixed block matrix is given

    ?給出了域上群的群代數上的塊對稱循環矩陣的奇異判別法及其逆矩陣求法. ,了域上群的群代數上的混合塊矩陣,並給出了它的的判別法及其逆矩陣的求法
  15. Low density parity check codes are a class of linear block error - correcting codes that can be defined by the very sparse parity - check matrix. their error performance approach shannon limits

    Ldpc碼(低密度校驗碼)是一類以用非常稀疏的奇偶校驗矩陣的線分組糾錯碼,具逼近香農能。
  16. According to the characteristics of workflow process execution, a kind of reactive activity - centered process meta - model is defined and a kind of graphical notation is provided for it, at the same time, for this meta - model, a kind of dynamic semantics is specified, which represents the runtime behavior of the process and can be expressed as a finite state automata. finally, an example is given to illustrate how to apply it to analyze the semantic correctness of process models

    根據過程執行的特點,了一種以活動為中心的反應式過程元模型,並為其提供了一種圖形表示,同時為此元模型指了一種體現過程運行時行為的動態語,該語表示為一個狀態自動機.最後舉例說明了如何應用它分析過程模型的語正確
  17. First, according to the demand of vimp for resin system, the reaction kinetics and rheological of up resin are investigated and the optimal content of low additive profile ( lpa ) is determined. then vimp based on a high - permeable medium and grooves are studied by visual experiments, through which the appropriate high - permeable mediums are selected and the parameters of width, depth and spacing for flow grooves and spacing for supply grooves are optimized. furthermore, various factors affecting the mold filling process are discussed and the whole vacuum infusion procedures are described taking examples of the manufacture of a model boat and a sandwich panel in one infusion

    文中首先根據vimp對樹脂體系的要求,對vimp用不飽和聚酯樹脂體系的動力學和流變學能進行了研究,確了最佳低收縮添加劑的含量;對高滲透介質型和溝槽型vimp開展了實驗研究,通過視化實驗優選出較好的高滲透介質,確了引流槽的寬度、深度和槽間距及主槽的槽間距等工藝參數並進行了優化;對影響充模過程的各種因素進行了詳細的討論,並以模型船和夾芯面板的製作為實例描述了兩種vimp的成型過程;在實驗的基礎上,建立了二維滲漏模型,採用控制體元法對高滲透介質型vimp進行了成型過程的計算機模擬計算,通過充模時間和流動前峰的計算值與實驗結果的比較,驗證本文所採用的數學模型和數值方法的正確,其結果對實際生產具的理論指導意
  18. Especially, when the isocline of x is monotone decreasing in 0 < x < 1, the svstem has no limit cycle and is globally stable ; next, we construct a saddle bifurcation at the boundary equilibrium and a degenerated bogdanov - takens bifurcation at the interior equilibrium by choosing appropriate parameter values in the following two sections, where our work are based on the theory of central manifolds and normal torms. we prove that is a codimention 3 focus - type equilibrium. system ( 6. 1 ) will have two limit cycles at some appropriate bifurcation parameter values, and have homoclinic or double - homoclinic orbits at some other appropriate bifurcation parameter values ; at last, we study the qualitative properties of the system at infinite in the poincare sphere

    因為系統在( 0 , 0 )點處沒,這給研究其在( 0 , 0 )附近的動力學質帶來了困難,我們應用文獻[ 17 ]中關于研究非線方程奇點的系列理論和方法,圓滿解決了這一問題,給出了第一象內當t +或t -時,在全參數狀態下系統的軌線趨于( 0 , 0 )點的所能情況,其相圖也得以描繪;並且,系統不存在極環的幾個充分條件我們也予以列出,當x的等傾線在0 x 1范圍內遞減時,系統不存在極環,全局漸近穩;然後,我們以中心流形理和正規型方法為主要工具,巧妙選擇參數,分別構造了一個余維2的鞍點分岔和一個余維3退化bogdanov - takens分岔,證明了平衡點是余維3的焦點型平衡點,存在參數, m ,的值使得系統( 6 . 1 )兩個極環,還存在參數, m ,的另外值使得系統( 6 . 1 )同宿軌或雙同宿軌。
  19. Thirdly, subspace iterative method is adopted in the paper, and natural periods and modes of preceding fifteen steps of zhongshan no. one bridge are solved, dynamic characteristics of this kind of structural system are obtained, inherent link between dynamic characteristics and structural rigidity is discussed deep, the viewpoint is provided that dynamic characteristics of a structure are considered as important basis whether structural scheme is rational ; in addition, the author brings out some own views and opinions about calculational methods of prestress value of different sorts of tie rods, simulation of local rigidity region, foundation of a local finite element model of a node

    另外,提出在施工階段中某些構件的應力能比成橋狀態的應力還大,需防止在施工狀態中構件因強度不足而破壞;再次,採用于空間迭代法,求解了拱式組合體系橋梁的自振周期和振型,得出該種結構體系的動力特,深入探討了動力特和結構剛度之間的內在聯系,提出了把結構的動力特作為判斷結構方案是否合理的重要依據。此外,本文還就系桿預應力值的確方法、局部剛度區域的模擬、節點局部元分析提出了作者的見解和看法,對解決類似問題得出了一些參考意的結論。
  20. Based on abroad consultations and studies on national and foreign related datum, mainly taking shenzhen luohu fracture zone for research object, and by means of analysis on locale monitoring datum analysis, laboratory routine rheopectic testing, finite element numerical simulation and appraisal of gis stability, a few of conclusions can be summarized as the following : ( 1 ) analyzing present and past geological reconnaissance datum and reports of stability appraisal in luohu jiancheng district and synthesizing a mass of crustal stress monitoring datum and huangbeiling faultage f8 monitoring datum, and combining closely with practical engineering activity in luohu district, characteristics of crustal stress distribution is deeply discussed, which has an important guiding meaning for studying region stability and underground structure safety in luohu district

    本文在廣泛查閱、研究國內外關資料的基礎上,主要以深圳羅湖破碎帶為研究對象,通過現場實際監測資料分析、室內常規流變試驗、元數值模擬以及基於gis的穩評價,以得到以下幾點結論: ( 1 )分析了羅湖建成區以前和現今的地質勘察資料、穩評價報告,綜合大量的現今地應力監測資料和黃貝嶺f8斷層監測資料,緊密結合羅湖建成區的實際工程活動,深入探討了羅湖區的地應力分佈特徵,這對于研究羅湖地區區域穩和地下建築物的安全重要的指導意
分享友人