轉(zhuǎn)換系統(tǒng)范文10篇

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

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

1.引言

計(jì)算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個(gè)階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計(jì)算精度高及投入人力少等優(yōu)點(diǎn)。自動微分實(shí)現(xiàn)的基本出發(fā)點(diǎn)是：一個(gè)數(shù)據(jù)相對獨(dú)立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運(yùn)算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運(yùn)算操作，重復(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]。在一些特定的運(yùn)用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強(qiáng)相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時(shí)，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個(gè)統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個(gè)自動微分系統(tǒng)有效性的重要尺度。

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

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

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

1.引言

計(jì)算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個(gè)階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計(jì)算精度高及投入人力少等優(yōu)點(diǎn)。自動微分實(shí)現(xiàn)的基本出發(fā)點(diǎn)是：一個(gè)數(shù)據(jù)相對獨(dú)立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運(yùn)算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運(yùn)算操作，重復(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]。在一些特定的運(yùn)用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強(qiáng)相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時(shí)，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個(gè)統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個(gè)自動微分系統(tǒng)有效性的重要尺度。

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

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

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

1.引言

計(jì)算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個(gè)階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計(jì)算精度高及投入人力少等優(yōu)點(diǎn)。自動微分實(shí)現(xiàn)的基本出發(fā)點(diǎn)是：一個(gè)數(shù)據(jù)相對獨(dú)立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運(yùn)算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運(yùn)算操作，重復(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]。在一些特定的運(yùn)用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強(qiáng)相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時(shí)，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個(gè)統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個(gè)自動微分系統(tǒng)有效性的重要尺度。

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

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

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

1.引言

計(jì)算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個(gè)階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計(jì)算精度高及投入人力少等優(yōu)點(diǎn)。自動微分實(shí)現(xiàn)的基本出發(fā)點(diǎn)是：一個(gè)數(shù)據(jù)相對獨(dú)立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運(yùn)算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運(yùn)算操作，重復(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]。在一些特定的運(yùn)用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強(qiáng)相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時(shí)，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個(gè)統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個(gè)自動微分系統(tǒng)有效性的重要尺度。

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

[摘要]回顧了歐洲學(xué)分轉(zhuǎn)換系統(tǒng)的發(fā)展，并分析了這一系統(tǒng)存在的問題和矛盾。研究認(rèn)為學(xué)分互換得到各國普遍認(rèn)同和重視，但學(xué)分互換還在探索中前進(jìn)，尚未形成定式，高校學(xué)分互換的推行需要有一強(qiáng)有力機(jī)制推動。

[關(guān)鍵詞]歐洲學(xué)分轉(zhuǎn)換系統(tǒng)；“伊拉斯莫計(jì)劃”

歐洲大陸作為高等教育的發(fā)源地一直備受世人關(guān)注，而近20年一提到歐洲的高等教育，伴隨在人們腦海中出現(xiàn)的就是“伊拉斯莫計(jì)劃”，即“歐洲大學(xué)生流動計(jì)劃”，而提到“伊拉斯莫計(jì)劃”(ERASMUS)就不能不提“歐洲學(xué)分轉(zhuǎn)換系統(tǒng)”(theEuropeanCreditTransferSystem，簡稱ECTS)。最初它是歐盟在實(shí)施“伊拉斯莫計(jì)劃”中開發(fā)出的一個(gè)最具特色的對學(xué)生海外學(xué)習(xí)予以承認(rèn)的有效工具，對北美和亞太地區(qū)的大學(xué)生交流計(jì)劃都產(chǎn)生了一定的影響。而且隨著1999年《波洛尼亞宣言》的發(fā)表，這個(gè)系統(tǒng)再一次煥發(fā)出新的活力。

一、歐洲學(xué)分轉(zhuǎn)換系統(tǒng)的發(fā)展

學(xué)分制1872年產(chǎn)生于美國哈佛大學(xué)，之后逐步推廣完善。但學(xué)分國際間的流通則起源于“歐洲學(xué)分轉(zhuǎn)換系統(tǒng)”，它不僅打破了校與校之間的藩籬，更消除了國與國之間的障礙，其運(yùn)行景象可謂盛況空前。歐洲學(xué)分轉(zhuǎn)換，最早可追溯到1953年在巴黎召開的“關(guān)于進(jìn)人別國大學(xué)學(xué)習(xí)時(shí)文憑等值的歐洲大會”，當(dāng)時(shí)參與國家有32個(gè)。大會制定并通過了依照派出國家大學(xué)頒發(fā)的證書，接受(東道)國家大學(xué)可以根據(jù)合約吸納學(xué)生入學(xué)的原則。

