图论中若干重要定理的历史注记

考察了图论中若干重要定理的历史背景,这些定理包括图论基本定理,矩阵-树定理,门格尔定理,霍尔定理,柯尼希定理,塔特定理,彼得森定理,库拉托夫斯基定理,布鲁克斯定理和维津定理.     

积分型中值定理的推广及统一表示

通过减弱连续的条件,推广了一类积分型中值定理,在适当的条件下,用一个式子将Lagrange中值定理、Cauchy微分中值定理、积分型Cauchy中值定理、积分中值定理、积分第一中值定理、Lagrange型积分中值定理、Cauchy型积分中值定理及推广的积分第一中值定理这8个中值定理统一起来.     

播挪运算及其性质

在现有的播挪定义基础上,引入了对偶播挪的概念和任意论域子集族的内并、内交两种新运算,提出了十个定理.它们是：平凡播挪空间定理,最小播挪定理,播挪内运算封闭性定理,播挪任意交定理,播挪上确界定理,播挪运算分配性定理,播挪基判定定理,播挪基闭包定理,播挪基约简定理,播挪基内运算封闭性定理.这些定理对于播挪空间的研究具有一定的理论价值.     

一个新的Ky Fan匹配定理及其在L-凸度量空间中的应用

建立了转移开覆盖的一个新的Ky Fan型匹配定理．作为应用，获得了Fan-Browder重合定理，不动点定理、极大元定理，相交定理和截口定理．     

泛函中的两个对偶定理

本文利用＊隔离定理,证明了Ｍａｚｕｒ定理和凸集的最佳逼近元存在性定理的对偶定理．     

微积分中值定理间的关系

直观地阐述从微分中值定理到积分中值定理,乃至第二积分中值定理的演绎过程,指出积分中值定理的实质仍是微分中值定理,并在经典积分中值定理的条件下,得到更强的结论。     

一类新的KKM定理及其应用*

本文得到一类新的KKM定理,统一和改进了[2,3,0,7,11]中的结果。作为应用,我们得到了几个匹配定理、重合定理、不动点定理、极大极小不等式定理及截口定理。     

微积分学中中值定理的统一证明

由一个定理的结论,给出Lagrange中值定理,Cauchy中值定理,积分中值定理和Taylor中值定理的统一证明及一个计算待定型极限的方法.     

等周不等式与Bol-Fujiwara定理

本文研究著名的Bol-Fujiwara定理.利用积分几何方法和经典的等周不等式,得到了Bol-Fujiwara定理的一个推广(定理1),以及推广了的Bol-Fujiwara定理的逆定理(定理2).     

多项式簇的稳定性分析

本文利用值映射的概念在系数空间里讨论了多项式簇的Hurwitz稳定性的鲁棒性,给出了判别多项式簇是Hurwitz稳定的原象定理,同时应用这个定理证明了边界定理,棱边定理,Харитонов定理和菱形簇定理.     

近程空中目标航路研究

本文在等加速俯冲飞行假定下,分析了近程空中目标航路的特点,并据此提出了目标航路模型.经过投影变换,把目标航路模型转化为二次函数,从而使目标航路的滤波及预报问题得到简化,采用弟推最小二乘(RLS)原理,给出了目标航路的滤波器及预报器,最后,对本文方法进行了仿真,并对仿真结果进行了分析.     

近程空中目标航路研究

本文在等加速俯冲飞行假定下，分析了近程空中目标航路的特点，并据此提出了目标航路模型．经过投影变换，把目标航路模型转化为二次函数，从而使目标航路的滤波及预报问题得到简化．采用递推最小二乘（ＲＬＳ）原理，给出了目标航路的在线滤波器及预报器．最后，对本文方法进行了仿真，并对仿真结果进行了分析．     

秩为1矩阵的性质及应用

给出了秩1矩阵的结构,讨论了这类矩阵在矩阵运算、对角化、标准型等方面的性质,推广和改进了文[1]的一些相关结果,并指出了它的若干应用,重点讨论了一类矩阵,得到了有关结论和方法.     

Depth notions for orthogonal regression

Global depth, tangent depth and simplicial depths for classical and orthogonal regression are compared in examples, and properties that are useful for calculations are derived. The robustness of the maximum simplicial depth estimates is shown in examples. Algorithms for the calculation of depths for orthogonal regression are proposed, and tests for multiple regression are transferred to orthogonal regression. These tests are distribution free in the case of bivariate observations. For a particular test problem, the powers of tests that are based on simplicial depth and tangent depth are compared by simulations.     

Some properties of singular integral operators over an open curve Dedicated to the 85th birthday of Prof.Lu Jinake

In this paper, the stability properties, the endpoint behavior and the invertible relations of Cauchy-type singular integral operators over an open curve are discussed. If the endpoints of the curve are not special, this type of operators are proved to be stable. At the endpoints, either the singularity or smoothness of the operators are exactly described. And the function sets or spaces on which the operators are invertible as well as the corresponding inverted operators are given. Meanwhile, some applications for the solution of Cauchy-type singular integral equations are illustrated.     

Some properties of singular integral operators over an open curve Dedicated to the 85th birthday of Prof. Lu Jianke

In this paper, the stability properties, the endpoint behavior and the invertible relations of Cauchy-type singular integral operators over an open curve are discussed. If the endpoints of the curve are not special, this type of operators are proved to be stable. At the endpoints, either the singularity or smoothness of the operators are exactly described. And the function sets or spaces on which the operators are invertible as well as the corresponding inverted operators are given. Meanwhile, some applications for the solution of Cauchy-type singular integral equations are illustrated.     

直觉模糊关系的截集性质

定义了直觉模糊关系的截集以及并给出了它们的基本性质,同时分别讨论了自反、对称、传递直觉模糊关系与经典二元关系之间的等价刻画;其次,提出直觉模糊关系的定义域与值域的概念;最后,分析了直觉模糊关系合成的截集性质.     

Matrix-valued polynomials generated by the scalar-type Rodrigues’ formulas

The properties of matrix-valued polynomials generated by the scalar-type Rodrigues’ formulas are analyzed. A general representation of these polynomials is found in terms of products of simple differential operators. The recurrence relations, leading coefficients, completeness are established, as well as, in the commutative case, the second order equations for which these polynomials are eigenfunctions and the corresponding eigenvalues, and ladder operators.A new, direct proof is given to the conjecture of Durán and Grünbaum that if the weights are self-adjoint and positive semidefinite then they are necessarily of scalar type.Commutative classes of orthogonal polynomials (corresponding to weights that are self-adjoint but not positive semidefinite) are found, which satisfy all the properties usually associated to orthogonal polynomials, and are not of scalar type.     

Manufacturing flow line systems: a review of models and analytical results

The most important models and results of the manufacturing flow line literature are described. These include the major classes of models (asynchronous, synchronous, and continuous); the major features (blocking, processing times, failures and repairs); the major properties (conservation of flow, flow rate-idle time, reversibility, and others); and the relationships among different models. Exact and approximate methods for obtaining quantitative measures of performance are also reviewed. The exact methods are appropriate for small systems. The approximate methods, which are the only means available for large systems, are generally based on decomposition, and make use of the exact methods for small systems. Extensions are briefly discussed. Directions for future research are suggested.     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.