精品人妻区二区三区蜜桃-欧美妇女高潮高清喷水-欧美三级精品一区在线-视频成人在线免费观看

一、總則

自動(dòng)推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室（以下簡(jiǎn)稱實(shí)驗(yàn)室）依托于中國(guó)科學(xué)院重慶綠色智能技術(shù)研究院（以下簡(jiǎn)稱重慶研究院），以自動(dòng)推理與認(rèn)知為骨干學(xué)科，重點(diǎn)開(kāi)展自動(dòng)推理與可信計(jì)算、多領(lǐng)域統(tǒng)一建模、視覺(jué)語(yǔ)義認(rèn)知等方面的關(guān)鍵科學(xué)與技術(shù)研究。

為了促進(jìn)實(shí)驗(yàn)室學(xué)科發(fā)展和人才培養(yǎng)，加強(qiáng)學(xué)術(shù)交流與合作，利用本實(shí)驗(yàn)室設(shè)備和技術(shù)開(kāi)展在領(lǐng)域內(nèi)前沿課題研究，結(jié)合實(shí)驗(yàn)室具體情況，每年設(shè)立3-5項(xiàng)開(kāi)放課題，原則上每項(xiàng)資助經(jīng)費(fèi)不超過(guò)2萬(wàn)元人民幣，資助期限最長(zhǎng)不超過(guò)2年。

二、基金申請(qǐng)基本要求

1、開(kāi)放基金重點(diǎn)資助助理研究員、講師、碩士及其以上有獨(dú)立開(kāi)展研究課題能力的本實(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、開(kāi)放課題管理嚴(yán)格按照《自動(dòng)推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室開(kāi)放基金管理辦法》執(zhí)行。課題負(fù)責(zé)人在研究期間，每年需提交“開(kāi)放基金課題年度進(jìn)展報(bào)告”；課題結(jié)束時(shí)，填報(bào)“開(kāi)放基金課題結(jié)題報(bào)告”。凡未按照要求填報(bào)上述基本材料而又不申述正當(dāng)理由者，將視為放棄課題。

4、課題負(fù)責(zé)人因?yàn)槌鰢?guó)或外出進(jìn)修等原因，無(wú)法進(jìn)行研究工作時(shí)，可以申請(qǐng)課題延期，延期時(shí)間最長(zhǎng)一年。超過(guò)一年而不能繼續(xù)課題研究者，將視為放棄課題。

5、2013年度實(shí)驗(yàn)室開(kāi)放基金申請(qǐng)受理截至日期為2013年6月30日。

三、基金資助方式

1、研究課題經(jīng)費(fèi)全部由實(shí)驗(yàn)室開(kāi)放基金資助；

2、研究課題經(jīng)費(fèi)部分由實(shí)驗(yàn)室開(kāi)放基金資助；

3、申請(qǐng)者利用實(shí)驗(yàn)室設(shè)備及條件，自帶課題及經(jīng)費(fèi)來(lái)實(shí)驗(yàn)室開(kāi)展研究工作。

四、課題申請(qǐng)及審批程序

1、申請(qǐng)者在課題申請(qǐng)截止時(shí)間之前必需填寫并提交“自動(dòng)推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室開(kāi)放基金課題申請(qǐng)書”一式三份。

2、開(kāi)放基金課題須由申請(qǐng)人所在單位學(xué)術(shù)主管部門簽署意見(jiàn)并加蓋單位公章，同時(shí)通過(guò)電子郵件提交申請(qǐng)書電子版。課題周期一般為一至二年。

3、基金重點(diǎn)資助具有高級(jí)技術(shù)職稱科研人員，申請(qǐng)者如果不具備高級(jí)技術(shù)職稱，要求至少有一位具有高級(jí)技術(shù)職稱的同行專家推薦，說(shuō)明其科研業(yè)務(wù)水平及獨(dú)立開(kāi)展科研工作能力的程度。

4、申請(qǐng)者提出的申請(qǐng)項(xiàng)目，由實(shí)驗(yàn)室主任推薦給同行專家對(duì)申請(qǐng)書進(jìn)行預(yù)審。通過(guò)預(yù)審項(xiàng)目，將提交室學(xué)術(shù)委員會(huì)進(jìn)行評(píng)審，經(jīng)實(shí)驗(yàn)室學(xué)術(shù)委員會(huì)評(píng)審?fù)ㄟ^(guò)、實(shí)驗(yàn)室主任批準(zhǔn)即可生效。通過(guò)評(píng)審項(xiàng)目在批準(zhǔn)后一個(gè)月內(nèi)，通知本人辦理有關(guān)手續(xù)和開(kāi)始進(jìn)行工作。

五、2013年度開(kāi)放基金重點(diǎn)支持研究方向

1、自動(dòng)推理與可信計(jì)算

