系統證明法 的英文怎麼說
中文拼音 [xìtǒngzhèngmíngfǎ]
系統證明法
英文
systematic proof method- 系 : 系動詞(打結; 扣) tie; fasten; do up; button up
- 統 : Ⅰ名詞1 (事物間連續的關系) interconnected system 2 (衣服等的筒狀部分) any tube shaped part of ...
- 證 : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
- 明 : Ⅰ形容詞1 (明亮) bright; brilliant; light 2 (明白;清楚) clear; distinct 3 (公開;顯露在外;不隱...
- 法 : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
- 系統 : 1. (按一定關系組成的同類事物) system 2. (有條理的;有系統的) systematic
- 證明 : 1 (表明 、 斷定真實性) prove; testify; bear out 2 (證明書或信) certificate; identification; t...
-
In china, under the influence of legal tradition and continental legal system, the evidence system pays more attention to substantive law rather than adjective law. in addition to the unscientific setting of the testimony standard, this evidence system influence the effect and quality of our country " s criminal trial
在我國,由於受傳統法律思想和大陸法系證據制度的影響,重實體輕程序的審判思想積重難返,加之證明標準設置缺乏科學性,嚴重影響了我國刑事審判的效率和質量。It further discusses the operation mechanism of the system of agrotechnical diffusion and indicates that the essence of technical diffusion is information diffusion, and the system depends on the course which information flows from the fountainhead to the receivers. and it analyzed the ingredients which influence the information flowing in the system. intruding shannon ’ s information
進一步探討了農業技術擴散系統的運行機制,並指出,技術擴散實質是信息的傳播,是建立在信息從信息源到接收者之間的流動過程,對技術推廣系統中影響信息流動的因素進行分析,引入shannon的信息熵計算方法,對信息接受者的信息接收含量進行測度,通過對所得的數值進行比較,運用定量與定性分析相結合的方法證明技術推廣活動的效率。The actual result pro ve our system goes well and take on some theory meaning and biggish - extended value
經過計算機模擬和試驗調試,證明了以上方法的有效性,表明本系統具有較大的實用價值。Thirdly, resorting to cooperation - competition model of biomathematics, this thesis proposes a new co - evolution model. simulation results are shown to verify its effect and practicabilitv. last, standard methods for optimizing neural netvvorks are easily trapped into local optimization, and unable to adjust the structure of neural networks, thus their application is limited to certain extent
本文主要驗證和設計適應性操作運算元和小生境方法保持群體多樣性的能力,實驗表明兩種方法都能較好地達到目的;利用生物合作競爭模型設計協同演化來動態地改變群體規模,實驗表明該模型是有效的;人工神經網路是得到越來越廣泛應用的學習系統,但是由於學習演算法存在一定的缺陷,如易於陷入局部極值,難以調整網路的結構等,使神經網路的應用受到一定的限制。Some classical chaotic systems are used to check formula, the result indicate the values calculated by the programs accord with the theory values
用某些經典的混沌系統對這些演算法進行了驗證,結果表明程序計算的實際值和理論值基本一致。This thesis analyzes the mutual, complemental and fit relationship between technology 、 the corporate supply chain and organizational structure of a corporation in a comparably systematic and complete way based on the mode of integrated management by reviewing, analyzing and summarizing relative references. based on practical definitions of the concepts and variables appearing in the analysis of the relationship, investigative papers have been designed and possible development situations of technology 、 the corporate supply chain and organizational structure of different enterprises have been described in the way of determining the nature. by the statistics and analyses of the investigative papers, relativity, with the method of multi - linearity - regress analysis, and by investigating enterprises " performance in different dimensions and establishing a math mode of the relationship between
本文在企業一體化管理模式的基礎上,通過文獻資料法對相關文獻進行回顧和總結分析,較系統和全面地論述了企業技術與組織結構、組織結構和供應鏈之間存在的互動、互補和匹配關系,對這一關系中的概念和變量進行操作化定義,設計出三者對應的指標體系的調查問卷,定性描述在不同企業的技術、組織結構和供應鏈的發展狀況,通過對調查所得問卷進行統計分析,運用相關性分析和多元線性回歸分析等方法,實證調查企業在不同維度狀態下的績效,建立企業技術、組織結構、供應鏈與企業的績效之間關系的數學模型,證明企業技術、組織結構、供應鏈和企業績效存在一定的相關性,企業技術、組織結構和供應鏈三者之間的匹配關系可以影響和預測企業的績效,只有當企業的各影響因素之間相互匹配的時候,企業整體運做的效率和效果將最好。Analysis the cause of channel disaccord of gain and phase, give four methods of gain and phase calibration, computer simulation illustrate the that the methods are effective. in the chapter 4, the basic relation of phase interferometer of one dimension, two dimensions, and the measurement accuracy and the approach of solving the phase ambiguity in the phase interferometers have been discussed in detail
第四章對相位干涉儀進行了較為詳細和系統的研究,給出一維相位干涉儀的基本關系式,分析了五通道相位干涉儀測向定位演算法及其性能指標,對解相位模糊問題進行了探討,在ccss中模擬了測向演算法,模擬結果證明了演算法的正確性。First this paper describes the composing and technics of drillers ; then the composing of control system based on s7 - 300plc is described ; then thinking of such characteristics of oil driller as complexity and long delay, this paper brings forward the control strategy of combining the fuzzy control with smith estimate control algorithm, and sets down the way of auto - driller based on discal hydraulic pressure brake. at last the experiment based on matlab by computer shows that the effect of this control mode is very good and all performance are famous
首先本文闡述了鉆機的組成與工藝特點,然後描述了基於西門子s7 - 300plc的控制系統組成,然後針對傳統鉆機自動送鉆控制策略落後的缺陷,同時考慮到鉆機的復雜性、大滯后等特點,提出了模糊控制演算法與施密斯( smith )預估控制演算法相結合的控制策略,給出了基於液壓盤式剎車的自動送鉆智能控制策略, matlab的模擬實驗證明該控制方式控制效果良好,各方面性能指標都達到理想要求。For the anticounterfeiting of printings ( such as certificate ), the existent many ways ( such as rainbow holograms ) are not available as the need for special use : anti - distortion and anti - copy. basing in the double - random - phase transform, this article puts forward a new way that two - dimensional bar code is used as anticounterfeiting label with anti - printing ? scanning and anti - damage properties. the major job are : ( 1 ). basing in the ascii codes, numerals and alphabets are encoded and subsequently transformed into two - value bar code matrix figure. later, using amplitude - based double - random - phase transform, the enciphered gray scale figure is formed. by computer simulation ( 4f system ) and printing as well as scanning ( 20 times ), we get the result that the gray scale figure with little miscoding rate ( 0. 0026 ) by “ matrix expanding way ”
本文主要開展了以下三項研究工作: ( 1 ) .用自定義編碼方案,將數字和字母( ascii碼)轉換成二值條碼圖;對該圖形進行振幅型雙隨機相位加密變換,得到原信息的加密灰度圖;通過4f光學系統計算機模擬和列印-掃描實驗,證明本文提出的「矩陣擴展法」灰度圖具有較小的誤碼率,對於20次列印-掃描實驗,誤碼率不大於0 . 0026 。The second passage of the article is the essential section, composed with macrocosm design, organization implement and feedback collection, designing and outlining the systemic model of certificate of leadership qualification, the whole assessment system pays attention not only to the macrocosm structure, proper and scientific frame, extensive applicability, but also to concrete steps, exiguous and intuitionistic programming, simple and convenient operation. the macrocosm design exerts modern examination theory and systemic project method to describe thoroughly the basic principles, applicable range, certificate categories, the setting of organization system, assessment target of leadership qualification, the choice of content and technology ; organization implement gives exiguous and concrete designs on the period of qualification examination, choosing time, confirmation of the certificate scale and qualification censor, written examination, interview, pub
總體設計中運用現代考試理論和系統工程的方法,適應形勢,結合實際,對認證制的基本原則、適用范圍(正副廳、正副處、正副科等三等六級) 、認證的分類、組織體系的設置、任職資格認證評價目標、內容和技術的選擇進行了宏觀全面地闡述;組織實施中對任職資格考試周期、時間的選擇、認證規模的確定以及資格審查、筆試、面試、考察、公示的操作等進行了微觀具體地設計;反饋迴流中對認證工作的檢驗和評估、任職資格的跟蹤動態管理和認證制保障機制的建立進行了詳細說明。One fault diagnosis model and corresponding algorithm was constructed based on neural network and evidence theory for taking a step forward diagnosis correct rate, which can cut down the imput dimension of neural network 、 improve classification ability 、 decrease the error classify rate of diagnosis system. then, the feasibility and effectiveness of this method was manifested by specific diagnosis example
為進一步提高診斷準確率,本文基於神經網路和證據理論,構建了基於決策層信息融合的故障診斷模型及其相應演算法,目的在於降低神經網路的輸入空間,提高其分類能力,降低診斷系統的誤分類,診斷實例表明了這種方法的可行性和有效性。The inverse kinematics of a space - based manipulator composed of three rigid bodies with prismatic joint are studied in the second chapter, and the jacobean matrix for space manipulator is derived by fully cartesian coordinates. a control method for space manipulator based on the resolved motion rate control concept is proposed
為此結合系統動量及動量矩守恆關系導出了以完全笛卡爾坐標表示的系統運動jacobi矩陣,並在此基礎上研究了帶滑移鉸空間機械臂的分解運動速度控制方法,給出了計算機數值模擬算例,以此證明了該方法的有效性。Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分:關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊)中引進量詞和謂詞,建立格值模態一階邏輯系統lmf (廣並給出其語又解釋和語法結構,證明了系統的可靠性和協調性;另外,為了判斷公式的可滿足性,定義了格值模態一階公式的skolem標準型和體解釋;在此基礎上,對基於系統lmf ( )的a一歸結原理進行了初步探討Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources
基於以上考慮,論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討:全面回顧了「可持續發展」概念的由來與演變,對國內外「可持續發展」的研究現狀進行了述評,並對「可持續發展」概念的科學內涵進行了深入探討;對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述,對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解;全面闡述了地下水資源變值系統理論的內容和意義,並與傳統的地下水資源計算評價方法進行了對比分析,結合實例具體說明了方法的應用;深入分析了地下水資源預測預報工作的極端重要性和復雜性,對傳統的地下水資源動態預測方法進行了全面的評述,指出了各類預測預報方法的特點及適用條件,對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍,以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹,並應用於地下水動態過程線的分析,採用時間序列中的b ? j法,蒙特卡羅方法,與地下水資源變值系統理論相結合,探討了地下水動態資料分析和地下水資源預測預報的新思路;綜合分析了現今各類地下水管理模型的特點及缺陷,將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度,使模型更準確、更實用;對保證地下水資源可持續開發的內部條件和外部條件進行了分析,內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀,科學的資源計算與評價方法,可靠的資源預測預報技術,可操作的資源管理措施,外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。The novel vertical carrier - free linear cluster system phoebus for the economical deposition of amorphous and microcrystalline silicon light absorbers by pecvd ideally combines the strengths of proven vacuum production platforms to precisely focus on the needs of solar cell producers : process stability, productivity, yield, footprint, costs of ownership
新的立式無載體線團系統」菲波斯」 ( phoebus ) ,以pecvd方法經濟地鍍膜無定形的和微晶硅吸光體,理想地結合各種證明可靠的真空生產平臺的優點來精確的聚焦于滿足太陽能電池生產者的需求:工藝的穩定性,生產效率,合格產量率,佔地面積和擁有運營的總成本Thirdly, the short - term and long - term financial early - warning system is established based on the financial statements of marketing corporation in electric power, medicine and general merchandise. systematic method, efficiency coefficient method and linear regression method are applied in the short - term financial early - warning system from the aspect of cash flow, operating performance and function model ; growth periods method and management grade method are applied in the long - term financial earl y - warning system from the aspect of growing capability and financial stratagem. finally, lots of examples are given to validate these early - warning models, and some countermeasures are discussed for avoiding and eliminating the distress of enterprise
首先,介紹了企業財務預警的概念、功能和國內外的研究現狀;其次,闡明了企業財務預警的原理、程序和方法;再次,它以電力、醫藥和百貨行業的上市公司報表為資料,按照指標選取、標準判斷、警限設置和警度預報的步驟,從企業的現金流量、財務業績和函數模型三方面,分別運用系統化方法、功效系數法和線性回歸法構建了企業短期財務預警系統,從企業的成長能力和財務戰略兩方面,分別運用周期波動法和管理評分法構建了企業長期財務預警系統;最後,舉了大量實例對構建的各個預警模型進行考證,並從財務角度探討了企業的防警和排警對策。The thought of using linux as a home entertainment system - especially one that comes complete on single cds - is so intriguing that i had to find some examples to prove it
使用linux作為家庭娛樂系統的想法尤其是將它們全部放到一張cd上的想法是如此的迷人,我需要找到一些例子來證明這種想法是可行的。Creating systems by working backward from outputs to database to inputs proved to be a very effective and efficient means of developing systems
從輸出結果逆向工程到數據庫再到輸入來建構系統的方法被證明是一種非常有效和有效率的系統開發方法。Caronni presented the conception of " digital watermark " in 1993 firstly. [ 8 - 11 ] in order to transfer digital watermarking skill from theoretic to reality, this article researches it from the angle of application. we apply agent, zero - knowledge proof into the area of digital watermarking, and try to construct feasible and integrated digital watermarking system
為了將數字水印技術由理論變為現實,本文從實際應用的角度出發,從三個方面對數字水印進行了研究,將agent 、零知識證明等應用於數字水印領域,並借鑒目前較為成熟的密碼學和pki ca建設經驗,嘗試構建可行的完備數字水印系統的方法。Abstract : a new preconditioner is proposed in the preconditioned conjugate gradient method ( pcg ) for solving the problem arising from image restoration. the condition number of the new preconditioned system is proved to be much less than the original one. numerical results show that the new method is better than the classical pcg
文摘:在圖像恢復實際模型的預條件共軛梯度法中,提出了一種新的預處理運算元.將新的預處理運算元應用於原來的系統,證明了其條件數得到大大的改善.實驗結果表明,新的預處理運算元具有很大優越性,比傳統的預處理運算元具有更快的收斂速度分享友人