良序定理 的英文怎麼說
中文拼音 [liángxùdìnglǐ]
良序定理
英文
well ordering theorem-
Firstly, by numerical and theoretical analysis, the author compares some existent confidence intervals, for example, " exact " confidence interval, wald confidence interval and bayesian confidence interval, and finds some deficiencies points of the confidence intervals, whose modification version has been proposed. also, several better confidence intervals such as are also presented. secondly, for given confidence coefficient and interval width, the author constructs a class of asymptotical two - stage interval estimate procedures. at the same time, under varies restriction of confidence coefflcientent interval width, the optional sample size of the first stage has been computed by numerical computation. the numerical computation shows that the method considered in this dissertation have good properties and applied value
同時，由於poisson分佈的特性，我們知道不存在其參數區間長度小於0 . 5的置信區間，基於這些情況，我們主要展開了以下兩個方面的研究：一是利用數值計算分析與理論分析的方法對現有的若干置信區間如「精確」置信區間， wald置信區間， bayes置信區間等進行分析比較，發現了一些缺陷，針對這些缺陷，我們進行適當的修正，並得到幾種性質較好的置信區間如：修正大樣本區間jeffreys原則下置信區間二是針對已給定的置信系數與區間長度，我們提出了一種漸近的兩階段區間估計程序，並利用數值計算的方法，在各種置信系數與區間長度限定下，算出了最優的第一階段觀測次數（抽樣量） ，大量數據表明，本文考慮的方法性態良好，具有應用價值。The implementation of this system for more man ten years clearly shows that the multi - channel institution of retrial does not produce the desired effects. the present retrial system modelled itself mainly on that of the former soviet union, its operation in china gives rise to more state intervention than individual disposal, more layman recognised truth than truth recognised by law, seeking justice in substantial law more than legal procedure, and finally brings about " numerous applicants, unlimited lapse of time, high frequency, confused jurisdiction, unmethodical causes of action "
現行民訴法實施十多年的司法實踐表明發動再審程序主體的多元性並沒有產生預期的效果，由於現行的民事再審主要是參照前蘇聯模式，在再審程序的啟動上，強調國家干預權，忽視當事人處分權；在事實認定上，追求客觀真實，忽視法律真實；在糾錯上，注重實體公正，忽視程序公正；從而導致在實際操作中出現了啟動再審的「主體無限、時間無限、次數無限、審級無限、理由或條件無限」的不良現象。Par method can explain the whole process of " problem - program " as well as improve substantially the programming skills of students ; about the implement technology, the popular generic paradigm is incorporated and the results in ai ( knowledge representation and automated reasoning ) are used, which enables the system to be a truly " open system " with infinitely many problems and solutions, instead of just a compilation of fixed ones ; about the function of the system, it incarnates the constructivism and it has excellent human - machine interface, concurrence, and openness
Par方法可以說清「問題程序」的全過程，可以解決現有程序設計教學存在的根本問題，幫助學習者實質性地提高程序設計的能力；在實現技術方面，借鑒了當代流行的泛型思想，並將人工智慧在知識表示、自動推理等研究中形成的思想方法和成果應用於程序設計icai系統的開發，使得系統具有一個既有問題又有解答的無限題庫，這些解答是由自動推理產生的而不再是固定問題、答案的堆砌；在系統功能方面，充分體現了建構主義思想，具有良好的人機交互性、並發性和開放性。Because benign social psyche is an important variable of economic and social transformations, it has great active functions on social development, and it also is a momentous condition of social stability and social order standard
因為，良好的社會心理是經濟社會轉型的重要變量，對社會發展有巨大的能動作用，是社會穩定和社會秩序規范的重要條件。To solve the problems that follow the growth of data, we propose to build the mathematical model of distributed concept lattice by taking advantage of its qualities of solid mathematical basis and the adaptability to distributed process 2 ) the mathematical basis of concept lattice is introduced, which includes the definitions of order theory and lattice theory related to concept lattice
本文內容如下： （ 1 ）介紹了數據挖掘產生的背景，針對隨著數據量的不斷增大而產生的問題，提出利用概念格所具有的良好的數學性質和適合批處理等特點，建立分散式概念格的數學模型。 （ 2 ）介紹了概念格的數學基礎，包括與概念格模型相關的序論和格論中的一些定義。When the environment rights and interests are violated and people cannot obtain an effective relied in a legal way, they have to protect their environment rights and interests in the way of private relief. at present, the academic field focuses more on the public relief, rarely paying attention to the private relief to the environment right infringement. therefore, the anther attempts to discuss on the definition, the characteristics, classifications and the applicable conditions of the private relief to the environment right infringement and makes a systematical discussion on how to carry on and unblock its rules and regulations
在環境權益受到侵害又無法通過正當途徑實現有效救濟時，人們不得不尋求私力救濟來維護自己的環境權益。目前學界較多把視角放在環境侵權的公力救濟等救濟方式上，鮮有人關注環境侵權的私力救濟問題。筆者試圖對環境侵權私力救濟的定義、特徵、分類及適用條件、該如何對它進行規制和疏導等做出系統地探討，以期望能夠對普遍存在的環境侵權私力救濟現象給予理論上的解釋和疏導，在維護環境權益的同時，保持法治社會的良好秩序。The main scope of bcpa s business entrusted by the chinese - foreign joint ventures, the chinese - foreign contractual joint ventures, the foreign capital enterprises and other foreign economic organizations, big and medium sized state enterprises, share - holding companies with limited liability and companies with limited liability, to prepare feasibility s study and analysis for investment and development projects of enterprises ; to undertake assets valuation ; to verify the capital of enterprises ; to formulate accounting systems ; to design computerized program for accounting ; to keep accounts for clients ; to offer consultation service and prepare tax returns for clients ; to audit accounting statements for enterprises ; to audit statements of securities business ; to undertake the auditing work of enterprises in their merger, separation and liquidation ; to do the required auditing when the legal representative of an enterprise leaves his her post ; to serve as the standing accounting advisers for enterprises ; to help draft contracts, articles of association and economic documents ; to prepare analysis of economic activities and forecast of operating activities ; to train accounting financial management personnel and to examine evidences in economic cases, etc. by offering high efficiency, fine quality and comprehensive service and outstanding performance bcpa has gained the confidence o its clients and established good and stable and 3, 000 clients
本所業務范圍主要是：接受中外合資中外合作外商獨資和其他外商經濟組織，以及國有大中型企業股份有限公司有限責任公司等的委託，為企業投資開發項目進行可行性研究分析承辦資產評估驗證企業資本設計會計制度編制會計電算程序代理記帳提供咨詢服務稅務代理服務受理企業會計報表審計證券業務審計企業合併分立清算事宜中的審計企業法人離任審計為企業承擔常年會計顧問協助擬定合同章程和經濟文件經濟活動分析和經營活動預測培訓會計財務管理人員以及鑒證經濟案件等項業務。本所以高效優質全面的服務，卓著的業績取得了廣大客戶的信任，與3000餘家客戶建立了良好的穩定的合作關系。Semg signal is the sum of bioelectrical activities that recorded from the skin of working muscle by surface electrodes. the change in semg signal could reflect motor units activation patters and the status of muscle fatigue in some certain degree. because it was non - invasive and local sensitive, the technique of semg signal analysis had become very important method in examining and evaluating human muscle function
Semg信號是從肌肉表面引導和記錄到的肌肉活動時神經肌肉系統生物電變化的一維時間序列信號，由於其檢測具有非損傷性和良好的局部性以及semg信號的變化在一定的程度上能夠反映運動單位的活動模式和肌肉疲勞的狀態，因此應用semg信號分析技術檢測和評價肌肉疲勞以及進一步探討其生理機制具有重要的理論意義和實用價值。Aerial photograph is original resource of the photogrammetry and the revision of topography maps, image quality directly affects the precision of mapping, work efficiency, economy index and the reliability of image interpretation. so it is necessary to take some techniques to insure image quality
航攝像片是攝影測量和修編地圖的原始資料，它的質量對于成圖精度、工作效率、經濟指標以及判讀的可靠性有著決定性的影響，所以在航空攝影及攝影處理的各個工序中應創造出一切條件，使得航攝像片具備良好的質量，滿足攝影測量的需要。This contributes to make clearly position and function of - glc in forming course of tea aroma, substantiate the theory that the aroma of tea forms and also establish the foundation that utilize genetic engineering techniques to improve the cultivar of tea plant, quality of tea and insect - resistance and disease - resistance afterwards. in the paper, the complete cdna squence of - glc of tea was cloned in the tea leaf at the first time
因此，嘗試從茶葉中獲取-葡萄糖苷酶基因的cdna序列，將有助於進一步搞清-葡萄糖苷酶在茶葉花果香氣形成中的地位和作用，充實茶葉香氣形成的理論，也為以後利用基因工程手段改良茶樹品種，提高茶葉品質、抗病蟲能力以及該酶的轉化、調控的研究奠定基礎。Although there have been many application instances in the field of input / output device technology, we need an specific project and technology route aimed at an given application. in this thesis, we combine the introduction and analysis of relative technology to describe the accomplishment of a coordinate collecting device which is based on incremental rotary encoder. this device is an specific device applied to collect the corrdinate displacement of ground image ’ s three - dimensional model created by full digital photogrammetric station. cpld chip and vhdl are applied in this device to carry out the following work : phase control of the electrical pulse created by incremental rotary encoder, counting the number of electrical pulse, controling the state of signal processing circuit, exchanging data between this circuit and pci control
本文結合相關技術的介紹和分析，描述了一個基於增量式旋轉編碼器的坐標參量採集介面卡的實現，此介面卡是一種用於採集全數字攝影測量系統地面影像模型坐標位移量的專用設備，該設備採用cpld器件和vhdl語言實現增量式旋轉編碼器的脈沖信號鑒相和計數、信號處理部分的狀態控制以及和pci總線晶元ch365之間的數據交換和通信功能，同時該設備的驅動程序基於wdm模式，並且配置有結構良好的動態鏈接庫程序作為系統軟體和驅動程序之間的數據和控制交互中間介面，能夠方便地運行在windows98 / 2000 / xp操作系統平臺上，具有實時性強、工作穩定、通用性較好和性價比高等特點。Do procedures exist that define what to do in the event of test failures
是否存在對測試不良結果如何處理有作定義/規定的程序/規程? ?Finally, basing on the above theory research and the existing hardware scheme, the optimization probabilities is discussed among the layers of the standard entrails, arithmetic promotions and program optimizations. the optimizations are carried out in the software simulation circumstance, and obtain a notable effect, which boosts the coding speed by 60 % with the same image quality, showing an applying prospect
最後，在以上的理論研究基礎上，結合現有的硬體方案，從標準內部、演算法改良和程序優化等多個層面上探討了對視頻編解碼系統的優化可能，並在軟體模擬的環境下付諸于實踐，取得了明顯的效果，在保證圖像質量的前提下，將編碼速度提高了約60 % ，顯示出了一定的實際應用前景。Through comparing and analyzing of bearing capacity, development of crack and strain of reinforced, the results show that the load - deflection plots f or specimens from the finite element analysis agree well with the experimental data, and choosing the rightful stress - strain relationship, utilizing ansys program, the test process can be well simulated. at the same time, making used of the program, the traditional shear wall is analyzed. it shows that comparing with the traditional shear wall, the hollow shear wall ' s cracking load drop 16 %, yield load and failure load drop 13 %, stiffness drop 13 % ~ 22 %
其次在試驗的基礎上，將試驗手段、有限元數值模擬方法和理論分析結合起來，利用有限元程序ansys對其中的兩片墻板進行非線性有限元分析，並對前後的承載性能，裂縫發展、鋼筋應變進行了比較和分析，結果表明有限元節點模型分析的荷載-位移曲線和試驗測得數據符合良好，選用合理的材料本構模型，利用ansys可以較好的模擬試驗過程；同時利用有限元模型對比分析了普通剪力墻和空心剪力墻，空心剪力墻與普通剪力墻對比，其開裂荷載下降16 ，屈服荷載、極限荷載下降13 ，剛度下降13 22 ，開裂至屈服、屈服至極限荷載階段的剛度衰減規律與普通剪力墻基本一致，空心剪力墻的後期剛度比較穩定。Among them the argued more is how to maintain that the administrative subject has the obligation of administrative conduct, that, how the obligation arises. the writer thinks that the obligations of administrative conduct are provided by legal norms, norms of administrative document and legal doctrine and public moral
筆者認為認定行政主體的行政作為義務的方法有：依法律規范與行政規范性文件設定的行政作為義務、依法理或公序良俗導出行政作為義務。This paper also takes special research on such a series of questions as below : the development of embedded operating system ( os ), the advantages of linux os to develop embedded os are analyzed, the development of embedded linux os is studied from the kernel making, customizing file system, and system booting. the embedded image processing application technology, a focus is taken on the research of the relation between embedded system application technology and image processing technology when the embedded image processing application development is carried out, the new development of image processing technology in embedded system environment and the features of embedded system of image processing application are analyzed. graphic user interface ( gui ), the current popular gui technology is introduced, and the main features of them and the reasons to choose minigui are analyzed, the implementation of minigui and the method to develop graphic application based on minigui are studied, too, it works well in practical application
本文在此背景下，圍繞在實施導彈打擊過程中涉及到的有關圖像處理設備的嵌入式化過程，對于嵌入式圖像處理系統應用技術進行了全面的研究，提出了嵌入式圖像處理系統的開發流程和步驟，並對其中的一系列問題進行了專門研究，在實例應用中取得了很好的效果，這些問題包括：嵌入式操作系統開發，分析了使用linux操作系統進行嵌入式操作系統軟體開發的優越性，並且從內核定製、文件系統裁剪、系統啟動等幾個方面研究嵌入式linux操作系統的開發；嵌入式圖像處理應用技術，著重研究了嵌入式系統應用技術和圖像處理技術在進行嵌入式圖像應用開發時的相互影響，分析了在嵌入式系統環境下圖像處理技術的新發展以及在圖像處理應用中嵌入式系統的一些特點；圖形用戶界面，介紹了目前集中流行的gui技術，並分析了其主要特點以及採用minigui的原因，研究了minigui的實現原理，以及如何進行基於minigui進行圖形應用程序的開發，在實際應用中取得良好效果；實時性研究，分析了在操作系統中影響系統實時性能的因素，研究了linux操作系統的幾種實時解決方案，並對于操作系統的進程調度機制進行了有針對性的研究。In order to improve the existing arrangement and to enhance the integrity of the ipo application process, the sfc, the federation of share registrars limited, the hong kong monetary authority, and the hong kong association of banks have been working closely together to devise a new measure to make it difficult for people to submit multiple applications
為了改良現行的安排及加強首次公開招股申請程序的持正操作，證監會證券登記公司總會有限公司香港金融管理局及香港銀行公會一直緊密合作以制定一項防止提交重復認購申請的全新措施。Through the description of limit equilibrium state and slope stability analysis by strength reduction fem, the safety factor is got, at the same time, the critical failure surface is found automatically. these conclusions testified that this method is practicable if there are detailed investigation, reasonable model and favorable software
通過與傳統穩定性計算成果的對比分析，表明：只要調查充分，模型合理，加上良好的計算分析程序，對非貫通性節理巖體高邊坡的穩定性評價，有限元強度系數折減法是確切可行的。At the defined level. . a defined software process contains a coherent, integrated set of well - defined software engineering and management processes. . characterized as including readiness criteria, inputs, standards and procedures for completing the work, verification mechanisms. ., outputs, and completion criteria
在定義層次… …一個定義好的軟體過程包括一個緊密的、統一的良好定義的軟體工程和管理過程的集合… …以包含準備就緒的標準，輸入，完成這項工作的標準和程序，校驗機制， … … ，輸出和完成標準為特徵。Then we can get the data and the location of log internal defect. at the same time. there are some important auxiliary effect for log machining. the system software is designed by visual c + + 6. 0 and model technology, based on windows operating system. it provides the good theory and application foundation for industrial popularization of log internal defect ' s automatic detection
本論文採用visualc + + 6 . 0程序設計語言，以模塊化軟體設計技術，在windows平臺上，設計了一套利用x射線的原木內部缺陷的軟體檢測系統，通過選定的幾個樣本原木實際內部缺陷的測定，已達到一定的準確性，為原木內部缺陷識別的工業化推廣提供了良好的理論和應用基礎。分享友人