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

利用东海地区的重力资料 ,并参考在该地区进行的地震测深结果 ,应用线性公式估算了研究区的地壳厚度 ,分析了研究区地壳结构特征 ,......

Shipilrain和Ushakov提出了一种基于扭共轭问题的认证机制.通过分析其密钥生成过程,发现这种认证机制存在密钥安全问题.提出了一种......

回转窑是冶金、水泥、耐火材料生产中的核心设备,是一种重载、大扭矩、多支点、静不定运行系统,由于其载荷和刚度分布复杂、各支承......

#SMT问题是SMT问题的扩展,它需要计算一阶逻辑公式F所有可满足解的个数.目前,该问题已被广泛应用于编译器优化、硬件设计、软件验......