车载光电经纬仪高精度定位系统设计

本文介绍一种应用于车载光电经纬仪的高精度定位系统,该系统采用差分GPS定位技术,可以使车载光电经纬仪实时的获得厘米级的自身位置坐标,从而极大的提高车载光电经纬仪的机动性,同时该系统还可以实现高精度授时,作为经纬仪内部工作时序基准及站间通讯时间基准。     

微计算机控制的热电偶自动检定系统

微计算机用于热电偶自动检定系统,对实现检定工作自动化、提高工作效率、改善检定工作人员的工作条件都颇有作用。本文即比较具体地介绍了这种检定系统的工作原理、微计算机选择和接口电路、数据处理方法、试验结果分析及进一步的改进设想。     

基于虚拟仪器的热电偶自动计量检定系统

热电偶的检定是其使用过程中必不可少的工作环节。自动检定不仅工作效率高,而且可以提高检定准确度。虚拟仪器技术是计算机技术应用于仪器领域的最新成果,以虚拟仪器技术为基础,介绍了热电偶检定系统的新方法,使得热电偶的检定真正实现了自动化,同时,具有数字和图形显示方式,以及分析、打印和数据处理等多种功能,还阐述了系统的硬件结构和软件流程,并在实际应用中得到验证。     

Agilent 34401A数字多用表全自动检定系统设计

Agilent 34401A数字多用表在各类电参数的高精度测量中应用广泛,对其各项技术指标的定期检定与校准是必须的工作,以往采用人工检定的方法费时费力;为节省检定时间,提高计量效率,设计了一套针对34401A数字多用表的微机全自动检定系统,该系统利用NI USB-GPIB控制器控制5720A多功能校准源输出各类源信号检定34401A数字多用表,在LABVIEW2009开发环境下,应用高度封装的VISA库编程控制仪器响应GPIB总线上的各类检定命令。文章详细讲述了该检定系统的工作流程、硬件构成和软件设计技术,重点论述了系统软硬件联调过程中遇到的几类关键技术问题的解决方案;应用表明,利用文章介绍的相关技术,可简化检定软件编程,节省检定系统开发时间,也为同类仪器的全自动检定系统设计提供了相关借鉴。     

电子天平辅助检定系统设计

介绍了一种适用于电子天平的辅助检定系统设计方法,系统具备辅助检定、数据计算、文档生成、台账管理等功能,在系统辅助下,只需根据提示放置相应砝码即可完成检定工作,大幅提高了检定工作的作业效率,设计方法通用性强,具有良好的推广应用前景。     

声级计电性能自动检定系统的设计与实现

目前人们对噪声污染越来越重视,送检的声级计日益增多,传统的手动检定方式的效率已经很难应付,因此提出设计一款基于LabVIEW软件平台的声级计自动检定系统,以实现声级计的自动检定;系统依据JJG188-2017《声级计检定规程》设计,通过控制标准信号源(KeySight33520B)和程控精密衰减器生成标准检点信号传输到声级计电信号输入端,声级计响应以后将检定结果返回给系统,文章介绍了系统的设计方案;经过实验,系统可测量声级计频率范围10 Hz~20 kHz,声压级动态范围110 dB;在实际应用中能很好的完成仪器自动控制、数据采集、数据分析处理、检定原始数据记录报告生成等自动化检定工作,提高了声级计检定的工作效率、减少人为误差确保了检定结果的准确可靠。     

光测设备模拟跟踪系统的仿真设计

经纬仪是我国靶场测量的主要光测设备，占据了外弹道测量试验任务中的主导地位。为了解决其日常训练中存在的设备磨损、缺少形象的测量对象和环境等问题，该文介绍了采用以加挂的方式，在经纬仪上加装能够产生与实际试验任务图像环境一致的计算机及接口设备，利用DirectX接口技术制作跟踪测量仿真软件的方法，制作了多媒体模拟跟踪训练系统，并具体介绍了系统的软硬件组成及其实现方法。     

某型光电设备便携式自动检定系统设计

光电设备的检定一直存在自动化水平低、体积庞大、检测时间长等问题,为了提高检定效率,研制一套便携式光电设备自动检定系统十分必要。以某型光电设备的检定为例,详细介绍了系统的原理及其硬件结构。通过VB和汇编语言混合编程编制了一套软件包,实现检定数据的记录、处理,并具有数据库管理功能。此外,分析了系统误差来源及数据处理方法。实际运行结果显示．该系统有效提高了光电设备检定的效率和精度。     

基于视觉的电子激光经纬仪空间点自动瞄准方法

为提高电子经纬仪系统的工作效率,将图像处理技术与传统测量方法相结合,提出了基于插值算法的自动电子激光经纬仪空间点坐标测量方法.首先介绍了系统结构,接着说明了外置摄像系统在近距离长焦模式下实现光学放大,利用质心算法得到亚像素级别的目标定位精度的方法;然后利用电子激光经纬仪扫描线模型,通过离散点插值方法得到概率瞄准状态下经...     

音速喷嘴法气体流量计自动检定系统的设计与实现

为提高气体流量计的检定精度和效率,设计了一种基于文丘里音速喷嘴的负压法气体流量计自动检定系统.阐述了音速喷嘴及其装置的工作原理,提出了自动检定系统的设计方案.在VC++的环境下编写上位机软件控制硬件设备操作,实现了自动数据采集与检定过程的自动控制,检定完成后由系统自动判定流量计是否合格并把检定结果存入SQL Server数据库.实际应用表明,该自动检定系统性能稳定可靠,且有利于提高气体流量计检定的效率和准确度.     

An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution

