技術(shù)編號：6545325
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明提出，該方法首先將無線傳感網(wǎng)軟件用模型表示，該模型用來描述節(jié)點以及節(jié)點之間的狀態(tài)遷移，然后用粒子群算法對所得的軟件模型進(jìn)行優(yōu)化，在具體實施總可以時序邏輯公式來表示無線傳感網(wǎng)軟件所需要滿足的屬性或性質(zhì)，將對無線傳感網(wǎng)軟件的驗證轉(zhuǎn)化為驗證軟件模型是否滿足公式來判斷系統(tǒng)性質(zhì)。本發(fā)明方法通過對可達(dá)性驗證路徑的優(yōu)化，能夠有效地對傳感器網(wǎng)軟件進(jìn)行可達(dá)性驗證，并保持具有較強(qiáng)的靈活性。專利說明[0001]本發(fā)明涉及一種傳感器網(wǎng)絡(luò)軟件可達(dá)性驗證方法，主要利用模型檢驗技...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。