WZ方法与一类定积分的计算及其推广

结合WZ理论中的有关结果与留数定理,借助计算机代数系统给出了下列问题的一种解答:已知 ∫0+∞ f(t)dt=a,构造与f(t)本质上不同的函数g(t)、g(t,s)(s∈S(∈)R),使得g(t) ≡g(t,s0)(比如s0=1)且∫0+∞ g(t)dt=∫0+∞ g(t,s)dt=∫0+∞ f(t)dt=a,(...     

首次积分法在微分学中的应用

通过首次积分法构造辅助函数,给出了Lagrange中值定理的另一种证明思路,得到微分学应用中的几个结论．     

基于整体式模型的钢筋混凝土结构爆破拆除定向倒塌数值模拟

利用ANSYS/LS-DYNA有限元软件,采用MAT96和整体式模型对钢筋混凝土结构定向爆破拆除进行数值仿真研究. 基于计算结果分析了钢筋混凝土机构在倒塌过程中的前冲、后坐、鼓胀,并对整个倒塌过程做出了定量描述. 通过与黑白水酒店大楼爆破拆除工程的对比表明,模拟结果较好地符合了实际测量情况.      

整数与分数阶涡旋光束相位奇点的稳定性分析

通过衍射积分理论对整数阶以及分数阶涡旋光束的相位奇点的稳定性进行了研究.对于任意整数阶涡旋光束,推导了其在传输中电场的解析表达式;对于分数阶涡旋光束,不能给出传输中电场的解析解,仅能解析计算中心点电场在传输中的值.理论证明和模拟计算表明整数阶涡旋光束的相位奇点具有稳定性,传输后涡旋的暗核能够得以维持,光强仍然具有中心对称性分布;分数阶涡旋光束不具备稳定性,传输后几何中心电场不再为零,且观测平面上的光强分布也不再具有中心对称的特点.实验分析表明整数阶涡旋光束更适合于自由空间光通信系统.     

基于多GPU的三维Kirchhoff积分法体偏移

提出3种策略挖掘三维Kirchhoff积分法体偏移在众核GPU(图形处理器)上的并行性.首先,使用数据传输线程和GPU计算线程构造流水线并行框架,基于此框架直接实现异步输入输出(I/O)以减少GPU和网络存储之间数据传输所需的时间;其次,使用GPU的线程满载策略以使指令吞吐量最大化;最后,应用纹理缓存和常量缓存来减少片外存储器访问,并使用固定功能单元计算超越函数.实验结果表明:相比于IntelXeon E5430CPU上的算法串行版本,在nVidia Tesla C1060GPU上的优化算法实现了约20倍的加速比.比较了算法在3种不同GPU架构上的性能,并给出了CPU与GPU结果在0.5×10-4误差限下仅0.3×10-5的浮点数绝对误差.     

一个实数齐次核的Hilbert 型积分不等式

给出了一个新的有最佳常数因子的实齐次核的Hilbert 型积分不等式及其等价形式,是零次齐次核的Hilbert型积分不等式的推广,同时给出其逆向不等式.     

基于积分Backstepping的船舶航向非线性滑模控制

设计一种基于积分Backstepping的船舶航向非线性滑模控制器,实现船舶在大幅度改向操纵运动中航向准确快速跟踪控制.在采用Bech船舶操纵运动数学模型精确描述船舶大幅度改向运动性能的基础上,利用反演法设计航向改变控制算法,引入积分控制环节消除模型参数不确定性和风、浪、流等干扰影响,借助Lyapunov稳定性定理证明控制系统渐近稳定.对实船的仿真对比可知,本文设计的船舶航向控制器性能优越,控制舵角合理,控制输出航向对本船参数摄动及外界干扰不敏感,具有较强的鲁棒性.     

模糊Henstock-Stieltjes积分的进一步研究

给出模糊Henstock–Stieltjes引理,利用Henstock–Stieltjes引理证明积分原函数的连续性,其次给出和证明Henstock-Stieltjes积分序列的另一个收敛定理.     

大跨度钢结构转换层综合施工技术研究

郑州国际会展中心会议厅四、五层转换层钢结构工程主桁架跨度大,最长、最重的主桁架长46．55m,重106t,高4米,施工难度大。施工过程中,将桁架在拼装场地拼装完成后,利用滑移轨道运输到现场,综合利用液压提升和高空拼装方法进行安装,通过安装减震器来避免由来动荷载造成的震动。通过合理的施工组织和科学的技术运用,顺利完成了转换层大跨度钢结构的施工。     

一类偶数阶Robin型积分边值问题三重正解的存在性

利用Leggett-Williams不动点定理,得到非线性偶数阶微分方程y(2n)(t)=f(t,y(t),y″(t),…,y(2(n-1))(t)),t∈[0,1],满足Robin型积分边界条件y(2i)(0)=∫10ki(s)y(2i)(s)ds,y(2i+1)(1)=0,i=0,1,…,n-1的边值问题三重正解的存在性.