逻辑上的

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

This paper studies the concept and key facts of the enterprises' autonomous technological innovation, then it constructs a model of the key factors' conduction mechanism according to the logic of the SCP structure, finally it analyses the innovation path of china's enterprises and suggests that under the resources constraint, the feasible solution of china's enterprises is congregating resources to capture the subdivide market, then taking this as the chance, realizing the transformation from partial breakthroughs to overall rising by technology accumulation.

本文在现有研究的基础上，研究了自主技术创新的概念及其关键因素，然后按照战略－行为－绩效的逻辑关系，构造了关键因素间的传导机制模型，对我国企业自主创新的路径进行分析，认为在资源约束下，我国企业的可行途径应是通过资源集聚，占领细分市场，保证技术和市场的良性互动，然后以此为契机，通过技术积累实现由局部突破向全面崛起转化。

Though early Baudrillard's thought was in the influence of Western Marxism, and his analysis was anchored in Marx's logic of production, he thought that when the era of consumer was coming, the modern Capitalism had been controlled by code, and the external manipulation of power had transmitted into introjection of unconsciousness.

虽然早期鲍德里亚的思想在总体上处于西方马克思主义的理论框架中，并且将马克思的生产逻辑作为自己分析的理论基础，但他又认为随着消费社会的来临，现代资本主义社会已经被符码所操控，外在的权力操控转变为无意识层面的自我投注。

Based on elucidating the definition of discretion of Judger and it's regulation meaning, the author firstly analyzed the necessity of discretion of the judge: the recapitulation and universality of law, the lag and limit of law, the judgement of judicature, all requiring discretion to some extent; then the author analyzed the logic and path from which the rent-seeking applied to the discretion of the judge, and pointed out that the technicality of justice was the premise of rent-seeking for the discretion of judge while Principal-Agent theory was an important cause for rent-seeking.

摘 要：在阐释法官自由裁量权及其规制蕴含意义的基础上，首先分析了其应然性：法律的概括性与普遍性、法律的滞后性与局限性、司法的判断性都要求一定程度的自由裁量权；接着分析了寻租理论适用于自由裁量权的逻辑与路径，指出司法的专门性是自由裁量权寻租的前提条件，而委托代理理论是权力寻租的重要原因。

We first introduce the state of the art of Web Services Composition, and then analyze the relation between Web Service Composition and related theoretical backgrounds. Concerning the two key technologies, service composition method and service composition system, we demonstrate our work.1. Based on semantic Web Service and OWL-S specification, a first-order logic Situation Calculus planning method for services composition is introduced.

本文首先对现有的服务组合相关工作做了比较详细的阐述，在分析了语义Web服务自动组合所涉及的主要理论背景之间的关系和作用之后，针对我们所关注的两个主要技术层面——服务组合方法和服务组合系统阐述了我们的工作： 1、在语义Web服务规范OWL-S的基础上，研究通过一阶逻辑状态演算来规划组合服务的方法。

Secondly, viewing from the weakness in the conventional TPS descriptions and the configuration paths of the switch modules, a uniform matrix expression is used to present the logic relations of the multiple channels' connection modes in order to make TPS design more flexible. By this way, a new TPS design method is discussed so as to revise the test plans, adjust the channel configurations online, and improve the later exploration capacity of TPS.

其次，从分析以往测试程序集TPS在测试方案描述中的局限入手，在对各种通道开关模块的电气特性及配置路径进行归纳的基础上，设计了多开关模型的数学表达方法，将各类通道开关的连接方式纳入统一的逻辑表述范畴，以便于TPS软件的灵活设计；基于此，提出了一种适合测试人员根据测试需求修改测试方案，调整通道配置的方法，提高了TPS的二次开发能力。

In examining the value-creation ability, a compound methodology that combines history and reality, normative analysis and positive analysis, logical analysis and comparison analysis, static analysis and dynamic analysis is being adopted. By reviewing numerous related literatures and collecting full and accurate data, former researchers' excellent disquisitions are well absorbed and used for reference. The objective is to evaluate commercial banks' value-creation ability scientifically and accurately, excavate the value-driving factors at commercial banks, and provide commercial banks some reasonable suggestions to enhance the core competition ability.

在对商业银行创值能力进行研究的过程中，采用规范分析与实证分析相结合、逻辑分析与比较分析相结合、静态分析与动态分析相结合的研究方法，在查阅大量文献的基础上，搜集翔实的数据和资料，努力吸收、借鉴前人的优秀研究成果，力求科学、客观地衡量商业银行的创值能力，挖掘商业银行价值驱动因素的价值贡献潜力，为提升商业银行的核心竞争力，实现商业价值最大化的经营目标提出合理化建议。

This logical paradox proves that, institutionalization of freedom of press and economic freedom alone cannot guarantee the realization of the ideal goal of the liberalist theory. It is in this very paradoxical situation that related structural categories which influence journalism have, through struggle and compromise under the same mainstream ideology, caused the institutionalization of editing-management separation system and the underpinning journalism professionalism which protects the freedom of news production from market interferences, thus realizing to some degree the freedom of press.

逻辑悖论证明，仅仅有新闻自由、经济自由的正式制度，并不能达致自由主义报刊理论的理想目标；恰恰在此悖论中，影响新闻业的相关结构性范畴在共同的主流意识规约下经过博弈和妥协，达成编营分离制度安排以及作为编营分离制度支撑的新闻专业主义，阻抗了市场力量对新闻生产自由的控制，一定程度上确保了言论出版和新闻自由的实现。

A topdown design of an 8bit RISC MCU is presented, in order to overcome the limitation of MCS51 microcontroller The core is based on Harvard architecture with 16bit instruction length and 8bit data length The performance of the MCU has been greatly improved by introducing singleclockcycle instructions, setting multiple highspeed working registers, replacing microprogram with direct logic block, etc FPGA verification and computer simulation show that its maximum clock frequency and instruction e...

在对传统的MCS51系列单片微控制器的局限性进行分析的基础上，设计了一种基于增强8位RISC构架的微控制器内核。该MCU核采用哈佛结构、16位指令字长和8位数据字长，通过设计单周期指令、在内部设置多个快速寄存器及采用硬布线逻辑代替微程序控制的方法，加快了微处理器的速度，提高了指令的执行效率。计算机仿真验证和FPGA仿真验证的结果表明，该MCU的最高时钟频率和指令执行效率等指标均优于MCS51的5倍以上。

On the base of these, and the ideas of mathematical curriculum reform and the course of the reform of solid geometry, combining with educational reality and students" psychology, put forward some thoughts about solid geometry of middle school in future:(1) The arrangement of curriculum content should. give consideration to both the logical sequence of knowledge and the development of students" psychology, and make them united;(2) Paying great attention to the analogy of plane geometry and solid geometry;(3) Some respects remained to be strengthened about solid geometry in senior middle school;(4) Emphasizing the importance of conversion in solid geometry;(5) Stressing on the combination of solid geometry and algebra and other subjects;(6) The design of the content of solid geometry should have certain elasticity, and make solid geometry and modern education technology well combined.

在此基础上，又植根于近年来我国数学课程改革的理念和立体几何课程改革的进展，并结合我国的教育实际与学生心理，对未来中学立体几何课程的设胃提出若干思考：(1)课程内容的编排，要兼顾知识的逻辑顺序和学尘的心理发展相统一；(2)重视平面几何和立体几何的类比；(3)高中阶段立体几何有待加强的几个方面；(4)强调变换在立体几何中的重要性；(5)注意将立体几何和代数及其他学科相结合；(6)立体几何内容的设计要有一定的弹性，并注意与现代教育技术相结合。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了