海南昌江县石灰岩地区轮叶戟群落特征研究

根据样方调查,分析了海南岛昌江县石灰岩地区轮叶戟Lasiococca comberi var.pseudoverticillata群落的种类组成、外貌和结构特征,并就分析结果与其它地区进行了相关性分析和讨论.结果表明,在1 800 m+2样地中,有维管植物164种,隶属于64科129属,其中以热带性分布属占明显优势,所占比例为94.87%.群落外貌终年常绿,生活型以高位芽为主,占76.07%,乔木多为单叶,叶型以中型叶为主,占70.73%.群落成层现象不明显;通过对优势种群的年龄结构分析显示,该群落处于增长状态,按照Raunkiaer的频度等级定律,A级频度值为71.95,其中有79种植物只出现于一个样方中.通过相关性分析显示,该地植物在属的区系成分上受气候的影响比基质的大,该群落所属的植被类型处于热带常绿季雨林向热带雨林演替的过渡阶段,并需用自然恢复的方式对植被进行恢复和保护.     

复函数微分中值公式的一个注记

利用极限理论，给出了复函数微分中值公式的“中值点”的渐近性的简洁证明．     

论发展民族文化旅游与保护民族文化--以甘南藏族自治州为例

民族文化旅游受到民族地区高度的重视,但是一些民族地区在旅游开发中,因缺乏民族文化的内涵和特色,不能很好地满足旅游者对民族文化的了解和体验;还有的民族地区,单纯地强调旅游业带来的经济效益,忽视外来文化对民族文化的冲击,导致民族文化的失真或失落.本文从旅游与文化关系的理论入手,结合甘南藏族自治州藏民族文化旅游发展的实际,提出进一步挖掘民族文化的旅游价值,开发具有民族特色的旅游产品;用科学的方法和手段,多层次、多角度地展示民族文化的魅力;防止民族文化的失真和失落,使民族文化得以传承的观点.     

Taylor公式及其应用

给出了四种类型余项的Taylor公式，介绍Taylor公式在求极限、估计无穷小或无穷大的阶、研究函数性态等方面的应用。     

抛物线求积公式在立体几何中的应用

文章讨论了抛物线求积公式在立体体积方面的应用，并由它具体求出了棱台、棱柱、棱锥、球及球缺的体积公式．     

考虑多参数分析薄壁箱梁剪滞效应的剪滞公式

考虑多参数及剪切变形分析薄壁箱梁剪滞效应 ,获得了利用最小势能原理建立的力学模型的理论解 ,根据不同边界条件推导出应力计算公式 .所得的公式比以往剪滞理论有了发展 ,且更具有一般性 .     

Diagnosis of prostate cancer by quantitative analysis of 3DMRSI data: A new model

Three-dimensional magnetic resonance spectroscopic imaging (3DMRSI) is helpful to identify prostate cancer (PC)from benign prostate hyperplasia (BPH) and to show the distribution of tumor infiltration. Combined with the (Cho + Cre)/Cit ratio, the z-score model can effectively discriminate prostate cancer from stromal benign prostate hyperplasia (sBPH) and detect small malignant lesions (SML).     

Combined adjustment project of national astronomical geodetic networks and 2000'' national GPS control network

The combined adjustment project of the nationwide astronomical geodetic networks and 2000' national GPS control network involve 48519 terrestrial observational stations and 2666 GPS observational stations. In the terrestrial network, 25107 stations are height fixed and 23412 stations are in three dimensions. 440793 terrestrial observations and 183668 unknowns are involved in the adjustment. The three-dimensional observational models for the adjustment have been established. The crustal deformation influences and corrections are researched. Fast methods of solving partitioned adjustment for super large-scale geodetic network have been studied. The standard deviations of three-dimensional coordinates for all stations are evaluated. As a result of the combined adjustment, a unified national geodetic network with nearly 50000 stations is established, the high accurate three-dimensional geocentric coordinates are obtained. The standard deviation for geoid is averagely 0.2 m, for vertical deflection is about 1.5″, for the horizontal position is about 0.12 m, for the geodetic height is about 0.14 m, and for the three-dimensional position is averagely 0.3 m.     

A template of rat brain based on fMRI T*2 imaging

The development of functional magnetic resonance imaging (fMRI) technology has made it possible to carry out functional brain imaging experiments in small animals. Usually, group data is required to form the assessment of population, which can not only increase the sensitivity of the overall experiment, but also allow the generalization of the conclusion to the whole population. In order to average the signals of functional brain images from different subjects, it is necessary to put all the mapping images into the same standard space (template image). However, up to now, most animal brain templates remain unavailable and it must be done by ourselves. In this study, a template image based on the brains of eight male Wistar rats is obtained, and it is successfully used in our present Alzheimer disease (AD)-like rat model studies as template for spatially normalizing images to the same stereotaxical space. The fMRI results processed with statistical parametric mapping (SPM99) software are in agreement with the results from immunohistochemical experiment, which proves that this method is universally applicable to the pathologic models of other small animals and to human brain lesion studies.     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.