逻辑

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

In addition, several examples showing the realization of three-variable threshold logic function with three-variable universal-threshold-logic-gates are given.

通用阈值逻辑门是一种通用的阈值逻辑门，可以通过改变它的输入、输出的接法实现所有的给定变量数的阈值逻辑函数。

The system uses three systems structures, and developed by JSP-JavaBean-SQL Server 2000 technology. Videlicet, at foreground is realized displaying logic by JSP WebPages, in the middle used JavaBean component complete the complicated business logic inner system, at background uses SQL Server 2000 databases accomplish data logic, and design a solution for a network examination system.

系统采用的三层体系结构，JSP+JavaBean+SQL Server 2000开发，即前端由JSP网页实现表现逻辑，中间使用JavaBean的组件实现系统内部复杂的业务逻辑，后端使用SQL Server 2000数据库实现数据逻辑，并设计了网上考试系统的解决方案。

The system uses three systems structures, and developed by JSP-J**aBean-SQL Server 2000 technology. Videlicet, at foreground is realized displaying logic by JSP WebPages, in the middle used J**aBean component complete the complicated business logic inner system, at background uses SQL Server 2000 databases accomplish data logic, and design a solution for a network examination system.

系统采用的三层体系结构，JSP+J**aBean+SQL Server 2000开发，即前端由JSP网页实现表现逻辑，中间使用J**aBean的组件实现系统内部复杂的业务逻辑，后端使用SQL Server 2000数据库实现数据逻辑，并设计了网上考试系统的解决方案。

Important: In a MVC world we only want to put rendering logic in our View's code-behind class (and not any application or data logic). Notice above how the only logic we have is to assign the strongly typed ViewData collection of Category objects to the ListView control.

重要：在 MVC 中我们只希望在视图的后台代码中放置显示逻辑（不包括任何其他的业务逻辑），注意上面的大妈中我们唯一的一个逻辑操作时将强类型的目录列表 ViewData 赋值给 ListView 控件。

This system is a kind of Computer Integrated Manufacturing Systems which based on work flow technique, and it uses standard WPDL language to agilely define the check flow in designing process.

本系统是一种基于工作流技术的计算机集成制造系统CIMS（Computer Integrated Manufacturing Systems），它使用标准的WPDL语言灵活地定义图纸设计过程中的校审流程，逻辑关系包含了基本的顺序关系、分支关系和循环关系，进而能表达各种更为复杂的逻辑关系，即实现了逻辑的完备性。

By the introducing the concept of embodied alterity as the original experience of religion, Thomas Csordas asserts that 'outside of horizon' will be the most essential resource of religious experience, that, according the views of French post-structurism, religious feeling pour out involuntarily.

本研究采用宗教现象学的取向，借重Thomas Csordas的引介，将异己性（他者性，alterity）作为圣世界的经验溯源，而以乔治巴塔耶的宗教理论为主要的发展核心，试图从实徵与理论两个层面包抄，发展癌末处境的圣世界之内涵，其中最具关键的问题在於(1)圣世界经验的发生应先排除语言的干预，使圣世界的发生完全在真切经验自然涌出：(2)圣世界经验的源头应为「域外」，那是非领域、非知，因此，研究问题遂在於「域外何以发生」；(3)圣世界的形成，本质上被假设为「异质跳接」，所以圣世界的复合逻辑应是由常人、医疗、宿缘以及无缘他者四者的逻辑平面交叠、挤压而形成多重皱摺，本研究试图通过病房田野，以实徵资料解明复合逻辑的内涵。

At first, this paper expounds the order relation and first order logic properties of time axes. Secondly, this paper axiomatically models that using Tense Logic and dynamic logic, which aims at reflecting the properties of axes in fine grain by logical analysis.

随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模，这样刻画的目的是为了&细精度&地体现时间轴的特点，并借助逻辑的方法对其分析。

In the aspect of the Philosophy of Language, Montague Grammar inherited Frege's theory of meaning, Russell's theory of reference, Carnap's theory of verification, Goodman's Modern Realism, Tarski's theory of truth, Kripke's semantics of possible worlds of modal logic, etc, and opens up a new direction in the study of Formal Semantics of natural language; in the aspect of Theoretic Linguistics, Montague was influenced by Chomsky's research idea about the formal treatment of the syntax in natural language and extended it to the semantic study of natural language; Montague Grammar has two theoretic sources: One is the Logical Semantics and Intensional Type Theory in Logic, and the other is Categorial Grammar and Transformative Generative Grammar in Linguistics.

在语言哲学方面它继承了弗雷格的意义论，罗素的指称论，卡尔纳曾的实证主义，古德曼的现代实在论，塔斯基的语义学真理论，克里普克的模态逻辑可能世界语义学的传统，开辟了自然语言形式语义学研究的新方向；在理论语言学方面，他受乔姆斯基形式化语言研究思想的影响，并把这一思想扩展到自然语言的语义研究方面；蒙太格语法的理论来源有两个方面：逻辑方面是逻辑语义学思想和内涵类型论理论，语言学方面是范畴语法和转换生成语法。

Thus it can provide powerful specify capability and it is decidable.

该逻辑系统将描述逻辑中的知识表示结构和任务逻辑所使用的任务语义结合，表达能力强。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。