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