Since 1978, the digital conference national team has continuously served the 12th to 19th National Congress of the Communist Party of China and the 6th to 13th National two sessions of the Communist Party of China for 40 years. It has successfully guaranteed the elections of nearly 30 provincial Party congresses, the "two sessions" and the Hong Kong and Macao Special Administrative Regions, ensuring the complete success of the election work.
It is mainly oriented to business fields such as government big data application and statistical big data application.
Build an intelligent manufacturing platform for manufacturing enterprises, build equipment interconnection, industrial collaboration and quality traceability, and help enterprises upgrade from automation and digitization to intelligence. The preliminary application demonstration in tobacco, petroleum, banknote printing and other industries has been completed.
Relying on the new generation of information technologies such as cloud, big, material and mobile, we use information and communication technology to perceive, analyze and integrate various key information of the urban operation core system, and build an urban service management platform to realize data collection, transmission, utilization and management. Make intelligent response to various needs including people's livelihood, environmental protection, public safety, urban services, industrial and commercial activities and urban transportation, so as to realize urban intelligent management and operation, so as to create a better and convenient urban life and promote the harmonious and sustainable development of the city.
Based on the medical industry, adhering to the development concept of "industry, University, research and application", we have long-term and in-depth cooperation with West China Hospital of Sichuan University and accumulated rich experience. At present, it has developed clinical ultrasound simulation teaching system, transesophageal echocardiography monitor, artificial intelligence anesthesia auxiliary system, medical equipment Internet of things intelligent management system, etc. the products have been successfully applied in three first-class hospitals in China and have begun to be popularized throughout the country.
It provides rich it solutions for tobacco, oil and gas, money printing and Minting, medical and other industries.
Chengdu Information Technology Co., Ltd. of Chinese Academy of Sciences is a high-tech listed company controlled by Chinese Academy of Sciences Holding Co., Ltd., which is transformed from Chengdu Institute of computer application, Chinese Academy of Sciences, founded in 1958. The company's main business is to provide information-based overall solutions, intelligent engineering and related products and technical services for government, tobacco, oil and gas, special printing and other industries with high-speed machine vision and intelligent analysis technology as the core.
1958Year
Founded in1978Year
The first electronic ballot box voter in China has been developed40Year
Digital conference system Continuous innovation300+
High end customers at home and abroadnFirst class technical team led by Academicians
張景中(zhōng),中(zhōng)國(guó)科(kē)學(xué)院院士,1959年畢業于北京大學(xué)數學(xué)力學(xué)系。從事計算機科(kē)學(xué)、數學(xué)和數學(xué)教育研究。《計算機應用(yòng)》期刊主編。在機器證明、教育數學(xué)、距離幾何及動力系統等領域有(yǒu)貢獻。其成果1982年獲國(guó)家發明獎二等獎,1995年獲中(zhōng)科(kē)院自然科(kē)學(xué)獎一等獎和中(zhōng)國(guó)圖書獎,1997年獲國(guó)家自然科(kē)學(xué)獎二等獎,2003年獲全國(guó)科(kē)普創作(zuò)獎一等獎、五個一工(gōng)程獎和國(guó)家圖書獎,2005年和2009年兩次獲國(guó)家科(kē)技(jì )進步獎二等獎。他(tā)提出了三角、幾何、代數相互滲透的初等數學(xué)教學(xué)體(tǐ)系;提出了非ε語言的極限概念表述和實數理(lǐ)論的連續歸納法;發現了不用(yòng)極限或無窮小(xiǎo)建立微積分(fēn)的基本理(lǐ)論和方法。
楊路,研究員,博士生導師,國(guó)家兩屆攀登項目“機器證明及其應用(yòng)”和“數學(xué)機械化的理(lǐ)論與研究”和國(guó)家兩屆973項目“數學(xué)機械化與自動推理(lǐ)平台”和“數學(xué)機械化及其在信息技(jì )術中(zhōng)的應用(yòng)”專家委員會委員,國(guó)家攀登項目“數學(xué)機械化的理(lǐ)論與研究”的首席科(kē)學(xué)家。國(guó)家兩屆攀登計劃、國(guó)家兩項863計劃、國(guó)家兩屆973計劃、國(guó)家自然科(kē)學(xué)基金以及中(zhōng)國(guó)科(kē)學(xué)院知識創新(xīn)項目等重大課題的負責人。主研項目《幾何定理(lǐ)機器證明理(lǐ)論與算法的新(xīn)進展》獲中(zhōng)國(guó)科(kē)學(xué)院自然科(kē)學(xué)一等獎。該成果是計算機自動推理(lǐ)這個計算機科(kē)學(xué)-數學(xué)交叉領域的多(duō)年難遇的重大成果,是國(guó)内外計算機科(kē)學(xué)界公(gōng)認的卓越成就,在計算機科(kē)學(xué)、數學(xué)、教育科(kē)學(xué)等各領域産(chǎn)生着深遠(yuǎn)影響并獲重要應用(yòng)。1997年獲國(guó)家自然科(kē)學(xué)二等獎,2001年獲全國(guó)專利博覽會金獎,2003年獲全國(guó)“五一”勞動獎章。