自動微分范文10篇

摘要自動微分轉(zhuǎn)換系統(tǒng)（DFT）由LASG和LSEC聯(lián)合研制開發(fā)，目前已擁有成熟的版本。本文對DFT系統(tǒng)的功能、特色及其基本應(yīng)用作了全面的介紹，并給出了一些頗具說服力的數(shù)值試驗結(jié)果。同時，本文提出了統(tǒng)計準(zhǔn)確率評價的概念，這對評價一類自動微分工具及其微分模式代碼的可靠性與有效性提供了一種客觀的尺度。最后，本文還詳細(xì)討論了運用切線性模式求解雅可比矩陣的問題，給出了求解初始輸入矩陣的有效算法。

關(guān)鍵詞自動微分切線性模式數(shù)據(jù)相關(guān)分析統(tǒng)計準(zhǔn)確率

1.引言

計算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計算精度高及投入人力少等優(yōu)點。自動微分實現(xiàn)的基本出發(fā)點是：一個數(shù)據(jù)相對獨立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運算操作，重復(fù)使用鏈?zhǔn)角髮?dǎo)法則，將得到的中間結(jié)果自上而下地做正向積分就可以建立起對應(yīng)的切線性模式，而自下而上地做反向積分就可以建立起對應(yīng)的伴隨模式[1]。基于自動微分方法得到的切線性模式和伴隨模式，在變分資料同化[2]、系統(tǒng)建模與參數(shù)辨識[3]、參數(shù)的敏感性分析[4]、非線性最優(yōu)化以及數(shù)值模式的可預(yù)測性分析[5]等問題中有著十分廣泛的應(yīng)用。

迄今為止，已有數(shù)十所大學(xué)和研究所各自開發(fā)了能夠用于求解切線性模式的自動微分系統(tǒng)，比較典型的有TAMC系統(tǒng)[6]、ADJIFOR系統(tǒng)[7]和ODYSSEE系統(tǒng)[8]。在一些特定的運用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個自動微分系統(tǒng)有效性的重要尺度。

統(tǒng)計準(zhǔn)確率被我們視為評價一類自動微分工具及其微分模式代碼可靠性與有效性的重要尺度。其基本假設(shè)是：如果對于定義域空間內(nèi)隨機抽樣獲得的至多有限個n維初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近是成功的；那么對于定義域空間內(nèi)所有可能初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近都是成功的。微分模式統(tǒng)計準(zhǔn)確率評價的具體方法是：在所有隨機抽樣得到的初始場（或網(wǎng)格點）附近，當(dāng)輸入擾動逐漸趨向于機器有效精度所能表示的最小正值時，模式輸出的差分和微分之間應(yīng)該有足夠精度有效位數(shù)上的逼近。

摘要自動微分轉(zhuǎn)換系統(tǒng)（DFT）由LASG和LSEC聯(lián)合研制開發(fā)，目前已擁有成熟的版本。本文對DFT系統(tǒng)的功能、特色及其基本應(yīng)用作了全面的介紹，并給出了一些頗具說服力的數(shù)值試驗結(jié)果。同時，本文提出了統(tǒng)計準(zhǔn)確率評價的概念，這對評價一類自動微分工具及其微分模式代碼的可靠性與有效性提供了一種客觀的尺度。最后，本文還詳細(xì)討論了運用切線性模式求解雅可比矩陣的問題，給出了求解初始輸入矩陣的有效算法。

關(guān)鍵詞自動微分切線性模式數(shù)據(jù)相關(guān)分析統(tǒng)計準(zhǔn)確率

1.引言

計算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計算精度高及投入人力少等優(yōu)點。自動微分實現(xiàn)的基本出發(fā)點是：一個數(shù)據(jù)相對獨立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運算操作，重復(fù)使用鏈?zhǔn)角髮?dǎo)法則，將得到的中間結(jié)果自上而下地做正向積分就可以建立起對應(yīng)的切線性模式，而自下而上地做反向積分就可以建立起對應(yīng)的伴隨模式[1]。基于自動微分方法得到的切線性模式和伴隨模式，在變分資料同化[2]、系統(tǒng)建模與參數(shù)辨識[3]、參數(shù)的敏感性分析[4]、非線性最優(yōu)化以及數(shù)值模式的可預(yù)測性分析[5]等問題中有著十分廣泛的應(yīng)用。

