時序推理系統 的英文怎麼說

中文拼音 [shítuītǒng]
時序推理系統 英文
temporal reasoning system
  • : shí]Ⅰ名1 (比較長的一段時間)time; times; days:當時at that time; in those days; 古時 ancient tim...
  • : 動詞1 (向外用力使物體移動) push; shove 2 (磨或碾) turn a mill or grindstone; grind 3 (剪或削...
  • : Ⅰ名詞1 (物質組織的條紋) texture; grain (in wood skin etc ) 2 (道理;事理) reason; logic; tru...
  • : 系動詞(打結; 扣) tie; fasten; do up; button up
  • : Ⅰ名詞1 (事物間連續的關系) interconnected system 2 (衣服等的筒狀部分) any tube shaped part of ...
  • 時序 : [地質學] sequence; sequential; time sequence; timing sequence; sequence in time
  • 推理 : [邏輯學] inference; ratiocination; illation; reasoning; ratiocinate
  • 系統 : 1. (按一定關系組成的同類事物) system 2. (有條理的;有系統的) systematic
  1. 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方法為主要內容。
  2. Equations of mesh, shorting contact line, undercutting limit line, meshing limit lines and the existence conditions, angle between the direction of relative speed and the direction of contact line, induced normal curvature about every point on the contact line are established. moreover, the paper also theoretically analyzed the error of the grinded gear surface. on the basis of the theory, the computer program is worked out to automatically produce the contact line and the boundary curves of mesh. analysis of meshing circs under different parameters can be done so that we can gain the best process condition

    首先對漸開面二次包絡論進行了深入的探討,導出了兩次嚙合的嚙合方程式、瞬接觸線方程式、根切界限線方程式、嚙合界限線的方程式及其存在條件,相對運動速度方向與接觸線方向的夾角及接觸線上各點的誘導法曲率;此外,還對磨齒后工件的齒面誤差進行了論分析;並在論基礎上編制了相應的計算機程,自動生成接觸線族及嚙合界限線,對不同參數條件下的嚙合情況進行分析,可以使工藝條件達到最佳狀態;最後研究了磨齒裝置,設計了磨齒機的傳動
  3. At the same time, the formulas on reliability, mean time to failure and availability, mean time between failure etc were deduced respectively based on the distribution density function and markov state - transition diagram

    依據分佈密度函數和馬爾可夫模型的數學論分別導了兩種的可靠度、平均故障前間和可用度、平均故障間隔間等指標的計算公式,為軟體內核程的開發奠定了論基礎。
  4. Firstly, this paper makes a detailed study on the field control bus system ( pcs ), including the characters of pcs by comparing fcs and dcs, model networking of pcs and several popular field bus, then put forward a question for discussion combining embeded internet technology and field bus and measure and control networking model based embeded internet technology is constructed. secondly, it studies embeded system including the core of hardware ? mbeded microprocessor and real time operation system. thirdly, the method of realizing embeded internet is discussed for emphasis, and difficulty of ehernet application in industry measure & control system is analysed. an instance of measure & control networking system based embedded ip is given. finally, the author designed a networked remote video surveillance system based embedded web server, c / os - ii is sacled and ported into the embedded microprocessor at89c51. based on the c / os - ii rtos, tcp / ip protocol suite and application program is designed in detail. the system w orks well that improves that the embedded internet technology will be widely used in modern measure & control networking system and has extend values

    本文首先分析了現場總線( fcs )與傳集散控制( dcs )相比具有的特點、 fcs的網路體結構,介紹了幾種流行的現場總線,提出了將嵌入式internet技術結合現場總線構建現代測控網路的課題;在此基礎上,構建了基於嵌入式internet技術的測控網路結構模型;深入研究了嵌入式的核心硬體?嵌入式微處器,通過對比普通操作,描述了嵌入式實操作的特點;重點研究了實現嵌入式internet的四種實現方法,並分析了以太網在工業測控中應用的難點,給出了一個基於嵌入式ip的網路測控實例;最後,研究與設計了一個基於嵌入式web服務器的遠程網路視頻監控,該嵌入式web服務器利用目前成熟的嵌入式實操作c / os - ,通過對c / os -進行適當的裁剪、修改與移植,在at89c51嵌入式微處器上實現了tcp / ip協議棧及應用程的成功運行證明了本文研究成果的有效性,也表明嵌入式internet技術在現代測控網路中具有廣闊的應用前景和廣價值。
  5. In this paper, the three level fortification criterion, two stage design method and the elastic response spectrum theory are adopted, and the program of nba ( the program of nonlinear - aseismic analysis for beam bridge ) is used to calculate. through gathering, analyzing and calculating a lot of bridge design materials, this paper induces a simple way to calculate the relative displacement of the beam and the pier, and then according to the current design method, it concludes a better design principle of the supporting length of the beams. at the same time the dynamics is adopted to put forward the design method of the carrying capacity and the lengthen of prestress wire ( steel bar ) falling - off prevention structures of highway bridges

    本論文採用三水準設防、兩階段設計方法、彈性反應譜計算論,運用橋梁結構非線性地震響應分析程nba ( theprogramofnonlinear ? aseismicanalysisforbeambridge )進行計算;通過收集大量的實橋設計資料,經分析計算,歸納總結出計算上下部結構相對位移的簡便計算方法;並綜合國內外的經驗值,提出梁的支承長度se的設計原則;同運用動力學突加荷載的原導分析了預應力鋼絞線式(鋼棒連接式)落梁防止裝置設計承載力的計算方法和設計伸長量s _ f的取值;最後本文通過實橋計算,說明了落梁防止設計的方法。
  6. After that, she adopts game theory to study twice price reductions. from the game primary factors such as participants, strategy and benefits, she sizes up the efficiency of the price competition, and analyzes the strategical selection system in competition and cooperation between humen bridge co. and humen ferry co. in the third section, firstly, she draws out the linear regression formula with time series data and vehicle flow to estimate future flow under the condition of un - reducing price with the tools of statistics

    第三部分先用計學的基本原和分析工具求得虎門大橋車流量與列的線性回歸方程,來算假設在未調價條件下的年流量;再運用管經濟學的價格彈性論比較調價前、后的車流量和價格的變化關,求出二類車的價格彈性數,用以判斷虎門大橋這次二類車調價策略的效率性。
  7. Moreover, for chinese banks and researchers, both the requisite technologies and experiences in this field are just in the beginning steps, yet somewhat lagged behind. the main purpose of this paper is to give a complete and systematic discussion on the theoretic basis, methods and formalities of the five - class system of credit assets, which is currently used in the people ' s bank of china, together with the introduction and comparison of other contemporary formalities of credit assets adopted by other commercial banks. then we give a deep and concrete analysis of the situation and problems in the current operation of the credit assets five - class system in the b city commercial bank in anhui province

    本文的主要目的就是針對目前中國人民銀行正在行的信貸資產五級分類的論基礎、方法及程進行了較為全面和的論述,並對同期國內外商業銀行所採取的信貸資產分類模式做了相應的介紹和比較,進而具體剖析了現階段安徽省b市商業銀行在信貸資產五級分類操作中的具體步驟,同,借鑒了貸款風險評估的相關論和模型,對安徽省b市商業銀行目前的貸款風險分類方法的現狀和存在的問題進行了較為深入的、的分析。
  8. Based on the wholly, dynamics and integrated principle, the guide of petroleum geology and computer technology, the research has been done as follows by the factors of geology, gravity, magnetism and electricity : ( 1 ) building chronostratic framework of wangjiang - qianshan and its neighbor, divide and compare carbonic and permain sequence. ( 2 ) studying distribution of sediment series in different period. ( 3 ) studying the basic tectonic transform style, preliminarily dividing main tectonic units. ( 4 ) describing the formation and evolution of basin

    本文以整體、動態、綜合分析為原則,以石油地質論為指導,以計算機技術為手段,利用地面地質、重力、磁力、電法所獲得的各項參數,進行了以下研究工作:建立望江?潛山盆地及鄰區的年代地層格架,並對石炭、二疊地層進行層劃分與對比;研究不同期沉積體的展布特徵;研究盆地的基本構造變形樣式,初步劃分盆地的主要構造單元;描述盆地的形成演化過程;在上述研究基礎上劃分測的含油氣
  9. The paper want to solve one of the problem, using how to supply the pubic houses as the core part, and mainly analyzing its good and bad of the supply model of public houses. analyse the government heavily constructing housing, using private houses, government buiing houses, reassure government houses as pubilic housing, using the vacant houses as public houses and so on, analyzing these supply model ' s influence on real estate market, government " s financial pressure, and the management of the public houses, and at last use the nsfdss ( non - structure fuzz decsion surport system ) apprasial method apprise these suppling model. connecting the facts of xi ' an, analyse the fitfull of the result

    本文主要以廉租房保障制度實施中存在的問題之一? ?廉租房房源提供方式的優劣勢比較分析為核心內容,對廉租房的供房模式:政府集中興建、利用私房、政府出資購房、公房認定、利用空置房轉化等模式進行優劣勢比較分析,分析這些供房模式各自在動房地產市場、減輕政府財政壓力、廉租戶管、廉租房出機制形成等方面的優劣勢,並利用nsfdss (非結構化模糊決策支持)評價方法綜合評價排各供房模式,並結合實際情況對西安市實施廉租房制度採取的供房模式進行適應性分析,為決策者決策選擇的論指導依據,促進廉租房的發展。
  10. While designing the system, we spent a lot of time on considering how to divide and define each module and how to coordinate and interconnect these modules. we followed the top - down method to design. as for the interconnection of each module, we defined the interface signal to communicate between them, and the internal timing of the module was control1ed by states machine

    方案設計過程中,對模塊如何合劃分及各個模塊之間如何協同工作做了仔細的敲,按照自上而下的設計方法將各個模塊逐一細化,各模塊之間通過埠信號進行連接,模塊內部則由狀態機控制
  11. Then basing the theory of certainty, a new uncertain reasoning model was introduced and this model was validated in the example of tomato. then, the step of realization of the neural - expert hybrid expert system ' s inference engine was introduced. a diagnose method of diseases and insect pests base on module of neural network was presented and realized in this paper

    在確定性論的基礎上,提出了一種新的不確定性模型,以番茄營養診斷為例對這種新的不確定性模型進行了驗證,同給出了過程的實現程步驟。
  12. Basically the paper configured to use series - parallel ways to accomplish quick phase capture, and therefore realize telemetry and communication at the same time. the paper gives the simulation ways of matlab, systemview and vhdl of the method mentioned above. and the simulation results show that the complex system can realize the theoretical target, including communication and telemetry simultaneously, finishing real - time measuring with high accuracy and huge range, realizing system function in unrealistic circumstances

    本論文在前面章節論分析和導的基礎上,應用matlab 、 systemview和vhdl硬體描述語言等模擬軟體編制間流和數據流程,對的技術性能進行模擬,結果證明復合能夠較好地完成設計指標:同完成擴頻通信和測距任務,實現高精度、大量程、實地測距,實現惡劣通道環境下的正常工作。
分享友人