3维Maxwell方程局部1维多辛格式的能量恒等式

在理想导体边界条件下,对3维Maxwell方程的局部1维多辛Preissman格式的能量守恒性质进行研究.运用能量分析法推导了2个能量恒等式,这些恒等式说明了给出的格式在所定义的离散范数下是能量守恒和无条件稳定的,数值算例验证了结论的正确性.     

一类指数Diophantine方程的解的唯一性

给出并证明了指数Diophantine方程2^x+3^x+a=5^x+b(x,a,b∈N,a>b且a,b为常数）的解的唯一性.     

大尺度海洋大气动力学三维黏性原始方程对边界参数的连续依赖性

利用方程解的先验界及微分不等式技巧, 证明大尺度海洋大气动力学三维黏性原始方程的解连续依赖于边界参数.     

带有白噪声的Berger方程随机吸引子

考虑带有白噪声的Berger方程解的随机渐近性行为, 用渐近先验估计技术和算子分解方法, 通过引入同构映射构造等价过程, 证明随机吸引子在(H²(U)∩H¹₀(U))×L²(U)中的存在性.     

高维Euler方程组的强松弛极限

利用能量积分, 讨论在初值充分小的情形下, 高维带有阻尼项的Euler方程组光滑解的整体存在性和强松弛极限, 得到了解的一致先验估计, 并证明当松弛时间趋于0时, 整体解的渐近行为由多孔渗流方程控制.     

中立型分数阶微分控制系统能控性

研究一类分数阶中立型微分控制系统的能控性问题,对系统状态方程的分析,利用拉普拉斯变换通过基本控制系统的基础解给出了控制系统通解的表达式,并且通过构造格拉姆矩阵,研究了控制系统能控性的充分必要条件;最后通过举出一个格拉姆矩阵的计算举例来进行验证。     

两种改进的非线性方程组四阶迭代求解法

文章基于两点Gauss型求积公式,分别结合梯形积分公式和Adomian分解法构造了两种牛顿型迭代格式.借助泰勒展开式,文章证明了这两种迭代格式都具有四阶收敛,并通过数值实验例子验证这两种迭代格式的有效性.     

雷电波分析与比较研究

本文对双指数雷电流模型和 IEC1 3 1 2—— 1推荐的雷电流模型进行了分析和研究 ,计算了这两种雷电流模型的雷电流参数。在此基础上 ,用 FFT方法分析了雷电流的频谱分布     

一类二阶非线性常微分方程解的长时间行为

讨论二阶非线性常微分方程:-x″ f(t,x,x′)x′ g(x)=h(t)解的整体行为,在适当的条件下此柯西问题的解具有二分性质.     

hb1f广泛表达转基因小鼠品系的建立及其组织形态学分析

人核受体hB1F是核受体超家族Ftz-F1亚家族的新成员, 对其同源基因的研究提示它可能在生物体的胆固醇代谢平衡调节中有重要作用. 在通过显微注射法获得携有hb1f转基因的Founder小鼠后, 各Founder小鼠分别与正常C57小鼠杂交, 同一Founder小鼠经PCR鉴定阳性的F1代间再相互杂交建系. 经F1, F2以及测交子代的分子鉴定, 已成功完成了hb1f广泛表达转基因小鼠品系的建立, 同时也对建系小鼠做了初步的组织形态学分析.