亚洲欧美日韩国产成人精品影院,亚洲成人v,九九九少妇xx,久草青青草原综合欧美

中文
創(chuàng)新中心
專家團(tuán)隊(duì)

公司擁有張景中院士和楊路首席科學(xué)家領(lǐng)銜的包括基礎(chǔ)理論、關(guān)鍵技術(shù)、工程與產(chǎn)品全過程的創(chuàng)新體系,團(tuán)隊(duì)近500人,其中高級職稱人員近87人,還包括四川省學(xué)術(shù)帶頭人5人,國務(wù)院政府津貼專家7人。在數(shù)字會議、工業(yè)測控、機(jī)器視覺、智能分析、大數(shù)據(jù)處理、信息安全與物聯(lián)網(wǎng)方面研究深入,帶領(lǐng)的技術(shù)團(tuán)隊(duì)支撐了公司核心技術(shù)和業(yè)務(wù)。 公司長期“產(chǎn)學(xué)研”發(fā)展思路,與包括香港大學(xué)、電子科技大學(xué)、四川大學(xué)、西南交通大學(xué)等高校的知名教授開展深入合作,保證了公司持續(xù)創(chuàng)新。

張景中/ 院士

中國科學(xué)院院士
計(jì)算機(jī)軟件與理論博士生導(dǎo)師
中國科普作家協(xié)會理事長
中國科學(xué)院成都計(jì)算機(jī)應(yīng)用研究所名譽(yù)所長

張景中,中國科學(xué)院院士,1959年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系。從事計(jì)算機(jī)科學(xué)、數(shù)學(xué)和數(shù)學(xué)教育研究?!队?jì)算機(jī)應(yīng)用》期刊主編。在機(jī)器證明、教育數(shù)學(xué)、距離幾何及動(dòng)力系統(tǒng)等領(lǐng)域有貢獻(xiàn)。其成果1982年獲國家發(fā)明獎(jiǎng)二等獎(jiǎng),1995年獲中科院自然科學(xué)獎(jiǎng)一等獎(jiǎng)和中國圖書獎(jiǎng),1997年獲國家自然科學(xué)獎(jiǎng)二等獎(jiǎng),2003年獲全國科普創(chuàng)作獎(jiǎng)一等獎(jiǎng)、五個(gè)一工程獎(jiǎng)和國家圖書獎(jiǎng),2005年和2009年兩次獲國家科技進(jìn)步獎(jiǎng)二等獎(jiǎng)。他提出了三角、幾何、代數(shù)相互滲透的初等數(shù)學(xué)教學(xué)體系;提出了非ε語言的極限概念表述和實(shí)數(shù)理論的連續(xù)歸納法;發(fā)現(xiàn)了不用極限或無窮小建立微積分的基本理論和方法。


楊路/ 著名數(shù)學(xué)家

中國科學(xué)院大學(xué)教授
計(jì)算機(jī)軟件與理論博士生導(dǎo)師
主要研究:計(jì)算機(jī)自動(dòng)推理及機(jī)器證明、符號計(jì)算、智能軟件技術(shù)。

楊路,研究員,博士生導(dǎo)師,國家兩屆攀登項(xiàng)目“機(jī)器證明及其應(yīng)用”和“數(shù)學(xué)機(jī)械化的理論與研究”和國家兩屆973項(xiàng)目“數(shù)學(xué)機(jī)械化與自動(dòng)推理平臺”和“數(shù)學(xué)機(jī)械化及其在信息技術(shù)中的應(yīng)用”專家委員會委員,國家攀登項(xiàng)目“數(shù)學(xué)機(jī)械化的理論與研究”的首席科學(xué)家。國家兩屆攀登計(jì)劃、國家兩項(xiàng)863計(jì)劃、國家兩屆973計(jì)劃、國家自然科學(xué)基金以及中國科學(xué)院知識創(chuàng)新項(xiàng)目等重大課題的負(fù)責(zé)人。主研項(xiàng)目《幾何定理機(jī)器證明理論與算法的新進(jìn)展》獲中國科學(xué)院自然科學(xué)一等獎(jiǎng)。該成果是計(jì)算機(jī)自動(dòng)推理這個(gè)計(jì)算機(jī)科學(xué)-數(shù)學(xué)交叉領(lǐng)域的多年難遇的重大成果,是國內(nèi)外計(jì)算機(jī)科學(xué)界公認(rèn)的卓越成就,在計(jì)算機(jī)科學(xué)、數(shù)學(xué)、教育科學(xué)等各領(lǐng)域產(chǎn)生著深遠(yuǎn)影響并獲重要應(yīng)用。1997年獲國家自然科學(xué)二等獎(jiǎng),2001年獲全國專利博覽會金獎(jiǎng),2003年獲全國“五一”勞動(dòng)獎(jiǎng)?wù)隆?/p>


張景中 楊路
技術(shù)專家
久久成人视频在线| 综合网激情四射亚洲无吗| 精品偷拍视频| 麻豆 日韩 欧美 xxx| 寂寞人妻引诱中文字幕视频| 精品一区亚洲柳州| 欧美巨大精品一区二区| 人妻少妇被粗大爽| 亚洲电影黄色电影在线观看| 欧美日韩3p无码高清| 天天射天天日-爽| 91久久久精品国产一区二区欧K | 日本一区二区四区六区| 777久久久精品中文字幕| 人妻爱爱综合网| 精品人妻一区二区三区1| 欧美韩日国午夜视频| 一本道视频精品一区二区| 日韩九九一二三四五区| 久久九欧美| AAA欧美日韩精品| 精品国产乱码久久久久夜深人妻| 日韩综合av输入网站| 超碰av在线不卡一二三| 日韩 国产 在线 不卡| 日本不卡α| 艹我好舒服啊视频| 久久精品ww人人爽人人| 国产福利亚洲一区精品| 天天干在线激情视频| 福利试看12| 精品一二三区视频| 精品人妻中文字幕视频| 免费的无码的毛片| 欧美国产1区| 日韩精品人妻无码第一页| 欧美图片奸一区二区三区| 亚洲图区欧美日韩| 91Av 色色| 国产AV小电影大香蕉| 精品国产乱淫|