非线性似变分不等式组的Mann迭代算法

引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性.     

关于随机微分系统的M_0—稳定性

本文的目的是将确定性常微系统的M_0—稳定性概念与结果,推广到一般随机微分系统.然后,利用这些结果来研究随机受扰确定性系统M_0—稳定性的条件;借助未受扰确定性系统的Lynpunov一型函数及比较方法,得到了随机受扰系统M_0—几乎必然一致渐近稳定性与M_0—p阶矩一致渐近稳定性的充分条件.     

亚双曲型广义Cartan矩阵的分类

本文解决了一类非双曲型的不定型（亚双曲型）广义Ｃａｒｔａｎ矩阵的分类问题．证明了亚双曲型矩阵的阶数范围，并做出了阶数为３，５，６的亚双曲型广义Ｃａｒｔａｎ矩阵的Ｄｙｎｋｉｎ图．     

微波干燥技术在氰化钠生产中的应用

通过对氰化钠微波干燥生产的现状分析和微波相关知识的介绍，结合氰化钠微波干燥器的多年运行经验及历次的改造总结，从微波源设计、布料排风系统和机械系统的改造等方面，提出了对氰化钠微波干燥的改造方案。     

具有三个公共值亚纯函数惟一性问题的注记

应用权分担值的思想，研究了具有3个公共值的亚纯函数的惟一性问题，所得结果改进了Terglane N、Mues E．和Reinder SM．以及仪洪勋等人的有关定理。     

关于高阶线性微分方程解的正规性问题

研究了高阶线性微分方程f^(m) an-1f^(n-1) … a1f′ a0f=F的解的正规性问题，其中ai(0≤i≤n-1)均为多项式，F是正规的超越整函数，我们证明了若σ(F)≥1 max 1≤i≤n degan-i/i,则方程的解均是正规的．我们还在上述方程的系数为有理函数，F为正规的超越亚纯函数的情况下，证明了只要方程的系数组成的代数方程满足一定条件，那么所有解均是正规的．     

一类高阶线性微分方程解的正规性问题0174．52

研究了高阶线性微分方程f^(n) an-Lf^(n-1) …aLf^’ a0f=0的解的正规性问题，其中系数ai(0≤i≤n-1)为整函数或只有有限个极点的亚纯函数．     

澳大利亚专业博士教育的产生及发展

20世纪90年代,澳大利亚的专业博士教育得到迅速发展,短短十几年,从第一代的"课程 论文"单一模式转变到了第二代的"P/W/U"三维模式.作者从知识生产模式理论出发,结合新英格兰大学对其教育博士的改革,介绍了澳大利亚专业博士的发展历程.     

岸边集装箱宏-微起重机器人的机构、结构设计研究

岸边集装箱起重机是集装箱码头进行船舶装卸作业的主要设备.随着我国集装箱运输的高速发展,市场对岸边集装箱起重机的需求稳定增长.为了促进集装箱作业高效化和自动化程度,本文中采用了宏-微机器人这种策略,对振华港机(ZPMC)生产的常规型岸边集装箱起重机进行改造,将其进行机器人化,形成岸边集装箱宏-微起重机器人.对岸边集装箱宏-微起重机器人的机构和结构进行设计后,对其进行了运动仿真.岸边集装箱宏-微起重机器人是一种比现有的集装箱起重机更加先进的机器人概念,它可较容易地实现自动化控制,同时它还可起吊比以往重量更重的集装箱.