合取范式CNF（Conjunctive Normal Form）的可满足性SAT（Satisfiability）问题是人工智能、计算理论和理论计算机科学中的最瞩目问题之一.......

近年来,随着科学技术的飞速发展,人类进入网络时代,社会传播现象随处可见。各类软件在各大应用平台宣传下载、各种时尚元素在大街......

研究了相变材料(冰)围绕水平圆柱,在有限长接触时的压力熔化过程.应用边界层理论和冰水的热物性求得熔化边界层厚度、作用力与熔化......

随着城市建设的不断发展，城市的经济贸易和社会交往的日益繁忙，城市交通进入了前所未有的快速发展期，传统的道路交通设施已经无法适应......

为了研究生物进化,Eigen (1971)引入了一个关于分子进化的动态理论-准生物种群模型。在这一模型中,有两个概念非常重要。一个是适......

本文首先构造了随机均匀产生的d-SAT问题的概率模型；然后给出了SAT问题的解的个数的均值的计算公式.使用矩方法研究了解空间的元素......