GPS信号接收机的基本性能检验

在检验ＧＰＳ信号接收机的性能时，笔者认为，应该设法减小ＧＰＳ卫星误差和ＧＰＳ信号传撞误差的影响，致使检验成果能够客观地反映接收机的自身特性；为此，论述了零基线检验法和超短基线检验法及其实验成果。     

改进滤波法在热管换热系统稳态检测中的应用

热管换热系统在进行数据调和和稳态优化之前，必须保证系统处于稳定状态，而检测系统是否处于稳定状态的方法多种多样。改进滤波法是一种较为普遍的稳态检验方法，可以对包含过失误差的系统数据进行有效检测，从而判断系统是否处于稳态。热管换热系统由于电网电压的波动以及外界振动，易给传感器测温数据引入过失误差，运用改进滤波法可有效检测数据含过失误差的情况。数值试验结果表明，传统的滤波法用于检测数据含过失误差时稳态检测失效，而改进滤波法能有效检测出系统处于何种状态。     

检验工作质量的保证

影响检验工作质量的因素有检验人员、检验中使用的仪器设备、检验过程中用到的消耗性材料以及检验的方法和检验工作时的环境条件等因素，对这些因素进行有效控制，可以确保检验工作的质量及检验结果的准确。     

激光跟踪测距中的测量检验技术

介绍了利用半导体光源可达秒级的激光跟踪误差斜率曲线测量系统，阵列式激光光束光强分布测试仪和与激光跟踪测距接收机数据采集与处理的接口和打印，Ｉ／Ｏ接口等。成为激光中开程任务设备装配检验和测量的依托手段，给出误差斜率曲线的测试结果。     

数字电路设计中的符号模型检验技术

符号模型检验把有序二叉判定图OBDD技术引入到模型检验中，有效地缓解了状态组合爆炸问题。文章主要介绍了CTL模型检验基本概念和原理，给出了符号模型检验算法，验证了模4计数器的某些特性。     

平面面形绝对检验技术测量误差分析

绝对检验消除了参考面面形误差对干涉测量精度的制约,可实现纳米精度的面形测量。对现有主要平面面形绝对检验技术进行了总结比较,运用泽尼克多项式前36项构建被测平面,对边缘噪声、平面原始精度、旋转角度与偏心误差等因素对典型平面面形绝对检验技术测量精度的影响进行了模拟分析。绝对检验对被测平面原始精度、干涉图分辨率和旋转角度误差不敏感,对边缘噪声和旋转偏心误差敏感。实际测量中,旋转轴心对准误差应小于2 pixel,测量中心面积比取95%左右。     

一种基于KS检验的时间序列非线性检验方法

检验统计量的选取将对时间序列非线性检验的结果产生重要影响。该文在采用打乱相位法产生替代数据后,引入了一种非参数检验Kolmogorov-Smirnov 检验(简称KS检验)作为检验统计量。通过对各类信号的数值实验及与传统使用的高阶自相关量以及时间反演不可逆量对比结果表明,KS检验是一种有效、稳定的非线性检验统计量,对噪声信号具有较强的抗噪能力,而对非线性信号具有较高的敏感性。     

光导热塑片全息录相用于无损检验的偿试

一、引言 激光全息无损检验是利用全息技术，通过被测物体在两种不同形变状态下干涉图样的变化来反映物件质量的一种检验方法。     

临床检验信息综合采集和管理系统

理造成不便。储到网络上,了工作效率。卫检局的临床检验往往通过不同仪器进行,各种仪器来自不同厂家,而且没有网络功能,给信息的收集和管临床检验信息综合采集和管理系统对生化分析仪、尿液分析仪、血球计数分析仪的检测结果通过数据采集存并和病人的基本情况、采样场所调查结果一起形成数据库,通过数据库实现临床检验信息的管理,大大提高本文介绍临床检验信息综合采集和管理系统的组成和结构,并着重介绍了临床检验仪器的数据采集的方法。     

基于符号模型检验的硬件验证

随着程序或电路规模的增大，状态数目将呈指数增加而引起组合爆炸。符号模型检验是形式化方法的一个重要方面，可以处理大规模的数据和控制序列，缓和了组合爆炸的问题。文章介绍了符号模型检验的原理和方法，利用验证工具VIS验证了8位微处理器PIC的一些关键属性，并给出实验结果。     

“串行检验”比较于传统的随机性检验方法的优越性

随机序列在密码学中占有重要的地位。2001年3月NIST公布了16种检验序列随机性的标准方法，其中没有包括传统的序偶检验和扑克检验，有关方面只列出了一个所谓“串行检验”的方法。说明串行检验其实优于同时使用扑克检验和序偶检验的效果，因此它才完全取代传统的有关检验方法而出现于NIST的上述标准中。     

面向模型检验的UML状态机语义

