數(shù)字會(huì)議國(guó)家隊(duì),從1977年起,45年來(lái)中科信息電子選舉系統(tǒng)連續(xù)服務(wù)于黨的十二大至十九大、六屆至十三屆全國(guó)兩會(huì),成功保障了近30個(gè)省黨代會(huì)、“兩會(huì)”及港澳特別行政區(qū)選舉,確保了選舉工作圓滿(mǎn)成功,做到了萬(wàn)無(wú)一失。
主要面向政務(wù)大數(shù)據(jù)應(yīng)用及統(tǒng)計(jì)大數(shù)據(jù)應(yīng)用等業(yè)務(wù)領(lǐng)域。
構(gòu)建了制造企業(yè)的智能制造平臺(tái),打造從企業(yè)的設(shè)備互聯(lián)、產(chǎn)業(yè)協(xié)同、質(zhì)量追溯,助力企業(yè)從自動(dòng)化、數(shù)字化邁向智能化的產(chǎn)業(yè)升級(jí)。已完成在煙草、石油、印鈔等行業(yè)的初步應(yīng)用示范。
以云、大、物、移等新一代信息技術(shù)為依托,運(yùn)用信息和通信技術(shù)手段感知、分析、整合城市運(yùn)行核心系統(tǒng)的各項(xiàng)關(guān)鍵信息,并搭建城市服務(wù)管理平臺(tái),實(shí)現(xiàn)數(shù)據(jù)收集、傳輸、利用及管理。從民生、環(huán)保、公共安全、城市服務(wù)、工商業(yè)活動(dòng)、城市交通在內(nèi)的各種需求做出智能響應(yīng),實(shí)現(xiàn)城市智慧式管理和運(yùn)行,進(jìn)而創(chuàng)造更美好、便捷的城市生活,促進(jìn)城市的和諧、可持續(xù)發(fā)展。
立足醫(yī)療行業(yè),堅(jiān)持“產(chǎn)學(xué)研用”的發(fā)展理念,與四川大學(xué)華西醫(yī)院長(zhǎng)期深度合作,積累了豐富的經(jīng)驗(yàn)。目前已研發(fā)出臨床超聲模擬教學(xué)系統(tǒng)、經(jīng)食道超聲心動(dòng)監(jiān)護(hù)儀、以及人工智能麻醉輔助系統(tǒng)、醫(yī)學(xué)裝備物聯(lián)網(wǎng)智能管理系統(tǒng)等,產(chǎn)品已在多家全國(guó)一流的三甲醫(yī)院成功應(yīng)用,并已開(kāi)始向全國(guó)推廣。
面向煙草、油氣、印鈔造幣、醫(yī)療等多個(gè)行業(yè),提供豐富的IT解決方案。
中科院成都信息技術(shù)股份有限公司是由創(chuàng)立于1958年的中國(guó)科學(xué)院成都計(jì)算機(jī)應(yīng)用研究所整體轉(zhuǎn)制而來(lái),中國(guó)科學(xué)院控股有限公司控股的高科技上市企業(yè)。公司主營(yíng)業(yè)務(wù)是以高速機(jī)器視覺(jué)、智能分析技術(shù)為核心,為政府、煙草、油氣、特種印刷等行業(yè)提供信息化整體解決方案、智能化工程和相關(guān)產(chǎn)品與技術(shù)服務(wù)。
1958年
公司創(chuàng)立于1978年
研制出我國(guó)第一臺(tái)電子票 箱、表決器、會(huì)議報(bào)到機(jī)40年
數(shù)字會(huì)議系統(tǒng) 持續(xù)創(chuàng)新300多家
擁有國(guó)內(nèi)外高端客戶(hù)院士領(lǐng)銜的一流技術(shù)團(tuán)隊(duì)
張景中,中國(guó)科學(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年獲國(guó)家發(fā)明獎(jiǎng)二等獎(jiǎng),1995年獲中科院自然科學(xué)獎(jiǎng)一等獎(jiǎng)和中國(guó)圖書(shū)獎(jiǎng),1997年獲國(guó)家自然科學(xué)獎(jiǎng)二等獎(jiǎng),2003年獲全國(guó)科普創(chuàng)作獎(jiǎng)一等獎(jiǎng)、五個(gè)一工程獎(jiǎng)和國(guó)家圖書(shū)獎(jiǎng),2005年和2009年兩次獲國(guó)家科技進(jìn)步獎(jiǎng)二等獎(jiǎng)。他提出了三角、幾何、代數(shù)相互滲透的初等數(shù)學(xué)教學(xué)體系;提出了非ε語(yǔ)言的極限概念表述和實(shí)數(shù)理論的連續(xù)歸納法;發(fā)現(xiàn)了不用極限或無(wú)窮小建立微積分的基本理論和方法。
楊路,研究員,博士生導(dǎo)師,國(guó)家兩屆攀登項(xiàng)目“機(jī)器證明及其應(yīng)用”和“數(shù)學(xué)機(jī)械化的理論與研究”和國(guó)家兩屆973項(xiàng)目“數(shù)學(xué)機(jī)械化與自動(dòng)推理平臺(tái)”和“數(shù)學(xué)機(jī)械化及其在信息技術(shù)中的應(yīng)用”專(zhuān)家委員會(huì)委員,國(guó)家攀登項(xiàng)目“數(shù)學(xué)機(jī)械化的理論與研究”的首席科學(xué)家。國(guó)家兩屆攀登計(jì)劃、國(guó)家兩項(xiàng)863計(jì)劃、國(guó)家兩屆973計(jì)劃、國(guó)家自然科學(xué)基金以及中國(guó)科學(xué)院知識(shí)創(chuàng)新項(xiàng)目等重大課題的負(fù)責(zé)人。主研項(xiàng)目《幾何定理機(jī)器證明理論與算法的新進(jìn)展》獲中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng)。該成果是計(jì)算機(jī)自動(dòng)推理這個(gè)計(jì)算機(jī)科學(xué)-數(shù)學(xué)交叉領(lǐng)域的多年難遇的重大成果,是國(guó)內(nèi)外計(jì)算機(jī)科學(xué)界公認(rèn)的卓越成就,在計(jì)算機(jī)科學(xué)、數(shù)學(xué)、教育科學(xué)等各領(lǐng)域產(chǎn)生著深遠(yuǎn)影響并獲重要應(yīng)用。1997年獲國(guó)家自然科學(xué)二等獎(jiǎng),2001年獲全國(guó)專(zhuān)利博覽會(huì)金獎(jiǎng),2003年獲全國(guó)“五一”勞動(dòng)獎(jiǎng)?wù)隆?/p>