迄今為止，已有數(shù)十所大學(xué)和研究所各自開發(fā)了能夠用于求解切線性模式的自動微分系統(tǒng)，比較典型的有TAMC系統(tǒng)[6]、ADJIFOR系統(tǒng)[7]和ODYSSEE系統(tǒng)[8]。在一些特定的運用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個自動微分系統(tǒng)有效性的重要尺度。

統(tǒng)計準(zhǔn)確率被我們視為評價一類自動微分工具及其微分模式代碼可靠性與有效性的重要尺度。其基本假設(shè)是：如果對于定義域空間內(nèi)隨機抽樣獲得的至多有限個n維初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近是成功的；那么對于定義域空間內(nèi)所有可能初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近都是成功的。微分模式統(tǒng)計準(zhǔn)確率評價的具體方法是：在所有隨機抽樣得到的初始場（或網(wǎng)格點）附近，當(dāng)輸入擾動逐漸趨向于機器有效精度所能表示的最小正值時，模式輸出的差分和微分之間應(yīng)該有足夠精度有效位數(shù)上的逼近。

摘要自動微分轉(zhuǎn)換系統(tǒng)（DFT）由LASG和LSEC聯(lián)合研制開發(fā)，目前已擁有成熟的版本。本文對DFT系統(tǒng)的功能、特色及其基本應(yīng)用作了全面的介紹，并給出了一些頗具說服力的數(shù)值試驗結(jié)果。同時，本文提出了統(tǒng)計準(zhǔn)確率評價的概念，這對評價一類自動微分工具及其微分模式代碼的可靠性與有效性提供了一種客觀的尺度。最后，本文還詳細(xì)討論了運用切線性模式求解雅可比矩陣的問題，給出了求解初始輸入矩陣的有效算法。

關(guān)鍵詞自動微分切線性模式數(shù)據(jù)相關(guān)分析統(tǒng)計準(zhǔn)確率

1.引言

計算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計算精度高及投入人力少等優(yōu)點。自動微分實現(xiàn)的基本出發(fā)點是：一個數(shù)據(jù)相對獨立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運算操作，重復(fù)使用鏈?zhǔn)角髮?dǎo)法則，將得到的中間結(jié)果自上而下地做正向積分就可以建立起對應(yīng)的切線性模式，而自下而上地做反向積分就可以建立起對應(yīng)的伴隨模式[1]。基于自動微分方法得到的切線性模式和伴隨模式，在變分資料同化[2]、系統(tǒng)建模與參數(shù)辨識[3]、參數(shù)的敏感性分析[4]、非線性最優(yōu)化以及數(shù)值模式的可預(yù)測性分析[5]等問題中有著十分廣泛的應(yīng)用。

迄今為止，已有數(shù)十所大學(xué)和研究所各自開發(fā)了能夠用于求解切線性模式的自動微分系統(tǒng)，比較典型的有TAMC系統(tǒng)[6]、ADJIFOR系統(tǒng)[7]和ODYSSEE系統(tǒng)[8]。在一些特定的運用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個自動微分系統(tǒng)有效性的重要尺度。

統(tǒng)計準(zhǔn)確率被我們視為評價一類自動微分工具及其微分模式代碼可靠性與有效性的重要尺度。其基本假設(shè)是：如果對于定義域空間內(nèi)隨機抽樣獲得的至多有限個n維初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近是成功的；那么對于定義域空間內(nèi)所有可能初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近都是成功的。微分模式統(tǒng)計準(zhǔn)確率評價的具體方法是：在所有隨機抽樣得到的初始場（或網(wǎng)格點）附近，當(dāng)輸入擾動逐漸趨向于機器有效精度所能表示的最小正值時，模式輸出的差分和微分之間應(yīng)該有足夠精度有效位數(shù)上的逼近。

摘要自動微分轉(zhuǎn)換系統(tǒng)（DFT）由LASG和LSEC聯(lián)合研制開發(fā)，目前已擁有成熟的版本。本文對DFT系統(tǒng)的功能、特色及其基本應(yīng)用作了全面的介紹，并給出了一些頗具說服力的數(shù)值試驗結(jié)果。同時，本文提出了統(tǒng)計準(zhǔn)確率評價的概念，這對評價一類自動微分工具及其微分模式代碼的可靠性與有效性提供了一種客觀的尺度。最后，本文還詳細(xì)討論了運用切線性模式求解雅可比矩陣的問題，給出了求解初始輸入矩陣的有效算法。

