抽象函数组最佳逼近的特征

该文讨论了抽象函数组的最佳逼近多项式组的特征，推广了已有的结果。     

F~＊空间上压缩型映射的不动点定理

在F＊空间中建立几个非线性压缩型映射的不动点定理.并利用它们,得到通常赋范空间和Menger概率赋范空间上相应的不动点定理.     

关于指数稳定＊一半环的研究

在k-闭＊-半环的基础上,引入了指数稳定＊-半环的概念,研究了它的性质,矩阵半环以及系数在其中的形式幂级数半环．得到指数稳定半环的矩阵半环不是指数稳定半环,证明了系数在指数稳定半环中的形式幂级数半环是指数稳定半环．     

IDA＊和边缘搜索算法的研究

图搜索技术在游戏编程中无处不在。图搜索方法已经成为游戏AI的基础。在游戏AI中。A＊是最常见的寻路搜索算法。本文对这个算法进行了延伸、扩展和修改,形成了IDA＊和边缘搜索算法,有效地提高了搜索速度,并获得内存上的最小开销。     

一种室内环境下仿人机器人路径规划方法

研究了单目环境下仿人机器人的室内环境的建立和运动规划问题.按照室内环境的建立地图,并选择SURF特征点作为室内环境中路标,提出了基于SURF路标与A＊算法的仿人机器人路径规划算法,该算法能够较好地满足仿人机器人路径规划的要求,具有一定可行性和有效性.     

安全数据库数据层推理泄漏检测方法

普通权限用户通过查询并结合数据库的其他知识,绕过安全机制,进行间接推理获取非授权信息,从而造成安全数据库敏感信息的推理泄漏.针对这一问题,提出了一种数据层的推理泄漏检测方法.该方法在形式化描述的基础上,根据数据库的约束规则和用户查询数据,基于逻辑推理实现了推理泄漏的检测.理论分析和测试结果表明该方法能够全面、有效地获取用户查询结果中实际蕴含规则,运用这些规则,可以使推理检测的正确率达到81.3%.     

基于符号推理的图像连通性分析

针对二值图像采用启发式的A*搜索算法进行图像路径的连通性分析,并将智能决策支持系统的相关技术运用于图像中两点间的最优路线规划.实验结果表明,启发式的A*搜索和符号推理规则相结合的方法为图像中两点间最短路径规划提供了一个形象而直观的描述方法,再现了图像实体间的空间关系,并为空间分析和分类提供依据.     

Φ＊-值鞅测度和随机积分

因为越来越多的数学模型被构造来描述各种各样的化学、生物和物理现象,所以把随机分析的研究领域拓广到广义函数空间是必要的。在文献[1～3]中,本文作者引入并研究了Hilbert空间值鞅测度的性质、随机积分和极限定理,本文将引入并研究核Frechet空间的对偶空间值鞅测度和随机积分,相应的概念与文献[1～3]中相同。     

方ray可解方程组与ray S*-阵的图论特征

给出了系数矩阵为方阵的复线性方程组为ray可解、非负ray可解及全非零ray可解等的图论特征刻画。得到了这些方程组的解的ray模式的图论表述．应用这些结论还给出了rayS^*-阵和rayS-阵的图论特征刻画。及其他若干类特殊的复线性方程组的ray可解性条件．