computation induction 中文意思是什麼
computation induction
解釋
計算歸納- computation : n. 1. 計算，估算。2. 計演算法。3. 計算結果，得數。
- induction : n 1 引入，誘發，誘導（作用）。2 【邏輯學】歸納法，歸納推理 （opp deduction）。3 就職，就職典禮；...
-
Weakly terminating property in a restricted domain of a term rewriting system, one with structural induction, one with cover - set induction, and the third without induction, and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus
基於覆蓋集合歸納法的項重寫系統弱基終止性證明的機械化論文提出一種關於一般化了的項重寫系統弱基終止性，即，在特定領域的項重寫系統弱終止性的形式自動證明方法。 -
This thesis analyses the present situation of energy metering in bishan network and some network at home, main factors which lead to inaccuracy of energy metering are dissected and the severity degree are pointed out. the method of enhancing accuracy of metering using modern technique are put forward which including : 1 ) modernization of meter, replacing the induction watthour meter with full electronic watthour meter ; 2 ) put real time change of mutual inductor ratio of transformation into consideration, method on real - time computation are presented. 3 ) using full electronic watthour meter to measure fundamental power and harmonic power separately and discussing idea of billing on harmonic
這些方法包括： 1 ）計量儀表的現代改造，用全電子式電能表代換感應式電能表； 2 ）計及互感器變比的實時變化，對互感器的變比進行實時模擬計算，並提出了實時計算的方法； 3 ）用全電子式電能表對基波電能與諧波電能分別計量，並討論了對諧波電能計費的觀點。 -
In the first part of this paper, resorting to the idea of hadamard principle value and induction, we discuss the inductive definition, existence of hadamard principle value, recursive formula, computation formula, differential formula on the sense of hadamard principle value for several kinds of quasi - bochner - martinelli - type high order singular integrals with one singular point
本文藉助于高階奇異積分的hadamard主值的思想以及歸納法的思想，在第一部分討論了幾類含一個奇點的擬bochner - martinelli型高階奇異積分的歸納定義， hadmard主值的存在性，遞推公式，計算公式，以及在hadamard主值意義下的微分公式。
分享友人