算法归纳设计策略与循环不变式

分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.     

一类二阶m点边值问题的正解存在性

泛函分析的某些方法对常微分方程定性问题(如多点边值问题)的研究起着非常重要的作用。Runyun Ma和Nelson Castaned。讨论了多点边值问题的正解存在性．利用锥上不动点定理研究了一类二阶m点边值问题的正解存在性，推广了Runyun Ma和Nelson Castaneda的结果．     

随机混合单调算子的不动点及应用

研究了随机混合单调算子的随机不动点问题，把郭大钧文中的一些混合单调算子不动点定理进行了随机化．     

圆管件锥面型冲压缩口中一些重要参数的确定

为给工艺设计人员制订工艺、设计模具提供依据，对薄壁圆管件锥面型冲压缩口工艺进行了分析．在工件材料为理想刚塑性材料的假设下，应用考虑厚度变化的轴对称塑性薄壳理论并通过数据拟合，得出了不同锥角及库仑摩擦系数情况下工件缩口变形区应力的变化规律与分布模式，据此推导出了工件成形阶段最大应力、缩口力与最终壁厚、弧面曲率半径、所需管坯长度及小锥角时极限缩口系数的计算式，这些公式均易于推广应用到变形强化材料圆管件的分析中．     

B-不变凸分式规划的最优性条件及其对偶定理

最优性条件和对偶定理是数学规划中十分重要的内容，在不变凸函数分式规划问题的基础上讨论了B-不变凸分式规划解的最优性条件及其对偶定理．     

一类矩形切割的优化模型

研究了工业中常遇到的先将原料板切割成加工拼板后，再将拼板切割成单元板的一类矩形板材切割问题，此类问题归结为二维排布的双层优化，针对单元板在拼板上和拼板在原料板上的4种不同排布情形，建立了统一的非线性整数规划模型，根据问题的特点，给出了该模型的一个化双层优化为单层优化的求解算法，实际应用中，该算法能在数秒钟内按工艺要求给出最优切割方案，与传统方法相比，料板利用率常可提高5％～10％．     

可重构制造系统的车间作业调度策略

提出了一种实用的分层调度策略 ,通过对制造系统组织的重构 ,以最小作业生产延迟和最大系统设备利用率为目标产生可行的次优调度方案 .该策略分 3个阶段 :首先 ,采用增广拉格朗日松弛法获得复杂可重构制造系统的车间作业预调度方案 ,该方法能将复杂作业调度问题分解成多个任务层的子问题 ,通过求解子问题获得任务的作业时间和对应工序加工的生产设备类型 ;然后 ,对制造系统进行组织重构以形成多个虚拟制造单元 ,旨在使制造单元内的生产设备间物流传送 (由自动导航小车承担 )费用最小 ;最后 ,通过离散动态规划形成虚拟制造单元的生产作业调度次优可行方案 .通过数值仿真分析 ,该策略能针对快速变化的产品需求 ,有效地重构生产制造系统 ,产生次优的调度方案 .     

C语言程序设计课题分析

C语言中的结构体数据类型具有足够的灵活性，可以通过基本类型来表示各种各样所需要的数据。以栈程序设计课题为例，对C语言程序设计的抽象的数据类型方法进行了具体分析。     

7-羟基-4-甲基香豆素的二阶NLO性质对晶体结构的依赖性

研究了7种香豆素衍生物的二阶非线性光学性质，在理论和实验上分析了7-羟基4-甲基香豆素的二阶非线性光学性质对晶体结构的依赖性，表明这是一类热稳定性高、透光性好的化合物，分子在晶体中的趋向对二阶非线性光学响应有重要影响，改良其晶体结构是提高这类材料综合性能的主要手段．     

模糊系数交叉规划

在模糊系数规划和交叉规划的理论基础上，对模糊系数交叉规划进行讨论，在以各个子规划的最小目标满意度最大化为最优性条件的要求下，提出模糊系数规划的模糊最优解的定义，并给出一种可行的求解方法．