UML状态机(SM)是UML中用来对系统各种元素的离散行为建模的图．它丰富的表示符号提供了强大的描述机制，但也降低了其结构的模块性，提高了对其分析验证的难度．模型检验是自动检验有限状态并发系统的技术．通过模型检验SM描述的不同系统元素的行为是否满足某些性质，能尽早发现设计中的错误．为了将模型检验技术应用于SM的验证，本文用kripke结构定义SM的操作语义．与已有的SM语义定义不同，本文考虑到了SM中包含的不确定因素，用kripke结构描述系统所有可能的演化轨迹、通过检验从SM翻译得到的kripke结构达到模型检验SM的目的．     

检验自动化系统在检验验收中的应用

首先阐述了检验自动化和检验信息化的概念，然后对比了检验信息化的优势，最后，以一个实际的案例介绍了测试数据自动采集与分析系统在军工产品检验验收中的具体应用。     

产品质量检验精确度的提高措施

产品质量检验的精确度在判定产品质量是否合格、指导产品质量改进方面具有重要意义，直接决定了质量检验的效果，因此提高产品质量检验的精确度具有重要意义。基于此，本文首先对可能影响检验精度的因素进行了分析，并在此基础上提出了精度改进的方法，以供专业工作人员实践参考。     

激光散斑散焦观察法在无损检验中的应用

本文介绍利用激光散斑散焦观察法的原理进行快速检验蜂窝迭层结构脱胶缺陷的新方法。它与全息法一样具有灵敏度高、准确可靠．重复性好等特点，还具有试验装置结构简单、造价低、可避免记录及其处理过程，即时可测出缺陷大小．直观方便等优点。如果检验结果需要存档，亦可照相记录，不需要防震台，不需要暗室工作，可用于生产现场。     

UML Statecharts的切片模型检验方法

统一建模语言UML已被广泛应用于软件设计和开发中，而验证UML模型是否满足关键的性质需求成为一个重要问题。由于空间爆炸和语义的复杂性，对Statecharts进行模型检验受到软件规模和设计精化程度的制约。本文在用扩展层次自动机（EHA）结构化的表示UML Statecharts后，通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系。对于由状态和迁移组成的切片准则，给出对EHA进行切片的算法。该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性，且删除了与被验证性质无关的层次和并发状态，缓解了空间爆炸问题。     

雷达的径向速度检验方法研究

简要介绍了新体制雷达的发展趋势,从以GPS测速作为考核雷达的径向速度指标的方法入手,介绍了GPS测速和雷达测速的起算坐标系、高程起算基准面、基准线之间的区别,重点提出了GPS测速转换到雷达径向速度的方法,建立了径向速度真值计算的模型,并对径向速度真值计算模型的误差进行分析,分别采用静态、实际测量数据的方法对径向速度真值计算模型进行验证,该方法作为检验雷达径向速度的手段科学合理、切实可行,可以满足雷达的径向速度检验真值的要求。     

桥门式起重机检验方法的研究和讨论

起重设备在工业生产中不可或缺,正常生产过程中起重设备一旦出现故障,不仅会影响生产进度,甚至可能会造成严重的经济损失或人身伤害。因此起重机的检验显得十分重要,而在起重机检验过程中经常会遇到因为检验本身的问题,造成检验结果失真的情况发生,从而造成起重设备使用过程中隐患的存在。因此,起重机的检验必须根据实际,科学选择适宜的检测方式和检测设备,最终得到最真实的检验结果。本文主要分析了桥门式起重机的检验方法,并且对比分析了不同的检验方法。     

临床医学检验质量控制对策的研究

目的探讨临床医学检验质量控制的影响因素及应对措施,为医学临床科学检验提供重要依据。方法以我院2012年8月-2013年12月的1256例患者为研究对象,统计其检验失误例数,分析原因。结果 1256例患者共检验2127次,产生305次(14.34%)检验失误。主要包含检验准备、样本采集、样本处理和其他因素,对应阶段失误概率分别是64.92%、22.62%、4.26%和25%。结论临床医学检验质量影响因素多,加大质量控制力度,制订详细解决措施,提高检验结果准确性,为患者临床诊治提供精确检验数据,以提升我院临床检验和诊疗水平。     

关于刑事电子科学技术痕迹检验的探究

在侦查刑事案件的过程中，刑事科学技术里的痕迹检验是非常重要的一个环节，几乎每个刑事案件都在不同程度用到痕迹检验方法。痕迹具体含义是，物体运动过后留下的印记或者印象。痕迹检验方法是指，公安机关通过对案发现场仔细勘查检验后，发现的种种痕迹物证加以检验和鉴定，还要通过痕迹检验和化验的手段对作案过程进行还原与推理，以便使公安机关侦查人员提获取到最有利和有用的破案线索。总的来说，痕迹检验方法可以提高案件的侦破率，更有利于惩戒犯罪分子、保护公民人身及财产安全，以此促进社会和谐发展。刑事案件中运用痕迹检验方法，为公安部门打击犯罪嚣张势焰提供有力武器。