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

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

2、目進(jìn)展報(bào)告的說(shuō)明2004PF一. 項(xiàng)目負(fù)責(zé)人每年須填報(bào)國(guó)家自然科學(xué)基金資助項(xiàng)目進(jìn)展報(bào)告（簡(jiǎn)稱(chēng)進(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í)事求是地撰寫(xiě)進(jìn)展報(bào)告。三. 項(xiàng)目依托單位認(rèn)真審核, 于每年1月15日前將本單位受資助項(xiàng)目的進(jìn)展報(bào)告統(tǒng)一報(bào)送國(guó)家自然科學(xué)基金委員會(huì)歸口管理部門(mén)。四. 進(jìn)展報(bào)告由報(bào)告正文和附件兩部分組成, 報(bào)告正文請(qǐng)參照 “進(jìn)展報(bào)告報(bào)告正文撰寫(xiě)提綱”撰寫(xiě)，并可根據(jù)需要增設(shè)欄目，要求層次分明, 內(nèi)容準(zhǔn)確。項(xiàng)目執(zhí)行過(guò)程中的進(jìn)展或研究成果、計(jì)劃調(diào)整情況等，須在報(bào)告中

3、如實(shí)反映。五. 國(guó)家自然科學(xué)基金委員會(huì)歸口管理部門(mén)負(fù)責(zé)審核項(xiàng)目年度進(jìn)展報(bào)告、跟蹤項(xiàng)目進(jìn)展與研究成果、核準(zhǔn)項(xiàng)目負(fù)責(zé)人的次年度研究計(jì)劃和調(diào)整要求，確定項(xiàng)目繼續(xù)資助的情況。對(duì)不按要求填報(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)目無(wú)需填報(bào)經(jīng)費(fèi)執(zhí)行情況報(bào)表，只需在進(jìn)展報(bào)告中對(duì)經(jīng)費(fèi)使用情況和下一年度經(jīng)費(fèi)安排做出必要的說(shuō)明。注：國(guó)家自然科學(xué)基金強(qiáng)調(diào)科學(xué)道德和良好的學(xué)

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

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

