Banach空间中2类压缩映射不动点的具误差的Ishikawa迭代序列的收敛性

讨论了Banach空间中拟压缩映射对和广义压缩映射的具误差的Ishikawa迭代序列的收敛性问题,得出了在一定条件下,这2类压缩映射分别强收敛于它们的不动点.这些结论推广和发展了已有的相关结果,使这些结果的适用范围更广.     

型钢混凝土柱的施工质量控制

以工程实例简述型钢混凝土柱的施工工艺及质量控制措施,并运用基本的质量控制方法对质量问题进行要因分析,对相关质量控制工作进行系统全面的总结.在论述型钢柱的加工工艺过程和现场安装工艺过程中重点强调了工艺流程和过程质量的控制措施,并对变形纠偏提出了处理办法,运用公式给出了必要的证明.在钢柱的安装过程中特别强调了首节柱的安装工艺及钢柱吊装的校正措施.质量控制方法选用PDCA四阶段工作循环的管理程序和方法,以最基本的方式反应出实际施工中的质量控制情况.从现场施工的角度对劲性柱的选用形式等问题提出了自己的建议.     

寻找长江水污染源头的数学方法

把污染微粒的移动看成是随机移动的,从而这种污染物质点系统可以认为由N个串联线性贮积单元组成.在长江干流地区水流量已知的前提下,分析得出了水流速与站点间距离呈正态分布趋势.     

具分段常数微分方程零解的全局吸引性

考虑具分段常数微分方程x′(t)=r(t)f(x([t])),t 0,其中r(t)非负连续,f有下界且具有负Schwarz导数,f∈C3(R,R),xf(x)<0当x≠0,f′(0)<0,[.]表示最大整数函数,证明了当-f′(0)n∫+1nr(s)ds≤2且∞∫0r(s)ds=∞时,方程的零解是全局吸引的.     

蓝绿激光束在海水中光斑扩散规律的研究

从蓝绿激光束在海水中的散射和吸收规律出发,运用能量守恒定律,研究了蓝绿激光束在海水中的能量扩散过程,导出了篮绿激光束光斑大小随海水水质参数和深度变化的解析公式,详细讨论了光斑大小与衰减系数和海水参数之间的关系,对已有的解析公式进行了有效地修正,对已取得的实验数据进行了正确阐释.研究结果对海洋探测和海洋激光雷达的研制有一定参考意义.     

低能小型医用回旋加速器谐振腔的有限元分析

应用有限元方法分析了一台小型医用回旋加速器的谐振腔.以PC机为平台,采用ANSYS软件进行建模,对腔体的谐振频率、空载品质因数进行了研究,探讨了微调电容间距、网格剖分精度以及建模方法对计算结果的影响.回旋加速器谐振腔不是一个严格的封闭腔体,结构复杂.为减少计算量,根据其物理特性对腔体做了封闭处理,研究发现,这一简化的模型对计算精度的影响不大.计算结果和实际测量结果的误差在工程允许的范围之内,表明基于有限元的软件能够很好地计算类似回旋加速器高频谐振腔这样具有复杂边界的腔体结构,可用于加速器的物理设计及工程设计.     

基于邻域搜索JADE的二维Otsu多阈值图像分割

为进一步提高分割精度并加快分割速度,提出了一种基于邻域搜索可选外部存档自适应差分进行算法(简称为JADE-GL)的二维Otsu多阈值图像分割方案。首先,针对原始JADE算法精英突变策略收敛速度慢、容易陷入局部最优等问题,提出了基于邻域半径搜索的改进突变策略,以提升算法的全局探索和开发能力。然后,将所提算法与现有分割方法以及其他JADE变种算法进行二维Otsu多阈值分割对比实验。最后,通过函数收敛曲线、分割距离测度、峰值信噪比(peak signal to noise ratio, PSNR)等指标定量分析算法的性能。实验结果表明,随着阈值数增加,提出的算法无论在收敛速度、分割精度还是分割图像效果上都有显著提升。     

基于幂函数控制指令的垂直飞行仿真性能分析

基于模态直接切换的飞行高度控制方法,在输入控制指令后,存在控制量输出震荡,甚至发散的问题。幂函数符合飞行高度指令变化规律,以此为原型函数,推导给定高度,当前高度和垂直速度之间的关系,将这一变换关系作为垂直速度控制回路的输入指令,设计了平稳控制系统,该系统不需要进行控制模态切换,就可以实现飞行高度保持,以及飞行高度的改变。通过A320飞行仿真平台对设计的平稳控制系统进行性能分析,结果表明该系统可以实现高度的平稳控制,且稳态误差得到了很好抑制。     

兰州原状黄土剪切强度特性的试验研究

对兰州原状黄土不同剪切方位、不同含水量试样进行了一系列常规三轴不固结不排水剪切试验研究.根据三轴剪切试验结果,分析了含水量和剪切方位对兰州黄土剪切强度参数的影响,得出原状黄土的粘聚力和内摩擦角并不是一个常数,而是随着含水量和剪切方位的变化而变化的结论,解释了其影响原因,提出了粘聚力、内摩擦角与含水量的关系表达式.     

时变脉冲微分方程初值问题解的存在性

首先给出了脉冲微分方程初值问题的解与相对应的常微分方程初值问题的解之间的关系,然后利用常微分方程理论讨论了一类时变脉冲微分方程初值问题,并在相对较弱的条件下建立了解的存在性定理,所得解允许和某些Sk相遇多次,推广了相关问题的已有结果.