1) moda model
模态模型
2) multiple mode model
多模态模型
3) dynamic model
动态模型
1.
An optimal decoupling control system based on a linearized dynamic model applicable to tandem cold rolling mills;
基于线性化动态模型的冷连轧最优解耦控制系统
2.
On the dynamic model application to the fireball radiation consequence calculation;
火球热辐射后果计算动态模型的应用
3.
Portfolio in oilfield exploitation and development based on dynamic model;
基于动态模型的油田勘探开发项目的投资优化
4) dynamic mode
动态模型
1.
According to the dynamic process of development in film printing machine,the dynamic mode of the relation between the area of the already-developed film and the developer concentration was established.
根据印刷胶片冲洗机显影动态过程,建立了显影液浓度、显影剂氧化物浓度跟随已冲洗胶片面积变化的动态模型;分析了在一定条件下显影液浓度、显影剂氧化物浓度对印刷胶片显影质量的影响;综合两方面的结果,得出通过观察已冲洗胶片面积、调节补充液补充速度来控制印刷胶片显影质量方法。
5) Few-state model
少态模型
1.
The one-photon and two-photon fluorescence properties of W1-W3 have been investigated,meanwhile at density function theory level we have primarily studied W1-W3 in theory by using few-state model response theory methods.
设计合成了含咔唑基团的2,2′∶6′,2″-三吡啶衍生物W1~W3,运用核磁共振氢谱,核磁共振碳谱对目标化合物进行了表征;研究了W1~W3分子的单光子荧光和双光子荧光光谱,并在密度泛函理论水平上,利用少态模型对W1~W3分子进行初步理论研究,理论计算结果与实验结果得到较好的吻合,为寻找新型双光子材料进行了有益的探索。
6) steady-state model
稳态模型
1.
Decentralized identification of steady-state models for large-scale industrial processes and its strong consistency;
大工业过程的稳态模型分散辨识及其强一致性分析
2.
A steady-state model of air-cooled heat pump chiller is established.
建立了风冷热泵冷热水机组的稳态模型,并在试验台上进行了试验验证,系统在制冷和制热两种模式下运行,模拟值和试验值吻合良好,试验结果表明合理设计的过冷段换热器可以使冷凝器出口制冷剂产生一定的过冷度,并且在制热模式下融化一部分风侧换热器底部的结冰。
3.
A steady-state model was applied for the small-scale heat pump system.
本文针对使用板式换热器作为蒸发器和冷凝器的小型热泵,用分布参数的稳态模型完成了整个热泵系统运行过程的仿真研究。
补充资料：模态模型论
模态逻辑的模型论。特别是指量词模态逻辑即一阶模态谓词逻辑的模型论。它从属于模态逻辑的三个主要研究方向，即公理学、语义学和代数学方向之一的语义学方向。模态逻辑的关系语义学(又称关系模型论)一般公认是由S.A.克里普克开创的。他于1959年发表在《符号逻辑杂志》上的题为《模态逻辑的一个完备性定理》一文中首先提出了关系模型（或称关系语义解释）的概念,并证明了带量词的S5（在该文中记为S5*）相对于该关系模型概念为完备的；稍后又接连发表几篇论文对各种正规和非正规模态系统提出了相应的关系语义解释，即关系模型概念。
如同许多重要的数学概念一样。关系语义学的提出也并非克里普克一人的功劳。在他的前后若干年，有近10位逻辑学家彼此独立地，正式或非正式地提出了相近的或略有不同的语义概念。其中值得一提的有S.坎格尔和K.J.J.欣蒂卡二人。欣蒂卡在1961年和1963年两度提出的"模型集合"与克里普克的关系语义解释有异曲同工之妙；而坎格尔则在1957年就正式提出了与克里普克的关系语义几乎完全一样的语义概念。只是所用术语不同而已。
设L为古典一阶语言(见模型论)，作为非逻辑常项集合的L若在模态逻辑中考虑就成为一阶模态语言，此时不妨记作L◇(注意:L与L◇作为集合是完全一样的)。
所谓与语言L◇相应的模态结构U是指一个有序五元组〈W,A,凴,R,V〉。这里W 为一非空集合，其中元素称为"可能世界"。A为一非空集合,其元素称为"可能个体"。对于每个w ∈W,凴w为A的一个子集,R吇W×W为W上的二项关系，称为可达性关系。V（赋值）为定义在L◇上的函数，使得，对于L◇中的任一个体常量符号с，V(с)∈A，对于 L◇中的任一n元谓词符号F，n≥0，有V(F)吇W×An。
L◇中语句在W 的元素w 上的真定义象通常那样进行，所须注意的是：
第一，①w 喺с=d（式中с,d为L◇中的个体常量符号）,当且仅当V(с)=V(d);②(式中F是L◇中的任一n元谓词符号,с1,с2,...,сn为L◇的n个个体常量符号)，当且仅当,V(с1),...,V(сn)>∈V(F)。
第二，当且仅当w 喺φ(с)对L◇中的一切适合V(с)∈凴w 的个体常量符号с（假定每个可能个体均在L◇中有一个"名字"）。
第三，当且仅当存在某一可能世界υ∈W，适合〈w,υ〉∈R，使得v喺φ成立。
所谓语言L◇的一个模型,是指一有序偶 >，这里U为L◇的一个模态结构，而w 为U中的一个可能世界,即w ∈W。如果w 喺φ,则称语句φ在模型上为真，记作喺φ。
需要区分各种类型的模型（或结构）,(或U)称为T 模型（相应地，T 结构）,如果R为一自反关系；称为S4模型（相应地,S4结构），如果R为一自反和传递关系；称为S5 模型（相应地，S5 结构），如果R＝W×W，等等。
一结构称为具有常论域的。如果对于任意w ,υ∈W，均有凴w=凴v，也需要区分各种逻辑系统。量词逻辑系统 T、S4 和 S5等可以像G.E.休斯与M.J.克雷斯韦尔合著的《模态逻辑引论》(1972)书中所述的那样公理化，并且可以证明它们对于上面提到的相应的模型类为强完备的。设 l为一逻辑系统，那么lB就表示把公理模式(通称巴坎公式)加入l 而得的新系统。此时，量词系统TB、S4B 和S5B 等便对于以上提到的相应的具有常论域的模型类为完备的。
以上这些事实均是在60年代以来获得的，这些结果显然促使人们把古典模型论中的典型定理推广和移植到模态逻辑中去。自70年代中期以来，K.A.鲍恩在这方面作了大量的工作。他成功地把古典模型论中的许多重要结果推广和移植到模态逻辑中。他所著的《模态模型论》一书可以说是集大成的著作。但是他的这些工作却受到了另一位模态模型论专家K.范因的尖锐批评。这些批评主要有两点：①鲍恩的那些工作没有哲学意义；②古典模型论中的许多标准定理不能推广和移植过去。这些定理包括E.W.贝思的可定义性定理（从而也包括克瑞格型的内插引理）以及S.谢拉赫的关于初等等价模型具有同构的超幂的定理等。 范因已经证明对于包括量词逻辑S5及S5B 在内的许多模态谓词逻辑，贝特型可定义性定理(从而也包括克瑞格型内插引理)均不成立；同时还指出谢拉赫的上述定理对S5B成立，而对量词逻辑S5 则失败，象这样的否定性结果还不断地出现。范因认为模态模型论的首要任务是作出具有哲学意义的模型论结果，而推广和移植古典模型论的定理只有在能用来帮助建立这些有哲学意义的结果的时候才是可取的。范因在模态模型论中获得的一个重要结果就是:dere怀疑主义和反哈耶塞特主义至少对于一阶模态语言而论是重合的。范因曾指出，他的这一定理，从逻辑上讲是古典模型论中所谓的保存定理的一个例子。
应该指出的是，鲍恩所著的《模态模型论》一书中错误甚多,特别是其中的鲁宾孙型联合无矛盾性引理,克瑞格型内插引理和贝特型可定义性定理象范因指出的那样，均不成立。
参考书目
K.G.E.Hughes and M.J.Cresswell,An Introductionto Modal Logic,Methuen, London, 1968.
K.K.A.Bowen,Model Theory for Modal Logic,D.Reidel Pub. Co., Dordrecht-Holland, 1979.
如同许多重要的数学概念一样。关系语义学的提出也并非克里普克一人的功劳。在他的前后若干年，有近10位逻辑学家彼此独立地，正式或非正式地提出了相近的或略有不同的语义概念。其中值得一提的有S.坎格尔和K.J.J.欣蒂卡二人。欣蒂卡在1961年和1963年两度提出的"模型集合"与克里普克的关系语义解释有异曲同工之妙；而坎格尔则在1957年就正式提出了与克里普克的关系语义几乎完全一样的语义概念。只是所用术语不同而已。
设L为古典一阶语言(见模型论)，作为非逻辑常项集合的L若在模态逻辑中考虑就成为一阶模态语言，此时不妨记作L◇(注意:L与L◇作为集合是完全一样的)。
所谓与语言L◇相应的模态结构U是指一个有序五元组〈W,A,凴,R,V〉。这里W 为一非空集合，其中元素称为"可能世界"。A为一非空集合,其元素称为"可能个体"。对于每个w ∈W,凴w为A的一个子集,R吇W×W为W上的二项关系，称为可达性关系。V（赋值）为定义在L◇上的函数，使得，对于L◇中的任一个体常量符号с，V(с)∈A，对于 L◇中的任一n元谓词符号F，n≥0，有V(F)吇W×An。
L◇中语句在W 的元素w 上的真定义象通常那样进行，所须注意的是：
第一，①w 喺с=d（式中с,d为L◇中的个体常量符号）,当且仅当V(с)=V(d);②(式中F是L◇中的任一n元谓词符号,с1,с2,...,сn为L◇的n个个体常量符号)，当且仅当
第二，当且仅当w 喺φ(с)对L◇中的一切适合V(с)∈凴w 的个体常量符号с（假定每个可能个体均在L◇中有一个"名字"）。
第三，当且仅当存在某一可能世界υ∈W，适合〈w,υ〉∈R，使得v喺φ成立。
所谓语言L◇的一个模型,是指一有序偶
需要区分各种类型的模型（或结构）,(或U)称为T 模型（相应地，T 结构）,如果R为一自反关系；称为S4模型（相应地,S4结构），如果R为一自反和传递关系；称为S5 模型（相应地，S5 结构），如果R＝W×W，等等。
一结构称为具有常论域的。如果对于任意w ,υ∈W，均有凴w=凴v，也需要区分各种逻辑系统。量词逻辑系统 T、S4 和 S5等可以像G.E.休斯与M.J.克雷斯韦尔合著的《模态逻辑引论》(1972)书中所述的那样公理化，并且可以证明它们对于上面提到的相应的模型类为强完备的。设 l为一逻辑系统，那么lB就表示把公理模式(通称巴坎公式)加入l 而得的新系统。此时，量词系统TB、S4B 和S5B 等便对于以上提到的相应的具有常论域的模型类为完备的。
以上这些事实均是在60年代以来获得的，这些结果显然促使人们把古典模型论中的典型定理推广和移植到模态逻辑中去。自70年代中期以来，K.A.鲍恩在这方面作了大量的工作。他成功地把古典模型论中的许多重要结果推广和移植到模态逻辑中。他所著的《模态模型论》一书可以说是集大成的著作。但是他的这些工作却受到了另一位模态模型论专家K.范因的尖锐批评。这些批评主要有两点：①鲍恩的那些工作没有哲学意义；②古典模型论中的许多标准定理不能推广和移植过去。这些定理包括E.W.贝思的可定义性定理（从而也包括克瑞格型的内插引理）以及S.谢拉赫的关于初等等价模型具有同构的超幂的定理等。 范因已经证明对于包括量词逻辑S5及S5B 在内的许多模态谓词逻辑，贝特型可定义性定理(从而也包括克瑞格型内插引理)均不成立；同时还指出谢拉赫的上述定理对S5B成立，而对量词逻辑S5 则失败，象这样的否定性结果还不断地出现。范因认为模态模型论的首要任务是作出具有哲学意义的模型论结果，而推广和移植古典模型论的定理只有在能用来帮助建立这些有哲学意义的结果的时候才是可取的。范因在模态模型论中获得的一个重要结果就是:dere怀疑主义和反哈耶塞特主义至少对于一阶模态语言而论是重合的。范因曾指出，他的这一定理，从逻辑上讲是古典模型论中所谓的保存定理的一个例子。
应该指出的是，鲍恩所著的《模态模型论》一书中错误甚多,特别是其中的鲁宾孙型联合无矛盾性引理,克瑞格型内插引理和贝特型可定义性定理象范因指出的那样，均不成立。
参考书目
K.G.E.Hughes and M.J.Cresswell,An Introductionto Modal Logic,Methuen, London, 1968.
K.K.A.Bowen,Model Theory for Modal Logic,D.Reidel Pub. Co., Dordrecht-Holland, 1979.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条