Monadic分划逻辑中的Fraisse定理

给出Ｍｏｎａｄｉｃ分划逻辑初等等价的一个代数刻画，从而把Ｆｒａｉｓｓｅ定理从一阶的情形推广到了Ｍｏｎａｄｉｃ分划逻辑的情形。

分划逻辑与着色卵石博奕

将Ｍａｌｉｔｚ量词Ｑ￣（ｍ，ｎ）的基数限制去掉，再作多分划拓广，便得到各种ｍｏｎａｄｉｃ型的分划量词。本文引入了分划逻辑的着色卵石博奕方法，证明了相应的Ｅｈｒｅｎｆｅｎｃｈｔ－Ｆｒａｓｓｅ定理，作为此方法的一个应用，证明了在表达能力上，ｍｏｎａｄｉｃ型的分划逻辑严格地弱于ｍｏｎａｄｉｃ二阶逻辑。

Z-自动机与分划逻辑

本文分解Ｚ自动机成为ω自动机偶的复合；建立了Ｚ的Ｌ（ＭＰ）理论，利用Ｚ自动机的技巧证明了Ｚ的Ｌ（ＭＰ）理论的可判定性．作为应用，证明了有限状态过程的正确性问题是可判定的．

分划逻辑的三个特征数

分划逻辑是新近出现的一类扩充逻辑.它们既具有较强的表达能力,又具有较好的模型论性质.尽管分划量词的引入背景是数学的,但在计算机科学中有一系列的应用.本文在广义模型论的框架之下,进一步研究分划逻辑的若干基本属性,特别是良序数、Hanf数及L(?)wen-heim数这三个特征数.

字的～L（MP）等价类数目

给出并证明了字模型在等价关系～Ｌ（ＭＰ）之下等价类数目的两类上界．

Automatic Generation of Schematic Diagrams in High-Level Synthesis

The automatic schematic diagram generator of BIT (ASG-BIT) discussed here is a subsystem of the VHDL high-level synthesis and mixed-level simulation system (HLS-BIT). It can abstract netlists from the result of logic synthesis and generates functionally readable and aesthetically pleasing diagrams within reasonable execution time. The partitioning, placement and routing of schematic diagram are discussed .and some results including several diagrams generated by ASG-BIT system are presented in the finale of this paper.