國家自然科學(xué)基金進(jìn)展報(bào)告

1、國家自然科學(xué)基金資助項(xiàng)目進(jìn)展報(bào)告項(xiàng)目批準(zhǔn)號(hào)70771059申請代碼G0110歸口管理部門收件日期國家自然科學(xué)基金資助項(xiàng)目進(jìn)展報(bào)告資助類別：面上項(xiàng)目亞類說明：附注說明：項(xiàng)目名稱：使用代數(shù)化元語言構(gòu)建跨領(lǐng)域的工程決策支持系統(tǒng)負(fù) 責(zé) 人：顧學(xué)雍電話子郵件 ：依托單位：清華大學(xué)聯(lián) 系 人：宿芬電話助金額：20.0000(萬元)累計(jì)撥款：12.0000(萬元)執(zhí)行年限：2008.01-2010.12 116695 0填表日期：年月日國家自然科學(xué)基金委員會(huì)制（2004年11月）第 12 頁關(guān)于填報(bào)國家自然科學(xué)基金資助項(xiàng)

2、目進(jìn)展報(bào)告的說明2004PF一. 項(xiàng)目負(fù)責(zé)人每年須填報(bào)國家自然科學(xué)基金資助項(xiàng)目進(jìn)展報(bào)告（簡稱進(jìn)展報(bào)告），以此作為自然科學(xué)基金資助項(xiàng)目跟蹤、管理的主要依據(jù)。二. 項(xiàng)目負(fù)責(zé)人應(yīng)認(rèn)真閱讀自然科學(xué)基金項(xiàng)目管理和財(cái)務(wù)管理有關(guān)規(guī)定、辦法（查閱）, 在年度工作的基礎(chǔ)上，實(shí)事求是地撰寫進(jìn)展報(bào)告。三. 項(xiàng)目依托單位認(rèn)真審核, 于每年1月15日前將本單位受資助項(xiàng)目的進(jìn)展報(bào)告統(tǒng)一報(bào)送國家自然科學(xué)基金委員會(huì)歸口管理部門。四. 進(jìn)展報(bào)告由報(bào)告正文和附件兩部分組成, 報(bào)告正文請參照 “進(jìn)展報(bào)告報(bào)告正文撰寫提綱”撰寫，并可根據(jù)需要增設(shè)欄目，要求層次分明, 內(nèi)容準(zhǔn)確。項(xiàng)目執(zhí)行過程中的進(jìn)展或研究成果、計(jì)劃調(diào)整情況等，須在報(bào)告中

3、如實(shí)反映。五. 國家自然科學(xué)基金委員會(huì)歸口管理部門負(fù)責(zé)審核項(xiàng)目年度進(jìn)展報(bào)告、跟蹤項(xiàng)目進(jìn)展與研究成果、核準(zhǔn)項(xiàng)目負(fù)責(zé)人的次年度研究計(jì)劃和調(diào)整要求，確定項(xiàng)目繼續(xù)資助的情況。對不按要求填報(bào)進(jìn)展報(bào)告，或項(xiàng)目執(zhí)行不力，或內(nèi)容、人員等調(diào)整不當(dāng)而影響項(xiàng)目順利進(jìn)展的，視其情節(jié)輕重要求負(fù)責(zé)人和依托單位及時(shí)糾正，或給予緩撥資助經(jīng)費(fèi)、中止或撤消項(xiàng)目等處理。六. 經(jīng)費(fèi)執(zhí)行情況報(bào)表由重大項(xiàng)目的課題和重點(diǎn)項(xiàng)目填報(bào)，重大項(xiàng)目每年度填報(bào)隨進(jìn)展報(bào)告一同報(bào)送，重點(diǎn)項(xiàng)目在進(jìn)行中期檢查的年度填報(bào)。其他項(xiàng)目無需填報(bào)經(jīng)費(fèi)執(zhí)行情況報(bào)表，只需在進(jìn)展報(bào)告中對經(jīng)費(fèi)使用情況和下一年度經(jīng)費(fèi)安排做出必要的說明。注：國家自然科學(xué)基金強(qiáng)調(diào)科學(xué)道德和良好的學(xué)

