一维非线性波动方程的有限元分析

对一维非线性波动方程建立了全离散有限元格式,证明了解的存在唯一性,给出了有限元解的误差估计.     

基于产业-人口集聚分析的都市经济区空间功能分异——以我国三大都市经济区为例

产业以及与之紧密联系的人口空间集散态势导致都市经济区的空间功能分异.以地级市为基本空间单元,分别计算我国三大都市经济区基于从业人口的区位熵系数和塞尔系数,并对塞尔系数进行二级分解计算.前者表征产业的专业化程度,后者则反映了产业空间集聚导致的差异变化趋势.与此同时,塞尔系数的二级分解说明区际和区内差异的变化趋势.结果表明:三大成熟都市经济区核心城市产业综合管理化发展态势以及非核心城市产业专业化集聚发展态势显示都市经济区空间功能正日益分化,并同时带动流动人口空间集散与之相适宜.为此,都市经济区空间发展战略要通过分类实施空间发展政策等宏观调控,实现协调发展.     

Rosenau-Burgers 方程的三层差分格式

作者对Rosenau-Burgers方程的初边值问题进行了数值研究,提出了一个三层平均隐式差分格式,讨论了差分解的存在唯一性,并分析了该格式的二阶收敛性与稳定性,数值试验验证了该方法的有效性.     

一维半线性色散耗散波动方程的紧致差分格式

作者对一维半线性色散耗散波动方程建立了一类紧致差分格式,讨论了差分解的存在唯一性,分析了该格式的收敛性、稳定性,得到了收敛阶为O(τ2+h4).数值试验验证了方法的有效性.     

XML技术在软件测试框架中的应用

对国内外软件测试工具的系统框架进行研究，在此基础上提出一种扩展性更好的系统框架设计方案。在本文提出的系统框架中，源程序信息使用XML格式的文件表示，根据具体应用，系统使用不同的信息提取模板文件（XSLT格式）对应用关心的程序信息进行提取。随着应用的增加，系统只需要扩充相应的信息提取模板文件，而不用改变源程序信息文件。     

全数字化高速数传解调器的设计与实现

针对千兆量级高速数传信号解调器,给出一种全数字化解调方案。在FPGA中采用并行结构实现下变频、载波恢复、时钟恢复以及信道均衡。测试结果表明,该方案能有效的实现信息速率2 400 Mbps高速数传信号解调,解调损失小于2 d B。