铁路工程建设节约用地咨询系统的研究

＂铁路工程建设节约用地咨询系统＂是＂工程建设用地辅助决策系统＂的一个子系统，根据行业的不同分为铁路、公路、火力发电厂、工矿企业生活小区等独立模块。本文就铁路行业的工程建设节约用地咨询系统模块从系统的开发背景、总体结构、技术要点、使用特点及说明几方面作一详细阐述。系统以ＦｏｘＰｒｏ２．５ｆｏｒＷｉｎｄｏｗｓ为开发平台，继承并发扬了Ｗｉｎｄｏｗｓ环境的多窗口性、图文并茂等特点，把众多的建设方案、措施、行业知识以数据库的形式统一管理，具有很强的科学性、针对性，从而使迅速地解决实际问题成为可能     

关于K—可换性与K—正规性

本文证明了对实自共轭迹类算子有Ｔｒ（（ＡＢ）＾２＾ｎ）≤Ｔｒ（Ａ＾２＾ｎ，Ｂ＾２＾ｎ），即Ｋ＝２＾ｎ情形下的Ｈｉｌｂｅｒｔ空间中Ｂｅｌｌｍａｎ不等式；定义了Ｋ－换位子，讨论其若干性质；并给出Ｔｒ（（ＡＡ）＾２＝Ｔｒ（Ａ＾２Ａ）＾２的充要条件，等价定义了正常迹类算子。     

多应力—强度模型结构可靠度的估计

在Ｙｌ，…，Ｙｎ－ｌ，Ｙｎ相互独立且服从正态分布情况下得到结构可靠度Ｐｒ（Ｙｎ＞ａｌＹｌ＋…＋ａｎ－ｌＹｎ－ｌ）（其中ａｌ，ｉ＝ｌ，ｎ－ｌ均为已知的常数）的最小方差无偏估计及其置信下限．     

克林贝格螺旋锥齿轮的诱导法曲率

本文采用参考文献[2]所提供的方法,对克林贝格(Klingelnberg)齿制螺旋锥齿轮的诱导法曲率的计算方法进行了推导,取得了较为理想的结果.由此发现这种锥齿轮具有良好的啮合性能.     

算子值全纯函数的正族性质

在经典函数论的正族理论基础上给出了算子值函数的正族概念，由此得到了关于算子值正族的几个基本原则。     

特征标次数与正规P－补

证明了定理设Ｇ是一个有限群，ｐ是一个素数，Ｐ是Ｇ的一个Ｓｙｌｏｗｐ－群．那么，Ｇ的每一个非线性不可约特征标的次数被ｐ整除当且仅当Ｇ有正规ｐ－补，使得Ｏｒ（Ｇ）∩ＣＧ（Ｐ）为Ａｂｅｌ群并且｜Ｇ：Ｇ″｜＝｜Ｐ：Ｐ′｜·｜Ｏｒ′（Ｇ）∩ＣＧ（Ｐ）｜还研究了当Ｇ有正规ｐ－补时，Ｇ的全体线性特征标是如何分配在具有最高亏数的ｐ－块中的．     

Smash积与Morita Context环

Morita Context理论是研究环与代数的有效工具(参见[1,4,5]等)。本文首先给出Morita Context环属于正规质类的充要条件。作为应用讨论了Hopf模代数A的不动子代数A~H与Smash积的正规质性之间的关系,推广了文[2,3]中相应结果。     

计算等谱可积方族Lax表示的新框架

建立了计算等谱可积方程族的Ｌａｘ表示的一个新框架．作为例子，分别求出了ＫｄＶ型ＴＣ型等谱方程族Ｌａｘ表示的统一显式．     

Finsler几何中Cartan联络的存在性

用纤维丛理论证明Ｃａｒｔａｎ联络的存在性。先利用对偶原理，指出Ｆｉｎｓｌｅｒ联络（Ｔ，Ｎ）可改由一次微分式ω＾ａ ｂ，（θ＾ｕ）＾ａ确定，然后提出ω＾ａ ｂ（θ＾ｖ）＾ａ的系数Γ＾ｉ ｊｋ，Ｃ＾ｉ ｊｋ及Ｎ＾ｉ ｊ应满足的充要条件，最后验证了由Ｃａｒｔａｎ联络的５条公理得出的函数组Γ＾ｉ ｊｋ，Ｃ＾ｉ ｊｋ，Ｎ＾ｉ ｊ满足这些条件，从而证明了Ｃａｒｔａｎ联络的存在性。     

无穷级整函数对数级与对数型的一些性质

本文是研究整函数的增长性.应用无穷级整函数的对数级与对数型的定义,以及参考文献[2]中的一些结果,进一步得到了关于无穷级整函数对数级与对数型的一些重要性制裁.现将主要结果叙述于下:定理1:设整函数f(Z)=sum from n=0 to ∞ a_nZ~n的对数级为ρ1,则有ρ1=（?）定理2:设整函数f(Z)=sum from n=0 to∞(a_nZ~n)的对数级为ρ_1,并且0<ρ_1<+∞,其对数型为σ_1,则有定理3:设整函数f(z)=sum from n=0 to∞( a_nZ~n),存在,并且0<ρ<十∞,则当0<ν<+∞时,ρ必为f(Z)的对数级,进而ν为f(Z)的对数型.定理4:设f(Z)=sum from n=0 to∞(a_nZ~n)为无穷级整函数,则f(Z)与它的导函数f’(z)具有相同的对数级与对数型.