一种实时系统时间约束验证方法研究

目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能模和时间约束分析的方法尚在研究中,而这些系统作为实时控制系统,应该确保其具有准确的、可分析的时间行为。时钟约束规范语言CCSL是实时系统的标准描述语言中描述时钟约束的规范语言。采用CCSL规范表达式描述实时系统时间约束;设计了CCSL基本元素到时间自动机基本元素的转换规则;使用时间自用机验证工具UPPAAL对转换得到的自动机模型进行验证分析,验证实时系统是否满足相应的时间约束。     

基于DM642 DSP技术视频图像采集与传输系统设计

视频图像的采集与传输技术一直是信号处理领域研究的热点与难点问题,文章主要以系统的硬件设计和软件设计来对系统进行详细论述,在硬件设计中,通过分析视频图像采集所需要的主要性能指标,确定了系统采用TMS320DM642DSP芯片,并确定系统的总体设计方法,同时完成了DSP最小系统设计,电源设计以及图像传输模块设计等;在软件设计中,通过对DSP实际控制,从而实现了系统的视频编码余打包等功能,并完成了视频传输的驱动程序设计,最后通过对TMS320DM642DSP的实时控制,实现视频图像传输与采集功能。     

基于RSSI和改进MCL算法的移动节点定位跟踪设计

由于传统节点定位方法大多针对静止传感器网络,不能适用于网络结构和节点位置动态变化的移动传感器网络,提出了一种基于RSSI测距和改进的MCL(Monte Carlo Localization)算法的移动传感器节点定位跟踪方法;首先描述了经典MCL算法和接收信号强度RSSI测距方法,然后设计了一种改进的MCL算法,将传统的MCL方法预测粒子位置的过程即预测和滤波两个阶段,更新为锚节点TTL受控泛洪方式广播自身位置、采用拉格朗日插值法预测节点下一时刻的位置和速度、求取锚盒采样区域、k跳锚节点粒子滤波和根据预测下一时刻的节点位置和速度与当前时刻的位置信息确定各粒子权重的5个阶段;采用仿真器MCL-Simulator进行仿真,结果证明:文中方法能有效实现移动节点的定位,与其它方法相比,具有较小的平均定位误差,具有很强的可行性。     

基于STM32和AD5933的多通道阻抗测量仪的设计与实现

针对目前传统使用的阻抗测量仪通道少、精度低、操作复杂等诸多缺点,研制了一款测量阻抗范围0~10MΩ、支持USB总线的全自动多通道阻抗测量仪;系统采用STM32F103C8T6处理器为控制核心,高精度阻抗转换芯片AD5933为测量核心,通过上位机设置AD5933配置参数即可完成多通道的单频、多频自动化测量,阻抗数据经USB总线传输至上位机存储及图形方式显示;结果表明该测量仪电路集成度高,操作简单,而且测量相对误差小于1%,性能稳定可靠。     

基于Simulink和C++混合编程的测试系统建模技术研究

介绍了一种基于Simulink和C++混合编程技术的自动飞行控制系统测试系统建模技术及调试方法;基于Simulink搭建飞行仿真模型,通过RTW自动代码生成工具将各仿真模块分别生成嵌入式代码,并集成应用于C++软件设计环境中;通过对时钟的有效设定,实现了基于Windows系统的实时飞行仿真测试系统的设计,仿真软件的最小运算周期为2ms;该技术不仅可以满足自动飞行控制系统飞行仿真试验的实时性要求,并且在软件开放性、接口扩展性、板卡驱动的通用性以及软件设计功能多样性等方面占有较大优势;基于这个技术建立而成的仿真测试系统,某型自动飞行控制计算机已经成功的开展了多轮半物理仿真验证试验,并取得了良好的试验效果,从而为产品的试飞定型奠定了坚实的基础。     

宽量程智能射频功率检测系统研究

介绍了一种基于数字衰减器HMC274及功率-电压转换芯片AD8362的新型宽量程射频信号功率检测系统;利用微控制器STC12C5A60S2控制HMC274的衰减值,确保被测信号的功率真值在AD8362的线性转换范围内,从而使量程上限提高了31dB;并通过GSM模块TC35i和LCD显示模块,分别实现了对功率值的远程和近程检测;经过对900MHz射频信号的实验测试和数据拟合,功率真值量程扩大到了-50~+40dB,输出灵敏度为50mV/dBm。     

制浆废水厌氧处理过程中pH的控制算法研究

以山东某纸厂的制浆废水厌氧处理过程为背景,建立了pH调节系统的数学模型,组建了模糊PID控制系统,并用Matlab仿真软件对其进行了仿真;研究比较了PID控制、模糊控制和模糊PID控制的阶跃响应、抗干扰响应,对比分析了模型参数摄动时这3种控制算法的鲁棒性能;从仿真结果看,模糊PID的阶跃响应既具有模糊控制的快速性又具有PID控制的稳态无误差,在受到干扰后可以很快恢复到稳态值,达到比较好的控制效果;模型参数发生摄动后,模糊PID控制超调量相对较少,稳态误差为零,但要在200s时才基本稳定;实验证明模糊PID控制算法的综合性能最好。     

关键参数快速处理单元在飞行试验中的应用

用于飞行试验的传统数据处理模式及流程的时间大致是飞行时间的1.5~2倍,这种数据处理模式已经严重制约了型号的试飞效率;针对新一代试验机测试参数海量数据快速处理的需求,介绍了具有自主知识产权的关键参数快速处理单元的设计研制思路,以及在新型号飞行试验过程中关键参数快速处理单元的应用情况,实现了能对1 200路试飞关键参数数据实时处理,达到试飞结束后及时获得试飞关键参数结果的目的。     

一种改进的RANSAC图像拼接算法

针对RANSAC算法迭代次数过多导致的图像拼接效率不高的问题,提出一种改进的RANSAC图像拼接算法;首先采用SIFT算法提取尺度不变特征点,利用双向互匹配策略对特征点进行匹配,在使用RANSAC算法计算单应性矩阵之前,利用相邻特征点之间的关系对初始特征点对进行筛选,最后使用加权平滑法完成图像的融合;实验结果表明该方法有效地减少了特征点对数,提高了RANSAC的运行时间,图像拼接效率有了很大的提高。     

一种外场天线测试转台设计

为了满足天线在野外的测试需要,提出了一种外场天线测试转台的结构设计;该转台采用蜗轮蜗杆传动方式,可实现天线的俯仰和方位运动;文中对转台的组成进行了描述,并针对俯仰部件和方位部件的结构设计分别进行了详细说明,同时分析了转台的受力情况,对驱动力矩和惯量匹配进行了校核计算,从理论上分析了传动精度和测角精度;实际测试表明,该转台结构设计完全达到技术指标要求,能够满足天线外场测试的需要。