完备剩余格中的全蕴涵推理方法

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明．     

区间[-1，1]上的α尺度双正交多小波的构造

本文研究了一元α尺度紧支撑、双正交多小波的构造．在区间[-1，1]，给出了利用α尺度双正交尺度向量构造α尺度双正交多小波的推导过程得到了一种有效的小波构造算法，并给出了数值算例．     

编程解有关等比数列的问题

本文的目的是运用数学软件Ｍａｔｈｃａｄ编写解有关等比数列问题的程序．为此，需详细阐明编程的算法根据和算法分析；程序的编写和调用．本文还介绍了一些编程技巧，尽可能的给出等比数列的各个项．１ 算法的理论根据 对于任意一个等比数列； 首项α１末项αｎ，公比ｑ，项数ｎ及ｎ项和ｓｎ这五个基本量之间具有下列基本关系式： ２ 算法分析与设计 由上述基本夫系式可知，ａ１，ａｎ，ｑ，ｎ和ｓｎ这五个量中，任意给定三个，可求出其余的两个量．因而可按以下几类情况进行编程． 注意到前六种情形的求解，只需将上述基本关系式变形后…     

一类组合最优化问题及其算法

本文介绍三个新的组合最优化模型，并分别给出复杂性为Ｏ（Ｎ２）和Ｏ（Ｎ２α）的多项式算法和拟多项式算法．     

基于三Ι算法的模糊系统及其响应性能

给出了基于三Ⅰ算法和α-三Ⅰ算法的几种典型模糊系统的插值表达式．指出,基于三Ⅰ算法和α-三Ⅰ算法的模糊系统对于某些蕴涵算子具有函数逼近的泛性,而对于不少蕴涵算子只具有阶跃输出能力,而不具有函数逼近的泛性．此外,证明了基于三Ⅰ算法的模糊系统在一定条件下对于模糊逻辑系统中推理与聚合的次序交换无关．     

由复映射z←z~α十c(α<0)所构造的广义M-集的研究

阐述了构造复映射z←zα＋c（α＜0）所产生的广义Mandelbrot-集（简称M-集或M-分形图）的逃逸时间算法．通过改变参数a，作出了一系列有趣的分形图．这些分形图为若干卫星群环绕中央恒星的星群结构．定量地研究了恒星和卫星群的几何结构，并对a取非整数时分形图的结构特点和卫星群胚胎出现的原因进行了分析．最后给出几点结论．     

θp型三I算法与反向三I算法支持度分析

研究了基于蕴涵算子以θp模糊推理的三Ⅰ算法与反向三Ⅰ算法的支持度理论，分析了支持度的性质，得到了α-三Ⅰ算法的FMP（FMT）计算公式与α-反向三Ⅰ算法的FMP（FMT）计算公式。     

序约束下ARCH(0,2)模型参数估计与检验

本文研究了平稳ARCH（0，2）模型未知参数α的极大似然估计及有序约束时α的极大似然估计的渐近性质，给出了参数序关系（α1≥α2）的检验方法，并得出了似然比检验统计量的渐近分布。用二次规划的算法，给出求各种情况下参数α的极大似然估计的数值算法。     

任意细分面具的级联算法对单个初始函数的收敛性

级联算法在计算机图形和小波分析中都有很重要的作用．对任意的初始函数φ0，一个级联序列(φ_n)_(n=1)~∞是由迭代产生的序列φ_n=C_aφ_(n-1)(n=1，2，…)，其中 C_a 定义为C_ag=sum from α∈Ζa(α)g(2·-α)，g∈L_p(R)．用函数序列和联合谱半径刻画了级联序列的收敛性．作为一个结果，证明了任意的级联收敛序列都有几何收敛速度，即‖φ_(n-1)-φ_n‖_[L_p(R)]=O((?)~n)对某个(?)∈(0，1)成立．不要求对面具的求和定则的条件．     

一致条件下具学习因子的几个单机排序问题

n个工件需在同台机器上依次加工，工件j,j=1，2，…，n所需的正常加工时间为pj,如在某序中工件j第r个加工，则机器对其实际加工的时间为pjr^α，其中α≤0为一学习因子．要求适当排列这n个工件的加工顺序，使某目标函数达最小．本文对加权完工时间之和，最大迟后，延误工件数这三个目标函数，给出了在相应的一致条件下，对应的WSPT规则，EDD规则，修正Moore-Hodgson算法可获最优序，并估计了在一般情况下由该三规则所获序的误差．     

RECENT PROGRESS ON SPHERICAL HARMONIC APPROXIMATION MADE BY BNU RESEARCH GROUP ——In memory of Professor Sun Yongsheng

As early as in 1990, Professor Sun Yongsheng, suggested his students at Beijing Normal University to consider research problems on the unit sphere. Under his guidance and encouragement his students started the research on spherical harmonic analysis and approximation. In this paper, we incompletely introduce the main achievements in this area obtained by our group and relative researchers during recent 5 years （2001-2005）. The main topics are： convergence of Cesaro summability, a.e. and strong summability of Fourier-Laplace series; smoothness and K-functionals; Kolmogorov and linear widths.     

On a class of self-similar processes with stationary increments in higher order Wiener chaoses

We study a class of self-similar processes with stationary increments belonging to higher order Wiener chaoses which are similar to Hermite processes. We obtain an almost sure wavelet-like expansion of these processes. This allows us to compute the pointwise and local Hölder regularity of sample paths and to analyse their behaviour at infinity. We also provide some results on the Hausdorff dimension of the range and graphs of multidimensional anisotropic self-similar processes with stationary increments defined by multiple Wiener–Itô integrals.     

On a class of Riemann surfaces

It is considered the class of Riemann surfaces with dimT1 = 0, where T1 is a subclass of exact harmonic forms which is one of the factors in the orthogonal decomposition of the spaceΩH of harmonic forms of the surface, namely The surfaces in the class OHD and the class of planar surfaces satisfy dimT1 = 0. A.Pfluger posed the question whether there might exist other surfaces outside those two classes. Here it is shown that in the case of finite genus g, we should look for a surface S with dimT1 = 0 among the surfaces of the form Sg\K , where Sg is a closed surface of genus g and K a compact set of positive harmonic measure with perfect components and very irregular boundary.     

A REPRESENTATION FORMULA RELATED TO SCHR(O)DINGER OPERATORS

Schr(o)dinger operator is a central subject in the mathematical study of quantum mechanics.Consider the Schrodinger operator H = -△ V on R, where △ = d2/dx2 and the potential function V is real valued. In Fourier analysis, it is well-known that a square integrable function admits an expansion with exponentials as eigenfunctions of -△. A natural conjecture is that an L2 function admits a similar expansion in terms of "eigenfunctions" of H, a perturbation of the Laplacian (see [7], Ch. Ⅺ and the notes), under certain condition on V.     

Boundedness for commutators of multipliers on Hardy type spaces

In this paper, we study the commutators generalized by multipliers and a BMO function. Under some assumptions, we establish its boundedness properties from certain atomic Hardy space Hb^p（R^n） into the Lebesgue space L^p with p 〈 1.     

A unified approach to certain problems of best local approximation

In this paper we study best local quasi-rational approximation and best local approximation from finite dimensional subspaces of vectorial functions of several variables. Our approach extends and unifies several problems concerning best local multi-point approximation in different norms.     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

<正>August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,Beijing Science is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by