proving method 中文意思是什麼

proving method 解釋
檢驗方法
  • proving : 檢驗的
  • method : n 1 方法,方式;順序。2 (思想、言談上的)條理,規律,秩序。3 【生物學】分類法。4 〈M 〉【戲劇】...
  1. Proving several theorems in first order logic based on back - and - forth method

    向前向後法證明一階邏輯的幾個定理
  2. At the same time, because general hierarchical is not good on question classification, this paper proposes a new method for chinese question hierarchical classification. this method combines the key class features with the question syntactic features to classify questions. since this method extracts the syntax features and adds syntax information into question classification, at last, the precision of the coarse classes reaches 88. 25 % and fine classes reaches 73. 15 %, respectively improves nearly ten percent than the traditional hierarchy classification, proving this method is effective

    本文針對文本分類和問題分類的差別,利用依存分析提取主幹和疑問詞及其附屬成分,並結合主幹關聯詞對,採用支持向量機分類器,此方法大大減少了問題分類的噪音,突出了問題分類的主要特徵,並考慮了詞與詞之間的句法關系,取得了良好效果;同時,針對普通層次分類在問題分類上效果不理想的情況,本文提出了類別主特徵結合句法特徵的中文問題層次分類新思想,利用句法分析提取分類特徵,在問題分類中融入了句法信息,總的準確率達到大類88 . 25 %和小類73 . 15 % ,比傳統的層次分類分別提高了10個百分點,證明了此方法的有效性。
  3. Considering the time of trip proving to be overall evaluation merit on traffic impact area, using the experience of the road impedance function, the article puts forward a method based on time using for evaluating traffic impact area, namely t - tia, and provides a new method which can be applied to evaluate traffic impact area effectively

    本文選用出行時間作為綜合評價交通影響范圍指標,在分析出行時間的基礎上,通過借鑒城市時間路阻函數,提出了基於時間的交通影響分析的方法t - tia ,從而確定了交通影響范圍量化的新方法。在對等時線的特點進行分析之後,本文採用其作為基於時間的交影響范圍量化方法的評價形式。
  4. When have analyzed the method of alleviating the patient ’ s burden of proof, specific methods are proposed. author suggest that court should accept the sue only if the patient prove the cause to the degree the average person regard the cause true, the burden of proof is bored on medical organization when the being proving fact provided by patient is highly possible ; the burden of proof is bored on patient when being proving fact provided by patient is less possible but the fact is only clue and medical organization take on responsibility of explanation ; and the burden of proof is bored on the patient when the fact is impossible. author proposed also method to form a complete set, which is establishing the principle of free prove, dividing the cause into cause in fact and cause in law and establishing the standard for possibility

    筆者在分析了減輕患者證明責任的途徑之後,提出了完善醫療糾紛訴訟中證明責任分配的具體方法:將《最高人民法院關于證據的若干規定》第四條第八款修改為:患者就醫療行為向法院提起訴訟,必須就醫療方存在過錯或者損害與醫療行為之間存在事實上的因果關系的證明達到依一般人的觀點,可以合理懷疑的程度時,法院才能受理;對患者提出的有爭議的待證事實,具有高度的蓋然性的,由醫療方承擔證明責任,事實真偽不明時,由醫療方承擔敗訴風險;對待證的事實蓋然性較低,但該事實是唯一具體線索的可能性時,由醫療方承擔解明義務,在醫療方已經盡了解明義務而事實仍然真偽不明時,仍由患者承擔敗訴風險;對蓋然性很低的案件,由患者承擔證明責任。
  5. It was thought in this thesis that logical proving, as human ' s thinking form, is not only the method of knowing, understanding and grasping things, but also the important tool of seeking truth, arguing and testing knowledge and guiding practice

    摘要邏輯證明作為人類的思維形式,是人們認識、理解、把握事物的手段,也是人們探索真理、論證認識、檢驗認識和指導實踐不可缺少的重要工具。
  6. It also provides a comparative research on the method of proving mechanical theories given by mei wending and simon stevin, in order to show the difference in the method of research and knowledge expression between chinese and european scholars in the 17th century

    此外,還比較梅文鼎與荷蘭力學家斯蒂文證明力學問題的方法及方式,以展現中、西學者力學研究和表述方式的異同。
  7. In this dissertation, the model eq1074g light truck as the object, the method of calculating enhancement coefficient of motor vehicle reliability enhancement test on proving ground, according to the equal damage fatigue life principle, has been researched

    本文以eq1074g輕型載貨汽車為研究對象,對按疲勞等損傷壽命原則確定汽車試驗場可靠性強化試驗的強化系數的方法進行了研究。
  8. The main work of this paper was as fellows : ( 1 ) generalized the development of pre - stressed steel structure in our nation and abroad, and pointed out the main problem in practice ; ( 2 ) presented the mechanism of pre - stressed steel structure and revealed its applicable range ; ( 3 ) established the optimization design model for pre - stressed steel structure, which accounts for constraints on stresses and displacements of structure ; ( 4 ) brought forward the optimization design method, which combined linear programming and the principle of full restriction, through which we can obtain the magnitude of each time pre - stress and the optimized sections of each members of structure ; ( 5 ) analyzed the best times of pre - stress and pointed out that 2 ~ 3 times is preferable ; ( 6 ) conducted optimization design on large - space steel roof, horizontal parallel steel truss with local cables, horizontal parallel steel truss with global cable, and ultra - static steel truss, the result of which indicated that the multiple pre - stress structure is very economic ; ( 7 ) compared different schemes of cable placement for horizontal parallel steel truss, and the results showed that the local cable only unloaded the second girders, but had no response on the first girders and stomach poles, while global cable could unload the second girders and the stomach poles outside of turning point of cable, thus proving that global cable is more economic than local - cable

    本文的主要工作是:對國內外預應力鋼結構的發展歷史及現狀作了綜述和總結,指出當前預應力鋼結構工程實踐中存在的主要問題;闡述了預應力鋼結構的受力機理,並指出預應力鋼結構的適用范圍和特點;在考慮結構應力和變位約束的條件下,建立預應力鋼結構優化設計模型;提出多次預應力鋼結構優化設計方法和步驟,採用線性規劃和滿約束準則相結合的優化方法,可優化設計出施加的每一級預應力的大小,並得到結構各部分的優化截面;對多次預應力最佳的施加次數作了分析,並建議以2 3次為宜;為驗證文中理論和方法,分別對大跨多次預應力鋼屋架、局部布索的水平平行弦鋼桁架、整體布索的水平平行弦鋼桁架和局部布索的超靜定鋼桁架等算例進行了優化設計,經濟效益明顯;對水平平行弦鋼桁架的幾種施加預應力的方案進行比較,對于局部布索,預應力只對下弦起到卸載作用,對上弦和腹桿基本不起作用;而整體布索預應力除對下弦卸載外,對索折點以外部分腹桿也起到卸載作用,經濟效益好於局部布索。
  9. This paper is on the basis of analysedding and summarized that these projects were blown up and tested materials in the past, use fracture mechanics, the dynamics blast theory and finite element analytical method, have carried on the system, detailed analysis and describes to this kind of method of blasting, proving theoretically that can cut the base rock effectively in this kind of method of blasting, reduce base blowing up stress value inside the rock, play and protect underpart base rock blow up into the function influenced in vibration, and blew up mechanism and analysed the main influence factor blown up according to it, had put forward the rational optimization measure to the relevant parameter when implementedding and blown up

    本文在分析總結以往這些工程爆破試驗資料的基礎上,運用斷裂力學、爆破動力學理論及有限元分析方法,對這種爆破方法進行了系統、詳細的分析及論述,從理論上證明此種爆破方法可以有效地切割基巖面,降低基巖內部的爆破應力值,起到保護下部基巖不受爆破振動影響的作用,並根據其爆破機理分析了爆破的主要影響因素,對實施爆破時的相關參數提出了合理的優化措施。
  10. The research on application of rapid slip method for colifrom group in proving the effect of tableware disnfection

    大腸菌群紙片法在食具消毒效果檢測中應用的探討
  11. New method of proving of the two product inequalities

    兩個乘積不等式的新證法
  12. A new method of proving function ' s consistent continuity

    函數一致連續性的一種新證法
  13. For the electronic proving ground reality, the advantages and shortcomings of several evaluation criteria are synthetically compared through studing jamming and antijamming effects between oppressive jamming and the target search radar. according to the ultimate effectiveness criterion, the method of using the tactics and technology indices to evaluate the radar jamming and antijamming effects in quantity is discussed. the quantitative grade judgement on jamming and antijamming effects are presented

    從電子裝備試驗靶場的實際出發,通過研究壓制性干擾對目標搜索雷達的干擾,以及後者對前者的抗干擾效果,綜合比較了幾種評估準則的優劣,依據最終效果準則,分別論述了用技術指標和戰術指標定量評估雷達干擾抗干擾效果的方法,提出了干擾抗干擾效果的定量等級評判,並通過信干比、抗干擾改善因子,將戰術、技術指標評估統一起來,二者在實質上是等效的。
  14. The existing methods of structure design of concrete pavement with lean concrete base are analyzed, proving that the equivalent stiffness method is proper for calculating load stress but not for thermal stress

    對貧混凝土基層混凝土路面現有結構設計方法的應力計算進行了分析,發現等剛度法用於雙層板路面的荷載應力計算是可行的,但用於溫度應力計算會引起較大的誤差。
  15. Abstract : this paper presents the application of the immovable point principle in proving the existence and uniqueness of the solution to some kinds of differential equation and integral equation, and the method produced by the principle progressive approach

    文摘:本文重點講述不動點原理在證明幾類微分方程和積分方程解的存在性和唯一性方面的重要應用,以及由此產生的方法? ?逐次逼近法。
  16. We give a new method for proving the chromatic non - uniqueness of graphs by studying their adjoint polynomials, we obtain some structure characteristic of the chromatic equivalent graphs of kinds of graphs

    摘要通過研究圖的伴隨多項式的因式分解,給出並證明了若干圖簇的色等價圖的結構定理。
  17. In 1989, academician wu wen - tsun forwards wu differential characteristic method which establish theoretical basis for mechanical theorem proving of differential geometry and the research of automatic reasoning

    1989年吳文俊院士提出了吳?微分特徵列法,為微分幾何定理的機械化證明和自動推理的理論研究奠定了理論基礎。
  18. By using transfer matrix method and corresponding boundary conditions, the steady - state responses of the counter - rotating dual - rotor system were analyzed, and the changing characteristics of the disks ' orbits and the centroids ' locations were studied experimentally, proving the relevant conclusions from calculations

    針對這種結構,應用傳遞矩陣法,結合邊界條件,分析了反向旋轉雙轉子結構穩態不平衡響應的變化規律,研究了內、外轉子盤軸心軌跡和質心的變化特點,並進行了相應的試驗研究,驗證了計算模擬的相關結論。
  19. A structural method of auxiliary function in proving differential mean value

    微分中值問題證明中輔助函數的積分構造法
  20. In this paper, we obtained the hausdorff dimension of image set for n 1. however, the proving method is distinct from [ 1 ]

    本文對n 1時,得到了象集的hausdorff維數,但證明方法則有別于文[ 1 ] 。
分享友人