間接證明法 的英文怎麼說
中文拼音 [jiānjiēzhèngmíngfǎ]
間接證明法
英文
indirect method of proof- 間 : 間Ⅰ名詞1 (中間) between; among 2 (一定的空間或時間里) with a definite time or space 3 (一間...
- 接 : Ⅰ動詞1 (靠近;接觸) come into contact with; come close to 2 (連接; 使連接) connect; join; put ...
- 證 : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
- 明 : Ⅰ形容詞1 (明亮) bright; brilliant; light 2 (明白;清楚) clear; distinct 3 (公開;顯露在外;不隱...
- 法 : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
- 間接 : indirect; secondhand
- 證明 : 1 (表明 、 斷定真實性) prove; testify; bear out 2 (證明書或信) certificate; identification; t...
-
It further discusses the operation mechanism of the system of agrotechnical diffusion and indicates that the essence of technical diffusion is information diffusion, and the system depends on the course which information flows from the fountainhead to the receivers. and it analyzed the ingredients which influence the information flowing in the system. intruding shannon ’ s information
進一步探討了農業技術擴散系統的運行機制,並指出,技術擴散實質是信息的傳播,是建立在信息從信息源到接收者之間的流動過程,對技術推廣系統中影響信息流動的因素進行分析,引入shannon的信息熵計算方法,對信息接受者的信息接收含量進行測度,通過對所得的數值進行比較,運用定量與定性分析相結合的方法證明技術推廣活動的效率。For the purpose of saving running time of iterations, this paper apply adaptive method to aitken extrapolation algorithm and eigenvalues - based algorithm respectively. experimental results elementarily show that these two new algorithms can speed up the performance of iterations
本文將adaptive方法分別與基於特徵值直接求解演算法和aitkenextrapolation演算法相結合,實驗結果初步證明了這兩個新演算法能夠縮短迭代時間。Proof of consistency by the method of models is an indirect process.
用模型法證明相容性,是間接法。User explicitly acknowledges and agrees that, except as expressly provided in the preceding paragraph, to the fullest extent allowed by law, hktb shall not be obligated or liable for any direct damages, contract damages, indirect damages, incidental damages, consequential damages, special damages, exemplary damages, warranty, tort including negligence damages, product liability damages or liabilities including, but not limited to, loss of digital content, prints, digital storage media, revenue and or profit, etc damages arising with respect to your use of discoverhongkong. com e - invites and the service, even if we have been advised or have knowledge of the possibility of such damages
用戶明確確認及同意,除非前文各段有明確規定,否則在法律許可的最大限度下,香港旅遊發展局無需就閣下使用discoverhongkong . com e請卡及本服務而引起的任何直接損害賠償合約損害賠償間接損害賠償附帶損害賠償相應損害賠償特別損害賠償懲罰性損害賠償保證侵權包括疏忽損害賠償產品責任損害賠償或法律責任包括但不限於數碼內容列印本數碼儲存媒體收益及或利潤的損失而承擔任何責任,即使香港旅遊發展局已獲知會或已知悉該等損害賠償的可能性亦然。90 % uv below 400nm could be shielded by the nano - sio2 sol. the time of the artificial aging of nano - sio2 - modified coatings prepared by the way of in - situ dispersion method was about twice as long as that of the nano - sio2 - modified coatings prepared by dispersing the nano - sio2 powder in the coating directly. on the other hand, the fadeproof time ( reaching the second level of color aberration ) of the nano - sio2 - modified coatings was 1. 83 times as long as that of the national standard for the super coatings
實驗證明:納米510 :溶膠具有很強的紫外散射屏蔽性能,對400nm以下的紫外光能屏蔽90 %以上;在位分散法納米510 :改性塗料的耐人工老化粉化時間比直接分散法納米510 :改性塗料提高了近1倍,耐變色時間(達到色差2級的時間)是國標優等品要求的1 . 83倍,較相應的未改性塗料提高了約25 % 。But the matter particles are arranged in groups exactly like you ' d expect from the combination rules for gluons, which is regarded as solid indirect evidence that gluons exist
但如果粒子組合在一起的方式和你所期待的膠子組合的方法相同,這也就是對膠子存在的有力的間接證明。A new type signature of knowledge - - a signature of knowledge of the discrete logarithm of a blinded representation, which provides the verifier trusts the prover has the knowledge of the discrete logarithm when the knowledge is unknown, is proposed. the new signature of knowledge is necessary for the solution of the problem of member deletion in group signature ; 2
提出了一種新類型的知識簽名? ?盲化表述的離散對數根的知識簽名,使得驗證者對含有知識(離散對數根)的表述未知的情況下,有理由相信證明者具有離散對數根的知識,給出了一種更間接的證明知識的方法。With those above, an essential explanation to the simplicity of the representation of rijndael s - box is given, and a direct proof to the equivalence between any two coordinate functions of rijndael s - box is provided, with the equivalence described by only one matrix of order eight over gf ( 28 ). 5
利用這三種方法計算出的域元素分量表達式,解釋了rijndael演算法s盒代數表達式復雜度低的本質原因;給出rijndael演算法s盒分量函數間等價關系的一種直接的證明方法,並用一個八階gf ( 2 ~ 8 )矩陣完全刻劃這種等價關系。Secondly, for the elastic deflection and vibration of a free - floating flexible dual - arm space robot, an approach for lq optimum vibration suppression is developed, and some simulation results conducted to verify the effectiveness of the proposed methods
接著,針對空間柔性機械臂的彈性形變和振動問題,本文設計了lq最優控制器對其進行振動主動控制,並通過大量的模擬結果證明了方法的有效性。Hi the aspect of symmetry analyzing to the hopfield model neural network with hebbian learning, we study on the dynamical behavior of the state space under the action of isometric transformation group g = z2 ? n, and prove the invariant property of the energy orientation ? / / " ) of the state space under the action of g. we find that the symmetry relationship of the network is sx - sw = sh when the active function of the neuron is odd, where sx is the symmetry of the patterns set x under hebbian learning rule, sh is the symmetry of the network and sw is the symmetry of the weight matrix w of the network
) s _ n為手段,研究了網路狀態空間在群g作用下各點的運動情況,證明了群g作用下的不變性。證明了當神經元的激活函數f為奇函數時, hebb法則下存儲樣本集x的對稱性s _ x 、網路對稱性s _ h以及連接矩陣對稱性s _ w三者之間滿足s _ x = s _ w = s _ h的關系;同時,我們還證明了:網路穩定態集vf同一s _ h軌道中的兩個穩定態的動力學行為(能量和吸引域大小)相同;兩個等距網路h和h 1 = g ? h , ( ? ) g (This article is mainly a discussion on the spiritual damage compensation for close relatives of victim under the situations of damage to right of life, damage to the right of health and damage to the right of personality of the dead, which is based on an introduction and comparison of the concerned foreign legal regulations and academic theories and in combination with the legal practice in china wherefore the author put forwards his own ideas as following : first, under the condition that there is a distance of time between inj ury and death, the close relatives of the dead shall inherit the right of claim for spiritual damage compensation of the dead for the suffering before his death, in addition to their own intrinsic right of claim for spiritual damage compensation ; the second, under the condition that the inflictor has caused the disablement of the sufferer or serious damage to his health, the close relative in a limited cycle of the sufferer should be granted with the right of claim for spiritual damage compensation, which is confirmed in law and becomes a practice in foreign countries ; the third, since the aim of the law to protect the personality of the dead from infringement is to protect the benefits of the close relatives of the dead and to maintain public benefits, is constituted on the personality of the dead the close relative of the dead may initial legal proceeding for spiritual damage compensation
本文重點探討的就是公民生命權受到侵害、健康權受到侵害、 「死者人格」受到侵害這三種情形下的受害人近親屬的精神損害賠償請求權問題。探討以介紹和比較國外相關法律規定和學術理論為前提,結合我國的實際情況,從理論與實踐相結合的角度對以上各問題分別進行了分析,並提出了作者自己的一些見解:第一、在公民從受傷害到死亡有一段時間距離的情形下,死者的近親屬除依法享有其固有的精神損害賠償請求權以外,還可以繼承死者生前就其所受之精神損害而享有的精神損害賠償請求權;第二、在加害人的行為已造成直接受害人殘疾,或者是造成其健康嚴重受損的其他後果的情形下,我國應在借鑒國外已有立法和判例的基礎上,賦予一定范圍內的受害人近親屬以精神損害賠償請求權;第三、法律保護死者人格不受侵害的目的是為了保護死者近親屬的利益和維護公共利益,一般情形下,只要死者近親屬能證明其訴訟主體的合法性,能夠證實侵害「死者人格」的行為已構成侵權,即可推定死者近親屬因此而遭受了精神痛苦? ?無須舉證的「名義上的精神損害」 ,死者近親屬即可提起精神損害賠償之訴。最後,本文認為,加強對受害人近親屬的權利和利益保護問題的研究,既有一定的必要性,同時又具有十分重要的現實意義。On the basic of a great of literature reading and research on safety of side impact of the car, according to requirement of ece r95, applied madymo6. 2. 1 software, established simulation model of side impact of the car, researched the relationship between side rigidity of the car and passenger injury in side impact, which showed that during first impact the bigger side rigidity was, the more advantaged protection for the car and passenger in a definite range, and which drew a conclusion that the most serious part of passenger injury was pelvis during first impact. then detailed the substructure model by defining bodies, joints, contact types and contact characteristic, researched some improvement approach for side safety of the car, and then analyses a particular case, that was to say to fix vehicle door bar fender on between inner and outer plate of the vehicle door, analyzed the influence of passenger injury when the bar fender was fixed on different position, the result showed that the passenger injury was less when the bar fender was fixed on the height of vehicle door decorate bar. finally, a set of tests were performed, contrasting the simulation result with the test, analyzed the influence of the side rigidity of the car to passenger injury, which showed the test
本文在對汽車的側面碰撞安全性進行大量文獻閱讀和研究的基礎上,按照歐洲ecer95側面碰撞乘員保護法規的要求,應用多剛體動力學軟體madymo6 . 2 . 1 ,建立了汽車的側面碰撞模擬模型,研究了汽車的側面剛性對乘員損傷的影響,結果表明在「一次碰撞」中,在一定范圍內汽車側面剛性越大,越有利於汽車和乘員的保護,同時得出結論,即在「一次碰撞」過程中人體損傷最嚴重的部位是骨盆;然後通過定義各剛體、鉸鏈、接觸類型以及接觸特性,對該模型進行子結構細化工作,研究了加強汽車側面安全性的若干改進措施,並進行了一個特例分析,即在此模型的車門內外板之間安裝了車門防撞桿,分析了當車門防撞桿安裝在不同位置時對乘員損傷的影響,結果表明防撞桿位於車門裝飾條的高度時,對乘員的損傷較小;最後進行了一組側面碰撞試驗,通過試驗和模擬結果的對比,分析汽車的側面剛性對乘員損傷的影響,表明試驗和模擬結果是一致的,從而證明了模擬模型的有效性以及模擬結果的正確性。Unless and until a formal agreement is prepared and executed, this bid together with your written acceptance thereof shall constitute a binding subcontract between us
在正式合同編制好並簽字生效前,本標書與貴公司的書面接受證明將構成我們雙方之間的有法律約束力的分包合同。In the course of modeling, we present multi - step generalized gradient method and multi - stage curve fitting technique, prove convergence of multi - step generalized gradient method by using differential equation stable theory, analyze the error of multi - stage curve fitting technique by using inner space, creat knowledge base of water network system by using the maximum subordinate principle of and near - select principle of pattern recognition. at last we make the optimal running scheme of water network system based on heuristic search technique of artificial intelligence and global feedback immediate coordination method of large scale system theory
在建立系統模型的過程中,提出了多步廣義梯度法和多層曲線擬合的建模方法,並用微分方程穩定性理論證明了多步廣度梯度法收斂性,用內積空間的有關知識對多層曲線擬合進行誤差分析;應用模糊數學中的最大隸屬度原則和模糊識別中的擇近原則和人工智慧中狀態空間表示法建立注水系統的知識庫;用人工智慧中的啟發式搜索技術和大系統理論中的具有全局反饋的直接協調法制定注水系統的優化運行方案。Then by a decomposition method, we proved that every state in the decentralized controllable subspace could be conducted to zero state by time - varying decentralized control, which meant that the decentralized controllable subspace had similar property with centralized controllable subspace
接著,我們用一種逐步分解逼近的方法證明了分散能控子空間中的每一個狀態都是分散能控的,這說明分散能控子空間和集中能控子空間有類似的性質。Different from the classically " sequentially receiving emails " strategy, this algorithm provides a new email - receiving sequence with less user waiting time. consequently, it improves the efficiency of embedded email client in the low network speed environment
通過建立一種有關郵件接收過程的用戶等待時間模型,本文從理論上證明,該演算法可以有效縮短用戶在郵件接收過程中的等待時間,提高嵌入式郵件客戶端的使用效率。First, it gives a snapshot of some typical self - organized routing protocols in manet. then the design of self - organized routing algorithm based on ktrp is elaborated as the main part of this dissertation, including the choosing of key nodes, the main algorithm modification of ktrp to accommodate with the interior routing in subnet, the access flow between two layers, primary packet formats, tables, and ip routing algorithm. at last, the simulation model of the self - organized routing algorithm
本文首先分析了現有的manet自組織路由協議;然後針對本信息傳輸分系統的網路結構,詳細分析了基於ktrp的子網內部以及相鄰層間的自組織路由演算法的設計,包括對多個關鍵節點的選取、為適應本課題子網內路由通信而對ktrp做出的主要演算法更改、相鄰層間接入互連的流程、自組織路由演算法中涉及的主要報文格式和表,並且舉例說明了ip選路演算法;最後對所設計的自組織路由演算法進行了模擬,以驗證演算法的有效性。Using the comparison principle, it is proved that the proposed method is of superlinear convergence
利用比較原理,間接證明該演算法是一種具有超線性收斂性的近似牛頓法。In part iv, a kinematics model for 3d guidance problems is derived. then pure proportional navigation, approaching method, and fuzzy logic algorithm are combined to develop a three - dimension fuzzy guidance law. finally, this thesis expounds the modeling technology of 3d objects in computer animation simulation and the method of using opengl engine in visual c + + environment
第四部分建立了三維空間中導彈追擊目標的運動學關系模型,分析了兩種古典導引律(平行接近法和比例導引法)的優缺點,在此基礎上提出了一種三維組合導引律,然後用模糊邏輯對其進行了優化,獲得了一種性能更為優越的三維模糊導引律,最後通過模擬證明該方法的優越性。One, notarization possesses the function to certify the authenticity and legality of the legal facts and documents and prevents illegal acts. additionally, it represents the state to intervene properly in the private fields and functions as judicial prevention and judicial supervision. two, the development of the market economy needs a set of judicial regulation with the character of low cost, simple procedure, fast efficiency and full function
第二章從三個方面分析了公證成為社會信用建設之中堅力量的理論根據: (一)公證具有證明法律事實、文書的真實、合法性,以及作為一般的民事違法行為的預防工具的法律服務功能,此外,公證是國家公權力對私權一定領域的干預,輔助國家進行間接管理,發揮司法預防和司法監督的職能作用; (二)市場經濟的發展,需要一個與之相適應的低成本、簡程序、高效率、功能完備的司法制度體系。分享友人