預解式 的英文怎麼說
中文拼音 [yùjiěshì]
預解式
英文
resolvent-
Based on the frequent occurrence of international aerial crimes, the rampancy and cruelty of criminals and the reality of brutal consequence, the essay analyses the features of the crime of aircraft hijacking, the crime of imperiling international civil aerial security and the crime of obstructing international aerial navigation with the component terms from three important international conventions on punishing aerial crimes in order to help people to appreciate the appearance and the essence of typical international aerial crimes deeply, to regard the motion of the crimes and to overwhelm the offence forcefully. based on the core of the legislative status of international civil aerial security, the jurisdiction of the aerial crimes, one emphasis of the article is to clarify concrete clauses on jurisdiction in the three conventions and analyses the important principle of " aut reddere, aut punire ". based on the problems on the jurisdiction of crimes in international society, it quests the implementation of t he principles of jurisdiction, pleading and extradition in the three conventions deeply
基於目前國際社會航空犯罪時有發生,犯罪分子猖獗狠毒,危害後果十分殘重的現實,本文從國際社會關于懲治航空犯罪的三個重要國際公約(東京、海牙、蒙特利爾公約)中規定的各種航空犯罪的定義入手,深入展開了對劫持航空器罪、危害航空器飛行安全罪、危害國際民用航空機場安全罪的犯罪特徵及其構成條件的分析,以期幫助人們更深刻認識這些典型的國際航空犯罪的表現及其實質,嚴密注視這些犯罪的動向,對其進行及時有力的打擊;鑒于國際民用航空安全法律地位問題的核心是解決航空犯罪的管轄權問題,本文重點闡釋了三個公約關于管轄的具體規定,並側重分析了「或引渡或起訴」的重要原則;鑒于目前國際社會打擊國際航空犯罪管轄方面存在諸多實際問題,本文對公約規定的管轄、起訴、引渡原則的實現方式作了深入探討;鑒于各國在國內立法上對于空中犯罪的懲治、對違約國的制裁、對這類犯罪的預防措施等方面存在一些漏洞,本文根據目前掌握的一些資料,在獨立思考的基礎上,提出了一些不成熟的看法及建議,以期對國際社會懲治航空犯罪貢獻自己微薄之力。The first one is about the current situation and developing trend of market legal system construction ; the second part is about the convincible models for the legal regulation of market economy - necessary interference economic relationship ; the third part is about introspection and reconstructing of economic laws ; the forth part is about the analysis of macro - regulation rights and the construction of macro - regulation method ; the fifth part is on the definition of market regulation and the construction of market regulation laws ; the sixth part is about the enlightenment to china by the discussion of government ' s economic functions ; the seventh part is about the necessity and trend of judicial reform
全文共分七部分。一、市場經濟法制建設的現狀與發展趨勢;二、市場經濟法律規制的認知模式? ?需要干預經濟關系論;三、經濟法學的反思與重構;四、宏觀調控權的解析與宏觀調控法的構建;五、市場規制的界定與市場規製法的構建;六、政府經濟功能的爭論對中國的啟示;七、司法改革的必然性與司法改革的走向。Zhoushan is sea area which fertility is tiptop in our country. sea surface wind is important factor of influencing contrail of excursion oil and culturist so investigating sea surface wind of zhoushan and setting up numerical forecast model which fits this sea area can offer tool for study sea wind in this area and let us has a mensurable acquaintance ship of effect degree of physics factors which effect sea surface wind in zhoushan sea area and acquaint oneself with physic process
而海面風是影響溢油油團漂移軌跡和養殖業的重要因素,因此,對舟山海域的海面風進行研究,建立適合此區域的數值預報模式,可為研究該區域海面風作用過程提供數值預報工具,使我們對近海區域海面風場作用中物理因子的影響程度有更定量的認識,並對物理過程和影響機制有更深刻地了解。280ka aluminum smelting system is a large sized prebaking electrolytic tank developed and researched by our country. the whole system makes the control by means of centralized management and deconcentrated control. lt has the features of hight production and effciency, and, low investment, energy consumption and pollution, which are listed as hi - techindustrialization demonstrative project by the country
280ka槽鋁電解系列是我國自行開發研製的大型預焙電解槽,全系統採用計算機集中管理分散控制的方式進行控制,具有高產、高效、低投資、低能耗、低污染等特點,被國家列為高技術產業化示範工程。Firstly the patterns of the multifingered hands are detailed, eight patterns are defined. the classical bayes method is used in the classification of pre - grasp of multiple fingers based on three patterns which are grasping, holding and pinching. based on the eight pre - grasp patterns, bp neural network is applied in the classification of the pre - grasp of multifingered hands and gets a good effect. the method solves the shortcoming input sample relying on the propobility density and simplified the un - insititution characters extraction. in this paper, support vector machine ( svm ) and binary - tree with clustering is applied in the classification. this method can solve the slow speed and effect with fewness sample in the classification, achieving a good effect. in this papper, we extract the characters of the regulation object with geometry characters and extact the unregulation object with the image analysis
此法解決了輸入樣本依賴物體的概率密度的特點,簡化了分類特徵提取的不直觀性。本文還採用了支持向量機( svm )和聚類二叉樹相結合的方法對機器人手預抓取八類模式進行分類,解決了預抓取模式分類訓練速度過慢以及在分類中樣本數量偏少而影響分類效果的問題,得到了較高的正確率。本文對預抓取幾何形狀規則的物體採用直接提取其幾何特徵,對于預抓取幾何形狀不規則的物體採用圖像分析的方法進行特徵提取。The first one : fitting together ultimate values of every dimensions in one dimension - chain one by one, educing many equations by itself, calculating results, and comparing these results of close dimension to find maximal and minimal values. the second one : projecting all dimensions on two preestablished axis, then providing the solutions to analyze whether every projected dimensions is increscent or decreasing, and synthesize the effect of every projected dimensions to close dimension, educing many equations by itself, at last calculating the result of close dimension. the third one : according to monte carlo analysis, getting every dimensions " values from every dimensions " tolerances at random time after time, simulating the actual circumstances of mass production using these dimensions, and calculating reasonable results of close dimension economically
鑒于這類系統在各大中小型企業的廣泛應用與相對滯后的研究水平,本文提出了三種新的能切實地解決目前尺寸鏈計算機輔助分析解算中存在的各種難題的設計方案,第一種方案將尺寸鏈中各組成環能取的極值組合起來,自動列方程組,求解每個組合情況下的封閉環尺寸,最後比較這些結果,得出封閉環的最大最小值;第二種方案將尺寸鏈各組成環向預先設定好的兩個方向投影,之後再分析各尺寸環投影分量的增減性,並且提供了組成環兩個方向上的投影分量增減性不一的復雜情況下的解決辦法,綜合組成環各投影分量的增減性,然後自動列出方程組,最後根據各組成環的投影分量以及所列的方程組來確定尺寸鏈封閉環的尺寸;第三種方案以蒙特卡洛法為原理,在尺寸鏈各組成環的取值范圍內使用計算機產生大量隨機數,模擬實際大批量生產中的零件尺寸分佈情況,以更經濟更合理的方式分析、計算封閉環尺寸。Some photos and facts about a couple of pet millipedes. includes some basic information about keeping millipedes as pets
-幫助了解自己是否合適養寵物,並介紹寵物領養方式寵物飼養照顧常識寵物絕育與預防注射資訊。In this paper matlab and vb are used to build a software which can predict absorption coefficient ' s of the underwater anechoic coatings from these analytical models. finally, some algorithm of the single parameter minimization, nonrestraint nonlinear minimization and restraint minimization in the optimization design theory are studied. the formulas of absorption coefficient of these analytical models are object functions
本論文利用各種解析模型的聲學設計理論,使用matlab與vb軟體建立了一套水下消聲覆蓋層吸聲系數預報軟體,研究了最優化設計中單參數最小化、無約束非線性最小化和有約束最小化理論的一些演算法,利用現有模型的吸聲系數計算公式作為目標函數,初步優化了一些結構的材料參數。Adopting high resolution nested grid project and proper physical parameter, a mei - yu heavy rain process during eight july 22, 2002 and eight july 23, 2002 and the meso - b - scale systems alongwith it, were simulated by use of psu / ncar meso - scale nonstatic numerical forecast model mm5 in this paper. the simulation result describes successfully the spatial and temporal distribution of this rain process and the developing course of the concomitant meso - ? - scale systems
本文利用psu ncar的中尺度非靜力數值預報模式mm5 ,採用高解析度套網格方案和適當的物理過程,對2002年7月22日08時到23日08時的一次強梅雨暴雨過程和伴隨的中-尺度系統進行了數值模擬,結果很好地描述了本次暴雨降水的時空分佈及相伴隨的中-尺度系統的發生發展過程。E. e. enochs put forword the concepts of injective ( projective or flat ) ( pre ) cover and ( pre ) envelope in the early 1980s ", a lot of articles have studied existence and uniqueness of such ( pre ) covers and ( pre ) envelopes, the property of their kernels or cokernels, and character many special rings. moreover, if such kind of ( pre ) covers or ( pre ) envelopes exist, we can construct a complete injective ( projective or flat ) resolvent ( called resolution when exact ) and a partial injective ( projective or flat ) resolvent, and if r is a ring, we can study the relationship of its left global dimension l. d ( r ) ( or its weak dimension w ( r ) ) and the properties of syzygies ( or cosyzygies ) of a resolvent ( or resolution ), and the relationship of its left global dimension l. d ( r ) ( or its weak dimension ) and the exactness of a resolvent ( or resolution )
自八十年代初e . e . enochs首次提出並研究內射(投射、平坦) (預)蓋及內射(投射、平坦) (預)包這些概念以來,大批論文研究此類包、蓋的存在性、唯一性問題以及它們的核、上核的性質,並據此刻畫了一些常見的特殊環;更進一步地,當此類包、蓋存在時,我們可構造相應的完全投射(平坦、內射)預解式(當正合時稱為完全分解式)以及單邊投射(平坦、內射)預解式,研究了環的左(右)總體維數、弱維數與此類分解式的合沖模(或上合沖模)的性質、復形正合性之間的關系。At first a lot of new characterizations of gorenstein injective modules are given, then the author claim that a ring r is qf if and only if every left ( or right ) r - modules are gorenstein injective, and then show that if r is two - side noetherian, r is n - gorenstein if and only if every n - th cosyzygy of an injective resolution of a left ( and right ) r - module is gorenstein injective if and only if every n - th syzygy of an injective resolvent of a left ( and right ) right module is gorenstein injective. finally, we prove that for an n - gorenstein ring r with n > 0, every module can be embedded in a gorenstein injective module and the injective dimension of its cokernel is at most n - 1
首先給出了gorenstein內射模的許多新的刻畫,推出了環r是qf環當且僅當每個左(右)的r -模的單邊內射分解式的第n個上合沖是gorenstein內射模,接著推出了左、右noether環只是n - gorenstein環當且僅當每個左(右)模的單邊內射分解式的第n個上合沖是gorenstein內射模當且僅當每個左(右)模的單邊內射預解式的第n合沖是gorenstein內射模,最後推出了n - gorenstein環中每個模都可嵌入到一個gorenstein內射模之中,且其上核的內射維數不大於n - 1 。In the second section, the author studies copure injective modules, which are the kernels of injective precovers. at first the author gives some characterizations of copure injective modules, show many characterizations of reduced copure injective modules, and then study when injective precover is exact. moreover, the author claims that if l. pid ( r ) of a ring is finite, some copure injective modules can be obtained by a resolvent, finally analyze the relationship between syzygies of a resolvent and cosyzygies of a resolution on n - gorenstein rings
第二部分著重研究了上純內射模,即內射預蓋的核,首先給出了上純內射模的一些等價刻畫,然後給出了約化的上純內射模的等價刻畫,接著研究了內射預蓋在什麼條件下正合,再接著研究了當環的l . pid ( r )有限時由模的內射預(分)解式可得到一些上純內射模,最後討論了n - gorenstein環中單邊內射預解式的合沖模與單邊內射分解式的上合沖模之間的聯系。By means of the concept of - subdifferential, this paper employs a new method and constructs resolvent formula of - subdifferential operators
本文用一種新穎的方法,藉助于-次微分的概念,構造-次微分運算元的預解式來逼近問題的解。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
運用-次微分運算元的預解式技術和輔助原理技術給出了?類似變分不等式問題解的存在性和唯一性。Value of preset high resolution blocking meter in quantitative evaluation
預置式高解析度神經刺激阻滯儀量化評估價值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過程的條件及預解運算元的表達式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
利用輔助原理和預解運算元技巧,提出了解一般混合集值擬變分不等式的預估-校正演算法和三步迭代演算法。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
摘要利用集值映射的預解運算元,提出了求解一類集值混合變分不等式問題的迭代演算法,並討論了該演算法的收斂性,推廣了已有文獻的結果。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 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空間中討論了集值混合擬類變分不等式問題解集的非空性(不一定只有唯一解) 。分享友人