問題定義 的英文怎麼說

中文拼音 [wèntídìngyì]
問題定義 英文
problem definition
  • 問 : Ⅰ動詞1 （請人解答） ask; inquire 2 （詢問; 慰問） question; ask about [after]; inquire about [aft...
  • 題 : Ⅰ名詞1. （題目） subject; title; topic; problem 2. （姓氏） a surname Ⅱ動詞（寫上） inscribe; write
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 問題 : 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. Based on the frequent occurrence of international aerial crimes, the rampancy and cruelty of criminals and the reality of brutal consequence, the essay analyses the features of the crime of aircraft hijacking, the crime of imperiling international civil aerial security and the crime of obstructing international aerial navigation with the component terms from three important international conventions on punishing aerial crimes in order to help people to appreciate the appearance and the essence of typical international aerial crimes deeply, to regard the motion of the crimes and to overwhelm the offence forcefully. based on the core of the legislative status of international civil aerial security, the jurisdiction of the aerial crimes, one emphasis of the article is to clarify concrete clauses on jurisdiction in the three conventions and analyses the important principle of " aut reddere, aut punire ". based on the problems on the jurisdiction of crimes in international society, it quests the implementation of t he principles of jurisdiction, pleading and extradition in the three conventions deeply

    基於目前國際社會航空犯罪時有發生，犯罪分子猖獗狠毒，危害後果十分殘重的現實，本文從國際社會關于懲治航空犯罪的三個重要國際公約（東京、海牙、蒙特利爾公約）中規定的各種航空犯罪的定義入手，深入展開了對劫持航空器罪、危害航空器飛行安全罪、危害國際民用航空機場安全罪的犯罪特徵及其構成條件的分析，以期幫助人們更深刻認識這些典型的國際航空犯罪的表現及其實質，嚴密注視這些犯罪的動向，對其進行及時有力的打擊；鑒于國際民用航空安全法律地位問題的核心是解決航空犯罪的管轄權問題，本文重點闡釋了三個公約關于管轄的具體規定，並側重分析了「或引渡或起訴」的重要原則；鑒于目前國際社會打擊國際航空犯罪管轄方面存在諸多實際問題，本文對公約規定的管轄、起訴、引渡原則的實現方式作了深入探討；鑒于各國在國內立法上對于空中犯罪的懲治、對違約國的制裁、對這類犯罪的預防措施等方面存在一些漏洞，本文根據目前掌握的一些資料，在獨立思考的基礎上，提出了一些不成熟的看法及建議，以期對國際社會懲治航空犯罪貢獻自己微薄之力。
  3. Fist of all, on the basis of the research of agone boffins, this author investigates the interaction mechanism of bolts and rock, and introduces the elastic ? lastic analytical resolution which is consist of the liner structure, the equivalent reinforced wall rock and the original wall rock in the simple loading from the equivalent well - proportioned view ; this solution is very important meaning for the engineering design. on the basis of coulomb friction model, the author introduces the finite element equation of the contact problem in order to provide the academic foundation for the application of msc. marc. finally, combining the engineering practice of the non - linear analysis of shield tunnel through yellow river of the south - north water transfer and using the model of friction, the author researched the evolution law of stress and displacement field in the structure of grouted rock bolts, and analyzed the effect to the stress and deformation of surrounding rock mass due to anchor supports

    首先，在前人研究成果的基礎上，對錨桿與圍巖的相互作用機理進行研究，利用全長錨固錨桿的中性點理論，從等效均化的角度來考慮錨桿對圍巖的加固作用，並推導了在簡單荷載作用下，含有襯砌、等效加固后的圍巖、原始圍巖三者的彈塑性解析解，對工程設計有著重要的參考意義；在數值模擬方面，以考慮錨固圍巖滿足規則化庫侖摩擦模型為基礎，利用虛功原理推導了接觸問題的有限元方程的計算格式，為開發運用大型商用有限元軟體msc . marc提供了理論根據，也形成了本文的理論基礎：最後，論文以南水北調東線穿黃隧洞穩定性分析項目為工程實例，利用本文所述的接觸問題的摩擦模型理論，對錨桿支護結構的應力場、位移場的變化規律進行了研究，分析了加錨支護對隧洞圍巖應力、變形的影響。
  4. Financial safety is commonly the study object in the financial crisis and financial crisis opposite. it is a pity that this paper has no enough ability and time to study all these problems, so this paper will stress discuss aspects hereinafter : firstly, go deep into anatomist fss theory meaning. secondly, set up a all - sided, impersonality and synthetically fssis

    遺憾的是，本文也沒有能力在短暫的時間內完整地研究金融安全問題，本文將重點討論以下幾方面內容：一、深入剖析金融安全區的理論涵義，對概念的界定進行綜合比較分析；二、在深刻理解金融安全區的理論涵義的基礎上，綜合現有國內外研究成果，從影響金融安全的宏觀綜合因素角度出發構建一個全面、客觀、綜合地反映金融安全區狀況的指標體系。
  5. The landing of a helicopter in autorotation is formulated as a nonlinear optimal control problem

    本文將直升機的自轉著陸過程定義為一個非線性的最優控制問題。
  6. This article canvass the status quo of the archive ' s automatization administration and the develop status of data mining, and discusses how to combine the data mining technology with the archive work from data cleaning means, data mining arithmetic, and data storage etc. and this article put forword a data mining syst em design idea. this article ' s structure is : first, in allusion to the archive data status quo, the pretreatment work of archive data that include data quality evaluation, data cleaning and data commut - ation process is bringed forword ; second, in the process of realizating data mining, the article discusses conception description, association rule, class three familiar means of applicating data mining, also put inforword the concrete arithmetic and the program design chart, and discusses the range and the foreground of all kinds of arithmetic when they are applicated in the archive ; third, the base of so you say, this article also discusses the importance of the archice applicate data storage and the means of realizing it ; last, the article discusses seval important problem of realizing an archive data mining system from data, diversity, arithmetic multiformity, mining result variety and the data pretreatment visibility, mining object descriptive visibility, mining process visibility, mining result visibil ity, user demand description and problem defining etc aspect. the article ' s core is how to import data mining technology in the archive work

    本文評述了檔案自動化管理現狀和數據挖掘技術的發展狀況，從數據清洗方法、數據挖掘演算法、數據倉庫的建立等方面論述了如何將數據挖掘技術與檔案工作相結合的具體思路，並提出了一個數據挖掘系統的設計思想。文章首先，針對檔案數據的現狀，提出了應對檔案數據進行預處理工作，包括數據質量評估、數據清理、數據變換和歸約等過程；其次，在具體實現數據挖掘過程中，本文結合檔案數據的特點探討了概念描述、關聯規則、分類等三種常見挖掘形式的實現方法，提出了具體的實現演算法和程序設計框圖，並論述了各種演算法在檔案工作中的應用范圍及前景；第三，在上述基礎上，又論述數據倉庫在檔案數據挖掘中的重要性並提出了實現一個檔案數據倉庫的方法；最後，從處理數據的多樣性、演算法的多樣性、挖掘結果的多樣性、數據預處理可視化、挖掘對象描述的可視化、挖掘過程可視化、結果顯示可視化、用戶需求的描述及問題定義等幾方面討論了實現一個檔案數據挖掘系統的幾個重點問題。全文以探討如何將數據挖掘技術引入到具體的檔案工作實踐中為核心。
  7. From the second to the fifth chapter such problems concerning state - owned property right are illustrated respectively as its definition, valuation and price fixing and capital sources of undertaking party and the disposal and use of transfer income. problems are raised with regard to the process of current property right system diversity in state - owned enterprises, such as the disagreement to the definition of state - owned property right, no standard of evaluation, imperfection of price fixing system and relative confusion of transfer income disposal and use. what ' s more, new solutions are offered : the probe into state - owned property right definition " changsha model " is confirmed positively ; two specific ways of quantification - - " the method of average growth rate of state - owned property right " and " the method of average cost of labor in market " ; the concept " present value of earnings " is applied to the property evaluation of receivable accounts, finished goods, invisible assets and so on ; the unjust in price fixing of state - owned property right can be avoided by improving property valuation methods, perfecting capital market especially property right trading market and bettering information publishing system ; as to the guarantee problem of human resources financial contribution, an original key is offered

    第一章運用產權理論對國企產權多元化改革進行經濟學分析；第二章至第五章主要圍繞國有產權的界定問題、評估問題、定價問題、承接方的資金來源問題、轉讓收入的處置運用問題分別進行闡述，指出了當前國企產權多元化過程中存在著國有產權界定不統一、評估不規范、定價機制不完善、處置運用相對混亂等諸多問題，並提出新的解決思路：肯定國有產權界定「長沙模式」的積極探索意義，提出量化職工創造剩餘價值的「國有資產平均增長率法」和「平均市場勞動成本法」 ；將「收益現值」概念運用到對應收賬款、產成品、無形資產等資產評估之中；應從完善資產評估方法、完善資本市場特別是產權交易市場和健全信息公開機制三個方面來解決國有產權定價不公問題；就人力資本出資的擔保問題提出實際債務承擔額（比例）應小於名義出資額（比例）的新思路，並認為人力資本市場上的交易價格應包括絕對出資額和相對出資額兩部分。
  8. It includes definition of case, solution of case, operational process of case, result of case and primary evaluation of case

    它包括問題定義，問題解決方案，問題解決過程、問題解決結果以及問題評價等五個組成部分。
  9. Relation upstream downstream based dsm ( udbd ) is defined to avoid singleness of classical dsm and it reinforces the capability to describe activity relations ; iteration udbd is defined to describe multi iteration modes of activities ; overlapping udbd make it possible to describe activity overlapping with matrix

    定義了關系udbd （基於上下游關系的設計結構矩陣） ，避免了傳統dsm對活動關系描述的單一性，增強了對活動關系的描述能力;定義了迭代udbd ，解決了多種迭代模式的描述問題;定義了重疊udbd ，使利用矩陣描述活動重疊成為可能。
  10. The oo design process : refining the problem definition

    細化問題定義
  11. Refining the problem definition

    細化問題定義
  12. The next step that i usually take when starting a problem definition is to create a glossary

    當開始問題定義時，我通常是做下一步，建立一個詞匯表。
  13. The problem is defined on an unbounded physical domain. we apply the artificial boundary condition method to solve it

    該問題定義在無界的物理區域上，我們使用人工邊界條件方法進行求解。
  14. Interest computation is an important part of defining the problem, however, so it indeed belongs in the problem statement

    利息的計算是問題定義的一個重要的部分，所以事實上它屬于問題說明書。
  15. Simulation result demonstrates its feasibility and shows this method accompanied with data reconciliation can significantly reduce sensor network investment. 5

    模擬結果說明了問題定義和求解方法的可行性和有效性，還表明這種結合數據協調的配置方法可以有效地節約配置費用。
  16. Both of the prices of raw materials and products and reconciliation precision are integrated into one objective - economic loss. then, sensor network design is defined as a problem of multi - objective optimization. both of the cost and economic loss are used as objectives

    針對物流測量網路，綜合考慮物流價格和變量協調精度，提出了一個經濟損失最小的目標函數，並將線性測量網的傳感器配置問題定義11飯杠大學博士學位論文為一個多目標優化問題，將配置費用最低和經濟損失最小同時作為優化目標，以變量可觀性、冗餘性、控制和工藝要求等作為約束條件。
  17. A novel method of content - based image segmentation using deformable template matching is proposed. a two - dimensional ( 2 - d ) deformable template based on orthogonal curves is built by pre - computing extensions of the deformable template along orthogonal curves and sampling the curves uniformly. then the definitions of internal and external energy functions are given according to the image segmentation problem, and genetic algorithm is used to obtain globally optimal solutions. the proposed method uses a lower - dimensional search space than conventional methods and reduces the sensitivity of the algorithm to initial placement of the template. experiments on real - world images and in simulations at low signal - to - noise ratio show the robustness and good performance of the method

    本文提出一種採用可變形模板匹配技術進行基於內容的圖像分割演算法.通過預先計算出可變形模板沿著變形的正交曲線，並對模板曲線及正交曲線進行離散抽樣，建立一基於正交曲線的二維（ 2 - d ）可變形模板，針對圖像分割問題定義控制可變形模板進行變形的內、外部能量函數，本文採用遺傳演算法搜索能量函數最小的全局最優解.該新演算法比傳統的可變形模板匹配方法降低了搜索空間的維數，減少了演算法對模板初始位置的敏感.對實際圖像及模擬低信噪比圖像處理的結果表明，新演算法具有良好的分割精度及穩定性
  18. The computer data structure of branch circuit element type and its linear list is defined ; the problem describing a complicated circuits whth data structure is solved. kirchhoff branch element type, kirchhoff colosed loop circuit element type and the set of kirchhoff closed loop circuits are defined ; the computer algorithm for getting a set of kirchhoff closed circuits is given out. and so, using computer for automaticly analysing and solving complicated linear circuit problem can be realized

    針對一般的線性電路，用數據結構中關于定義抽象數據類型的方法定義了電路支路數據元素類型及相應的線性表，解決了用數據結構描述任一復雜電路的問題.定義了基爾霍夫支路數據元素類型、基爾霍夫迴路元素類型和基爾霍夫迴路集，給出了求基爾霍夫迴路集的演算法.從而實現了計算機自動分析、求解復雜線性電路的問題
  19. This thesis emphasized on discussing the analysis, design and achievement of the model of x - wrm, uml method and rose and made some analysis and design. it solved the problem of mode design, data impact and display of the report and defined the basic data based on the field

    論文重點討論了x ? wrm模型的分析、設計與實現，應用uml方法與rose對其進行分析與設計；解決報表樣式的設計、報表數據的交互、報表的顯示問題；定義了基於該領域的元數據。
  20. In this paper, several classes of vector f - complementarity problems, which are the vector form of f - complementarity problems ( fcp ), are introduced and studied. the relations of the vector f - complementarity problems, general vector variational inequalities, and least element problems of feasible set are given under certain conditions

    在本文中作者引入了f -互補問題（ fcp ）的向量形式- - -向量f -互補問題，並在一定條件下給出了幾類向量f -互補問題，廣義向量變分不等式問題與向量可行集的最小元問題之間的聯系。
分享友人
分享到 Line

分享到臉書