技術(shù)編號(hào)：7799998
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明給出一種，該方法首先將無線傳感網(wǎng)軟件用模型表示，該模型用來描述節(jié)點(diǎn)以及節(jié)點(diǎn)之間的狀態(tài)遷移系統(tǒng)，然后用偏序簡化算法對(duì)所得的軟件模型進(jìn)行優(yōu)化，之后用時(shí)序邏輯公式來表示無線傳感網(wǎng)軟件所需要滿足的屬性或性質(zhì)，將對(duì)無線傳感網(wǎng)軟件的驗(yàn)證轉(zhuǎn)化為驗(yàn)證軟件模型是否滿足公式的問題。本發(fā)明方法能夠用來優(yōu)化無線傳感網(wǎng)軟件模型，有效緩解無線傳感網(wǎng)軟件模型檢驗(yàn)中的狀態(tài)空間爆炸問題。專利說明[0001]本發(fā)明涉及一種模型優(yōu)化方法，主要利用模型檢驗(yàn)技術(shù)來解決無線傳感器網(wǎng)絡(luò)軟件的模型...
注意：該技術(shù)已申請(qǐng)專利，請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識(shí)儲(chǔ)備，不適合論文引用。