伪压缩映像修正迭代序列的强收敛性

在严格凸自反的实Banach空间的框架下,用一种变形的隐迭代格式xt=tf（xt）＋ux,＋vTx,,研究一闭凸集合K上的伪压缩映像的不动点问题,当满足适当条件,且t→0,u→0时,{xt}强收敛至T的一个不动点,并且此点也是一类变分不等式的解．     

非线性随机延迟微分方程半隐式Euler方法的收敛性

 首先利用附近已有节点上的值通过插值对延迟项进行数值逼近,然后针对较一般情形下的一类非线性随机延迟微分方程初值问题,得到了带线性插值的半隐式Euler方法在均方意义下是收敛的理论结果,它推广了已有文献中的相关结论.     

系统寿命分布估计中的模式识别

在由多个指数分布组成的元件系统中,给出系统的分布函数将有助于对系统的寿命特征进行更精细的研究.利用Gibbs抽样法给出了混合指数分布的极大似然估计和最大后验估计.通过引进识别变量,对系统寿命数据进行分类识别,从而更好地监控系统中各元件的工作状况,为系统的可靠运行提供保证.     

脉冲激光作用下金属反射镜热力耦合数值模拟

利用有限元法对单脉冲激光作用下铜基Ni/Au反射镜的热力耦合以及温度场分布进行了数值模拟,得出了在不同功率的单脉冲激光照射下的温度场和应力分布,并对脉冲功率密度与镜面最大温升以及膜层最大应力的关系进行了分析.     

形式化方法自动生成测试用例的算法研究

本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤.算法设计,并进行了算法分析。最后指出了下一步工作的重点所在。     

专业英语的特点及教学

本文对专业英语的特点及其教学及考核方法进行了初步探讨,在教学中应注重学生词汇量的扩充,专业背景的补充,阅读、翻译与写作水平的提高,列举了几种行之有效的考核方法,促使学生通过专业英语的学习,熟练阅读专业文献,获取专业知识,提高参与国际交流的能力。     

抽象空间中Hammerstein型积分-微分方程Cauchy问题的L-拟上下解法

通过建立一个新的比较原理,利用L-拟上下解方法和混合单调迭代法,研究了Banach空间中一阶非线性积分-微分方程初值问题解的存在惟一性,并给出了近似解的迭代序列和误差估计式.     

硫酸软骨素提取方法研究

系统介绍了采用降解法提取硫酸软骨素的方法——中性盐法、碱提取法、酶提取法、超声波法和乙酸抽提法的工艺路线及其优缺点.     

启发式教学法在结构力学教学中的体会

启发式教学法符合学生自身的认知发展规律,能够调动学生思维,引导学生生动活泼地学习,并培养独立思考能力。通过结构力学课堂教学的体会,从问题启发、形象启发、讨论启发、提示启发、计算机辅助启发、作业启发等六个方面进行了一些尝试,收到了比较好的课堂效果。     

在西藏高校文科专业开设高等数学课程初探

文章针对目前我国高校高等数学的教学现状,阐述了在我区高校文科专业开设高等数学教学的必要性,并在如何加强教材建设、教学方法的改革、师资队伍的建设以及学生学习评价体系的建立等方面做了探索。