關(guān)鍵詞自動微分切線性模式數(shù)據(jù)相關(guān)分析統(tǒng)計準(zhǔn)確率

1.引言

計算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計算精度高及投入人力少等優(yōu)點。自動微分實現(xiàn)的基本出發(fā)點是：一個數(shù)據(jù)相對獨立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運算操作，重復(fù)使用鏈?zhǔn)角髮?dǎo)法則，將得到的中間結(jié)果自上而下地做正向積分就可以建立起對應(yīng)的切線性模式，而自下而上地做反向積分就可以建立起對應(yīng)的伴隨模式[1]。基于自動微分方法得到的切線性模式和伴隨模式，在變分資料同化[2]、系統(tǒng)建模與參數(shù)辨識[3]、參數(shù)的敏感性分析[4]、非線性最優(yōu)化以及數(shù)值模式的可預(yù)測性分析[5]等問題中有著十分廣泛的應(yīng)用。

迄今為止，已有數(shù)十所大學(xué)和研究所各自開發(fā)了能夠用于求解切線性模式的自動微分系統(tǒng)，比較典型的有TAMC系統(tǒng)[6]、ADJIFOR系統(tǒng)[7]和ODYSSEE系統(tǒng)[8]。在一些特定的運用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個自動微分系統(tǒng)有效性的重要尺度。

統(tǒng)計準(zhǔn)確率被我們視為評價一類自動微分工具及其微分模式代碼可靠性與有效性的重要尺度。其基本假設(shè)是：如果對于定義域空間內(nèi)隨機抽樣獲得的至多有限個n維初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近是成功的；那么對于定義域空間內(nèi)所有可能初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近都是成功的。微分模式統(tǒng)計準(zhǔn)確率評價的具體方法是：在所有隨機抽樣得到的初始場（或網(wǎng)格點）附近，當(dāng)輸入擾動逐漸趨向于機器有效精度所能表示的最小正值時，模式輸出的差分和微分之間應(yīng)該有足夠精度有效位數(shù)上的逼近。

摘要自動微分轉(zhuǎn)換系統(tǒng)（DFT）由LASG和LSEC聯(lián)合研制開發(fā)，目前已擁有成熟的版本。本文對DFT系統(tǒng)的功能、特色及其基本應(yīng)用作了全面的介紹，并給出了一些頗具說服力的數(shù)值試驗結(jié)果。同時，本文提出了統(tǒng)計準(zhǔn)確率評價的概念，這對評價一類自動微分工具及其微分模式代碼的可靠性與有效性提供了一種客觀的尺度。最后，本文還詳細(xì)討論了運用切線性模式求解雅可比矩陣的問題，給出了求解初始輸入矩陣的有效算法。

關(guān)鍵詞自動微分切線性模式數(shù)據(jù)相關(guān)分析統(tǒng)計準(zhǔn)確率

1.引言

計算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計算精度高及投入人力少等優(yōu)點。自動微分實現(xiàn)的基本出發(fā)點是：一個數(shù)據(jù)相對獨立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運算操作，重復(fù)使用鏈?zhǔn)角髮?dǎo)法則，將得到的中間結(jié)果自上而下地做正向積分就可以建立起對應(yīng)的切線性模式，而自下而上地做反向積分就可以建立起對應(yīng)的伴隨模式[1]。基于自動微分方法得到的切線性模式和伴隨模式，在變分資料同化[2]、系統(tǒng)建模與參數(shù)辨識[3]、參數(shù)的敏感性分析[4]、非線性最優(yōu)化以及數(shù)值模式的可預(yù)測性分析[5]等問題中有著十分廣泛的應(yīng)用。

迄今為止，已有數(shù)十所大學(xué)和研究所各自開發(fā)了能夠用于求解切線性模式的自動微分系統(tǒng)，比較典型的有TAMC系統(tǒng)[6]、ADJIFOR系統(tǒng)[7]和ODYSSEE系統(tǒng)[8]。在一些特定的運用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個自動微分系統(tǒng)有效性的重要尺度。

統(tǒng)計準(zhǔn)確率被我們視為評價一類自動微分工具及其微分模式代碼可靠性與有效性的重要尺度。其基本假設(shè)是：如果對于定義域空間內(nèi)隨機抽樣獲得的至多有限個n維初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近是成功的；那么對于定義域空間內(nèi)所有可能初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近都是成功的。微分模式統(tǒng)計準(zhǔn)確率評價的具體方法是：在所有隨機抽樣得到的初始場（或網(wǎng)格點）附近，當(dāng)輸入擾動逐漸趨向于機器有效精度所能表示的最小正值時，模式輸出的差分和微分之間應(yīng)該有足夠精度有效位數(shù)上的逼近。

