一阶形式系统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.     

加权二次有理Bézier插值曲线

在本文中,给定一组有序空间数据点列及每个数据点的切矢向量,利用加权二次有理Bézier曲线对数据点作插值曲线,使该曲线具有C1连续性,并且权因子只是对相应顶点曲线附近产生影响,同调整两个相邻的权因子可以调整这两个相邻顶点之间的曲线和它的控制多边形.     

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

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

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.     

A Compact Magnetically Insulated Line Oscillator with New-Type Beam Dump

We present a compact improved model of the magnetically insulated line oscillator with new-type beam dump and other novel features. In the experiments, high-power microwave of the TM01 mode is generated from the device with a frequency range of 1.73-1.78 GHz and a peak power level of above 2 GW, when the diode voltage is taken in the range 520-540kV, and the diode current is in the range 58-62kA. This confirms the simulation results.     

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,