无限的数学与哲学

讲述几个无限性对象的数学与哲学问题.重点分析论述自然数的无限性与直线连续统点集结构等问题.简要评述近、现代数学诸流派的一些观点分歧及其认识论根源,同时简要介绍本文作者与合作者的某些有关研究.     

采用磁力泵的加药控制系统设计与应用

采用磁力泵替代计量泵,通过变频器和电磁流量计构成闭环控制系统;并针对磁力泵的故有缺点,采取多种连锁控制保护措施,确保了磁力泵的正常运行.实践证明,通过选配合适的磁力泵和变频器.可以构成稳定可靠的加药系统,满足化工、制药、水处理等领域的应用.     

High-Order Temporal Corrected Fields of Ultra-Short Laser Pulses and Laser-Driven Acceleration

Up to third-order temporal correction in terms of a small dimensionless temporal parameter ε=1/（ωoto） （ω0=ck0 the central oscillatory frequency, to the pulse duration of half period）, the field expressions of ultra-short focused laser pulses are explicitly presented. To evaluate the correction efficacy, electric amplitudes of zeroth-order and higher-order corrected fields are compared for different pulse durations. Furthermore, electron interaction with ultra-short laser pulses is simulated using both the zeroth-order and higher-order corrected field equations. Our simulation results show that the third-order correction terms should be considered for investigating the interaction if the laser pulse duration decreases to a few optical periods.     

关于域上矩阵广义逆的加法映射

假设F是特征不为2的域,令Mn(F)是F上n×n矩阵的集合.本文证明了f是Mn(F)到自身的矩阵{1}-逆或{1,2}-逆的加法保持算子当且仅当f有:(a)f=0;(b)f(A)=εPAτP-1对任意A∈Mn(F),其中P∈GLn(F),τ-为域F的某个单自同态且x(1)=1,ε=±1;(c)f(A)=εP(Aτ)TP-1对于任意A∈Mn(F),其中τ,ε,P如(b)中一样意义.     

一类广义Hartogs三角形之间逆紧映射的分类

本文主要证明一类广义Hartogs三角形之间的逆紧全纯映射在相差全纯自同构的意义下是唯一的。     

环形域上半线性椭圆型方程径向正解的多重性

讨论如下的半线性方程：｛－△ｕ＝ｇ（│ｘ│）ｆ（ｕ） ｉｎΩ ｕ＝０ ｏｎδΩ这里Ω＝｛ｘ∈Ｒ＾Ｎ：Ｒ〈│ｘ│〈Ｒ｝ Ｎ≥２，０〈Ｒ〈Ｒ〈＋∞，在适当的条件下，运用变分方法我们得到了该方程存在两个非平凡径向正解。     

固定时间域可变采样间隔的统计控制图

本文从提高统计控制图对过程波动检测能力和方便管理的角度出发 ,对可变采样间隔(VSI)控制图进行改进 ,提出了针对连续过程质量控制应用需要的固定时间域可变采样间隔(VSIFT)控制图。文章详细介绍了VSIFT均值极差控制图、VSIFTEWMA控制图的设计 ,并分别评价了它们对过程异常状态的检测能力     

矩形域及三角域上Bezier曲面的转换

本文讨论了矩形域及三角域上Ｂｅｚｉｅｒ曲面的相互关系，从几何变换的角度给出了显式的转换公式及几何解释，同时也给出了相应的算法。     

论p-adic域上单代数群的存在性定理

设k为p-adic域,给出了所有具有不同类型k-标、定义在k上单线性代数群的统一构造方法,从而给出了定义在k上单代数群的存在性的统一证明,并且给出了所有定义在k上单线性代数群的k-有理点群的统一构造.     

半被动双足机器人控制系统设计

为有针对性地根据不同干扰类型选择正确的抗干扰措施,有必要对无人机数据链所处环境的干扰信号进行分析和分类识别。本文以变换域通信系统(Transform Domain Communication System,TDCS)为载体,对无人机数据链常面临的干扰类型的自动识别进行研究,采用时域、频域、时频联合分析的方法,提出了一组对干信比变化不敏感的特征参数,并利用这组参数提出一种基于决策树理论的干扰分类识别方法,仿真结果表明,该方法能够快速准确地识别出干扰类型,具有很好的鲁棒性,并且在干信比和干噪比在0dB以上时,正确识别率均在90%以上。