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

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

一致Banach空间中非扩张映象的弱收敛定理

设犈是一致凸Ｂａｎａｃｈ空间，满足Ｏｐｉａｌ条件或具有Ｆｒｅｃｈｅｔ可微范数，犆是犈的非空闭凸子集，且犜：犆→犆是非扩张映象．又设对任何初始数据狓１ ∈犆，序列｛狓狀｝由下列修改了的Ｉｓｈｉｋａｗａ迭代程序生成：狓狀＋１ ＝狋狀犜狀（狊狀犜狀狓狀＋ （１－狊狀）狓狀）＋ （１－狋狀）狓狀，　狀≥１， （Ｉ）其中，数列｛狋狀｝与｛狊狀｝满足下列条件（ｉ）和（ｉｉ）之一：（ｉ）狋狀∈ ［犪，犫］且狊狀∈ ［０，犫］；（ｉｉ）狋狀∈ ［犪，１］且狊狀∈ ［犪，犫］，这里，常数犪，犫满足０＜犪≤犫＜１．作者证明了，犜有不动点的充要条件是，｛狓狀｝ 弱收敛且｛‖狓狀－犜狓狀‖｝收敛到０．而且，由此即知，若犜有不动点，则｛狓狀｝弱收敛到犜的一个不动点．     

具有开发的非自治单种群生态系统研究

研究了具有开发的单种群非自治周期系统．利用非自治微分方程理论．以及变分法理论和泛函极值的Euler方程方法,得到了该开发系统的持续生存性．周期解存在性，全局渐近稳定性．研究了在开发情况下的最大收获量问题，以及取得最大经济效益下的收获问题等．     

Co-P非晶态合金电子性质和局域结构的理论研究

根据Co P非晶态合金结构的短程有序和结构中可能存在P -P相互作用的实验事实 ,选择了单磷原子簇模型ConP(n =1～ 5 )和双磷原子簇模型ConP2 (n =1～ 4 ) ,用密度泛函理论方法对其进行计算 .结果表明 ,在单磷Co2 P( 2 ) 、Co3 P( 1) 及Co4P( 2 ) 模型体系中 ,Co原子供给P原子电子 ,与电负性规则一致 ,同时Co和P之间具较强化学作用 ,可以形成稳定的原子簇 ;而在双磷和单磷原子簇Co5P( 1) 模型体系中 ,形成的原子簇不稳定 ,采用单磷Co2 P( 2 ) 、Co3 P( 1) 及Co4P( 2 ) 模型能较好地反映Co P非晶态合金的结构特点 .     

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压缩映射原理，讨论了中立型时滞脉冲微分方程正解的存在性。     

薄铝埋点等离子体K线光谱半定量诊断

高温等离子体系统中存在等离子体流体力学运动演化过程、离子的离化分布演化动力学过程、高剥离态离子谱发射过程及发射芬光辐射输运过程等，而且高温等离子体系统通常是非平衡系统，所以定量研究高温等离子体系统的发射X光谱和高温等离子体对X光的吸收是一个非常复杂的问题。为了模拟和解释实验测得的激光等离子体发射光谱，提出了一种薄埋点靶：直径为φ200μm厚度为0．1μm的铝点埋在20μm厚的CH膜底衬中，表面再覆盖0．1μm厚CH膜。