In this paper, we describe a verification method for families of distributed systems generated by a context-sensitive network grammar of a special kind. The grammar includes special non-terminal symbols, so-called quasi-terminals, which uniquely correspond to grammar terminals. These quasi-terminals specify processes that are mergings of basic system processes; in contrast, simple nonterminals specify networks of parallel compositions of these processes. The verification method is based on the model-checking technique and abstraction. An abstract representative model for a family of systems depends on their specification grammar and the system properties to be verified. This model simulates the behavior of the systems in such a way that the properties holding for the representative model are satisfied for all these systems. The properties of the representative model can be verified by the model-checking method. The properties of the system generated are specified using the universal branching time logic ?CTL with finite deterministic automata as atomic formulas. We demonstrate the application of the proposed method to verification of some properties of a multiagent system for conflict resolution, particularly for context-dependent disambiguation in ontology population. We also suggest that this approach should be used for verification of computations on subgrids that are subgraphs of computation grids. In particular, it can be used to compute the parity of the number of active processes in a subgrid.     

智能PID控制器在网络测控仪中的应用

介绍了PID控制器的原理、结构、算法,应用常规的PID控制器难以解决复杂对象的控制问题,于是产生了一系列的改进算法,以满足不同控制系统的需要。在网络测控仪系统中将改进算法与常规的PID控制相结合,构成智能PID控制器。通过对比试验结果,发现在网络测控仪系统中应用改进型算法后,系统具有较好的控制特性,可以避免给定值升降时所引起的系统震荡,明显地改善了系统的动态性能。     

光电经纬仪站址与测角测距误差校准

光电经纬仪校准是实现目标精确测量的关键,在设备经过一段时间的使用或移站后均需进行校准.针对近期一次光电经纬仪校准工作中,以设备旋转中心测量值作为站址坐标真值进行其他参数校准时产生了无规律且较大测角偏差的问题,提出一种基于地面控制的光电经纬仪站址与测角测距误差校准方法.相比其他类似校准方法,该方法将站址坐标、测角误差和测距误差均作为未知量进行校准模型构建,通过平差计算,得到一组最优的校准数据作为光电经纬仪测量的基准.经试验验证,该方法有效提高了光电经纬仪测量精度和可靠性,同时校准结果可直接用于光电经纬仪数据处理软件,保证光电经纬仪测量处理的规范化.     

基于LabVIEW和PLC的容量计量标准装置控制系统设计

依据JJG133—2005汽车油罐车容量检定规程,基于虚拟仪器软件LabVIEW和PLC,开发了一套汽车油罐容量计量标准装置控制系统,系统设计满足了计量标准装置对工业控制系统的特殊要求,实现了油罐车容量检定的自动化,提高了油罐车容量检定效率。     

阶梯法在线阵CCD位置检测中的应用

线阵CCD在经纬仪准直系统上已大量采用,但目前常采用二值化法和重心法的处理方法,其处理准确度不能完全满足需要。通过分析二值化法和重心法的处理过程,对影响准确度的因素进行了分析,比较了2种方法的优缺点,基于对波形的稳定性处理,提出了阶梯法的处理思想,克服了二值化法和重心法的缺陷,并分析了阶梯法处理的基本原理及其处理方法,使其准确度得到了提高,基本满足了需要。     

应用复杂陷波器精确消除经纬仪机械谐振方法的研究

为了精确消除机械谐振频率对经纬仪系统性能的影响,应用了复杂型的数字陷波器,利用其幅频特性与实际系统幅频特性相对比的方法,精确消除了机械谐振.实验表明:该方法可以做到在对经纬仪低频段特性影响较小的情况下,精确消除机械谐振,提高经纬仪的闭环带宽及其稳定性.     

基于数学平台的实时图像消旋系统

针对两轴光电经纬仪动基座跟踪目标时,视轴无法隔离载体扰动造成图像旋转现象,本文提出了一种基于数学平台的电子消旋方法,采用捷联式惯导系统+DSP+FPGA的硬件系统通过反向旋转和双线性插值对图像进行消旋和填充,完成视频恢复,该系统已成功应用于小型舰载经纬仪上,可完成720×576×24大小彩色视频图像的恢复,输出帧频25f/s,图像质量良好,系统输出误差小于1个象元。     

经纬仪跟踪伺服系统中的动态高型控制的研究

为了在不影响系统动态特性的基础上提高传统PID控制的跟踪精度，提出采用高型控制方法设计Ⅱ型经纬仪跟踪伺服系统．根据经纬仪跟踪伺服系统的特点，采用动态高型控制方法进行动态跟踪调节，通过计算某时刻误差和误差变化率乘积的正负来确定积分环节的增减．动态高型控制方法使跟踪性能大大改善；不但提高了跟踪精度和速度，而且可适当增大积分常数而并不影响系统的稳定性，克服了传统积分作用导致积分饱和的缺点．仿真结果表明其跟踪效果和动态性能优于其他方法．     

Techniques for the verification and validation of knowledge-based systems: A survey based on the symbol/knowledge level distinction

Verification and validation are terms that have been used for several years in software engineering, and there are now many verification and validation techniques, plus considerable experience and expertise in using them. However, applying these techniques to knowledge-based system is not straightforward. The essential differences between conventional systems and knowledge-based systems suggest that these techniques must be expanded and adapted, but new techniques are also needed. This article has two major goals: first, it makes some comparisons between verification and validation as found in traditional software engineering and knowledge-based systems, pointing out what is special about the latter as compared with the former; second, it provides a framework for a discussion of the various European work on verification and validation of knowledge-based systems. The perspective put forward in this article allows for a vast amound of work to be surveyed and analysed beyond the implementation level, by differentiating the symbol level and the knowledge level within a knowledge-based system.