分划逻辑的三个特征数

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

基于多β晶体管的高速逻辑门

1 多β晶体管与线性与或门在开发高速硅集成电路的努力中,人们把注意力放在双极型集成电路上.双极型晶体管不仅由于其结电容较小而适合于高速工作,而且pn结的单向导通特性赋予它的发射结具有很强的逻辑功能.例如,TTL电路中的多射极输入管可方便地用于输入信号之相“与”,而ECL电路中的射极输出则可简单地用线接方式实现多个输出信号的相“或”.属于ECL电路变型的EFL电路则是充分利用发射极逻辑功能的典型,它的结构如图1(a)所示.图中输入管T_i的     

影响卤化物水解的内在因素

本文以离子极化和分子结构理论为基础，着重就影响金属卤化物、非金属卤化物水解的内在因素等问题进行了分析和讨论，阐述了卤化物水解的内因、实质以及产物的类型，并对卤化物的水解规律作了初步总结。     

Navier－Stokes方程的一种泛复数解

通过引入泛复变量求解Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程，得到不可压缩流体Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的一种泛复数解，即速度场和压强场的泛复数表示。     

带权PLA折叠问题及其启发式算法

本文将可编程逻辑阵列（ＰＬＡ）的折叠问题推广到行列折叠点间带权的一般情况，对这个ＮＰ－完全问题给出三个启发式算法，其中两个为贪心类算法，另一个是利用独立集的启发式算法，分析了各个算法的复杂性。     

交换环中素理想的特征数

文中的环均指有单位元的交换环，定义了素理想的特征数，讨论它的基本性质，刻画了素理想的特征数与环的特征数的关系，给出了特征数有限的环的分解定理的一种新证不。     

Fuzzy度量空间中的紧性

本文在Fuzzy度量空间中引入■覆盖、Cauchy列及ε稠密等概念,从而进一步定义了紧性,完备性,全有界性及序列紧性,证明了有关的等价性定理。最后给出了Lebesgue数的定义,并把相应的Lebesgue定理推广到Fuzzy度量空间。     

对扩展树证明的可靠性与完全性的简化证明(英文)

本文对扩展树给出一个不同的证明．它的长度比起Ｍｉｌｌｅｒ的证明要简短得多，而且改正了 Ｍｉｌｌｅｒ证明中的某些错误。     

多重圈张量乘积的联结数

本文给出了多重圈张量乘积的联结数的计算公式,并给出了证明。     

渤海辽东湾海冰条件的概率分析

本文利用辽东湾海域及其沿岸台站多年的海冰观测资料和有关气象资料,对该海域的海冰条件以及相应的气候规律进行了概率分析、研究了辽东湾南北两个分区的划分、冰厚与气温的关系、冰厚的极值概率分布、太阳黑子数以及El Nino现象对渤海冰情的影响及其长期变化的规律,得到一些可供辽东湾抗冰平台设计参考的数据和结论。