逻辑

Anderson holds that deontic logic can be reduced to alethic modal logic by the reduction formula Op口

安德森认为依靠归约公式Op □能把道义逻辑归约为真值模态逻辑。

In the course of value activity, all the results are the regular development of logical starting point, and studying the logical starting point of value generation is significant for understanding the value rules and promoting value realization.

在价值活动运行轨迹中，价值活动的任何结果都是价值活动逻辑始点的一种规律性的延伸。探求价值生成的逻辑始点对认识价值运动规律以及促进价值实现有着重要的意义。

Through the study of the trends of development of modern Western science methodology, the paper analyses the main features of three methodological models: prestippositionalist model of logics , relativist model of history and integrated model of logics and history.

本文以马克思主义观点审视现代西方科学方法论的演变趋势，揭示了现代西方科学方法论三大模型——预设主义的逻辑模型、相对主义的历史模型以及逻辑与历史相结合模型——的主要特征，并对西方各派方法论的成就与兴衰的缘由，作出了理论的概括和系统的评估。

Security is a three-dimensioned and intensive concept in this science. The logical prerequisite of history of a new concept of security lies in the fact that the present-day international society is faced with a predicament caused by oldened order, imperialism, ultra-nationalism and religionism and non-traditional threat to security. The international community i...

安全是一个立体式、集约式的国际政治学概念；新安全观的历史逻辑前提是当今国际社会出现了国际旧秩序、帝国主义、极端民族主义和极端宗教主义、非传统安全威胁等所造成的一系列安全困境，国际社会应当建立以互信、互利、平等和协作为基本逻辑框架的新安全观。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

Based on the comprehensive researchof fundamental geopolitical theories,the dissertation reveals a dichonomic structure--the most important content and characteristic of geopolitics——influenceinternational relations with some disciplines by special modes;fourthly,with the logicof dichonomy,the dissertation analyses and researches the geopolitical position andstrategies of China,as one of the most important powers in the Rimland.

地缘政治学的基本理论不过对此作出了理论上的反馈；4、以二分论的理论逻辑，分析和研究了作为边缘地带最重要的大国之一、而又必须处理好海陆关系的中国的地缘政治地位和地缘政治战略，提出了要从地缘位置的一分为二到地缘选择的合二而一，对中国的地缘战略进行新的定位。应该指出的是，虽然本文追述了西方地缘政治学的一些基本理论和观点，但是本文的基本概念、主要观点、研究角度、逻辑论证和最后结论都是作者本人提出的。

Another: on-the-job, set up a dedicated FPGA simulation servers, the company increased the efficiency of the logic of staff collaboration, as a server and has been rooter, to help administrators to configure, manage CVS part of the logic of the code and submit changes.

另：在职期间，搭建了FPGA专用仿真验证服务器，提高了公司逻辑人员的协作效率，并一直作为服务器rooter，协助配置管理员，管理CVS逻辑部分代码的更改和提交。

Concerning the complexity of verification for the Scaler chip's operating at high frequencies, many problems about the setup of the verifying environment need careful treatment.

实际工作频率要求较高的定标器芯片的逻辑验证具有一定的复杂程度，整个逻辑验证环境的搭建需要考虑诸多问题。

The scholastic logic appears full schlock compared with that of peasants' everyday life.

与农民的日常生活逻辑相比，学者的逻辑显得十分蹩脚。

But it was not the logic of the schoolman, not the science of the classroom.

但这逻辑不是学究式的逻辑，这科学亦非学堂教的科学。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。