
截至2024年12月,重慶研究院現(xiàn)有創(chuàng)新人才隊伍近500人,其中各類專業(yè)技術(shù)人才近400人,包括國家級人才6人、中國科學(xué)院院級人才127人次、重慶市市級人才95人次;現(xiàn)有博士研究生導(dǎo)師37名,碩士研究生導(dǎo)師75名。在冊職工中92%具有研究生學(xué)歷,59%具有博士學(xué)位,45%具有海外留學(xué)或工作經(jīng)歷。人才隊伍以專業(yè)技術(shù)崗位為主(占88%),其中高級專業(yè)技術(shù)人員占比53%。
查看更多 +科學(xué)研究
科研進展
自動推理高效算法軟件包
時間:2014-03-30編輯:
成果簡介
針對計算機推理中著名困難問題——“多項式因式分解”和“代數(shù)方程組求解”,在世界上首次提出“近似計算獲得準(zhǔn)確值”的新思想,糾正了符號計算領(lǐng)域著名學(xué)者Sasaki的一個錯誤,以此設(shè)計了高效數(shù)值符號混合計算的因式分解算法。并且與國際著名符號計算軟件公司Maplesoft合作開發(fā)了多項式系統(tǒng)求解RegularChains軟件程序包,榮獲國際頂級會議ACM ISSAC最佳軟件獎。
功能、技術(shù)參數(shù)及優(yōu)勢
1. 與國際著名符號計算軟件Maple軟件相比較,對于其能夠分解的多項式,在時間上節(jié)約了上千倍;
圖一
2. 該算法可以快速完成次數(shù)高達(dá)10000000的多項式因式分解,而這是Maple等現(xiàn)有軟件不能完成的。
圖二
應(yīng)用領(lǐng)域
應(yīng)用于符號化簡、準(zhǔn)素分解、多項式系統(tǒng)求解、代數(shù)編碼、密碼學(xué)、生物系統(tǒng)的穩(wěn)定性分析,程序驗證及控制優(yōu)化等方面。
中國科學(xué)院重慶綠色智能技術(shù)研究院 版權(quán)所有京ICP備05002857號渝公網(wǎng)安備50010943035號