可拓数学与矛盾问题

本文对可拓数学建构中的几个核心问题进行了初步探讨，分析了可拓数学在研究对象、基本模型、集合基础、逻辑基础等几个方面的特点。     

IEEE802.4令牌总线网实时应用性能分析算法

对符合ＩＥＥＥ８０２．４标准的令牌总线网的性能指标评估给出了１种新的计算方法。重点分析了ＩＥＥＥ８０２．４标准的优先权机制，并考虑了令牌总线网络中的２种计时器ＴＨＴ，ＴＲＴ控制和信包缓冲区容量有限的性能指标评在问题，克服了以往不能分析优先权机制令牌网性能的局限。     

时间乘子加权广义预测控制

提出一种具有时间乘子加权性能控制的广义预测控制算法，此方法能提高系统的稳定性，同时与其他算法相比提高了系统的瞬态响应，文中还给出这种加权下广义预测控制渐进稳定的充分条件，仿真实验说明了算法的有效性。     

关于可微的一种等价形式

本文给出可微的一种简便形式,可使一些有关可微性命题的证明更简明、准确.将其推广到向量值函数应用更方便.     

Seifert and Van Kampen定理的一种特殊情形的有关讨论

代数拓扑是拓扑学的重要分支,它的特征是借助于一系列代数的对象、方法,如群、环、同态等,进行研究拓扑空间在连续形变下的不变性质.同伦论是代数拓扑的基础,而基本群是同伦论的一个重要概念.Seifert-Van Kampen定理主要用来确定某些较复杂的空间的基本群的结构,对于此定理的证明需要许多代数方面的知识,而且证明过程篇幅较长,本文仅用点集拓扑所涉及的方法给出Seifert-Van Kampen定理的一种特殊情形的证明.     

判定凸多边形可移动性算法的推广

文［１］研究了两个凸多边形可移动性问题的最优判定算法，讨论了简单多边形Ｐ和凸多边形Ｑ的可移动性问题。提出了一种与［１］具有相同时间复杂度的最优算法。     

区间值函数和Fuzzy值函数的常微分方程解的性质

将普通常微分方程解对初值的连续性和可微性加以推广，得到了区间值函数的常微分方程解对初值的连续性和可微性．在此基础上，应用Ｆｕｚｚｙ集的分解定性，讨论了Ｆｕｚｚｙ值函数的常微分方程解对初值的连续性和可微性．     

含负权有向网络中最短路问题的求解算法

研究含负权有向网络中的最短路问题，给出了一个求解含负权有向网络中最终路问题的表上作业算法，并对该算法的正确性进行了证明，经在ＩＢＭ４８６微机上对数万个随机算例的实际试算表明，算法所需的平均执行时间短，算法对求解最小旨同用流问题和动态规化问题都有较大的意义。     

一类受扰线性离散时间系统调节器的设计问题

本文将受线性连续时间系统调节器的设计方法推广到了一类较为广泛的离散时间系统上来，得到了实现闭环静态无差的充分必要条件，纯增益反馈控制器，保证了闭环系统渐近稳定，并可达到输出调节的控制目的。