基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

面向软件定义的飞行器综合电子系统软件架构技术

针对飞行器系统智能化发展对传统软硬件一体化研制方式的挑战,本文提出一种面向软件定义的开放式、可移植的飞行器软件体系架构。首先,提出一种逐层解耦的分段式飞行器软件体系架构,通过标准化各个段的接口与服务,实现飞行器的软硬件解耦、平台解耦与组件间解耦,有效支持飞行器软件功能组件的可移植与复用;其次,基于该软件体系架构,采用标准化可复用软件组件的快速集成验证方法,实现飞行器功能的软件定义。     

基于IRIG-B码的软件化测控系统时间同步方法研究

利用软件实现测控信号处理将成为未来测控系统的发展趋势。针对通用计算机处理时延的不确定性问题,根据软件化测控系统中数据块式的传输模式,提出基于B码的系统时间同步方法,能够为数据处理、存储及事后分析提供精确的时间定位。方法按照国际通用的B码格式,通过A/D端口将B码流与测控信号同时送入计算机,采用纯软件解调出8421码格式的天、时、分、秒信息,并利用采样率计数进行初始相位估计,可实现测控数据的精确校时,同时利用误差校正降低A/D采样时钟漂移对时间同步的影响。设计无需外部设备辅助,具有配置灵活和低损耗的特点。     

PCM/FM信号软件解调算法研究

针对PCM/FM信号解调的特点,研究一种基于短时傅里叶变换STFT的软件化解调方法。首先采用STFT检测f1和f0对应的频谱能量,再根据两能量谱的比较进行码元判决。详细论述软件解调系统的数字检测和码同步软件算法,分析算法的解调性能。仿真和测试结果验证了方法的有效性。     

基于Modbus协议的校飞集中监控系统

根据机载校飞设备相对分散、数据采集量大等特点,综合应用Modbus现场总线技术,结合组态王软件特点,构建校飞集中监控系统。利用组态王研制出机载校飞设备的监控系统,实现机载校飞设备的实时监视、控制,可以实时采集和显示设备的相关参数,并能进行事后回放。系统大大降低了校飞成本,提高了工作效率。     

一种基于双DSP的软件无线电中频调制解调平台的研究与实现

文章简要介绍了软件无线电的概念;分析了TI公司的DSP TMS320VC5509的特点;详细说明了一种基于双DSP的软件无线电中频调制解调平台的研究与实现。     

基于Citect的自动监控系统的开发与实现

介绍了Citect工业控制软件的主要功能、特点,并对应用Citect开发工程的步骤及其在石油试验环道自动监控系统的应用实例进行了详细说明。     

基于DSP BUILDER的数字下变频器设计

介绍利用DSP BU ILDER设计基于FPGA的数字下变频器的方法,研究使用专用乘法器的NCO设计、半波带滤波器多相抽取处理结构和FIR滤波器的分布式算法,同时给出实际应用的设计方案和仿真分析结果。     

FREQUENTIS内话系统无线接口板软件故障分析

一、FREQUENTIS内话系统结构FREQUENTIS VCS3020S内话系统是一部全数字无阻塞语音交换系统,其主要工作特点是采用双套系统A和B、双套语音和数据传输总线、语音数据和信号信息(例如PTT和SQ)在两套系统中并行传输的工     

AOCC应用软件的快速仿真平台的研究与技术实现

介绍AOCC应用软件的快速仿真平台的框架设计及其3种具体的实现方法:基于软件移植技术法、基于混合编程技术法和基于指令解释器技术法。基于上述方法构建的快速仿真平台,能够满足软件开发人员对AOCC应用软件不同层面的闭环调试和测试要求,对于提高软件的开发效率和保证软件的质量有积极的作用。