半素环的一个交换性定理

证明了半素环Ｒ为交换的，如果它满足条件（αｋ）：对任意ａ，ｂ∈Ｒ，存在一个字长＞Ｋ且含有（ｘｙ）２（或（ｙｘ）２）的字Ｗ（ｘ，ｙ）及一个能被Ｗｘ（ｘｙ）整除的整系数多项式ｆ_Ｘ（ｘ，ｙ），使得ａｂ~Ｋ－ｆ_Ｘ（ａ，ｂ）∈Ｚ（Ｒ），其中Ｋ是一个给定的正整数，ＷＸ（ｘ，ｙ）与ＦＸ（ｘ，ｙ）均可随Ｘ－（ａ，ｂ）而变，Ｚ（Ｒ）是环Ｒ的中心。     

线粘弹性半空间中轴向受力桩的分析

本文用线载荷积分方程法分析了嵌在线粘弹半空间的轴向受力刚性桩，首先，应用Ｍｉｎｄｌｉｎ公式，相应原理和拉氏变换求得垂直点力作用于粘弹性半空间的基本解。然后，沿ｃ轴的（Ｏ，Ｌ）分布未知集度ｘ（ｃ）ｙ（τ）的虚的垂直点力，其中ｙ（τ）由桩的平衡方程定邮，使边界条件得到满足，便将问题归结为一个Ｆｒｅｄｈｏｌｍ第１种积分方程。文中给出了参量固体模型的数值计算例子。     

关于半稳定分布律的刻划定理

本文对论一类积分函数方程组的解.该结果推广了[1]中定理5.4.2,5.6.2,并应用于刻划更一般的半稳定分布律,条件大大简化.     

四刃钻头的研究

四刃钻头一次走刀可以完成钴、扩两道工序,既可用于孔的粗加工,又可用于孔的半精加工,一刀两用。特别适用于数控机床及组合机床生产线上孔的加工工作。它可以代替φ15mm 以上的普通麻花钴及扩孔钻,是一种很有潜力的新型孔加工刀具。     

长江河口及其邻近海域的自然环境

本文概述了长江河口演变过程和水下三角洲酌形成机理,河口地区潮汐作用、波浪作用和近岸流系的性质以及长江口外淡水扩散及其对邻近海域的影响等问题。本文还讨论了长江河口环流类型和特征、最大浑浊带分布及其变化、潮滩和水下三角洲的发育以及河口地区生物与环境的关系等。根据上述多方面环境因子的分析并进行汇总,作者对长江河口及其邻近海域的自然环境特征作出了评价。     

高压半渗透隔板仪的研究

本文介绍了一种用国产材料研制的GBY-1型双岩芯室高压半渗透隔板仪。从国内工厂所研制的13种隔板中挑选出气驱水突破压力为7bar的冲压烧结陶瓷隔板,它适用于10md以上的油气储集岩岩样,所测得的毛细管压力—水饱和度关系曲线更为逼近油层条件,且具有不污染样品,测试精度高,重复性好等优点。目前已由江苏海安石油科研仪器厂批量生产。     

Banach空间中的广义p正常算子

本文是在文献[4]基础上利用广义半内积空间的理论引入Banach空间上的广义p正常算子T=A+iB,AB-BA=0,其中A,B是广义p自共轭算子;同时还引入广义p正常算子的对偶算子T~*=A-iB及广义p酉算子,并就这些算子的有关谱进行了讨论。     

半无限二次规划

本文给出了半无限二次规划和它的对偶规划之间没有间隙的条件。还证明了具有对偶间隙的半无限二次规划可以通过扰动其目标函数来消除,且扰动后的半无限二次规划的最优值收敛于原始半无限二次规划的最优值。     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

Banach空间中的一个随机不动点定理

本文研究了Banach空间中的一个随机不动点的存在性问题,并获得了相应的随机不动点定理.