欧美精产国品一二三产品测评,免费无码又爽又刺激高潮视频,被强到爽的邻居人妻2,熟女av,青青河边草电视剧免费全集完整版第一集

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.

張景中/ 院士

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

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


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

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

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


張景中 楊路
Technician