直接有限环

证明了如下结果:1)环R是直接有限环当且仅当每个右R-满射f:R→R是单射;2)若R是右C2环,则R是直接有限环当且仅当每个右R-单射f:R→R是满射当且仅当R/J(R)是直接有限环;3)设R是左半A-bel环,则R是直接有限环;4)设R,S是两个环,RVS是(R,S)双模,则C=RV     

一种新的多模式快速匹配算法

提出了一种针对多模式的快速模式匹配算法。算法分为预处理阶段和匹配阶段两个部分，预处理阶段对所有待匹配的模式进行分析，构造一个关于这些模式的树型有限状态自动机，匹配阶段利用这个模式自动机．对文本串进行一次性的搜索，查找文本是否包含模式集中的模式。为了提高了匹配速度，算法利用已匹配的字符串信息实行跳跃式的比较，避免了文本扫描指针的回溯。     

有限群的π-拟正规嵌入子群与p-幂零性

通过分析群阶和特殊素因子,利用Sylow子群二次极大子群的π-拟正规嵌入性质,得到:设H是有限群G的正规子群使得G/H为p-幂零群, P是H的一个Sylow p-子群, 这里p是|G|的一个素因子.若P的二次极大子群均在G中π-拟正规嵌入且下列条件之一满足,则G是p-幂零:(1) (|G|, p2-1)=1; (2) NG(P)/CG(P)是p-群.     

一种新的多模式快速匹配算法

提出了一种针对多模式的快速模式匹配算法.算法分为预处理阶段和匹配阶段两个部分,预处理阶段对所有待匹配的模式进行分析,构造一个关于这些模式的树型有限状态自动机,匹配阶段利用这个模式自动机,对文本串进行一次性的搜索,查找文本是否包含模式集中的模式.为了提高了匹配速度,算法利用已匹配的字符串信息实行跳跃式的比较,避免了文本扫描指针的回溯.     

论政府在配置城市信息化资源中的作用

城市信息化建设是我国实行信息化战略的重要内容之一，它对推动城市化的进程，对提高城市的内在品质都具有重要的意义 。城市信息化是一项巨大的系统工程，在这种复杂的建设过程中，政府怎样配置城市信息化资源，直接决定了城市信息化建设的路径：能否使有限资源发挥最大效率，最终会决定城市信息化建设的进程快慢。     

关于一类三角多项式差分插值的正则性

本文通过引进差分算子,在结点处对函数和它的m阶差分同时插值,给出了这种插值为正则的一个充要条件,并求出满足条件的三角多项式的显式表达式.     

弹性波时域仿真的两个问题

为了解决医学超声探测的动态计算机仿真问题，将计算电磁学的时域有限差分(FDTD)方法应用于弹性机械波的模拟．建立了模拟弹性波时的有限差分模型，给出了弹性媒质运动学方程的FDTD离散形式，提出了复杂媒质边界的处理方法，用完全匹配层吸收边界截断计算区域．数值实验验证了上述模型和计算方法的有效性．     

GPS伪距差分解算改进模型的研究

差分GPS定位技术是通过基站与移动站之间的空间相关性，来消除公共误差部分，以提高定位精度。伪距差分是目前用途最广的一种定位技术，文章详细列出了GPS伪距差分解算模型的数据处理算法，对于伪距差分中的有关问题提出了改进模型，该模型降低了对基准站接收机时钟的要求。由于基准站的精确坐标已经知道，在计算卫星坐标时，要计算接收机钟差，因此基准站的接收机钟差可以精确获得。     

串列叶栅静子粘性全三维流场的数值模拟

该文发展一种数值模拟串列叶栅静子内部流场的方法。应用有限体积法及Baldwin-Lomax紊流模型数值求解与时间相关的三维可压缩的薄层Nayier-Stokes方程组。对法国。Turmo-Ⅲc小型航空发动机静子串列叶栅流场作了计算与分析。在中径处，前、后排叶片吸力面上的附面层很薄，尾迹宽度比较窄。由于前、后排尾迹同端壁附面层相互干扰，机匣及轮毂附近尾迹较宽。应用法国ONERA某静子平面串列叶栅作为验证算例，计算与试验结果一致，表明了该文算法的可靠性。     

复杂外形火箭导弹三维绕流与喷流干扰流场的数值模拟

该文基于雷诺平均三维Navier-Stokees方程及k—ε模型，采用高精度的有限体积TVD格式以及多重网格Runge-Kutta时间推进算法对在超声速有攻角条件下带尾翼／弹翼的弹箭绕流与喷流干扰流场进行了数值模拟。获得了绕流和喷流相互干扰的波系结构，以及弹翼与尾翼、弹翼／尾翼与弹体相互作用的复杂流场，分析其流动现象，揭示了流动规律，为火箭导弹合理的气动布局提供依据。