推理法提問 的英文怎麼說

中文拼音 [tuīlǐfǎdīwèn]
推理法提問 英文
questioning of inferential method
  • 推 : 動詞1 （向外用力使物體移動） push; shove 2 （磨或碾） turn a mill or grindstone; grind 3 （剪或削...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 提 : 提動詞（垂手拿著） carry （in one's hand with the arm down）
  • 問 : Ⅰ動詞1 （請人解答） ask; inquire 2 （詢問; 慰問） question; ask about [after]; inquire about [aft...
  • 推理 : [邏輯學] inference; ratiocination; illation; reasoning; ratiocinate
  • 提問 : ask a question; put questions to; quiz
  1. In algorithms, classification algorithms are divided into two cases : one for known statistical distribution model and the other for unknown statistical distribution model. four classification algorithms, the bata - prime statistic model fusing quadratic gamma classifier, based on sar image rcs reconstruction and space position mode, on the mixed double hint layers rbfn ( mdhrbfn ) model and on the self - adapt fuzzy rbfn ( afrbfn ) model, are derived. the problems, including how to further improving the class ratio of the bayes decision, decreasing the dependence on the statistical model and directly providing the adapted algorithm with samples, are solved

    提出了基於徑向基函數神經網路（ rbfn ）的雙隱層混合網路（ mdhrbfn ）模型，解決了標準神經網路在具體sar圖像地物分類中分類類別數目不夠和分類精度差的問題；提出了基於模糊推理系統的自適應模糊rbfn分類（ afrbfn ）模型，兼顧通用性與精確性，增強人機交互能力，進一步提高了演算法分類率。
  2. 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系統的開發，使得系統具有一個既有問題又有解答的無限題庫，這些解答是由自動推理產生的而不再是固定問題、答案的堆砌；在系統功能方面，充分體現了建構主義思想，具有良好的人機交互性、並發性和開放性。
  3. Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

    本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。
  4. This paper is an academic thesis about remote sensing information model and geographical mathematics. the author have studied a lot of remote sensing information models and geographical image information models. according to geographical regularity the author advance non - linear mathematics method which is geographical complex phenomena both of certainty and uncertainty to combine in an equation. that is from formal logic inferring to dialectical logic calculation. moreover, it is from abstract thinking to both of abstract and visualized thinking, which is image joining equation calculated. make a suggestion that the geographical parameters are different from the physics variables. thus initiate based on geographical science for mathematics. there are 4 parts as follows in this paper : the regularity of geographical phenomena ; general equation of remote sensing information model ; geographical parameters and geographical indexes ; significance of geographical image information models

    從大量的遙感信息模型，地理圖像信息模型的實踐中，提出符合地理科學自身規律的非線性數學方法，解決了確定性與不確定性結合的宏觀復雜性問題。從形式邏輯推理發展到辯證邏輯的計算，從抽象公式的計算發展到抽象思維與形象思維結合的公式與圖像結合的計算。提出了物理變量與地理參數的區別，從而開創了以地理科學為背景的數學研究，進而為發展地理數學奠定了基礎。
  5. Aiming at matching searching of customer demand in product configuration design of case - based reasoning, the conception of the entities, the entity, the attribute, the primary attribute set, the similar element etc. were introduced, and the similarity calculation model based on entity attribute was established ; the mapping relationship of customer demands and the product structure cellular feature during the process of product configuration was studied, and the calculation flow of similarity was put forward ; the type, range and weighting of attribute were analyzed, the calculation method of property similarity and formula of entity similarity were advanced

    摘要針對基於實例推理的產品配置設計中客戶需求匹配搜索的問題，引入了實體集、實體、屬性、主屬性集、相似元等概念，建立了基於實體屬性的相似度計算模型；研究了產品配置過程中客戶需求與產品結構單元特徵之間的映射關系，提出了相似度的計算流程；分析了屬性的類型、值域和權重，提出了屬性相似度的計算方法和實體相似度的計算公式。
  6. According to the problem that sampling position has certain influence on precision of the gm ( 1, 1 ) model, in this paper, we try to find out the best sampling position to solve maximum value of stress or strain when using electro motive strain and extr apolating method of gm ( 1, 1 ) model, so as to offer a theoretical foundation for applying electro motive strain more reasonably

    針對采樣位置對模型精度有一定的影響這一問題，本文通過三個具體例子來研究采樣位置對模型精度的影響，探求用應變電測法和gm （ 1 ， 1 ）模型外推法求最大應力值時最佳的采樣位置，從而為更合理的運用應變電測外推法提供一個理論依據。
  7. Based on knowledge reasoning, fuzzy theory, extraction of sub - assembly and cluster, and hierarchical connection relation graph, an assembly sequence generation algorithm is studied in this paper, which breaks down the original complex assembly sequence generation problem into several small scale assembly sequence planning problems to reduce the computing complexity caused by cut - set theory. a hierarchical and / or graph to store all the generated sequences is also employed for this purpose

    本文提出基於知識推理及模糊理論，結合子裝配與聚族提取以及裝配樹，利用層次聯接關系圖，將一個復雜的裝配序列求解問題轉化為若干個相關的小規模裝配序列求解問題，並用一種層次與或圖結構存儲裝配序列，使割集法求解裝配序列的計算復雜度大大降低。
  8. This article discussed the problem of the relationship between the language nationality and sociality, putting forward oppugnation about " han mandarin " and country current mandarin, considering that the constitution prescropt about " the whole country current mandarin extended by nation " should be comprehended correctly, in order to take more achievement in whole country extending mandarin

    文章論述了語言的民族性與社會性的關系問題，對「漢語普通話」和「國家通用的普通話」等說法提出了質疑，認為應該正確理解憲法關于「國家推廣全國通用的普通話」的規定，使全國推廣普通話的工作取得更大成績。
  9. New developments in decision theory, artificial theory and dynamic analysis method are applied to evaluation the possible projects. the main contents in this paper are included as follows : first, has improved an format reasoning method based on multiple attribute utility model and knowledgebase theory ; second, has proposed complex utility model by improving the theory of multiple attribute utility ; third, has presented a kind of weapon intelligent decision support system, based on the complex utility model and developed with com / dcom criterion ; forth, this paper also has build the dynamic simulation model for long - rang multiple tube rocket launcher system, and the tire dynamic model has applied in the rocket launcher system dynamic simulation model ; fifth, through building the rocket - launcher contact model, this paper has analyzed the dynamic forces between the rocket and launcher ; finally, this paper has build the evaluation model of the project about improving existing rocket launcher to the launcher that using canister, and get the conclusion through using the widss. the studies in this paper not only proposed scientific warrant to the choice of projects in this pre - studied national defense task about improving existing rocket launcher to the launcher that using canister, but also can give other studied tasks with decision supported

    主要內容包括：在總結決策分析與專家系統規則庫技術的基礎上，提出了融決策分析與專家系統規則庫技術於一體的形式化推理機制，該機制能有效的將定量計算和定性知識融為一體，將規范的決策分析解題過程與專家系統特有的演化推理方法有機結合起來；在多屬性效用理論的基礎上，建立了一般形式的復式效用模型，並實用化了全相關乘式效用模型，提供了較完善的通用建模、分析和解釋功能：引入了com dcom組件技術，開發了基於組件的widss系統，該系統基於形式化推理機制，易於擴展，能夠面向多種決策問題，具有較強的通用性；建立了遠程多管火箭炮全炮動力學模擬模型，將充氣輪胎動力學模型、輪胎和路面的相互作用模型運用於多管火箭炮動力學模擬計算中；利用碰撞接觸理論，對火箭彈在定向器管內的運動受力情況進行了模擬計算；建立了遠程多管火箭炮箱式發射改進方案模型，並利用動力學模擬計算結果在widss系統中進行了方案性能評估。
  10. Firstly, reviews and analyses the evolution and present situation of the medical care insurance of cities and towns workers ; secondly, analyses the objectivity which restricts the medical care insurance reform, and then finds a solution to breakthrough the bottleneck of social medical care insurance reform ; thirdly, analyses the evolution of medical care insurance reform of western countries objectively, so that we can make a strong argumentation why we should learn their successful experience to perfect our medical care insurance ; last, makes a serious investigation towards some major problems which needs to be solved during our present medical care insurance reform, such as perfect the system, enlarge the coverage of insurance in a high speed, promotes the medical and medicine administration system at the same time sets up a human ? oriented concept called “ equality priority and efficiency ” the thesis sticks to the basic principle of dialectical and historical materialism in investigation method, tries to adopt a series of methods, includes the followings : scientific abstraction, statistics, the combination of international comparison and internal analysis, etc. the thesis has already made some achievements after making a thorough study about the obstacle and policy of our national medical care insurance reform

    第三部分內容，客觀分析了西方國家醫療保險改革的路徑，並就我國城鎮職工醫療保險所應借鑒的有益經驗進行了論證。第四部分內容，對我國現階段城鎮職工醫療保險改革實踐中需要解決的幾個主要問題，比如完善制度設計、快速推進保險的覆蓋面、切實推行醫療醫藥管理體制的同步改革、樹立「公平優先兼顧效率」的人本理念等問題，進行了認真的研究，提出了解決這些問題的途徑。本論文在研究方法上，堅持了辨證唯物論和歷史唯物論相結合的基本原則，採用了科學抽象法、統計法、國際比較與國情分析相結合等諸多的方法。
  11. By analyzing the features of engineering geology of northeast part fenghuang mountain in yanan, the adverse geological problems including landslides, slumps, collapse and hazardous slopes are presented and their stability is assessed by virtue of bishop ' s method and surphas thrust method commonly used in limit equilibrium analysis, in order to supply the reliable basis for future design schemes

    摘要通過對鳳凰山東北麓工程地質特徵的分析，指出該區存在的不良地質問題有滑坡（滑塌）以及危險斜坡等，並對各滑坡（滑塌）以及危險斜坡的變形破壞特徵進行了分析，最後運用斜坡（滑坡）穩定性計算中常用的瑞典法、畢肖普法和剩餘推力法對其進行了穩定性驗算，為鳳凰山東北麓後期的治理設計提供了依據。
  12. The six tactics of effective reading mentioned in this essay are as follows : to activate the original knowledge, to determine the important information ( or to distinguish the important and unimportant information ), to raise problems and solve the problems ( the tactics of query and the clearing up ), to summarize the information, to analyse the information and to supervise the comprehension

    根據閱讀與教學的需要以及現有研究成果，本論文輯錄並實踐了有效閱讀的六大策略：激活原有知識策略、確定重要信息策略、提出問題和回答問題的策略、概括信息策略、推理信息策略、監控理解策略。並且在實踐中摸索出實施「有效閱讀的策略」的一般程序：確定閱讀目的? ?選擇閱讀方法? ?監控閱讀過程? ?測評閱讀效果。
  13. Based on the analysis of the current situation of the state medium - small - enterprise and the difficulties met during the stock reorganization of the high technology medium - small - enterprise, the article tries to provide possible solutions on the issues of definition of property rights, management of state assets, stock evaluation of commercial and non - commercial capital, disposal of enterprise debt and the use of land, and the settlement of retired people respectively. applying the modern theory of financial management, the article also gives its suggestion on the comprehensive evaluation on the companies during their stock reorganization and on the optimal allocation of capitals. according to the western experiences of developing high technology industries by venture investment and the prospect of the roles played by the forthcoming growth enterprise market, the article concludes that the sate medium - small high technology enterprises raising money from growth enterprise market through stock reorganization may be a shortcut for their development. a case of an " institute of automatization ", whose scheme was planned by the author for practice, is discussed throughout the paper

    本文在對我國國有中小企業改革現狀的分析基礎上，針對我國國有中小高新技術企業的現狀及股份制改組過程中的難點，對產權界定、國有資產管理、經營性和非經營性資產的剝離、凈資產的折股、企業債務和土地使用權的處理、離退休人員的安置等等問題，分別提出了具體的解決辦法。運用現代財務管理理論，提出了股份制改組過程中的公司整體價值評價方法及最佳資本結構確定的方法。在分析國外利用風險投資機制發展高新技術產業的經驗及即將推出的二板市場相關內容基礎上，明確提出國有中小型高新技術企業通過股份制改組最終到二板市場上市融資是其快速發展的途徑。
  14. Based on the clonal selection theory and immune memory mechanism in the natural immune system, a novel artificial immune system algorithm, clonal strategy algorithm based on the immune memory csaim is proposed in this paper. the algorithm realizes the evolution of antibody population and the evolution of memory unit at the same time, and by using clonal selection operator, the global optimal computation can be combined with the local searching

    人工免疫系統ais是一新的模擬自然免疫系統的計算智能方法，它受生物免疫機制的啟發，通過學習外界物質的自然防禦機理，提供噪聲忍耐自組織自學習記憶等進化學習機制，結合了分類器神經網路和機器推理等的特點，因此具有提供解決問題新穎方法的潛力。
  15. In this thesis, we ’ ve first introduced some conceptions of model checkingand knowledge reasoning. then we ’ ve mainly introduced my tutor ’ s methodof model checking temporal logic of knowledge. lastly, we ’ ve applied thismethod to two specific areas with our tool mctk : one problem is to verifythe winning strategies in the zero - sum games, which is to automatically findout whether there exists a way ensuring the necessarily win of players ; theother problem is to verify the knowledge based security protocols, whosesecure properties rely on the knowledge reasoning of the anticipants in theprotocol

    本文首先介紹了模型檢測和知識推理的基本概念，然後著重介紹了我導師所提出的模型檢測時態知識邏輯的方法，最後使用本實驗室研製的相關工具mctk來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略，即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議，而這類協議的安全特性依賴于協議參與者的知識推理。
  16. As these methods exist shortages, advanced diagnosis strategy is presented, which combines the fuzzy neural network instead of fuzzy inference to rules inference. the problem of accuracy ratio decline because of roughness of fuzzy synthesizing algorithm has been solved. an example of car diagnosis is given and validity of this method has been proved

    因此本章提出了以模糊神經網路代替模糊推理並與規則推理相結合的先進診斷策略，解決了因模糊合成演算法的粗糙性使診斷成功率下降或診斷錯誤的問題，並給出了一個車輛故障診斷實例，驗證了上述方法的正確性和有效性。
  17. The ids works by two way, misuse detection and anomaly detection, misuse detection flags an intrusion on intrusion signature, this kind of detecting technic can be realized much more easily, and much more accurate, but it can not find some intrusiones that have been disguised or new kinds of intrusion. the anomaly detection can detect in more wide field, anomaly detection can compare new statistic data with average record, then anomaly record will be found, but it ' s more difficult to set a threshold, if the threshold is too big, some intrusion may be put through, if the threshold is too small, the ids will give more false positive alarm, and the threshold will be different with different people or different period, so the ids just simply show us their suspicious record, the administrator or expert will be in duty to analyze this record and give conclusion, the ids give more alarm than it should, leave us more detection record to analyze, and this is a hard work, we can not distinguish an intrusion or not if we analyze only one record, but we can judge if we find the relation among mass detection evidence. in this article, we try distinguish an intrusion using d - s theory ( proof theory ) instead using manual work, the ids will be more helpful and efficient

    濫用檢測採用的是特徵檢測的方法，實現較為簡單，判斷的準確性較高，但是不能判斷一些經過偽裝的入侵或特徵庫中尚未包含的入侵，異常檢測能夠根據以往記錄的特徵平均值，判斷出異常情況，但是對于異常到什麼程度才視為入侵，這個閥值非常難以確定，閥值設定的太高，有可能漏過真正的入侵，如果設定的閥值太低，又會產生較高的誤警率，而且這個閥值因人而異，因時而異，因此現在的入侵檢測系統把這部分異常記錄以一定的形式顯示出來或通知管理人員，交給管理人員去判斷，而這些ids系統難以判斷的記錄，如果對每個證據單獨地進行觀察，可能是難以判斷是否是入侵，而把許多先後證據關聯起來，專家或管理人員根據經驗能夠判斷訪問的合法性，本文試圖引入人工智慧中證據理論的推理策略和示例學習方法，代替人工檢查分析，可以提高效率，降低誤警率，並可以對一個正在進行得可疑訪問實現實時檢測，通過搜索及時判斷，及時阻斷非法訪問，比事後得人工處理更有意義。
  18. This paper discussed the academic basis and realization technology of remote fault diagnosis base on internet, it emphasized on system structure design and system software design. a prototype system had been developed on windows platform to demonstrate the function of remote fault diagnosis system. finally, on the basis of the summarization of the research work in this paper, further research and investigation were discussed

    研究方向著重於建立基於internet的遠程故障診斷系統的總體結構及其各功能模塊，在此基礎上研究故障診斷方法和診斷推理原理，並在windows平臺上開發了遠程故障診斷原型系統，最後在總結全文的基礎上，對設備遠程診斷技術的應用前景作了展望，對有待進一步深入研究的問題提出了建議。
  19. Through the algorithm of ann, the author has made out the three - layers and four - layers bp nets to intelligently study and reason, supporting decision on the detail reasoning, such as piles " capacity and pile cap ' s bearing pressure

    根據神經網路的學習演算法，編制了三層及四層bp網路的學習及推理程序。該程序在某些細部問題（如確定樁的承載力、承臺反力等）上提供輔助決策。
  20. Security constraints are consistent by modifying security constraint definition, and an effective classification assignment algorithm is given in this paper. we analyze the problem of inference channel and give solution to solve the problem during database analysis and design period. by analyzing the problems resulting from extending single - level transactions to multilevel transactions, we also give a multilevel secure transaction schedule algorithm based multiversion snapshot graph

    本文提出採用主從結構表的方法對blp模型加以改造，使得改造后的blp模型具有較高的可用性和安全性；通過修改安全約束的定義，使得安全約束之間始終是協調的，並給出一種高效的密級分配演算法；討論了推理通道問題，給出了在數據庫分析、設計等階段可以採用的對策；分析了事務從傳統的單級擴展到多級面臨的眾多難題，給出了一種基於多版本串列化圖的事務調度演算法；根據上述理論，開發了一個多級安全數據庫管理系統的原型系統。
分享友人
分享到 Line

分享到臉書