“歐洲學(xué)分轉(zhuǎn)換系統(tǒng)”隸屬于歐洲委員會，創(chuàng)立于1988～1995年間，開始主要是在5個(gè)科目中開展合作：商業(yè)管理、化學(xué)、歷史、機(jī)械工程和醫(yī)藥，后被納入高等教育“伊拉斯莫”計(jì)劃。它通過采取靈活的學(xué)分制度來確保學(xué)分的可轉(zhuǎn)讓性和累積性，在本科和研究生教育的基礎(chǔ)上，創(chuàng)立一種簡化的、易讀的、可比較的學(xué)位系統(tǒng)。該項(xiàng)目于1987年正式啟動，到2002年9月參與此項(xiàng)目的學(xué)生超過了100萬人，參與國從1987年的歐盟11國擴(kuò)展到現(xiàn)在的30多個(gè)歐洲國家。其規(guī)模之大，令人驚嘆。

［摘要］歐洲學(xué)分轉(zhuǎn)換系統(tǒng)促進(jìn)了歐盟國家的學(xué)生交流，成為推動歐洲高等教育一體化的重要工具。隨著政治、經(jīng)濟(jì)、文化的不斷發(fā)展和進(jìn)步，該體制逐漸被更多國家采納應(yīng)用。文章從該體制的概況、運(yùn)算方法、作用意義及對我國的啟示幾個(gè)方面展開闡述。

［關(guān)鍵詞］歐洲學(xué)分轉(zhuǎn)換系統(tǒng);學(xué)分制;教育

1歐洲學(xué)分轉(zhuǎn)換系統(tǒng)概述

歐洲學(xué)分轉(zhuǎn)換系統(tǒng)(EuropeanCreditTransferSystem，ECTS)成立于1989年，是目前在歐盟各國和歐洲經(jīng)濟(jì)區(qū)域內(nèi)的45個(gè)國家之間實(shí)行學(xué)分互認(rèn)和學(xué)分相互轉(zhuǎn)換系統(tǒng)。歐洲學(xué)分轉(zhuǎn)換由課程單元、學(xué)習(xí)負(fù)荷量、學(xué)業(yè)水平等重要因素構(gòu)成。該體制是世界范圍內(nèi)發(fā)現(xiàn)較早，同時(shí)在歐洲教育內(nèi)使用較為廣泛的學(xué)分體系。該體制是為了能夠公平地對每一位學(xué)生的學(xué)習(xí)素養(yǎng)和能力進(jìn)行評判。它不但可以檢測一名學(xué)生的學(xué)習(xí)水平，同時(shí)還可以縮短在校攻讀學(xué)位的時(shí)間，從而更好地進(jìn)行其他學(xué)術(shù)研究。歐洲學(xué)分轉(zhuǎn)換系統(tǒng)的本質(zhì)是為了加速人才的流動，使得各個(gè)國家的優(yōu)秀學(xué)子能夠互相交流，讓歐盟各成員國之間的教育可以資源共享。

2歐洲學(xué)分轉(zhuǎn)換的起源和發(fā)展背景

