关于一个非交换的格序群

群Ｇ有三个无穷阶生成元ａ,ｂ,ｃ,并且定义着关系ａ＋ｂ＝ｂ＋ａ,ａ＋ｃ＝ｃ＋ｂ,ｂ＋ｃ＝ｃ＋ａ,Ｇ＋包含ｍａ＋ｍ′ｂ＋ｎｃ（ｍ,ｍ′,ｎ为整数）当且仅当ｎ＞０或ｎ＝０而ｍ≥０,ｍ′≥０。将其中的等式改写成ａ＋（±ｂ）＝（±ｂ）＋ａ,ａ＋（±ｃ）＝（±ｃ）＋ｂ,ｂ＋（±ｃ）＝（±ｃ）＋ａ,并且给出生成元是独立的。在此基础上给出详细的证明,然后给出有关它的一些性质。     

黑龙江省中等师范学校招生考务工作微机管理系统

本文介绍了中等师范学校招生考试管理工作的微机管理系统．     

相对论性核——核碰撞中弹核碎片的次级作用

本文评述了相对论性核—核碰撞中弹核碎片的次级作用问题     

基于函数依赖图的设计关系数据库模式的综合算法

本文详细讨论了函数依赖图的原理及基于函数依赖图求解ＥＫＮＦ（基本关键字范式）的数据库模式的综合算法。它对于给定的一关系数据库的一组函数依赖产生相应的ＦＤ图；基于此ＦＤ图，删除该ＦＤ图中的冗余复合节点、多余复合节点和冗余完全弧；从而得到一个ＬＲ最小ＦＤ图覆盖；并由此得出一个属于ＥＫＮＦ的较好的关系数据库模式。本文所述综合算法的时间复杂度为多项式的，因而在实践中有重要的实用价值。     

多层刚架剪切振动及模态矩阵

将多层刚架系统离散成一系列运动质体，按达伦伯原理建立各质体运动方程，对特征值、主振型、正则化和模态矩阵都作了简明叙述，用算例表明其实用价值。     

拟共形映射正规族

关于平面区域ＤＣ上的Ｋ－拟共形映射族ｋ（Ｄ），ＬｅｈｔｏａｎｄＶｉｒｔａｎｅｎ已证明［１］：若（Ｄ）在Ｄ上等度连续，则Ｋ（Ｄ）是正规族。本文给出了Ｋ（Ｄ）是正规族的另一个充分条件：Ｋ（Ｄ）在Ｄ上局部一致有界。     

和谐性质及其应用（Ⅱ）

Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明。     

正态均值的Bayes估计

本文在已知正态分布N(θ,σ~2)的方差α~2以及均值θ的下限θ_L和上限θ_U的条件下,针对均值θ的点估计问题,给出一种构造先验分布的方法,由此所求得的Bayes的估计在Bayes准则下优于通常经典统计中的估计x。     

Fuzzy商群的结构

本文讨论了Fuzzy 商群的结构问题.给出了Fuzzy 商群的正规Fuzzy 子群的判别方法,得到了Fuzzy 群的第三同构定理,最后,利用Fuzzy 商群的结构给出了Fuzzy 群第二同构定理一个新的证明.     

点可迁图的顶点划分

设G是k正则连通点可迁图。图G的一个边割S称为限制性边割，如果G－S不含孤立点，最小限制性边割所含的边数λ′称为限制性边连通度。已经证明λ′≤2k-2，等号成立时，称图G是极大限制性边连通的。本文证明了：如果G不是极大限制性边连通的，那么G的顶点集存在一个划分π＝（C1，…，Cm)，使得由Ch导出的子图同构于一个连通k-1正则点可迁图H,h=1,2，…，m，而且k≤|H|≤2k-3。