| 1. | On the three types of logic forms of the nature of beauty
论美本质的三种逻辑形式 |
| 2. | On the application of legal principles in judicial process - on the logical form of legal reasoning
兼从法律推理的逻辑形式角度 |
| 3. | In mathematics , a form of logic in which the variable may assume a continuum of values between1 and0
数学中的一种逻辑形式，其中变量被认为是在0和1之间的连续值。 |
| 4. | It is regarded as a radical revolution against traditional philosophy in terms of its subject and logical form
无论它的研究对象和其逻辑形式，都是传统哲学的根本革命。 |
| 5. | 0233 if two objects have the same logical form , the only distinction between them , apart from their external properties , is that they are different
0233如果两个对象具有相同的逻辑形式，除了它们外在性质的差异之外，它们之间唯一的区别就是：它们是不同的。 |
| 6. | In this paper , a control method for discrete event systems ( des ) based on colored petri nets is proposed . the constrains with the forms of or - logic are enforced and all of the transitions in the net are permitted to be concurrent
本文提出的利用有色petri网控制离散事件系统的方法，不但实现了或逻辑形式的约束，而且允许petri网中的所有变迁都可以并发。 |
| 7. | And two questions are raised at the end of the chapter , which 1 found when i was observing and recording on the construction site , namely if the form from construction logic is the same as the form of architecture or not
并在结尾处列出了两个在观察和记录中发现的问题，即：建造的逻辑形式是否等价于建筑的形式?为什么计算机模拟的建造过程和个案的实际建造过程并不一致 |
| 8. | It is effective to synthesis a controller to satisfy the constrains with the forms of or - logic based on colored petri nets . however there is usually an assumption in the reported literatures that the transitions in the net are not concurrent
在已有的文献中，通过有色petri网来实现具有或逻辑形式约束条件的petri网控制器是非常有效的，但以往的文献通常假设petri网中的变迁是不能并发的。 |
| 9. | But by absorbing the reasonable viewpoint of eliminating the fact / value dichotomy , going in line with the standard of rational acceptability extended by humans ' ecological practice and being based on the analysis of the complex relations of fact and value in life community , rather than by following the traditional deductive model of justification we can create a way of justification with nonlinear thinking and integrative arguments , , and thus we can not only avoid " the naturalistic fallacy " , but also put forward a non - logical justification for ecological ethics
但通过吸纳社会领域消解事实与价值绝对二分的合理主张，并根据人类生态实践而扩展道德论证的可合理接受性标准，在分析生命共同体中事实与价值的复杂关系的基础上，创设一种非线性思维的综合论述的证明方式，而不是沿用传统的演绎模型的证明方式，就既可以避免“自然主义谬误” ，又能够对生态伦理学做出一种非逻辑形式的合理论证。 |
| 10. | After strict formal analysis with ban logic , the result have proved that the authentication protocol is secure . the improved access control scheme is realized by the mode of single - key - lock - pair . under new access control scheme , user can own several kinds of access right upon one file under the new scheme without the supposition that the access rights is increase by degrees , and the possibility of overflow problem is significantly reduced by our new method
作为对原双向认证访问控制方案的改进，改进后的双向身份认证协议可以很好的抵抗中间人攻击和重放攻击，经过严密的ban逻辑形式分析和论证，结果表明该协议是安全的；改进后的访问控制方案用单钥-锁对方案实现，除保持了一般单钥-锁对方案的良好动态特性外，在不需要访问权限递增假设下，实现了用户对文件的多种访问控制权限，并大大减小了溢出问题的发生可能 |
