算術證明 的英文怎麼說

中文拼音 [suànshùzhèngmíng]
算術證明 英文
arithmetic demonstration
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 術 : 術名詞1. （技藝; 技術; 學術） art; skill; technique 2. （方法; 策略） method; tactics 3. （姓氏） a surname
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 算術 : arithmetic figure; arithmetic
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. 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的信息熵計算方法，對信息接受者的信息接收含量進行測度，通過對所得的數值進行比較，運用定量與定性分析相結合的方法證明技術推廣活動的效率。
  2. Conscious that the human organism, normally capable of sustaining an atmospheric pressure of 19 tons, when elevated to a considerable altitude in the terrestrial atmosphere suffered with arithmetical progression of intensity, according as the line of demarcation between troposphere and stratosphere was approximated, from nasal hemorrhage, impeded respiration and vertigo, when proposing this problem for solution he had conjectured as a working hypothesis which could not be proved impossible that a more adaptable and differently anatomically constructed race of beings might subsist otherwise under martian, mercurial, veneral, jovian, saturnian, neptunian or uranian sufficient and equivalent conditions, though an apogean humanity of beings created in varying forms with finite differences resulting similar to the whole and to one another would probably there as here remain inalterably and inalienably attached to vanities, to vanities of vanities and all that is vanity

    人體組織通常能夠抗得住十九噸的氣壓169 ，可是一旦在地球的大氣層里上升到相當的高度，越是接近對流層與平流層的境界線，鼻孔出血吸呼困難以及眩暈，隨著算術級數就越發嚴重起來。他曉得這一點，尋求解答時就設想出這樣一個難以證明是不可能的行之有效的假定：倘若換個更富於適應性，解剖學上的構造也有所不同的種族，說不定就能在火星水星金星木星土星海王星或天王星那充足而相同的條件下生存下來。然而那個遠地點170的人類種族，盡管在構造方面與地球上的人類有著一定限度的不同之處，整個來說彼此卻有著相似的種種形態。
  3. Prove that no four consecutive binomial coefficients can be in arithmetic progression.

    證明不存在四個連續的二項系數成算術級數。
  4. Because of using artificial intelligence ( ai for short ) and expert system ( es for short ) technology, it can not only auto distinguish subjective themes such as calculative or probative ones but also penetrate and dynamically construct learning case history of student

    由於採用了人工智慧和專家系統等技術，它不但能夠自動批改計算題和證明題等主觀題型，而且可以自動「透視」和動態構築學生的學習「病歷」 。
  5. For any formal theory in which basic arithmetical facts are provable, it is possible to construct an arithmetical statement which, if the theory is consistent, is true but not provable or refutable in the theory

    對任何基本算術事實是可證明的形式理論來說，如果該理論是一致的，那麼就可以構造一個算術陳述，它是正確的，但無法使用該理論證明或推翻。
  6. The determination of human thymidine kinase ( htk ) in human serum, which is a key indicator of cancers can give information for the diagnosis and treatment of the malign diseases. the protein a layer was first self - assembled onto the gold electrode surfaces of quartz crystals, the monoclonal antibodies were then orientedly immobilized through the specific binding between the fc terminals of the antibodies and the self - assembled protein a. with this sensor, the affinity constant of antigen - antibody binding was estimated to be 1. 85 106 l / mol according to the scatchard ’ s plotting method, which proved the high bioactivity of antibody. finally, an amplified piezoelectric immunosensor was designed to determine the htk in

    實驗中將蛋白a吸附於鍍金壓電石英晶體電極表面，用於定向固定htk單克隆抗體，成功研製了檢測htk的壓電石英晶體傳感器，並基於標準scatchard繪圖法，計算出免疫反應的親和常數為1 . 85 106l / mol ，證明該單克隆抗體具有較高的免疫活性;同時基於酶催化沉澱技術，設計了的檢測htk的質量放大壓電石英晶體傳感器，該傳感器可在0 . 1 - 10ng范圍內對htk進行定量檢測，應用此傳感器成功地對5種癌癥病人血清中htk的濃度進行了測定，實驗結果為癌癥的臨床診斷與治療提供了參考。
  7. This dissertation is chiefly act below work : ( 1 ) expatiating the equipments diagnosis technique development process and trend, putting forward the standpoint that giving systematical diagnosis to the mechanical and electrical equipment and expanding the technical application in equipment diagnosis, making it breakthrough the traditional application of maintaining etc. in equipments, still be used for improvement and development etc. s of new product ' s design ; ( 2 ) probing into vibration type and disposal method of vibration signal, the usual method of equipment condition recognition, the essential constitutes and development trend of observation and diagnosis system ; ( 3 ) introducing the development trend of domestic and international crusher and the distinguishing feature of double turnplate stike crusher which is a new product. according to the breakdown phenomenon in running process, establishing the fault tree and deducing every kind of foundation affairs resulting in fault ; ( 4 ) studying the calculation method of critical rotation speed

    本文主要做了以下工作： （ 1 ）闡述了設備診斷技術的發展過程及發展趨勢，提出了應結合實際對機電設備進行系統診斷的新的技術思路，用實踐證明了應當拓寬設備診斷技術應用的范圍，使設備診斷技術既可以在設備管理和設備維修中得到應用，也可以用於新產品的設計改進及開發等； （ 2 ）探討了振動的類型及振動信號的處理方法，設備狀態識別常用的方法，監測與診斷系統的基本構成與發展趨勢； （ 3 ）介紹了國內外破碎機的發展趨勢，以及雙轉盤沖擊破碎機這一新產品的結構和特點，並根據試機過程中出現的故障，建立了故障樹，並導出了導致故障發生的各種基礎事件； （ 4 ）研究了臨界轉速的計算方法和原理，用傳遞矩陣法計算出了破碎機內轉盤的臨界轉速。
  8. Presents the model proposed for analyzing the vibration characteristics of shrouded blades and their calculation method by employing a wave propagation theory and modal synthesis technology coupled with a finite element method from the view point it is possible not only to conduct frequency modulation of the shrouded blades of a gas turbine, but also to utilize the friction effects between them to dissipate energy, thereby attaining the aim of vibration alleviation, as shrouded blades have been widely used in the design of high - speed turbomachinery, such as modern gas turbines and steam turbines, and with the shrouded blades forming an integral whole in a centrifugal force field, the vibration characteristics of the whole ring of blades are different from those of a single isolated blade, and this makes it essential to take into account the integral effect of blade shrouds, concludes from the calculation examples and engineering application that the above approach is valid and correct along with the possibility of considerably reducing the scale of calculation and analysis, and points out it is necessary to take into consideration the coupled effect of the whole ring of blades while the dynamic characteristics of shrouded blades is being analysed

    帶冠葉片不但能調頻，還可以利用葉冠之間的摩擦效應來耗散能量，達到減振的目的.帶冠葉片在離心力場中形成一整體，其整圈葉片振動特性不同於單個孤立葉片，需考慮葉冠的整體效應.利用帶冠葉片系統的循環對稱性，提出了採用波傳播理論和模態綜合技術，結合有限元方法研究燃氣輪機帶冠葉片振動特性的分析模型和計算方法.算例和工程應用證明了該方法是效性的、正確的，並可以大大降低計算分析規模.研究表明帶冠葉片動力特性分析時必須考慮整圈葉片的耦合效應
  9. To solve the inaccuracy problem caused by the two existing methods ( average end - area method and prismoidal method ) used for the calculation of roadway earthwork volume, this paper puts forward a new concept of the 3 - dimensional algorithm that takes all the roadway geometric design procedures as a kind of geometrical operation between the ground model ( original terrain model ) and the roadway model ( designed model ) under certain constraints, and then presents a complete 3 - dimensional algorithm of roadway earthwork volume as well as its executable computer program. the algorithm benefits from the re - triangulation technique of constrained delaunay triangulation ( cdt ), which can yield a true volume value theoretically. through a number of practical tests covering varied intervals between adjacent cross sections, it is proven to possess a higher accuracy compared with that of traditional methods. all the work involved in this paper indicates that the 3 - dimensional calculation of roadway earthwork volume is feasible, more accurate and should have further application in practice

    針對目前廣泛使用的道路土方量計算方法平均斷面法和稜柱體法計算不準確的缺點，提出了三維土方量計算演算法的概念.該演算法以帶約束的狄羅尼三角化（ cdt ）為技術核心，認為所有道路幾何設計過程都是地面模型和道路（設計）模型進行幾何運算的結果.基於此，本文設計出相應的演算法步驟，同時完成了相應的軟體開發，使得該三維演算法能和傳統的方法進行對比.此外，結合工程實例，採用了不同的道路橫斷面間距對三維計算方法和傳統方法的誤差進行比較、分析.結果證明三維演算法具有更好的精度，該演算法可用於道路、場地平整等工程土方量計算
  10. We bring forward a project of high - speed urine analyzed system based on computer technology and image processing theory, and prove the feasibility and advantage of the project through the experiment with ph, protein, glucose. this new way plays a actively and important role in developing a kind of more precise and faster urine analyzed system

    本論文提出了基於計算機技術和圖像處理理論的高速尿液分析儀實現的方案，並且通過對試紙條上ph 、蛋白質和葡萄糖膜塊的判別證明了該方案的可行性和優越性，對尿液分析向著更快、更準的方向發展有著深遠的意義。
  11. In the first chapter, the improvement and development of furrow irrigation technique, theory foundation of controlled alternate furrow irrigation, and related research advance at home and abroad were analyzed and elucidated, and the main problems needing to be studied further and to be solved were put forward. in the second chapter, the soil infiltrative parameters, irrigating water advancing and water redistribution in soil were studied by adopting the controlled alternative furrow irrigation in field

    根據建立的水量平衡方程，採用模式搜索技術中的爬山法，利用infiltvs分析軟體，計算得到的不同溝灌方式灌溉水流的推進過程與利用實測資料回歸分析得到的水流推進過程幾乎完全重合，預測精度很高，因此證明本文建立的模型和分析計算方法是合理可行的，完全可用於不同溝灌方式土壤入滲參數和水流推進過程的估算。
  12. So, according to the characteristics of resource allocation problem, this paper gives the iterating algorithm by means of piecewise linearization. the algorithm is proved to be convergent

    因此，本文根據資源分配問題的特點，設計了適合於應用分解協調技術的逐點線性化迭代演算法，並證明了演算法的收斂性
  13. 3 g 一 g g abasi 叱 加 ical pp 訕 howthe qquasi ghgsical 毗 quasi sociological methodmo 止 secondlx we uthuther nalsze the nhrsical model on which he quasi pnsical and quasi sociological methods for solving s 肛 problembased considering a physical hypothesis on this model ， we construct a counterexaxnple to showthatthe hypothesis is not eee ? howeve 二 itdoes notdamage the goodpractical effectof applpinp this phpsical model to solve s 盯 problem considering he existence of alsorithlnic region ， which reflects that the quasi sociological method is very necessw for ass 吶 ng the high efficient of theent whole algori 燦 m therefore deepens our comprehension on the quasi physical and quasi sociological methods mird1x we wpl … 叫 nas 恤 ysi 陰 1md q 阻 si 500i 吶 i0alm 毗 cd 引 0 咖 we mathematical problem ofcom 恤 non oforthogonal tmles m successfully es 恤 fish a physicalopttrizatbo model for sotring saturated o 汕 ogonal tables ， whwh ws provedto be correctintheo0 we thi 冰 。 w goodpersonated s 咖 egies forjumping out of the t 呷 oflocal minimum using quasi sociological method based onthe physical model thus wegetthe wholequasi physicaland quasi sociological algorim forthe problem ofconswction ofs 咖 med orthogonal tables he experimental results showthatthephysical model ishighly efficientthanthe conflmng nlllllber mode ！ based on me pure m 她 ematical 訕 kgfound 他 sucoes 訕 11y ? ? rk 咖 m 枷 ons 訕 卿 nal 郵 ie with 3 leve13 using th 叫 u 1 physical and quasi sociological algori 恤 we got some o 汕 ogonal t 勸 les ofl 。 ， （ 3 ’ ‘ ） which are not isomorphic moreove 乙 some ofour results are also not isomorphic to oe results pearedb 山 e open rekrences we got lip to now lastlx for 讓 卜 ancie 口 戊 扯 d importantproblemsofconstfutfuction oflatin square and orthogonal latin squares （ most of

    應用此演算法，我們成功地計算出難的三水平正交表本課題為國家重點基礎研究發展「九七三」規劃，國家「八六三」高技術發展計劃，高等學校博士學位點專項科研基金及中國科學院軟體研究所計算機科學開放研究實驗室課題基金資助項目1g一gs第四，應用擬物擬人方法嘗試求解古老而重要的拉丁方、正交拉丁方（它們事實上是正交表）問題。我們結合這些問題的特性，建立了新的物理模型，從理論上證明了這些物理模型的正確性，並設計出擬人化的「跳出局部極小值陷餅」的策略，得到了求解拉丁方、正交拉丁方的擬物擬人演算法。實驗表明， 」對某些問題演算法有好的效果。
  14. Making use of many layers composite technique and heat press technique to make artificial skull, through a series of performance testes ( including elongate performance, compress performance, curve performance, concussion performance, lay cut performance, concussion cut performance ), making use of drainage method to calculate its average density, which is 1. 25kg / m3, and combustion method to calculate its content of macromolecule, which is 57. 7 %

    利用多層復合技術和模壓技術制備來的人工顱骨復合材料，通過對其一系列性能測試（包括拉伸性能、壓縮性能、彎曲性能、沖擊韌性、層間剪切強度和沖擊剪切強度等） ，證明了該復合材料具有良好的物理機械性能。採用排水法計算復合材料的平均密度為1 . 25kg m ~ 3 ，採用灼燒法計算復合材料的含膠量為57 . 7 ，證明該復合材料比強度較高。
  15. The data got from the shooting tests, conversed by the theory of similitude and eliminated the system errors, were compared with the data from the approval test in the national shooting field. it verified that the full parameters artillery physical simulation theory was right. it verified that the huge rate model design and madding methods were reliable

    把模型炮實驗獲得的數據，按相似理論換算，並消除相似畸變帶來的試驗誤差后，與原型炮在國家靶場定型試驗的結果比較，證明了創建的火炮全參數物理模擬理論的正確性；證明所採取的大比例縮尺模型的設計方法和製造手段的可靠性；證明用縮尺的模型炮代替副炮進行多項目綜合物理模擬試驗技術是成功的。
  16. Using “ logical effort ” method to analyze the circuit ’ s critical path, and choose the optimized size of transistors in theory by this method. then, using sta technique simulates and analyzes the circuit to optimize transistors size further, and the circuit optimization arithmetic based on sta is gained. results proved that the optimization strategy of combining theory and practice have better effect

    結果證明，這種理論與實際結合的優化策略具有較好的效果;三、典型條件下，所實現版圖關鍵路徑延時1 . 38ns ，平均功耗45 . 3mw ，版圖面積0 . 05112mm2 ，達到了較小的延時、功耗和面積;四、針對所設計的算術邏輯部件，研究了一種獨特的內建自測試方法，只需較少的測試向量就可實現該部件100 %的故障覆蓋率，具有很高的效率和較低的代價。
  17. The method for solving quadratic equation which combined arithmetic solution and geometry demonstration together by al - khw rizm probably is influenced by greek who praised highly geometry, but through analyzing carefully, his geometry seems different from " geometrical algebra " of euclid in essence, but is similar to chinese ancient mathematical method - out - in complementary - like principle

    花拉子米討論一元二次方程時所採用的算術解法與幾何論證相結合的方法似乎是受希臘人推崇幾何學的觀念的影響，但經過仔細分析，認為他的幾何證明本質上區別于歐幾里得的「幾何代數」 ，而與中國古代的「出入相補原理」更相像。
  18. The thesis is organized as below : in chapter 1, the background knowledge is given which is needed for study on bluetooth security mechanism and implementation. first bluetooth technology is overviewed including its develop history, radio interface, physical links, interference, network topology, core protocol, etc. next communication security is introduced according to the model of network security architecture from osi. finally some primary cryptographic techniques are discussed based on symmetric encryption, asymmetric encryption and advanced encryption standard published years ago

    本文研究了利用藍牙技術提供各種安全服務和實現的課題，並通過一些具體實現的實例進行闡述，具體安排如下：在第一部分，本文首先回顧了藍牙技術及發展情況，主要包括藍牙發展簡史、藍牙標準的射頻介面、物理鏈路、干擾情況、網路拓撲結構以及核心協議等；然後介紹了通信安全的基礎知識，討論了osi系統中的四層網路安全結構模型；最後給出了各種加密技術的基本理論，包括對稱加密體制如des和blowfish 、非對稱加密體制（ rsa公鑰演算法、數字簽名和身份證明等）以及新一代的高級加密標準（ advancedencryptionstandard ， aes ）等。
  19. One of the disputes surrounding the case centers on “ prior art ” : previous technology that would undermine the claim in hreniuk ' s patent application that his treetop apparatus is new and inventive

    這個案子的爭議之一是先前技術，就是用早已存在的技術，證明賀紐克為他的樹頂之旅所製造的裝置，既不新穎，又不算發明。
  20. Ruppert ' s algorithm for solving this problem are reanalyzed. using ruppert ' s analysis technique, we prove that ruppert ' s algorithms can produce triangular meshes that are nicely graded, size - optimal

    我們對解決上述問題的ruppert演算法進行分析，使用ruppert分析技術，證明演算法所生成的網格是漸變良好和尺寸優化的。
分享友人
分享到 Line

分享到臉書