摘要自動微分轉(zhuǎn)換系統(tǒng)（DFT）由LASG和LSEC聯(lián)合研制開發(fā)，目前已擁有成熟的版本。本文對DFT系統(tǒng)的功能、特色及其基本應(yīng)用作了全面的介紹，并給出了一些頗具說服力的數(shù)值試驗結(jié)果。同時，本文提出了統(tǒng)計準(zhǔn)確率評價的概念，這對評價一類自動微分工具及其微分模式代碼的可靠性與有效性提供了一種客觀的尺度。最后，本文還詳細(xì)討論了運用切線性模式求解雅可比矩陣的問題，給出了求解初始輸入矩陣的有效算法。

關(guān)鍵詞自動微分切線性模式數(shù)據(jù)相關(guān)分析統(tǒng)計準(zhǔn)確率

1.引言

計算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計算精度高及投入人力少等優(yōu)點。自動微分實現(xiàn)的基本出發(fā)點是：一個數(shù)據(jù)相對獨立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運算操作，重復(fù)使用鏈?zhǔn)角髮?dǎo)法則，將得到的中間結(jié)果自上而下地做正向積分就可以建立起對應(yīng)的切線性模式，而自下而上地做反向積分就可以建立起對應(yīng)的伴隨模式[1]。基于自動微分方法得到的切線性模式和伴隨模式，在變分資料同化[2]、系統(tǒng)建模與參數(shù)辨識[3]、參數(shù)的敏感性分析[4]、非線性最優(yōu)化以及數(shù)值模式的可預(yù)測性分析[5]等問題中有著十分廣泛的應(yīng)用。

迄今為止，已有數(shù)十所大學(xué)和研究所各自開發(fā)了能夠用于求解切線性模式的自動微分系統(tǒng)，比較典型的有TAMC系統(tǒng)[6]、ADJIFOR系統(tǒng)[7]和ODYSSEE系統(tǒng)[8]。在一些特定的運用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個自動微分系統(tǒng)有效性的重要尺度。

統(tǒng)計準(zhǔn)確率被我們視為評價一類自動微分工具及其微分模式代碼可靠性與有效性的重要尺度。其基本假設(shè)是：如果對于定義域空間內(nèi)隨機抽樣獲得的至多有限個n維初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近是成功的；那么對于定義域空間內(nèi)所有可能初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近都是成功的。微分模式統(tǒng)計準(zhǔn)確率評價的具體方法是：在所有隨機抽樣得到的初始場（或網(wǎng)格點）附近，當(dāng)輸入擾動逐漸趨向于機器有效精度所能表示的最小正值時，模式輸出的差分和微分之間應(yīng)該有足夠精度有效位數(shù)上的逼近。

摘要自動微分轉(zhuǎn)換系統(tǒng)（DFT）由LASG和LSEC聯(lián)合研制開發(fā)，目前已擁有成熟的版本。本文對DFT系統(tǒng)的功能、特色及其基本應(yīng)用作了全面的介紹，并給出了一些頗具說服力的數(shù)值試驗結(jié)果。同時，本文提出了統(tǒng)計準(zhǔn)確率評價的概念，這對評價一類自動微分工具及其微分模式代碼的可靠性與有效性提供了一種客觀的尺度。最后，本文還詳細(xì)討論了運用切線性模式求解雅可比矩陣的問題，給出了求解初始輸入矩陣的有效算法。

關(guān)鍵詞自動微分切線性模式數(shù)據(jù)相關(guān)分析統(tǒng)計準(zhǔn)確率

1.引言

計算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計算精度高及投入人力少等優(yōu)點。自動微分實現(xiàn)的基本出發(fā)點是：一個數(shù)據(jù)相對獨立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運算操作，重復(fù)使用鏈?zhǔn)角髮?dǎo)法則，將得到的中間結(jié)果自上而下地做正向積分就可以建立起對應(yīng)的切線性模式，而自下而上地做反向積分就可以建立起對應(yīng)的伴隨模式[1]。基于自動微分方法得到的切線性模式和伴隨模式，在變分資料同化[2]、系統(tǒng)建模與參數(shù)辨識[3]、參數(shù)的敏感性分析[4]、非線性最優(yōu)化以及數(shù)值模式的可預(yù)測性分析[5]等問題中有著十分廣泛的應(yīng)用。

