-
31751.全球空中交通管理和控制市场报告(2014-2018年)
[公共管理、社会保障和社会组织,计算机、通信和其他电子设备制造业,信息传输、软件和信息技术服务业] [2014-12-23]
An air traffic management and control system is software provided by ground-based controllers to direct aircraft on the ground and through controlled airspace. It can also provide advisory services to aircraft in non-controlled airspace. The primary aim of air traffic management and control systems is to prevent collisions, organize and expedite the flow of traffic, and provide information and other support for pilots. In some countries, air traffic management and control systems are operated by the military and play a crucial role in security and defense.
关键词:空中交通管理;控制系统;陆基控制器;软件;引导飞机;管制空域;安全和防御
-
31752.量子马尔可夫链安全性模型检测
[计算机、通信和其他电子设备制造业] [2014-12-23]
本文定义了量子线性时间属性,包括量子安全性,量子不变性,讨论了它们的关系和性质.结合测量一次、测量多次的单向量子有穷自动机,构建了两类乘积量子马尔可夫链,提出了基于自动机技术的量子正则安全性检测方法.通过验证乘积量子马尔可夫链的可达终状态来判断量子正则安全性的可满足性,并给出了可满足性的概率计算公式.作为应用,分析了广义量子loop程序,将程序终止归结为验证量子正则安全性的可满足性.
关键词:量子马尔可夫链;模型检测;安全性;量子有穷自动机;广义量子loop程序
-
31753.数字摄像能见度系统及其比对实验
[计算机、通信和其他电子设备制造业] [2014-12-23]
传统的光学能见度仪分别存在各自的观测缺陷.数字摄像能见度观测系统是采用先进的数字摄像技术,完全仿照人眼观测能见度的原理,根据能见度的定义研制的新型能见度自动观测仪.本文重点介绍了它的基本原理、系统组成、硬件结构以及软件流程.最后给出了数字能见度仪与传统光学能见度仪及人工观测的比对结果.结果显示三者具有相同的变化趋势,但存在一定的观测差异.在降雨等复杂天气条件下,会有较大差异.
关键词:数字摄像技术;能见度自动观测仪;CCD摄像机;控制电路;比对实验
-
31754.匹配Wigner变换及其在瞬时频率估计中的应用
[计算机、通信和其他电子设备制造业] [2014-12-23]
提出了一种新的时频分析方法,称为匹配Wigner变换(Matched Wigner Transform,MWT).该变换通过泰勒级数扩展傅立叶旋转因子e-jωτ来匹配双线性信号核,能够对单分量高阶多项式相位信号(Polynomial Phase Signal,PPS)分析得到聚集性最优的时频分布(Time Frequency Distribution,TFD),且克服了自交叉项的干扰.基于MWT,给出了一种有效实现PPS的瞬时频率(Instantaneous Frequency,IF)和参量估计的迭代算法,并通过仿真算例验证了算法的有效性.最后,将该方法应用于水下运动声源的微弱多普勒信号分析,得到良好的海试试验结果.
关键词:时频分布;多项式相位信号;匹配Wigner变换;瞬时频率估计;多普勒信号
-
31755.并发追踪数据流的多缓存选址算法
[计算机、通信和其他电子设备制造业] [2014-12-23]
为了验证多核芯片的正确性,通常需要同时观测不同芯核上的多组信号.如何实时处理并发追踪中多组数据流已经成为多核芯片硅后功能验证所面临的关键挑战之一.本文提出了一种基于映射的自调节缓存选址(Map-Based Self-Regulation Location Selection,MSLS)算法,该算法通过优化多缓存选址,在片上网络通信带宽限制下保证了并发追踪数据流能够实时存储,同时降低了追踪数据流传输能耗.实验结果表明了该方法的有效性.
关键词:多核芯片;硅后调试;并发追踪;多缓存选址;片上网络
-
31756.偏振光导航测角歧义性问题的解决方法
[计算机、通信和其他电子设备制造业] [2014-12-23]
本文针对偏振光导航中传感器的仿沙蚁POL-neuron模型在获取航向角时存在的角度歧义性问题,根据大气偏振模式中偏振度分布不均匀的规律,提出了一种利用三个偏振通道和一个非偏振通道进行偏振光测角的PFAC模型,通过判断函数和不同天空区域偏振度的大小关系将POL-neuron模型的有效测角范围从[-45°,45°]扩展到[0°,360°].本文描述了PFAC模型的信号处理过程,进行了传感器实测数据的分析与处理,理论和实测结果表明该模型可以解决POL-neuron模型存在的测角歧义性,为偏振光导航传感器实现360°范围内的航向角获取提供了一种有效的解决方法.
关键词:偏振光导航;测角歧义性;传感器;太阳子午线;大气偏振模式
-
31757.一种轻小型遥感相机视频处理FPGA软件设计
[计算机、通信和其他电子设备制造业] [2014-12-23]
本文针对传统遥感视频处理系统接口多、功能冗余、组装不便等不足,结合某型号相机应用需求,完成了一种轻小型高集成度FPGA软件设计.该软件运行在Virtex II-3000 FPGA上,实现TDICCD驱动、数据采集、数据压缩、数据传输、遥控遥测、辅助数据编排及成像时刻标定等功能.本文重点介绍多功能集成软件设计、JPEG2000图像压缩以及压缩与Spacewire数传接口数据率的平衡.单板测试及热循环试验表明软件功能完备、性能可靠.
关键词:高集成度;JPEG2000图像压缩;Spacewire数传;数据率平衡
-
31758.环Z_p~l导出Kerdock-code序列的部分周期性质
[计算机、通信和其他电子设备制造业] [2014-12-23]
对环Zpl导出的多元Kerdock-code序列的部分周期性质进行了研究,这里p为任意奇素数,l为任意正整数.利用特征为pl的Galois环上不完全指数和的非平凡上界,对上述p元Kerdock-code序列的非周期自相关性及互相关性进行了估计,同时对序列的部分周期分布和部分周期独立r-样式分布也进行了刻画.结果表明,此类序列具有极低的非周期自相关性及互相关性,同时其部分周期分布和部分周期独立r-样式分布也是渐进均匀的,在密码学和通信领域具有潜在的应用价值.
关键词:Kerdock-code序列;Galois环上的不完全指数和;非周期相关性;部分周期分布;r-样式
-
31759.一种变步长凸组合LMS自适应滤波算法改进及分析
[计算机、通信和其他电子设备制造业] [2014-12-23]
为了避免单个滤波器在收敛速度与稳态误差上相互制约,从而导致系统性能降低的问题,本文采用凸组合最小均方算法(Combined Least Mean Square,CLMS),将快速滤波器和慢速滤波器并联使用,同时为进一步改善CLMS算法的性能,对已有的变步长凸组合最小均方算法(Variable Step-size Convex Combination of LMS,VSCLMS)做出改进,提出了一种新的VSCLMS算法.在该算法中,对快速滤波器选用以最小均方权值偏差(Minimization of Mean Square Weight Error,MMSWE)为准则的按步分析的变步长滤波器;对慢速滤波器采用以稳态最小均方误差(Least Mean Square,LMS)为准则的固定步长滤波器.通过理论分析与仿真实验表明,该算法能够在噪声、时变以及非平稳的环境下保持较好的随动性能,且在各个阶段均保持良好的收敛性,与传统的CLMS、VSCLMS算法相比,不仅具有更快的收敛速度,而且拥有稳定的均方性能和较优的跟踪性能,为自适应滤波算法的研究提供了一条可行途径.
关键词:自适应滤波;LMS算法;CLMS算法;VSCLMS算法;改进的VSCLMS算法
-
31760.基于高阶累计量Root-MUSIC法和Prony法的轧辊偏心谐波参数估计
[计算机、通信和其他电子设备制造业] [2014-12-23]
针对轧辊偏心信号是混杂在各种随机干扰中含有多次谐波的复杂高频周期信号,以及FFT(Fast Fourier Transform)法对轧辊偏心信号分析的局限性,研究了一种基于四阶累积量的Root-MUSIC(Multiple Signal Classification)法和Prony法相结合的轧辊偏心信号估计新方法.利用基于四阶累积量的Root-MUSIC法准确估计出偏心谐波的频率及谐波的个数,同时由Root-MUSIC求得的根直接使用Prony方法估计出偏心信号的各次谐波幅值和相位.仿真结果和实验结果也验证了结合方法的可行性和有效性,在信噪比较低的情况下仍具有较高的频谱分辨率和估计精度,能准确地同时估计出偏心谐波的频率、幅值及相位,尤其在频率分辨率和抗噪声上具有FFT法无法比拟的优越性.
关键词:Root-MUSIC;高阶累积量;Prony法;轧辊偏心谐波;参数估计