不可

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.

十诫规定禁止信仰或敬拜其他的「神」，不可造偶像，不可滥用神的名，不可在安息日工作，不可侮辱父母，不可杀人，不可犯奸淫，不可偷盗，不可说谎，不可贪婪。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。