4、風(fēng)，反對弄虛作假和浮躁作風(fēng)，要求工作認(rèn)真、填報(bào)材料實(shí)事求是。部分探索性研究內(nèi)容，雖經(jīng)過努力，也可能沒獲得理想結(jié)果或甚至失敗，特別是面上項(xiàng)目。如有這種情況，也請?jiān)趫?bào)告中實(shí)事求是地反映出來，說明工作狀況和發(fā)展態(tài)勢，供國家自然科學(xué)基金委員會(huì)和專家參考。報(bào)告正文撰寫提綱1. 年度計(jì)劃要點(diǎn)和調(diào)整情況。簡要說明是否按計(jì)劃進(jìn)行, 哪些研究內(nèi)容根據(jù)國內(nèi)外研究發(fā)展?fàn)顩r及項(xiàng)目進(jìn)展情況做了必要的調(diào)整和變動(dòng)，哪些研究內(nèi)容未按計(jì)劃進(jìn)行，原因何在。2. 研究工作主要進(jìn)展和階段性成果。(本部分是進(jìn)展報(bào)告的重要部分,請認(rèn)真撰寫)。請分層次敘述所開展的研究工作、取得的進(jìn)展或碰到的問題等，給出必要的數(shù)據(jù)、圖表。根據(jù)實(shí)際情況提供國

5、內(nèi)外有關(guān)研究動(dòng)態(tài)的對比分析及必要的參考文獻(xiàn)。本部分亦包括國內(nèi)外合作與學(xué)術(shù)交流、研究生培養(yǎng)情況等。3. 下一年度工作計(jì)劃，包括國內(nèi)外合作與交流計(jì)劃。如要求對原研究內(nèi)容和主要成員作重要調(diào)整，需明確要求調(diào)整的內(nèi)容，并說明理由、必要性以及對項(xiàng)目實(shí)施的影響。（注：為保證基金項(xiàng)目順利進(jìn)行，研究人員要求穩(wěn)定，一般不作變更。如確需變更，須按基金項(xiàng)目管理辦法規(guī)定的要求提出申請，經(jīng)自然科學(xué)基金委歸口管理部門核準(zhǔn)后方可變更。）4. 當(dāng)年經(jīng)費(fèi)使用情況與下一年度經(jīng)費(fèi)預(yù)算。給出必要的經(jīng)費(fèi)使用情況的說明，逐項(xiàng)列出固定資產(chǎn)超過5萬元的設(shè)備的名稱、使用情況等有關(guān)說明。5. 存在的問題、建議及其他需要說明的情況。說明項(xiàng)目執(zhí)行中的

6、問題和建議。對部分探索性強(qiáng)的研究，有可能未獲得理想結(jié)果或甚至失敗，請如實(shí)地反映，說明原因、工作狀況、發(fā)展態(tài)勢和建議等，供基金委管理人員或同行專家參考。6. 附件：給出標(biāo)注基金資助的已發(fā)表和已有錄用通知的論文目錄、其他成果清單和必要的證明材料復(fù)印件等。發(fā)表論文按常規(guī)文獻(xiàn)引用方式列出。報(bào)告正文1 年度計(jì)劃要點(diǎn)和調(diào)整情況 按照項(xiàng)目研究目標(biāo)，2008年度研究計(jì)劃要點(diǎn)包括：第一階段：（2008年1月2008年9月）調(diào)研不同工程領(lǐng)域決策支持系統(tǒng)的實(shí)現(xiàn)手段和使用方法，使用元語言來描述這些不同決策過程的內(nèi)容，比較和分析其共性和個(gè)性，確定目標(biāo)系統(tǒng)的平臺(tái)通用功能和應(yīng)用于專門領(lǐng)域的工具包的功能。運(yùn)用啟發(fā)式評估(He

7、uristic evaluation)和可用性工程(Usability engineering)的方法分析和總結(jié)現(xiàn)有決策支持系統(tǒng)的建模和分析過程的人機(jī)交互模式，并且分析用戶使用相關(guān)系統(tǒng)進(jìn)行操作的人機(jī)界面引導(dǎo)體系；第二階段：（2008年10月到2009年6月）使用“事物網(wǎng)” 語言的數(shù)理規(guī)格實(shí)現(xiàn)一個(gè)工程決策問題的元語言核心，并且在現(xiàn)有理論的基礎(chǔ)上根據(jù)實(shí)際工程的特點(diǎn)，更新推理機(jī)的算法；通過決策任務(wù)分析、用戶需求分析和用戶狀態(tài)轉(zhuǎn)移矩陣分析，得到使用者在跨領(lǐng)域工程決策系統(tǒng)中的全狀態(tài)轉(zhuǎn)移列表，給出基于特定領(lǐng)域應(yīng)用情景的用戶指導(dǎo)書，確定系統(tǒng)的各個(gè)人機(jī)交互狀態(tài)和功能模塊；歸類數(shù)據(jù)類型，做出數(shù)據(jù)字典。 本年度已

