基于模型的网构软件可达性检测方法研究
- 详情
- 2021-04-27
- 简介
- 1.8MB
- 页数 11P
- 阅读 55
- 下载 39
针对网构软件(Internetware)可达性检测中存在状态空间\"爆炸\"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上来;通过建立网构空间到线性空间映射,把网构线性相关判定问题转化成齐次线性方程组非零解的判定上来.转换过程把线性相关的网构进行压缩,从而有效地抑制了状态空间的增长.给出了可达性检测算法,并讨论了该方法的实际应用.
对不起,您暂无在线预览权限,如需浏览请
立即登录热门商品
相关推荐
基于模型的网构软件可达性检测方法研究 1.8MB
基于模型的应用软件的静态检测方法研究 1.7MB
基于GIS网络分析的小城镇就医可达性研究 2.1MB
基于GIS的城市道路网可达性评价 1.0MB
城市轨道交通网络可达性研究及应用 1.7MB
城市轨道交通网络可达性研究及应用 2.3MB
基于决策树模型的策略冲突检测方法 255KB
荷兰铁路车站可达性研究 475KB
基于云模型与决策树的入侵检测方法 1019KB
基于多级去噪模型的路面裂缝检测方法 471KB