正演問題 的英文怎麼說

中文拼音 [zhēngyǎnwèn]
正演問題 英文
forward problem
  • : 正名詞(正月) the first month of the lunar year; the first moon
  • : 動詞1 (演變; 演化) develop; evolve 2 (發揮) deduce; elaborate 3 (依照程式練習或計算) drill;...
  • : Ⅰ動詞1 (請人解答) ask; inquire 2 (詢問; 慰問) question; ask about [after]; inquire about [aft...
  • : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
  • 問題 : 1 (需回答的題目) question; problem 2 (需研究解決的矛盾等) problem; matter 3 (事故或意外) tr...
  1. Fundamenta informaticae, 2004, 62 : 1 - 23. 10 kleine b " uing h, lettmann h. propositional logic : deduction and algorithms, cambridge university press, 1999. 11 hilbert d, ackermann w. principles of mathematical logic

    2提出了一個算法把ctl在有界語義下滿足性的檢測規約到一個qbf quantified boolean formulas的滿足性的判定上,同時證明了算法的確性。
  2. In this thesis, we study some open problems and conjectures about the linear complementarity problem. it consists of the next three aspects : firstly, we study murthys " open problem whether the augmented matrix is a q0 - matrix for an arbitary square matrix a, provide an affirmable answer to this problem, obtain the augmented matrix of a sufficient matrix is a sufficient matrix and prove the graves algorithm can be used to solve linear complementarity problem with bisymmetry po - matrices ; secondly, we study murthys " conjecture about positive semidefinite matrices and provide some sufficient conditions such that a matrix is a positive semidefinite matrix, we also study pang ' s conjecture, obtain two conditions when r0 - matrices and q - matrices are equivelent and some properties about e0 q - matrices ; lastly, we give a counterexample to prove danao ' s conjecture that if a is a po - matrix, a e " a p1 * is false, point out some mistakes of murthys in [ 20 ], obtain when n = 2 or 3, a e " a p1 *, i. e. the condition of theorem 3. 2 of [ 25 ] that a p0 can be deleted and obtain a e " a is an almost e - matrix if a is a co - matrix or column sufficient matrix

    本文分為三個部分,主要研究了線性互補的幾個相關的公開以及猜想: ( 1 )研究了murthy等在[ 2 ]中提出的公開,即對任意的矩陣a ,其擴充矩陣是否為q _ 0 -矩陣,給出了肯定的回答,得到充分矩陣的擴充矩陣是充分矩陣,並討論了graves算法,證明了若a是雙對稱的p _ 0 -矩陣時, lcp ( q , a )可由graves算法給出; ( 2 )研究了murthy等在[ 6 ]中提出關於半定矩陣的猜想,給出了半定矩陣的一些充分條件,並研究了pang ~ -猜想,得到了只r _ 0 -矩陣與q -矩陣的二個等價條件,以及e _ 0 q -矩陣的一些性質; ( 3 )研究了danao在[ 25 ]中提出的danao猜想,即,若a為p _ 0 -矩陣,則,我們給出了反例證明了此猜想當n 4時不成立,指出了murthy等在[ 20 ]中的一些錯誤,得到n = 2 , 3時,即[ 25 ]中定理3 . 2中a p _ 0的條件可以去掉。
  3. It is proven that these modified dual algorithms still have the same convergence results as those of the conceptional dual algorithms in chapter 2 and chapter 3. secondly, a dual algorithm is constructed for general constrained nonlinear programming problems and the local convergence theorem is established accordingly. the condition number of modified lagrange function ' s hessian is estimated, which also depends on the penalty parameter

    證明這些修的對偶算法仍具有同前兩章的概念性對偶算法相同的收斂性結果,我們還進一步構造了一般約束非線性規劃的對偶算法,建立了相應的局部收斂理論,最後估計了修lagrange函數的hesse陣的條件數,它同樣依賴于罰參數。
  4. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則,對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充;給出了計算數據圖中規表達式的算法;對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬( bisimulation )等進行了研究,提出了一種判定數據圖的bisimulation算法;在xml數據查詢語言研究的基礎上,設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  5. 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中模擬了測向算法,模擬結果證明了算法的確性。
  6. Moreover, aiming at the location of inclined license plate, we have proposed the algorithm based on gray changing characteristic and orientation field. in this section, we discussed in detail the application of mathematical morphology operator in rough locating objective region and introduced the theory and realization method of orientation field. then we used it to detect inclined angel of objective region, finally we can precisely locate and emendate the inclined license plate based on detection result, and so we provided the favorable foundation for segmenting character

    此外針對傾斜車牌區域的定位分割,提出了基於灰度變化特性和方向場計算的定位算法,其中詳細討論了數學形態學運算元在目標區域粗定位中的應用,重點介紹了方向場計算理論和實現方法,並將其應用於目標區域傾斜角度的檢測,根據檢測得到的結果進行了傾斜車牌區域的準確定位和校,為后續的字元分割打下良好的基礎。
  7. In this essay i argue that the writing of american jazz age novelist f. scott fitzgerald responds to the developing national culture of his time, here described as an evolving relation between the marginality of the region and the hegemony of the center. like many of the characters in his novels, fitzgerald ' s perceived liminality from nation and canon - his work did not achieve repute until after his death - produced, paradoxically, dependence on those values the writer felt most distant from. to a far greater extent than hemingway, fitzgerald fictionalized the commodity culture of the american center which he, in time, came to reject in favor of a moral posture. fitzgerald ' s migration from the perceived margins of american literary discourse to status as a posthumous, centered canonical figure has three specific dimensions - the geographical, the canonical, and the moral - all of which combine to produce a significant ambivalence, beyond " modernist " credentials, in his life and legacy

    本文認為,美國爵士時代的小說家菲茨傑拉德的作品對于作者所處時代和處于發展之中的民族文化(即區域邊緣與國家霸權之間的進關系)作出了回應.如其小說中的許多人物一樣,菲茨傑拉德從國家和典律中感知到閾限性(他自己的作品直到死後才獲得盛譽) ,這使得他依賴于自己認為是最為邊遠的價值觀念.與海明威相比較,菲茨傑拉德在更大程度上將位於美國中心的商品文化小說化,而最終他又出於道德考量將它予以拒絕.菲茨傑拉德從明顯的美國文學話語邊緣向去世之後被經典化的中心地位的漂移表現在地理、典律、道德三個方面.三者交織,使得學界關於他的紛爭超越了現代主義者身份,在關於他的人生和文學遺產上也是褒貶不一,眾說紛紜
  8. Edm has some remarkable advantages over traditional models, includes using implicit causal models, self - learning capacity, weak dependence on domain knowledge, wide applicability, robustness, self - adaptability, and population - based searching, etc. tracing back its intrinsical ideas, edm is just making use of the nature ' s decision making strategy, natural selection, to solve the decision making problems faced by human or the intelligent agents

    進化決策主要利用了進化算法與形式化計算模型相結合所具備的自動建模能力,它具有隱式因果模型、自學習、弱知識依賴、應用廣泛、穩健性、自適應和群體搜索等優勢。追根溯源,進化決策的基本思想是利用大自然的決策機制(自然選擇)來解決客觀世界所提出的決策,而自然進化又是已知的能力最強的求解范型。
  9. The lecturer was discussing politics but got side-tracked by a question from the audience into talking about religion.

    在談論政治,但因聽眾提出一岔開而談起宗教來了。
  10. 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法,蒙特卡羅方法,與地下水資源變值系統理論相結合,探討了地下水動態資料分析和地下水資源預測預報的新思路;綜合分析了現今各類地下水管理模型的特點及缺陷,將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度,使模型更準確、更實用;對保證地下水資源可持續開發的內部條件和外部條件進行了分析,內部河海人學博卜學位論文前言、摘要、目錄條件主要是確的資源觀,科學的資源計算與評價方法,可靠的資源預測預報技術,可操作的資源管理措施,外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  11. Napoleon did not see that in relation to his troops he played the part of the doctor, whose action in hindering the course of nature with his nostrums he so truly gauged and condemned

    拿破崙沒有看見,他在對待自己的軍隊上,是在扮著用藥品危害病人的醫生角色,雖然他對這個角色曾有十分確的理解和指摘。
  12. The detailed works are as follows : the finding patterns problems in the time - series data sequence are described, and a new trend logic expression method is introduced, and its algorithm and experiment result of algorithm are given ; time - scries data are disposed, and using the arctg. slope of line as the sample of pattern recognition, so ignoring the aberrance of pattern in the classified. in addition, a new time - series pattern finding algorithm based on higher - order neural network is put forward

    同時給出了本文的具體的工作,主要是:對在時序數據序列中發現模式進行了描述,並介紹了一種新的趨勢邏輯表示方法,給出了其算法及算法的實驗結果;對時序數據進行處理,提出了利用線段的斜率反切值作為模式識別的樣本,從而在分類時忽略模式的畸變;另外,還提出了一個新的基於高階神經網路的時序模式發現算法。
  13. In this paper, the main research works are as follows : 1 ) survey and analysis previous work in auv navigation and summarize : as the cumulate error, the dead - reckoning and inertial navigation systems ca n ' t be used without other modified system ; the acoustic navigation system is used only in small range, and is very expensive. 2 ) two important approaches in geophysical navigation techniques are summarized, one is terrain contour based navigation, this approach is investigated keystone today ; the other is image based navigation, due to no perfect image sensors and image seabed map, this approach has seldom been practised. 3 ) two important terrain contour based navigation algorithms has been applied to auv, one is match algorithm - based terrain contour match ( tercom ) ; the other is kalman filter - based sandia inertia terrain - aided navigation ( sitan )

    主要研究內容包括:一、總結分析了當前水下導航的常用方法和不足之處,指出基於航位推算的導航方法,存在著最大的就是導航誤差的積累,如果沒有修系統,這種方法很難滿足使用要求;其次指出基於聲學的導航方法,造價昂貴,導航范圍有限,難以滿足自主水下航行器大范圍導航的需求;二、總結了當前水下地形輔助導航的主要技術路線,一是基於地形高程的匹配方法,這是當前研究的重點;二是基於地形圖像的匹配方法,由於缺乏良好的圖像傳感器,和可用的海底圖像地圖,目前這種方法還有待研究發展;三、將兩種地形高程匹配的常用方法應用到自主水下航行器上:以相關算法為前提的地形輪廓匹配( tercom )方法和以卡爾曼濾波為基礎的桑迪亞慣性地形輔助導航( sitan )方法,前者算法簡單可靠,但是導航精度不高,後者雖然精度比較高,但存在著算法較為復雜、有可能發散和出現奇異值等
  14. Accordingly, using graph theory and operating experience abroad for reference, it firstly brings forward a new method of voltage rectification which based on pilot bus with voltage control area in view of the weak coupling among every vca ( voltage control area ), using decomposing method of multi critical value, it realizes the eliminating vinculum of every vca. and then, the rectification starts by pilot bus voltage of every vca. so the resolution of whole power net is diverted into calculating smaller sub - net

    由於各個電壓控制區之間無功電壓的弱耦合性,利用多閥值分解的分區算法,實現區域間的解耦,然後根據各個子網路的主導節點的電壓進行校,從而把求解整個網路的轉化為求解各個小的子網路,降低了網路維數,減少了無功設備控制動作次數,提高了校成功率,縮短了計算時間。
  15. For parameter a, there is a close relationship exist between a ( 9, sr ) in two different radar incident angle that can be expressed as : with considering the effects of soil texture, we get the final expression of the inversion model : where mv ( t1 ), mv ( t2 ) is volumetric soil moisture content in two different temp, c, d is soil type related parameters, and v ( t1 ), s ( t2 ) is coresponding bare soil radar backscattering coefficients. inversion results show that for the c band hh polarized radarsat scansar data with a range of incidence angle from 20 to 40, the soil moisture change value can be derived with an acceptable accuracy using the above model. the temporal and spatial soil moisture change patterns are associated with rainfall and vegetation cover, as well as the soil hydraulic characteristics

    利用最新發展的電磁波散射模型研究了不同植被覆蓋地表雷達波對地表土壤水分的敏感性,建立了半經驗植被雷達後向散射模型; 2 ) .研究發現在農作物等矮小植被覆蓋地表,植被層直接後向散射與植被類型相關,且在植被生長期,雷達後向散射系數對植被含水量的敏感性要高於對植被高度變化的敏感性; 3 ) .解決了單參數雷達地表土壤水分反中,雷達入射角和地表粗糙度的影響這一難點; 4 ) .利用土壤介電模型校了不同土壤類型對反地表土壤體積含水量的影響; 5 ) .在以上成果基礎上,建立了完整的單參數雷達地表土壤水分變化探測反算法,經地表驗證,模型反地表土壤水分變化值的精度為rmse = 0
  16. Combing the linear seepage model with hydrogeology in the region of zhong - liang reservior, the analysis of the problem of positive and negative is emphasized. make use of with some observing information of boreholes in this region, adverse seeking the hydrogeology of the reservoir in the region with finite element method, the leakage quatity of karst water in the region of reservoir is forecasted.

    線性滲流模型結合了中梁水庫庫區水文地質條件,重點進行的計算分析,利用研究區若干觀測孔資料,採用有限單元法反庫區的水文地質參數,並預測了庫區巖溶水滲漏量。
  17. Due to its character of microscopic scale motion, a very simple position kinematic equation is achieved. based on the equation obtained, the workspace of the serial - parallel micromanipulator is described, and the effect of different structural parameters on the workspace is also discussed. in order to evaluate the output errors caused by the structural errors and actuator errors, accuracy analysis is then conducted for this serial - parallel micromanipulator, and an approach based on software programming is presented for error compensation

    由於所研究的微操作機器人運動范圍很微小,機構結構誤差及驅動誤差都可能造成機器人的操作精度嚴重降低,為評價這些機構誤差對運動精度的影響,本論文以矢量法對該機器人機構進行了誤差分析,並討論了誤差補償的軟體法;此外,論文還進一步研究了遺傳算法在並聯機器人機構學研究中的應用,為並聯機器人位置求解提出一種新思路。
  18. 3 ) a simulation software of numerical calculation of eeg was developed based on matlab, after the methods used to solve eeg forward problem and inverse problem had been analysed. the software included three modules : 3d reconstruction of real head model, eeg forward problem using bem, eeg inverse problem using shrinking loreta - focuss algorithm. in the future, spatio - temporal source model will be investigated and the simulation software will be optimized and developed

    3 )研究了在具有真實幾何結構及電磁參數的頭模型下腦電、逆的求解方法,形成了自己的思想,開發了基於matlab環境的腦電信號產生源分析計算軟體,實現了從mri圖像出發建立頭的數值計算模型,用bem算法計算腦電,用shrinkingloreta ? focuss方法進行腦內電活動的反的一系列計算模擬。
  19. Introducing the data mining technology in sample. 3. introducing the association rules mining algorithm idea, summarizing the association rules produce, develop and the problem description

    第三章:重點介紹了關聯規則挖掘的算法思想,用於本文的描述以及關聯規則產生和發展的概況。
  20. As a project financed by yunfeng and ming tomb hydroelectric power station, the study on " mathematical model for dam safety monitoring and dynamic inverse model for underground power house " was conducted. according to the data observed in - situ, the under - fitting problems in regression models for dam safety monitoring were discussed, and the computational parameters and boundary conditions of underground structures were determined on the base of dynamic inverse mathematical model

    本文利用大壩運行監測資料和水電站廠房結構的振動測試數據,對水工建築物的反分析模型中的相關進行了探討,分析了大壩安全監測回歸模型存在的欠擬合現象,建立了通用的結構動力最優化反分析模型,實現用戶優化算法對復雜結構的直接調用和優化計算,在計算模型方法的基礎上對雲峰寬縫重力壩的安全狀況和十三陵抽水蓄能電站的動力反進行實例分析。
分享友人