基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

影响激光外差高精度计量的几个关键因素

共光路外差干涉仪具有很高的分辨率,但因为安装、调试误差会产生非线性误差,影响系统的测量精度.所以着重分析了影响激光外差计量精度的4个关键因素,即频率混叠、不同被测金属的相位跳变、被测表面的倾斜及物镜的数值孔径;利用激光外差及矢量分析理论,深入研究了频率混叠误差和相位跳变误差的成因、变化规律,并讨论了提高测量系统精度的有效措施.对正确设计和调试激光外差测试系统、提高测量系统精度具有重要意义.     

基于双GPS接收机的精密定向研究

GPS定位系统除了可以进行定位、测速和授时外 ,还可以利用两个或多个GPS测量值进行方位测量和三轴姿态测量。文章对利用两块GPSOEM板同步接收的载波相位观测量来精密测定方位进行了深入研究。首先利用载波相位的双差观测方程 ;再根据两个天线间距离已知这个条件 ,对方位和俯仰进行二维搜索 ,并采用了模糊度函数作为搜索的判断依据 ;最后根据最小二乘计算出两个天线的基线矢量 ,从而最终计算出精密的方位值和俯仰角。经过大量的试验表明 ,该算法是切实可行的 ,在 5m基线下 ,方位精度达到 0 0 8°,而且定向时间一般只需 1min左右     

五/六自由度激光跟踪测量技术的原理分析

激光跟踪仪具有测量精度高、动态测量、实时快速等优点,在工业测量及大尺寸计量等领域中有着广泛的应用。五/六自由度测量技术是解决全姿态测量的重要手段,五/六自由度激光跟踪仪是近年来新出现的测量设备,也是实现全姿态测量的常用设备之一,已经广泛应用于机器人跟踪、设备动态标佼等测量工作中。因此针对目前国际上最新的五/六自由度激光跟踪测量技术,主要介绍了基于单站激光跟踪仪实现五/六自由度全姿态测量技术的原理。     

视觉跟踪坐标测量系统数学建模

提出了一种基于光学测头成像的单相机视觉跟踪坐标测量系统。该系统中引入了一个转动平台带动相机运动,使相机光轴始终对准运动的光学测头中某一个光点,保证光学测头成像在畸变比较小的像面中心附近。给出了系统的组成结构,通过空间变换和光学成像原理建立了系统的非线性跟踪测量数学模型,给出了利用Newton非线性迭代算法求解跟踪方程的具体算法,通过实验验证了所建立的模型和求解方法的正确性。最后,分析了转动角度误差对测量结果的影响。     

扫描开关检测方法探讨

介绍了扫描开关的主要用途,对扫描开关的检测项目、检测仪器和检测方法进行讨论,重点说明所采用检测方法的原理,给出了扫描开关的检测数据,并分析了扫描开关检测结果不确定度。     

基于机器视觉的高精度顶桥施工位姿测量系统

分析了现有的顶桥施工中位姿测量系统的特点,指出其目前存在的主要问题.针对这 些问题和现场需求,基于计算机视觉反馈理论,设计了一种由CCD传感器、激光准直仪和倾 角传感器组成的新型高精度光电测量系统.在建立了相关数学模型的基础上,搭建了硬件系 统,给出了视频采集、图像处理和多串口通信等关键技术的具体实现方法,完成了各功能模 块的软件开发.该测量系统具有精度高、实时性好、操作简单、维护方便和成本低廉的优点 ,能够替代以往效率低下的人工测量方式,而且其实现方法为其他大型施工测量系统的设计 提供了新技术.      

影响图对策在多机协同空战中的应用

为了解决不确定环境下空战机动决策问题,将影响图和对策论引入到多机协同空战中,提出了协同影响图对策模型.首先确定群机空战转化为多个小编队作战的原则,然后在协同的思想下把多对多空战模型转化为多个一对一空战模型,最后在不确定环境下,运用影响图对策理论解决一对一空战.针对影响图对策模型计算量大的问题,采用移动平均控制法进行求解.空战仿真结果表明该模型的有效性.      

高准确度惯性测量装置全温测试系统的校准

阐述了高准确度捷联惯性测量装置全温测试系统的校准测试方法。通过对软硬件进行校准测试,验证了该系统可以完成不同种类的惯性测量装置误差建模和综合测试。     

基于鲁棒控制的光纤电流互感器的噪声抑制

光纤电流互感器是一类存在模型参数不确定性的系统,为提高系统测量精度,利用鲁棒控制理论提出了系统的鲁棒H_∞控制器设计方案.分析系统的检测原理并建立数学模型.针对光纤电流互感器系统给出控制器设计指标,使得闭环系统渐近稳定且提高系统噪声抑制能力.理论证明控制器设计方案满足设计指标的要求,并利用线性矩阵不等式的可行解给出了控制器的构造方法.最后通过计算机仿真和实验结果证明了此控制器设计方案的可行性和有效性.