- 更多网络例句与不可相关的网络例句 [注：此内容来源于网络，仅供参考]
-
One should spend reasonably, in proportion to his income, neither too much nor too little. He should not hoard wealth avariciously, nor should he be extravagant.
一个人用钱应该合理，并且跟他的收入成比例，不可浪费，也不可吝啬；不可处心积虑贪图财富，也不可挥霍奢侈。
-
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、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。
-
Firstly, it's proved that the base of free monoid is unique, and that the equation of a base, a generating set and a irreducible generating set in the semigroup with length; Secondly, it's given the relation of a primitive word and a word of indecomposable--Let and is indecomposable, then is primitive ;And by using the length's method and chart,some properties of primitive word have been proved and the solutions of the equation , are discussed; Lastly, on the base of some proposition in Free monoids and Languages ,the proofs of some properties are improved by instruction. For example: Let be a primitive word over X, where .Then is a code. And let then if and only if {} is a code.
首先，讨论了含幺半群中基的基本性质及基与最小生成元集的联系，并给出了含幺半群中基、生成元集、不可约生成元集三者之间的关系；证明了在有唯一长度的半群S中，不可约生成元集、基、最小生成元集三者之间的等价关系；其次，讨论了字的组合与分解性，得出了字的本原性与不可分解性之间的关系---若为不可分解的，则一定是本原的，反之，不一定真；并运用图示法证明了字的可补性理论，讨论了方程，的可解性；在此基础上，用归纳法进一步证明了本原字与码的有关命题--若是X上的一个本原字，其中，则是一个码；若则当且仅当{}是一个码。
-
Finally, after defining an evaluation module of the corresponding Loop superalgebra (Section 4), two major results of the paper -Theorem 4.land Theorem 4.2 are proved: Theorem 4.1 reduces the irreducibility of the tensor product of finitely many evaluation modules to the irreducibility of the tensor product of finitely many irreducible modules of a nilpotent Lie superalgebra; Theorem 4.2 gives a criterion for the tensor product of such modules to be irreducible.
第4节在定义了相应的Loop超代数的赋值模之后，证明了本文的两个主要结论：定理4.1和定理4.2。定理4.1将有限多个赋值模其张量积的不可约性归结为一幂零李超代数的限多个不可约模其张量积的不可约性；定理4.2利用不可约指标给出了一幂零李超代数的限多个不可约模其张量积仍不可约的判别准则。
-
And opposite, the downstream unsubstitutability's market enhancement , advantage of status of products strengthen the unsubstitutability and market advantage status. These forms of expression of limiting the competition behavior are as follows, utilize the market advantage position, set up and strengthen the barrier of the application program or operating system procedure barrier, utilize OEM to put the software and squeeze the rival in advance, discriminatory pricing policy, pairing unsalable up with goods that sell well or trussing up and sells the behavior , lures the ICP into adopting specific technology, and technology the can only in specific customer serve and function, with the way of trussing up with the ISP.The copyright ill-useing happens frequently .
软件产业中的不正当竞争行为大多都与软件著作权的滥用有关，并且通常与滥用市场优势地位结合在一起，既有横向限制竞争行为，又有纵向限制竞争行为，且以纵向限制竞争行为为主，常表现为一种产品的不可替代性、市场优势地位往往会加强其上、下游产品的不可替代性和市场优势地位，而相反，其上、下游产品的不可替代性和市场优势地位的增强又进一步强化这种产品的不可替代性和市场优势地位。
-
This paper clarifies intranslatability as phonetic and phonologic intranslatability, morphologic intranslatability, semantic intranslatability and cultural intranslatability. With a study on compensation and many examples, it analyzes concrete application of compensation in respective intranslatability.School of Foreign Languages, Beijing University of Aeronautics and Astronautics
文章从对不可译现象的分析入手，将不可译分为语音音韵的不可译、形态的不可译、语意的不可译和文化的不可译，并结合权威学者对补偿的分类和大量实例，详细分析了补偿针对各种不可译现象的具体应用。
-
This paper clarifies intranslatability as phonetic and phonologic intranslatability, morphologic intranslatability, semantic intranslatability and cultural intranslatability. With a study on compensation and many examples, it analyzes concrete application of compensation in respective intranslatability.
文章从对不可译现象的分析入手，将不可译分为语音音韵的不可译、形态的不可译、语意的不可译和文化的不可译，并结合权威学者对补偿的分类和大量实例，详细分析了补偿针对各种不可译现象的具体应用。
-
He is ungraspable, for he can not be grasped.
祂是不可捉取，因祂不可被捉取的；不毁坏，因祂是不可毁坏的；不可执著，因祂是不可攀缘的；无束缚，无所动摇，无所损伤。
-
These forbid trusting in or worshiping any other "god"; making any idol; using God's name carelessly; working on the Sabbath Day; dishonoring our parents; murder; adultery; theft; lying; covetousness.
十诫规定禁止信仰或敬拜其它的「神」，不可造偶像，不可滥用神的名，不可在安息日工作，不可侮辱父母，不可杀人，不可犯奸淫，不可偷盗，不可说谎，不可贪婪。
-
These forbid trusting in or worshiping any other "god"; making any idol; using God's name carelessly; working on the Sabbath Day; dishonoring our parents; murder; adultery; theft; lying; covetousness.
十诫规定禁止信仰或敬拜其他的「神」，不可造偶像，不可滥用神的名，不可在安息日工作，不可侮辱父母，不可杀人，不可犯奸淫，不可偷盗，不可说谎，不可贪婪。
- 更多网络解释与不可相关的网络解释 [注：此内容来源于网络，仅供参考]
-
incompressible：不可压缩,不可压缩的,不能压缩
incompressibilitymodulus不可压缩模量 不可压缩性系数 | incompressible不可压缩 不可压缩的 不能压缩 | incompressibleboundarylayer不可压缩边界层 不可压缩的边界层
-
incompressible flow：非圧縮性流体,不可压缩流动,不可压缩水流
incompressible energy equation 不可压缩能量方... | incompressible flow 非圧縮性流体,不可压缩流动,不可压缩水流 | incompressible fluid 不可压流体,不可压缩的流体,不可压缩流体,非压缩流法,非压缩...
-
indistinguishability：不可分辨性 不可区分性
indistinctness 不清晰度 模糊 | indistinguishability 不可分辨性 不可区分性 | indistinguishable 不可区别的
-
irreducible quadratic irrational number：不可约二次无理数
polynomial 不可约的多项式,不可约多项式 | irreducible quadratic irrational number 不可约二次无理数 | irreducible representation 不可约表示
-
irrecoverable creep：不可复蠕变
irrecoverable compliance 不可复柔量,不可回复柔量 | irrecoverable creep 不可复蠕变 | irrecoverable error 不可恢复的错误
-
irreducibility criterion：不可约判别准则,不可约性判别准则
irreducibility 不可约性 | irreducibility criterion 不可约判别准则,不可约性判别准则 | irreducible algebraic equation 不可约代数方程
-
irreducible algebraic equation：不可约代数方程
irreducibility criterion 不可约判别准则,不可约性判别准则 | irreducible algebraic equation 不可约代数方程 | irreducible cluster integral 不可约集团积分
-
irreducible polynomial：不可约的多项式,不可约多项式
irreducible phase 不可约相 | irreducible polynomial 不可约的多项式,不可约多项式 | irreducible quadratic irrational number 不可约二次无理数
-
irreducible polynomial：不可约的多项式,不可约多项式=>既約多項式
irreducible phase 不可约相 | irreducible polynomial 不可约的多项式,不可约多项式=>既約多項式 | irreducible quadratic irrational number 不可约二次无理数
-
unrecoverable error：不可校正错误,不可校正的错误
unrecorded tape 未录磁带 | unrecoverable error 不可校正错误,不可校正的错误 | unrecoverable transaction 不可恢复事务处理,不可恢复事项,不可恢复事项处理