力迫方法，力迫方法,lipo fangfa，方法,lipo,fangfa，[拼音]：lipo fangfa[外文]：forcing method一种构造公理系统的模型的方法。由P.J.科恩于1963年为证明连续统假设的否定 与ZF 相协调而提出，当时证明了 及等，其后D.S.斯科特及R.M.索洛韦发展了布尔值模型处理方法。J.R.休恩菲尔...
力法，力法,lifa，力法,lifa，[拼音]：lifa[外文]：force method以广义力为未知量求解静不定结构问题的一种方法。由于静不定结构具有多余约束，其广义未知力不能单由平衡条件求出。用力法求解静不定结构的要点是：求解时可把结构的多余约束去掉（去掉的约束数应等于结构的静不定度），并代之以相应的广义力，这些广义力称为多余未知力...