一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

ON THE ASYMPTOTIC BEHAVIOUR OF THE STEADY SUPERSONIC FLOWS AT INFINITY

This paper studies the asymptotic behaviour of steady supersonic flow past a piece-wise smooth corner or bend. Under the hypothese that both vertex angle and the total variation of tangent along the boundary are small, it is shown that the solution can be obtained by a modified Glimm scheme, and that the asymptotic behaviour of the solution is determined by the velocity of incoming flow and the limit of the tangent of the boundary at infinity.     

Fiberings with Fiber RP（κ）

Let κ be non-negative integer. The unoriented bordism classes, which can be represented as [RP（ξ^κ）] where ξ^κ is a k-plane bundle, form an ideal of the unoriented bordism ring MO.. A group of generators of this ideal expressed by a base of MO. and a necessary and sufficient condition for a bordism class to belong to this ideal are given.     

一个线性约束优化问题的广义梯度投影法

本文对线性约束优化问题提出了一个新的广义梯度投影法，该算法采用了非精确线性搜索，并在每次迭代运算中结合了广义投影矩阵和变尺度方法的思想确定其搜索方向．在通常的假设条件下，证明了该算法的整体收敛性和超线性收敛速度．     

中立型脉冲微分方程正解的存在性

本文利用Banach压缩映射原理，讨论了中立型时滞脉冲微分方程正解的存在性。     

广义Sierpinski集

本文考察了包括平面上的各种广义 Cantor集 ,Sierpinski集和包括某些连续不可微曲线在内的广义 Sierpinski集 .由相似变换 ,导出了它们的级数表达式 ,并利用它和字符串空间的对应关系 ,计算出它们的Hausdorff维数     

A Quasi-Symmetric Coupled Quantum Well and Its Electric-Optical Properties

We propose a novel coupled quantum well structure, i.e. a quasi-symmetric coupled quantum well (QSCQW). Based on the demands of optical switching devices for quantum well materials, the QSCQW configuration is further optimized. Consequently, in the case of low applied electric field 25kV/cm and low absorption loss 100cm^-1, a large field-induced refractive index change (for TE mode, n = 0.0106; for TM mode, n = 0.0115) is obtained in the QSCQW structure at the operation wavelength 1550hm. The value is in one or two order of magnitude larger than that in a rectangular quantum well and about 50% larger than that of five-step asymmetric coupled quantum well structure under the same working conditions. The refractive index change obtained with the optimized QSCQW under so low absorption loss and applied electric field is very attractive for semiconductor optical switching devices. This manifests that the QSCQW structure has a great potential for applications in ultra-fast and low-voltage optical switches and in travelling wave modulators.     

Existence, Multiplicity and Infinite Solvability of Positive Solutions for One-Dimensional p-Laplacian

The existence, multiplicity and infinite solvability of positive solutions are established for some two-point boundary value problems of one-dimensional p-Laplacian. In this paper, by multiplicity we mean the existence of m solutions, where m is an arbitrary natural number.     

On Best Approximations from RS-sets in Complex Banach Spaces

The concept of an RS-set in a complex Banach space is introduced and the problem of best approximation from an RS-set in a complex space is investigated. Results consisting of characterizations, uniqueness and strong uniqueness are established,