逻辑化

The Periscope Drawtube will be bent because of the water resistance in sailing and this bend will cause the error of star measurement. Due to its especial structure, contactless measurement is the only way to measure its bend degree. First this paper introduces the method by linear array CCD based on structure and light path; Second it expatiates linear array CCD work principle and driving scheduling with example of TCD1501C and the driving circuit by CPLD. The output signal of linear array CCD includes common disturbance so the differential amplifier is needed. In order to make the signal adapt to computer processing, a threshold circuit with Schmitt characteristic and the data process following threshold are given. At last, some key problems in application are given.

潜艇潜望镜的镜筒在航行时受到水的阻力会产生弯曲变形，这种变形会造成潜艇对星体测量的误差；由于镜筒结构的特殊性，对其弯曲程度的测量只能采用非接触方法；首先从结构和光路方面介绍采用线阵CCD作为检测元件实现对镜筒弯曲程度的测量；其次以东芝公司的线阵CCD（TCD1501C）为例阐述了其工作原理及驱动时序的控制要点，并介绍了基于可编程逻辑器件的线阵CCD的驱动电路；线阵CCD输出的信号中含有共模干扰，必须采用差分放大器将其抑制；为将信号转化为适合计算机处理的数字信号，文中给出了有一定实用价值具有施密特特性的二值化处理电路及二值化后的数据处理过程；最后阐述了在实际使用中的一些关键问题。

This method is based not only on the intuition and objectivity of the Karnaugh map but also on the mature rules of single-output functions.

以实例说明了共卡诺图化简法的应用，展示了该方法化简多输出逻辑函数简洁明快的特色。

With the computer assistance Karnaugh Map the method of the logic function will overcome the weakness of the manual simply, making turn alone more convenient and valid.

而用计算机辅助卡诺图来化简逻辑函数的方法将克服人工算法的缺点，使化简更方便有效。

But turn alone with the calculator assistance Karnaugh Map the method of the logic function will overcome the weakness of the artificial calculate way, making turn alone more convenient and valid.

而用计算机辅助卡诺图来化简逻辑函数的方法将克服人工算法的缺点，使化简更方便有效。

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，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

In The Big Typescript, this dichotomy is detailed in his analysis of the temporal, spatial and genitive expressions, resulting in the distinction between the unspeakable"memory-time"(Ged〓chtniszeit) and the speakable"physical time", and that between the unspeakable"visual space" and the speakable"Euclidean space", etc;(4) From another perspective, the destruction of the conception of the "phenomenological language"could also be seen as the logical consequence of the radicalization of the one and the same conception, since this destruction does reinforce rather than weaken RLF's original intention of distinguishing the physical system from what are given in phenomena by demonstrating the incompatibility between this intention itself and the insistence on the speakability of the phenomena, which gives birth to the illusion of the"phenomenological language";(5) Nevertheless, what the radical distinction between the sense-data and the physical language (as the unique possible language) implies, according to Wittgenstein, is not that the latter has nothing to do with the former, but that the association between the two does not follow the"original sample-copy"pattern but the"screen-presenting-filmoperation"pattern, which indicates that phenomenon itself can be aroused by or included in-rather than to be described by-the physical language/system;(6) Thus Wittgenstein leads us to depart from the obsolete ambition of representing the immediately given data perfectly for a new destination where a comprehensive "perspicuity" of the"grammar"should be required and where his later philosophy is coming into being.

在《大打字稿》中，这一二分法在他对于时间表达式、空间表达式与人称表达式的分析中得到了细化，并导致了他对于"记忆时间"与"物理时间"的区分，以及对于"视觉空间"与"欧几里得空间"的区分，等等；(4)从另一个视角来看，维氏对于"现象学语言"观念的拆解也可以被视为同一观念在被加以彻底化后所导出的必然后果，因为这一拆解工作实际上乃是加强了，而不是削弱了他在写作《略论逻辑形式》时就已怀有的信念，即：必须将物理系统严格地区分于在现象中被直接给予的东西。换言之，维氏在这一拆解工作中所做的，只不过就是暴露了这一信念本身与对于现象之"可说性"的坚执之间的固有矛盾罢了——而所谓"现象学语言"的幻相，亦正是导源于上述坚执；(5)然而，根据维氏的本意，感觉予料与物理语言之间巨大的逻辑差异却并不意味着后者与前者毫无关联，而只是意味着两者之间的关系并不遵循着所谓的"原本—摹本"模式，而遵循的乃是"屏幕呈现—胶片运作"模式。

Secondly, the realization of dialectical logic mathematics research planning" Research outline of universal logics" put forward by the authors is introduced briefly, and the main point of" the standard proposition universal logics" set up under the guidance of the outline is also introduced.

其次，简单介绍了作者提出的实现辩证逻辑数学化的规划《泛逻辑学研究纲要》，及在纲要指导下建立的《标准命题泛逻辑学》要点，指出该逻辑系统在包容各种辩证矛盾的同时，有效地排除了逻辑矛盾。

The research shows that news commentary partly serves as public interest articulation via legitimized discourse construction. A public event containing trust crisis is the focus of the expression of public interest, and in it the logic of legitimate process and the logic of power-interest are interwoven.

研究发现：时评通过正当化的话语建构，使公众利益表达在局部范围成为可能；内含信任危机的公共事件是公众利益表达的焦点，权力—利益的逻辑与正当程序的逻辑交织在话语表达当中。

He could have such influence because:first,there are serious problems in the theory and practice of international communist movement;second,it has something to do with his way of criticizing-to use the apparently pure scientific way in pure academic criticism;third,the focus of his criticism,which targeted at Marxist materialist historical view,was mainly the 17th-18th century historicism,especially the dogmatic,vulgarized and distorted Marxist social historical theory;last but not the least,Marxist materialist historicism is the dialect logical results drawn from practice while Popper chiefly used formal logic and scientific way,the more easily understandable and acceptable way,in his criticism.

究其缘故起因，我以为这首先与国际共产主义行为的理论与实践本身存在主要题目有关；其次与他批驳的特点有关用貌似纯科学的要领作纯学术的批驳；三是其批驳锋芒所指虽然也包孕马克思主义的唯物史不美观，但主若是指17—18世纪历史抉择论，出格是指被教条化、俗气化和误解了的马克思主义的社会历史理论；更深层的缘故起因是，马克思主义的历史抉择论是在实践中运用辩证逻辑概括出来的，而波普尔的批驳首要运用的是情势逻辑和自然科学的要领，这样的逻辑和要领是人们凡是对照轻易理解？理睬和接管的要领。

Present technologies of BPM separate the process information from business process and manage them in a depository. These really make the business process agiler. But on the other side, present technologies of BPM cant to do well with the special business process information, such as business logic in process, business policy and so on. And the business experts without IT skills are excluded from the whole life cycle of development project though they are the really expert who conducting company business.

当前业务过程管理很好地把业务过程逻辑从业务过程中抽离出来，进行中性的维护和管理，实现了业务过程的一定敏捷性，而依次同时，当前业务过程管理对业务过程活动的内部逻辑、业务策略等特殊过程性信息的管理较弱，并且把非IT技术人员的专业业务人员拒之整个开发过程之外，这显然大大限制了业务过程的敏捷化。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。