通知公告
自動推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室2013年度開放基金申請指南
時間：2013-06-03編輯：
一、總則
自動推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室（以下簡稱實(shí)驗(yàn)室）依托于中國科學(xué)院重慶綠色智能技術(shù)研究院（以下簡稱重慶研究院），以自動推理與認(rèn)知為骨干學(xué)科，重點(diǎn)開展自動推理與可信計(jì)算、多領(lǐng)域統(tǒng)一建模、視覺語義認(rèn)知等方面的關(guān)鍵科學(xué)與技術(shù)研究。
為了促進(jìn)實(shí)驗(yàn)室學(xué)科發(fā)展和人才培養(yǎng)，加強(qiáng)學(xué)術(shù)交流與合作，利用本實(shí)驗(yàn)室設(shè)備和技術(shù)開展在領(lǐng)域內(nèi)前沿課題研究，結(jié)合實(shí)驗(yàn)室具體情況，每年設(shè)立3-5項(xiàng)開放課題，原則上每項(xiàng)資助經(jīng)費(fèi)不超過2萬元人民幣，資助期限最長不超過2年。
二、基金申請基本要求
1、開放基金重點(diǎn)資助助理研究員、講師、碩士及其以上有獨(dú)立開展研究課題能力的本實(shí)驗(yàn)室以外的科技工作者；
2、資助金額一次核準(zhǔn)，分年度下達(dá)，資金僅限于在本實(shí)驗(yàn)室使用，資助經(jīng)費(fèi)的使用與管理嚴(yán)格按照重慶研究院財(cái)務(wù)制度和本實(shí)驗(yàn)室的管理?xiàng)l例執(zhí)行；
3、開放課題管理嚴(yán)格按照《自動推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室開放基金管理辦法》執(zhí)行。課題負(fù)責(zé)人在研究期間，每年需提交“開放基金課題年度進(jìn)展報告”；課題結(jié)束時，填報“開放基金課題結(jié)題報告”。凡未按照要求填報上述基本材料而又不申述正當(dāng)理由者，將視為放棄課題。
4、課題負(fù)責(zé)人因?yàn)槌鰢蛲獬鲞M(jìn)修等原因，無法進(jìn)行研究工作時，可以申請課題延期，延期時間最長一年。超過一年而不能繼續(xù)課題研究者，將視為放棄課題。
5、2013年度實(shí)驗(yàn)室開放基金申請受理截至日期為2013年6月30日。
三、基金資助方式
1、研究課題經(jīng)費(fèi)全部由實(shí)驗(yàn)室開放基金資助；
2、研究課題經(jīng)費(fèi)部分由實(shí)驗(yàn)室開放基金資助；
3、申請者利用實(shí)驗(yàn)室設(shè)備及條件，自帶課題及經(jīng)費(fèi)來實(shí)驗(yàn)室開展研究工作。
四、課題申請及審批程序
1、申請者在課題申請截止時間之前必需填寫并提交“自動推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室開放基金課題申請書”一式三份。
2、開放基金課題須由申請人所在單位學(xué)術(shù)主管部門簽署意見并加蓋單位公章，同時通過電子郵件提交申請書電子版。課題周期一般為一至二年。
3、基金重點(diǎn)資助具有高級技術(shù)職稱科研人員，申請者如果不具備高級技術(shù)職稱，要求至少有一位具有高級技術(shù)職稱的同行專家推薦，說明其科研業(yè)務(wù)水平及獨(dú)立開展科研工作能力的程度。
4、申請者提出的申請項(xiàng)目，由實(shí)驗(yàn)室主任推薦給同行專家對申請書進(jìn)行預(yù)審。通過預(yù)審項(xiàng)目，將提交室學(xué)術(shù)委員會進(jìn)行評審，經(jīng)實(shí)驗(yàn)室學(xué)術(shù)委員會評審?fù)ㄟ^、實(shí)驗(yàn)室主任批準(zhǔn)即可生效。通過評審項(xiàng)目在批準(zhǔn)后一個月內(nèi)，通知本人辦理有關(guān)手續(xù)和開始進(jìn)行工作。
五、2013年度開放基金重點(diǎn)支持研究方向
1、自動推理與可信計(jì)算
推理和計(jì)算是數(shù)學(xué)甚至整個科學(xué)發(fā)展的基礎(chǔ)。建立與計(jì)算機(jī)之上的推理和計(jì)算就是自動推理和可信計(jì)算。這里強(qiáng)調(diào)“可信”，就是計(jì)算結(jié)果是能夠保證其正確性和有效性的。所以首要研究目標(biāo)就是解決推理與認(rèn)知中的科學(xué)理論基礎(chǔ):一個是推理，包含邏輯演繹和知識歸納；另一個是計(jì)算，包含符號計(jì)算和數(shù)值計(jì)算。自動推理已經(jīng)成為當(dāng)今諸多重要高新科技領(lǐng)域與交叉學(xué)科信息處理和運(yùn)用的核心工具。除基礎(chǔ)科學(xué)領(lǐng)域外，機(jī)器人學(xué)和機(jī)構(gòu)學(xué)、計(jì)算機(jī)視覺、計(jì)算機(jī)輔助設(shè)計(jì)、空間目標(biāo)的跟蹤與飛行控制、生物信息學(xué)等技術(shù)領(lǐng)域中，其重要性日益凸顯。目前雖然自動推理在各高新科技領(lǐng)域的應(yīng)用已初見成效，但更多復(fù)雜的問題仍有待回答，已有的理論和算法距實(shí)際的需求還有很大的距離。該方向的課題選題范圍：
1）實(shí)幾何與實(shí)代數(shù)的高效能算法
2）塔斯基于非塔斯基模型的自動推理
3）基于符號數(shù)值混合的誤差可控計(jì)算
4）知識的表示、知識庫的建立和擴(kuò)展
5）基于GPU的高性能符號計(jì)算
2、計(jì)算數(shù)學(xué)在工業(yè)設(shè)計(jì)中的應(yīng)用
本方向關(guān)注工業(yè)幾何設(shè)計(jì)、結(jié)構(gòu)設(shè)計(jì)中的計(jì)算問題，特別是目前興起的增材制造領(lǐng)域。傳統(tǒng)減材制造技術(shù)將幾何成形與物理成性過程完全分離，只能通過多次熱處理、切削以及裝配才能完成功能結(jié)構(gòu)的制造。與之相反，增材制造技術(shù)將幾何成形與物理成性過程同步，可直接快速制造復(fù)雜幾何形狀、復(fù)雜材料組分分布、多尺度（微觀—介觀—宏觀）的多功能結(jié)構(gòu)，如人工關(guān)節(jié)、陶瓷渦輪葉片等。異質(zhì)功能結(jié)構(gòu)，尤其是功能梯度材料連續(xù)體結(jié)構(gòu)的可控制造是先進(jìn)制造技術(shù)發(fā)展的趨勢之一。該方向的課題選題范圍：
1）多元多項(xiàng)式和有理函數(shù)插值問題
2）基于NURBS的等幾何分析
3）T樣條的3維實(shí)體局部拼接問題
4）計(jì)算流體力學(xué)和有限元分析
3、多領(lǐng)域統(tǒng)一建模和仿真
隨著機(jī)電產(chǎn)品設(shè)計(jì)的日趨復(fù)雜，單一領(lǐng)域的建模與分析已不能滿足產(chǎn)品創(chuàng)新設(shè)計(jì)的需求，因此需要針對性地展開多領(lǐng)域物理建模。而該領(lǐng)域發(fā)展的瓶頸在于物理模型和方程過于復(fù)雜，人們無法處理。而計(jì)算機(jī)的自動推理、化簡、求解理論和技術(shù)在該領(lǐng)域的應(yīng)用和支撐顯得尤為重要。該方向的課題選題范圍：
1）機(jī)電系統(tǒng)的幾何模型與多領(lǐng)域知識異構(gòu)數(shù)據(jù)的統(tǒng)一表示；
2）大規(guī)模高指標(biāo)微分代數(shù)方程組的指標(biāo)化簡原理、方法和求解；
3）微分代數(shù)方程組與偏微分方程集成系統(tǒng)的解耦與并行算法；
4）統(tǒng)一建模中的制造誤差/公差的不確定性問題；
5）基于符號計(jì)算的知識件的重用、推理和擴(kuò)展；
6）定量仿真和模型評估技術(shù)。
4、動態(tài)人臉識別
本方向建立于海量數(shù)據(jù)處理及認(rèn)知的基礎(chǔ)理論之上，主要針對平安城市、智慧城市、智能交通等特定應(yīng)用場景下的海量視頻信息進(jìn)行機(jī)器學(xué)習(xí)、語義認(rèn)知、視覺理解的算法研究。該方向的課題選題范圍：
1）超多維多媒體信息中的降維算法
2）多媒體缺失數(shù)據(jù)補(bǔ)全與恢復(fù)
3）通過面向語義的特征抽取技術(shù)
4）復(fù)雜模型參數(shù)估計(jì)、復(fù)雜環(huán)境下的機(jī)器視覺信息融合模型
六、聯(lián)系方式
聯(lián)系人：吳文淵
地址：重慶市金渝大道85號，漢國中心B座。
郵編：401122
電話：023-63063697
E-mail：wuwenyuan@cigit.ac.cn
附件1：自動推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室開放基金課題申請書
附件2：自動推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室開放基金管理辦法
自動推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室（代章）
2013年6月3日
中國科學(xué)院重慶綠色智能技術(shù)研究院 版權(quán)所有京ICP備05002857號渝公網(wǎng)安備50010943035號
