查询词典 equational

There are three motheds generally: to seek equational solutions to analysis;to seek the numerical solutions of equtions; solutions qualitative analysis.

本文第四章中运用定性分析的方法研究了一类四阶时滞微分方程解的无条件稳定性。

The equational restrictions are power flow equations with load coefficients, the power of all the nodes increase synchronously.

本文以分岔分析法为理论基础，将电压稳定的裕度指标加入到无功优化中，提出了考虑电压稳定裕度的无功优化模型。

Ground of our country farming lives as a result of what assuming a farmer safeguard function, what bring about land access necessarily is equational.

我国农地由于承担着农民的生存保障功能，必然导致土地使用权的均分。

During the calibration, a regress-analyse method is used to get the weight of the different channel based on equational coefficient, the weight represents the sensitivity of each channel.

为了提高测量的可靠性和精确性，对9通道数据同时采集，在测试标定时采用回归分析方法，根据灵敏度得到不同通道的权值。

The article passes equational to Feixue generalization abstraction, economy growth and current rate are contacted together cheek by jowl, got current equation.

本文通过对费雪方程式的一般化抽象，将经济增长与流通速度紧密联系在一起，得到了流通方程式。

In them, there are the equational characterization of residuated lattices and regular residuated lattices. This shows that the classes of all residuated lattices and all regul...

本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系。

In study of equational data on bipolar disorders, the application of linkage analysis was limited, but the results of else three statistical models were similar. They all suggested that the relation between DRD2P or COMT and bipolar disorders had no significance.

在平衡数据的双相情感性精神障碍家系资料致病基因位点的研究中，连锁分析的应用受到限制，而其它三种统计模型的结果一致，DRD2P和COMT基因位点与疾病的关系均无统计学意义，但随着样本含量的增大，广义估计方程表现了一定的优势。

Compareing with the zonal wind at 30 hPa and 50 hPa, the new index shows its excellent performance with the closer association of variation in the new index with the equational temperature in stratosphere.

另外新的指数相对于比较常用的单层的30 hPa和50 hPa纬向风能够更加好的反映出平流层中低层以及平流层高层的温度的变化。

ManTa - ManTa is an equational specification language and tools to support it: theorem prover, code generators, frontends.

ManTa是一个方程式说明语言和工具，支持它需要：理论证明，代码生成，前端。

The Coq functions implementing the compiler are first-class citizens of Coq's logic and can be reasoned on directly by induction, simplifications, and equational reasoning.

实现编译器的Coq函数是Coq逻辑的"头等公民"，可以直接采用归纳、化简和等式推导等方法证明。

If you were not , and OS X just booted normally, have no fear.

如果你没有，和OS X刚刚启动通常，没有恐惧。

I only want to preserve our all .

我只想保存好我们的一切