抽象運算元 的英文怎麼說
中文拼音 [chōuxiàngyùnsuànyuán]
抽象運算元
英文
abstract operator-
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 -正則預解運算元族的平均遍歷定理和遍歷極限的收斂率。Difference from other algebraic structures which are introduced for some logic system, implication algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator. the main results of this paper is given as the following : 1
特別值得提出的是，與其它為研究邏輯系統而引入的代數結構不同，蘊涵代數是對一個邏輯聯結詞，即蘊涵運算元（蘊涵邏輯聯結詞）抽象而得到的，其它運算元均是由蘊涵運算元誘導而得到。Abstract operator logic and its natural deduction system
抽象運算元邏輯及其自然演繹系統We also give out the notion of mild degenerate a - times integrated existence family, and prove that the wellposedness of the a - times abstract cauchy problems is equivalent to mild degenerate a - times integrated existence famliy generated by operator a where a satisfies with some conditions and degenerate a - times integrated semigroups mild generated by a. at last, we conclude the generation theorem of degenerate a - times integrated semigroups. and we prove that degenerate a - times integrated semigroups mild generated by a is equivalent to generated by a
我們也給出了mild退化-次積分存在族的概念。我們證明了， （ + 1 ） （ r ） -次抽象cauchy問題的適定性和閉線性運算元a在一定條件下， a的mild退化-次積分存在族以及a次生成退化的-次積分半群是等價的。最後，我們也給出了退化-次積分半群的生成定理。Similarly, we prove that the c - wellposedness of the a - times abstract cauchy problems is equivalent to mild degenerate a - times integrated c - existence famliy mild generated by operator a where a satisfies with some conditions and degenerate a - times integrated semigroups mild generated by a. finally, we obtain the generation theorem of degenerate a - times integrated c - semigroups. and we prove that degenerate a - times integrated c - semigroups mild generated by a is equivalent to generated by a
我們同樣證明了（ + 1 ） （ r ） -次抽象cauchy問題的c -適定性和閉線性運算元a在一定條件下，其mild退化-次積分c存在族以及a次生成退化-次積分正則半群是等價的。我們也證明了退化-次積分正則半群的生成定理。According to the rules and considerations which are based and taken into account in the practical work, this paper proposes a new model for distribution maintenance scheduling which intends to find the most economical maintenance schedule without violating any restrictions and also the paper makes a deep research of ga, sa and ts. by constructing two effective instructive rules which derive from the feature of distribution maintenance schedule and introducing ts into mutation operation of ga in the earlier generations, the proposed method improves the convergence of optimization and shortens the calculation time. the proposed model and method are applied to a practical system, and numerical results verify ' the correctness and validity of them
本文結合實際電力調度計劃工作中檢修計劃的制定原則和所要考慮的各種因素，抽象出適合配電網檢修計劃優化的數學模型：對遺傳演算法、模擬退火演算法以及禁忌搜索演算法等多種演算法進行了研究和分析比較，針對遺傳演算法的不足提出了通過對實際問題的分析抽象出一定規則指導演算法在解空間進行搜索和兩階段變異運算元兩項改進措施，並應用於配電網檢修計劃優化，編制了相應的應用軟體；應用該軟體對我國南方某地區供電局某月的檢修計劃進行優化的結果表明，本文所提出的模型和改進的優化方法是正確和有效的。Existence and uniqueness for the solution of non - monotone operator equation in banach space
抽象空間非單調運算元方程解的存在唯一性But all the results were established on the basis that the operator in delay term is bounded. for the condition that the operator is unbounded in delay term which is constant, liu [ 4 ] and guo [ 8 ] have made some research and got some sufficient and necessary conditions
但上述結果都是建立在時滯項所含運算元為有界運算元的基礎上，對于時滯項含無界運算元的抽象微分方程對小時滯的魯棒穩定性，劉康生[ 4 ] ，郭發明[ 8 ]做了一些研究並獲得了一些充分必要條件。One problem is that a pointer is not a type abstraction, but a machine representation with a tag type recommendation as to how to interpret the extent and internal organization of the memory following the address of the first byte, and this falls short of the abstraction the software runtime imposes on memory and the automation and security one can extrapolate from that
一個問題是：指針不是類型抽象，而是計算機表示形式（對于地址的第一個位元組后的內存的外部和內部組織方式的解釋方式，採用標記類型建議） ，這達不到軟體運行庫對內存強制的抽象性要求，以及可由此推斷出的自動化和安全性要求。Integral operator solving process of the boundary value problem of abstract kinetic equation with generalized periodic boundary conditions
具廣義周期邊界條件之抽象動力方程邊值問題的積分運算元求解法Integral operator solving process of the boundary value problem of the abstract kinetic equations with a parameter and reflecting boundary condition
具反射邊界條件之抽象動力方程邊值問題的積分運算元求解法Abstract cutter teeth and gear teeth are simplified as mechanical models, the bending deformation at contact nodes is calculated by applying the three - dimension finite element method and analyzing their mechanical condition, the relation curve between shaving force and bending deformation is drawn out
簡介：摘要將刀齒和輪齒抽象簡化為力學模型，分析其受力狀態，並運用三維有限單元法計算各節點的彎曲變形量。According to the idea of the finished em - plant hiberarchy and dynamic model and the process characteristics and simulation aims of container terminals, the paper introduce the characteristics and modelling process of discrete event ; at the specification of em - plant, the paper show the modelling unit and programming function of em - plant detailedly. next, a computer simulation model of container terminal logistics system is made based on the software of em - plant and is validated by the data of an actual terminal. at last the model is used to analyze the present productivity of an actual container terminal and the bottleneck of its logistics system after the terminal is expanded, and provides the decision support for the terminal
根據天津港集裝箱碼頭物流系統的層次模型和動態模型的思路，以天津港碼頭的數據為原型，根據天津港集裝箱碼頭生產作業的特點與模擬目標的要求，介紹了離散事件系統的特點和對離散系統模擬的步驟，在em - plant的主要特點說明中，詳細介紹了em - plant的建模單元和其編程功能，針對本模型的特點，說明了模型的結構和模擬目標，在保持模型主要特點和功能的前提下對模型進行了必要的抽象和簡化，然後藉助現代離散事件動態系統模擬語言em - piant ，建立了集裝箱碼頭物流系統的計算機模擬模型，並利用碼頭的實際營運數據驗證了模擬模型的可靠性。The unbounded perturbation of a hille - yosida operator and the wellposedness for a class of abstract boundary value problems
運算元的無界擾動與一類抽象邊值問題的適定性By combining the theory of monotone semiflows generated by rfdes and the fixed point theorem of abstract operators, the existence of positive periodic solutions of rfdes is established under the suitable conditions which are useful and easy to verify. nontrivial applications of our results to some periodic ecological systems are also presented
通過建立相應的泛函微分方程產生的單調半流理論，結合抽象運算元的不動點定理，給出了泛函微分方程存在正周期解的充分條件，最後用若干周期生態系統的例子來驗證所得的結果。In the second part of this paper ( chapter 4 ), by constructing the monotone semiflows for retarded functional differential equations with infinite delay, the existence of positive periodic solutions of is given by combining the fixed point theorems of abstract operators. a nontrivial application to periodic ecological systems is presented to illustrate our results
本文的第二部分（第四章）通過對一類無窮時滯周期泛函微分方程構建其單調半流理論，結合抽象運算元不動點定理，獲得了其正周期解的存在性，並將所得結果應用到生態系統上。These results play a fundamental part in solving of abstract cauchy problem. on the other hand, we treat those aspects of the properties closely related to the hilbert lattice and banach lattice and consequently obtain some deep results
給出了半群，對偶半群生成元之間的聯系，以及格空間的分解性質，這些結果對于豐富正運算元的內容，探討抽象cauchy問題的解具有重要作用。分享友人