支持高效更新的移动对象索引研究

基于TPR-树(Time parameterized R-tree,TPR-树)提出的LUTPR-树采用基于主存的更新方法,更新对象的删除操作在内存中完成,故避免了TPR-树中对象更新所导致的耗时的查找操作.同时,LUTPR-树能有效利用主存资源.实验结果表明,与TPR-树相比,LUTPR-树以牺牲很小部分查询性能为代价,大大提高了更新效率,更加适用于更新密集型应用.     

一种基于指数趋近律的电动舵机变结构控制

根据简化的电动舵机数学模型,设计了一种采用指数趋近律的变结构控制器。证明了滑模的存在性、可达性和稳定性,并用符号函数减少系统的振颤。仿真结果表明：与极点配置法相比,变结构控制的响应快、抗干扰能力强,且结构简单、易实现。     

微型飞行器小展弦比薄翼流场中的翼尖涡特性分析

采用虚拟压缩方法求解三维不可压缩N-S方程,数值模拟了无弯度、有弯度两类微型飞行器低雷诺数小展弦比薄翼的流场,将得到的结果与实验进行了对比,数据间吻合较好.然后在此基础上分析了小展弦比薄翼的气动力特性,详细研究了小展弦比薄翼流场中翼尖涡的涡态结构及形成规律,在对小展弦比薄翼流场尾迹区的翼尖涡采用近似模型的基础上,对尾迹区翼尖涡的强度进行了分析.结果表明,翼尖涡是影响小展弦比薄翼气动力和流动分离特性的一个重要因素.     

非合作目标的自主接近控制律研究

主要研究了针对非合作航天器的自主交会和拦截两种接近模式的控制律。根据非线性相对运动方程,采用李雅普诺夫(Lyapunov)方法设计了自主交会的控制律;并对该控制律进行了改进,使其适用于拦截模式,能以一定的相对速度接近目标。同时针对非合作目标存在机动的情况,采用Lyapunov最小-最大方法设计了自主接近的控制律。仿真结果证明了基于Lyapunov方法的自主接近控制律的有效性。     

基于主题模型的结构化Web服务发现机制

提出了基于主题模型(topic model)的结构化Web服务发现机制.利用LDA(Latent Dirichlet Allocation)生成概率模型,将Web服务(Web service)建模为结构化文本文档.一个文档视作主题的概率分布,主题又由关键词的概率分布组成,从而提供基于主题的Web服务检索.同时,利用Web服务的结构化特性,将Web服务描述文档表示为有向无环图,利用n阶谱核测量Web服务文档的相似度,实现Web服务结构化信息的发现.通过实验分析对比,基于主题模型的结构化Web服务发现机制有效提高了Web服务发现的效率和精确率.      

机器视觉导引系统中摄像机的标定方法

针对无人机(UAV)自主起飞与着陆机器视觉导引系统中摄像机的标定问题,讨论了标定摄像机内参数的重要意义,选定了包含畸变因素的摄像机透视投影模型。采用改进两步法进行摄像机内参数标定,结果中主要参数相对误差均小于1%,位置误差小于0.2像素,证明了所选择模型和标定方法的合理性。分析并验证了影响标定精度的因素,包括模型选择、图像拍摄质量和标定靶精度。针对机器视觉导引的应用条件,基本解决了准确、快速标定摄像机内参数的实际问题。     

卫星轨迹跟踪控制的参数化方法

 在卫星轨迹控制系统的状态空间模型的基础上,通过分析卫星的轨道动力学方程,给出卫星轨迹跟踪控制问题的数学描述;基于线性系统的特征结构配置和模型参考理论提出一种卫星轨迹跟踪控制的参数化方法,设计系统的反馈镇定控制器和前馈跟踪控制器。分别进行卫星悬停和绕飞两种指令下的仿真。仿真结果表明,提出的控制方案是行之有效的。     

柱面气相散心爆轰波胞格演化规律研究

本文采用二阶精度NND格式,应用改进的二阶段化学反应模型,通过求解二维Euler方程对柱面气相散心爆轰波胞格演化过程进行了数值模拟.计算结果表明在传播过程中,空间尺度的扩张导致了散心爆轰波后气流的自然膨胀,使得多波结构的爆轰阵面呈现出显著的胞格自组织特性.根据计算结果与理论分析,本文归纳了五种胞格演化模式,分别命名为内凹波阵面会聚、波阵面扭结、褶皱波面失稳、胞格自合并和三波点滑移,并定义了各种模式的物理特征,分析了其相关的演化机制和规律.     

舰船燃气轮机技术的发展途径

分析了国外舰船燃气轮机的发展的现状、趋势和技术途径,结合中国舰用燃气轮机的研制情况,提出了中国舰船燃气轮机的发展策略,即走航空发动机改型的道路。     

高动态无人飞行器轨迹规划与控制技术

针对高动态无人飞行器的飞行环境中,气动力、气动热条件苛刻,飞行参数和结构变化剧烈的特点,研究了多约束条件下的轨迹规划与设计方法.提出了以无人飞行器倾侧角为主控制量,将轨迹规划问题转化为最优控制问题,采用极大值原理和改进的邻近极值法,求解无人飞行器总吸热量最小的最优控制,并使得最优控制满足所有飞行边界约束和终端约束.最后,以某型高动态无人飞行器为对象,仿真证明了方法的有效性.