可达分析相关论文
复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入/输出对的匹配判断是代码语义搜索的主要方法之一,但......
人类对太空环境的不断开发与利用，使得空间航天器的数量持续增加，航天器的在轨服务需求日益迫切。为实现在轨服务，机动航天器需要到达......
网络应用已渗透到社会的各行各业,网民对网络安全的要求也日渐提高,网络安全逐渐成为了各界日益关注的焦点。网络应用的本质是软件......
设计了一个简单的压缩算法,并实现了一个基于压缩Petri网的安全性分析系统,实验结果表明此算法可急剧减少网的规模和验证时间.......
通过矩阵标准型的研究,把文献中交通网络最大路宽的讨论,从两点之间推广到整体结构上,为网络可达性的改善及其程度分析提供理论根......
