国产免费福利视频一区二区-精品国产91高清在线观看-亚洲精品国产一区二区三区四区-久久视频这里只精品3国产

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.

張景中/ 院士

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

張景中,中國(guó)科學(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年獲國(guó)家發(fā)明獎(jiǎng)二等獎(jiǎng),1995年獲中科院自然科學(xué)獎(jiǎng)一等獎(jiǎng)和中國(guó)圖書獎(jiǎng),1997年獲國(guó)家自然科學(xué)獎(jiǎng)二等獎(jiǎng),2003年獲全國(guó)科普創(chuàng)作獎(jiǎng)一等獎(jiǎng)、五個(gè)一工程獎(jiǎng)和國(guó)家圖書獎(jiǎng),2005年和2009年兩次獲國(guó)家科技進(jìn)步獎(jiǎng)二等獎(jiǎng)。他提出了三角、幾何、代數(shù)相互滲透的初等數(shù)學(xué)教學(xué)體系;提出了非ε語(yǔ)言的極限概念表述和實(shí)數(shù)理論的連續(xù)歸納法;發(fā)現(xiàn)了不用極限或無(wú)窮小建立微積分的基本理論和方法。


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

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

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


張景中 楊路
Technician