預解式 的英文怎麼說

中文拼音 [jiěshì]
預解式 英文
resolvent
  • : Ⅰ副詞(預先; 事先) in advance; beforehand Ⅱ動詞(參與) take part in
  • : 解動詞(解送) send under guard
  • : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
  • 解式 : solution
  1. 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

    基於目前國際社會航空犯罪時有發生,犯罪分子猖獗狠毒,危害後果十分殘重的現實,本文從國際社會關于懲治航空犯罪的三個重要國際公約(東京、海牙、蒙特利爾公約)中規定的各種航空犯罪的定義入手,深入展開了對劫持航空器罪、危害航空器飛行安全罪、危害國際民用航空機場安全罪的犯罪特徵及其構成條件的分析,以期幫助人們更深刻認識這些典型的國際航空犯罪的表現及其實質,嚴密注視這些犯罪的動向,對其進行及時有力的打擊;鑒于國際民用航空安全法律地位問題的核心是決航空犯罪的管轄權問題,本文重點闡釋了三個公約關于管轄的具體規定,並側重分析了「或引渡或起訴」的重要原則;鑒于目前國際社會打擊國際航空犯罪管轄方面存在諸多實際問題,本文對公約規定的管轄、起訴、引渡原則的實現方作了深入探討;鑒于各國在國內立法上對于空中犯罪的懲治、對違約國的制裁、對這類犯罪的防措施等方面存在一些漏洞,本文根據目前掌握的一些資料,在獨立思考的基礎上,提出了一些不成熟的看法及建議,以期對國際社會懲治航空犯罪貢獻自己微薄之力。
  2. 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

    全文共分七部分。一、市場經濟法制建設的現狀與發展趨勢;二、市場經濟法律規制的認知模? ?需要干經濟關系論;三、經濟法學的反思與重構;四、宏觀調控權的析與宏觀調控法的構建;五、市場規制的界定與市場規製法的構建;六、政府經濟功能的爭論對中國的啟示;七、司法改革的必然性與司法改革的走向。
  3. 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

    而海面風是影響溢油油團漂移軌跡和養殖業的重要因素,因此,對舟山海域的海面風進行研究,建立適合此區域的數值報模,可為研究該區域海面風作用過程提供數值報工具,使我們對近海區域海面風場作用中物理因子的影響程度有更定量的認識,並對物理過程和影響機制有更深刻地了
  4. 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槽鋁電系列是我國自行開發研製的大型焙電槽,全系統採用計算機集中管理分散控制的方進行控制,具有高產、高效、低投資、低能耗、低污染等特點,被國家列為高技術產業化示範工程。
  5. 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 )和聚類二叉樹相結合的方法對機器人手抓取八類模進行分類,決了抓取模分類訓練速度過慢以及在分類中樣本數量偏少而影響分類效果的問題,得到了較高的正確率。本文對抓取幾何形狀規則的物體採用直接提取其幾何特徵,對于抓取幾何形狀不規則的物體採用圖像分析的方法進行特徵提取。
  6. 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

    鑒于這類系統在各大中小型企業的廣泛應用與相對滯后的研究水平,本文提出了三種新的能切實地決目前尺寸鏈計算機輔助分析算中存在的各種難題的設計方案,第一種方案將尺寸鏈中各組成環能取的極值組合起來,自動列方程組,求每個組合情況下的封閉環尺寸,最後比較這些結果,得出封閉環的最大最小值;第二種方案將尺寸鏈各組成環向先設定好的兩個方向投影,之後再分析各尺寸環投影分量的增減性,並且提供了組成環兩個方向上的投影分量增減性不一的復雜情況下的決辦法,綜合組成環各投影分量的增減性,然後自動列出方程組,最後根據各組成環的投影分量以及所列的方程組來確定尺寸鏈封閉環的尺寸;第三種方案以蒙特卡洛法為原理,在尺寸鏈各組成環的取值范圍內使用計算機產生大量隨機數,模擬實際大批量生產中的零件尺寸分佈情況,以更經濟更合理的方分析、計算封閉環尺寸。
  7. Some photos and facts about a couple of pet millipedes. includes some basic information about keeping millipedes as pets

    -幫助了自己是否合適養寵物,並介紹寵物領養方寵物飼養照顧常識寵物絕育與防注射資訊。
  8. 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軟體建立了一套水下消聲覆蓋層吸聲系數報軟體,研究了最優化設計中單參數最小化、無約束非線性最小化和有約束最小化理論的一些演算法,利用現有模型的吸聲系數計算公作為目標函數,初步優化了一些結構的材料參數。
  9. 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時的一次強梅雨暴雨過程和伴隨的中-尺度系統進行了數值模擬,結果很好地描述了本次暴雨降水的時空分佈及相伴隨的中-尺度系統的發生發展過程。
  10. 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首次提出並研究內射(投射、平坦) ()蓋及內射(投射、平坦) ()包這些概念以來,大批論文研究此類包、蓋的存在性、唯一性問題以及它們的核、上核的性質,並據此刻畫了一些常見的特殊環;更進一步地,當此類包、蓋存在時,我們可構造相應的完全投射(平坦、內射)預解式(當正合時稱為完全分)以及單邊投射(平坦、內射)預解式,研究了環的左(右)總體維數、弱維數與此類分的合沖模(或上合沖模)的性質、復形正合性之間的關系。
  11. 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 。
  12. 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環中單邊內射預解式的合沖模與單邊內射分的上合沖模之間的聯系。
  13. By means of the concept of - subdifferential, this paper employs a new method and constructs resolvent formula of - subdifferential operators

    本文用一種新穎的方法,藉助于-次微分的概念,構造-次微分運算元的預解式來逼近問題的
  14. 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

    運用-次微分運算元的預解式技術和輔助原理技術給出了?類似變分不等問題的存在性和唯一性。
  15. Value of preset high resolution blocking meter in quantitative evaluation

    析度神經刺激阻滯儀量化評估價值
  16. 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過程的條件及運算元的表達
  17. 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

    利用輔助原理和運算元技巧,提出了一般混合集值擬變分不等估-校正演算法和三步迭代演算法。
  18. 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

    摘要利用集值映射的運算元,提出了求一類集值混合變分不等問題的迭代演算法,並討論了該演算法的收斂性,推廣了已有文獻的結果。
  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空間中討論了集值混合擬類變分不等問題集的非空性(不一定只有唯一) 。
分享友人