Banach空间中的有界线性算子广义预解式的存在性

本文利用Banach空间中有界线性算子广义逆的稳定性特征来研究广义预解式的存在性,借助这一结果我们对两类重要的有界线性算子:Semi-Fredholm算子和有限秩算子给出其存在广义预解式的具体的特征.     

直升机旋翼下洗流场的数值模拟

建立了三维欧拉方程数值模拟旋翼流场的方法和模型,以用于实际直升机旋翼诱导速度场计算,为火箭导弹发射提供一个旋翼下洗流场计算方法。在该模型中,使用格心形式有限体积法来求解旋翼流场,时间推进应用五步Runge—Kutta方法,并采用了由动量理论导出的远场边界条件,使用了当地时间步长和隐式残值光顺的加速收敛措施;进行了算例计算,分别给出了Caradonna模型旋翼桨叶表面压力分布以及AH-1G模型旋翼流场中沿导弹发射线上的诱导速度分布的计算结果,与可得到的试验数据进行了对比,吻合良好。最后,得出了几点结论。     

等离子体包覆目标的RCS计算

采用直接FDTD方法对雷达波在等离子体包覆目标附近的总场和散射场分布进行了仿真。通过远-近场变换计算了远场电场和不同等离子体分布情况下的目标雷达散射截面RCS值。仿真结果表明,采用等离子包覆的方法可以有效地降低目标的RCS值。等离子体密度和厚度对目标RCS的影响较大,等离子体碰撞频率对目标RCS有一定的影响。     

基于高阶紧致格式的二维不可压NS方程求解

本文介绍了一种基于原始变量的用于求解二维非定常不可压Navier-Stokes方程的高阶紧致格式。这种紧致格式最初是用于计算声学（CAA）的高精度格式,相对于传统的紧致格式,使用该格式的优点在于减少计算量的同时降低了边界模板的处理难度。这种方法建立在非交错网格上,空间离散具有六阶精度。压力Poisson方程基于九基点模板的四阶紧致格式进行离散,超松弛迭代进行求解。时间推进上采用四阶Runge-Kutta方法。为验证该方法的精度和有效性,利用该格式计算了一个具有解析解的问题,以及二维非定常情况下的方腔驱动流动问题,并且和传统的紧致格式进行了计算时间的对比。     

基于模拟有限差分法的离散裂缝模型两相流动模拟

模拟有限差分作为一种新型数值计算方法,因其良好的局部守恒性和对复杂网格系统的适用性,在计算流体力学和油藏数值模拟中得到应用。将模拟有限差分方法进一步应用于离散裂缝流动模拟中,对模拟有限差分法的基本原理进行详细阐述,建立相应的离散裂缝数值计算格式,并采用IMPES方法对其两相流问题进行求解,并与实验结果对比。对比结果验证了新方法和程序的正确性,通过复杂离散裂缝算例进一步验证了方法的正确性和程序的鲁棒性。     

交换Fuzzy正则语言注记

在探讨形式语言的交换性质的基础上,提出了AbelianFuzzy正则语言的概念,探讨了AbelianFuzzy正则语言在并、交和补算子下的封闭性,并得到了Fuzzy正则语言是半交换的的几个等价条件.由于Fuzzy正则语言的交换性质是形式语言之中一种较好的性质,对它的研究将有助于Fuzzy正则语言的机器实现.     

具有干扰输入的一类不确定线性系统的有限时间观测器设计

借助于有限时间稳定性的概念,对于具有干扰输入的线性系统引入了有限时间观测器的概念,这一概念保证,在给定的有限时间区间内,观测误差小于一个给定的界,这里所讨论的干扰输入满足一个动态方程．利用线性矩阵不等式（LMI）的方法,讨论了具有干扰输入的一类不确定性线性系统存在有限时间观测器的一个充分务件,并给出了观测器的具体设计．     

一类非线性反应——扩散方程差分格式的稳定性问题

对一类特殊非线性反应-扩散方程,首先引入一个有限差分格式,然后用变分近似法讨论该格式的稳定性问题.     

基于CPLD测温电路的设计和实现

介绍一种基于可编程逻辑器件控制的数字温度计,从硬件和软件两方面介绍了CPLD温度控制系统的设计,对硬件原理图和程序框图作了简洁的描述.数字温度计与传统的温度计相比,具有读数方便,测温范围广,测温准确,其输出温度采用数字显示,该设计控制器使用XC2C256-7VQ100CES的CPLD芯片,测温传感器使用NTC热敏电阻,用LCD以串口传送数据,实现温度显示.这种温度计在测温范围为35℃～42℃时的精度为0.1℃,实验证明其具有很好的可靠性和实用性.     

基于改进循环谱的直扩信号检测方法研究

基于循环谱理论,根据直扩信号与平稳噪声具有不同的谱相关特性,可对直扩信号进行检测,分析循环谱包络在循环频域——谱频域上的分布,能实现载频及伪码速率的参数估计。在有限时间条件下,为实现更低信噪比情况下的信号检测,提出了集平均的频域平滑循环周期图的改进算法,避免了多维搜索,并对算法进行抗噪声性能及统计特性分析,理论表明具有进一步的抑制噪声水平。通过计算机仿真,说明了此法能在低信噪比情况下实现参数估计,并分别证明了数据长度及平滑点数对实验数据的影响,验证了理论分析的正确性。