歐洲學(xué)分轉(zhuǎn)換的起源在于歐洲經(jīng)濟(jì)一體化。為了面對強(qiáng)大的美國和蘇聯(lián)，在加強(qiáng)經(jīng)濟(jì)和貿(mào)易的發(fā)展同時(shí)，歐洲逐漸意識到這場國際化的競爭，不僅依靠經(jīng)濟(jì)和貿(mào)易的發(fā)展，同時(shí)更需要擁有技術(shù)和高素質(zhì)、高能力的人才。因此，逐漸把重心由經(jīng)濟(jì)貿(mào)易轉(zhuǎn)移到教育領(lǐng)域。1985年，“伊拉莫斯計(jì)劃”在歐洲共同體的推動下開展。這項(xiàng)計(jì)劃目的在于加強(qiáng)歐洲各國之間的教育文化間的交流，使歐洲各國的學(xué)生能夠在不同國家之間相互學(xué)習(xí)溝通，提升自身素質(zhì)。此項(xiàng)計(jì)劃的內(nèi)容包括兩方面:①學(xué)生可以到歐盟其他國家學(xué)習(xí)3～12個(gè)月，運(yùn)用歐洲學(xué)分轉(zhuǎn)換系統(tǒng)兌換學(xué)分，在交流提升自身的情況下，同樣能夠完成學(xué)業(yè)。②對教師的培訓(xùn)交流、學(xué)術(shù)探討、科研成果相互展示等。1999年，歐洲國家提出“博洛尼亞進(jìn)程”并簽署了《博洛尼亞宣言》，目的在于為歐洲聯(lián)盟國家中的高等人才建立歐洲學(xué)分轉(zhuǎn)換機(jī)制，使各個(gè)國家間學(xué)分相互認(rèn)可，推動鼓勵(lì)學(xué)生進(jìn)行學(xué)習(xí)交流并深造，從而進(jìn)一步提升歐洲的教育質(zhì)量。2001年5月、2003年9月、2007年3月分別在布拉格、柏林和倫敦召開會議，會議總結(jié)了《博洛尼亞宣言》后歐洲教育的成果以及在歐洲學(xué)分轉(zhuǎn)換系統(tǒng)中的優(yōu)點(diǎn)和不足。進(jìn)一步加強(qiáng)歐洲學(xué)分轉(zhuǎn)換的使用，推動歐洲教育之間的交流和提升，為歐洲建立成為高等教育國家而努力。［1］

摘要：回顧了歐洲學(xué)分轉(zhuǎn)換系統(tǒng)的發(fā)展，并分析了這1系統(tǒng)存在的問題和矛盾。研究認(rèn)為學(xué)分互換得到各國普遍認(rèn)同和重視，但學(xué)分互換還在探索中前進(jìn)，尚未形成定式，高校學(xué)分互換的推行需要有1強(qiáng)有力機(jī)制推動。

關(guān)鍵詞：歐洲學(xué)分轉(zhuǎn)換系統(tǒng)伊拉斯莫計(jì)劃

歐洲大陸作為高等教育的發(fā)源地1直備受世人關(guān)注，而近20年1提到歐洲的高等教育，伴隨在人們腦海中出現(xiàn)的就是“伊拉斯莫計(jì)劃”，即“歐洲大學(xué)生流動計(jì)劃”，而提到“伊拉斯莫計(jì)劃”(ERASMUS)就不能不提“歐洲學(xué)分轉(zhuǎn)換系統(tǒng)”(theEuropeanCreditTransferSystem，簡稱ECTS)。最初它是歐盟在實(shí)施“伊拉斯莫計(jì)劃”中開發(fā)出的1個(gè)最具特色的對學(xué)生海外學(xué)習(xí)予以承認(rèn)的有效工具，對北美和亞太地區(qū)的大學(xué)生交流計(jì)劃都產(chǎn)生了1定的影響。而且隨著1999年《波洛尼亞宣言》的發(fā)表，這個(gè)系統(tǒng)再1次煥發(fā)出新的活力。

一、歐洲學(xué)分轉(zhuǎn)換系統(tǒng)的發(fā)展

學(xué)分制1872年產(chǎn)生于美國哈佛大學(xué)，之后逐步推廣完善。但學(xué)分國際間的流通則起源于“歐洲學(xué)分轉(zhuǎn)換系統(tǒng)”，它不僅打破了校與校之間的藩籬，更消除了國與國之間的障礙，其運(yùn)行景象可謂盛況空前。歐洲學(xué)分轉(zhuǎn)換，最早可追溯到1953年在巴黎召開的“關(guān)于進(jìn)人別國大學(xué)學(xué)習(xí)時(shí)文憑等值的歐洲大會”，當(dāng)時(shí)參與國家有32個(gè)。大會制定并通過了依照派出國家大學(xué)頒發(fā)的證書，接受(東道)國家大學(xué)可以根據(jù)合約吸納學(xué)生入學(xué)的原則。

