resolvent set 中文意思是什麼
resolvent set
解釋
預解集-
At the same time, the relation between the villager committee and the country party branch also is in face of difficult problem, whose resolvent is to set up a villager representative conference system
而在村政一級，村民委員會與村黨支部的關系也面臨挑戰，建立完善的村民代表會議制度或許是協調二者關系的一個途徑。 -
First we consider the spectral properties of the operator corresponding to this system and obtain that all points on the imaginary axis except for zero belong to resolvent set of the operator, zero is an eigenvalue of the operator and its adjoint operator with geometric multiplicity one
先討論了對應于該系統的主運算元的譜特徵並且得到了在虛軸上除了0點外其它所有點都屬于該主運算元的豫解集， 0是該主運算元及其共軛運算元幾何重數為1的特徵值。 -
Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method
本文在格值命題邏輯系統lp （ x ）和格值一階邏輯系統lf （ x ）的基礎上，討論了廣義格值模態邏輯系統的語義及語法性質，並對其-歸結原理做了初步探討，主要在下述三個方面取得了研究成果：第一部分：關于格值模態命題邏輯系統及其歸結方法的研究在此部分，把模態運算元n （必然）和p （可能）引入格值命題邏輯系統lp （ x ） ，建立了新的格值模態命題邏輯系統lmp （ x ） ，並研究了它的語義刻畫及語法結構，證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的；在此基礎上，進一步研究了基於格值模態命題邏輯系統lmp （ x ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。 -
The paper carefully describes important technology relevant of the new scheme. the thinking and purpose of realizing software interrupt emulation technology is explained in detail, and the concrete tactics of implementing the refined timer in two styles is set forth. the paper discusses two real time schedule arithmetic adopted by real time kernel such as rate monotonic analysis arithmetic and earlier deadline first arithmetic, and the resolvent of preventing priority inversion is made out
文章對新實現方案的重要相關技術做了細致的論述，其中，詳細說明了軟體中斷模擬技術的實現思路和目的；對兩種模式下（ periodic 、 oneshot ）細粒度定時器的具體實現策略做了闡述；對實時內核所採用的兩種實時調度演算法：速率單調性分析演算法和最早期限優先演算法進行了描述，並提出了防止優先級反轉的解決方法。 -
Existence theory for. a kind of generalized nonlinear set - valued quasi - variational inclusionsand resolvent equations in banach spaces
一類集值擬變分包含解的存在性定理 -
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
摘要利用集值映射的預解運算元，提出了求解一類集值混合變分不等式問題的迭代演算法，並討論了該演算法的收斂性，推廣了已有文獻的結果。 -
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連續的單值映射。 -
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
研究分有三個方面：一是藉助于偏序理論在有限維歐氏空間中解決了上述公開問題，在此基礎上利用集值映射的-預解運算元，研究了廣義集值變分包含問題解的存在性、逼近解的全局誤差界、參數唯一解的靈敏性，並提出了一類變參數三步迭代演算法；二是藉助于圖收斂理論研究了一般集值變分包含問題解集的凸性、閉性和有界性以及參數解集的靈敏性；三是用分析的方法直接討論了集值混合擬類變分不等式問題解的存在性並提出了一類求解廣義集值變分包含問題的直接變參數三步迭代演算法。 -
The concepts of the global ( local ) resolvent - type error bounds for set - valued quasi variational inclusions are presented, which can be used to analyze the convergence rates of various methods
摘要提出了集值擬變分包含的全局預解類誤差界的概念，給出集值擬變分包含的全局預解類誤差界。
分享友人