论国家对农民工群体的政策缺失

伴随着国家城市化和工业化进程的加快，农民工成为一个越来越受人们关注的群体。在我国以户籍制为基础的城乡二元结构下，农民工有着非常复杂的身份，他们生活、工作并居住在城市，但是他们的户籍在农村。在我国，社会福利保障制度是以户籍制为基础划分的，这样特殊的背景导致了农民工群体在很多方面被排除在社会福利保障制度之外。目前，我国正在积极构建社会主义和谐社会，在这个大背景的感召下，农民工群体作为和谐社会的一个特殊群体，对他们的社会政策有待进一步完善。本文分析了农民工群体在医疗保险、用工制度、子女教育等方面的政策缺失，并提出了相应的政策建议。     

基于代数变换求解P0阵线性互补问题的不可行内点算法

基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性.     

部分线性模型的渐近性

考虑Ｙｉ＝Ｘ＾ｔｉβ＋ｇ（ｔｉ）＋εｉ，１≤ｉ≤，忱里Ｘｉ是一固定设计点列，ｔｉ是独立同分布随机变量并且服从［０，１］上均匀分布。     

粘性／非粘性方程有限元和谱方法混合逼近

讨论有粘性和无粘性Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程有限元和谱方法混合逼近问题，弱交面匹配关系被应用。收敛估计显示有限元精度和谱精度可在各自的子区域中得到。     

关于正线性算子的Woronovskaja－型定理

本文对可用正线性算子｛Ｌ＿ｎ｝逼近的满足一定的可微性条件的函数类给出Ｗｏｒｏｎｏｖｓｋａｊａ——型定理，并将所得结果应用到几个特殊的正线性算子上，从而基本上解决了这些正线性算子的Ｗｏｒｏｎｏｖｓｋａｊａ——型问题。     

现代控制论中能控性定理证明方法之比较

就目前在现代控制论科教书中关于战性定常系统的状态能控性的几种常用证明方法提出异议，阐述看法并进行比较。     

建筑物室外环视中加速绘制算法

提出一种用于建筑物环视系统混合绘制的加速方法,场景划分为主体模型和层次环境的带有深度的图像缓存(sprite with depth),采用BSP树存储场景的具有深度的图像缓存,用模型对存储场景的BSP树应用三维裁剪算法来减少不必要的绘制,并在环视过程中采用生成替代图像缓存方法,加速环视场景的生成.     

“解方程器”软件包(EQNS-SOLVER)

作者提出了对于任意多项式方程组的一种带有普遍性的求解方法。多项式方程组可能没有解,或者有无穷多个解,或者有有限个解,解是实数也可以是复数。在有限个解的情况下,所创建的方法能够求出所有的解。作者完成了一个软料包,称为《解方程器》,曾在微型计算机上用FORTRAN语言完成计算过程。本文是《解方程器》软料包的说明,内容包括基本原理、方法、程序结构、应用举例以及使用的步骤。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。