非可换线性逻辑及其Quantale语义

扩充了V．M．Abrusci定义的非可换线性逻辑，使其兼容直党逻辑、可换线性逻辑及cyclic线性逻辑，并利用提出的对偶quantale概念给出了非可换线性的可靠且完备的quantale语义。     

对偶系统的对偶包含问题

提出对偶系统的对偶包含问题，给出其包含条件及与原系统包含条件之间的对偶关系．对偶系统的约束条件是原系统模型降阶聚集条件的补充．     

软岩巷道围岩变形时序预测方法的研究

论述了时间序列分析法并将其引入到软岩巷道围岩变形的预测当中，建立了ARMA（2，1）模型并编制了应用程序，对现场观测数据进行了等时性和平稳性处理，应用逆函数进行了预测分析，得到了令人满意的结果，为软岩巷疲乏支护的设计和维护提供了重要的参考。     

柯西不等式与切贝雪夫不等式的统一推广

利用微微对偶不等式推广了柯西不等式和切贝雪夫不等式。     

纯整数规划的一种解法

给出了纯整数规划问题的一种异于传统方法的解法。其特点是引进的线性约束条件是从目标函数中产生的。     

哈密顿方程在近轴成象中的应用

本文通过理论力学哈密顿原理和光学费马原理的对照得到光学拉格朗日函数，由拉格朗日函数和哈密顿量之间的关系推导出光学哈密顿方程，并通过具体的例子说明哈密顿方程在近轴成象中的应用。     

对偶模型

本书是作者的系列数学通俗著作中的一本，是另两本《多面体模型》、《球模型》的续篇，它初版于1983年，现版本是其平装本。本书包含了所有均匀多面体的全部均匀对偶，给读者呈现了多面体形状非常绮丽的景象。     

柔性铰机器人动力学仿真

考虑关节的柔性,把关节柔性简化成一个线性扭转弹簧。然后利用拉格朗日方法推导出完整的动力学方程。该方程有两组相互耦合的动力学方程组成,一组为通常的多刚体动力学方程,一组为铰柔性产生的动力学方程。并且利用了一个数值模拟例子研究了柔性铰对机器人动力学响应的影响。其中考虑了关节的柔性所产生的动力学方程更为精确,因此在机器人动力学建模和控制中要充分考虑到柔性的影响。     

Mathematica软件在经济函数最值中的运用

经济数学是经济管理专业的重要基础课,它为后续专业课提供了强有力的理论依据和必需的数学方法。现代信息技术与经济数学教学的有机结合,在培养具有良好数学素养的应用技术型人才方面起着举足轻重的作用。本文结合实际的经济问题,介绍Mathematica软件在经济函数最值问题中的运用。     

非扩张非自身映射二重迭代的收敛性

研究具有弱序列连续对偶映射的Banach空间中非扩张非自身映射二重迭代的收敛性问题，所得的结果推广了参考文献[2]中的结果．