基于GPS/GPRS/GIS的车辆监控系统的设计

本文介绍了车辆监控系统的组成,研究了如何应用Rockwell GPS OEM板和WISMOQUIKQ2406B模块进行移动单元的软硬件设计,以及监控中心 GIS软件的设计.重点介绍嵌入TCP/IP协议处理的Q2406B模块如何通过AT指令接入Internet以及如何和监控中心传输TCP数据.     

ATR信息处理的软件体系结构

为解决雷达自动目标识别设计中的整体设计框架问题,从ATR系统的特点出发,采用领域工程的分析方法对大量的ATR系统进行了系统化分析,在此基础上构建了基于代数学的构件模型,并给出ATR系统的模型.该模型作为ATR支撑平台开发的基础,支持ATR系统的快速开发.理论分析表明:该模型支持插头插座式的软件体系结构,为开放式ATR支撑平台提供了理论基础,为后续的ATR系统建模提供了构件模型规范,同时为ATR构件库的创建提供了支撑.     

SAR图象自动目标识别研究

目前,SAR已经成为一种不可或缺的对地观测和军事侦察手段.面对不断增长的SAR图象数据收集能力,如何对这些图象进行自动或半自动快速、准确地解译已经越来越引起人们的关注和重视.自动目标识别(ATR)是自动或半自动SAR图象解译研究的一个重要方面.SAR ATR过程可概述为:从观测得到的SAR图象中,找到感兴趣的区域(ROI),并计算出每个ROI的种类.为此,介绍了SAR ATR的含义及其一般流程,对SAR ATR系统按照它所采用的分类方法进行了归纳分类,分析了SAR ATR的难点,介绍了国内外SAR ATR的研究现状和发展趋势.     

自动目标识别算法性能评价的一种方法

研究了自动目标识别(ATR)算法性能评价方法.从象质评价的角度讨论了图象质量的 统计描述方法,给出了12个与ATR系统性能有关的图象质量指标.提出了一种基于响应函 数模型的评价ATR算法性能的系统化的新方法,建立了一个模块式的集测试、分析、评价于 一体的ATR算法性能评价系统的方案,并采用这种方案对两种ATR算法的性能进行了分 析与评价,从而对该方案的可行性进行了论证.     

在DSP处理器上并行实现ATR算法

介绍了由DSP芯片构成的多处理器并行系统的结构和性能以及在多处理器并行系统上并行实现ATR算法需要考虑的主要问题,着重研究了在指令级并行DSP处理器上实现ATR算法的并行化软件开发方法,对ATR算法的实用化和工程化具有重要的参考价值。     

ATR信息处理系统的软件总线应用

ATR系统的开发是插头插座式软件体系结构下的算法构件组装.为支持算法评估和选择,文章借鉴计算机硬件总线技术,提出了采用软件总线技术对算法构件进行集成,同时给出了具有形式化语义的消息模型.基于ATR支撑平台的ATR系统开发时可以进行算法评估和算法选择,在新的算法出现时不需要对平台进行修改.理论研究表明:软件总线为ATR支撑平台扩展、为通用平台提供了实现途径.     

金属包覆多层ATR 生物传感器的理论研究􀀂

利用衰减全反射(ATR)方法进行角度探测,通过改进传统传感器只用单层金属膜激发表面等离子波(SPR)进行探测的结构设计,利用金属包覆波导代替原来的单层的金属膜结构,并从理论上分析了和计算了金属包覆多层ATR生物传感器的检测机理,从而为研制高灵敏度、高解析力的ATR生物传感器提供了理论依据.     

廉价宽色域之选ViewSonicVA2406S

虽然信号输入端口种类偏少,但作为干元级24英寸宽色域显示器,VA2406S还是物有所值的。     

Q2406B在机场噪声数据传输系统中的应用

当前,利用无线网络传输数据来实现的实时监控、信号采集系统日渐丰富,如何保证数据传输的稳定性已经成为重要的问题.本文介绍了Wavecom公司GPRS模块Q2406B的结构和使用方法,通过良好的硬件电路和软件设计来达到稳定传输的目的.     

基于ARM微控制器的GPS接收机的研究与设计

介绍了GPS的定位原理及算法,在此基础上,提出了一种基于ARM微处理器的GPS接收机的设计方案。该GPS接收机采用Atmel公司生产的ATR0600芯片作为接收机的射频前端,内嵌ARM7核的ATR0620芯片作为接收机的数字基带处理器,并阐述了外围扩展电路及软件设计。该GPS接收机具有体积小、功耗低、性能高的特点。     

一种改进的载波同步Costas环路设计及实现

提出了一种基于Cosms环（科思塔斯环）载波同步的改进环路，它具有可变环路增益和可变环路带宽。与传统的Cosms环相比，改进环路增加了频差估计、增益控制和环路锁定检测三个辅助电路。该方法能较好地处理环路带宽、稳态相位误差与环路增益之间的关系，在FPGA上已成功实现。     

循环不变式开发新策略及其应用

循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用。而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题。文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索。     

基于时标分离的飞行器姿态双环控制器设计方法

