论文研究基于NDN的物联网安全通信技术研究 .pdf

针对经典卡尔曼滤波器在滤波数学模型与实际过程的数学规律不匹配、滤波特性较差的情况，提出利用强跟踪卡尔曼滤波器对视频序列图像中的运动目标进行跟踪。该方法是在经典卡尔曼滤波递推公式中的一步验前误差方差阵中

形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言（AADL）在软件开发中的作用及其技术现状，介绍了AADL的语言组成和相关特性，分析了AADL在软件开发过程中的作用，给出了一

基于FFD的点云变形技术研究，汤传吉，杨安康，本文首先介绍了三次贝赛尔曲线，并推广到多次贝塞尔曲线、贝塞尔曲面以及贝塞尔体，然后详细介绍了自由变形技术（FreeFormDeformation

提出采用XML技术来描述CAPP系统中的数据信息，结合关系型数据库存储的方法使CAPP系统具有良好的扩展性和灵活性，提高了与制造业信息系统的集成能力。

基于小波的频谱检测技术研究，李娜，魏东兴，认知无线电技术是解决频谱资源紧张的有效途径，而频谱检测技术是认知无线电系统的关键技术。本文提出了基于小波的频谱检测技术，

蕴涵在程序代码中的语义是程序语言词法和语法的抽象表达，构成了人脑思维与机器思维交互过程的中间变换。从指称语义出发，结合具体语言，用形式化的方法讨论了语义等价和H-等价（Herbrand等价）。H-等价

基于RSOA的再调制WDM-PON技术研究，周静，，基于RSOA的再调制WDM-PON系统是指在ONU处用RSOA做调制器代替光源，以实现ONU

针对视觉处理中常见的圆形目标检测，提出了结合Blob分析与最小二乘法圆拟合的定位检测方法，利用Blob分析算法实现粗定位，根据粗定位的输出检测目标圆的边界点，将其作为输入参数给最小二乘法圆拟合进行精定

基于STUNT的TCP穿越NAT技术研究，庄霄，邓中亮，NAT(NetworkAddressTranslation)技术已经被广泛应用,得到了多数防火墙/网关设备的支持。但目前穿越NAT的方法都是大多

基于移动Agent的拓扑发现技术研究，牛亚雷，，网络拓扑发现是网络管理系统中的一项重要功能，本文针对基于移动Agent的拓扑发现技术进行研究，分析了该技术的基本思路和洪泛机制