循环不变式,loop invariant英语短句,例句大全

循环不变式,loop invariant
1)loop invariant循环不变式
1.Automatic generation of non-linear loop invariants;非线性循环不变式的自动生成
2.A discussion about loop and loop invariant;关于循环与循环不变式的讨论
3.PAR method and loop invariants'category theory semanticPAR方法和循环不变式的范畴语义

英文短句/例句

1.PAR method and loop invariants'category theory semanticPAR方法和循环不变式的范畴语义
2.An Approach to Creating Loop Invariant Based on Gene Expression Programming利用基因表达式编程自动生成循环不变式
3.The Research and Application of New Strategies for Developing Loop Invariants on Recursive Problem;递归问题循环不变式开发新策略的研究与应用
4.forced-oil transformer强制油循环式变压器
5.The Change of Thyroid Hormone during and after Cardiopulmonary Bypass in Different Heart Operation;体外循环下不同术式甲状腺激素水平的变化
6.circulation cascade级联循环, 阶式循环
7.water cooled forced-oil transformer水冷强制油循环式变压器
8.Changing Increasing Form,Promoting Cycling Economy Development;改变增长模式促进我省循环经济发展
9.Measure and Analyses of Pump Energy Consumein of Variable Frequency Water System闭式循环水系统的变频水泵能耗测试
10.Improve Transition of Economic Developing Pattern Based on Reculareconomy发展循环经济促进经济发展方式转变
11.FOR-Loop variable '%s' cannot be passed as var parameterFOR循环变量'%s'不能作为参数传递
12.THE OFF-DESIGN PERFORMANCE OF OPEN CYCLE ABSORPTION HEAT TRANSFORMER开式循环吸收式热泵系统变工况性能研究
13.Applications of power circular inequality and its dual inequality;加权循环不等式与其对偶不等式及其应用
14.The cycle is repeated: the brain rests, then it becomes active, then dreaming occurs. This cycle is repeated several times throughout the night.循环不断重复：大脑休息，然后变的活跃，做梦。一夜，循环重复很多次。
15.ANALYTICAL FORMULAS OF AN IRREVERSIBLE,CLOSEDCYCLE, SIMPLE SOLAR BRAYTON PLANT太阳能驱动闭式不可逆布雷顿循环性能解析式
16.PERFORMANCE OF THEORETICAL RECYCLING OF WATER/DEG ABSORPTION HEAT PUMP水/二甘醇吸收式热变换器理论循环的性能分析
17.Power density performance of a regenerated Brayton cycle coupled to variable-temperature heat reservoirs变温热源回热式布雷顿循环的功率密度特性
18.Analysis and Calculation of Tooth Shape for Recirculating Ball Type Variable-Ratio Steering Gear变速比循环球式转向机的齿形分析与计算

相关短句/例句

loop invariant循环不变量<不变式>
3)Circular Inequality循环不等式
1.New Generalization of Radon Inequality and the Application to the Generalization of Circular Inequality;Radon不等式的新推广及其对循环不等式推广的应用
2.Applications of power circular inequality and its dual inequality;加权循环不等式与其对偶不等式及其应用
4)Invariants ring不变式环
5)Recursive invariant subspace循环不变子空间
1.Recursive invariant subspace is one of the important mathematic tools used in control science and signal processing theory.循环不变子空间是常用于控制科学和信号处理理论的重要数学工具之一。
6)loop invariant computation循环不变量计算