1) first order system with equality
带等词的一阶系统
2) second-order language with the equality
带等词的二阶语言
1.
The Set of logically valid formulas in every second-order language with the equality is proved to be not recursively enumerable.
证明了任何带等词的二阶语言的逻辑有效公式集不是递归可枚举的
3) first order system
一阶系统
1.
The time constant of the solar collector was discussed based on the first order system.
该文在一阶系统基础上讨论了时间常数,提出了在集热器时间常数测量基础上,判定集热器与一阶系统的符合程度的方法。
2.
The whole ventilation system was adjusted to a first order system by a control function,then PRVC Ventilation was run by adaptive control.
在确保设置潮气量条件下,通过压力、流速、潮气量和时间的关系计算出最小吸气气道压,用控制函数将通气系统转化为一阶系统,继而采用自适应方法实现PRVC控制。
4) First-order system
一阶系统
1.
This identification simulation instrument is used for first-order system identification.
本辨识仿真仪用于一阶系统的辨识,被辨识的系统由仿真仪内部产生,用户通过设置时间常数、直流放大倍数来选定被辨识的系统,利用LabVIEW调用MATLAB脚本,通过MATLAB程序实现系统辨识。
5) First order Lagrange system
一阶Lagrange系统
补充资料：连昌宫词二首·阶
【诗文】：
草没苔封叠翠斜，坠红千叶拥残霞。
年年直为秋霖苦，滴陷青珉隐起花。
【注释】：
【出处】：
全唐诗：卷629-51
草没苔封叠翠斜，坠红千叶拥残霞。
年年直为秋霖苦，滴陷青珉隐起花。
【注释】：
【出处】：
全唐诗：卷629-51
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条