時(shí)間自動(dòng)機(jī)主動(dòng)學(xué)習(xí)算法研究進(jìn)展
【摘要】：
時(shí)間自動(dòng)機(jī)(timed automata, TA)是描述實(shí)時(shí)系統(tǒng)時(shí)間約束行為的重要形式化工具,廣泛應(yīng)用于嵌入式系統(tǒng)、通信協(xié)議等領(lǐng)域.傳統(tǒng)手動(dòng)構(gòu)建實(shí)時(shí)系統(tǒng)模型的方式耗時(shí)且易出錯(cuò),自動(dòng)推斷模型成為研究熱點(diǎn).本文聚焦時(shí)間自動(dòng)機(jī)主動(dòng)學(xué)習(xí)算法,按照數(shù)據(jù)存儲(chǔ)結(jié)構(gòu)...
|
|
| 中國(guó)期刊全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) |
|
|
|
|
|
|
| 中國(guó)期刊全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) |
|
|
|
|
|
|
| 中國(guó)期刊全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) |
|
|
|
|
|
|
| 中國(guó)期刊全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) |
|
|
|
|
|
|
| 中國(guó)期刊全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) |
|
|
|
|
|
|
| 中國(guó)期刊全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) |
|
|
|
|
|
|
| 中國(guó)期刊全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù)
|
|
|
|
|
|
|
| 中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) |
|
|
|
|
手機(jī)打開(kāi)
論文排版
快捷付款方式
訂購(gòu)知網(wǎng)充值卡
訂購(gòu)熱線
幫助中心