UML2.0顺序图的形式化研究

在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型.为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petni网.     

基于AHP与SPC的软件过程性能分析方法的研究

通过软件过程改进提高和稳定其过程性能,是软件产品质量保证的基础.有效的软件过程性能分析方法可以提高定量过程管理的效率,也为成功地进行过程控制和改进提供了保障.在对项目目标的分解和分析基础上,运用层次分析(AHP)算法和统计过程控制技术(SPC),阐述了软件过程性能分析的过程.基于CMMI理念,针对项目目标、定量指标以及软件子过程逐级进行了映射,选择了实现项目目标的关键子过程.通过实现对项目的每一个关键子过程性能的量化分析,可以展现项目目标的完成情况,通过实例描述了具体应用.     

基于LabVIEW 8.0测定纯液体蒸发焓的虚拟仪器

将常规的数字温度仪与压力计通过串行口和计算机连接,构建基于LabVIEW 8.0测定纯液体蒸发焓的虚拟仪器,实现实验数据的动态采集、实时显示、自动绘制p～T曲线并显示曲线方程、自动数据处理和写成结果报告等。应用结果表明:基于LabVIEW构建的测定纯液体蒸发焓的虚拟仪器,免除人工操作的繁琐和人为误差,测定乙醇和苯蒸发焓的相对误差分别为0.86%、-2.97%,提高了测量结果的准确度,且具有界面友好,操作简便和功能易扩展等诸多优点。     

电离层延迟模型改进研究

由于电离层延迟会对卫星的定位精度产生很大的影响,传统的电离层延迟Klobuchar模型的预报精度不高,而且其对夜间电离层延迟以及对延迟峰值出现时刻的预报存在明显的不合理性。因此必须进行修正,根据实测电离层延迟数据的特点对传统的Klobuchar模型进行了改进,并利用非线性最小二乘迭代算法对两种模型进行参数拟合,采用拟合参数计算两种模型的拟合值。通过比较两种拟合值相对于实际测量值的精度,可以得出:改进模型比传统模型提高了电离层延迟预报的精度,并且改善了传统延迟模型预报中存在的不合理性。     

某型地空导弹半实物仿真训练评估系统接口电路设计

在开发某型地空导弹半实物仿真训练模拟系统时,实现系统硬件结构面临的主要难点之一是如何设计、实现其评估子系统的硬件接口电路,它主要用于为评估子系统采集需要的定量数据;评估子系统通过分析采集到的数据,来判断操作动作的准确性;结合某型地空导弹半实物仿真模拟训练系统的开发,以数字I/O卡PCL722为核心器件设计了该子系统的接口电路;运行结果表明,基于PCL722卡的接口电路符合评估子系统的要求,是可行、有效的。     

基于ATML标准的测试信息描述研究

当前测试领域缺乏一个广为接受的测试信息交换标准,这已成为自动测试系统向前发展的一个瓶颈,为了解决此问题,IEEE发布了ATML标准,该标准使用XML语言进行ATS的测试信息的标准化交换;文章首先介绍了ATML标准的目标与具体组成,然后以测试结果为例,实现了基于ATML标准的测试结果信息的标准化描述;为了方便测试软件的开发,本文开发了测试结果组件,测试软件中直接调用测试结果组件以生成符合ATML标准的测试结果文件。     

基于PXI总线舰载光电经纬仪伺服控制系统

为了克服舰船摇摆及风阻力矩干扰所造成舰载光学测量设备跟踪稳定性下降、目标丢失的影响,伺服系统通过接收主控微机提供的船摇信息,将船摇速度校正放大后引入速度回路,实现经纬仪的自稳定跟踪;通过对PXI总线技术进行探讨,分析PXI总线的规范和特点,结合伺服控制器的工作原理和组成,基于PXI总线的FPGA、DSP应用以及外围接口电路设计,大大减小了系统的体积,提高系统集成度、可靠性和稳定性。     

基于CC1100的无线抄表系统

介绍了一种利用单片机和CC1100无线通讯芯片构成的无线抄表系统,叙述了工作原理和实现过程,并重点介绍了CC1100的电磁波唤醒功能和原理,给出了详细的结论.     

PCI接口高速数据采集与处理卡的设计

利用可编程逻辑器件搭建了一个可编程的数据采集平台.