6、問(wèn)題和建議。對(duì)部分探索性強(qiáng)的研究，有可能未獲得理想結(jié)果或甚至失敗，請(qǐng)如實(shí)地反映，說(shuō)明原因、工作狀況、發(fā)展態(tài)勢(shì)和建議等，供基金委管理人員或同行專(zhuān)家參考。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)手段和使用方法，使用元語(yǔ)言來(lái)描述這些不同決策過(guò)程的內(nèi)容，比較和分析其共性和個(gè)性，確定目標(biāo)系統(tǒng)的平臺(tái)通用功能和應(yīng)用于專(zhuān)門(mén)領(lǐng)域的工具包的功能。運(yùn)用啟發(fā)式評(píng)估(He

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

8、經(jīng)圓滿完成上述計(jì)劃，并提前開(kāi)展下一年度計(jì)劃工作的部分任務(wù)的劃分與安排。 研究工作按計(jì)劃順利進(jìn)行，目前研究計(jì)劃無(wú)調(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í)行元語(yǔ)言在高端工程軟件Mathematica下重新編譯，并加入了新的編程機(jī)制，拓展了元語(yǔ)言核心的靈活度和可靠性。 (c)在跨領(lǐng)域工程決策的實(shí)例研究中，我們結(jié)合汽車(chē)購(gòu)買(mǎi)決策輔助網(wǎng)站的相關(guān)數(shù)據(jù)以及進(jìn)行系統(tǒng)建模，通過(guò)對(duì)用戶(hù)行為模式數(shù)據(jù)進(jìn)行分析，自動(dòng)計(jì)算出用戶(hù)的相關(guān)需求及決策結(jié)果

9、。并繼承國(guó)內(nèi)外汽車(chē)行業(yè)對(duì)RFID中間件技術(shù)及RFID數(shù)據(jù)管理領(lǐng)域的研究成果，在服務(wù)質(zhì)量管理(Quality of Service, QoS)研發(fā)框架下，研究如何對(duì)汽車(chē)行業(yè)在供應(yīng)鏈中所產(chǎn)生的RFID動(dòng)態(tài)數(shù)據(jù)實(shí)現(xiàn)實(shí)時(shí)管理。這些數(shù)據(jù)，包括用戶(hù)行為模式與供應(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ī)車(chē)維修系統(tǒng)，航空排班，以及公交系統(tǒng)等跨領(lǐng)域工程決策支持系統(tǒng)為切入點(diǎn)，確定目標(biāo)系統(tǒng)的平臺(tái)通用功能和應(yīng)用于專(zhuān)門(mén)領(lǐng)域的工具包的功能，并對(duì)其工程系統(tǒng)進(jìn)行了相應(yīng)的仿真建模，在實(shí)現(xiàn)共性功能的基礎(chǔ)上

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

11、個(gè)系統(tǒng)更具活性，當(dāng)線路，數(shù)量等數(shù)據(jù)發(fā)生變化時(shí)，只需要更改相應(yīng)的數(shù)據(jù)數(shù)量即可，對(duì)整個(gè)系統(tǒng)構(gòu)架不會(huì)產(chǎn)生任何架構(gòu)上的影響，這是以往建模所難以實(shí)現(xiàn)的特點(diǎn)。圖二：上海通用汽車(chē)集裝箱運(yùn)輸問(wèn)題實(shí)體關(guān)系圖圖三：經(jīng)事物網(wǎng)語(yǔ)言編譯后的集裝箱運(yùn)輸問(wè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í)行的元語(yǔ)言模型在工程軟件Mathematica下重新編譯，并加入Binding（綁定）和Barrier & Lease（壁壘與權(quán)契）的機(jī)制。實(shí)現(xiàn)利用基本的數(shù)據(jù)類(lèi)型，將跨領(lǐng)域決策模型中的大量實(shí)質(zhì)相同的概念和處理方法，通過(guò)元語(yǔ)言統(tǒng)一的語(yǔ)法和語(yǔ)義進(jìn)行描述，通過(guò)代數(shù)法則對(duì)模型進(jìn)行分類(lèi)、簡(jiǎn)化、變換等功能，實(shí)現(xiàn)建模自動(dòng)化。Mathematica下的事物網(wǎng)模型不但精簡(jiǎn)了其元語(yǔ)言核心的代碼量，更增強(qiáng)了其靈活度和可靠性，但運(yùn)算的速度還需要進(jìn)一步調(diào)試。 (a)圖六為加入綁定機(jī)制的元語(yǔ)言的示意圖。在“student has camera”這個(gè)語(yǔ)句中，stud

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

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

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

16、動(dòng)態(tài)數(shù)據(jù)、具備分布與協(xié)同能力的數(shù)據(jù)驅(qū)動(dòng)的軟件平臺(tái)；使用分段式事件驅(qū)動(dòng)架構(gòu)對(duì)于大規(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ù)對(duì)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)對(duì)千萬(wàn)量級(jí)的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)過(guò)程，首先RF

17、ID讀寫(xiě)器讀出實(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）邀請(qǐng)MIT航天航空系Ed Crawley教授進(jìn)行事物網(wǎng)決策方法的使用交流，并正式聘請(qǐng)Ed Crawley 教授為我系客座教授。邀請(qǐng)荷蘭Eindhoven University of Technology (TU/e)大學(xué)的研究人員Gao Han，以及韓國(guó)首爾大學(xué)學(xué)生Rygun Seo來(lái)我實(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é)生對(duì)產(chǎn)品和系統(tǒng)通過(guò)構(gòu)思設(shè)計(jì)實(shí)現(xiàn)運(yùn)作的模式，實(shí)現(xiàn)對(duì)產(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)性。此過(guò)程我們格外注重三方面：1 做中學(xué)，學(xué)生充分發(fā)揮學(xué)生主動(dòng)性，學(xué)生根據(jù)不同的項(xiàng)目自己構(gòu)思和設(shè)計(jì)。2 產(chǎn)學(xué)合作，介紹產(chǎn)業(yè)界最新模型，并將科研趨勢(shì)反應(yīng)在工業(yè)中，邀請(qǐng)產(chǎn)業(yè)界泰斗與學(xué)生互動(dòng)。

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