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

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

有限群的π-拟正规嵌入子群与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-群.     

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

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

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

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

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

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

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

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

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

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

关于弱半根子群

证明了：①如果局部有限群G的每一个子群H是弱半根群且对任意P∈π（H）满足H≠H^p，那么G是局部幂零群而且每一个Sylow P-子群是有限群．②令G是一个P-群且exp（G）〈∞，如果│G：G^p│=∞，但是G的所有真子群是弱半根群，那么对任意xG^p∈G／G^p，其中xG^p不属于G／G^p的中心，有G=〈x〉^G G^p．     

具有混合策略的二人有限零和灰色博弈

基于灰色系统理论的思想和方法，探讨了具有混合策略的二人有限零和博弈问题．提出了具有混合策略的二人有限零和灰色博弈的概念．以及相应的平衡解、上、下临界平衡解、理想平衡解、口定位平衡解、均值定位平衡解等概念．证明了具有混合策略的二人有限零和灰色博弈问题平衡解的存在性．并且推证过程也提供了求解上、下临界平衡解、口定位平衡解和均值定位平衡解的方法．指出了灰色博弈问题的最优值与其上、下临界博弈问题最优值之间的关系．以及理想平衡解存在的一个充分条件．中的实例说明了有关概念及结论的合理性与求解方法的有效性。     

群分次环的Clifford转移定理的推广

本为曾吉等人的章(献[1])的继续．曾的章推广了单模情形下分次环的Clifford直接理论．得到了对有限生成半单分次模情形下的Clifford直接理论．在此基础上．将单模上分次环的Clifford转移理论推广到有限生成半单模上的分次环的Clifford转移理论．