8、經(jīng)圓滿完成上述計(jì)劃，并提前開展下一年度計(jì)劃工作的部分任務(wù)的劃分與安排。 研究工作按計(jì)劃順利進(jìn)行，目前研究計(jì)劃無調(diào)整。2 研究工作主要進(jìn)展和階段性成果(1)研究工作的主要進(jìn)展 (a)調(diào)研了多家工程領(lǐng)域決策支持系統(tǒng)，分析目標(biāo)系統(tǒng)平臺(tái)的通用功能和應(yīng)用于特定領(lǐng)域的工具包的功能，并分析了其實(shí)現(xiàn)手段和使用方法。 (b)將事物網(wǎng)模型中的可執(zhí)行元語言在高端工程軟件Mathematica下重新編譯，并加入了新的編程機(jī)制，拓展了元語言核心的靈活度和可靠性。 (c)在跨領(lǐng)域工程決策的實(shí)例研究中，我們結(jié)合汽車購買決策輔助網(wǎng)站的相關(guān)數(shù)據(jù)以及進(jìn)行系統(tǒng)建模，通過對用戶行為模式數(shù)據(jù)進(jìn)行分析，自動(dòng)計(jì)算出用戶的相關(guān)需求及決策結(jié)果

9、。并繼承國內(nèi)外汽車行業(yè)對RFID中間件技術(shù)及RFID數(shù)據(jù)管理領(lǐng)域的研究成果，在服務(wù)質(zhì)量管理(Quality of Service, QoS)研發(fā)框架下，研究如何對汽車行業(yè)在供應(yīng)鏈中所產(chǎn)生的RFID動(dòng)態(tài)數(shù)據(jù)實(shí)現(xiàn)實(shí)時(shí)管理。這些數(shù)據(jù)，包括用戶行為模式與供應(yīng)鏈的動(dòng)態(tài)數(shù)據(jù)，提供本課題一系列的跨領(lǐng)域的數(shù)據(jù)內(nèi)容，并將運(yùn)用于以后的跨領(lǐng)域決策數(shù)據(jù)管理以及決策推算的案例。(2)階段性成果 (a)以調(diào)研分析了上海通用公司，上海鐵路局機(jī)車維修系統(tǒng)，航空排班，以及公交系統(tǒng)等跨領(lǐng)域工程決策支持系統(tǒng)為切入點(diǎn)，確定目標(biāo)系統(tǒng)的平臺(tái)通用功能和應(yīng)用于專門領(lǐng)域的工具包的功能，并對其工程系統(tǒng)進(jìn)行了相應(yīng)的仿真建模，在實(shí)現(xiàn)共性功能的基礎(chǔ)上

10、分析實(shí)現(xiàn)個(gè)性功能的手段和使用方法。圖一：上海通用汽車供應(yīng)鏈網(wǎng)絡(luò)及汽車制造系統(tǒng) 如圖一所示，上海通用汽車供應(yīng)鏈網(wǎng)絡(luò)主要由工廠，配送中心，以及供應(yīng)商三部分組成。其中工廠存在向配送中心和供應(yīng)商訂貨這兩種途徑，同樣，供應(yīng)商也存在向工廠和配送中心的供貨這兩種途徑，而供應(yīng)商之間也存在分包的情況。因此上海通用汽車供應(yīng)鏈網(wǎng)絡(luò)的核心問題是如何對該系統(tǒng)進(jìn)行自動(dòng)排列組合并找到最優(yōu)方案。 (b)在供應(yīng)鏈問題的基礎(chǔ)上，我們結(jié)合上海通用汽車的集裝箱調(diào)運(yùn)問題，以及RFID的應(yīng)用，進(jìn)行了系統(tǒng)仿真建模。技術(shù)上，我們將模型分為過程模型和數(shù)據(jù)模型兩部分，并用數(shù)據(jù)驅(qū)動(dòng)的方式，將這兩部分整合。不但高效的仿真出集裝箱的配送方式，更使得整

