带有3对对称生成器的小波双框架的构造

采用提升格式的思想来构造带有3对对称生成器的小波双框架。利用构造双正交小波的思想,通过使用一步提升格式,接着再使用一步对偶提升格式,如此反复进行来获得小波双框架的分解重构算法的模板。其中模板中的每一步都是对称的,这样通过获得的算法模板就可以推导出相应对称滤波器组的参数化表示;然后根据混合酉扩展原理的条件来构建方程组,通过求解方程组获得关于滤波器组中参数的一个通解;最后通过选择合适的解来获得较为理想的滤波器组。另外,根据高通输出与低通输出对应输入信号的奇偶节点的不同形式,可以产生3类模板,文中对其中一种形式的模板进行了详细陈述,并通过实例进行了验证。     

翻译流程中计算机辅助翻译的基本功能

翻译流程分析表明,译前文件格式解析和译后质量追溯应与翻译记忆并列,共同构成计算机辅助翻译软件的三个基本功能,其中,格式解析是必要前提,翻译记忆是核心,质量追溯是保证。三个功能并提,理论上能够解决计算机辅助翻译软件适用范围问题,实践中有助于缩小国产和国外辅助翻译软件的差距,扩大辅助翻译工具的教学研究范围,提高翻译效率和译文质量,加快翻译行业现代化的步伐。     

定常Stokes问题的新混合元格式

利用Green公式将定常的Stokes问题转化为一个与其等价的新的混合变分格式,基于新的混合变分格式,对速度和压力分别用双二次元和双线性元进行逼近.该格式避开了H(div)空间,使得空间构造简单;同时在特殊的单元剖分下通过定义插值算子,利用有限元插值理论和一些特殊技巧,得到了速度的能量模及压力的L~2模的最优误差估计.     

拟线性黏弹性方程一个新的H~1-Galerkin混合有限元分析

利用不完全双二次元Q_2~-和一阶BDFM元,对拟线性黏弹性方程构造了一个新的H~1-Galerkin混合元模式。通过Bramble-Hilbert引理,证明了单元所对应的插值算子一个新的高精度结果。进一步地,在半离散和一个二阶全离散格式下,分别导出了原始变量u在H~1-模和中间变量珗p在H(div)-模意义下的超逼近性质。     

带耗散的气体动力学方程组的广义解存在性定理

关于一维均熵气体动力学方程组vt-ux=0,ut+[p(v)]x=0,在p(v)=k2v-γ时,(1970),T.Nishida(1968)及T.Nishida和J.A.Smoller(1973)分别就0<1,y />0,张同和郭于法(1968)就一类初值获得初值问题广义解的整体存在性。本文将上述结果推广到带耗散的气体动力学方程组vt-ux=0,ut+[p(v)]x=-A2u的情形,这里A=const。     

四面体上的光滑插值格式

给出一种四面体上的光滑插值格式．对于三维区域的一个四面体剖分,其插值函数插值给定于剖分顶点处的函数值和一阶偏导数值．该插值格式对三次多项式是完全重建的．     

湍流射流的数值模拟

用Ｋ－ε和Ｋ－Ｗ湍流模型及亚格子涡模型进行湍流射流的数值模拟。方法采用４步Ｒｕｎｇｅ－Ｋｕｔｔａ方法离散时间导数项,３阶ＥＮＯ格式离散对流通量项,中心差分格式离散粘性通量项,数值求解Ｒｅｙｎｏｌｄｓ平均可压缩Ｎ－Ｓ方程。     

对流扩散方程特征线修正交替方向差分格式

特征线修正技术是解对流扩散方程的有效数值方法．将特征线修正技术与算子分裂技术相结合,把每个时间步上的高维空间问题化为若干个一维问题求解,构造了特征线修正交替方向差分格式,严格给出了稳定性和收敛性分析     

Sine-Gordon方程初边值问题的能量守恒差分格式

对于非线性ＳｉｎｅＧｏｒｄｏｎ方程的初边值问题提出了一种能量守恒差分格式,证明了该格式的收敛性和稳定性。数值计算结果表明,该方法不仅计算速度快,而且计算程序简单,计算精度高。     

WIS测井数据格式中二维数据的解析与转储

用Forward测井解释平台自带的格式转换器将WIS数据转换成其他格式数据的时候,二维数据不能成功地转为TXT等文本格式。剖析了WIS格式的存放方式,并在.Net平台下用C#语言编写了WIS格式转储为TXT或Excel格式的软件。此软件不但可以轻松地对测井数据进行转换,而且能够正确地解析出WIS文件中的二维波形测井曲线。