“歐洲學(xué)分轉(zhuǎn)換系統(tǒng)”隸屬于歐洲委員會，創(chuàng)立于1988～1995年間，開始主要是在5個(gè)科目中開展合作：商業(yè)管理、化學(xué)、歷史、機(jī)械工程和醫(yī)藥，后被納入高等教育“伊拉斯莫”計(jì)劃。它通過采取靈活的學(xué)分制度來確保學(xué)分的可轉(zhuǎn)讓性和累積性，在本科和研究生教育的基礎(chǔ)上，創(chuàng)立1種簡化的、易讀的、可比較的學(xué)位系統(tǒng)。該項(xiàng)目于1987年正式啟動，到2002年9月參與此項(xiàng)目的學(xué)生超過了100萬人，參與國從1987年的歐盟11國擴(kuò)展到現(xiàn)在的30多個(gè)歐洲國家。其規(guī)模之大，令人驚嘆。

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

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

1.引言

計(jì)算微分大致經(jīng)歷了從商微分，符號微分，手寫代碼到自動微分幾個(gè)階段。與其它幾種微分方法相比，自動微分具有代碼簡練、計(jì)算精度高及投入人力少等優(yōu)點(diǎn)。自動微分實(shí)現(xiàn)的基本出發(fā)點(diǎn)是：一個(gè)數(shù)據(jù)相對獨(dú)立的程序?qū)ο螅Ｊ健⑦^程、程序段、數(shù)值語句乃至數(shù)值表達(dá)式），無論多么復(fù)雜，總可以分解為一系列有限數(shù)目的基本函數(shù)（如sin、exp、log）和基本運(yùn)算操作（加、減、乘、除、乘方）的有序復(fù)合；對所有這些基本函數(shù)及基本運(yùn)算操作，重復(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]。在一些特定的運(yùn)用中，它們都是比較成功的，但在通用性和復(fù)雜問題的處理效率上還存在許多不足。通常，自動生成切線性模式的關(guān)鍵難題在于對象自身的強(qiáng)相關(guān)性，這給系統(tǒng)全局分析（如數(shù)據(jù)IO相關(guān)分析和數(shù)據(jù)依賴相關(guān)分析）和微分代碼的整體優(yōu)化都帶來了很多困難。同時(shí)，對于程序?qū)ο蟛豢蓪?dǎo)處的準(zhǔn)確識別和微分處理，至今仍還沒有一個(gè)統(tǒng)一而有效的算法。另外，最優(yōu)或有效求解稀疏雅可比矩陣一直是衡量一個(gè)自動微分系統(tǒng)有效性的重要尺度。

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

摘要：成人教育中“學(xué)分積累與轉(zhuǎn)換制度”分析中，需要明確構(gòu)建社會終身教育的管理體系標(biāo)準(zhǔn)，依照國家深化教育的需求，從長遠(yuǎn)角度進(jìn)行分析，建立健全認(rèn)證體系，制定有效的學(xué)分制度管理標(biāo)準(zhǔn)。實(shí)施有效的改革政策分析，按照學(xué)分積累、轉(zhuǎn)換試行方案，加強(qiáng)高校、高職院校、成人教育之間的體系建設(shè)，制定有效的學(xué)分轉(zhuǎn)換過程。對不同類型學(xué)生實(shí)施互認(rèn)和銜接操作，構(gòu)建完整的終身學(xué)習(xí)體系平臺。依照我國教育整體發(fā)展的實(shí)施過程，對學(xué)生的各個(gè)階段教育實(shí)施有效的轉(zhuǎn)換，重點(diǎn)分析銜接通道中可能存在的問題，依照各類教育內(nèi)容，實(shí)施有效的橫縱分配，明確具體的溝通標(biāo)準(zhǔn)，制定完善的設(shè)計(jì)實(shí)施方案，加強(qiáng)構(gòu)建社會終身教育體系作用。

關(guān)鍵詞：成人教育；學(xué)分積累轉(zhuǎn)換；終身教育

一、引言

