精品人妻区二区三区蜜桃-欧美妇女高潮高清喷水-欧美三级精品一区在线-视频成人在线免费观看

歡迎訪問中國科學(xué)院重慶綠色智能技術(shù)研究院!

科研進展

自動推理高效算法軟件包

時間: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)化等方面。