逻辑化

InQuines view, after the failure of phenomenalistic reduction of logical positivism,epistemology can only rescued by naturalization; in the meanwhile, it would resist thethreat imposed by cultural relativitism and nihilism.

蒯因认为，在逻辑实证主义的现象主义还原论纲领失败之后，只有通过自然化的改造才能拯救认识论，并抵抗文化相对主义和虚无主义的威胁。

The dissertation is under the framework of resenting→analysing→resolving and to use the research clue of integration, practicalism and systematism. The research also insists on the policy of seeking truth from facts, applies for the historical and systemic method, and aims at the problem of bridge maintenance. The application example will be given, and the demonstration research will be followed.

本文在&提出→分析→解决&的逻辑框架下，以集成化、实用化、系统化作为研究主线，坚持实事求是的原则，应用历史的方法、系统的方法，针对桥梁养护现存问题，开展研究，最后给出应用事例，进行实证研究。

Wataru Hiromatsu believes that the relationist logic in Hegel's "the substance being the subject", and the dialectics shown in his concept of alienation are what Marx and Engels want to critically inherit in their historical materialism and reification thinking.

广松涉认为在黑格尔的&实体即主体&的关系主义逻辑和异化观中所包含的辩证法思想，正是马克思、恩格斯的历史唯物主义及其物象化思想所要批判地继承的东西。

KEDE is a knowledge engineering development environment. It combines frames,sematic nets,production rules and object oriented paradigm consistently. It has multi-inference mechanisms and possesses different programming styles.

KEDE是一个知识工程开发环境，它将框架、语义网路、生产式规则、逻辑及面向对象等知识表示有机地结合在一起，具有多种推理机制和程序设计风格，提供友好的用户界面，从而构成一个功能强、使用方便的集成化知识工程开发环境，用于开发各种复杂知识的大型专家系统。

This paper gives a brief account on the basic requirements of telemechanic equipment with regard to the telemechanization technique of traction power supply system for electrified railway and on the coordination between the telemechanie equipment,now being developed in our country by wiring logic, and computer to better the telemechanie functions.

本文就电气化铁道牵引供电系统远动化技术中，对远动装置的基本要求以及对我国目前研制的用布线逻辑设计的远动装置和计算机配合来完善远动功能作了扼要阐述。

To update test technical system and build informatized test range, we discuss the establishment of informatized test technical system for naval military equipment, present an idea of multi-sensor information fusing based on network environment, and propose a concept for realizing the unidirectional transparentness of the test using multi-dimensional sensing systems, and establish a dynamic equation of the "quantized" equipment test system.

这一目标的提出，需要信息化试验技术体系的支撑。本文对创建海军军事装备信息化试验技术体系进行了探讨，论述了信息化试验技术体系的一些基本问题，并以知识处理为该技术体系的逻辑起点，提出了基于网络环境的多传感器信息融合思想，以及采用多维感知系统实现试验单向透明等概念，建立了装备试验系统&量子化&的动力学方程，旨在为建立装备信息化试验技术体系做有意义的探讨，这对提高信息化靶场的鉴定和试验能力具有现实意义。

The video features of the new-century fiction are derived from the symbolic logic which simulacra abide by. This abolishes the difference between the appearance of the text and the outside world.

新世纪小说的影像化特征形成于它所遵循的仿像之所以构成的符号逻辑，这取消了文字文本与外部世界之间的外观差异。

The maths has not escaped PetroChina chairman Jiang Jiemin, who mused earlier this month that he would start buying proven reserves cheapened by the great deleveraging.

这其中的数学逻辑，没有逃过中石油董事长蒋洁敏的眼光，他在本月早些时候曾思忖着表示，将开始买入在&去杠杆化&洪流中变得便宜的已探明储量。

It guides us into a new scope of"Be the capital culture", let us re-comprehend the culture which was sacred and classicized by tradition, inspect the hidden benefits logic of culture, and research the complex capital attribute involved in.

它引导我们进入&作为资本的文化&这一新视域，重新理解被传统神圣化、经典化的文化，并透视文化隐秘的利益逻辑，探查文化所包含的复杂的资本属性。

Dynamic ; basic segments ; inherent logical structure ; elasticized scheme

动态生成；基本环节；内在逻辑结构；&弹性化&方案

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万英镑骗了个精光。