面向智能输电的三维可视化管理平台研究

提出了输电线路与物理设备动态映射的数据组织,从而实现输电线路及其技术档案资料的动态管理,研究实现了基于COLLDA的设备三维模型的动态构建方法,构建了基于键值数据库的影像库、模型库等,设计与实现了输电线路三维可视化维护管理平台,实现输电线路的可视化、智能化管理。     

基于特征空间的航空影像自动配准算法

为解决图像配准的出界点、噪声干扰等问题,提出一种基于特征空间的航空影像配准算法.该算法采用改进的Harris算子提取特征点(角点),并建立角点特征空间,根据三级匹配策略,实现特征点的匹配,完成图像配准.实验结果表明,该算法在旋转、缩放、噪声等多种因素的影响下具有良好的配准效果,特别是对于小重叠区域(具有75%以上出界点)的图像对,配准效果良好.     

可信软件代码中程序标注的使用及类型验证

程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。