强连通分支相关论文
模型验证作为一种形式化技术,已逐渐应用于软件系统可靠性验证.但对结构复杂的大规模软件的验证,由于状态空间爆炸往往会导致验证......
本文研究了模糊双向联想记忆网络的最大极限环长度。由于分解定理建立了模糊矩阵和布尔矩阵之间的桥梁,所以我们首先从布尔矩阵开始......
针对Android存在的特权提升攻击问题,提出了基于动态权限集的Android强制访问控制模型DP_Man-Droid.该模型首先分析强连通分支的权......
本文详尽讨论了有向循环图G(n,a1,a2)存在哈密顿圈的充分必要条件,并揭示了其中哈密顿圈的组合结构。我们还构造了一个O(n^3)算法,当G(n,a1,a2)为哈密顿图时,算法......
在L-fuzzy拓扑空间中引入了强连通的概念,证明了强连通的一些基本性质,并研究了强连通分支和乘积拓扑空间的强连通性,得到了一些好的......
有限随机系统状态迁移过程中对系统状态集的压缩,将系统分为两类随机子系统,由此建立该随机系统的商系统。在商系统中,根据不完整......