迄今為止，已有數(shù)十所大學(xué)和研究所各自開發(fā)了能夠用于求解切線性模式的自動微分系統(tǒng)，比較典型的有TAMC系統(tǒng)[6]、ADJIFOR系統(tǒng)[7]和ODYSSEE系統(tǒng)[8]。在一些特定的運用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個自動微分系統(tǒng)有效性的重要尺度。

統(tǒng)計準(zhǔn)確率被我們視為評價一類自動微分工具及其微分模式代碼可靠性與有效性的重要尺度。其基本假設(shè)是：如果對于定義域空間內(nèi)隨機抽樣獲得的至多有限個n維初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近是成功的；那么對于定義域空間內(nèi)所有可能初始場（或網(wǎng)格點），微分模式輸出的差分和微分逼近都是成功的。微分模式統(tǒng)計準(zhǔn)確率評價的具體方法是：在所有隨機抽樣得到的初始場（或網(wǎng)格點）附近，當(dāng)輸入擾動逐漸趨向于機器有效精度所能表示的最小正值時，模式輸出的差分和微分之間應(yīng)該有足夠精度有效位數(shù)上的逼近。

摘要：雙床循環(huán)流化床鍋爐具有獨特的爐膛結(jié)構(gòu)，其除渣自動控制系統(tǒng)目前沒有可參考的模型，結(jié)合神華神東電力有限責(zé)任公司郭家灣電廠（以下簡稱“郭家灣電廠”）雙床循環(huán)流化床鍋爐爐內(nèi)除渣自動控制系統(tǒng)的設(shè)計與調(diào)試，提出了此類循環(huán)流化床鍋爐除渣自動控制系統(tǒng)的模型并進(jìn)行分析，此模型可以有效實現(xiàn)雙床循環(huán)流化床鍋爐除渣系統(tǒng)的自動調(diào)節(jié)，能夠避免手動控制存在的調(diào)節(jié)不準(zhǔn)確、勞動強度大、費電、安全穩(wěn)定性差等缺點。

關(guān)鍵詞：發(fā)電廠；循環(huán)流化床；除渣；風(fēng)室；自動控制

郭家灣電廠建設(shè)規(guī)模為2×300MW發(fā)電機組，鍋爐為國產(chǎn)首臺1065t/h亞臨界雙床循環(huán)流化床鍋爐，每臺鍋爐配備6臺冷渣器、3臺鏈斗輸送機、3臺斗提機用于除去煤燃燒后產(chǎn)生的灰渣，由于雙床循環(huán)流化床鍋爐結(jié)構(gòu)的特殊性，其除渣自動控制沒有可參照的模型，投產(chǎn)后除渣系統(tǒng)一直由運行人員手動控制，根據(jù)該情況，電廠技術(shù)人員設(shè)計了除渣自動控制系統(tǒng)模型并進(jìn)行邏輯修改和調(diào)試。

1雙床循環(huán)流化床鍋爐除渣系統(tǒng)

循環(huán)流化床鍋爐是1種通過燃料燃燒將水加熱后產(chǎn)生蒸汽的設(shè)備，雙床循環(huán)流化床鍋爐具有2個布風(fēng)板（床），此類鍋爐通常用于發(fā)電廠。雙床循環(huán)流化床鍋爐配備除渣系統(tǒng)，用于將爐膛內(nèi)燃料燃燒產(chǎn)生的灰渣放出冷卻后輸送至渣倉。爐膛內(nèi)燃料燃燒產(chǎn)生的灰渣堆積在床上，床上的灰渣通過放渣管流出到冷渣器，在冷渣器內(nèi)冷卻后排出，經(jīng)鏈斗機和斗提機輸送至渣倉，工藝系統(tǒng)如圖1所示。雙床循環(huán)流化床鍋爐除渣系統(tǒng)配備6臺變頻式冷渣器。運行過程中，通過調(diào)節(jié)變頻冷渣器的轉(zhuǎn)速增加或減少放渣量來調(diào)整水冷風(fēng)室壓力在允許范圍內(nèi)，同時還要避免冷渣器出渣溫度和冷渣器出水溫度超限。雙床循環(huán)流化床鍋爐除渣系統(tǒng)運行時，依靠運行人員手動調(diào)節(jié)冷渣器轉(zhuǎn)速來控制水冷風(fēng)室壓力，手動調(diào)節(jié)存在調(diào)節(jié)不準(zhǔn)確、勞動強度大、費電、安全穩(wěn)定性差等缺點。