按照學(xué)分積累轉(zhuǎn)換制度的標(biāo)準(zhǔn)要求，重點(diǎn)分析符合成人教育階段下的各方面內(nèi)容，制定有效的學(xué)分積累和轉(zhuǎn)換。從不同的類型出發(fā)，加強(qiáng)各級專業(yè)教育之間的差異化分析，對各個(gè)教育認(rèn)證制度標(biāo)準(zhǔn)、社區(qū)學(xué)院、教育設(shè)計(jì)水平進(jìn)行分析，明確學(xué)分積累與轉(zhuǎn)化機(jī)制的實(shí)施操作。依照綜合功能水平進(jìn)行分析，明確學(xué)習(xí)成果的有效認(rèn)定標(biāo)準(zhǔn)，對學(xué)分進(jìn)行積累和轉(zhuǎn)換。依照學(xué)習(xí)成果加強(qiáng)相關(guān)內(nèi)容的分析，明確學(xué)習(xí)的認(rèn)定，正規(guī)、非正規(guī)形式的成果判斷。從學(xué)習(xí)成果認(rèn)定出發(fā)，依照學(xué)分和課程的設(shè)定進(jìn)行分析，確定相互轉(zhuǎn)換的過程和標(biāo)準(zhǔn)。通過有效性的學(xué)習(xí)，搭建有效的連通橋梁，提升社會終身教育體系的建設(shè)。

二、搭建完善的學(xué)分轉(zhuǎn)換制度

按照成人教育的需求，對學(xué)分積累和轉(zhuǎn)換制度水平進(jìn)行分析，準(zhǔn)確的判斷大學(xué)學(xué)科標(biāo)準(zhǔn)條件下，學(xué)科專業(yè)知識、學(xué)生檔案評估、項(xiàng)目專業(yè)建設(shè)、培訓(xùn)項(xiàng)目內(nèi)容等的整體標(biāo)準(zhǔn)分析。依照學(xué)分進(jìn)行有效的認(rèn)定，調(diào)整高校、企業(yè)之間的關(guān)系，明確教學(xué)推薦的學(xué)分分配形式。依照各個(gè)學(xué)分的認(rèn)定進(jìn)行不同政策的轉(zhuǎn)化，對課程等值標(biāo)準(zhǔn)進(jìn)行不同流程化的分析，調(diào)整繁雜項(xiàng)目內(nèi)容，明確借鑒有效的學(xué)習(xí)經(jīng)驗(yàn)，加強(qiáng)對學(xué)生成果的積累和轉(zhuǎn)換。深化分析教育領(lǐng)域的相關(guān)數(shù)據(jù)改革，實(shí)施有效的學(xué)分制注冊、選課、學(xué)籍注冊、課程認(rèn)證等改革處理。按照各個(gè)級別的學(xué)校、教育機(jī)構(gòu)要求，制定有效的教學(xué)標(biāo)準(zhǔn)，分析課程標(biāo)準(zhǔn)、學(xué)分授予的情況，盡可能地避免學(xué)分認(rèn)定、轉(zhuǎn)換之間出現(xiàn)問題。按照國家實(shí)施的標(biāo)準(zhǔn)，建立起完善的學(xué)分管理制度，根據(jù)各個(gè)學(xué)校教育的模式，構(gòu)建有效的學(xué)分終身制度管理形式，確定檔案標(biāo)準(zhǔn)，采用統(tǒng)一的學(xué)習(xí)認(rèn)定模式，加強(qiáng)積累與轉(zhuǎn)換，方便學(xué)生合理的存儲和管理，從不同的階段獲取各類學(xué)習(xí)成果。建立有效的學(xué)分積累轉(zhuǎn)換服務(wù)平臺，依照學(xué)生的實(shí)際需求，對相關(guān)知識內(nèi)容進(jìn)行查閱分析，開展符合社會的公開查詢渠道。不斷提升全國性的教育質(zhì)量認(rèn)定分析，依照學(xué)分轉(zhuǎn)換制度標(biāo)準(zhǔn)要求，加強(qiáng)各類學(xué)科教育結(jié)構(gòu)的建設(shè)，構(gòu)建完善的學(xué)歷教育分配，調(diào)整質(zhì)量認(rèn)定體系，對課程的相關(guān)內(nèi)容、師資管理水平，教學(xué)設(shè)備設(shè)施標(biāo)準(zhǔn)，學(xué)生專業(yè)水平等進(jìn)行充分的考察分析，認(rèn)定有效的、符合學(xué)生教育機(jī)構(gòu)標(biāo)準(zhǔn)的等值課程內(nèi)容，加強(qiáng)專業(yè)職業(yè)資格證書的認(rèn)定，加強(qiáng)行業(yè)證書、培訓(xùn)項(xiàng)目的非學(xué)歷成果分析，明確具體的學(xué)歷教育學(xué)分等值標(biāo)準(zhǔn)建設(shè)，不斷促進(jìn)各類學(xué)校、教育機(jī)構(gòu)之間的互相轉(zhuǎn)換，從而提升各類教育橫向縱向模式的溝通，確保相關(guān)銜接的有效性。按照需求建立多樣化、多元化的質(zhì)量監(jiān)督管控體系，引導(dǎo)學(xué)生充分拓展各方面行業(yè)的發(fā)展，加強(qiáng)社會組織關(guān)系，結(jié)構(gòu)指導(dǎo)思想、監(jiān)督作用的研究，建立起完善的嚴(yán)格制度管理模式，實(shí)施公開考核，接收社會的監(jiān)督和評價(jià)。

