亚洲欧美日韩国产成人精品影院,熟女激情综合视频,日本性感人妻少妇,日韩精品女同

EN
Technology&Experts
Expert team

The company has an innovation system including the whole process of basic theory, key technology, engineering and products led by academician Zhang Jingzhong and chief scientist Yang Lu. The team has nearly 500 people, including nearly 50 people with senior professional titles, 5 academic leaders in Sichuan Province and 7 experts on government subsidies of the State Council. He has conducted in-depth research in digital conference, industrial measurement and control, machine vision, intelligent analysis, big data processing, information security and Internet of things, and led a technical team to support the company's core technology and business. The company's long-term development idea of "industry university research" has carried out in-depth cooperation with well-known professors from universities such as Hong Kong University, University of Electronic Science and technology, Sichuan University and Southwest Jiaotong University, ensuring the company's continuous innovation.

張景中/ 院士

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

張景中,中國科學(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ī)器證明、符號(hào)計(jì)算、智能軟件技術(shù)。

楊路,研究員,博士生導(dǎo)師,國家兩屆攀登項(xiàng)目“機(jī)器證明及其應(yīng)用”和“數(shù)學(xué)機(jī)械化的理論與研究”和國家兩屆973項(xiàng)目“數(shù)學(xué)機(jī)械化與自動(dòng)推理平臺(tái)”和“數(shù)學(xué)機(jī)械化及其在信息技術(shù)中的應(yīng)用”專家委員會(huì)委員,國家攀登項(xiàng)目“數(shù)學(xué)機(jī)械化的理論與研究”的首席科學(xué)家。國家兩屆攀登計(jì)劃、國家兩項(xiàng)863計(jì)劃、國家兩屆973計(jì)劃、國家自然科學(xué)基金以及中國科學(xué)院知識(shí)創(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年獲全國專利博覽會(huì)金獎(jiǎng),2003年獲全國“五一”勞動(dòng)獎(jiǎng)?wù)隆?/p>


張景中 楊路
Technician
亚洲爱爱液综合网| 色婷婷色国产精品一区在线观看| 亚洲综合精品V在线| 国产日本三级在线视频| 国产亚洲欧美日韩二三线| 欧美日韩久久久内射| 国产夫妻双方性生活视频| 调教网站日韩综合在线视频播放| 黑人大鸡吧插入视频| AV福利在现| yibendaoyiqv| 午夜免费福利在线最新| 日韩欧美一区二区黄色片| 欧美日韩精品一区二区三区视频播放| 91免费在线美女| 漂亮裸体美女张开双腿让男人捅 | 日本激情午夜| 日韩黄免费电影网站| 亚洲综合一区二手| 欧美一区不卡在线影院| 日韩精品加勒比| 玩操骚逼视频| 国产色婷婷五月一区二区| a欧美高清久久| 400部国产精品偷自产在线| 三上悠亚无码在线| 好吊妞51| 久久99狠狠| 久久国产精品免费精品| 妇女精品在线免费视频网站| 伊人综合视频| 亚洲亚成人视频| 伦理AV网在线| 三级毛片av日韩| 精品国产一区二区三区在线免费观看| 亚洲日韩中文一区| 台湾佬中文娱乐香蕉网| znl66一区二区| 日本免费久久Y视频| 亚洲人妖久久久久| 极品美女销魂A级视频|