一般环流问题过程瓶颈分析

通过定义瓶颈结构来对一般环流问题进行瓶颈分析 ,其中瓶颈结构是一个圈增益为 1的一般网络 ,我们称之为简单增益网络 .对于简单增益网络我们定义了相应的等效简单网络 ,并利用关于简单网络最大流瓶颈分析的结论分析等效简单网络 ,在此基础上进一步完成了一般环流问题的过程瓶颈分析 .     

光栅扫描雷达显示系统关键技术问题解决方案

光栅扫描雷达显示系统实时雷达信号采集要求高效、高速的坐标变换 ,本文在总结实践经验和理论成果的基础上 ,提出了一种光栅扫描雷达显示系统快速坐标变换算法 -EPROM存储进位值法及其相应硬件实现方案。该方案大大节省了存储空间 ,提高了运算速度。基于此方案 ,还提出了克服显示盲区与死地址的有效方法 ,使图像显示质量有了极大的改善     

浅谈立几教学中空间想象能力的培养

本文通过直观教具,由易到难,由简单到复杂,由单一到综合图形的识图、画图,文字语言、符号语言、图形语言的互相转化;以及图形的平移、分割、组合等变形处理教学,培养学生空间的想象能力。     

非奇异M矩阵的快速判定方法及算法

在已有文献中，判断矩阵Ａ是否为Ｍ矩阵，都是对矩阵Ａ的整体进行讨论，利用本文结果，只需对Ａ的子块Ａ２２及Ａ１１－Ａ１２Ａ＾－１２２Ａ＾ｒ２１进行讨论判定，这一方法，对高阶矩阵可逐级降价，使用起来简单、方便。     

平面射影变换基本定理的简洁证明

依据射影坐标变换与射影变换的密切关系，给出子平面射影变换基本定理的一个非常简洁的证明，其证明过程还提供了比较容易的解题方法，最后举例作了比较。     

矩阵的广义次对角占优性

给出了广义次对角占优矩阵及双次对角占优矩阵的概念 ,得到了广义严格次对角占优矩阵的若干判定准则     

带误差项的广义集值变分包含

研究了一类新的广义集值变分包含：０∈Ｎ（ｗ，ｙ）＋Ａ（ｚ，ｕ）在实Ｈｉｌｂｅｒｔ空间，利用极大单调算子的性质，建立了广义集值变分包含和不动点问题的等价性，利用这种等价性，建立了一些摄动迭代算法，并证明了近似解序列强收敛于精确解。     

清代级数论基础

探讨了清代级数论的数学基础，认为其发展受阻系由非分析的传统支配所致。     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.