The simplest normalform (SNF) plays an important role in researching into the dynamical characteristicof high co-dimensional system, such as the bifurcation and stability.
最简规范形在分析高余维非线性系统分岔及稳定性等动力学特性方面具有重要的研究价值。
2
An new concept of saturated conjunctive normalform is introduced and the nature of sat problem is studied for utilizing the characteristicof saturated conjunctive normalform.