基于ZYNQ的高清图像显示及检测系统设计

针对当前基于ARM和DSP的嵌入式图像处理系统前端采集速度慢和图像处理算法不易加速的缺点,设计了一种基于HDMI接口的全高清(分辨率1920×1080)实时视频采集与图像处理系统;采用500万像素级别CMOS摄像头作为前端数据源,主芯片内部采用ARM+FPGA的异构架构,兼备FPGA的并行处理能力与ARM处理器任务调度功能;基于AXI协议设计了自定义数据存储传输的IP核,实现了处理速度与带宽最大化;利用HLS工具将图像预处理算法快速打包生成IP核,在FPGA中实现图像算法的硬件加速,完成图像处理系统平台原型机的设计;与传统的PC机和相机的机器视觉平台相比,该系统运行平均耗时在10 ms以内,实时检测效果令人满意,有效解决了低功耗与高数据带宽和处理速度之间的矛盾,为后端结果分析和边缘加速提供了良好支持。     

基于DSP和FPGA的全景图像处理系统设计与实现

设计了基于DSP和FPGA的全景图像处理方案,FPGA完成图像采集,DSP完成图像的各种处理算法。利用FPGA设计了基于乒乓缓存机制的SDRAM控制器;采用EDMA方式,完成了DSP与FPGA的数据交换。测试结果表明,DSP+FPGA折反射全景图像处理系统完成了对分辨率为2 048×2 048、每秒15帧的Camera Link接口的全景图像的实时采集及缓存解算,并以1 024×768的分辨率进行实时显示。     

SoC FPGA的视觉算法加速系统设计

提出一种基于Altera SoC FPGA进行硬件加速的方案,该方案为运行在ARM端Linux系统的视觉算法利用FPGA进行加速提供传输通道.首先把ARM端的图像数据传输到FPGA部分的SDRAM中,接着控制FPGA相关IP核读取SDRAM中的数据,然后视觉算法IP核接收图像数据并对其进行加速处理,最后把处理后的图像数据通过特定的IP核传回Linux系统.实验验证了该方案的可行性、可靠性和加速性能.     

基于达芬奇平台DM6467运动目标检测的研究与实现

在智能视频监控领域,TI的Davinci(达芬奇技术)系列双核(ARM+DSP)处理器发挥了重要的作用。提出基于达芬奇平台DM6467的运动目标检测系统的研究与实现。其中ARM核负责应用程序接口,多线程调度;DSP核则负责运动目标检测算法的处理。运动目标检测算法采用帧间差分法,首先对图像进行预处理、二值化,然后通过配置TI的Codec Engine(算法引擎),实现算法的移植。实验结果表明,在基于Davinci技术的DM6467平台下,ARM核和DSP核协调运行效果良好,能够实时采集视频图像并实现运动目标的检测。     

基于FPGA和DSP的图像压缩系统设计

针对图像采集系统数据传输压力大、误码率高的问题,设计了基于FPGA和DSP的图像压缩系统;设计以FPGA为中心控制单元控制图像采集以及与上位机之间进行数据通信,DSP完成对图像数据的压缩处理;并在此基础上,设计了模拟视频接口和数字视频接口;通过大量的实验证明,该系统稳定性很高,在较高的压缩比下,图像失真率极低,在工业控制领域具有一定的参考价值。     

新型光电混合相关器的图像识别研究

研究并设计了一种基于＂FPGA＋DSP＋ARM＂架构的新型光电混合相关器。该系统采用DSP与FPGA完成目标图像的采集、预处理以及畸变不变处理,采用光学处理模块实现联合图像的傅立叶变换,得到联合功率频谱,最后,S3C2440完成对该频谱的采集、振幅调制滤波、傅立叶逆变换以及图像识别。大量的实验表明：该光电混合相关器实现了图像识别的智能化、实时化及小型化,具有较强的实用价值。     

基于FPGA+DSP的智能车全景视觉系统

为实现智能车全景视觉系统的应用研究平台,设计了一种基于FPGA+双DSP的实时6通道数字图像采集与处理系统.该系统由两片FPGA与两个DSP组成.第一个FPGA进行多通道视觉图像采集的同步控制、逻辑处理,第二片FPGA辅助DSP进行海量图像数据的高速并行处理.两个ZBTSRAM芯片作为数据输入和输出的高速缓存,每通道的...     

基于FPGA和DSP的电阻层析成像数据采集系统

为充分发挥DSP实时信号处理能力强和FPGA的逻辑控制以及硬件可编程的优势,构建了一套基于FPGA和DSP的16电极ERT数据采集系统.模块化的设计保证了系统良好的可维护性和可扩展性.FPGA完成激励信号产生、前端信号处理、系统逻辑控制和正交序列解调,DSP完成数据的后处理和成像算法的实现,实现了两种控制器的优势互补,...     

一种姿态测量系统的FPGA和DSP设计与实现

为了实现对某弹载系统的姿态测量,提出一种基于FPGA+DSP的姿态测量系统的设计.系统采用FPGA作为逻辑控制核心,完成对MEMS传感器输出的陀螺加表数据的采集,并通过EMIF接口完成与DSP的数据通信.DSP完成对姿态信息的解算,并由FPGA通过RS422接口将更新后的姿态信息上传至上位机.系统选用地理坐标系作为导航坐标系,利用四元数法及Kalman信息融合算法对采集到的姿态信息进行解算.测试结果表明,该系统输出的姿态信息精度较好,总体角误差在0.5°以内.     

基于ZYNQ的远程图像采集系统设计

针对传统图像采集系统远程图像传输延时长和数据丢失的缺点,设计了一种基于ZYNQ芯片开发的实时视频采集与图像传输系统;系统具有两个采集通道,模拟视频信号通过BNC(Bayonet Neill-Concelman)信号线接入设备并经过ADC(Analog-to-Digital Converter)完成信号的数字化;利用主控芯片内部的FPGA资源部署并行处理单元完成对数字化图像数据的低时延处理;通过驱动片内AXI(Advanced eXtensible Interface)总线以DMA(Direct Memory Access)的方式将数据传输至DDR3存储器中;利用芯片内部的双核ARM Cortex-A9处理器高性能,在采集设备上移植嵌入式Linux系统,搭建Gstreamer流媒体应用服务器端,实现整个采集系统复杂任务调度和图像数据远程网络传输;与传统单ARM或DSP处理器的图像采集系统相比,该系统具有FPGA(Field Programmable Gate Array)的并行处理能力和高带宽的内部互联总线的优势,提高了图像数据处理速度,降低了图像数据由采集端到存储器的传输延时,提供了稳定远程图像传输功能,经实验测试该系统实现了每秒25帧的视频信号输出,与前端ADC的采集速率保持一致,整个采集展示的过程中视频画面连续且稳定。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.