基于NETCONF的网络配置管理系统的设计与实现

为弥补SNMP在网络配置管理方面的缺陷,基于NETCONF的网络配置管理技术应运而生.本文遵循NETCONF逻辑模型的分层设计原则,设计并实现一种基于NETCONF的网络配置管理系统.采用YANG描述系统的数据模型,同时针对网络配置管理的功能需求,使用一个层次化的系统结构设计,详细分析各层次模块的关键类的设计.该系统在设计上充分考虑了管理信息和配置操作的扩展性,并且支持配置操作的安全性.     

基于数学归纳法抽取循环程序研究

广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。由于归结原理的反证法本质,不能保证其证明是构造性的,因此不能保证能够抽取循环程序,但是利用数学归纳法可以使用归结原理来抽取循环体,从而抽取循环程序。文中利用数学归纳法进行了循环程序的提取。     

增量更新关联规则挖掘算法研究

随着大型数据库系统在各行业普及,数据库中存储的数据量急剧增大,数据挖掘是从海量数据中挖掘有效或重要信息的过程。关联规则挖掘作为数据挖掘的重要研究课题,被广泛地应用。伴随挖掘数据库的规模不断发生变化,对数据的需求也会有所不同,如何从扩展数据库中高效地对已经推导出的关联规则进行更新具有非常重要的应用价值,这就是所谓的增量式挖掘关联规则的问题。     

工作流技术在办公自动化系统的应用研究

分析了WFMC和WIDE所提出的工作流元模型,以系统建模和流程控制为中心,从办公自动化系统功能和环境需求出发,探讨新工作流模型在开发功能全面、健壮、安全、高效、集成度高的办公自动化系统建模中的具体应用。     

用键盘钩子退出陷入无限循环的设计与实现

利用多线程可退出陷入无限循环的程序。使用键盘钩子管理监控线程可简化程序的编写。着重讨论了所有进程仅安装一个全局钩子来管理所有监控线程的技术问题。源代码取自一个动态库应用实例QuitFc,它是字符串表达式编译运行系统Forcal的一部分。     

计算机层次分析法的图像判读研究

运用AHP和聚类分析法对图像判读决策进行了定量与定性研究,在判读人员主观判断的基础上,获取评估结果并对这些数据做出分析。     

改进的自适应阈值区域图像分割方法在飞机目标识别中的应用

阈值分割是图像分割的常用方法。本文提出采用基于改进的自适应阈值区域分割方法,提高了对飞机目标遥感图像的分割效果。结果表明,该分割方法具有针对性,比传统方法具有明显的优势。     

无人机OFDM数据链路中信道估计算法研究

针对无人机信道的特点,以及采用正交频分复用技术进行无人机数据链路传输的优点.在对OFDM关键技术信道估计进行研究时,要确保接收端能够准确的检测出由于无线信道变化造成的码间干扰,准确的解调出原信号.根据系统需要设计了梳状导频和块状导频联合的导频插入方式,该方式可以在数据传输和信道估计性能上做到折中,并对常用的信道估计算法进行分析研究提出了改进的最小均方误差信道估计算法,最后建立频率选择性信道模型对不同的信道估计算法进行仿真,分析仿真结果可以看出该导频插入方式和信道估计算法具有较低的复杂度,而且又具有良好的信道估计性能,适合在实际系统中应用.     

出行信息服务关键技术研究进展与问题探讨

随着城市交通出行需求的不断增长.出行信息服务应运而生.介绍了出行信息服务产业的国内外发展状况,提出了出行信息服务技术平台的体系结构.分析了通讯平台、定位平台和地图平台的地位、作用及其发展趋势.从交通信息采集与处理、空间数据模型、路径规划算法、短时交通预测、信息可视化和服务标准规范等方面评述了关键技术的研究进展,分析了出行信息服务产业发展需要重点解决的科学与技术问题.以促进出行信息服务技术研究的进一步深化.     

单幅图像三维表面重建的算法研究与实现

以单幅二维图像为研究对象,应用SFS的基本理论,首先对二维图像进行了光照的倾角和偏角的估计,在光源坐标系下计算出物体每一点的表面梯度;之后,旋转坐标系,在观察坐标系下得到物体的表面梯度;最后采用三点辛普森公式求出物体表面的高度。整个算法流程简单,求解层次分明,重构满意度较高。