11、個(gè)系統(tǒng)更具活性，當(dāng)線路，數(shù)量等數(shù)據(jù)發(fā)生變化時(shí)，只需要更改相應(yīng)的數(shù)據(jù)數(shù)量即可，對整個(gè)系統(tǒng)構(gòu)架不會(huì)產(chǎn)生任何架構(gòu)上的影響，這是以往建模所難以實(shí)現(xiàn)的特點(diǎn)。圖二：上海通用汽車集裝箱運(yùn)輸問題實(shí)體關(guān)系圖圖三：經(jīng)事物網(wǎng)語言編譯后的集裝箱運(yùn)輸問題二步圖 (c)下圖（圖四），為公交實(shí)時(shí)排班系統(tǒng)。在本系統(tǒng)中，我們根據(jù)公交站點(diǎn)以及每個(gè)站點(diǎn)的客流量將公交系統(tǒng)進(jìn)行仿真建模，并根據(jù)客流量的時(shí)間分布計(jì)算出最優(yōu)的排班計(jì)劃。圖四：公交實(shí)時(shí)排班系統(tǒng) (d)下圖（圖五），是根據(jù)現(xiàn)有航班數(shù)據(jù)的，以數(shù)據(jù)驅(qū)動(dòng)的方式建立航空時(shí)實(shí)排班系統(tǒng)的仿真模型，并實(shí)現(xiàn)當(dāng)發(fā)生突發(fā)事件時(shí)，系統(tǒng)可以根據(jù)改變的數(shù)據(jù)，自動(dòng)產(chǎn)生新的排班系統(tǒng)，解決了以往人工調(diào)試所需的

12、工作量和復(fù)雜度。 圖五：航空重調(diào)度系統(tǒng)（2）將可執(zhí)行的元語言模型在工程軟件Mathematica下重新編譯，并加入Binding（綁定）和Barrier & Lease（壁壘與權(quán)契）的機(jī)制。實(shí)現(xiàn)利用基本的數(shù)據(jù)類型，將跨領(lǐng)域決策模型中的大量實(shí)質(zhì)相同的概念和處理方法，通過元語言統(tǒng)一的語法和語義進(jìn)行描述，通過代數(shù)法則對模型進(jìn)行分類、簡化、變換等功能，實(shí)現(xiàn)建模自動(dòng)化。Mathematica下的事物網(wǎng)模型不但精簡了其元語言核心的代碼量，更增強(qiáng)了其靈活度和可靠性，但運(yùn)算的速度還需要進(jìn)一步調(diào)試。 (a)圖六為加入綁定機(jī)制的元語言的示意圖。在“student has camera”這個(gè)語句中，stud

13、ent的屬性可以先和Tian Ju,Huang Ke, Ryan中的一個(gè)綁定，而has的屬性也可以和borrow, buy中的一個(gè)綁定，camera可以film,digital中的一個(gè)綁定。這樣同一個(gè)語句通過不同的屬性而擁有了多種排列組合，從而使元語言在不增加其代碼量的基礎(chǔ)上更具有表達(dá)性。圖六：加入綁定機(jī)制的元語言 (b)圖七為加入壁壘與權(quán)契機(jī)制的元語言的示意圖。壁壘對可通過某一特定過程的實(shí)體進(jìn)行了限制。如圖所示，只有當(dāng)同時(shí)擁有紅色和黃色這兩個(gè)實(shí)體時(shí)，才可以出發(fā)過程，而經(jīng)過該過程的紅，黃實(shí)體，也相應(yīng)的轉(zhuǎn)變成了藍(lán)色的實(shí)體。而契機(jī)則對當(dāng)擁有紅，黃實(shí)體時(shí)，何時(shí)將其觸發(fā)成藍(lán)色這個(gè)時(shí)間做了規(guī)定。 圖七：

