凸集之间的(伪)距离函数及其应用

凸集之间的距离和伪距离函数在工程技术的诸多分支中具有普遍的应用价值. 对该领域近年来的主要研究结果进行综述, 包括凸集(尤其是凸多面体)之间距离的快速计算方法, 各种伪距离函数(J-函数、膨胀距离、伪最小平移距离)的定义及性质, 并结合机器人运动规划、抓取分析与综合、几何误差评定以及工程优化问题解的最优性判别等问题, 介绍距离和伪距离函数的应用.     

弹性支承上轴心受压构件的屈曲分析及应用

分析了跨度、节间距以及支承弹性系数对弹性支承上轴心受压构件的屈曲的影响，把用不同方法得到的解作了比较，得到了弹性支承上轴心受压构件屈曲规律和一些结论。     

区间数的模糊综合评判法在煤层气赋存评价中的应用

将区间数概念用于解决模糊综合评价对象的某些属性的不确定性问题，在煤层气的赋存评价中，结果与事实贴近。     

左Yetter-Drinfeld模范畴中的双Frobenius代数

考虑左Yetter—Drinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)．证明了左Yetter—Dfinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)的对偶(A，t，φ，Ψ*)也是左Yetter—Drinfeld模范畴中的双Frobenius代数．给出了右积分φ∈∫A^r,t∈∫A^r,模函数α和模元g的模和余模结构，也给出了Yetter—Drinfeld模范畴中的双Frobenius代数的Radford的对极Ψ^4公式．     

一类差分方程的Cm解的存在性和惟一性

讨论了一类较广泛的差分方程G(x,f(x),f(x 1),……,f(x n)=n,x∈R，其中G∈C^m（R^n 2,R),n≥2)，通过采用小挪动映射逼近不动点的方法，对任一整数m≥0，在较弱的条件下证明了该方程的C^m解的存在性和惟一性。     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

基于粗集知识推理的IDSS中的知识表示

 探讨在智能决策支持系统中的知识表达,讨论了属性在知识表达系统中的作用,决策表格形式的知识表达系统的性质、作用以及根据粗集理论(其基本观点是:人类的知识表现为对对象的分类能力)分析处理海量信息中信息的有用特征,通过分析、推理产生最小决策规则.     

半线性波动方程的分片光滑解

考虑来自半有界弦振动的一维半线性波动方程的间断初边值问题 ,利用特征线法证明了该问题的分片光滑解的全局存在性定理 .     

半刚性连接在组合结构设计中的应用

结合工程实例,介绍了半刚性连接在组合结构设计中的应用,同时对用钢量、结构性能、施工质量控制、经济性等问题进行探讨.半刚性连接的结构性能良好,耗能能力优于刚性连接.     

关于射影半对称联络的某些特征

本文在前文工作的基础上给出了有关射影半对称联络的某些特征。首先考查了射影半对称联络的不变量并利用该不变量给出了类似于文[4]的某些结论。