分立器件测试系统软件平台的设计及实现

为解决目前国内分立器件测试系统成本高,可维护性低等特点,开发了一套性价比高、操作简单、自动化程度较高的测试系统。并采用层次化、模块化的软件结构设计方法,设计开发了分立器件测试系统的软件平台。该软件平台可以完成系统硬件资源自检与校准、软件账号管理、流程图测试程序自动转换、测试指标报表生成及打印等一系列功能,并做到测试程序...     

存储器内建自测试的程序控制方法

文中提出了一种利用处理器的指令系统编写特定程序,通过程序运行来控制完成整个存储器内建自测试过程的方法.基于此方法的设计已经成功应用于一款处理器中,有效地提高了芯片的可测试性和应用系统的容错性.     

面向多核程序确定性重演的内存竞争记录机制研究

内存竞争记录是实现多核程序确定性重演的关键技术.针对现有内存竞争记录算法存在消耗资源多、记录日志大、重演速度受限等问题,本文提出了一种硬件结构支持的、基于分段技术的、高效的点对点内存竞争记录算法,该算法用一种更严格的间接发生序表示内存竞争,采用分段的可推导约减算法减少记录内存竞争的次数,同时使用最大近似时戳法近似已被替...     

基于虚拟仪器技术的飞机供电系统谐波分析

傅里叶变换是分析飞机供电系统谐波含量等参数的主要方法,但该方法计算量大、实时性差。在此通过分析国军标谐波参数标准,利用Lab VIEW虚拟仪器技术,构建了简单实用的程序分析飞机供电系统谐波。相对传统分析方法可以快速得到供电系统的谐波特征参数,使用方便、实时性好。通过传感器、信号采集模块等建立了某型飞机地面电源测试系统,对采集的系统波形采用Lab VIEW谐波分析程序,可以实时显示系统的谐波含量等特征参数,判断出该系统的供电质量。     

数字付费电视发展的几点思考

数字付费电视深受用户的喜爱,其最大的特点就是用户收看电视期间可以自主选择自己喜欢的电视节目而不受到广告的干扰,使人们由被动收看变为主动选择。根据陕西付费电视的特点和优势,浅析数字付费电视发展中存在的问题,并提出一些建议。     

IP技术在未来广电节目传输组网中的应用前景展望

本文介绍了基于IP技术的“TS over IP”、“IP组网”和“IP over SDH”等关键技术的应用情况,并描绘了未来基于IP技术的广电节目传输网的设计模型,对未来广电节目传输网的发展前景进行了展望.     

C语言程序分析器的设计与实现

为了评价程序员编写的程序是否具有良好的风格,来提高程序的可读性.本文提出了一种基于VC6.0开发环境的C语言程序分析器的设计方案,该分析器通过对程序进行扫描,统计出程序中函数的个数,平均函数的长度,代码注释的多少以及空行的多少,来对数据加以分析,完成对程序的总体评价.通过实际应用表明,该分析器能够有效快速地对程序进行评价,最终达到设计的要求.     

Mathematical programs with multiobjective generalized Nash equilibrium problems in the constraints

This paper considers a class of mathematical programs that include multiobjective generalized Nash equilibrium problems in the constraints. Little research can be found in the literature although it has some interesting applications. We present a single level reformulation for this kind of problems and show their equivalence in terms of global and local minimizers. We find that the reformulation is a special case of the so-called mathematical program with equilibrium constraints which is extensively studied in the literature.     

真空电子器件与模拟技术

以宽带大功率行波管和微波功率模块为例，展示真空电子器件研制水平及计算机模拟计算技术的重要性，并简要介绍了某些国外先进的电子器件的模拟计算技术。     

目标过顶的程序跟踪控制技术

阐述了利用计算机程序过顶控制技术解决地面站出现跟踪盲区时的过顶跟踪问题。利用实测数据分析了施加程序过顶跟踪控制前后的指向误差。