2雙床循環(huán)流化床鍋爐除渣自動控制系統(tǒng)

1零功率物理試驗的目的

驗證換料后的堆芯裝載圖；測量與核電站正常安全運行有關(guān)的物理參數(shù)，包括熱態(tài)零功率下，所有棒全提時臨界硼濃度和等溫溫度系數(shù)，控制棒的積分價值，硼微分價值；驗證有關(guān)核參數(shù)的安全準(zhǔn)則和設(shè)計準(zhǔn)則；驗證堆芯換料設(shè)計的有效性；為實施提升功率試驗創(chuàng)造良好的條件。

2零功率物理試驗前提條件

在此試驗前應(yīng)完成初始臨界試驗，包括校驗RPN系統(tǒng)各測量量程之間的線性度和相互之間的重疊范圍；通過功率量程本底噪聲水平和多卜勒水平的尋找，確定不發(fā)生核加熱中子通量的范圍，從而建立零功率物理試驗的功率水平范圍；完成反應(yīng)性儀的校驗等。多普勒效應(yīng)后RPN源量程保護(hù)定值調(diào)整已完成。反應(yīng)性儀的測量精度已經(jīng)驗證，并能正確有效地使用。RCV和REA的調(diào)硼系統(tǒng)（稀釋或硼化）均能正常工作。控制棒驅(qū)動機構(gòu)、棒位操作和指示系統(tǒng)均能正常投入使用。質(zhì)量安全計劃上相應(yīng)的操作，相關(guān)部門已簽字，H點值長已簽字。

3機組初始狀態(tài)及試驗過程中風(fēng)險控制