1系統(tǒng)結(jié)構(gòu)

該自動切換系統(tǒng)主要在一個(gè)機(jī)箱內(nèi)實(shí)現(xiàn)，在機(jī)箱內(nèi)有一個(gè)主控模塊作為主要控制電路，有三個(gè)轉(zhuǎn)換開關(guān)可以自動切換調(diào)頻。主板上設(shè)置了一些通信接口，包括RS485網(wǎng)絡(luò)通信接口、RS232串行通信接口、F頭無線信號接口。還有多種類型的電源接口，主要包括220V主板供電輸入口、220V發(fā)射機(jī)供電輸入口、主備機(jī)電源供電接口等。另外還包括主機(jī)RF信號輸入接口、備機(jī)RF信號輸入接口、負(fù)載輸入輸出接口、合路輸入輸出接口等。電源輸入接口連接到主控模塊，通過主控模塊的控制電路，然后得到控制電源輸出和發(fā)射機(jī)電源輸出。主控模塊通過控制電路給主機(jī)和備用機(jī)進(jìn)行供電，通過供電接口進(jìn)行連接。F頭天線接收信號后，通過接口模塊，把信號傳送給主控模塊。三路轉(zhuǎn)換開關(guān)在主控模塊電路的控制下實(shí)現(xiàn)了調(diào)頻信號的雙向通訊開關(guān)，網(wǎng)絡(luò)通訊接口、串行通信接口和網(wǎng)口主要是用來和主控模塊進(jìn)行通訊，并且根據(jù)實(shí)際情況安排具體通信通道，實(shí)現(xiàn)雙向?qū)崟r(shí)通訊。根據(jù)具體主機(jī)頻率和自動切換通道，三個(gè)轉(zhuǎn)換開關(guān)的接口分別和3個(gè)主機(jī)RF信號輸入接口、3個(gè)備機(jī)RF信號輸入接口進(jìn)行連接，實(shí)現(xiàn)主備機(jī)自動切換連接。最后把3個(gè)轉(zhuǎn)化開關(guān)電路的兩個(gè)輸出接口分別和3個(gè)合路器、3個(gè)假負(fù)載連接，完成轉(zhuǎn)換功能電路連接。以上是系統(tǒng)的主要設(shè)計(jì)結(jié)構(gòu)，如圖1所示。

2主備機(jī)自動切換系統(tǒng)設(shè)計(jì)

