研究者为进行问题解决程序的相关研究，设计了许多模式，主要有______。