14、加入壁壘與權(quán)契機(jī)制的元語言 (c)我們應(yīng)用元語言對“哲學(xué)家用餐”這個(gè)經(jīng)典的問題進(jìn)行了仿真建模。圖八為“哲學(xué)家用餐”的示意圖。在該問題中，哲學(xué)家主要進(jìn)行思考和吃飯兩種活動(dòng)，如圖所示，五個(gè)哲學(xué)家，五只叉子，而有當(dāng)哲學(xué)家同時(shí)擁有兩只叉子時(shí)，才可以進(jìn)餐。因此，“哲學(xué)家用餐”這個(gè)問題同時(shí)包涵了時(shí)間、空間，以及不確定性這三個(gè)工程所面對的基本問題。我們用元語言成功的對其進(jìn)行了仿真建模（圖九），實(shí)現(xiàn)了對時(shí)間，空間和不確定性的統(tǒng)一，并在Mathematica下生成了人機(jī)界面（圖十）。圖八：哲學(xué)家用餐圖九：經(jīng)元語言編譯的哲學(xué)家用餐問題圖十：在Mathematica下生成的人機(jī)交互界面（4）結(jié)合汽車購買決策輔助網(wǎng)站

15、的相關(guān)數(shù)據(jù)，用事物網(wǎng)模型進(jìn)行系統(tǒng)建模，通過分析用戶行為模式數(shù)據(jù)，自動(dòng)計(jì)算出用戶的相關(guān)需求及決策結(jié)果。并運(yùn)用啟發(fā)式評估和可用性工程的方法分析和總結(jié)現(xiàn)有決策支持系統(tǒng)的建模和分析過程的人機(jī)交互模式，分析用戶使用相關(guān)系統(tǒng)進(jìn)行操作的人機(jī)界面引導(dǎo)體系。改進(jìn)設(shè)計(jì)后的網(wǎng)站錯(cuò)誤率與心智負(fù)荷程度低于原版的導(dǎo)購網(wǎng)站，同時(shí)顯著提高了用戶的滿意度,但在表現(xiàn)時(shí)間與迷失程度上二者沒有明顯區(qū)別。圖十二：自適應(yīng)的實(shí)時(shí)RFID管理系統(tǒng)構(gòu)架（5）在的RFID動(dòng)態(tài)數(shù)據(jù)實(shí)時(shí)管理軟件的服務(wù)質(zhì)量管理框架下，在保證速度、精度、對數(shù)據(jù)容錯(cuò)能力和安全性等多種約束因素下，構(gòu)建一套R(shí)FID動(dòng)態(tài)數(shù)據(jù)實(shí)時(shí)管理軟件的原型系統(tǒng)，開發(fā)支持實(shí)時(shí)處理多類型大量的

16、動(dòng)態(tài)數(shù)據(jù)、具備分布與協(xié)同能力的數(shù)據(jù)驅(qū)動(dòng)的軟件平臺(tái)；使用分段式事件驅(qū)動(dòng)架構(gòu)對于大規(guī)模RFID數(shù)據(jù)處理，使它具備實(shí)時(shí)數(shù)據(jù)分析、數(shù)據(jù)分布式存儲(chǔ)、協(xié)同式處理等功能。圖十三：自適應(yīng)的實(shí)時(shí)RFID管理系統(tǒng)構(gòu)架 如圖十三所示，先建立基于服務(wù)質(zhì)量的RFID實(shí)時(shí)作業(yè)系統(tǒng)，根據(jù)空間拓?fù)浯鷶?shù)以及時(shí)空邏輯代數(shù)對RFID的動(dòng)態(tài)時(shí)空信息進(jìn)行一致性的控制存儲(chǔ)，再根據(jù)數(shù)據(jù)驅(qū)動(dòng)的動(dòng)態(tài)算法綁定技術(shù)，分布式的處理所存儲(chǔ)的數(shù)據(jù)，最后根據(jù)應(yīng)用的需求，分布式重構(gòu)RFID實(shí)時(shí)應(yīng)用系統(tǒng)，從而實(shí)現(xiàn)對千萬量級的RFID數(shù)據(jù)的管理。圖十四：分布式可重構(gòu)RFID網(wǎng)絡(luò)實(shí)時(shí)應(yīng)用系統(tǒng) 圖十四則描述了分布式可重構(gòu)RFID網(wǎng)絡(luò)實(shí)時(shí)應(yīng)用系統(tǒng)的實(shí)現(xiàn)過程，首先RF

