云南雕林山亚热带半湿润常绿阔叶林旱季小型真菌生物多样性研究

在云南雕林山亚热带半湿润常绿阔叶林森林生态系统的六个具有代表性的样区中，于１９９２年１１月至１９９３年４月旱季期间，运用系统分类、生态分析和数理统计的方法，对小型真菌种群的分布、组成、优势菌及其生物多样性进行了分析，共分离获得小型真菌菌株统计单位７０６株，分属于２８个属，其中，优势菌６７８株，分属于２０个属。     

定义算子的递旧式

在递归函数论中所讨论的递归式大都只用以定义数论函数.1956年胡世华开始讨论一种用以定义算子的递归式,证明它的原始递归性.后来,R.Peter把它作为二阶递归式来处理,并加以推广.莫绍揆也在不同的方向上对它加以推广.R.Peter已经证明她所推广的递归式仍是原始递归的,莫绍揆仅仅猜测其所推广的递归式是原始递归的,当时未能证明.本文再对R.Peter与莫绍揆的结果加以推广,证明了一种比Peter与莫绍揆所讨论的递归式更广的递归式(以两人所讨论的递归式作为其特例)仍是原始递归的.这部分的结果主要是叶大兴获得的,在表述上及证明的细节上则由莫绍揆作了一些改正.还可把本文的结果推广到具有初等算子的递归式去,这个推广结果(和§5)是莫绍揆获得的,将在另文发表.     

基于MapInfo的VB集成地图开发

地理信息系统是一门介于地理科学与信息科学之间的交叉学科,已被广泛地应用于许多领域,越来越多的信息系统中需要集成地图的一些功能 本文探讨的就是如何利用VB6. 0对MapInfo7. 0进行编程,将MapInfo7. 0地图窗口集成在VB6. 0开发的应用程序中     

江西省1∶100万土壤信息系统的构建

以江西省为例,运用计算机和地理信息系统技术,讨论了建立国家级1∶100万土壤信息系统的构建技术,对江西省土壤类型和土壤属性的编码进行了规范,并采用土壤类型地域法来实现土壤属性的空间表征。     

斑马营造的信息工程

说到非洲辽阔草原上的斑马,人们无不对其“制服”上黑白相间的条状斑纹称奇道绝。那是斑马祖先在长期自然选择的环境中,经过优胜劣汰营造出的“信息工程”;是斑马之间互相识别的条形信息码;是斑马躲避非洲大地最严重的昏睡病病毒携带者——采采蝇叮咬的“迷彩服”;是斑马为其天敌狮子、猎豹发出的就餐铃声;是加速热量流动散发的调控器……     

同一首“歌”——谈谈伯努利原理

1912年秋,浩瀚的太平洋上,艳阳高照、波澜不惊,是难得的好天气。当时世界上最大的远洋邮轮“奥林匹克”号,正在固有航线上破浪前进。突然之间,比它小得多的“哈克”号巡洋舰开足马力,从后边赶过来,与“奥林匹克”号在相距100米左右的洋面上并肩疾驶。此时“哈克”号船长感觉不妙,有一股不可抗拒的、无形的力,驱动着它向“奥林匹克”号横冲过去,随着一声巨响,货船被撞出一个大洞。“哈克”号船长在法庭上抱怨,船是在一股神秘力量推动下肇事的,但是他拿不出证据。法庭仍判他犯有“玩忽职守罪”。理由很简单,谁能证明那看不见的、无形的力确实存在过呢?     

基于MapObjects的红壤资源信息系统

以分布着我国南方典型红壤资源的江西省为例,利用第2次全国土壤普查和土地详查等资料,在ARC/INFO软件、MapObjects和VB的支持下,建立了小比例尺(1∶100万)红壤资源信息系统。该界面设计采用ESRI公司提供的ACTIVE X控件MapObjects,所开发的土壤信息系统集属性数据与图形数据管理于一体,并建立了二者之间的联系。该系统可实现图斑数据的从图到表、从表到图和从表到表的查询,并提供输出专题图等功能。     

杨树人工林生物量估计方法与应用

为了以杨树人工林的森林资源调查资料估算其生物量,利用SPSS12.0软件,根据林木相对生长法则对河南省武陟县23株Ⅰ-72杨样木生物量实测值进行模型拟合,并结合样地资料,拟合了生物量扩展因子(BEF)、树根生物量与地上部分生物量的比值(RSR)及与林分调查因子的回归方程,最后利用林分蓄积及木材密度等算出杨树林的生物量.结果表明,杨树的生物量扩展因子BEF值为1.3左右、RSR值为0.14～0.6,并随着林分平均高、胸高断面积、林龄、林分蓄积的增大而减小.经检验,利用生物量扩展因子法估算杨树人工林的生物量具有很好的精度,说明可以利用森林资源调查资料估算杨树人工林的生物量.     

高级函词与约束词的本质

在狭义谓词演算中我们讨论了函谓词,即以个体为值的函词和以命题为值的谓词。通常它们以个体为变目,但这种限制太严了,我们应该容许命题亦作为变目。此外,我们又讨论了量词与摹状词,它们合称约束词。根据同样理由,我们也容许它们的作用域可为项(不限于公式),它们的指导变元可为命题变元。在高级谓词演算中,我们还讨论高级函谓词和高级约束词。通常我们把高级函谓词和高级约束词看作是本质不同的。在本文中,我们指出: 第一,二级函谓词和一级约束词是一样的。例如,对二级函谓词φ及二元一级函谓词A而言,φ(A)亦可表为φ_(xy)A(x,y),这里φ_(xy)为具有两个指导变元的一级约束词。另一方面,对一级约束词lim而言,lim f(x)亦可表为lim(a,f),这里lim是二级函谓词,它有一个个体变目和一个函谓词(一级)变目。一般说来,n 1级函谓词和n级约束词是一样的(但参看下文)。其次,当我们把二级函谓词(亦即一级约束词)作用于一级函谓词以作成一项或一公式时,并不是前者(级数较高)以后者(级数较低)为变目,(这是通常的说法所断定的),而是前者填充后者的变目,至少是前者约束后者的变目,无论如何,我们不能说后者是前者的变目。因此通常的表达式Axα(x)和limf(x)应该写成(αA和(flima,或写成Aα(i)和lim af(i)。(我们约定,约束词应依序约束)。第三,由于二级函谓词永不以一级函谓词为变目,也就没有产生更高级函谓词的可能。因此,我们只有个体、命题、(一级)函谓词和(一级)约束词四者,因此广义谓词演算也就变得更简单了。     

关于板的极限曲面的界限

本文讨论了等厚各向同性板在多种载荷作用下极限分析的上下界不等式。得到了板的极限曲面的上下界限,运用它可十分简单地计算载荷在任何组合情况下的上下界限值。本文提出的方法可适用于钢筋混凝土板的极限设计。