有一个直因子是单模的有限生成模的同调维数

在文献[1]中,姚慕生证明了交换诺特环上单模的投射维数等于它的内射维数。并且对具有内射单模的交换环进行了刻划。这篇文章的目的在于考虑交换诺特环上类似的问题,得到了比文献[1]更强的结果。具体地说,我们第一个结果是在一些适当的限制下,刻划了具有有bv限内射维数的非零有限生成模的交换诺特环。第二个结果证明了在交换诺特局部情形,有一个直因子是单模的有限生成模的投射维数等于它的内射维数。第三个结果刻划了具有一个有     

复投影空间和四元数投影空间的切丛的不可扩充性

设K是一个CW复形,L为它的子复形。L上的一个实(复)向量丛被称作可以扩充到K上,如果它等价于K上一个实(复)向量丛的限制。Schwarzenberger研究了CP~n(RP~n)上的向量丛到CP~m(RP~n),(m>n)的不可扩充性问题,这里CP~n(RP~n)是复(实)投影n-空间。Kobayashi等研究了透镜空间的情形。应用Riemann-Roch定理,Schwarzenberger建立了下列定理1 CP~n的复切丛可以扩充到CP~(n+1),当且仅当n=1。使用K理论,我们给出这一定理的另一证明。进一步,我们考察了作为实向量丛CP~n的     

一种FEC控制器的研究

作者针对常规 Fuzzy 控制方式的局限性,将 Fuzzy 控制技术、常规控制技术和专家系统技术相结合,研制出一种新型的模糊专家控制器——FEC 控制器。我们着重探讨了以 Fuzzy 控制为主导的四种控制方式知识库的建立;提出应用 Fuzzy 控制技术实现系统推理、搜索的设想,设计了一种基于 Fuzzy 逻辑的推理机;运用 Fuzzy集理论解决了 FEC 控制器的参数自调整问题;对 FEC 控制器的品质和搜索算法进行了大量的数字仿真比较实验,并在 STD BUS 工业控制机上用该控制器实现了电阻炉温度控制。结果表明,该控制器实现了系统动态、静态品质的综合优化,为改进Fuzzy 控制系统的性能,完善不确定过程控制,提供了一种有效的、实用的方法。     

四元数矩阵的特征值和特征向量

本文是继文献[6]～[8]的进一步研究。证明了对每一个四元数矩阵,至少存在一个右特征主值,存在一个属于它的特征向量,并给出了具体的求解方法。由此,把复数域上矩阵论的若干重要定理推广到了四元数体.     

河北省涞水县北部植物群落生物量及其影响因素的遥感定量研究

本文在地面调查的基础上。以遥感影像为基本依据,对涞水县北部的暧温带森林及灌草丛植物群落进行了生物量的定量分析。并寻求生物量和其生态因子的相关关系,主要工作如下:(1)对工作区的Tm CCT磁带进行了群落分类、因子密度分割及植被指数的测定等图像处理工作,旨在将植物群落生物量及其影响因素数值化。(2)拟合环境植被数(EVI)与不同群落生物量的相关关系,以环境植被数替代群落生物量作为定量分析的指标。(3)收集环境植被指数以及地表湿度、地表温度、地表结构、植物群落覆盖度、海拔高度、坡度、坡向等因变量和自变量的原始数据。(4)用计算机对原始数据进行主成份分析(PCA)确定主分量,构建回归模型。文章结果表明,EVI值和群落生物量相关性显著。以EVI值为替代指标的群落生物量与选定的七个影响因子之间都不同程度的相关关系,其中群落覆盖度同EVI高度相关。除地表温度外,这种相关关系均为正相关。根据主成份分析,确定地表湿度、地表温度、地表结构和群落覆盖度为主分量。以EVI为因变量。这四个生态因子为自变量建立的回归方程为 Y=1.399+0.054X_1-0.084X_2-0.206X_3+1.02lX_4     

图的邻域复形

一个图G的邻域复形是以G的顶点为顶点,以G的具有公共邻接顶点的顶点子集为单形的抽象复形.本文研究图的邻域复形的性质,复形的嵌入数以及邻域复形与图的关系等,并提出一些可供进一步研究的问题.     

零和Ramsey数R（C3，Z3）的下界（一）

Bialodocki和Die，he。［‘］给出了古典Ra。切V定理下列有趣的推广：设G是一个有。条边的图，整数k＞2且川。，Z．表示k阶循环群。定义R（G，Z．）表示一个极小整数c，使得对儿的边的任意见一染色，即一个泛函C；E（K；）～Z＊，从中部存在一个同构于O的子图具有下性质；X”C（e）es0（，hodk）．6B（o）他们二人证明了下述特殊值I211．It是奇效R（K；。Z．｝一｛D加一1．nM倒数Y．Ca，o［‘］进一步证明了下面的结论：114＋k一1，11，k都是偶数R（K；．几）一（：一【n＋k，具它。本文中我们讨论毒和RI11；mp数R（C。，Z。…     

分形与分数维

本文着重阐述了称誉为七十年代中期科学上三大重要发现之一的分形分维的基本理论和物理意义。     

关于张衡的“微星之数”

该文探讨了张衡关于恒星数（微量之数）有１１５２０颗粒一长期令人不解的问题,指出,１１５２０这个数实际上是古人认为的万物之数,张衡所说的是星数与万物之数一一对应的关系;同时指出,“微”字在古代描述日月星象时可作“食”解,此处“微星之数”的“微”字当是“微”字之误。     

在自然科学与哲学之间:现代逻辑方法的中介功能

现代逻辑方法是形式化的分析方法,是自莱布尼兹提出对传统逻辑进行形式化改造之后,经弗雷格把逻辑本身变成一个由公理和定理、规则构成的演绎体系的努力,由罗素这位现代符号逻辑的集大成者构筑而日趋成熟的。它体现着自然科学的发展进步,并开辟了哲学研究的新途径,将自然科学的研究成果及方法转换为推进现代哲学发展的新工具。逻辑方法历来都与自然科学、哲学有着密切的联系。在亚里士多德的逻辑体系中,就折射出具有演绎性质的古希腊几何学证明法,是这种关于证明的几何学为亚里士多德逻辑提供了蓝本。同时,早期的逻辑学还与哲学交织…