边界单元法三维应力分析计算程序

以三维弹性力学问题的基本解 (Kelvin解 )为基础开发了边界单元法三维弹性应力分析计算程序 ,并对其进行了验证。结果表明 ,该程序可用来求解三维弹性应力问题 ,尤其适用于三维应力集中问题。程序中采用动态分配内存 ,自动选点积分 ,并利用分块解法求解方程组 ,有效地节省了计算机资源 ,扩大了求解问题的规模。     

叠加势V(r)=A_1r~6+A_2r~2+B_2r~(-4)+B_1r(-6)径向Schrdinger方程的解析解

采用连分法得到了幂函数与逆幂函数V(r)=A1r6+A2r2+B2r-4+B1r-6的叠加势径向Schrodinger方程的 解析解.     

数字化天气雷达强度标定方法

数字化天气雷达的组网观测是天气雷达发展的必然趋势，现有数字化天气雷达提供的强度场必须经过强度标定后再用于组网，因此迫切要求制定数字化天气雷达标定方法。指出了使用标定方程时应注意的量纲问题，针对有关文献中存在的问题提出了解决方法。     

功能型丙烯酸乳液的合成及其性能

以一种阴离子表面活性剂与辛烷基酚聚氧乙烯醚为复合乳化剂，在基体配方中加入多种功能单体，采用半连续滴加方法制备了室温自交联型丙烯酸乳液，讨论了功能单体丙烯酸含量、单体滴加时间对丙烯酸乳液的流变性能、乳胶膜的交联度及耐水性的影响。结果表明：随着丙烯酸含量增加，其乳液粘度上升，乳胶膜交联度增加、吸水率先下降后上升；增加单体滴加时间，可使乳胶粒平均粒径变小，分布变窄，相应生成的乳液粘度变小，同时其乳胶膜交联度上升，吸水率下降。     

Multisymplectic five-point scheme for the nonlinear wave equation

In this paper, we introduce the multisymplectic structure of the nonlinear wave equation, and prove that the classical five-point scheme for the equation is multisymplectic. Numerical simulations of this multisymplectic scheme on highly oscillatory waves of the nonlinear Klein-Gordon equation and the collisions between kink and anti-kink solitons of the sine-Gordon equation are also provided. The multisymplectic schemes do not need to discrete PDEs in the space first as the symplectic schemes do and preserve not only the geometric structure of the PDEs accurately, but also their first integrals approximately such as the energy, the momentum and so on. Thus the multisymplectic schemes have better numerical stability and long-time numerical behavior than the energy-conserving scheme and the symplectic scheme.     

测度链上非线性微分方程的特征值问题

讨论了非线性特征值问题 u△△(t) λa(t)f(u(δ(t) ) ) =0 ,t∈ [0 ,1]u(0 ) =0 =u(δ(1) ) 正解的存在性 .这里 [0 ,1]是一可测链 ,a与f取正值 ,且limx→ 0 f(x)x 与limx→∞f(x)x 不一定存在     

氧自由基清除剂及其在体育运动领域中的应用

综述了近年来医学界、生物学界及体育界关于氧自由基清除剂的研究现状,分析归纳出氧自由基清除剂的种类、氧自由基对机体的作用及清除机理、抗氧自由基天然成分的功能性食品及其在体育运动领域中对运动员健康的保护作用.     

一类Neumann边值问题的多重正解

通过没有(PS)条件的山路引理和对最佳Sobolev常数及能量泛函的分析，得到了一类具有次线性及临界增长组合非线性项的齐次Neumann问题多重正解的存在性。     

土工格栅加筋路堤的三维有限元分析

运用通用有限元程序ANSYS ,对软弱地基上路堤加筋的作用和效果进行了三维有限元分析 .计算中采用DP模型模拟土体的材料非线性 ,采用面—面接触单元考虑筋土界面的状态非线性 ,并采用薄膜单元来模拟土工格栅 .通过对相关参数的敏感性分析 ,证明了土工格栅模量对加筋效果有显著影响 ,并且加筋位置靠近路堤底部时更能发挥加筋性能 ;证明了在土体发生显著侧向变形时土工格栅能够发挥抗拉效果 ,从而限制土体侧向变形和路堤外侧土体的隆起 ,达到减小沉降和不均匀沉降的效果 .研究成果对软弱地基路堤加筋处理和新老路基结合部处理均有借鉴意义     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．