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

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

一类无穷下三角矩阵的代数性质

修正了 [4,5]中的 Jabotinsky矩阵,得到并证明了一类无穷下三角矩阵T（f）的一些性质,最后,导出了一些与导数相关的反演关系和组合恒等式.     

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

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

Banach空间上有界可逆线性变换逆变换的结构

Fillmore在[1]中得到一个定理:设A,T是Banach空间X上的线性变换,A有界,若Lat(A) Lat(T)且AT=TA,则T是A的多项式.在本文里,以此作为引理,讨论了Banach空间上可逆线性变换A在什么情况下,A-1可表示为A的多项式.本文最主要的结论是定理3.4:设X是Banach空间,A是X上的有界线性变换,且可逆,则A-1是A的多项式当且仅当A-1是A的局部多项式.     

平行机半在线排序问题研究(Ⅰ)

对半在线平行机排序问题的研究进展作了详细综述和进一步探讨。文章给出半在线排序问题的背景、定义、分类和求解。介绍它们定义和在不同机器环境和目标函数下半在线排序问题分类，以及第一类半在线模型的近似算法的设计及其竞争比分析。     

一类NLS-mKdV方程族的扩展可积系统

利用代数变换，构造了与文献［５］中的loop代数₂的子代数等价的loop代数1的一个子 代数₁.再将₁扩展为一个高维的loop代数.利用设计了一个等谱问题 ，结合子代数间的直 和运算和同构关系，得到了NLS_mKdV方程族的一类扩展可积系统.作为约化情形，求得了著 名的Schrdinger方程与mKdV方程的可积耦合系统. 关键词： loop代数 可积系统 等谱问题     

空间技术回顾与简介

 空间技术,又称航天技术,它是探索、开发利用太空及地球以外天体的一门综合技术;它包括运载工具的研制,航天器的发射、控制,以及宇航员生命保障系统的研制等。空间技术作为当代高技术门类之一,越来越受到世界各国的重视与关注。神舟飞船的3次试航成功极大地激发了国人对空间技术的兴趣,增进了对空间技术的了解。一、空间与空间技术历史的回顾探索宇宙的奥秘,奔向遥远的太空是人类自古以来追求的目标,在古希腊神话中,雅典杰出的建筑师代达罗斯,用麻线和蜜蜡将羽毛连接成翅膀插在身上,带他的孩子伊卡罗斯扇动翅膀逃出了囚禁他们的克里特岛;中国古代也有嫦娥奔月的神话传说。     

关于图的最小覆盖算法

本文就数学建模课的教学过程中 ,在“图的方法建模”一章中 ,关于图的最小覆盖法提出启发式算法 .用书中所给方法推出一个反例 ,分析了其产生错误的原因 ;通过对图的最小覆盖的概念的理解、结合分析图的关联矩阵的特点 ,给出了图的最小覆盖的启发式算法 .     

高等代数习题课浅谈

在数学课的教学中，特别是压缩教学课时后往往容易忽视习题课的作用，本通过实例说明习题课有利于帮助学生正确理解基本概念和掌握数学基本方法，有利于引导学生对教学内容与问题进行分析，使在学习中正确掌握所学知识点，有利于提高分析问题和解决实际问题的能力。同时通过教学实例对如何上好习题课提出了看法。     

修正的Shepard型算子的Lp-逼近

摘要:本文在L_[0.1]~p空间给出了 Durrmeyer型修正的shepard算子D_n(f,x),对 f∈L_[0.1]~p,(p≥1),得到了下列的Jackson型估计:││D)n(f)-f││_p≤ C_(pλω)(f,n~(-1))p,λ≥2, Cω(f,n~(-1)logn)p,λ=2, C_(pλω)(f,n~(-1))p,1<λ<2,