用n表示第n个素数

给出一个用ｎ 表示第ｎ 个素数的公式ｐ１ ＝ ２ｐｎ ＝ ３ ＋ ∑∞ｋ＝ １ １ ＋ ｎ － １２ － ∑ｋｉ＝ １ ｓｉｎ （２ｉ）２ｉ＋ １πｓｉｎ π２ｉ ＋ １ｎ － １２ － ∑ｋｉ＝ １ ｓｉｎ （２ｉ）２ｉ＋ １πｓｉｎ π２ｉ ＋ １ 　　（ｎ ＝ ２,３,４,…）     

An SOR Implicit Time-accurate Scheme in Calculating Unsteady Flows

A new time-accurate marching scheme for unsteady flow calculations is proposed in the present work. This method is the combination of classical Successive Over-Relaxation (SOR) iteration method and Jacobian matrix diagonally dominant splitting method of LUSGS. One advantage of this algorithm is the second-order accuracy because of no factorization error. Another advantage is the low computational cost because the Jacobian matrices and fluxes are only calculated once in each physical time step. And, the SOR algorithm has better convergence property than Gauss-Seidel. To investigate its accuracy and convergency, several unsteady flow computa- tional tests are carried out by using the proposed SOR algorithm. Roe’s FDS scheme is used to discritize the inviscid flux terms. Un- steady computational results of SOR are compared with the experiment results and those of Gauss-Seidel. Results reveal that the numerical results agree well with the experimental data and the second-order accuracy can be obtained as the Gauss-Seidel for unsteady flow computations. The impact of SOR factor is investigated for unsteady computations by using different SOR factors in this algorithm to simulate each computational test. Different numbers of inner iterations are needed to converge to the same criterion for different SOR factors and optimal choice of SOR factor can improve the computational efficiency greatly.     

Robust and efficient computation of turbulent flows around civil transport aircraft at flight Reynolds numbers

This work aims at providing numerical methods that enable the robust and efficient simulation of turbulent flows around civil transport aircraft configurations at flight Reynolds numbers. Robustness problems related to the multigrid treatment of advanced transport equation turbulence models have been identified preventing convergence of simulations at high or flight Reynolds numbers. Therefore the application of multigrid to the turbulence equations is omitted while the multigrid treatment of the mean flow equations stays unchanged. Moreover, a fully implicit time integration scheme – a DDADI approach – is applied to the turbulence equations. The new approach raised robustness to a sufficient level to converge viscous computations at flight Reynolds numbers. Furthermore, the convergence speed of aerodynamic coefficients for three dimensional applications has also been improved significantly.     

防代理技术在校园网中的应用

本文分析了某大学校园网网络现状以及网络存在的问题,针对用户大量代理上网导致网速慢的问题,进行了深入的分析,提出了利用限制用户连接数的方法解决代理问题的方案,介绍了防代理技术的原理和具体实施步骤,并对该方案的落实情况和应用效果进行了比较分析,为网络代理问题的解决提供了一个新的思路。     

无穷观问题的研究（Ⅰ）—历史的回顾与思考

本组系列论文（Ⅰ）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种无穷观相五排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集体论系统APAS。     

旋转篦齿封严泄漏与换热的准则研究

应用方向性单位制的方程无量纲化方法,研究了旋转等因素对篦齿封严泄露流动、换热的影响,推导出可供实验模化用的相似准则.虽然方向性单位制和以往的SI或工程单位制均遵守Gauss准则,但它们选用和处理各单位各不相同,对于以往的单位制,由于相似理论研究的实际情况复杂,需要研究具有灵活性和特殊性;对于后者,基于所有现象能发生的可能性,研究则具有一般性和不变性.相关的讨论证明其合理性.      

系统可靠性增长模型

根据系统在研制期间可靠性的变化规律,考虑维修、改进对系统可靠性的影响,引入改进效果系数,建立了一种基于虚拟工作时间的可修系统可靠性增长模型,可用于完全维修、不完全维修、最小维修和恶化维修.给出了故障强度函数和累积故障次数的表达式,以及模型参数的极大似然估计.算例表明:该模型分析结果与AM-SAA模型一致,且符合工程实际,其参数意义更明确.     

32 位定点运算数学库IQmath 在航空发动机FADEC 系统中的应用

为提高航空发动机FADEC系统定点CPU的计算效率和计算精度,针对实际工程应用中的数学运算的方法展开讨论,分析了定点数运算和浮点数运算在计算精度和运行效率方面存在的差异。参考TI公司的设计理念,自行设计了支持统一定点算法和可变定点算法的32位定点运算数学库IQmath。在国内发动机控制领域不再依赖国外的库函数,掌握了32位定点数学库的源代码,并在实际项目中应用了IQmath数学库。试验结果表明:IQmath数学库的应用提高了定点CPU数学运算的精度和效率,完满实现了预定的控制算法。     

灰色系统模型研究进展(英文)

针对灰色系统模型的研究进展进行了综述,介绍了一般灰数的概念、灰色序列算子和一些常用的灰色系统模型,包括灰色绝对关联度模型、灰色相对关联度模型、基于端点三角白化权函数的灰色聚类评估模型、基于中心点三角白化权函数的灰色聚类评估模型、GM(1,1)预测模型以及多目标加权灰靶决策模型。     

固体动能拦截器助推段飞行方案研究

针对三维空间内的高速飞行目标,提出了一种可用于固体动能拦截器助推段的导引方法。建立了固体动能拦截器与目标的相对运动关系模型,分析确定了转移轨道的约束条件,并在此基础上推导出转移轨道的轨道根数计算方法。同时根据拦截器的待增速度给出了助推器推力矢量方向的确定方法。仿真结果表明,该方法能有效实现固体动能拦截器助推段的制导控制。