可满足性问题（Satisfiability Problem，简称SAT）是计算机科学的中心问题之一，也是第一个被证明的NP-完全问题，并且是一大类NP-完全问题......

环是布尔网络状态转换过程中的稳定态,在模式检测、基因调控网络和可达性分析等领域都有重要的意义。计算布尔网络状态转换中的所......

行为、事件具有实时关系的软件或硬件系统构成了实时(计算)系统。在交通控制,航空航天等一系列对安全性要求极高的应用领域,实时系......