推理和計(jì)算是數(shù)學(xué)甚至整個(gè)科學(xué)發(fā)展的基礎(chǔ)。建立與計(jì)算機(jī)之上的推理和計(jì)算就是自動(dòng)推理和可信計(jì)算。這里強(qiáng)調(diào)“可信”，就是計(jì)算結(jié)果是能夠保證其正確性和有效性的。所以首要研究目標(biāo)就是解決推理與認(rèn)知中的科學(xué)理論基礎(chǔ):一個(gè)是推理，包含邏輯演繹和知識(shí)歸納；另一個(gè)是計(jì)算，包含符號(hào)計(jì)算和數(shù)值計(jì)算。自動(dòng)推理已經(jīng)成為當(dāng)今諸多重要高新科技領(lǐng)域與交叉學(xué)科信息處理和運(yùn)用的核心工具。除基礎(chǔ)科學(xué)領(lǐng)域外，機(jī)器人學(xué)和機(jī)構(gòu)學(xué)、計(jì)算機(jī)視覺(jué)、計(jì)算機(jī)輔助設(shè)計(jì)、空間目標(biāo)的跟蹤與飛行控制、生物信息學(xué)等技術(shù)領(lǐng)域中，其重要性日益凸顯。目前雖然自動(dòng)推理在各高新科技領(lǐng)域的應(yīng)用已初見(jiàn)成效，但更多復(fù)雜的問(wèn)題仍有待回答，已有的理論和算法距實(shí)際的需求還有很大的距離。該方向的課題選題范圍：

1）實(shí)幾何與實(shí)代數(shù)的高效能算法

2）塔斯基于非塔斯基模型的自動(dòng)推理

3）基于符號(hào)數(shù)值混合的誤差可控計(jì)算

4）知識(shí)的表示、知識(shí)庫(kù)的建立和擴(kuò)展

5）基于GPU的高性能符號(hào)計(jì)算

2、計(jì)算數(shù)學(xué)在工業(yè)設(shè)計(jì)中的應(yīng)用

本方向關(guān)注工業(yè)幾何設(shè)計(jì)、結(jié)構(gòu)設(shè)計(jì)中的計(jì)算問(wèn)題，特別是目前興起的增材制造領(lǐng)域。傳統(tǒng)減材制造技術(shù)將幾何成形與物理成性過(guò)程完全分離，只能通過(guò)多次熱處理、切削以及裝配才能完成功能結(jié)構(gòu)的制造。與之相反，增材制造技術(shù)將幾何成形與物理成性過(guò)程同步，可直接快速制造復(fù)雜幾何形狀、復(fù)雜材料組分分布、多尺度（微觀—介觀—宏觀）的多功能結(jié)構(gòu)，如人工關(guān)節(jié)、陶瓷渦輪葉片等。異質(zhì)功能結(jié)構(gòu)，尤其是功能梯度材料連續(xù)體結(jié)構(gòu)的可控制造是先進(jìn)制造技術(shù)發(fā)展的趨勢(shì)之一。該方向的課題選題范圍：

1）多元多項(xiàng)式和有理函數(shù)插值問(wèn)題

2）基于NURBS的等幾何分析

3）T樣條的3維實(shí)體局部拼接問(wèn)題

4）計(jì)算流體力學(xué)和有限元分析

3、多領(lǐng)域統(tǒng)一建模和仿真

隨著機(jī)電產(chǎn)品設(shè)計(jì)的日趨復(fù)雜，單一領(lǐng)域的建模與分析已不能滿足產(chǎn)品創(chuàng)新設(shè)計(jì)的需求，因此需要針對(duì)性地展開(kāi)多領(lǐng)域物理建模。而該領(lǐng)域發(fā)展的瓶頸在于物理模型和方程過(guò)于復(fù)雜，人們無(wú)法處理。而計(jì)算機(jī)的自動(dòng)推理、化簡(jiǎn)、求解理論和技術(shù)在該領(lǐng)域的應(yīng)用和支撐顯得尤為重要。該方向的課題選題范圍：

1）機(jī)電系統(tǒng)的幾何模型與多領(lǐng)域知識(shí)異構(gòu)數(shù)據(jù)的統(tǒng)一表示；

2）大規(guī)模高指標(biāo)微分代數(shù)方程組的指標(biāo)化簡(jiǎn)原理、方法和求解；

3）微分代數(shù)方程組與偏微分方程集成系統(tǒng)的解耦與并行算法；

4）統(tǒng)一建模中的制造誤差/公差的不確定性問(wèn)題；

5）基于符號(hào)計(jì)算的知識(shí)件的重用、推理和擴(kuò)展；

6）定量仿真和模型評(píng)估技術(shù)。

4、動(dòng)態(tài)人臉識(shí)別

本方向建立于海量數(shù)據(jù)處理及認(rèn)知的基礎(chǔ)理論之上，主要針對(duì)平安城市、智慧城市、智能交通等特定應(yīng)用場(chǎng)景下的海量視頻信息進(jìn)行機(jī)器學(xué)習(xí)、語(yǔ)義認(rèn)知、視覺(jué)理解的算法研究。該方向的課題選題范圍：

1）超多維多媒體信息中的降維算法

2）多媒體缺失數(shù)據(jù)補(bǔ)全與恢復(fù)

3）通過(guò)面向語(yǔ)義的特征抽取技術(shù)

4）復(fù)雜模型參數(shù)估計(jì)、復(fù)雜環(huán)境下的機(jī)器視覺(jué)信息融合模型

六、聯(lián)系方式

聯(lián)系人：吳文淵

地址：重慶市金渝大道85號(hào)，漢國(guó)中心B座。

郵編：401122

電話：023-63063697

E-mail：wuwenyuan@cigit.ac.cn

附件1：自動(dòng)推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室開(kāi)放基金課題申請(qǐng)書

附件2：自動(dòng)推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室開(kāi)放基金管理辦法

自動(dòng)推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室（代章）

2013年6月3日