无原子布氏代数理论的计算复杂性

研究无原子布氏代数的计算复杂性 .得到了下面的新定理 :定理 1　无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 .定理 2　无原子布氏代数的初等型Γ (x1,… ,xn)是由型内的不含量词的全体开式子所唯一决定 .定理 3　无原子布氏代数的一个长度为 n的语句的判断过程所消耗的 Turing时间和空间都是属于 2 2 cn指数级 .     

带有边集限制的最均匀支撑树问题

本在无向网络中，建立了带有边集限制的最均匀支撑树问题的网络模型．中首先解决最均匀支撑树问题，并给出求无向网络中最均匀支撑树的多项式时间算法；然后，给出了求无向网络中带有边集限制的最小树多项式时间算法；最后，在已解决的两个问题的基础上解决了带有边集限制的最均匀支撑树问题．     

二阶椭圆型微分方程解的振动定理

考虑二阶非线性椭圆型微分方程∑^n_{i,j}∂/∂x_i{A_{i,j}(x,y)∂/∂x_j}+q(x)f(y)=0 (E)，其中q(x)在外区域 Ω∈R\+n上变号. 利用偏Riccati变换和积分平均技巧, 建立了方程(E)所有解振动的充分准则.     

OSCILLATION FOR SOLUTIONS OF SYSTEMS OF N-TH ORDER PARTIAL FUNCTIONAL DIFFERENTIAL EQUATIONS

In this paper, some sufficient conditions for the oscillation for solutions to systems of n-th order partial functional differential equations are obtained.     

从数学解题看数学美

本论述了“教学好玩”(陈省身语)的五个方面；教学语言精确；教学发现(类比发现；归纳发现和直党发现)；教学解题思路；教学思想方法和数学应用都体现了教学关。     

代数构造及在Ramsey理论中的应用

这篇文章在伽罗瓦域上的代数构造和关于一些特定类型图的Ramsey数之间建立了一个关系. 研究了关于伽罗瓦域上的代数构造的方程及方程组的解. 我们得到了一些关于二部图的Ramsey数的新的下界和上界.     

我国居民收入、人口、教育、财政政策和货币政策与居民消费模型的实证分析

本文从影响消费的各个因素:居民收入、人口、教育、国家宏观政策等着手,对各因素进行了相关分析,运用多元统计中的岭回归估计法建立消费模型。从定量和定性分析的角度,分析了我国居民消费水平、居民收入、人口增长率、各层次教育、国家财政支出和银行利率等相关因素之间相互影响的数量变动关系和内在规律,就如何提高居民消费水平促进经济协调发展提出若干对策。     

Winograd矩阵乘法算法用于任意阶矩阵时的一种新处理方法

摘要t矩阵乘法StraSsen算法及其变形winograd算法用分而治之的方法把矩阵乘法时间复杂性由传统的D(n。)改进到0(佗kg。n.但是对于奇数阶矩阵,在划分子矩阵时,要作特殊处理才能继续使用此算法.本文提出了一种非等阶“十”字架划分方法,可以最少化填零,最大化性能,使得奇数阶矩阵乘法的时间复杂性更加接近偶数阶矩阵乘法的效果.计算实例显示该方法是有效的.     

TiO2∶Mo体系的光子雪崩上转换

在 978nm激光二极管的激发下 ,Mo掺杂的TiO2 材料表现出很强的宽带上转换发光 ,该发光来源于 [MoO4]2 - 基团的激发态3T1 ,3T2 能级到基态1 A1 能级的电子跃迁 .通过研究发光强度与抽运功率的关系及上转换发光的上升时间曲线 ,发现TiO2 ∶Mo体系的上转换发光中存在着雪崩机制 ,应用转换函数理论分析了光子雪崩的产生条件和主要特征 ,理论结果和实验数据很好地符合     

Coupled lubrication and Stokes flow finite elements

A method is developed for performing a local reduction of the governing physics for fluid problems with domains that contain a combination of narrow and non‐narrow regions, and the computational accuracy and performance of the method are measured. In the narrow regions of the domain, where the fluid is assumed to have no inertia and the domain height and curvature are assumed small, lubrication, or Reynolds, theory is used locally to reduce the two‐dimensional Navier–Stokes equations to the one‐dimensional Reynolds equation while retaining a high degree of accuracy in the overall solution. The Reynolds equation is coupled to the governing momentum and mass equations of the non‐narrow region with boundary conditions on the mass and momentum flux. The localized reduction technique, termed ‘stitching,’ is demonstrated on Stokes flow for various geometries of the hydrodynamic journal bearing—a non‐trivial test problem for which a known analytical solution is available. The computational advantage of the coupled Stokes–Reynolds method is illustrated on an industrially applicable fully‐flooded deformable‐roll coating example. The examples in this paper are limited to two‐dimensional Stokes flow, but extension to three‐dimensional and Navier–Stokes flow is possible. Copyright © 2003 John Wiley & Sons, Ltd.