关于狭义拟仿紧空间的两个问题

利用狭义似仿紧空间的等价刻划,给出一个非狭义拟仿紧的正规弱θ－加细空间,此外还证明了强完备映射的逆保持狭义拟仿紧性。这两个结果分别回答和部份回答了蒋继光提出的两个问题。     

一个非线性常微分边值问题正解的唯一性

本文给出了一维Ginzburg-Landau超导方程组过值问题的正解唯一性的证明。其重要意义在于,由此可为讨论该超导方程组的解当k→∞时的浙近性态提供各种估计式。     

一类拟线性第二边值问题的存在唯一性

本文在ｆ（ｔ,ｘ）,ｆｘ（ｔ,ｘ）,β（ｔ）连续,ｆｘ（ｔ,ｘ）≥－β（ｔ）,β（ｔ）≤π２０＋α２４,β（ｔ）π２０＋α２４,π０为方程αｓｉｎｘ２＋ｘｃｏｓｘ２＝０的最小正根条件下,证明了第二边值问题．ｘ＂＝αｘ＋ｆ（ｔ,ｘ）,ｘ（０）＝ａ,ｘ（１）＝ｂ对于任给实数α,ａ,ｂ都有唯一解     

虚拟线性倒立摆模型在行走机器人双腿支撑相中的应用

为了提高双足机器人步行运动的稳定性,将双腿支撑阶段的机器人简化为一个虚拟的线性倒立摆模型。该模型以机器人运动的ZMP(zero moment point)为虚拟支点,以机器人质心为模型的质点;在运动中保持质点高度不变。通过预先设定ZMP的轨迹,即可获得机器人质心在双腿支撑阶段的运动轨迹。将该模型与机器人单腿支撑阶段的普通线性倒立摆模型综合运用,就能保证步行时机器人质心速度变化的连续性和步行运动的稳定性。该方法在实际机器人上进行了实验验证,结果表明该方法能够很好地适用于实际机器人的步行运动。     

一个求解P_*(K)-矩阵线性互补问题的宽邻域路径跟踪算法(英)

基于预校正方法,对P*（K）-矩阵线性互补问题给出了一个迭代复杂性为O（k＋1）n2/3L）的宽邻域路径跟踪算法,算法改进了Zhang等的可行宽域路径跟踪算法的迭代复杂性;比迭代复杂性为O的小邻域路径跟踪算法为好．     

BCK-代数上的包含度

本文将张文修提出的包含度引入BCK-代数中,证明了一类BCK-代数的包含度的存在性,给出了BCK-代数上包含度的基本性质,刻划了BCK-代数拟紧性的特征．     

拟正态分布均值矩阵的容许线性估计(Ⅰ

考虑了以下问题：设ｎ×ｍ随机矩阵Ｙ有分布Ｎ（Θｎ×ｍ,Ｖｍ×ｍΣｎ×ｎ）,即Ｙ服从均值向量为Θ协方差矩阵为Ｖｍ×ｍΣｎ×ｎ的多元正态分布,其中Θ为未知矩阵．讨论了当Ｖｍ×ｍΣｎ×ｎ已知时,均值矩阵Θ在３种比较标准下的容许线性估计．并称以上分布为拟正态分布．     

计算机辅助工艺设计的研究与应用

对几种不同含水率（湿基）的叶丝和未膨胀梗丝的填充值进行了测定,运用计算机和数理统计中的回归分析法,建立数学模型,找出二者之间的线性回归方程,结果表明烟丝含水率对烟丝填充值有很大影响;在不同含水率范围内,烟丝填充值与其含水率（湿基）呈线性关系,且斜率不同;不同部位的叶丝与梗丝的填充值随含水率的变化规律相似但不雷同。     

多方向线性特征提取的模板构造及处理方法

常用的空域定向滤波模板方法具有较好的方向针对性,但是对于某些研究方向,如提取遥感图象线性特征等,常用的定向滤波模板不太适合,原因是它所提供的多个方向中,有重复多余的方向,因而模板方向就少得不足以全面反映被处理遥感图象的特点,不利于图象中线性特征的提取及模式识别。文章在常用的空域定向滤波模板基础上,对构造新的多方向和多尺寸的滤波模板,进行了有效的研究及详细的阐述。     

用微机绘画物理化学实验中的图象

用微机绘制物理化学实验中图象,速度快、图象标准,给出的结果唯一。本文介绍了应用ＵＣＤＯＳ６．０汉字操作系统,使用其特显功能,用ＢＡＳＩＣ语言绘制物理化学实验图象,取得了很好的效果,提高了教学质量。