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

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

智能五子棋博弈程序的核心算法

人工智能是一门正在迅速发展的新兴的综合性很强的边缘科学,而博弈是人工智能的主要研究领域之一,本文通过一个五子棋博奕程序的设计,介绍了博弈程序设计的核心内容:包括博奕树搜索和估值函数两个方面.     

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

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

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

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

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

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

同步数字集成电路设计中的时钟树分析

研究了同步数字系统的组成和时钟偏移,并结合一个数字集成电路8051的时钟树设计实例,介绍了时钟树的经验结构和设计方法流程.比较了采用Synopsys公司的布局布线工具实现的自动时钟树分析与指定结构时钟树分析,证明结构恰当的时钟树能得到比自动时钟树分析更好的结果.     

关于弱半根子群

证明了：①如果局部有限群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转移理论．     

一类特殊的LF-网空间

本文研究了LF-网空间和它的几个子空间类,考虑了LF-k-网空间与几类广义度量化空间的关系,并且给出了LF-k-网空间的一个等价条件.