正算問題 的英文怎麼說
中文拼音 [zhēngsuànwèntí]
正算問題
英文
direct problem- 正 : 正名詞(正月) the first month of the lunar year; the first moon
- 算 : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
- 問 : Ⅰ動詞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...
-
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問題的滿足性的判定上,同時證明了演算法的正確性。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的條件可以去掉。The computational result suggests this system can solve practical engineering problem rightly and efficiently and owns the biggish applied value
計算結果表明,本系統能正確有效地解決實際的工程問題,具有較大的實用價值。Abstract : experimental researches on normal section ultimate fle xural strength of prestressed reverse - rib - slab with excessive steel bar were m ade, and according to chinese norm ( gbj10 - 89 ) and american norm ( aci ) in which s train harmony analysis method was adopted, its ultimate strength was calculated, these make us further realizse the ultimate flexural strength of prestressed r everse - rib - slab with excessive steel bar
文摘:通過疊合結構中預應力超筋倒肋薄板正截面極限承載力的試驗研究,分別採用規范gbj10 - 89中的受彎構件、偏心受壓構件的計算公式及美國aci規范中的應變協調分析方法計算了極限承載力,從而更清楚地認識了配有高強鋼絲的超筋倒肋板的極限承載力計算問題。The real question is whether hawking radiation returns the answer of the computation or merely gibberish
真正的問題在於霍金輻射是否提出了運算的答案,或只是一番胡言亂語。3. it studied the radiation problem of tlp, and paid attention to the computation of added mass and added damping about tlp which cylinders are set as regular polygon
3 .研究了張力腿平臺的輻射問題,重點研究了浮筒柱正多邊形分佈情況下,總體輻射附加質量和阻尼系數計算問題。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.
線性滲流模型結合了中梁水庫庫區水文地質條件,重點進行正反問題的計算分析,利用研究區若干觀測孔資料,採用有限單元法反演庫區的水文地質參數,並預測了庫區巖溶水滲漏量。The paper described the problem of simplified calculation of static magnetic field in the thin gap among superconductor blocks, and applied the conclusion to the designing of a actual sc flywheel system, in which that the calculating results approved be right and effective
摘要本文分析了超導體間靜磁場分佈的簡化計算問題,並將推導的結論應用於超導飛輪設計中,數值計算結果證明分析方法是正確的,應用是有效的。Simulation results for the forward projection of ot are presented for the cases of strong and low scattering media respectively based on monte - carlo ( mc ) method along with some discussions
應用monte - carlo ( mc )模擬方法,分別給出了強、弱兩類散射介質中光學ct正向問題的數值模擬結果,並將其與基於擴散方程的數值計算結果進行了比較。For the computation of the minimal covers of a family of sets, we propose several theorems to describe the principle, and develop corresponding algorithm elaborately
而對于族集最小覆蓋集的計算問題,本文則提出了若干個定理刻畫了其計算方法的原理並予以正確性證明,並精心設計了相應的演算法。There ' s a debate in the meeting room about next year ' s budget
會議室內,大家正在就來年的預算問題進行爭論。Previous protocols for determining whether a point is inside a circle are not secure enough. we present a two - round protocol for computing the distance between two private points and develop a more efficient protocol for the point - circle inclusion problem based on the distance protocol. in comparison with previous solutions, our protocol not only is more secure but also reduces the number of communication rounds and the number of modular multiplications significantly
保護私有信息的計算幾何問題是一類特殊的安全多方計算問題, attalah等首先提出了安全多方計算幾何的概念,介紹了點的包含多邊形相交判定最近點對及凸包問題,並分別基於茫然傳送協議及置換協議設計了兩個不同的點積協議,在此基礎上提出了解決點在多邊形中的包含判定及兩個多邊形相交判定的初步方法,但正如作者所指出,其方法還不夠完善,協議效率有待進一步改進。The algorithm of strapdown inertial navigation system is also discussed and then use the flight - track generator to give a simulation, since a closed loop feedback integrated navigation system is designed in this paper, and the output of the filter must feed back to the strapdown inertial navigation system, the analysis of the algorithm in strapdown inertial navigation system is important. the scheme to design the trajectory of gps and the simulation of gps constellation are then studied, the simulation of gps constellation is given from the calculation of vernal equinox base on the principle of celestial mechanics, this method of different from other methods given by other paper and is useful to the research of satellite navigation system. a new method to abstract noise modal in integrated navigation system is proved to be useful in practice, this method, which is given by use the principles of stochastic processes, statistics, time series analysis, and system identification, is suitable for the kalman filter in integrated navigation system
如航跡產生器的設計,該航跡產生器是研究組合導航問題的前提,從國外一些研究組合導航系統的文獻中可以看出,設計這樣一個航跡產生器是非常必要的,所以本文自行設計了這樣一個系統;還討論了捷聯慣性導航系統中捷聯解算的方法,並進行了模擬研究,由於在本文設計的閉環反饋式組合導航系統中,對捷聯慣導系統的平臺誤差進行閉環控制,需要將濾波器輸出的校正量反饋到捷聯解算內部,所以必須對捷聯解算進行深入的研究和分析,更何況捷聯解算問題本身也是導航界的一個熱門研究課題;另外,本文還介紹了gps軌道及其星座模擬的設計思想和方案,與以往gps軌道和星座模擬不同的是本文從天體力學中計算春分點開始,逐步進行gps軌道及其星座模擬,這樣的設計方法對從事衛星導航的研究工作是有價值的;還對組合導航中誤差建模方法進行了研究,綜合運用隨機過程、概率統計、時序分析及系統辯識等方面的理論提出了一套適合組合導航卡爾曼濾波的誤差建模方法,並運用實際研究工作中的測量數據對該方法進行了驗證。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
由於所研究的微操作機器人運動范圍很微小,機構結構誤差及驅動誤差都可能造成機器人的操作精度嚴重降低,為評價這些機構誤差對運動精度的影響,本論文以矢量法對該機器人機構進行了誤差分析,並討論了誤差補償的軟體法;此外,論文還進一步研究了遺傳演算法在並聯機器人機構學研究中的應用,為並聯機器人位置正解問題求解提出一種新思路。Two more important points in regard to the evaluation of the alignment correction remain to be explained.
有關天平調整誤差修正值的估算問題還有更加重要的兩點需要說明。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方法進行腦內電活動的反演的一系列計算模擬。Economists said the real problem was that beijing still calculates gdp through counting increases in value - added production reported to it largely by state - owned enterprises, which provide poor data
經濟學家們表示,真正的問題在於,中國政府仍然通過生產附加值增長的數據來計算gdp 。而這些數據主要來自於國有企業,數據質量不佳。Aimed at special - purpose robot for hydraulic turbine repair, in this paper each aspect of kinematics for the robot including forward and inverse solution of pose, workspace, forward and inverse jacobian matrix, differential motion, forward and inverse solution of velocity and acceleration are detailed analyzed and computed, and then their programs are given in matlab language
針對水輪機修復專用機器人,對其運動學的各個方面,包括位姿分析正、逆問題,工作空間,正、逆雅可比矩陣,微分運動,速度正、逆問題以及加速度正問題進行了詳細的分析和計算,同時給出基於matlab軟體編制的計算程序。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
第三章:重點介紹了關聯規則挖掘的演算法思想,用於本文的正式問題描述以及關聯規則產生和發展的概況。Direct geodetic problem
大地位置正算問題分享友人