可反映射的性质及其应用

对可反映射的性质进行了研究 ,利用其性质对混沌系统

关于一阶逻辑形式系统中概括规则的注记

本文在文献［１］的基础上，给出一个一阶逻辑形式系统Ｋ＇；证明了Ｋ＇的限制概括规则和Ｋ＇演绎定理；证明Ｋ＇与文献［１］中的一阶逻辑形式系统Ｋ是等价的；通过比较Ｋ＇和Ｋ，说明Ｋ＇的有关元定理强于Ｋ的相应的元定理，同时说明概括规则对一阶逻辑形式系统的影响．

图的1-因子、f-因子和(g,f)-因子

设G是一个图且有一个1-因子F，g和f是定义在V（G）上的非负整数值函数且对每个X∈V(G)有g（X）＜f(X)≤dG（x），且f(v(G))为偶数．（i）若对每个xy∈F有f(x)=f(y)且G－{x,y}有一个（g，f)-因子，则G有一个（g，f)-因子；（ii）若对每个xy∈F有f(X）=f（y）且G-{X，y}有f-因子，则G有f-因子.

具有极小风险解的二层规划及其近似分解法

给出了具有极小风险解的二层规划的等价二层规划 。

可重用查询模块在FOXPROW下的完整实现

本文设计并实现了一个可重用的数据库查询程序，基本解决了管理信息系统建设中查询模块编程工作量大的问题。

汉江中下游防洪风险分析

根据汉江中下游防洪规划、河道泄流能力、洪水调度方式以及流域地理环境、政治经济状况 ,建立了汉江中下游防洪体系防洪风险分析数学模型 ,并根据实测洪水资料 ,研究了汉江中下游防洪体系的防洪风险率 ,在此基础上还研究了在未来t年内的洪灾损失。由于汉江流域洪水和洪灾特点 ,洪水造成的经济损失是巨大的 ,年平均洪灾损失达到了 4.45 2亿元 ,这应该引起我们的高度重视。

单阶段随机规划的一种近似精确罚函数法

提出了一种求解单阶段随机规划的近似精确罚函数法。该法首先对随机变量（连续型）离散化得到一随机变量序列，而将原问题转化为确定性规划问题，再对此规划构造一个精确罚函数。通过求出该罚函数的最优解，可得到随机变量离散后的确定性规划的解从而避免了随着变量离散精度的提高而带来的确定性规划的约束条件个数迅速增加等困难。在一定条件下，我们证明了罚函数的解与确定性规划的解之间的某种等价性。

某类半无限规划的一个近似方法

本文利用极大熵原理，提出了一种求解目标函数含有参数的半无限规划的近似方法，并给出该法可具有的收敛性分析。

关于k-消去图的若干新结果

设G是一个图．k是自然数．图G的一个k-正则支撑子图称为G的一个k-因子．若对于G的每条边e．G—e都存在一个k-因子，则称G是一个k-消去图．该文得到了一个图是k-消去图的若干充分条件，推广了文［2—4］中有关结论．

管理软件设计中的表驱动思想与软件重用

管理软件设计过程中表驱动思想支持下的软件重用技术，通过提取不同应用类的共同控制信息从而使数据与程序分离形成可重用抽象控制程序部件。

关于k-覆盖图的一些新结果

本文给出了一个图G是k-覆盖图的若干充分条件．

约束极小极大问题的一种既约梯度近似法

利用极大熵方法及有关逼近结果，使之与既约梯度法结合，提出了一种求解极小极大非线性规划问题的近似法。

一个随机模型的最优化问题

本文进一步讨论了文献［１］所给出的布朗运动模型的最佳时机的选择问题，给出了求解最佳时机的计算方法，并在某些情况下求出了最佳值．

Bakakov-Kantorovich 算子的 Lp 饱和等价定理

引入双线性泛函，利用积分方程技巧得出了ＢａｓｋａｋｏｖＫａｎｔｏｒｏｖｉｃｈ算子在Ｌｐ［０，∞）关于阶１ｎ和平凡类Ｔ＝｛ｆ｜ｆ＝ｃｏｎｓｔ｝是Ｌｐ饱和的，饱和类为Ｓｐ＝｛ｆ｜ｆ∈Ｌｐ［０，∞），φ２（ｘ）ｆ″（ｘ）∈Ｌｐ［０，∞）（１＜ｐ＜∞）｝．

K-S函数的凸性问题

本文讨论了极大熵方法中有关K-S函数的几种凸性,从而进一步拓广了极大熵方法在非线性规划等领域中的应用。

传染病动力学偏微分方程模型的数值解法

本文对终身免疫型传染病动力学偏微分方程模型提出了一种数值解法,并给出了一个算例。

一维非定常流的格子Boltzmann模拟

本文建立了一维非定常流的一般格子Boltzmann模型,并利用2—速度模型研究了激波管和激波的形成、反射以及相互作用。给出了不同的初始条件和边界条件的模拟结果,它与理论分析和数值分析的结果十分吻合。

凸可分规划的内椭球方法

用内椭球方法的思想对线性约束的凸可分规划提出了一种新的算法，并证明了此算法是一个多项式时间算法．

解非线性规划问题的近似容许方向法

通过求解一个低维的线性规划子问题获得一个可行下降方向,从而给出了求解具有非线性不等式约束非线性规划问题的一个可行方向算法。

空间实体相贯CAI课件的研究及图形处理

本文着重研究空间各种不同相对位置的圆球与圆柱两实体相贯 CAI 课件中相贯线的形成、求作和投影过程及软件的设计思想、数学模型、软件功能、ADS 编程处理技巧、程序框圈等。