單片控制模塊是系統(tǒng)的主要控制模塊，系統(tǒng)有兩個(gè)電源、電流開關(guān)檢測模塊，有兩個(gè)電源、電流控制模塊。另外兩個(gè)模塊是調(diào)頻調(diào)制接收模塊和音頻濾波檢測模塊。220V的供電電源接口連接到開關(guān)電源電路，開關(guān)電源電路受單片機(jī)控制模塊控制。220V的控制電源接口連接到其中一個(gè)電壓電流檢測回路后，電路經(jīng)過電源開關(guān)控制器，然后又連接到第二個(gè)電壓電流檢測回路，作為并聯(lián)輸出。這兩路輸入信號，通過兩路檢測回路后，分別并聯(lián)到主、備機(jī)供電電源接口上。這樣，通過電壓電流檢測回路模塊與單片機(jī)控制模塊電路的連接，實(shí)現(xiàn)了雙向的冗余通信。三個(gè)轉(zhuǎn)換開關(guān)，控制著通信回路的自動切換。三個(gè)不同通信接口，RS485網(wǎng)絡(luò)接口、RS232串行通信接口及網(wǎng)口在單片機(jī)控制電路下，實(shí)現(xiàn)了不同通信方式的自動切換，并且保證是雙向通信方式。F頭天線接收到音頻信號后，傳輸給FM接收模塊，然后FM接收模塊給出兩路信號，這兩路并聯(lián)信號經(jīng)過音頻模塊的檢波處理后，送給單片機(jī)控制回路，單片機(jī)處理模塊得到要處理的通信信號。STM32F103芯片作為主要控制芯片來完成控制工作。發(fā)射機(jī)的狀態(tài)信號通過網(wǎng)口和通信電路傳送給單片機(jī)，單片機(jī)判斷發(fā)射機(jī)的發(fā)射功率大小，如果小于一定的閥值，就判斷為該信息為故障原因。初始默認(rèn)狀態(tài)是，主備機(jī)都能正常工作，信號傳輸正常。三路主機(jī)信號傳輸?shù)秸{(diào)頻多功能器后，傳送給天線發(fā)射出去，而三路備機(jī)則連接到假負(fù)載上。如果系統(tǒng)一旦發(fā)生故障，則意味著發(fā)射的信號功率就會低于規(guī)定值，信號傳輸給交換機(jī)，通過網(wǎng)口把故障信息傳送給控制模塊，控制模塊就會切斷相應(yīng)開關(guān)，并進(jìn)行頻點(diǎn)自動切換和故障發(fā)射主機(jī)標(biāo)記。如果單片機(jī)控制模塊，在發(fā)現(xiàn)故障信號后，備用機(jī)如果沒有被標(biāo)記為故障信息，則可自動切換到備用機(jī)。如果備用機(jī)有故障標(biāo)記，則不進(jìn)行自動切換工作，并發(fā)出警告信息，提醒故障的發(fā)生。本自動切換系統(tǒng)的供電是12V直流供電，由開關(guān)電源模塊進(jìn)行把220V的交流電轉(zhuǎn)換成所需的12V直流供電。主控制模塊通過控制繼電器，從而實(shí)現(xiàn)對電源控制模塊的通斷電。具體的就是控制彈片的吸附和松開，分別控制主機(jī)和備機(jī)的電源供電問題。電壓和電流檢測模塊主要是用來檢測電壓和電流是否達(dá)到標(biāo)注需要值。當(dāng)220V交流電通過電源控制模塊供電后，得到的直流電壓要經(jīng)過電壓檢測模塊，檢測供電電壓是否正常。電流檢測模塊主要是通過可變電阻轉(zhuǎn)化電壓后，檢測傳輸?shù)絾纹瑱C(jī)控制模塊的電流是否是正常的。F接收調(diào)頻信號模塊，在接受到信號后，傳送給音頻檢測模塊進(jìn)行濾波檢波。檢波電路實(shí)現(xiàn)交流信號到直流信號的轉(zhuǎn)換，最后傳送給單片機(jī)控制模塊，控制模塊根據(jù)所得信號判斷是否正常，從而控制電路自動切換和主備機(jī)自動切換。通過網(wǎng)絡(luò)接口通信把相關(guān)信息狀態(tài)回饋給本地監(jiān)控服務(wù)器，實(shí)現(xiàn)故障信息的監(jiān)控和記錄工作。

3結(jié)束語

研究設(shè)計(jì)的調(diào)頻發(fā)射主備機(jī)自動切換系統(tǒng)，特別是對于要求多點(diǎn)覆蓋的農(nóng)村區(qū)域，具有結(jié)構(gòu)簡單、成本低廉、功能性強(qiáng)等特點(diǎn)。通過多種通信接口可實(shí)現(xiàn)接收Internet信號實(shí)現(xiàn)遠(yuǎn)程控制。一旦發(fā)射機(jī)發(fā)生故障，信號通過輸入回路傳送給主控制模塊，由主控制模塊來判斷是否低于標(biāo)準(zhǔn)限值。然后控制模塊就會進(jìn)行主、備控制合路的自動切換，控制轉(zhuǎn)換開關(guān)把正常信號輸出到天線進(jìn)行發(fā)射，把故障信息自動切換到假負(fù)載。最后實(shí)現(xiàn)主備機(jī)的相互自動切換和備份工作。