Lubich的数值计算

给出一种求一类线性偏积分微分方程ut(x,t)-∫0tβ(t-s)uxx(x,s)ds=f(x,t)数值解的方法,空间x方向采用孙志忠教授在文献[3]中的六点隐格式离散,时间t方向采用Lubich的拉普拉斯变换数值逆,得出数值解的精度较高,计算也比较简便。     

求解BBM方程的高精度非线性CN差分格式

本文对一类带有齐次边界条件的BBM方程的初边值问题进行了数值研究,提出了一个在时间上具有二阶理论精度,在空间上具有四阶理论精度的两层非线性Crank-Nicolson差分格式,该格式合理地模拟了原问题的一个守恒性质.此外,本文还讨论了差分解的存在唯一性,并利用能量方法分析了该格式的二阶收敛性与稳定性.数值实验表明该方法是可靠的.     

对热传导方程近似解在边界附近的变化研究

讨论了初始条件与边界条件不连续的热传导方程第一类初边界问题近似解在边界附近的变化情况.用有限差分方法求上述定界问题的近似解时,发现绝对稳定的差分格式对较大的网比,在边界附近出现振动.在本文中,讨论振动的发生原因及提出控制振动的一种方法并分析该格式的误差、稳定性等问题,得到了较好的结果.     

基于模拟退火的单向环蛙跳算法在优化问题中的应用

针对混合蛙跳算法求解优化问题时,进化后期种群多样性降低,算法极易陷入局部最优的问题,借鉴模拟退火算法中的Metropolis判别准则改进混合蛙跳算法中的族群内部寻优能力.同时,在族群之间构建一个单向环迁移机制,从而增强算法后期跳出局部最优的能力.对几种典型函数以及TSP问题的测试结果表明:基于模拟退火的混合蛙跳算法的全局搜索能力有了显著提高,并能有效避免陷入局部最优问题.     

求解二维热传导方程的高精度紧致差分方法

基于Richardson外推法提出了一种数值求解二维热传导方程的高阶紧致差分方法.该方法首先利用时间二阶、空间四阶精度的紧致交替方向隐式(ADI)差分格式在不同尺寸的网格上对原方程进行求解,然后利用Richardson外推技术外推一次,最终得到了二维热传导方程时间四阶、空间六阶精度的数值解,数值实验验证了该方法的高阶精度及有效性.     

流式网络图像的保留格式加密

根据流式网络图像（PNG）图像的压缩过程和格式要求,提出了基于保留格式加密的PNG图像的格式兼容加密方案. 该方案在图像压缩之前,对各种类型的PNG图像采用不同的加密算法,实现对像素矩阵的保留格式加密. 探讨了该方案在PNG图像的退化和保密两个方面的应用,通过实验对加密效率进行了分析. 实验表明,该方案能够有效地实现对PNG图像的退化和保密,并具有较高的效率.      

二维扩散反应方程的三次样条高精度加权隐式差分格式及其多重网格方法

利用二阶微商的三次样条四阶紧致差分逼近公式,推导出两种数值求解二维扩散反应方程的两层9点加权隐式紧致差分格式.当θ=1/2时,该格式在时间和空间方向上分别达到二阶和四阶精度.通过Fourier方法讨论知,当1/2≤θ≤1时,格式是无条件稳定的;当0≤θ<1/2时,格式是条件稳定的.为了克服传统迭代法在求解隐格式方面的困难,差分方程采用多重网格方法进行求解并将本文格式的结果与P-R格式及C-N格式下的结果进行比较.数值实验结果验证本文方法的精确性和可靠性及多重网格方法的效率.     

广义Rosenau-Burgers方程的有限差分近似解

在对紧离散系统的研究中,Rosenau-Burgers方程的数值求解方法一直是一个热门课题.针对广义Rosenau-Burgers方程的初边值问题,利用有限差分法进行了数值研究,提出了一个三层隐式差分格式,讨论了差分解的先验估计,并利用离散泛函分析方法分析了该格式的二阶收敛性与稳定性.数值算例表明,本文的格式是有效可靠的.     

我国第一台光盘伺服槽及预制格式刻划机的诞生——王立鼎院士访谈录北大核心CSCDCSSCI

王立鼎是我国著名精密机械专家,主要研究领域为超精密齿轮工艺与测试技术、激光光盘装备以及微机械等。在这两次访谈中,作为国家"七五"攻关项目"光盘伺服槽及预制格式刻划机"的总负责人,王立鼎详细讲述了我国第一台光盘伺服槽及预制格式刻划机的诞生历程,包括研制的历史背景、当时的国内外研究状况、任务的下达、多项单元技术的创新和突破,以及科研队伍管理理念等方面。王立鼎的回忆再现了我国第一台光盘伺服槽及预制格式刻划机许多鲜为人知的历史细节,希望对我国今天碰到的"卡脖子"技术的创新与突破有所启发。     

基于FPGA硬件的彩色图像恢复系统设计

为实现数字图像的实时处理,在FPGA上应用硬件描述语言实现功能模块的方法,利用FPGA技术,在数码摄影系统前端对Bayer格式图像进行实时彩色复原,并对系统进行调试.选用四合一简单算法处理Bayer图像,使其恢复成全彩色图像,并用MATLAB软件先验证算法的正确性与可靠性,最后在ISE上进行工程仿真.仿真实验表明,系统工作实时、正确、可靠.