查询词典 monadic

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic Texts in Theoretical Computer Science.

中文参考译名：正式模型交流系统：语言，自动机，和一元二阶逻辑

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic Texts in Theoretical Computer Science.

An Eatcs Series 正式模型交流系统：语言，自动机，和一元二阶逻辑

Some methods of deciding the extreme values for the monadic functions and two-place functions were applied to decide the extreme values for the multivariate functions and then some effective methods of deciding the extreme values for the multivariate functions were presented.

将一元函数和二元函数极值的部分判别方法推广到多元函数极值的判别，提出了判定多元函数极值的几个方法。

It was argued that the developing trend of Chinese drama studies would be demonstrated as follows: the shift of focus from literature to performance; the switch form monadic evolution research to multivariate form comparison; the exploration of resources and data within a new perspective i...

此后 ，中国戏剧研究发展的趋向应表现为：从以文学为中心转入以表演为中心；从一元的进化研究到多元的形态比较；在新的视野中开辟资料库藏，实现文献学、考古学、民族学方法的结合。

According to the statistics about standard frost of the seasonal frozen soil area in China, it founds the relative mathematic model of standard frost and freezing index of the seasonal frozen soil area by the method on monadic regression analysis.

以我国季节冻土区关于标准冻深的统计资料为依据，用一元回归分析的方法建立季节冻土区黏性土标准冻深与冻结指数的相关关系的数学模型。

The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.

模态逻辑 S5，被看作 S4 中一个理论，是一元布尔代数的模型，如同模态逻辑 S4 是内部代数的模型。

In electronic payment system, it is more suitable to introduce the distributed electronic bank scheme in networks environment. However, in current scheme, the users obtain their cards issued by the bank in which they have opened their accounts and withdraw and store their e-coin at the bank. Due to limits of current network neckbottle and security, dispersed and mobile users in different areas, there are some defects in a practical monadic account e-bank scheme.

摘要在电子支付系统中，采用分布式电子银行方案更适合于网络运行环境，然而在现行的分布式电子银行方案中，每个用户局限在所开帐户的电子银行取得签发的Smart Card和提取或存储电子货币，由于网络的瓶颈作用和安全缺陷，以及用户所处地域的分散性和流动性等因素的限制、使得单一开户的银行方案在实际应用中其分布式特性并未充分得以发挥。

Using the Landsat Thematic Mapper data and the measured grass yield data,the monadic linear regression models and the non\|linear regression models were established,to express the relations between grassland biomass and the different vegetation indices.

通过陆地卫星TM遥感影像数据和同期野外调查数据，分析了植被指数与草地植被生物量之间的相关关系，建立了不同植被指数与草地生物量之间的一元线性回归模型和非线性回归模型。

CODcr ; BOD5; correlation ; monadic linear regression equation.

化学需氧量；生化需氧量；相关性；一元线性回归方程

Counting the "3 oxygen " and "3 nitrogen" data of the Dawangtan reservoir with the monadic linear regression method, by significance test of correlativity coefficient and regression coefficient, the author put forward the equation of correlativity significance tests.

运用一元线性回归对大王滩水库的&三氧&&三氮&资料进行统计，并经相关系数和回归系数显著性检验，得出相关性显著的方程，利用该方程可提高水质评价的准确性和监测效

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。