1) Cohen's forcing method
科恩的力迫方法
2) forcing
[英][fɔ:s] [美][fors]
力迫方法
1.
Applying forcing method, we show that both are consistent with ZFC, respectively.
用力迫方法证明了它们分别相对于ZFC协调。
3) Cohen-Coon method
科恩-库恩法
1.
Meanwhile according to the characteristics of the complexity and the precise model that is hard to be built in sewage treatment system,a Cohen-Coon method applied to calculate parameters was given,the result shows that .
同时,针对油田污水处理系统的复杂性和难以建立准确数学模型的特点,提出用科恩-库恩法来确定控制器的参数。
4) Modified Encke method
改进的恩克方法
5) Cohen-Coon algorithm
科恩-库恩算法
1.
An automatic control system is built for the high density slurry process for treating the acid sewage in Tongling Xinqiao Pyrite Mine by using PLC,inverter and Profibus,where Cohen-Coon algorithm is adopted for the control of the lime milk and flocculant dosage in the core link.
针对铜陵新桥硫铁矿酸性废水的高浓度泥浆法处理工艺,采用PLC、变频器、Profibus总线构建了自动化控制系统,其中对核心环节石灰乳和絮凝剂添加量的控制采用了科恩-库恩算法。
6) Kane method
凯恩方法
1.
The dynamic equations of the rover were built up by the Kane method.
利用凯恩方法建立了月球车的动力学方程,并提出了基于动力学模型的车轮计算力矩控制方案,利用MATLAB/Simulink完成了动力学模型和控制方案的仿真分析。
补充资料：力迫方法
给定一个 ZFC的可数可传模型M。想象一个外来物G，把 G加到 M上扩充成一个可数可传的M[G]，使得M[G]喺ZFC，M嶅M[G],G∈M[G],而且M[G]是具有这三条性质的最小的。在某种意义下,M[G]中的个体是可以由G经过在M中可定义的集论过程得到的。M[G]中的每一个体在M中就能讨论，知道G后,就知道M[G]的每一元。一般的情况下G唘M,但是G可以用M中的元素迫近。
为了在M中能讨论M[G]，给出一个有很多常量的新语言:令P为一偏序集,P∈M,M喺ZFC（ctm表示可数可传模型）；定义P-标号，然后令Mp｛τ∈M｜τ是P- 标号}。这些τ∈Mp可看作形式符号。把原来的语言L={∈}拓展成L=LU{τ:τ∈Mp}。这样的一个P 叫做一个力迫概念，L叫做T力迫语言,P中的元素叫做力迫条件。两个条件p,q,在偏序≤下,p≤q称作p比q强（此处由于历史因素造成了符号运用的倒置）。一个G吇P，若G是非空滤子，而且跟每一在M中的稠密子集D吇P有交，则称为在M上P-脱殊的。给定一个G，不论G∈M与否,可以定义一赋值,使每一τ∈Mp都有一解释τG。把所有新常量的G－解释收集起来成为语言L的一个结构M[G]{τG:τ∈Mp}。对L一句子ψ,ψ就是M[G]的一个断言，其真假视 G而定。对p∈P,ψ是L一句子，定义pψ（读作p力迫ψ）如下：若M喺ZFC，P是M中的一偏序集,P0∈P，则总有含有p0的、在M上P-脱殊的G吇P，而且当G是在M上P-脱殊的时候,上面所定义的M[G]喺ZFC，M[G]≥M，G∈M[G]。这样就从一个模型,扩张成另一个模型。应用不同的偏序集，可以得到一些附加公理（假设）在 M[G]中成立。相对协调性结果就可如此样得到。利用这种方法得到的相对协调性结果的数目已经相当可观了。
力迫方法的很多工作，包括上面那个主定理的证明都用到下面三条引理。
① 可定义性引理 上述的定义不是能行的。可用递归定义法得到 *,使给定p，ψ(τ),p*ψ(τ)对应于L中一T公式，而且pψ(τ)匔M喺(p*φ(τ))。
② 真理引理 对每一在 M上 P- 脱殊的 G 吇 P，M[G]=φ[τG]匔彐p∈G(pφ(τ))。
③ 稠密引理 对任一L一语句φ(τ),对每一p∈P，都有一比p强的条件q,q或力迫φ(τ)，或力迫塡φ(τ)。
以上是力迫的理论。如果想要一个满足 的模型,就想象一个从ω1到P（ω）的满射g。G中元素就是这个未知函数g的一些可数迫切。自然令这个P在M中可定义，P ∈M。用作偏序≤，因此任一在M上P-脱殊的G吇P是一相容函数集, 而且UG是ω1M 到PM(ω)的满射。 此处ω1M 是在M中看到的第一个不可数基数,PM(ω)是M中看到的全体ω的子集。可以由P的性质，证明在M[G]中没有多出ω的子集来，尽管M[G]确比M大。而且可以证明, 在M[G]中扮演着第一个不可数基数的角色的序数，就是刚才的 ω1M，所以M[G]中的函数UG（亦即原来的未知函数 g）, 就见证了有一函数，从M[G]认为是第一个不可数的基数，到M[G]认为是ω的全体子集上。即M[G]喺彐g（g是 ω1到P(ω)上的函数）从而M[G]喺，即M[G]喺CH。这不等于构造了一个CH的模型，而是由一个ZFC的可数可传模型M，得出一个2FC+CH的可数可传模型M[G]。
如果取P ={p ∈M|M喺|p|<ω∧p是函数∧dom p吇ω2×ω∧rangep 吇{0，1}}，用作≤，得到的扩张M[G]中至少有堗2个从ω到{0,1}的函数。从而M[G]喺ZFC+塡CH。
为了使在原来的M中作为基数的序数到了M[G]中保持不变，要对力迫概念,也就是偏序集,加上限制。在这个理论的发源期就提出来的有链条件和闭性质等，随着力迫理论方面的突破即迭代力迫的创立，以及J.鲍姆格特纳和S.谢拉赫等的正常力迫法的工作即除了又有许多命题的相对和谐性得到证明之外，提出来的相应的条件又促进了组合集论的发展。
为了在M中能讨论M[G]，给出一个有很多常量的新语言:令P为一偏序集,P∈M,M喺ZFC（ctm表示可数可传模型）；定义P-标号，然后令Mp｛τ∈M｜τ是P- 标号}。这些τ∈Mp可看作形式符号。把原来的语言L={∈}拓展成L=LU{τ:τ∈Mp}。这样的一个P 叫做一个力迫概念，L叫做T力迫语言,P中的元素叫做力迫条件。两个条件p,q,在偏序≤下,p≤q称作p比q强（此处由于历史因素造成了符号运用的倒置）。一个G吇P，若G是非空滤子，而且跟每一在M中的稠密子集D吇P有交，则称为在M上P-脱殊的。给定一个G，不论G∈M与否,可以定义一赋值,使每一τ∈Mp都有一解释τG。把所有新常量的G－解释收集起来成为语言L的一个结构M[G]{τG:τ∈Mp}。对L一句子ψ,ψ就是M[G]的一个断言，其真假视 G而定。对p∈P,ψ是L一句子，定义pψ（读作p力迫ψ）如下：若M喺ZFC，P是M中的一偏序集,P0∈P，则总有含有p0的、在M上P-脱殊的G吇P，而且当G是在M上P-脱殊的时候,上面所定义的M[G]喺ZFC，M[G]≥M，G∈M[G]。这样就从一个模型,扩张成另一个模型。应用不同的偏序集，可以得到一些附加公理（假设）在 M[G]中成立。相对协调性结果就可如此样得到。利用这种方法得到的相对协调性结果的数目已经相当可观了。
力迫方法的很多工作，包括上面那个主定理的证明都用到下面三条引理。
① 可定义性引理 上述的定义不是能行的。可用递归定义法得到 *,使给定p，ψ(τ),p*ψ(τ)对应于L中一T公式，而且pψ(τ)匔M喺(p*φ(τ))。
② 真理引理 对每一在 M上 P- 脱殊的 G 吇 P，M[G]=φ[τG]匔彐p∈G(pφ(τ))。
③ 稠密引理 对任一L一语句φ(τ),对每一p∈P，都有一比p强的条件q,q或力迫φ(τ)，或力迫塡φ(τ)。
以上是力迫的理论。如果想要一个满足 的模型,就想象一个从ω1到P（ω）的满射g。G中元素就是这个未知函数g的一些可数迫切。自然令这个P在M中可定义，P ∈M。用作偏序≤，因此任一在M上P-脱殊的G吇P是一相容函数集, 而且UG是ω1M 到PM(ω)的满射。 此处ω1M 是在M中看到的第一个不可数基数,PM(ω)是M中看到的全体ω的子集。可以由P的性质，证明在M[G]中没有多出ω的子集来，尽管M[G]确比M大。而且可以证明, 在M[G]中扮演着第一个不可数基数的角色的序数，就是刚才的 ω1M，所以M[G]中的函数UG（亦即原来的未知函数 g）, 就见证了有一函数，从M[G]认为是第一个不可数的基数，到M[G]认为是ω的全体子集上。即M[G]喺彐g（g是 ω1到P(ω)上的函数）从而M[G]喺，即M[G]喺CH。这不等于构造了一个CH的模型，而是由一个ZFC的可数可传模型M，得出一个2FC+CH的可数可传模型M[G]。
如果取P ={p ∈M|M喺|p|<ω∧p是函数∧dom p吇ω2×ω∧rangep 吇{0，1}}，用作≤，得到的扩张M[G]中至少有堗2个从ω到{0,1}的函数。从而M[G]喺ZFC+塡CH。
为了使在原来的M中作为基数的序数到了M[G]中保持不变，要对力迫概念,也就是偏序集,加上限制。在这个理论的发源期就提出来的有链条件和闭性质等，随着力迫理论方面的突破即迭代力迫的创立，以及J.鲍姆格特纳和S.谢拉赫等的正常力迫法的工作即除了又有许多命题的相对和谐性得到证明之外，提出来的相应的条件又促进了组合集论的发展。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条