當(dāng)前位置：首頁 > 科技文檔 > 數(shù)學(xué) > 正文

基于強(qiáng)化學(xué)習(xí)的柱形代數(shù)分解變?cè)獡裥?/H1>
系統(tǒng)科學(xué)與數(shù)學(xué) 頁數(shù)： 24 2024-08-29
摘要： 柱形代數(shù)分解是半代數(shù)系統(tǒng)求解和實(shí)量詞消去的基本工具.實(shí)際求解過程中,不同變?cè)虻倪x擇對(duì)柱形代數(shù)分解的效率影響重大.目前已有的啟發(fā)式或機(jī)器學(xué)習(xí)擇序的方法基本都建立在多項(xiàng)式系統(tǒng)的支撐集是影響變?cè)虻臎Q定因素這一隱含假設(shè)上.文章首先通過設(shè)計(jì)同支撐集變系數(shù)的實(shí)驗(yàn)對(duì)這一假設(shè)進(jìn)行了檢驗(yàn),實(shí)驗(yàn)表明支撐集確實(shí)是影響最佳變?cè)虻闹匾蛩氐⒎俏ㄒ灰蛩?針對(duì)同支撐集變系數(shù)的柱形代數(shù)分解最佳擇序問題...

開通會(huì)員，享受整站包年服務(wù)立即開通 >

科技文檔
數(shù)學(xué) 力學(xué) 化學(xué) 金融 證券 保險(xiǎn) 投資 會(huì)計(jì) 審計(jì) 園藝 林業(yè) 旅游 體育 物理學(xué) 生物學(xué) 天文學(xué) 氣象學(xué) 海洋學(xué) 地質(zhì)學(xué) 新能源 金屬學(xué) 農(nóng)藝學(xué) 農(nóng)作物 管理學(xué) 領(lǐng)導(dǎo)學(xué) 自然科學(xué) 系統(tǒng)科學(xué) 資源科學(xué) 無機(jī)化工 有機(jī)化工 燃料化工 化學(xué)工業(yè) 材料科學(xué) 礦業(yè)工程 冶金工業(yè) 安全科學(xué) 環(huán)境科學(xué) 工業(yè)通用 機(jī)械工業(yè) 無線電子 電信技術(shù) 鐵路運(yùn)輸 汽車工業(yè) 船舶工業(yè) 動(dòng)力工程 電力工業(yè) 農(nóng)業(yè)科學(xué) 農(nóng)業(yè)工程 植物保護(hù) 動(dòng)物醫(yī)學(xué) 教育理論 學(xué)前教育 初等教育 中等教育 高等教育 職業(yè)教育 成人教育 自然地理 地球物理 經(jīng)濟(jì)統(tǒng)計(jì) 農(nóng)業(yè)經(jīng)濟(jì) 工業(yè)經(jīng)濟(jì) 交通經(jīng)濟(jì) 企業(yè)經(jīng)濟(jì) 文化經(jīng)濟(jì) 信息經(jīng)濟(jì) 貿(mào)易經(jīng)濟(jì) 財(cái)政稅收 市場(chǎng)研究 科學(xué)研究 互聯(lián)網(wǎng) 自動(dòng)化 輕工業(yè) 核科學(xué) 服務(wù)業(yè) 石油然氣 服務(wù)業(yè) 野生動(dòng)物 水產(chǎn)漁業(yè) 硬件 儀器儀表 航空航天 武器軍事 公路運(yùn)輸 水利水電 建筑科學(xué) 軟件