歸納變數（induction variable）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：歸納變數
- 外文名：induction variable
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
循環中的一個變數，其值在每一次循環疊代過程中增加（或減少）固定的值。
出處
《計算機科學技術名詞 》第三版。
歸納變數
相關詞條
- 歸納變數
歸納變數（induction variable）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義循環中的一個變數，其值在每一次循環疊代過程中增加（或減少）固定的值。...
- 歸納表達式
歸納表達式 歸納表達式（induction expression）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 循環中具有形式的表達式。其中i是歸納變數，是循環不變式。出處 《計算機科學技術名詞 》第三版。
- 不變數理論
他表明，每個二元形式都有一個不變數與共變式的有限完全系，而且，任何二元形式的有限系都有這樣一個系。戈爾丹的證明很笨拙，但顯示了完全系如何能夠計算；1886年，弗蘭茲-梅爾滕斯(1840～1927)提供了一個更流暢的歸納證明，並沒有顯示系。希爾伯特1888年的著名成果更加一般，被稱作“基本定理”。它作為論文《論代數...
- 編譯程式設計藝術理論與實踐
9.2.2 歸納變數 9.2.3 循環展開 9.3 暫存器與記憶體分配 9.3.1 暫存器分配算法 9.3.2 表達式中的暫存器分配 9.3.3 更好的暫存器分配數據流分析 9.3.4 循環的暫存器分配 9.3.5 定址模式 9.3.6 分支定址選擇 9.3.7 分支鏈 9.4 代碼生成的複雜性 9.4.1 指令選擇 9.4.2 強度削弱 9.5 ...
- 編譯程式設計原理與技術
10.3.3 歸納變數的刪除 10.3.4 削弱計算強度 10.4 窺孔最佳化 10.4.1 冗餘傳送 10.4.2 死代碼 10.4.3 控制流最佳化 10.4.4 代數化簡 10.4.5 強度削弱 10.4.6 利用機器的特點 10.5 dag在代碼最佳化中的套用 10.5.1 基本塊的dag的構造 10.5.2 dag的套用 習題 第11章 編譯程式的設計與實現 11...
- 編譯程式設計藝術
9.2.2 歸納變數 9.2.3 循環展開 9.3 暫存器與記憶體分配 9.3.1 暫存器分配算法 9.3.2 表達式中的暫存器分配 9.3.3 更好的暫存器分配數據流分析 9.3.4 循環的暫存器分配 9.3.5 定址模式 9.3.6 分支定址選擇 9.3.7 分支鏈 9.4 代碼生成的複雜性 9.4.1 指令選擇 9.4.2 強度削弱 9.5 ...
- 現代編譯原理:C語言描述(修訂版)
18.2 循環不變數計算 292 18.3 歸納變數 293 18.4 數組邊界檢查 297 18.5 循環展開 300 推薦閱讀 301 習題 301 * 19章 靜態單賦值形式 303 19.1 轉化為SSA形式 305 19.2 必經結點樹的高效計算 310 19.3 使用SSA的最佳化算法 315 19.4 數組、指針和存儲器 320 19.5 控制依賴圖 ...
- 並行性分析的數學原理
3.4臨時變數與歸納變數 3.5三種賦值與限制條件 3.6繁衍層次 3.7結合鏈同體鏈與年長順序定理 3.8元素間的優先關係 3.9數據相關與輸入相關 第四章語句視圖與依賴片斷 4.1語句間的相關依賴 4.2語句圖與並行性判別 4.3解析判別法與非整除規則 4.4變序點 4.5A0型循環的層次片斷 4.6計算實例 4.7A1型和...
- 編譯原理基礎
7.2.6 歸納變數與強度削弱 7.3 數據流分析簡介 7.3.1 數據流抽象 7.3.2 數據流分析模式 7.3.3 基本塊上的數據流模式 7.3.4 到達定值（ReachingDefinitions）7.3.5 活躍變數（LiveVatribale）7.3.6 可用表達式（AvailabalExpression）7.3.7 小結 7.4 數據流分析的數學基礎 7.4.1 半格（...
- 12P理論
12P理論是由理察·克魯維提出的理論，適用領域為行銷策略。美國西北大學行銷學教授理察·克魯維(Richard Clewett)將行銷變數歸納為四個，即產品(Product)、價格(Price)、分銷(Distribution)、促銷(Promotion)。隨後，克魯維的學生，密西根大學教授傑瑞·麥卡錫(Jerry McCarthy)教授在其出版於1964年的《基礎行銷學》(...
- C++(Templates中文版)
17.4 使用歸納變數 301 17.5 計算完整性 304 17.6 遞歸實例化和遞歸模板實參 304 17.7 使用metaprogram來展開循環 306 17.8 本章後記 309 第 18章 表示式模板 313 18.1 臨時變數和分割循環 314 18.2 在模板實參中編碼表達式 319 18.2.1 表達式模板的運算元 320 18.2.2 Array類型 ...
- 邊界檢查
如果數組邊界檢查位在循環體中，循環邊界和數組長度都是循環不變數，並且數組索引變數是循環歸納變數，那么可以通過把邊界檢查移出循環體來減少數組邊界檢查的執行次數。這種冗餘被稱為部分冗餘。數組邊界檢查導致程式運行時性能的減慢主要有兩個原因一是執行這些邊界檢查操作需要時間開銷。邊界檢查需要得到數組的長度信息，這...
- 編譯原理/計算機系列
8．3．2 強度削弱 8．3．3 刪除歸納變數 8．4 本章小結 習題8 第9章 目標代碼生成 9．1 代碼生成概述 9．2 目標機器模型 9．3 一種簡單的代碼生成算法 9．3．1 活躍信息與待用信息 9．3．2 暫存器和變數地址描述 9．3．3 簡單代碼生成算法 9．3．4 暫存器分配 9．4 本章小結 習題9 參考文獻 ...
- 編譯原理及實踐教程(第3版)
7．3．4刪除歸納變數 7．4小結 7．5習題 第8章目標代碼生成 8．1概述 8．2目標機及指令系統簡介 8．2．180x86體系結構 8．2．280x86中的暫存器 8．2．380x86指令系統介紹 8．3一個簡單的代碼生成器 8．4基本塊的代碼生成器 8．4．1引用信息和活躍信息 8．4．2暫存器描述和地址描述 8．4．3基本塊...
- 中國近代圖像新聞史(1840-1919)
鑒於此，作者在採用圖像學詮釋方法、傳播學內容分析方法的同時，藉助社會學統計分析軟體（SPSS）進行量化分析，通過設定變數並加以數量統計，歸納變數出現的頻數與百分比，來分析圖像新聞的傳播內容和視覺表現結構，不但使研究結論的可信度進一步增強，也在許多方面突破了既有的成說。該書所附《近代圖文出版大事記》，按照...
- 編譯原理(2005年中南大學出版社出版的圖書)
(159) 7.1.7 刪除歸納變數(160) 7.2 局部最佳化(160) 7.2.1 劃分基本塊的方法(160) 7.2.2 基本塊的DAG表示(162) 7.2.3 利用DAG進行基本塊的最佳化處理(163) 7.3 循環最佳化(166) 7.3.1 程式流程圖(166) 7.3.2 循環查找(167) 7.3.3 循環最佳化(167) 7.4 窺孔最佳化(170) 小結(171) 習題七(171) 參考答案...
- 編譯原理及實踐教程(第2版)
7.3.4刪除歸納變數 7.4小結 7.5習題 第8章目標代碼生成 8.1概述 8.2目標機器 8.3簡單的代碼生成算法 8.3.1中間代碼的簡單翻譯方法 8.3.2引用信息和活躍信息 8.3.3暫存器描述和地址描述 8.3.4基本塊的代碼生成算法 8.4從DAG生成目標代碼 8.5Sample代碼最佳化及目標代碼生成器的設計 8.6小結 8.7...
- 編譯原理與技術(第2版)學習指導與習題解析
10.4.4刪除歸納變數/335 10.5窺孔最佳化/337 10.5.1刪除冗餘的傳送指令/337 10.5.2刪除死代碼/337 10.5.3控制流最佳化/338 10.5.4削弱計算強度及代數化簡/338 習題10/339第11章面向對象的編譯方法/341 11.1面向對象語言的基本概念/341 11.1.1類和對象/341 11.1.2繼承/343 11.1.3信息封裝/346 11...
- 編譯原理第二版(2010年中國鐵道出版社出版的圖書)
183 10.3 循環最佳化 185 10.3.1 外提不變式 186 10.3.2 強度削弱 187 10.3.3 刪除基本歸納變數 188 10.4 目標代碼生成 189 10.4.1 基本問題 189 10.4.2 目標機器模型 191 10.4.3 一個簡單的代碼生成器 191 10.4.4 暫存器的分配 194 習題 194 附錄 部分習題詳解 197 參考文獻 267 ...
- 物理方法
物理方法是運用現有的物理知識對物理做深入的學習和研究，找到解決物理問題的基本思路與方法。物理方法有觀察法、實驗法、類比法、分析法、圖象法、比較法、綜合法、控制變數法、圖表法、歸納法、轉化法等等很多種方法。物理 物理的定義 物理學簡稱物理。歐洲“物理”一詞的最先出自希臘文φυσικός，原意是...
- 理論統計學
理論統計學是統計學的一個分支，它是把研究對象一般化、抽象化，以機率論為基礎，從純理論的角度，對統計方法加以推導論證，中心的內容是統計推斷問題，實質是以歸納方法研究隨機變數的一般規律。概念 理論統計學是統計學的一個分支，它是把研究對象一般化、抽象化，以機率論為基礎，從純理論的角度，對統計方法加以...
- 循環展開
由於展開能夠消除分支以及一些管理歸納變數的代碼，因此可以攤銷一些分支開銷。展開可以積極調度（或管道化）循環以掩蓋一些延遲。如果有足夠的空閒暫存器使變數保持活動狀態，因為通過展開相關性鏈展露了關鍵路徑，這將非常有用。如果疊代次數是可預測的，並且循環中沒有條件分支，則英特爾(R) 奔騰(R) 4 處理器可以正確...
- 模型化
為了達到某種加工目的，人們必須測量、建立和控制各種單元和過程系統的參變數。其中有些是人為設定的，如設備參數；有些是要調節控制的，如某些壓力、溫度和流量，稱為控制變數；有些是只測量而不控制的，稱為狀態變數。模型化是指把過程各變數之間的依賴關係歸納成數學方程組的工作過程。這種數學方程組也稱數學模型（...
- 休謨問題
休謨問題，是18世紀英國哲學家大衛·休謨（David Hume 、1711年舊曆4月26日（註：新曆是1711年5月7日：18世紀舊曆比新曆晚11天）－1776年8月25日）首先提出的，是個未能很好解決的哲學問題，主要是指因果問題和歸納問題。《人性論》在誕生之初並沒有引起怎樣的反響，休謨憑著自己的樂觀和熱忱又分別對其三卷進行...
- C語言基本算法策略
2、歸納法 這是一個相對比較“聰明”的方法，看到問題之後，可以通過分析歸納，找出從變數舊值出發求出新值的規律。可以用歸納法解決的問題，它們的相鄰數之間有著明顯的規律性的變化，通常可以從初始條件進行一定的歸納求出下一個值，並利用這種規律性一步一步遞推到結果。如循環累乘、循環累加等。3、遞歸法 一...
- 理論構建
通過對變數的合併、刪減，從抽象層次較低的經驗概括和因果模型發展為抽象理論。建立歸納理論 建立歸納理論則是從經驗觀察開始，構建過程不是從抽象的理論出發，一般經由下述步驟：①不做理論假設而直接進入實地研究階段；②描述實際發生的現象和事實，用一系列經驗命題的方式加以陳述；③在大量觀察的基礎上找出最有概括性...
- sdcc
● 有大量的標準最佳化,如全局字表達式削減,循環最佳化(無任何操作的循環最佳化,歸納變數循環最佳化,逆循環最佳化), 常量合併的傳播,複製傳播,死代碼刪除, 'switch'語句的轉移表最佳化。 ● 針對特定MCU的最佳化,包括全局暫存器分配算法。 ● 特定MCU後端適應能力,能夠很好的適配其他的8位的MCU。 ● 基於獨立規則的監視口最佳化器...
- 研究方法(第2版)
圖書目錄 第一章導論 第二章方法論的由來 第三章研究方向、課題與資料蒐集 第四章研究目的、變數、構念、定義與假設 第五章文獻探討與理論套用 範例(上)第六章研究設計與工具 第七章定性研究與定量研究 第八章效度與信度 第九章歸納法與演繹法 第十章結論 範例(下)參考文獻 ...
- 完全相關
完全相關是指兩個變數之間的關係，一個變數的數量變化由另一個變數的數量變化唯一確定。其相關係數為+1或-1。基本內容 現象之間的數量關係存在著兩種不同的類型：一種是函式關係，另一種是相關關係。函式關係指的是變數之間存在著的嚴格的依存關係，它們之間的關係值是固定的，對於某一變數的每一個值，都有另一...
