快速多极边界元法解的存在唯一性

本对求解3维弹性摩擦接触问题的快速多极边界元法(FM—BEM)在数学理论上作了深入探讨．首先，利用向量和子空间理论找出快速优化广义极小残余算法(GMRES(m))求解边界元方程组所满足的代数条件．使对工程用FM—BEM解的研究转化为对代数问题的讨论，然后．分三步证明了FM-BEM解的存在唯一性，为FM-BEM求解弹性摩擦接触工程问题提供强有力的数学支撑．     

关于紧光滑流形上半鞅随机微分方程在欧氏空间的嵌入

关于微分流形上随机微分方程的显式解结构研究,上直是随机分析学中倍受关注的问题。文[3]借助光滑流形上非退化椭圆算子产生Riemann度量的思想,把光滑流形上具有非退化扩散项的随机微分方程提升到光滑流形的正标架丛上,从而给出了随机微分方程的     

数字卫星接收机的盲扫功能

1 引言 以海克威5518、卓异东方龙ZY5518和HIC-5518等机型为代表的数字卫星接收机超级盲扫王是真正的盲扫机,均使用ST公司最新推出的Sti5518单片解复用解码器作为核心部件,采用了具有盲扫功能的调谐器和解调器,能自动搜索所有上星的数字节目.其盲扫功能操作很简单,参数设置也较少.进入主菜单,选择"节目设置",设置高频头的本振频率后按"OK"键即可进行"盲扫".盲扫时先自动扫水平极化后扫垂直极化,整个盲扫过程只需十几分种.在盲扫过程中,如发现节目已扫完或想终止盲扫,按"MENU"键即可退出盲扫,并对已扫出的节目自动按顺序储存,非常便利,大大缩短了等待时间.     

四元数射影n-空间HPn的最小CW-复形伦型与它的法线数量特征

利用Morse理论给出四元数射影n-空间HP^n的CW-复形伦型的另个证明，并给出它的最小性与法线的一个数量特征。     

集值映射的切导数与向量优化问题的最优性条件

利用集值映射切导数与半可微概念，给出了无约束与具约束的集值向量优化问题局部真有效解与局部强有效解的最优性条件。     

广义拟变分不等式解集的稳定性及本质连通区的存在性

在赋范线性空间下．讨论广义拟变分不等式解集的稳定性，证明了满足一定连续性和凸性条件的广义拟变分不等式问题构成的空间M中，大多数(在Baire分类意义下)广义拟变分不等式问题的解集是稳定的，并证明了M中每一个广义拟变分不等式的解集至少存在一个本质连通区。     

等厚双层涂层材料受集中力作用的平面问题理论解

界面应力的正确评价是分析薄膜涂层材料力学特性的难题之一。利用镜像点法和Dirichlet等值性原理，本文推导了等厚双层薄膜涂层材料受表面集中力作用的平面问题理论解。该显式理论解是以固定在各镜像点上的局部坐标系下的Goursat应力函数的形式给出的。对应于高阶镜像点的应力函数，可通过递推的方法，从对应于低阶镜像点的应力函数求得，而且也易于计算机编程。随着镜像点阶数的增大，它与界面的距离也越来越大，因而相对应的应力函数对界面应力的影响越来越小。最后的算例表明，只需考虑前面有限个镜像点，便可获得足够精度的解。该理论解可作为格林函数，以求解复杂问题的理论解，也可用作边界元法的基本解，提高数值计算的精度和效率。     

市场化服务型政府：政务公开地大踏步迈进

我国行政体制改革从1982年至今，已经经历了五次大的改革，即1982年、1988年、1993年以及2003年的改革。三十年，弹指一挥间，虽然还有一些问题没有完全解决，政府职能转变依然比较滞后，社会管理、公共服务相对薄弱。但同时我们也看到建立“市场化服务型城市”已经初见成效，这预示着中国政务公开地大踏步迈进。     

艺术生活：衡量城市的幸福指数

“让艺术融入生活”是理想生活。当代城市化进程，导致的是城市空间更加拥挤、资源与利益冲突更加激烈，各种城市问题、危机与矛盾更加尖锐与突出。要提高城市生活品质，不仅要激发出当代都市人强烈的艺术与审美需要，更要改变艺术与城市文明的传统关系。