技术编号:7799998
提示:您尚未登录,请点 登 陆 后下载,如果您还没有账户请点 注 册 ,登陆完成后,请刷新本页查看技术详细信息。本发明给出一种,该方法首先将无线传感网软件用模型表示,该模型用来描述节点以及节点之间的状态迁移系统,然后用偏序简化算法对所得的软件模型进行优化,之后用时序逻辑公式来表示无线传感网软件所需要满足的属性或性质,将对无线传感网软件的验证转化为验证软件模型是否满足公式的问题。本发明方法能够用来优化无线传感网软件模型,有效缓解无线传感网软件模型检验中的状态空间爆炸问题。专利说明[0001]本发明涉及一种模型优化方法,主要利用模型检验技术来解决无线传感器网络软件的模型...
注意:该技术已申请专利,请尊重研发人员的辛勤研发付出,在未取得专利权人授权前,仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权,增加技术思路,做技术知识储备,不适合论文引用。