computational logic 中文意思是什麼
computational logic
解釋
計算邏輯- computational : adj. 計算的。
- logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
-
Then, a logic computational diagram is constructed for calculating diametral growth by assuming fatigue cyclic softening, namely yield strength reduction as tubing fatigues
再通過合理的假設，建立用於計算直徑增長的計算機邏輯框圖。 -
After this melioration, monitor agent works more initiatively by filtrating the unrelated source data changes ; computational logic for integrator is predigested by the maintained object being changed from multi base tables to single source view on per - source ; the burden of system communication is lessened, and the maintenance efficiency is improved
改進后信息源端的監視代理能夠自行過濾掉無關的基表增量，提高信息反應的主動性；集成器的維護對象從每個數據源上的多基表簡化為單源視圖，集成計算邏輯得到了簡化；整個系統的通信資源也減少了，提高了系統維護效率。 -
Water erosion modeling on hillslopes ; formalization logic computational models ; dialectical logic computational models
坡面土壤水蝕建模形式邏輯計算模型辯證邏輯計算模型 -
Firstly the necessity of water erosion modeling on hillslopes is discussed. then existing water erosion models are generally divided into two types, formalization logic computational models and dialectical logic computational models according to the way of solving problems where the former can be further divided into four types - primarily empirically based, partially conceptually and partially empirically based, partially process based and partially empirically based, as well as theoretically based as weak points of the previous classification methods are concerned. finally characteristics of each type and their relationships are illust rated by examples
考慮到原有水蝕模型類型的不足，對當前水蝕模型按解題方法重新歸為形式邏輯計算模型及辯證邏輯計算模型兩類。其中，形式邏輯計算模型又分為經驗模型半概念半經驗模型半過程半經驗模型以及理論模型4類。結合實例闡述這幾類模型的主要特性及相關關系。 -
The quantum gate array is the natural quantum generalization of acyclic combinational logic " circuit " studied in conventional computational complexity theory. in 1995, barenco showed that almost any two - bit gate is universal, so building a feasible two - bit logic gate is the first step to engineer a quantum computer. in principle, the quantum bit can be carried by any two states system
在眾多的量子計算機模型中目前討論最廣泛的是量子計算機門組網路模型，量子計算機門組網路模型是經典計算機門組網路結構的量子推廣，它是根基於barenco等人所證明的「一個兩比特受控操作和對單比特進行任意操作的門可以構成一個『通用量子邏輯門組』 」之上的。 -
The application sends a trickle - up message containing a summary of the computational state, so that server logic can decide if the computation should be aborted
計算程序發送一個上觸發消息，其中包含計算狀態的概要，因此服務端可依此決定是否需要中止這個任務包。 -
( 3 ) discusses the formal specifications for hardware formal design and presents the formal model of fcmhd ( formal computational model for hardware design ) and its formal semantics based on itl ( interval temporal logic )
作者以時段演算（ durationcalculus ， dc ）為工具對vhdl的子集進行了形式語義分析；通過分析vhdl和veriloghdl部分語句的形式語義，為硬體描述語言的分析、設計、編譯提供了一個嚴格的理論基礎和新的途徑。
分享友人