logic graph 中文意思是什麼
logic graph
解釋
邏輯圖-
Based on the timing constraints event model of rtl ( real time logic ), the compiling algorithms for timing constraints event transform the problem of how to detect timing constraints event to the problem of how to find negative cycle in weighted directed graph, which is named as constraints graph. by simplifying constraints graph, the efficient detecting algorithms for timing constraints event have been developed, which not only has good time complexity but also can find events that violate timing constraints as early as possible. in order to verify the event detecting methods based on dynamic rules and to check its efficiency in application, experiment schemes are designed and performed on the implemented prototype system in linux environment
帶時間約束事件的編譯演算法以rtl （ realtimelogic ）事件模型為基礎，將帶時間約束事件的檢測轉化為在帶權值的有向圖（此即受限圖）中尋找負圈的問題，它通過化簡受限圖得到最小有效約束集；運行時事件檢測演算法在最小有效約束集上檢查事件的時間約束，不但有較好的執行效率，而且能盡早地發現違反時間約束的事件。 -
This paper presents the conversion from dynamic logic gate to markov chain, the solution of dynamic subtree top event failure probability and the method of obtaining the failure mode of subsystem using markov model, that is sequence cutsets of the dynamic subtree. the typical approach to importance analysis of component is impractical for large systems in markov model, so this paper also provides a simple and intuitionistic graph solution based on markov chain
論文研究了動態邏輯門向馬爾可夫鏈的轉化方法，利用馬爾可夫鏈法求解動態子樹頂事件概率，以及通過馬爾可夫狀態轉移圖直接找齣子系統的故障模式和薄弱環節，即得到動態子樹的順序割集。 -
The lattice implication algebra is a theoretical basis for the theory of lattice valued logic and approximate reasoning. in 1987, alavi and others conjectured that every graph with positive size has an ascending subgraph decomposition. this conjecture is an unsolved problem in graph theory
與圖論中的其它問題一樣，對圖的升分解問題的構造式證明本質上是尋找一種解決可以抽象為圖的升分解問題的一類實際應用問題的演算法，因此，關于圖的升分解問題的研究工作對利用計算機解決這類實際問題具有現實意義。 -
Power bond graph is used to established the bond graph model of the lifting and dropping of hydraulic pile hammer and state space equation in the paper for hydraulic pile hammer is perplexing nonlinear system. in order to attain the graph that pressure, position, velocity, acceleration vary with time in the course of driving pile simulation procedure solving state space equation is designed on the basis of combining four - order runge - kutta method with predicator - corrector method, dynamic simulation of the hydraulic system is studied in matlab 6. 5. it is convenient to analyse dynamic characteristics of the hydraulic syste m, beneficial to the design and parameter optimization of the hydraulic system. in the final part of the paper, under detailed analysis of the control characteristics for double - acting hydraulic pile hammer with double cylinders, control system based on the programmable logic controllers founded on technology of modern compute is designed
由於液壓打樁錘液壓系統是一個復雜的非線性系統，本文採用功率鍵合圖法建立液壓打樁錘上行、下降的鍵合圖模型和狀態空間方程，通過四階龍格?庫塔法和預估?校正法相結合編制了模擬程序對狀態空間方程求解，在matlab6 . 5中進行液壓系統的動態模擬，獲得液壓打樁錘運動過程中壓力、位移、速度、加速度等隨時間變化的曲線圖。此曲線圖方便了對液壓系統動態特性分析，為液壓系統的設計和參數優化提供了有益的借鑒。最後，在深入分析雙缸雙作用液壓打樁錘控制系統的功能要求后，採用了以現代計算機技術為基礎的新型工業控制裝置? plc可編程式控制制器，設計出了雙缸雙作用液壓打樁錘的電器控制系統。 -
Basic theories used in the research are agricultural economics, environmental economics, welfare economics, public economics, finance, sustainable developing economics, etc. main research methods are mathematical logic analyzing method, figure and graph analyzing method, philological method, combining definition and ration, etc. using for reference of foreign advanced experience about supporting sustainable agriculture, combing related agricultural policy in wto, basing new funds supporting system upon current situation of chinese agricultural investment, i lodge a agricultural sustainable supporting system which is consonant with chinese agricultural feature
從「世界是事實的總和，而非事物的總和（ wittgenstein關于科學的命題之一） 」角度出發，本論文在研究過程中力求堅守事實的客觀性。研究思路遵循著：研究問題的提出? ?農業可持續發展研究? ?農業可持續發展資金支持研究? ?中國農業可持續發展資金支持體系的設計與對策分析的路徑。研究邏輯服從于：核心概念界定? ?農業可持續發展與資金支持構造解析? ?中國農業可持續發展資金支持體系的建構? ?中國農業可持續發展資金支持體系構建整合，這個從一般到特殊的過程。 -
The research of this task comes from key projects in scientific research of the tenth " five - year plan " ( ( the technology of color spray - paint graph plotter for military use ) ). a further study has been made of pci2. 2 bus protocol, and a theoretical summarization of the protocol needed in the design of pci system is presented from the viewpoint of engineering application. on the basis of a good knowledge of pci bus protocol, this paper suggests a new method of data transmission based on pci on high - speed spray - paint graph plotter, and then designs hardware logic according to the methed, puts pcb board into practice. finally, the wdm drive progam of the hardware device is designed
論文深入研究了pci2 . 2總線協議，並在工程角度上對pci總線協議中項目相關的協議的進行了理論總結。本論文在深刻理解pci總線協議的基礎上，提出了高速大幅面新一代彩色噴墨繪圖機上基於pci數據傳輸技術的一種新穎的解決方案，並基於這種方案設計出硬體邏輯，實現pcb板，最後設計出該硬體設備的wdm驅動程序。本文在設計硬體邏輯時，擺脫了傳統設計思路，應用了一種新穎的設計方法，應用了quicklogic公司的嵌入式可編程介面晶元q15030來完成介面晶元設計。 -
In this thesis the theory and method of intelligent fault diagnosis for a large turbo - pump fed liquid - propellant rocket engine ( lre ) is innovatively proposed and developed, based on the hybrid reasoning strategy and the hybrid knowledge models including mathematical model, logic model, graphic model and qualitative model. the theory and method are constructed in the way of intelligent modeling technique and creative application of knowledge engineering, and focus on the difficult problems and critical techniques such as the unified treatment of lre knowledge ( experience, facts, rules, graph, system structure, behavior, model knowledge and measured data ), the integration and translation of qualitative and quantitative knowledge, and the knowledge - based intelligent fault diagnosis reasoning methods. firstly, besides the correlation of different knowledge, the concept and the types of lre diagnosis knowledge are systematically described
本文以某大型泵壓式液體火箭發動機為研究對象，以智能建模技術和知識工程的創造性應用為主要技術手段，圍繞著發動機知識（經驗、事實、規則、圖形、結構、行為、模型知識與測量數據信息等）的統一處理技術、定性定量知識的集成與轉化和基於知識的智能故障診斷推理等關鍵技術和難點，創新地研究發展了發動機基於混合知識模型（數學模型、邏輯模型、圖形模型及定性模型）和混合推理策略的智能故障診斷理論和方法。 -
The theorem has many deep extensions which are important not only in graph theory and combinatorics but in set theory(logic)analysis as well.
這個定理有許多深刻的推廣，它們不僅在圖論和組合論中是重要的，而且在集論（邏輯）和分析中是同樣重要的。 -
This thesis transforms the composition of learning content into the logic cluster of correlative concepts in the concept layer, and proposes the idea of learning content hierarchy graph. by means of the and / or graph of artificial intelligent theory, we can transform the learning content into the problem of and / or tree further. hence, we conclude that the learning content is a tree, the root is learning goal, the branch node is correlative concept, and the leaf is media material
本文將具體的學習內容組織轉化成在概念層上相關概念的邏輯聚集，提出了學習內容層次圖思想；經過分析發現學習內容層次圖的組織方式和人工智慧理論中的and / or圖之間存在著相似性，將學習內容的獲取轉化為and / or圖中的and / or樹問題；最終確立了學習內容的獲取就是以樹根為學習目標，以分枝節點為相關概念組織，以樹葉節點為對應的媒體素材的邏輯聚集。
分享友人