任一
- 与 任一 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Reassigning any task would bring some changes to the pipeline performance, and the range of the increased performance was called task priority.
改派任一任务都会使流水线的性能发生变化,性能提高的幅度被称为任务优先级。
-
Mix and match any of the above, or, using materials from the second part of our course,"Reformulating Race: Making and Remaking the Idioms of Science," develop your own topic.
利用上述任一题重新搭配组合,或使用课程第二部份的阅读资料(「种族的再形成:形成和再制科学术语」)自订主题申论之。
-
You can castle with either of the rooks as long as these special conditions are met.
您可以城堡内的任一rooks只要这些特殊条件得到满足。
-
There are a Secretary-General and several Vice Secretaries-General.
贸仲委在组织机构上实行委员会制度,设主任一人,副主任若干人,委员若干人;秘书长一人,副秘书长若干人。
-
Now in shrined that the United Nation's declaration on human rights, the rights to be t reated with dignity, the rights to express one's opinions, to choose one's own leaders, to associate freely with others and to wash up or not freely however one chooses.
这些权利不是美国的权利或欧洲的权利或发达国家的权利,而是任一个地方人民与身俱来的,现已被神圣地载入联合国人权宣言的权利,即被他人尊重的权利,表达自己意见的权利,选择自己领导人的权利,自由结识的权利以及个人宗教信仰自由的权利。
-
Agreements of the parties, superseding any and all prior written and oral agreements and there are no other terms
件至此构成双方的整个合约,代替其中任一和所有之前的书面协定和口头协定,并且除此合约中包含的内容之外没有其他条款、条件或义务。
-
The ratio of the well-testing data is used and the reliability of the analysis results can be also increased. The well pressure of a swabbing producing well can be calculated with this new model as well.
同时,利用该理论还可计算抽汲过程中任一时刻的井底压力和关井时刻的井底压力,解决了抽汲井难以计算关井时刻井底压力的问题。
-
The main results are:In logic system ,G,tautologies can not be get by using upgrade algorithm to non tautologies within finite many times;In logic system G n,tautologies can be get by using upgrade algorithm to an arbitrary formula of F at most n times; Congruence partitions about on F have been given in logi...
主要结果是:在逻辑系统 G,G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统 Gn 中,对任一公式最多进行 n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在 G,G,Gn 中给出了 F的一个关于同余的分划。
-
The main results are:In logic system r,G r, tautologies can not be get by using upgrade algorithm to non tautologies within finite many times; In logic system S n , tautologies can be get by using upgrade algorithm to an arbitrary formula of F at most n times; Congruence partitions about ...
主要结果是:在逻辑系统 Gr,Gr 中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Sn 中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α矛盾式概念分别在 Gr,Gr,Sn 中给出了F的一个关于同余的分划。
-
Two complemented lattices L_1, L_2 are said to be of the same "type" if they have identical sets of tautologies.
一个具有最小元O及最大元I的格L,如果在其中又定义了一个单值的1元运算&′&能适合O′=I,I′'=O,则称L为一可补格,一个命题演算良构式A(设只含命题连接词A,V,~),如果命它的变数在L中任意取值且将A,V,~分别解释为L中的运算∩,U,′时,A永远得到值I,则称A为L上的恒I式,当两个可补格L_1,L_2上的恒I式集相同时,称L_1,L_2为同型的,本文就是讨论可补格按同型关系分类的问题,所得结果如下:定理设有限可补格L_2适合条件:,存在一良构式A能使则任一可补格L_1与L_2同型的一个充分必要条件是:(A_1)。
- 推荐网络例句
-
The split between the two groups can hardly be papered over.
这两个团体间的分歧难以掩饰。
-
This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.
这种做法不仅鼓励了更多的反应,而且减少跟风的可能性。
-
The new PS20 solar power tower collected sunlight through mirrors known as "heliostats" to produce steam that is converted into electricity by a turbine in Sanlucar la Mayor, Spain, Wednesday.
聚光:照片上是建在西班牙桑路卡拉马尤城的一座新型PS20塔式太阳能电站。被称为&日光反射装置&的镜子将太阳光反射到主塔,然后用聚集的热量产生蒸汽进而通过涡轮机转化为电力