3.1機組狀態(tài)反應(yīng)堆冷卻劑的壓力為155-2+0巴。停堆棒和功率控制棒N均全提到225步；R棒的棒位為初始臨界實驗結(jié)束時的棒位。一回路硼濃度為R棒170步時臨界硼濃度附近。反應(yīng)堆冷卻劑系統(tǒng)的平均溫度291-1+2℃，通過GCT-A進(jìn)行調(diào)節(jié)。如果需要硼化或稀釋，應(yīng)投入2個下泄孔板及全部通斷式加熱器，并以恒定的速率完成，以獲得反應(yīng)性的線性變化。3.2反應(yīng)堆功率控制反應(yīng)堆在穩(wěn)定臨界，通量在零功率物理試驗范圍內(nèi)（應(yīng)在P6與多普勒效應(yīng)點之間，L204為功率量程的1.04E-7A至7E-9A之間，以反應(yīng)性儀讀數(shù)為準(zhǔn)，此時KIT內(nèi)SRC/PRC顯示無效，IRC顯示要比反應(yīng)性儀顯示大10倍左右），應(yīng)在反應(yīng)性儀15%~90%之間。3.3反應(yīng)性控制提棒和稀釋時，通量的增加速率不超過10倍/min（即倍增周期大于18s），以防止反應(yīng)性引入過快，造成停堆（此時IRC跳堆定值僅為2.5E-5A）。試驗期間，如果出現(xiàn)不可控的降溫或其它原因引起的反應(yīng)性急劇增加，反應(yīng)堆緊急停堆保護(hù)動作，執(zhí)行DEC規(guī)程。3.4棒位控制允許在換料后的試驗期間，慢化劑的溫度系數(shù)稍許為正，R棒的插入限值可適當(dāng)突破。但試驗結(jié)束后，需恢復(fù)到慢化劑溫度系數(shù)為負(fù)的正常運行條件，R棒恢復(fù)正常棒位要求。溫度控制棒R以及停堆棒S，除非特別規(guī)定，應(yīng)在“ALGN2”下移動，由RGL001QM至RGL005QM及RGL013QM和RGL014QM可讀出棒位。當(dāng)用R棒交替法測停堆棒組的積分價值時，在RGL003CC轉(zhuǎn)到被選棒之前，必須確保被選棒的子組同步。功率控制棒，當(dāng)不希望以疊步方式移動時，須使用“ALGN1”模式。在RGL004CC轉(zhuǎn)到“ALGN1”位置以前，RGL002CV需轉(zhuǎn)到“VALALGNT1”位置，否則將出現(xiàn)RGL001AA報警。在此設(shè)置下，被測棒組的棒位計數(shù)器不計數(shù)，該棒棒位指示由RGL004CC下的RGL016QM讀出，這個讀數(shù)僅指示棒位移動步數(shù)。在此情況下必須記錄這個計數(shù)器的初始和終了值，防止RGL016QM“復(fù)零”，否則將失去棒位信息。例如：用R棒測N1棒的積分價值時，N1全提出，棒位計數(shù)器指示為225步，RGL016QM指示000，N1插入到5步時，棒位計數(shù)器指示仍為225步，RGL016QM指示780，這就是說：225-5=220步（從初始棒位插入步）。控制棒在“ALGN1”模式下移動時，需確保棒組不超過棒位的上限及下限，以防止棒位超出正常棒位。對上例，當(dāng)RGL016QM為780時，N1棒必須停止插入；當(dāng)RGL016QM為000時，N1棒必須停止提出。3.5蒸發(fā)器水位及GCT-A控制進(jìn)行等溫溫度系數(shù)測量時注意控制3臺SG壓差以及SG水位的穩(wěn)定，它經(jīng)常導(dǎo)致試驗不成功。由于新技術(shù)規(guī)范要求三臺SG的GCT-A不可以同時置手動，這樣就使獲得4°C/min的升降溫速率很困難。我們可以置一臺SG的GCT-A手動，對于1號機，建議使用SG1，2號機建議使用SG3。因為1號機的溫度梯度來源于RCP029MT，而2號機來源于RCP056MT，用相應(yīng)環(huán)路的GCT-A可以使溫度梯度更快地反映GCT-A的調(diào)節(jié)。要求4°C/min的速率是為了使燃料棒的溫度更加接近于RCP冷卻劑的溫度，由于燃料溫度不可測，只能通過冷卻劑溫度得到。溫度變化太快會使冷卻劑溫度與燃料溫度不一致，太慢則使試驗時間延長。從運行控制角度來說，越慢越容易實現(xiàn)控制穩(wěn)定。因此，我們可以緩慢增加溫度梯度到4℃/h，每次調(diào)節(jié)，開度變化即停止，觀察梯度穩(wěn)定后再接著調(diào)節(jié)，調(diào)節(jié)時，瞬態(tài)時的溫度偏差的變化快于溫度梯度的變化（因為溫度偏差來源于整定溫度與三個環(huán)路平均溫度最大值，而梯度僅本環(huán)路溫度信號，且數(shù)值較小，變化較慢，體現(xiàn)不出微分的優(yōu)點）。在另外兩個置自動的GCT-A有開度時，調(diào)節(jié)較慢，因為降溫時手動的開大時，自動的會補償關(guān)小。待自動的全關(guān)后，手動的調(diào)節(jié)要更加緩慢。升溫時，關(guān)小手動的，自動的會開啟，造成調(diào)節(jié)擾動，可以事先增加開啟整定值，使自動保持全關(guān)。回復(fù)時再將定值調(diào)一致。冷卻時密切關(guān)注三臺SG壓力，避免兩高一低導(dǎo)致安注，需要緩慢調(diào)節(jié)，且保持給水穩(wěn)定，三臺SG壓差大約在1巴時，就同步穩(wěn)定變化了。同時關(guān)注SG水位，若APA或APD調(diào)節(jié)，小閥在自動，則汽水壓差在5巴左右為宜，太大則小閥會全關(guān)，失去調(diào)節(jié)水位的作用，太小則在升溫時，由于SG壓力增加，給水有可能克服不了汽壓，造成SG水位下降而停堆，給水流量調(diào)節(jié)過大又會影響一回路溫度，導(dǎo)致梯度太大而不滿足試驗要求。

1變速積分PID原理

1．1PID控制原理［1，2］

常規(guī)PID控制系統(tǒng)原理框圖如圖1所示。

PID控制器是一種線性控制器，它根據(jù)給定值r（t）與實際輸出構(gòu)成控制偏差：

將此偏差的比例（P）、積分（I）和微分（D）通過線性組合構(gòu)成控制量，對被控對象進(jìn)行控制。其控制規(guī)律為：

式中，Kp為比例系數(shù)，T1為積分時間常數(shù)，TD為微分時間常數(shù)。