模型验证作为一种形式化技术,已逐渐应用于软件系统可靠性验证.但对结构复杂的大规模软件的验证,由于状态空间爆炸往往会导致验证......

本文研究了模糊双向联想记忆网络的最大极限环长度。由于分解定理建立了模糊矩阵和布尔矩阵之间的桥梁，所以我们首先从布尔矩阵开始......

针对Android存在的特权提升攻击问题,提出了基于动态权限集的Android强制访问控制模型DP_Man-Droid.该模型首先分析强连通分支的权......

本文详尽讨论了有向循环图Ｇ（ｎ，ａ１，ａ２）存在哈密顿圈的充分必要条件，并揭示了其中哈密顿圈的组合结构。我们还构造了一个Ｏ（ｎ＾３）算法，当Ｇ（ｎ，ａ１，ａ２）为哈密顿图时，算法......

在L-fuzzy拓扑空间中引入了强连通的概念，证明了强连通的一些基本性质，并研究了强连通分支和乘积拓扑空间的强连通性，得到了一些好的......

有限随机系统状态迁移过程中对系统状态集的压缩,将系统分为两类随机子系统,由此建立该随机系统的商系统。在商系统中,根据不完整......