不可分的

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、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Based on the hypothesis of Brands, this thesis presents two off-line electronic cash system applied to small payment: one is an off-line nondivisible electronic cash system with complete anonymity, and the other is an off-line nondivisible electronic cashsystem with repealed anonymity. The two systems can solve the bottleneck problem of bank server. Furthermore, based on the concept of virtual debit as well as the payment demand of pay-per-use electronic commerce and mobile commerce, this paper designs a micro-system NPAY, which can solve the problem of extra-consuming, greatly reduce the system communication overhead, and the consumer can anonymously consume.

基于Brands假设，设计了两个适用于小额支付的离线电子现金系统：一个是具有完全匿名性的离线不可分电子现金系统，另一个是可撤消匿名性的离线不可分电子现金系统，这两个系统都较好地解决了银行服务器的瓶颈问题；针对即付即用(pay-per-use)类型电子商务和移动商务的支付需求，基于&虚借记&的概念，设计了一个微支付系统NPAY，较好地解决了消费者超额消费问题，系统的通讯开销也大大减少，并且消费者可以匿名消费。

Based on the hypothesis of Brands, this thesis presents two off-line electronic cash system applied to small payment: one is an off-line nondivisible electronic cash system with complete anonymity, and the other is an off-line nondivisible electronic cash'system with repealed anonymity. The two systems can solve the bottleneck problem of bank server. Furthermore, based on the concept of virtual debit as well as the payment demand of pay-per-use electronic commerce and mobile co mmerce, this paper designs a micro-system NPAY, which can solve the problem of extra-consuming, greatly reduce the system communication overhead, and the consumer can anonymously consume.

基于Brands假设，设计了两个适用于小额支付的离线电子现金系统：一个是具有完全匿名性的离线不可分电子现金系统，另一个是可撤消匿名性的离线不可分电子现金系统，这两个系统都较好地解决了银行服务器的瓶颈问题；针对即付即用(pay-per-use)类型电子商务和移动商务的支付需求，基于&虚借记&的概念，设计了一个微支付系统NPAY，较好地解决了消费者超额消费问题，系统的通讯开销也大大减少，并且消费者可以匿名消费。

However these you shall not eat: of those that only chew the cud or of those that only have a divided hoof: the camel, for though it chews the cud, it does not have a divided hoof; it is unclean to you.

11：4 但那反刍或分蹄之中不可吃的乃是这些：骆驼，因为反刍却不分蹄，对你们就不洁净

However, of those that chew the cud or that have a split hoof completely divided you may not eat the camel, the rabbit or the coney.

但那些倒嚼或是分蹄之中不可吃的乃是骆驼，兔子，沙番因为是倒嚼不分蹄，就与你们不洁净。

Nevertheless these shall ye not eat of them that chew the cud, or of them that divide the hoof: as the camel, because he cheweth the cud, but divideth not the hoof; he is unclean unto you.

11：4 但那倒嚼或分蹄之中不可吃的乃是骆驼，因为倒嚼不分蹄，就与你们不洁净。

Nevertheless, among those that chew the cud or part the hoof, you shall not eat these: The camel, because it chews the cud but does not part the hoof, is unclean to you.

但那倒嚼或分蹄之中不可吃的乃是：骆驼因为倒嚼不分蹄，就与你们不洁净

The monads are "substantial forms of being" with the following properties: they are eternal, indecomposable, individual, subject to their own laws, un-interacting, and each reflecting the entire universe in a pre-established harmony (a historically important example of panpsychism).

单子是&存在的实体形式&，它们有如下性质：他们是永恒的、不可分的、分立的、服从自身规律的、不相互作用的，每个单子都反映了先定和谐的整个宇宙。

Borrowing from Herbert Simon and also influenced by the ideas of existential phenomenologists such as Maurice Merleau-Ponty and Martin Heidegger, McClamrock suggests that man's condition of being-in-the-world ("Dasein","In-der-welt-sein") makes it impossible for him to understand himself by abstracting away from it and examining it as if it were a detached experimental object of which he himself is not an integral part.

借鉴Herbert Simon，受到存在主义现象学家梅洛-庞蒂（Maurice Merleau-Ponty）和海德格尔的影响，McClamrock提出了这样的看法：人的状况是&在世界之中存在&（&Dasein&，&In-der-welt-sein&），但人们却想采用了从这种状况中抽离出来并检验它的方法来理解他自己，就好像这种状态是一个被分开的经验性对象，对它来说他不是一个整合而不可分的部分，这是不可能成功的。

Nevertheless these ye shall not eat of them that chew the cud, or of them that divide the cloven hoof; as the camel, and the hare, and the coney: for they chew the cud, but divide not the hoof; therefore they are unclean unto you.

14：7 但那些倒嚼或是分蹄之中不可吃的乃是骆驼，兔子，沙番因为是倒嚼不分蹄，就与你们不洁净。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。