17、ID讀寫器讀出實(shí)時(shí)的RFID環(huán)境中數(shù)據(jù)，而后依據(jù)時(shí)空代數(shù)引擎將其存儲(chǔ)在RFID中間件中，并以JVM集群網(wǎng)絡(luò)的形式分布在網(wǎng)絡(luò)附加內(nèi)存中，最后根據(jù)不同的應(yīng)用，將其投射到不同的應(yīng)用服務(wù)器上。（5）邀請MIT航天航空系Ed Crawley教授進(jìn)行事物網(wǎng)決策方法的使用交流，并正式聘請Ed Crawley 教授為我系客座教授。邀請荷蘭Eindhoven University of Technology (TU/e)大學(xué)的研究人員Gao Han，以及韓國首爾大學(xué)學(xué)生Rygun Seo來我實(shí)驗(yàn)室進(jìn)行學(xué)術(shù)交流。并應(yīng)邀參加CDIO組委會(huì)的 3rd International CDIO Conference，Wor

18、fram Research Inc. 舉辦IMS2008的研討會(huì)，IEEE2008研討會(huì)以及一些其他的會(huì)議。（6）在學(xué)生培養(yǎng)上，我們采用了CDIO的培養(yǎng)模式，即讓學(xué)生對產(chǎn)品和系統(tǒng)通過構(gòu)思設(shè)計(jì)實(shí)現(xiàn)運(yùn)作的模式，實(shí)現(xiàn)對產(chǎn)品生命周期的發(fā)展和部署。 在該框架下，我們課程設(shè)置為講課>個(gè)人項(xiàng)目>小組項(xiàng)目>項(xiàng)目進(jìn)展匯報(bào)>回顧和提煉>講課的循環(huán)模式。以學(xué)生為導(dǎo)向，老師退居二線，充分調(diào)動(dòng)學(xué)生的積極主動(dòng)性。此過程我們格外注重三方面：1 做中學(xué)，學(xué)生充分發(fā)揮學(xué)生主動(dòng)性，學(xué)生根據(jù)不同的項(xiàng)目自己構(gòu)思和設(shè)計(jì)。2 產(chǎn)學(xué)合作，介紹產(chǎn)業(yè)界最新模型，并將科研趨勢反應(yīng)在工業(yè)中，邀請產(chǎn)業(yè)界泰斗與學(xué)生互動(dòng)。

19、3 國際化，全英文教學(xué)，國際學(xué)生，國際老師，留學(xué)生以及國際交換項(xiàng)目。 結(jié)合項(xiàng)目培養(yǎng)在讀研究生包括： 黃易（博士生，現(xiàn)MIT交換生），周晨佳（研究生，現(xiàn)上海交通大學(xué)），黃柯（研究生），尚坤（研究生）等人。3.下一年度工作計(jì)劃 本課題在繼續(xù)優(yōu)化可執(zhí)行的元語言模型的技術(shù)上，重點(diǎn)突破如下三個(gè)關(guān)鍵技術(shù)： （1）時(shí)空一致性：使用基于數(shù)據(jù)驅(qū)動(dòng)的軟件開發(fā)模式以及自動(dòng)化編程工具來有效利用RFID系統(tǒng)所提供的信息內(nèi)容的實(shí)時(shí)性和區(qū)域性，并改變?nèi)斯ら_發(fā)源代碼的繁瑣工藝流程； （2）數(shù)據(jù)的快速存取、壓縮與搜索：通過對分布式數(shù)據(jù)采集，存儲(chǔ)與分層級處理的特性，在SOA在網(wǎng)絡(luò)環(huán)境內(nèi)分層協(xié)作地實(shí)現(xiàn)數(shù)據(jù)的存儲(chǔ)及搜索，使用集成的實(shí)時(shí)嵌入式數(shù)據(jù)庫和樹狀結(jié)構(gòu)對數(shù)據(jù)進(jìn)行壓縮存取； （3）優(yōu)先排序與調(diào)度：結(jié)合復(fù)雜事件處理與約束編程(Constraint Programming)的工具，實(shí)時(shí)地對多層物理事件、對產(chǎn)生的數(shù)據(jù)式事件進(jìn)行優(yōu)