国产真实精品久久二三区,一区二区三区特黄色片,国产精品久久久久伊人,亚洲精品在线在线观看

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é)會理事長
中國科學(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é)、距離幾何及動力系統(tǒng)等領(lǐng)域有貢獻(xiàn)。其成果1982年獲國家發(fā)明獎二等獎,1995年獲中科院自然科學(xué)獎一等獎和中國圖書獎,1997年獲國家自然科學(xué)獎二等獎,2003年獲全國科普創(chuàng)作獎一等獎、五個一工程獎和國家圖書獎,2005年和2009年兩次獲國家科技進(jìn)步獎二等獎。他提出了三角、幾何、代數(shù)相互滲透的初等數(shù)學(xué)教學(xué)體系;提出了非ε語言的極限概念表述和實(shí)數(shù)理論的連續(xù)歸納法;發(fā)現(xiàn)了不用極限或無窮小建立微積分的基本理論和方法。


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

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

楊路,研究員,博士生導(dǎo)師,國家兩屆攀登項(xiàng)目“機(jī)器證明及其應(yīng)用”和“數(shù)學(xué)機(jī)械化的理論與研究”和國家兩屆973項(xiàng)目“數(shù)學(xué)機(jī)械化與自動推理平臺”和“數(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é)一等獎。該成果是計(jì)算機(jī)自動推理這個計(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é)二等獎,2001年獲全國專利博覽會金獎,2003年獲全國“五一”勞動獎?wù)隆?/p>


張景中 楊路
Technician