二阶混合型积分微分差分方程的线性边值问题的存在性与唯一性

利用微分不等式技巧研究了某一类二阶混合型积分微分差分方程的线性边值问题,在上下解存在的条件下,得到了解的存在性和唯一性定理.结果表明,这种技巧为其它边值问题的研究提出了崭新的思路.     

三阶非线性方程三点边值问题的奇摄动

讨论了三阶非线性微分方程三点边值问题的奇摄动．利用积分算子和微分不等式技巧,得到了解的存在性、唯一性与渐近估计．结果表明,这种技巧为其它三阶边值问题的研究提出了一种新的思路．     

关于一类微分中值命题辅助函数的构造方法

给出了一类微分中值命题辅助函数的构造方法。     

CRC通用校验测试工具的设计与实现

CRC(循环冗余校验码)编码是数字信号传输中用得较普遍的一种差错控制编码.它不但可以用于纠正独立的随机错误,也可以用于纠正突发错误.目前已有的CRC校验算法程序很多,但往往只以一种生成多项式为例进行编写,缺少完整、通用性好、用户界面良好的应用软件.介绍了一种CRC通用校验测试工具的设计与实现过程,本测试工具将各种类型的CRC校验算法进行汇总,类型全、计算精度高、速度快、用户界面好、易操作.     

三次有理多项式插值样条函数

给定一组有序的数据点（ｘｉ，ｙｉ）（ｉ＝０，１，…，ｎ），且ｘｏ〈ｘ１〈…〈ｘｎ，本文讨论三次有理多项式插值，Ｃ＾２三次有理多项式样条插值导出了一个线性方程组，适当限制权系数，这个方程组有唯一解。     

一种求解多体系统微分—代数方程的拉格朗日乘子方法

本文给出了一种求解多体系统动力学微分-代数混合方程组（DAES）的拉格朗日乘子方法。该法将时间按照Newmark差分格式进行离散化，位移约束方程（完整约束）按照泰勒级数展开，与动力学方程及速度约束方程（非完整约束）组合进行迭代求解。求解中位移约束的满足保证了速度、加速度约束的自动满足，从而无须进行违约修正。由于该方法对约束方程没有特殊要求，而且无须进行违约修正，从而保证了该方法对于一般多体系统动力学微分-代数方程求解的稳定性和适用性。本文求解了多体系统动力学中的一个七杆机构标准考题，与文献[1]中的结果及ADAMS/10.1的计算结果比较表明，该方法和利用该方法编制的程序是正确的。     

连续时间分支过程的一类推广

随机稳定性是各种随机模型中的至关重要的问题，随机稳定性的关键问题是找出过程遍历的条件。本文对连续时间分支过程的一类推广进行了研究，给出了过程随机单调和强遍历的条件，与此同时，得到了最小过程是Feller转移函数的条件。     

微分电位溶出法测定废水中铅

微分电位溶出法测定废水中铅，变异系数小于７％，回收率在９３％～１００％，线性范围在０～０．２μｇ／ｍｌ。