不超过
- 与 不超过 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
The 1878 Act reads, Whoever, except in cases and under circumstances expressly authorized by the Constitution or Act of Congress, willfully uses any part of the Army or Air Force as a posse comitatus or otherwise to execute the laws shall be fined under this title or imprisoned not more than two years, or both.
1878年该法案的内容是,谁的情况除外,并根据情况的明确授权,由宪法或国会法案,就可以使用任何部分的陆军或空军作为一个波塞comitatus或以其他方式来执行法律的规定者,处根据这个称号或监禁不超过两年,或两者兼而有之。
-
Most were no more than a day or two separated and protected one of the Qin routes to the newly incorporated territories further south in Nanhai commandery.
最多不超过一两天,分离和保护之一秦路线新纳入领土再往南南海commandery。
-
The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.
二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究,证明了LP中任何一个格值逻辑公式等值于一个广义合取范式; 2、对LP中不可分极简式的判定方法进行了研究,讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件; 3、对LP中不可分极简式的α-归结域进行了研究,得到了一些基本结果; 4、对经典逻辑中基于归结原理的自动推理方法进行了研究,给出了用符号矩阵表示子句集合的一种方法,把不同的归结过程转换成矩阵的列变换。
-
One research institute has integrated GEN2000 into its infrared simulating package, and computed spatial distribution of infrared properties from one real high-speeded engine exhaust system, the results were compared with experimental data. Through comparation we can see: relative error between computational and experimental results is less than 30%, the spatial distribution of infrared properties is basically accord.
某研究所将本文设计的计算程序GEN2000合成到其红外模拟软件包中,计算了某型实际发动机高速排气系统红外辐射特性的空间分布,并与发动机试车实测数据进行了分析比较,结果表明:计算结果与实测结果的最大相对误差不超过30%,红外辐射的空间分布基本一致。
-
Compulsory Mixer, plastic concrete mixing time usually does not exceed the time table.
强制式搅拌机搅拌塑性混凝土时搅拌时间一般不超过表中时间。
-
Informally, a concurrent program is one that does more than one thing at a time.
非正式的并行程序是一个不超过一件事的时间。
-
DMCA constructed a MCDS for Ad hoc networks based on a maximal independent set. In DMCA, each node only required the knowledge of its one-hop neighbors and there existed only one shortest path connecting two dominators these were at most three hops away.
DMCA基于最大独立集的构建,只需要周围一跳邻居的信息,在不超过三跳距离的一对支配节点之间找出一条最短路径。
-
For the np-hard problem of constructing minimum connected dominating set in ad hoc networks, this paper proposed a novel distributed mcds constructing algorithm called dmca. dmca constructed a mcds for ad hoc networks based on a maximal independent set. in dmca, each node only required the knowledge of its one-hop neighbors and there existed only one shortest path connecting two dominators these were at most three hops away.
摘 要:针对无线自组织分组网络中最小连通支配集创建np难问题,提出了一种分布式的最小连通集创建算法dmca.dmca基于最大独立集的构建,只需要周围一跳邻居的信息,在不超过三跳距离的一对支配节点之间找出一条最短路径。
-
That is as long you consolidate your debt without exceeding the 35% limit, you're fine.
这是只要你巩固你的债务不超过35 %的限制,您的罚款。
-
The two consortia registered capital not more than, and if large-scale industrial investment, is a large need for external matching funds.
两个联营注册资本不超过,如果大规模的工业投资,是一个需要大量的外部配套资金。
- 推荐网络例句
-
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塔式太阳能电站。被称为&日光反射装置&的镜子将太阳光反射到主塔,然后用聚集的热量产生蒸汽进而通过涡轮机转化为电力