1) multimodal system
多形式系统
2) polymorphic system
多形系统
3) system form
系统形式
1.
The system forms of how to carry out central heat supply and household heat metering for new residence are introduced.
从设计的角度阐述了新建住宅集中供暖分户热计量实施的几种系统形式 ,并进行比较 ,指出其优缺点。
2.
Describes the scope, standard and system form of clean system design, and also the related energy saving design.
探讨了生产原料发热量和CO2散发量、通风量的计算方法,空调末端系统形式,并举例进行说明。
3.
Proposes the classification method of the hot water heating system forms,presents the classification table and chart of system forms,and discusses the characteristic and application condition of different system forms.
提出了热水供暖系统形式的分类方法,列出了系统形式分类总表、系统形式图式,并对各种系统形式的特点及适用条件等进行了论述。
4) formal system
形式系统
1.
In this paper,we have given a novel kind of many-valued logic,GML 3 formal system is different from two-valued logic,and two-valued logic is degeneration of GML
给出了一种新的多值逻辑系统，公理化所得到的ＧＭＬ３形式系统与二值逻辑有本质的区别，二值逻辑是它的一个退化。
2.
Four kinds of expressions,that is,application expression,abstract expression,combination expression and selection expressions are studied in[2],and a formal system for the theory of expressions with arities is given in[1].
在 [1 ]所给出的Martin_L f表达式元性理论形式系统的基础上 ,通过引入所谓的引用表达式和协引用表达式的形式表示 ,对其进行了扩充 。
3.
In this paper, a propositional logic formal system is established by using the equivalent replacement as the only rule of inference,and by using commutative law, associative law, distributive law, absorption law and the law of excluded middle as axioms.
本文以等值置换为推理规则,以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统。
5) form system
形式系统
1.
The Space-Oriented Design (SOD) is derived from the fundamental researches of Spatial Form System (SFS).
面向空间设计的理论模型来源于对空间形式系统所作的基础性研究。
6) polynomial system
多项式系统
1.
Limit cycle to a class of polynomial systems;
一类多项式系统的极限环
2.
Existence and uniqueness of limit cycle for a class of planar polynomial system;
一类平面多项式系统极限环的存在唯一性
3.
Stability of equator for a class of 2n+1 degree polynomial system;
一类2n+1次多项式系统赤道环的稳定性
补充资料：形式系统
形式系统
fonnal system
形式系统[匆翻旧.邓加n;中叩Ma“a，c一c，Ma]，簿绎系统(deductj姆s声t巴n) 由构成表示式的规则以及在这个演算中构成推导(见逻辑推导(山d份血n，lo乡Cal))的规则给出的数理逻辑中的一种演算(。目c』‘).形式系统的表示式被看成是一些符号的纯粹形式的组合，而推导规则决定什么情况下形式表示式A能由另外一些表示式B，，…，凡演绎出来.当”一0时，A就称为兮浮(~m).推导是由形式表示式依据推导规则给出的一个序列，或树形图表.如果一个推导树形的顶点上只有公理，则位于这个推导末尾的一个形式表示式称为在这个形式系统中可推导的(山巧姐ble). 许多感兴趣的形式系统，其语言和推导都满足能行性(effectj、en已粥)要求.这就是说必须要有一个能行的程序来判定任意一个符号序列是否是这个形式系统的表示式.推导概念也必须满足同样的要求.但一般说来，在一个能行形式系统中，可推演的表示式这个概念不是能行的. 形式系统这个概念是数理逻辑中最核心的概念之一，它既适用于数理逻辑本身，也适用于数学的有关领域的需要. 最重要的一类形式系统是形式化某个有意义的数学分支的形式一阶理论(见【4」).历史上，这一类形式系统的出现与D.HUbert为给出数学的基础而作的计划有关(见形式主义(fom创ism)). 为研究形式系统而在数理逻辑中发展起来的概念和方法已经在数学的各个分支，例如群论和范畴论中得到应用. 亦见形式数学分析(fon们以In迢therr以ti司anal那is).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条