2024年香港今晚开奖结果查询,香港今期开奖结果号码现场直播 ,新澳门彩历史开奖记录走势图,属相婚配十二生肖年龄表

EN
Products and Solutions
Products and Solutions
  • Digital Conference
  • Smart government
  • Smart manufacturing
  • Smart City
  • Smart medical
  • Industry solutions
Digital Conference

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.

more
Smart government

It is mainly oriented to business fields such as government big data application and statistical big data application.

more
Smart manufacturing

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.

more
Smart City

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.

more
Smart medical

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.

more
Industry solutions

It provides rich it solutions for tobacco, oil and gas, money printing and Minting, medical and other industries.

more
News
News Center
About
about Us
中科院成都信息技術(shù)股份有限公司 - National Science and technology team controlled by the Chinese Academy of Sciences -

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 in

1978Year

The first electronic ballot box voter in China has been developed

40Year

Digital conference system Continuous innovation

300+

High end customers at home and abroadn
Expert team Expert team

First class technical team led by Academicians

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


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