相容性的證明 的英文怎麼說
中文拼音 [xiāngróngxìngdezhèngmíng]
相容性的證明
英文
consistencyproof- 相 : 相Ⅰ名詞1 (相貌; 外貌) looks; appearance 2 (坐、立等的姿態) bearing; posture 3 [物理學] (相位...
- 性 : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
- 的 : 4次方是 The fourth power of 2 is direction
- 證 : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
- 明 : Ⅰ形容詞1 (明亮) bright; brilliant; light 2 (明白;清楚) clear; distinct 3 (公開;顯露在外;不隱...
- 相容性 : cmpt compatibility
- 相容 : consistent; compatible; tolerant
- 證明 : 1 (表明 、 斷定真實性) prove; testify; bear out 2 (證明書或信) certificate; identification; t...
-
The problem of calculating the core attributes of a dicision table is studied, a new discernibility matrix and the computation of core is put forward in this paper, and correctness of this method is proved. this method is the same with consistent and antipathic dicision tables
論文對目前求核方法存在的問題進行了分析,提出了一種新的可區分矩陣與求核方法,並證明了方法的正確性,該方法適用於任何決策表(相容的或不相容的) 。This thesis is to recommend a important class of regularized strategies for solving inverse problems - mollifier method. it anaysises the consistency, numerical stability and error estimates of mollified solution. similar to tikhonov regularization, a discrepancy principle for selecting the mol - lifier parameter is proven and applications to numerical differentiation and numerical inversion of abel transform and also given
本文將介紹求解反問題的一類重要的正則化策略?緩鎮法,並基於用gauss核構造的緩鎮運算元,分析了緩鎮解的相容性、數值穩定性和誤差估計,與tikhonov正則化類似,我們證明了決定緩鎮參數的偏差原理。On the backgrounds of researches inside and outside country, and cooperating experiments with theories analyses, the influence of different processing technology parameters and different sbs modifier sorts on the sbs modified asphalts " properties has been studied. at the same time, their microstructure are observed through fluorescence optical microscopy and scanning electronic microscopy, thus to direct modified asphalt production. on the above conclusion ' s basement, analysing some disadvantages of the storage stability test of sbs modified asphalt in the current specification, a new storage stability test apparatus is developed
本文在參考國內外研究的基礎上,採用理論、試驗相結合的方法,研究加工工藝參數以及改性劑種類等對sbs改性瀝青性能的影響,並通過熒光顯微鏡、掃描電鏡分析其微觀形態,從而指導sbs改性瀝青的生產;在此基礎上,分析我國現行規范用來評價sbs改性瀝青儲存穩定性方面的不足,開發了新的試驗儀,根據動態剪切流變試驗結果和微觀狀態分析,提出一個新的指標? ?離析率r _ s來評價sbs改性瀝青的儲存穩定性;最後,針對不穩定的改性瀝青提出改善措施,研究證明摻加增容劑和穩定劑是行之有效的方法。There are two kinds of retrieval model, full text retrieval and content retrieval, and the vector space model ( vcm ) of the latter is a widely - used method with better effect. the best excellence of vcm is the predominance of knowledge presentation, which expresses documents with vectors in vector space and changes the comparability issue to the distance of vectors, and thus reduces the complexity of documents matching. however. we can not affirm the absolute effect of it, and in this thesis we prove its nonproficiency through experiments
向量空間模型最大的優點在於知識表示方法上的巨大優勢,用n維空間的向量表示文檔,用向量之間的夾角表示文檔的相似度,從而將文檔信息的匹配問題轉化為向量空間中的矢量匹配問題,將難以計算的文字量化成很容易計算的實數,使問題的復雜性大大減小。但是,並不能夠說目前的向量空間模型是最理想的,本文通過實驗證明了vcm表達信息的不精確性。Using method of oil - flow visualization techniques and measuring pressure distribution along airfoil chordwise and spanwise studies have been down for sidewall boundary - layer displacement effect in two - dimensional wind tunnel. three different chord models were tested in two different wind tunnel. in order to clarify the sidewall effects and study method of sidewall suction theory and sidewall interference correction method to remove effects of sidewall on model. the results of oil - flow test show that selection rational suction wary can obtain better testing results. by investigations on effects of the sidewall boundary layer suction and application of a sidewall interference correction method
為了很好地解決多機場航班隊列的擁塞問題,在將進場容量、離場容量與機場容量作為統一整體的情況下,充分考慮了機場間的網路效應,詳細研究了多機場航班隊列的優化問題,建立了多機場開放式非實時流量管理的數學模型,通過選取適當的決策變量,使其為線性0 - 1整數規劃模型,實現了中心流量集中管理.與其它演算法不同,本文提出的啟發式隱枚舉演算法能很好地解決此類問題,對某機場網路系統的模擬結果證明了所建模型、優化演算法及相應軟體的有效性和可靠性Then i finish the analysis from three aspects, instruction of circuit, stress of surrounding, and tolerance, thus providing basis of design. the following designs are in progress from four aspects, which are circuit design, thermal design, derating using and screening. at last, i make the update generator in batch process, and collect and analyze reliability dates again
首先進行了與可靠性相關的數據收集與分析,對故障模式進行統計;然後從電路結構、環境應力及容差三個方面進行可靠性分析,從而為關鍵的可靠性設計提供了依據;接下來的可靠性設計,從電路設計、熱設計、降額使用、篩選四個方面逐一解決了可靠性分析階段發現的問題;最後,我將改良的發生器批量生產,並從中重新收集了可靠性數據進行計算,事實證明改良后高頻無極燈的平均壽命已達到6萬小時。The main contributions of this dissertation are listed as the followings : l ) deducing and proving the " three in one " theory of natural monopoly, that is, from the angles of economies of scale, economies of scope and economies of network, giving an explanation of natural monopoly ; 2 ) putting forward the concept of " strict superadditivity " and proving that total value function and total revenue function of network economy have strict superadditivity ; 3 ) summarizing the emerging characteristics in the market definition of natural monopoly, that is, in the monopoly industry, " market " tends to be more and more smaller than " industry " ; 4 ) expounding that the objective patterns of regulatory reforms of the railway industry in china are explicit regulation with partly characteristics of implicit regulation ; 5 ) proving the idea that the structural reforms of the railway industry in china should be hierarchical ; 6 ) demonstrating the theoretical bases for whether infrastructure management should be separated from transpo rt operation ; 7 ) expounding and proving that the interior of the railway industry in china should implement the differential property rights reform pattern
本文的研究特點在於: ( 1 )在規模經濟、范圍經濟的基礎上進一步推導並證明了網路經濟與自然壟斷的關系,即自然壟斷可以從規模經濟、范圍經濟、網路經濟三個角度來解釋論述; ( 2 )明確提出了一個與鮑莫爾、潘澤與威利格等人提出的「成本劣加性」相類似的概念? ?價值優加性,並證明了網路經濟的總價值函數和總收益函數具有嚴格優加性; ( 3 )概括了自然壟斷市場界定中所出現的新特徵,即在壟斷產業中, 「市場」正越來越小於「產業」 ; ( 4 )進一步論證了中國鐵路產業規制創新的目標模式是兼有部分內生規制特點的外生規制; ( 5 )在中國鐵路產業的結構改革中應體現分層次的思想; ( 6 )明確論述了內容提要鐵路路網公司等自然壟斷環節是否分割的理論基礎; ( 7 )提出並進一步證明了中國鐵路產業內部應實行差異化的產權改革模式。Two single - stage pfc converters with the negative feedback of engergy - storage capacotor voltage by transformer windings are analyzed. the two converters have similar performances, and they can be translated each other, which verified the translation rule. the analysis and simulation show that with the negative feedback of energy - storage capacitor voltage by transformer winding have good performances
通過對兩種採用變壓器繞組實現負反饋的單級pfc變換器研究,結果顯示出它們的相近性,驗證了兩端模式和三端模式的轉換規則,同時也說明採用變壓器繞組實現負反饋的方式對抑制電容電壓有很好的效果,並對其進行了優化設計。The engendering source of traffic volumes and their general influential factors have been presented, and the situation of nowadays highway transportation has been discussed. according to the introduction of traffic distribution theory and classical assignment method, analysis of traffic flow path selection among cities and that of special influential factors for traffic flow on toll highways, initial analysis to the forming mechanism of traffic volume on road sections has been made, and a probability model for path selection has been set up with the maximum - utility theory and disaggregating model. detailed analysis to impedances on road sections and their functions ( especially to three main composing factors of the impedances as cost of time, transport and toll and to the functional relations with traffic loads ) was made, at the same time, the relative cost calculating model was set up on the basis of the state - of - art achievements in both international and national researches
主要研究內容包括:交通量的產生根源及一般影響因素分析和當前公路運輸地位討論;從交通分配理論及經典配流方法著手,通過分析城市間交通流路徑選擇行為和收費公路路段交通量特殊影響因素,初步提出路段交通量的形成機理,並採用效用極大原理和非集結模型理論( disaggregationmodel ) ,建立用戶出行路徑選擇概率模型;對路段阻抗及路阻函數(尤其對行程時間費用、車輛營運費用和道路收費這三個構成路段阻抗的主要因素及其與交通負荷間的函數關系)進行較為詳盡的分析,並以現階段國內外較為先進的研究成果為依據建立相應的成本測算模型,其中,特別提出了兩種確定客貨車輛時間價值的分析方法;離散分析法和時間-費率轉換法,後者是在目前基礎調查、統計數據資料不夠齊全的現實下提出的一種確定道路系統內務車型時間價值的較為實用的新方法;對我國公路收費政策的背景和理論、實踐依據及費率的各種影響因素進行重點分析;從數學的角度證明合理費率的存在性,並以最優化理論為基礎,建立在普通收費公路和擁擠路段交通調控型收費公路兩種模式下合理費率的計算模型等。In this paper, a frame of quantum clonal evolutionary algorithm is presented by the combining of quantum theory with the clonal selection theory in artificial immune system ( ais ). its algorithms are given in detail and their convergences are proved. both the theory analysis and simulations prove its superiority
本文主要內容概括如下: ( 1 )本文將量子理論與人工免疫系統中的克隆選擇學說思想相結合提出了一種新穎的學習演算法? ?量子克隆進化演算法,證明了該演算法收斂性,模擬試驗表明:該演算法是可行有效的。A common fixed point theorem for compatible mappings of type ( a ) is proved and a application to the existence and uniqueness of solutions of system of functional equations in dynamic programming is given
摘要證明了( a )型相容映射的一個公共不動點定理,並討論了起源於動態規劃的泛函方程組的解的存在性和唯一性。Using our method we have presented the anisotropic estimations of both interpola - tion errors and consistency errors for these two elements. quasi - wilson ' s element is a nonconforming element for arbitrary quadrilateral meshes. we have proved that the quasi - wilson element is anisotropic - convergent for narrow quadrilateral meshes
我們給出wilso , ,元和a 111 , ,元的插值誤差和相容誤差的各向異性估計類wilson元是任意四邊形上的非協調元,我們證明了類wils ( ) l ,元的各向異性收斂性,給出能量模和護一模的各向異性誤差估計According to the design theory of the cable - stayed bridge and to the feature of the cantilever construction the authors propose a construction control method called optimum completion state method ( ocsm ) for rc cable - stayed bridges in the proposed method, the optimum completion state is regarded as the final target of the construction control, and the optimum construction state at each construction stage is taken as the technical route the key of the method is to properly choose or adjust the cable forces the objectives function of optimization is to minimize the elevation error of the girder under the constraint condition that the internal forces ( bending moments ) of the girder are bounded the optimization variables are the cable forces on the basis of the above principles, a optimum model for a construction step is established and cable force adjustments can be found for each construction step in this model, the creep and shrinkage effects of concrete have been considered a bridge example is given which shows that the final state of the bridge is very close to the design aim and that this method is much better than the so - called double - control method the example is a good illustration of the soundness and practical value of the proposed method
根據現代斜拉橋結構設計理論和懸臂施工方法的特點,提出了以最佳成橋狀態作為施工控制的最終目標,以實施最佳施工階段為技術路線,以索力調整為核心內容的斜拉橋施工控制理論,簡稱為最佳成橋狀態法;以斜拉橋主梁標高誤差最小為目標函數,以主梁內力(彎矩)為約束條件,以索力為優化變量,建立了最佳施工階段的索力調整計算模型;推導了考慮徐變收縮效應的索力調整計算公式;用最佳成橋狀態法對一實橋工程進行了施工控制全過程計算研究,得到的成橋狀態與設計目標相當接近,優于該橋以「雙控」為控制目標的實測結果,有力地證明了本文方法的正確性及其工程實際價值In addition, despite ext3 s scalability limitations when compared to resierfs, xfs, and jfs, ext3 has shown itself to be very fast and well - tuned for the typical kinds of filesystem operations performed by most servers and workstations
此外,雖然與resierfs 、 xfs和jfs相比, ext3的可伸縮性具有局限性,但ext3已經證明,在大多數服務器和工作站所執行的典型文件系統操作中使用,它不僅速度很快而且很容易調整。Part 3 : solutions includes chapter 6. this section discusses the solution from different angles. further contents are as follows : ? perfect existing land laws ? set up a effective land organization system ? build a supportive land reservation fund ? decide the reasonable quantity of the land reserved although the land reservation system in beijing is on a trial stage, the fact that land resource allocation should be on the market basis is convinced and unanimous
本文在運用理論與實證、定性與定量、文字敘述與圖表說明相結合的方法,對北京市城市土地儲備制度建立背景、經驗借鑒、運作模式、重要影響、難點對策等方面內容進行深入細致研究探討的基礎上,提出了部分創新觀點,以期能對北京市城市土地儲備制度的建設有所裨益。First we overview automatic summarization technologies, and then we put forward a new web page summary algorithm based on page segmentation. next we use web summarization methods to extract most relevant features from web pages to improve the accuracy of web classification. and lastly we introduce our automatic summary module, one of three modules in our web mining system - webme, in detail
本文就文本摘要進行了較為系統的研究:首先全面系統地綜述了自動文本摘要的相關問題和技術;然後根據網頁自身的特點(如結構、鏈接等) ,提出了一種基於網頁分割技術的文本摘要演算法;其次鑒于自動摘要能夠有效除去噪聲、提取出文章的主題內容的特點,我們把自動摘要技術運用在網頁分類上,實驗證明這種方法能夠使分類性能大大提高;在論文的最後,介紹了我們的網路挖掘系統webme中的自動摘要子模塊的設計與實現。It proved that the fem model can simulate the corroded rc beams and can be used in the research and design of concrete structural durability. to illustrate the mechanical property of the corroded concrete beam, test beams are loaded to failure after those had an accelerated galvanic corrosion process. the mechanical property of corroded short beams is carefully studied
開展銹蝕混凝土梁的非線性有限元分析也是本文研究的一個重要內容,作者通過有限元法模擬了銹蝕的混凝土足尺梁和電化學銹蝕混凝土梁,與試驗結果相驗證,證明了有限元模擬的合理性,這對於我國鋼筋混凝土的耐久性設計與模擬具有一定的參考價值。According to direct and indirect testing results of organobentonite ' s structure and performance, the project that synthesize new organobentonite with calcium bentonite by replacing a part of conventional modifying agent for caprolactam has been proved reasonable and feasible, the affinity of organobentonie for organic substance was improved, it can be used in variable organic system
通過以上對有機膨潤土結構和性能的直接表徵和間接評價,證明以鈣基膨潤土為原料,用己內酰胺取代部分季銨鹽制備新型有機膨潤土的方案是合理的、可行的,制備的有機膨潤土具有對有機物良好的親和性和相容性,可用於各類有機體系。In section 4. 2 we analyze its main idea and algorithm in detail, two relevant theorems included ; section 4. 3 provides plenty instances so to explain its nonlinear dimension reduction ability, section 4. 4 propose a combined method that integrates the advantage of various methods. in section 4. 5 we analyze some significant problems in lle, including the locality of manifold representation, the choice of the neighborhood, the intrinsic dimension estimation and the parametric representation of mapping. in section 4. 6 we design an algorithm for estimating the intrinsic dimension in the base of locally linear approximation and discuss the choice of its parameters
第四章是本文的重點內容,研究一種全新的非線性降維方法? ?局部線性嵌入方法,對它的思想和演算法進行了詳細的分析,給出演算法兩個相關定理的證明;第三節對比主成分分析,通過實例說明局部線性嵌入方法的非線性降維特徵;第四節在此基礎上提出了旨在結合兩者優勢的組合降維方法;第五節提出了局部線性嵌入方法中存在的若干關鍵性問題,包括流形的局部性、鄰點的選擇、本徵維數的估計和降維映射的表示,第六節基於局部線性近似的思想提出了一種本徵維數的估計方法,設計了實用演算法,結合實例對演算法中參數的選取進行了討論;最後一節提出了一種基於局部線性重構的圖形分類和識別方法,將其應用於手寫體數字的圖像分類識別實驗,實驗得到的分類準確率達96 . 67 。In section 2. 1, we introduce some of the recent research results about the relationship between the internal stability and external stability. in section 2. 2, we state some necessary background, definitions and basic facts about infinite - dimensional linear systems. in section 2. 3, we are concerned with the admissibility of the control operator and the observation operator of system ( 1. 1 ) - ( 1. 4 )
第一節我們介紹有關無窮維線性系統內部穩定性與外部穩定性關系的最新成果;第二節我們介紹無窮維線性系統的相關背景、概念,以及其他一些主要成果;在第三節,我們討論系統( 1 . 1 ) - ( 1 . 4 )的控制運算元與觀測運算元的相容性;在第四節和第五節我們分別討論系統( 1 . 1 ) - ( 1 . 4 )的外部穩定性與內部穩定性;第六節我們將證明開環系統( 1 . 1 ) - ( 1 . 3 )的精確可觀測性。分享友人