預解運算元 的英文怎麼說

中文拼音 [jiěyùnsuànyuán]
預解運算元 英文
resolvent operator
  • : Ⅰ副詞(預先; 事先) in advance; beforehand Ⅱ動詞(參與) take part in
  • : 解動詞(解送) send under guard
  • : Ⅰ動詞1 (物體位置不斷變化) move; revolve 2 (搬運; 運輸) carry; transport 3 (運用) use; wield...
  • : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
  • 運算 : [數學] operation; arithmetic; operating
  1. The resolvent operator of the 2n - order j - selfadjoint vector differential operator with one endpoint singularity

    自伴向量微分預解運算元
  2. Abstract : a cad tool based on a group of efficient algorithms to verify, design, and optimize power / ground networks for standard cell model is presented. nonlinear programming techniques, branch and bound algorithms and incomplete cholesky decomposition conjugate gradient method ( iccg ) are the three main parts of our work. users can choose nonlinear programming method or branch and bound algorithm to satisfy their different requirements of precision and speed. the experimental results prove that the algorithms can run very fast with lower wiring resources consumption. as a result, the cad tool based on these algorithms is able to cope with large - scale circuits

    文摘:介紹了一個基於標準單布圖模式的電源線/地線網路的輔助設計集成工具.它應用了一系列高效的演法,為用戶提供了電源線/地線網路的設計、優化和驗證的功能.非線性優化技術、分枝定界演法和不完全喬萊斯基分優共軛梯度法是該工作的三個主體部分.用戶可以選擇使用非線性規劃的方法或者幾種分枝定界方法來滿足他們對于精度和速度方面的不同需求.實驗結果表明,文中所提供的演法可以在很快的行速度下實現更低的布線資源佔用.因此,在這些有效演法基礎上實現的輔助設計工具具有處理大規模電路的能力
  3. In this thesis we mainly study degenerate - times integrated operater families and its applications to abstract cauchy problems, and we study the mean ergodicty theorems and the convergence rates of ergodic limits and approximation for k - regularized resolvent families

    本文我們主要研究退化( r ) -次積分預解運算元族及它對抽象cauchy問題的應用,並且研究k -正則預解運算元族的平均遍歷定理和遍歷極限的收斂率。
  4. In three part we study the ergodicty for k - regularized resolvent operator families including the mean ergodicty, abel - ergodicity and cesaro - ergodicity. we prove the mean ergodic theorems of k - regularized resolvent operator families. and we give out the definition of abel - ergodicity and cesaro - ergodicity for k - regularized resolvent operator families. moreover, we give the relationship between the two kinds of ergodicity and their basic properties

    我們證明了k -正則預解運算元族的平均遍歷定理。給出了k -正則預解運算元族的abel遍歷性和ces ro遍歷性的定義,並證明了它們的相互關系和一些基本性質。
  5. This text completely and systematically studies the status and the development of the pyrolysis and the fluidization of biomass, which distill the bio - oil in the domestic and international area, as well as the existing problems. this thesis primarily include following aspects : ( l ), by experimenting and measuring the energy ( heat value ) and the content of c, h, n chemical element of right 20 kinds of common biomass, on the base of the experimental result, and respectively established the biomass energy predict experiment formula with the element of h and c is from change, and passed the ro. os examination, which provides the basis and convenience for flash pyrolysis fluidization device energy to convert the rate to compute with biomass energy utilization calculation ; ( 2 ), proceeded the tg and dtg experimentation equal velocity ( 10 ? / min, 20 ? / min, 40 ? / min, 60 ? / min ) heating and constant temperature heating by studying on eight kinds of biomass samples, according to the experimental data and arrhenius formula, we established the dynamics model of pyrolysis of, then, using the goast - redfern and p function, we also solved the dynamics parameters and analyze out every kind of biomass ' s frequency factor and parameters of activation energy, and established the every kind of dynamics model of pyrolysis of biomass, all of these provide the theories and basis to make sure the reactor ' s flash pyrolysis work temperature scope design and the describing of pyrolysis reactor dynamics ; ( 3 ), in order to study and ascertain the process of heat completely getting to pyrolysis time of varied size biomass particles, we observed and measured the ratio of length and diameter ( l / d ) with the varied biomass through electron microscope, we concluded the l / d ratios usually is from 5. 0 to 6. 0, the average is 5. 3 ; ( 4 ), we studied the process of biomass transiting and the theory of complete pyrolysis time with the theory of complicated heat field, we got the time ( t ) of the varied size biomass particles arriving to complete pyrolysis, and we knew that the complete pyrolysis time and the time which get to the biggest production ratio are identical, all of these studies provide the theory base for design and forecasting the flash pyrolysis reactor solid state resort time ; ( 5 ), according to the above experiment result, synthesize to make use of the engineering the mechanics, engineering the material, machine the design to learn the principle, deduce, establish the theory of rotation cone flash pyrolysis reactor material resort time ( t ) and reasonable rotation velocity ( or frequency ) relation theory ; and ( 6 ), we gave the reactor ' s smallest cone angle certain, reactor cone wall strength design theory, the reactor production ability theory, the power design method and the critical rotation velocity theory

    本文較全面、系統地綜述了國內外生物質熱液化制取生物燃油技術研究發展現狀及存在的問題,主要研究內容有: ( 1 )實驗、測定了20種常見生物質的能量(發熱量)和c 、 h 、 n素含量,根據實驗結果分別建立了以h和c為自變量的生物質能量測經驗公式,並通過r _ ( 0 . 05 )檢驗;為閃速熱液化裝置能量轉化率計和生物質能量利用率計提供了依據和方便; ( 2 )選擇了8種生物質試樣作了等加熱速率( 10 min 、 20 min 、 40 min 、 60 min )和恆溫加熱的tg和dtg實驗,根據實驗數據和阿倫尼烏斯公式建立了生物質熱反應動力學微分方程,並採用goast - redfem積分法和p函數對其動力學參數進行了求析出各種生物質的頻率因子和活化能參數,進而建立了各種生物質的熱動力學模型,為科學確定反應器的閃速熱工作溫度范圍及熱反應動力學描述,提供了理論和依據; ( 3 )為研究和確定不同尺度的生物質顆粒中心達到全熱的時間,在體視顯微鏡下對不同粒度的生物質顆粒的長徑比進行了實驗觀察和測定,得出生物質的長徑比( l d )一般在5 . 0 6 . 0之間,平均為5 . 3的結果; ( 4 )採用復雜溫度場傳熱學理論對生物質傳熱過程及充分熱時間理論進行了研究,析推導出了不同尺寸生物質顆粒中心溫度達到充分熱溫度的時間( t ) ,得出了理論推導的充分熱時間與最大產油率的熱時間相一致的結果,為閃速熱反應器固相滯留時間設計和測提供了理論依據; ( 5 )根據上述實驗結果,綜合用工程力學、工程材料、機械設計學原理,推導、建立了轉錐式閃速熱反應器物料滯留時間( )與轉速(或頻率)合理匹配理論; ( 6 )提出了轉錐式閃速熱反應器的最小錐角設計、錐壁強度設計、生產能力設計理論和功率計方法及臨界轉速理論等。
  6. In order to overcome problems arisen from the application of x fluorescence analysis into complex spectrum produced by archaeological ceramic fragments with multi - element, low content and thick ground, we have employed the artificial neural network into the research of x fluorescence archaeology and conducted three kinds of research works. as the first one, we have applied the linear olam network ( optimal linear association memory network ) and the non - linear bp network ( back - propagation network ) respectively to analyze the complex x fluorescence spectrum of archaeological samples, and taken both results of spectrum analysis to compare with each other. the second, the method of pattern recognition of bp network was tentatively used to perform intelligent identification of production places of these archaeological samples

    針對科技考古中對大量考古陶片進行產地研究時x熒光分析對多素、低含量、厚基底考古陶片產生的復雜譜分析的問題,將人工神經網路引入x熒光考古中,進行了三方面的研究工作:一是用線性olam網路(最優線性聯想網路)和非線性bp網路(誤差反傳導網路)分別對考古樣品的x熒光復雜譜進行譜,並比較二者的譜效果;二是用bp網路模式識別方法對考古樣品的產地進行智能識別;三是為了提高網路的可靠性和減小基體效應及電噪聲的干擾和影響,研究並提出了三種網路學習前的譜數據處理方法。
  7. Visual analysis of human motion has been receiving increasing attention from researchers in the fields of image processing and computer vision during the past few years. it has a lot of applications in virtual reality, smart surveillance system, advanced user interface, motion analysis and video compressing, etc. this paper focuses on the technology of human motion tracking based on video, first, we make a summarization of the domestic and overseas status of the research in this field. on the basis of this, we analyse the technical difficulties of human motion tracking. as most of the existing model - based methods of human motion tracking perform not so good in some situation as they need mannual intervention, and also the precision of tracking is not so satisfying during the research of tracking of walking people because of the self - occlusion of legs, this paper proposes an algorithm of automatic detection and tracking of legs of the walking people based on monocular image sequences, in which we analyse the features of walking people, track the five joints of lower limbs, get various parameters, and then re - construct the walking process. the main research achievement is as follows : 1 ) we propose an algorithm of markerless automatic extraction of leg skeleton. first we divide the video into continuous image sequences, after background subtraction, the satisfying human region could be extracted, then we get a single - connected region by converting the rgb image to binary image and median filtering. afterwards, the contour of lower limbs in the frame with a widest boundingbox is detected, using sobel operator, to find the ankle joint of leg behind according to the features and rules of walking, then, the joint of knee of leg behind, hip, ankle of leg in front, knee of leg in front could be got in turn. so, model of leg skeleton is constructed

    首先將視頻分成許多連續的靜態圖像幀,經過背景去除,把感興趣的人體區域提取出來,通過二值化,中值濾波等處理方法得到只有人體的一個單連通區域,然後用sobel檢測出boundingbox最寬幀中人體下半身的輪廓,根據動規律及特徵找到後腿踝關節點,結合從boundingbox最窄幀中所獲取的腿長依次得到後腿膝關節,跨部關節,前腿踝關節,前腿膝關節四點,從而構建出腿部骨架模型。 2 )實現了人體步行腿部骨架的跟蹤演法。在完成對腿部骨架模型的自動初始化之後,本文對跨關節、膝關節及踝關節分別採用動建模、圓周相交定點演法、測及測點周圍搜索rgb相似矩形塊三種方法確定每一幀中其實際坐標,從而重構出腿部骨架的動過程。
  8. In the final part we concern with the convergence rates of ergodic limits and approximation for k - regularized resolvent families for a linear volterra integral equation. we give the ergodicty for k - regularized resolvent operator families at 0 and we also prove their basic properties by means of k - functional and relative completion. finally, we obtain some results of the convergence rates of ergodic limits and approximation for k - regularized resolvent families

    第四章我們主要研究了k -正則預解運算元族的遍歷極限的收斂率和逼近。藉助于k -泛函和相對完備化,給出了k -正則預解運算元族在0點的遍歷性,證明了一些基本性質。我們也證明了k -正則預解運算元族的遍歷極限的收斂率和逼近的一些結果。
  9. By means of the concept of - subdifferential, this paper employs a new method and constructs resolvent formula of - subdifferential operators

    本文用一種新穎的方法,藉助于-次微分的概念,構造-次微分式來逼近問題的
  10. Using techniques of resolvent formula of - subdifferential operators and auxiliary principle, we presented the existence and uniqueness of the solution of a class of variational inequalities

    用-次微分式技術和輔助原理技術給出了?類似變分不等式問題的存在性和唯一性。
  11. We first present the decomposition of finite rank operators and trace class operators in a weakly closed nest algebra algn - module. secondly, the same question for finite rank operators in the preanm ' hilator of an atomic boolean lattice algebra is considered. ( 6 ) let n be a nest on a hilbert space h. and u be any weakly closed algn - module

    在第三章中,我們首先討論了弱閉套代數模中的有限秩和跡類的「保跡范數可加性分」問題,然後研究了原子boolean格代數的零化子中的有限秩,得到( 6 )設n是hilbert空間h中的一個套, u是任一弱閉algn -模。
  12. A important result abrout the left - infinitesimal operator and the right - resolvent operator of a two - parameters semigraoup

    雙參數半群的左無窮小和右預解運算元的一個重要結果
  13. The rs64 family leaves things like branch prediction, exceptional floating - point powers, and hardware prefetch to its power3 cousin and focuses instead on exceptional integer performance and large, sophisticated on - and off - chip caches

    Rs64系列將諸如分支測、浮點處理以及硬體取之類的問題留給其兄弟power3晶決,自己則專注于整數性能和大型復雜的片上、片外緩存的處理。
  14. Abstract : the present paper presents a new type of extension of markov process, which is, the condition of markov process as well as q process, and the expression of resolvent operator

    文摘:提出一種新型的馬氏過程延拓,同時給出了這種延拓既是馬氏過程又是q過程的條件及預解運算元的表達式
  15. Some new predictor - corrector methods and three - steps iterative algorithms for solving multivalued general mixed quasi - variational inequalities is presented by using the auxiliary principle and resolvent operator technique, respectively

    利用輔助原理和預解運算元技巧,提出了一般混合集值擬變分不等式的估-校正演法和三步迭代演法。
  16. An iterative algorithm for a class of set - valued mixed variational inequalities is presented by means of resolvent operators of set - valued mappings, and the convergence of the iterative algorithm is discussed

    摘要利用集值映射的預解運算元,提出了求一類集值混合變分不等式問題的迭代演法,並討論了該演法的收斂性,推廣了已有文獻的結果。
  17. We construct some new iterative algorithms with errors for solving these generalized fuzzy variational inclusions by using the resolvent operator technique for maximal - monotone mappings and prove the convergence of iterative sequences generated by the algorithms

    為了利用-極大單調映象的預解運算元技巧求這類廣義模糊變分包含,我們建立了一些新的含誤差的迭代演法,並證明了由這類演法產生的迭代序列的收斂性。
  18. The same rank lipschitz continuous development of single - valued mappings is proven by means of partially ordered theory on finite dimensional euclidean spaces. the problem that under what conditions the - resolvent operator of a maximal tj - monotone set - valued mapping is a lipschitz continuous single - valued mapping on whole space, which also answers the open problem mentioned above, is studied on finite dimensional euclidean spaces. the problem is researched that under what conditions the - resolvent operator of - subdifferential mapping of a proper functional is a lipschitz continuous single - valued mapping on whole space

    ?引入了集值映射的-預解運算元概念;藉助于偏序理論證明了有限維歐氏空間中的單值映射可同秩lipschitz連續拓展;討論了有限維歐氏空間中的極大-單調集值映射的-預解運算元在什麼條件下是整個空間上的一個lipschitz連續的單值映射,這一結果也在有限維空間上決了上面提到的公開問題;還討論了真泛函的-次微分映射的-預解運算元在什麼條件下是整個空間上的一個lipsehitz連續的單值映射。
  19. One is, based on answering the above open problem on a finite dimensional euclidean space by means of partially ordered theory, to research the existence of solutions, global error bounds of proximal solutions and sensitivity of parametric unique solutions and present a class of variable - parameter three - step iterative algorithms for generalized set - valued variational inclusion problems by using - resolvent operator of set - valued mapping. two is to consider the convexity, closedness and boundedness of the solution set of general set - valued variational inclusion problems and the sensitivity of the parametric solution set by means of graphical convergence theory. three is to discuss directly the existence of solutions by using analytical methods for set - valued mixed quasi - variational - like inequalities and suggest a class of direct variable - parameter three - step iterative algorithms for solving generalized set - valued variational inclusions

    研究分有三個方面:一是藉助于偏序理論在有限維歐氏空間中決了上述公開問題,在此基礎上利用集值映射的-預解運算元,研究了廣義集值變分包含問題的存在性、逼近的全局誤差界、參數唯一的靈敏性,並提出了一類變參數三步迭代演法;二是藉助于圖收斂理論研究了一般集值變分包含問題集的凸性、閉性和有界性以及參數集的靈敏性;三是用分析的方法直接討論了集值混合擬類變分不等式問題的存在性並提出了一類求廣義集值變分包含問題的直接變參數三步迭代演法。
  20. The existence conditions of unique solutions are discussed by using - reslovent operators for set - valued mixed quasi - variational - like inequality and generalized set - valued variational inclusion problems on finite dimensional euclidean spaces ; respectively. the problem that under what conditions the solution set is nonempty ( not necessarily unique solution ) is

    ?利用-預解運算元在有限維空間中探討了集值混合擬類變分不等式問題和廣義集值變分包含問題存在唯一的條件;利用分析的方法在實hilbert空間中討論了集值混合擬類變分不等式問題集的非空性(不一定只有唯一) 。
分享友人