半无限规划的一个对偶问题

本文对半无限凸规划提出一个新的对偶问题，使用扰动函数、次微分和法锥，文中证明了相应的弱对偶性及强对偶性的充要条件．     

Banach空间中非线性脉冲积分微分方程的正解

借助于锥理论，本文讨论Ｂａｎａｃｈ空间中非线性脉冲积分微分方程的解，给出一阶脉冲微分方程存在唯一正解的条件及混合型脉冲积分微分方程至少具有两解的条件。     

四阶非线性特征值问题的正解

本文考虑了四阶非线性特征值问题d4u/dt4=λg(t)f(u,u″),0＜t＜1,u(0)=u(1)=0,au″(0)-bu″′(0)=0,cu″(1)+du″′(1)=0.其中g(t)∈C((0,1),[0,∞)),f(u,v)∈C([0,∞)×(-∞,0],[0,∞)),a≥0,b≥0,c ≥0,d ≥ 0,且△=ac+ad+bc＞0.利用锥压缩与拉伸不动点定理,获得了上述问题正解的存在性结果.     

Order Environments of Topological Spaces

In this paper it is proved that a space may be realized as the set of the maximal elements in a continuous poset if and only if it is Tychonoff.     

皮尔斯电子枪非迭代综合法的修正

 对Tiwary非迭代综合法进行了整理分析，根据阴极半锥角大小的不同范围对其计算公式做出了相应修正，使得计算结果与Vaughan迭代综合法的计算结果相吻合，二者之间相差可以实现小于1°；对阳极半径公式也做了合理的修正，使阳极与阴极之间的间隙及电子枪射程的计算精度也与迭代综合法相当。采用非迭代法的修正方法计算精度受阴极半锥角大小的影响大大减小，扩大了其应用范围。     

用MXAN拟合钩端螺旋体去甲酰化酶XANES谱

钩端螺旋体去甲酰化酶(Leptospira interrogans PDF)是一种重要的含锌金属蛋白酶, 对钩端螺旋体这一广泛存在的致病菌的蛋白合成起着关键的催化作用, 是一个很好的药物设计靶蛋白. 本文测试了LiPDF在pH3.0的溶液状态下的X射线吸收近边结构(XANES: X-Ray Absorption Near-Edge Structure)谱, 利用以从头计算(ab. initio)的多重散射(Multiple Scattering)为基础的MXAN方法确定金属蛋白活性中心的精细结构. 研究发现结合合适的初始结构模型, 可以更好地重现LiPDF蛋白的XANES曲线, 从而能够得到更加准确的结构参数. 活性中心的精细结构为理解LiPDF的pH依赖的催化活性提供了结构基础.     

无衍射光的干涉实验与理论分析

分析了两束无衍射光的干涉场分布形式和干涉条纹轨迹。将一束单色光入射两小孔产生的两束相干光照射轴锥镜,在轴锥镜后将产生两束无衍射光。根据单束倾斜光入射轴锥镜的无衍射理论,分析出这两束无衍射光产生的干涉场为每束无衍射光的无衍射场的线性叠加。利用零阶贝塞尔函数的零点公式,推导出两束无衍射光的干涉条纹的轨迹为双曲线。计算结果表明,干涉场中两中心的间距与两孔实际的间距和干涉场距轴锥镜的距离成正比。实验结果与理论仿真相一致。     

基于复小波包分形理论的爬壁机器人故障检测

通过研究爬壁式机器人的控制和运动特征，提出一种基于复小波包分形理论的故障检测方法．利用复小波包的平移不变性，将爬壁式机器人传感器输出信号分解成独立的频谱，并进行阀值处理和重构，从而有效去除高频噪音并提取故障的特征频率；依据信号分形维数的多尺度不变性，在嵌入维数空间，采用维数最大距离法，确定复小波包域故障信号的关联雏数．仿真实验表明，爬壁式机器人在各种异常工作模式下的故障信号关联维数能比较真实地反映其故障状态空间，同时也验证了故障信号的关联维数低于正常信号的关联维数作为故障发生与否的定量判据的正确性．     

集值映射最优化真有效解的锥次微分的稳定性

了集值映射最优化真有效解及真有效点的锥次微分稳定性。此外，还讨论了锥次微分意义下的性与半连续意义下的稳定性之间的关系。     

Banach空间非线性脉冲Fredholm型积分方程的耦合极值拟解

In recent years, the research in integral equations in Banach spaces has achieved many results (refer to ［1］, ［2］, ［3］ etc.). It is well known that, generally, one must first establish the comparison theorem before applying the method of (coupled) lower and upper (quasi)solutions to investigate the (quasi)solutions of integral equations. This can be easily done for Volterra integral equations, but seems impossible for the cases of Fredholm type. Though ［3］ avoided the establishment of…