演算的 的英文怎麼說
中文拼音 [yǎnsuànde]
演算的
英文
algorithmic-
Support vector aam based iterative learning algorithm for gender classification
迭代學習的性別分類演算法The computational results of the particle images are agreement with the simulated datain reasonable, the most absolute difference of the displacement is 0. 6671 pixel at the x abscissa and 0. 7928 pixel at y abscissa ; the computational results are equal to the data form the algorithm of particle brightness - distribution pattern tracking ( the conventional cross - correlation algorithm ) at voluminous points, their discrepancy is only one pixel at few points, mostly in boundary area
西安理工大學碩士學位論文最後,在visualfortran環境下給出了這種演算法的具體實現,處理模擬粒子圖像的結果與模擬數據比較吻合,最大位移絕對誤差在x方向是0 . 6671像素,在y方向是0 . 7928像素;計算結果與示蹤粒子灰度分佈模板法(基本的互相關法)在絕大部分點是相同的,只在少數點相差一個像素,而且大多出現在邊界區域。Research of semantic comparison between - calculus and - calculus
演算的語義比較研究Is the lighting and shadow in the game real - time
游戲中的白天和黑夜是即時演算的嗎?Information flow analyzing system of seal - calculus
演算的信息流分析系統Method and implementation of data flow analysis for ambient calculus
演算的數據流分析方法及其實現A framework structure of ambient calculus
演算的框架設計Delay model of network control systems based on network calculus
基於網路演算的網路控制系統確定性延遲模型Translating - calculus into action calculus
演算的轉換The study on symbolic computation for dynamics of flexible multibody systems
多柔體系統動力學符號演算的研究Notations and vocabulary of symbolic calculus and of z - transformation
算符演算的符號和詞匯.拉普拉斯轉換和轉換Not all of that - in fact, none of it was real - time because it was all running off video
小組長:不全是應該說沒有一個是實時演算的片斷,因為那只是通過一段連續的影像播放了出來。The measure is the ratio controlling method in automatic performs mathematical calculations after installation, which makes the measure inspection very easy
計量是經設定后自動實行演算的比率控制方式。計量檢查也簡便易行。Bassing on the theory of equivalent calculates, this paper utilizes the data structure and c + + program design language, to analyze the logic structure of proposition formula, designs the saving structu - re that use the broad sense menu chained list, and explored to beg for in this foundation how to carry out its basic operation, thus and further clarifying the computer implementation algorithm of the complicated equivalent calculation
本文針對等值演算理論,通過數據結構和c + +程序設計語言,分析了命題公式的邏輯結構,設計出用廣義表單鏈表的存儲結構,並在此基礎上探討了如何實現其基本操作,從而進一步闡明了復雜等值演算的計算機實現演算法。This has led some people who design the specification mechanisms for programming languages, or in the case of uml, for modeling languages, to include facilities from first - order predicate calculus as a language extension
這就促使一些人在編程語言的描述機制和建模語言(如統一建模語言, uml )的處理機制中加進了部分一階謂詞演算的東西,作為一種功能擴展。In 1996, professor wang guojun built formal deductive system l * of fuzzy prepositional calculus, then in the frame of system l *, constructed the logical base for fuzfcy reasoning rules from sematics
王國俊教授於1996年建立了模糊命題演算的形式系統l ~ * ,之後在系統l ~ *的框架中,從語義上為模糊推理規則構建了邏輯基礎。The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic
第二部分:在以bl邏輯為背景的bl代數的定義中去掉限制性較強的條件a b = a ( a b ) ,建立了一種新的代數系統rl ,並進一步研究了rl代數類的性質;以rl代數為賦值域建立了一種更為廣泛的模糊命題演算的形式系統? ?剩餘格值邏輯系統rl ,得到了一系列定理,同時研究了邏輯系統rl的(弱)完備性This paper proposed a problem - solving theory based formal model, introduced the basic syntax and p - calculus based semantics of the model, and presented some pivotal concepts and propositions in the deduction of the model
摘要提出了一種基於問題求解理論的密碼協議模型,給出了模型的基本語法以及基於演算的形式語義,明確了模型推理過程中涉及到的一些關鍵性的概念和命題。The character of the thesis was the following : ( 1 ) giving the modification of lambda calculus in order to describe the character of dynamic fuzzy ; ( 2 ) giving an operational semantics model of dfl programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it ; ( 3 ) giving the frame of dfl programming language
本文的特色體現在: ( 1 )提出了可以描述動態模糊性問題的演算的變形方法; ( 2 )提出了可以解決動態模糊性問題的dfl程序設計語言的操作語義模型,並對該模型的正確性和可靠性進行了證明; ( 3 )提出了dfl程序設計語言的基本框架結構。Pim bases on the proof systems for the late and early bisimulation congruences and the open bisim - ulation congruences. we implemented our version of the unique fixpoint induction to deal with recursions
然後,以lin的關于遲早互模擬的證明系統和li的關于開互模擬的證明系統為理論基礎,我們實現了-演算的第一個互動式驗證工具- pim 。分享友人