有序有界性 的英文怎麼說
中文拼音 [yǒuxùyǒujièxìng]
有序有界性
英文
order boundedness-
The performances indexes and curves of the model si 1126 diesel engine are obtained by simulation calculation ; the main curves for the affection of calibrate parameters on the performance of model si 1126 diesel engine are also obtained by simulation tests o the results and test data are analyzed o the major contents are as follows : a ) study on the demands of software and hardware environment of ktva on pc. kiva is originally designed for cray computer and workstation, but on pc it needs to be tested o b ) ktva code such as variables scopes of values and so on, needs revising to meet the needs of pc
應用該軟體，對縮短內燃機的設計周期、優化性能研究、環保和節能等方面都具有極高的應用價值。目前，國內同行業對kiva的運用尚處于起步階段，原因是國內所見到的kiva程序集不完整，且沒有漢化、沒有使用界面和使用說明書，軟體的運行環境要求特殊，而且復雜。本文作者通過對kiva的研究，揭示了該程序集的使用方法，恢復、完善並新增加了該程序集的功能；經過二次開發，建成了完整的內燃機模擬技術平臺。The anion surfactant nals was the most efficient in the process and was selected as collector by orthogonal method. the interfacial tension and cmc of nals ( cmc 6. 5 10 - 3m ) in the solution was measured by hanging ring test, the function relationship between interfacial tensions and nals concentration was : = - 0. 9523 in 2c - 24. 534 in c - 81. 411. the relation of interfacial adsorption equilibrium in the solution system was respectively tested and calculated with gibbs equation and dynamic method. the conclusion showed that ( 1 ) the experiment result of dynamic method with was highly in coordination with the value which from theoretical calculation. ( 2 ) the surfactant molecule was in arrangement of monomolecular layer at the gas - liquid interface
用吊環法測定了十二烷基硫酸鈉水溶液不同濃度與其界面張力的關系，擬合得到的回歸方程為= - 0 . 9523ln ~ 2c - 24 . 534lnc - 81 . 411 ，同時還測得其臨界膠束濃度值（ cmc為6 . 5 10 ~ （ - 3 ） m ） ，運用吉布斯等溫方程和動態法分別計算和測定了該溶液系統的界面吸附平衡關系，結論表明： （ 1 ）動態法測定結果基本吻合吉布斯方程的理論計算； （ 2 ）表面活性劑分子在氣?液兩相界面是以單分子層形式定向有序排列的。First, it was taken that a discuss about the effects of geometry parameters of each piezocrystal on direction parameters ( main lobe width, side lobe amplitude, elimination of grating lobes ), amplitude of ultrasonic pressure, element viberation pattern, mutual radiation among elements, efficient test regions, ability to keep accurate and near - field distance and so on. based on the direction of ultrasonic field in ulpa deduced by ourselves. in addition, on the base of integrating all kinds of factors, it was put forward that the principle and method for optimized design of geometry parameters of piezocrystals in ulpa transducer, and its design programme and interface were compiled
首先在推導超聲相控線陣換能器聲場的指向性的基礎上，就各個晶片幾何參數對指向性指標（主瓣寬度、旁瓣幅度、消除柵瓣） 、聲壓幅值、陣元振動模式、陣元間互輻射、有效檢測區域、精確控制能力、近場長度等方面的影響進行了論述，並在綜合各方面影響的基礎上，提出了晶片幾何參數優化設計的原則和方法，編寫了設計程序和界面。The differences between the internal chemical composition of a cell and that of its external environment represent a degree of order.
細胞內部的化學成分和它的外界環境的化學成分之間差異，表現非常嚴格的有序性。Recently, when a. dmitrienko ( 2000 ) [ 5 ] constructed the sequential confidence regions for maximum likelihood estimates, they put forward a new asymptotic property : bounded cost of ignorance, that is lim ( en ( d ) - n ( d ) ) <. it ' s an asymptotic property which is worthy of consideration
最近， a . dmitrienko （ 2000 ）在構造極大似然估計的序貫置信區域時，提出了一個新的漸近性質：未知代價的有界性（ boundedcostofignorance ） ，即這是一個很值得考慮的漸近性質。Because of limit that invisibility and discommodious in anciently program, based on the method of limited rigid body equilibrium, using visual program language vb and connect autocad, realize plane and solid programme of abutment analysis of arch dam, provide alternation interface for designer. presently, our country constructing and will construct high 300m arch dam, it is important to judge security based on nonlinear fem analysis. basic theory of nonlinear fem analysis and its realization in ansys were studied
針對傳統程序的存在問題，非直觀、不易操作特點，以剛體極限平衡法為基本分析方法， visualbasic作為操作平臺，結合autocad圖形軟體，完成了剛體極限平衡法二維、三維壩肩穩定分析程序設計，使之具有直觀性，可視性、易操作性，為設計人員提供了具有友好界面的工程使用軟體目前我國西部在建和將建一批300m級的高拱壩，運用有限元方法計分析拱壩穩定性、評判大壩安全度十分有必要。On the base of fully utilizing the available data about tectonic maps and structural elements, the present paper has made synthesized research that used the ways of stratigraphic sequence edge unconformity analysis and stratigraphic thickness correlation analysis, and combined seismic - data interpretation, review of paleo - structure and ancient landform and research of tectonic evolution and petroleum system, and combined region and location, plane and profile and time and spatial. by the synthesis analysis on tectonic evolution of hetian paleo - uplift in tarim basin, the results indicate that : ( 1 ) hetian paleo - uplift is a sedimental and erosional paleo - uplift. the formation and evolution of the hetian paleo - uplift experienced three stages, that is, the uplifting and eroding stage of the caledonian period, the depositional stage of the hercynian period and the destroying stage of the himalayan period, and evolved from paleo - lift to inclining strap at last
本文採用地質和地球物理相結合的研究思路，運用多種技術手段和方法；在充分利用已有構造圖資料和構造要素資料的基礎上，運用地層層序邊界不整合分析法、地層厚度對比分析法，結合地震資料的精細解釋、古構造和古地貌的恢復、構造演化史研究、含油氣系統的研究，和區域和局部、平面和剖面、時間和空間的結合研究，對塔里木盆地和田古隆起構造演化及油氣關系進行了綜合分析，認為： （ 1 ）和田古隆起為一沉積?剝蝕性古隆起；形成於志留-泥盆紀；其構造演化可分為三個階段，即加里東期的抬升剝蝕階段、海西期的沉積階段和喜山期的破壞階段，最終由古隆起演變為一斜坡帶。After specifying a series of issues concerned with the connotation of small town and clarifying the research objective, the author introduced the theories associated with land smart sprawl in small town. on the basis of overall analysis of the driving forces affecting small town ' s land sprawl, there was a differentiation and analysis between unlimited sprawl and smart sprawl. then the author designed the indicator system and used it to judge land smart sprawl or not in small town by the method of fuzzy synthetic judgement, applied it to judge land smart sprawl in shekou town of huangpi district in hubei province
本文在界定小城鎮概念內涵與研究對象的前提下，對小城鎮用地有序擴張的理論依據做了介紹，在全面分析影響小城鎮用地擴張動力因素的基礎上，對小城鎮用地有序擴張與無序擴張進行了辨識，建立了小城鎮用地有序擴張的綜合評價指標體系，並運用模糊數學軟體對湖北黃陂灄口鎮用地擴張的有序性進行了模糊綜合評判，最後提出小城鎮用地有序擴張的若干對策建議。Based on plenty of investigations and researches, the thesis developed lots of lively, vivid, visual integrative monitor and alarm interfaces with excellent interactive quality by processing graphical edit software in the integrative monitoring and alarming system. the thesis managed to make them to be an ordinal, clear and distinct system, by programming and designing as a whole, arranging and organizing systematically
疏浚模擬訓練器集中監控報警系統以國產1750m ~ 3 h絞吸式挖泥船集中監控報警系統為模擬母型，在大量調查研究基礎上，通過對各種監控數據、報警提示適當取捨、擴充，並進行總體規劃設計，經過分門別類地編排組織，採用過程圖形編輯軟體開發了大量生動、形象、直觀、交互性強的集中監控報警界面，使之組成脈絡分明、層次清晰的有序系統。Contrary to the ordinary development ( based on the order of time and space ) of traditional novels, the nove mussel - shell by ge fei breaks this ordinary development
對于傳統小說首尾呼應、線性發展的敘事規律， 《蚌殼》無疑打破了故事在時空界面上的有序性。Then the relation of regular operators, bounded operators and linear operators on banach lattices are given, that is lr ( e, f ) lb ( e, f ) l ( e, f ) ; order dual, operator dual and algebra dual are related, i. e. e " c e * c e #
然後給出banach格空問上正則運算元，有界運算元和線性運算元的關系： lve ； f ） of 。 ef ） clp ， f ） ；給出了序對偶，運算元對偶和代數對偶的關系： e 』 ce 」 ce個然後引入賦值映射人證明了j是保格運算的格同態Being the eternal theme of criminal procedures, justice is being realized and reinforced by different countries through making suitable and scientific processes. however, the contradiction between the continuous rising of criminal cases and the relative inadequacy of judicial resources is becoming undoubtedly one of the urgent problems to be solved in today ' s penal actions
公正是刑事訴訟的恆久主題，各國均設計相應的科學程序以保證該價值目標的實現，但是刑事案件的不斷攀生與司法資源有限之間的矛盾成為刑事訴訟中需要迫切解決的問題，如何協調公正和效率之間的沖突可以說是世界性的難題。The difference between these two algorithms is that the former uses sub - domain as the basic unit of task to be allocated and the latter uses the node - super - row as the basic unit of task. ( 6 ) the original problem is transformed into transformed domain by using laplace transform method. by the parallelization of the bem in the transformed domain, the parallelization of the elasto - dynamic be analysis is implemented by introducing the time related fimdamental solution, the time dependency is released from the formation of time - domain be equations
（ 6 ）通過拉氏積分變換法將彈性動力問題轉換至變換域，通過變換域上邊界元的分佈并行處理實現了彈性動力邊界元分析的并行化；引入與時間有關的基本解，解除了時域邊界元系統方程組形成階段的時間順序依賴性，通過矩陣向量運算的分佈并行處理實現方程組時間步進求解方法的并行化，這種方法是一種部分時間并行演算法。This paper from the view of financial capital globalization, studies on the effects of financial capital flow, the relationship between capital flow and financial crisis, the choice of regulation or deregulation and the problem of china ' s financial safety. firstly, this paper discusses the conceptions of economic globalization, financial globalization and financial capital globalization and based on the existing capital flowing theories and financial theories, sets up an academic framework for further study. secondly, this paper applies a representative new currency crisis model - - - - - - c - p - r model to analyze the effects of capital controls
本文首先對金融資本全球化與經濟全球化、金融全球化進行界定，在充分吸收現有的資本流動相關理論和金融危機理論的基礎上，建立起統一的理論分析框架；然後運用一個有代表性的第三代貨幣危機模型? ? c ? p ? r模型分析了資本控制的有效性；繼而，建立了一個小型開放經濟的三階段模型進行了資本控制有效性的數理分析，並在此模型中，運用博弈論進一步探討了間接資本控制的有效性及有效稅率；進而，比較討論了發展中國家可供選擇的資本控制措施，認為資本控制應主要採用間接措施；最後，從資本流動角度對中國金融安全現狀進行分析，並有針對性地提出政策建議，尤其是資本帳戶的開放一定要恪守循序漸進的原則。This text make use of the system on the domestic and international risk of understanding which lead to audit practicing to study the present condition ' s foundation with are theories, deduces, and research methods, such as, attestations and analysis etc., factors of right audit risk down audit risk that theories of construction in the problem proceeds analysis research look for the theories fulcrum to lead to the audit theories and possibility towards risk lead to audit risk model that problem proceed analysis research. this paper brings up the fourth main factor project, and also is distinction of audit report risk with audit occupation risk, announcing to public audit risk actuality conversion, pointing study to operate the influence of the risk factor. to the model that risk of perfect audit risk of function, here the foundation study have the maneuverability to lead to the audit procedure and method problems with the period of the right fulfillment which have the leading meaning
20世紀80年代中期，審計風險成為審計理論界和實務界研究的熱點和難點問題，為彌合審計期望差距，降低審計職業風險，在實踐中產生了一種以風險評價為中心的審計模式，即風險導向審計模式，該模式的出現對審計理論與實務影響都是深遠的，但目前還未形成統一的認識，尚有許多問題需要研究和解決，本文在了解國內外風險導向審計實踐和理論研究現狀的基礎上，利用系統，演繹，實證，分析等研究方法，對審計風險因素下審計理論結構的問題進行分析研究，以尋求風險導向審計的理論支點，以及對風險導向審計風險模型問題進行分析研究，提出四要素方案，也就是區分審計報告風險和審計職業風險，揭示審計風險現實轉化的可能性，重點探討經營風險因素的影響，對完善審計風險模型的作用，在此基礎探討具有可操作性的風險導向審計程序與方法問題，以期對實踐具有指導意義。At the end of this paper, the configure process of the ssl protocol is given. based on acme, the typical implementation of form digital signature software framework is put forward. on the basis of component diagram, some typical source codes of the business component are listed and the template description of the currency interface component is showed. the modeling idea and solution are proved to be effective
最後，給出ssl協議的配置過程;結合acme語言給出表單數字簽名軟體構架的典型實現;在構件圖的基礎上，給出重要事務構件的程序代碼實現和通用界面構件的模板表示，驗證了建模思想和解決方案的有效性According to the definitions of bottleneck bandwidth, available bandwidth and bulk transfer capacity, we analyzed the algorithms which named vps ( variable packet size ), pptd ( packet pair / train dispersion ), slops ( self - loading periodic streams ) and topp ( trains of packet pairs ) ; based on the principle of sub - path bottleneck measurement, we developed the bottleneck measurement algorithm using heterogenous packet - pair train ; after designing the three child algorithms ( demarcating bandwidth range, approaching bandwidth value and predicting the trendency of available bandwidth fluctuation ), we performed the algorithm called self - loading binary search ; applying the multi - home properties of sctp ( stream controltransmission protocol ) and measurement algorithm of available bandwidth, we presented a scheme to adjust the sctp transport path when there are network congestions or faults ; by the library of winsock and winpcap, we developed a measurement program to look for bottleneck bandwidth. in ns2 experiments, the algorithm based on heterogenous packet - pair train fitted well, and the algorithm of self - loading binary search worked quickly, and the sctp scheme improved the throughput effectively
本文根據瓶頸帶寬、可用帶寬和btc （ bulktransfercapacity ）三類網路帶寬定義，分析了vps （ variablepacketsize ）和pptd （ packetpair / traindispersion ）瓶頸帶寬測試演算法， slops （ self - loadingperiodicstreams ）和topp （ trainsofpacketpairs ）可用帶寬測試演算法;基於子路徑瓶頸測試原理，設計了異構包對序列的瓶頸測試演算法;並結合三個子演算法（界定帶寬范圍演算法、接近帶寬值演算法和帶寬變化趨勢判定演算法） ，設計了自載流折半查找的可用帶寬測試演算法;把上面的演算法應用到sctp （ streamcontroltransmissionprotocal ）的多宿性和可用帶寬測試，提出了一個網路擁塞或故障時調整sctp傳輸路徑的方案;結合winsock和winpcap兩套網路開發工具，設計了一個瓶頸帶寬測試程序;通過ns2模擬實驗，驗證了基於異構包對序列瓶頸測試演算法的準確性、自載流折半查找演算法的快速性，和sctp改進方案的有效性。Consistency of approach such that all major proposals will be subject to the same level of scrutiny, providing greater confidence in the decision making system and organising the process of marshalling information about strategic proposals
採用連貫一致的取向：所有重要建議都會受到相同程度的審查，有助提高各界人士對決策制度的信心，並可建立?集整理資料的程序，有助評審策略性建議；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
研究分有三個方面：一是藉助于偏序理論在有限維歐氏空間中解決了上述公開問題，在此基礎上利用集值映射的-預解運算元，研究了廣義集值變分包含問題解的存在性、逼近解的全局誤差界、參數唯一解的靈敏性，並提出了一類變參數三步迭代演算法；二是藉助于圖收斂理論研究了一般集值變分包含問題解集的凸性、閉性和有界性以及參數解集的靈敏性；三是用分析的方法直接討論了集值混合擬類變分不等式問題解的存在性並提出了一類求解廣義集值變分包含問題的直接變參數三步迭代演算法。Legal firing sequence ( lfs for short ) is a sub - problem of reachability of petri nets. it is in fact a process of verificating the executability of a n - vector of non - negative integer x. an algorithm is presented to solve lfs of bounded petri nets in the thesis
合法引發序列是petri網可達性問題的一部分，它是petri網研究領域的一個重要研究課題，本文針對petri網的一個子類? ?有界petri網給出了一個判定合法引發序列演算法。分享友人