基于时标分离思想,将飞行器姿态控制系统分为慢变化的姿态角回路和快变化的角速度回路分别设计。外环采用精确线性化方法设计控制器。考虑到飞行器转动惯量的大范围时变或摄动,内环采用模型参考自适应控制方法设计控制器。仿真验证了方法的有效性。     

Loop coalescing and scheduling for barrier MIMD architectures

Barrier MIMD's are asynchronous multiple instruction stream, multiple data stream architectures capable of parallel execution of variable execution time instructions and arbitrary control flow (e.g., while loops and calls); however, they differ from conventional MIMD's in that the need for run-time synchronization is significantly reduced. The authors consider the problem of scheduling nested loop structures on a barrier MIMD. The basic approach employs loop coalescing, a technique for transforming a multiply-nested loop into a single loop. Loop coalescing is extended to nested triangular loops, in which inner loop bounds are functions of outer loop indices. In addition, a more efficient scheme to generate the original loop indices from the coalesced index is proposed for the case of constant loop bounds. These results are general, and can be applied to extend previous work using loop coalescing techniques. The authors concentrate on using loop coalescing for scheduling barrier MIMDs, and show how previous work in loop transformations and linear scheduling theory can be applied to this problem     

一种适用于多普勒高阶变化率的载波跟踪算法

针对多普勒高阶变化率的载波跟踪问题,分析了现有二阶锁频环辅助三阶锁相环的局限之处,设计了一种三阶锁频环辅助四阶锁相环的载波跟踪算法,从理论上证明了该算法可以对多普勒高阶变化率信号进行无误差跟踪,并根据环路传递函数和环路带宽,推导出了环路所有参数的计算方法,最后通过环路模式切换及环路带宽设置策略,既加快了整个载波跟踪环路的收敛速度,又提高了载波频率跟踪精度,保证了跟踪的稳定性。仿真结果表明,对于多普勒高阶变化率信号,该算法能够有效地完成信号的载波跟踪并正常解调出原始数字信息,因此有较高的应用价值。     

Loop Shifting for Loop Compaction

The idea of decomposed software pipelining is to decouple the software pipelining problem into a cyclic scheduling problem without resource constraints and an acyclic scheduling problem with resource constraints. In terms of loop transformation and code motion, the technique can be formulated as a combination of loop shifting and loop compaction. Loop shifting amounts to moving statements between iterations thereby changing some loop independent dependences into loop carried dependences and vice versa. Then, loop compaction schedules the body of the loop considering only loop independent dependences, but taking into account the details of the target architecture. In this paper, we show how loop shifting can be optimized so as to minimize both the length of the critical path and the number of dependences for loop compaction. The first problem is well-known and can be solved by an algorithm due to Leiserson and Saxe. We show that the second optimization (and the combination with the first one) is also polynomially solvable with a fast graph algorithm, variant of minimum-cost flow algorithms. Finally, we analyze the improvements obtained on loop compaction by experiments on random graphs.     

数字计算机仿真中消除代数环问题的研究

阐述了数字计算机仿真中代数环问题的基本概念，指出了存在代数环的普遍可能性；介绍了SimuLink对代数环的迭代算法；分析和说明了产生代数环的条件以及代数环降低仿真速度和仿真精度的危害；着重介绍和分析了在应用SimuLink进行仿真建模时消除代数环的多种实用方法。     

分支嵌套循环的自动并行化研究

GCC编译器是一种受广大研究者青睐的开源优化编译器,但它仅仅能够对完美嵌套循环进行依赖分析。为了更好地挖掘嵌套循环粗粒度的并行,深入研究了GCC5.1数据依赖分析过程,提出了一种能够处理分支嵌套循环的依赖测试方法。首先识别出分支嵌套循环,然后分析数组下标与分支嵌套循环外层索引变量的关系,最后计算出外层循环索引变量的距离向量,并通过检测距离向量判断循环是否存在依赖。实验结果表明,该方法能够正确、有效地分析出分支嵌套循环的依赖关系。     

精密排线系统的设计方法研究

根据绕线机的精密排线要求,设计了一种三闭环的排线系统,该排线系统由位置环、速度环和电流环组成。位置环用来将给定位置和电机实际反馈位置比较,通过滚轴丝杠完成张力支撑部分的排线移动工作,以达到最小误差要求。速度环根据收线架的给定速度计算排线运行系统的速度,结合反馈量实时调节电机电流,即电机速度。速度环的速度决定了整个系统的动态响应速度。电流环主要用来计算电机传动的力矩,可以根据提前保存的电机数据自动优化设置参数;该系统利用高精度的编码器构成位置闭合回路,该系统具有两个同步运行的排线平移系统,为张力支撑部分的排线平移系统和放线轮的排线平移系统。经实验验证,该控制系统两个平移系统同步性能好,密排效果满足技术要求。     

基于CTL的循环优化变换描述方法*

TRANS是基于CTL的优化变换描述语言,对TRANS语言作了宏扩展,给出了循环嵌套、循环归纳变量、循环依赖及方向向量的时序逻辑描述.从依赖分析的角度对重排序循环优化变换加以考查,并以循环逆转和循环交换为例阐述了其形式化描述方法.