亚洲综合图,树大招风汉语普通话版,free性hd性娇小丰满

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.



張景中/ 院士

中國科學院院士
計算機學科和數(shù)學學科博士生指導教師
中國科普作家協(xié)會理事長
中國科學院成都計算機應用研究所名譽所長

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

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

中國科學院大學教授
計算機軟件與理論博士生導師
主要研究：計算機自動推理及機器證明、符號計算、智能軟件技術。

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

張景中楊路