基于关系数据库的静态分析研究

静态分析就是通过分析源代码和软件结构来消除软件安全缺陷．研究基于关系数据库的程序分析。在此基础上分析缓冲区溢出漏洞检测的过程,总结基于关系数据库静态检测的优势和发展趋势。     

一种新型的机器人自适应跟踪控制器研究

针对神经动力学模型描述的非完整移动机器人系统,研究了其在未知参数和不确定性干扰下的轨迹跟踪控制问题.基于反演技术提出了一种转矩控制器,利用Lyapunov稳定性理论和中间虚拟控制量保证跟踪误差渐进收敛到零.不但能够得到稳定跟踪所需速度,并且有效解决了不确定非完整移动机器人动力学系统的轨迹跟踪问题,具有设计方法简单,鲁棒性强的特点.仿真结果验证了所设计的控制器的有效性和正确性.     

差异维修决策系统研究与设计

研究航空装备维修决策问题中发现,系统维修时存在广泛的差异性,从研究实际出发,提出维修信息集成基础上的差异维修思想。结合维修决策框架研究了差异维修决策的基本原理,分析了差异维修决策差异来源,给出了进行差异维修决策的基本流程。从总体设计上对差异维修决策系统的七层模型进行了研究,对系统主要模块功能进行了分析,最后以某控制系统为例说明了差异维修决策系统的实用性。