搜索空间划分相关论文
隐蔽信息流检测是开发高等级安全系统必须解决的关键问题，也是证明系统可信性的重要组成部分。隐蔽信息流存在的根本原因是，系统的安......
在应用模型检测于工业系统时,状态空间爆炸仍然是一个主要的障碍.基于抽象的方法在克服状态空间爆炸方面取得了很大的成功.提出一......
隐蔽信息流检测是开发可信计算机系统中的关键问题,而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级......
针对遗传算法中早熟收敛和容易陷入局部收敛的问题，提出优化搜索空间、遗传算法算子的一些改进策略，即利用搜索空间划分实现优良等位......
