時間變量 的英文怎麼說

中文拼音 [shíjiānbiànliáng]
時間變量 英文
time invariance
  • : shí]Ⅰ名1 (比較長的一段時間)time; times; days:當時at that time; in those days; 古時 ancient tim...
  • : 間Ⅰ名詞1 (中間) between; among 2 (一定的空間或時間里) with a definite time or space 3 (一間...
  • : 量動1. (度量) measure 2. (估量) estimate; size up
  • 時間 : time; hour; 北京時間十九點整19 hours beijing time; 上課時間school hours; 時間與空間 time and spac...
  1. In this paper, it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency. such atomic formulas are called as irrelevant atomic formulas. a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables

    一個自動機是一個五元組n , l 0 , c , e , i ,其中n為一個有窮的位置集合, l 0n是初始狀態, c是一個取實數值的的有窮集合, e ng c 2 cn是轉換的集合。
  2. The mass outflow rate minus the mass inflow rate is equal to the time rate of change of mass storage in the parallelepiped.

    的流出率減去質的流入率等於貯存在這個平行六面體中的質化率。
  3. 67 - 154. 02 % ( no determinate in paddy field on quaternary red clay ), respectively. after organic amendments and fertilizers were added to the metsulfuron - methyl - contaminated soils, microbiai biomass c increased by 0. 23 - 113. 14 % in paddy field on desalting muddy polder, 0. 30 - 46. 48 % in blue clayed paddy, and 1. 82 - 83. 76 % in paddy field on quaternary red clay, respectively, microbiai biomass n in correspoading soils by 4. 27 - 67. 87 %, 5. 43 - 58. 36 % and 5. 05 - 95. 40 %, respectively, and microbiai biomass p by 6. 03 - 139. 59 % 4. 09 - 141. 26 % ( no determinate in paddy field on quaternary red clay ), respectively

    ( 4 )添加有機、無機物質后,勞去津除草劑污染的三種土壤中微生物生物碳、氮隨培養化的趨勢基本一致,即0 ~ 7d微生物生物碳、氮降低,但第7d,添加有機、無機物質的處理中微生物生物碳、氮均高於僅加養去津的處理和空白對照; 7 ~ 14d微生物生物碳、氮迅速增加; 14 ~ 42d又下降, 42d后化較小。
  4. Both clocks aim to measure with 99. 99997 percent accuracy how much the microgravity of low - earth orbit slows time compared with measurements made on the ground

    這兩座鐘的目標都是要以99 . 99997 %的精確度,去測低軌道所受的微重力(較之於地球表面)會使慢多少。
  5. Identifiability, filtration and biologic characteristics observation of three fly species in harbin of china were narrated, and it was evaluated to these fly species " larva and imago nutrition in this paper. studies results showed that lucilia sericata meigen, aldrichina grahami aldrich and parasarcophaga crassipalpis macquart are excellent fly species in population. the excellent fly species have regular succession phenomenon as seasonal and temporal changement

    室內、室外試驗觀察發現,絲光綠蠅( luciliasericatameigen ) 、巨尾阿麗蠅( aldrichinagrahamialdrich )和肥須亞麻蠅( parasarcophagacrassipalpismacquart )在種群數上具有優勢,並隨季節化,其幼蟲種類具規則的演替現象。
  6. First, we apply the method of galerkin and the fixed theorem of the larey - schauder to prove the existence of the approximate solution. next, we give the priori estimates of the higher order derivatives ( with respect to spa - tial variable and time variable ) of the approximate solution

    首先應用galerkin方法和larey一schaude :不動點定理證明近似解的存在性,然後進行近似解的高階導數的先驗估計(關于空時間變量) 。
  7. Level of a time varying quantity

    時間變量電平
  8. It is a flow - that is, it is expressed per unit of time : weekly income, monthly income, or yearly imcome

    它是流? ?也就是說,它可以表示成單位時間變量:周收入,月收入或年收入。
  9. As a matter of fact, situation is complicate, and it is not necessarily the case that production function is separable of variables concerning x or e and does not vary with time t

    在實際生產過程中,情況往往更加復雜,生產函數未必可以對x和e可分離或與時間變量t無關
  10. 12 daws c, yovine s. reducing the number of clock variables of timed automata. in proc. the 17th ieee real time systems symposium, rtss 96, washington dc, usa, december 1996, ieee computer society press, pp. 73 - 81

    如果從某一個位置l出發,一個時間變量x在被重置之前,不會被任何轉換用形如x
  11. In this paper, four major kinds of damages, including fatigue, dent, corrosion, and marine life, are discussed, the specific formulations to evaluate the damaged structures reliability are derived based on the analysis mentioned above

    因為損傷和密切相關,所以在討論損傷對結構強度的影響,引進了時間變量
  12. Formats 03, marseille, france, september 6 - 7, 2003, lncs 2791, pp. 34 - 45. 11 kalus havelund, arne skou, kim g larsen, kristian lund. formal modelling and analysis of an audio video protocol : an industrial case study using uppaal

    如果從某一個位置l出發,一個時間變量x在被重置之前,不會被任何轉換用形如x c或者xc的條件測試,那麼符號狀態l , d中的所有形如x - y
  13. On the equation ( the equation is abbreviated ) with initial condition and periodic boundary condition a system of ordinary differential equations to time was built by the four - order difference method, then the precise integration method was used to solve the system

    摘要對于方程(方程式略)的初始值與周期邊值問題,利用四階差分化為關于時間變量的常微分方程組,然後採用精細程積分法。
  14. Presently, almost all optimal harvesting policies were obtained by choosing production function that was separable of variables concerning x and e and was independent of time t. this is not completely consistent with the objective facts

    目前,幾乎所有的最優捕獲策略,都是在生產函數對種群密度x和單位捕獲努力e可分離假定條件下得到的,或生產函數與時間變量t無關假定條件下得到的,這與客觀事實不盡相符
  15. In this thesis we study the existence of periodic solutions and the asymptotic behavior of general time - dependent solutions for periodic reaction - diffusion equations with nonlocal boundary value conditions, the existence of periodic solutions or periodic quasisolutions and the asymptotic behavior of general time - dependent solutions for periodic reaction - diffusion systems with nonlocal boundary value conditions. the whole thesis is made up of three chapters

    本文研究時間變量是周期的反應擴散方程在非局部邊值條件下周期解的存在性及其一般解的漸近性態;研究時間變量是周期的反應擴散方程組在非局部邊值條件下周期解或周期擬解的存在性及其一般解的漸近性態
  16. Abstract : a numerical model for wave propagation in water of varying topography and current is proposed, and time - dependent wave mild - slope equation with a dissipation term and corresponding equivalent governing equations are presented. two different expressions of parabolic approximations for the case of the absence of current are also given and analyzed. examples of numerical simulation for wave transformation in large estuarine water areas are provided

    文摘:提出了水深與流場緩水域波浪傳播數學模型水流中依賴時間變量並考慮能耗的波浪「緩坡方程」及其等價的控制方程組,分析比較了無水流情況此理論模型與其相應的兩種拋物型近似的差別,提供了長江口波浪形數值模擬計算工程實例.實例表明,該模型能適應河口三角洲大范圍水域波浪傳播數值計算
  17. At the beginning of fourth chapter, the article transforms the solving problem of partial differential equation for the american put price into a standard initial and boundary value problem of parabolic type by making some transformations. afterwards, the solving problem of parabolic type is transformed into a initial value problem of ordinary differential equation with respect to through fourier transform again. at the last section of the fourth chapter, the article solves the initial value problem with the progressive euler method and the finite element method

    在第四章,對美式看跌期權價格所滿足的偏微分方程定解問題通過作一系列換,使之轉化為一個標準的拋物型初、邊值問題,接著又通過傅里葉換,把拋物型初、邊值問題轉換為一個關于時間變量的常微分方程初值問題,然後再分別利用改進的歐拉法和有限元法對其進行了求解。
  18. The main numerical method of this code is coming from scheme ( jameson, schimit and turkel ) : using cell - centered finite volume method as spatial discretization tools, and a system of ordinary differential equations for time variable is obtained, which is solved by utilizing five - step runge - kutta scheme as time marching method, introducing artificial dissipation to damp high frequency oscillations near the shock and stagnation point

    本論文採用歐拉方程作為控制方程,利用中心有限體積法進行空離散,得到對時間變量的常微分方程組,採用龍格庫塔多步法進行積分,加入人工粘性以消除激波和駐點附近的壓力振蕩等方法來對naca0012翼型的實際流動進行并行數值模擬。
  19. ( 2 ) in the study of multivariate phenomena, each time variable should possess its own scaling parameter in order to allow maximal flexibility in time - frequency. the notion of multifrequency multifunction wavelets, to be introduced, is based on this point of view. multifrequency wavelets, via directional multiresolution analysis, generated by a single function is extended to multifrequency multifunction wavelets generated by a finite number of functions

    ( 2 )在研究多問題,為了使頻分析具有最大的靈活性,要求每個時間變量都有它自己的尺度參數,鑒於此,本文從尺度函數構成正交基或riesz基出發,把一維多函數小波推廣到二維多頻率多函數小波,解決了構造正交或雙正交多頻率多函數小波所需要的理論依據。
  20. To set up stock cost fluctuating on the trend prediction foundation on the basis of the oil price and control models for the stock of the variable of time, sell the risk of reducing of enterprise to the refined oil, instruct the business activities to be significant

    建立基於油價波動趨勢預測基礎上的存貨成本為時間變量的庫存控制模型,對成品油經銷企業降低風險、指導經營活動具有重要意義。
分享友人