In order to resolve the conflict between the limited resources of embedded devices and the growing amount of massive image data to be shown, a solution for fast images rendering in embedded devices is proposed and imp...In order to resolve the conflict between the limited resources of embedded devices and the growing amount of massive image data to be shown, a solution for fast images rendering in embedded devices is proposed and implemented. First, an improved algorithm of a multi-resolution file-pyramid construction which is used for the organization of massive image data is presented. Then, a strategy, adopting technologies such as view-dependent levels of detail, target-tiles quick search and tiles seamless connection, is presented for fast scheduling and viewing of images. The results show that compared with the solution of multi-scale image representations based on wavelet, the proposed solution can improve the rendering speed, and the rendering speed does not depend on the image size, though it increases some data storage space. And the proposed solution is suitable for embedded devices and friendly experience.展开更多
In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is us...In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.展开更多
A system of number recognition with a graphic user interface （GUI） is implemented on the embedded development platform by using the fuzzy pattern recognition method. An application interface （API） of uC/ OS-Ⅱ is ...A system of number recognition with a graphic user interface （GUI） is implemented on the embedded development platform by using the fuzzy pattern recognition method. An application interface （API） of uC/ OS-Ⅱ is used to implement the features of multi-task concurrency and the communications among tasks. Handwriting function is implemented by the improvement of the interface provided by the platform. Fuzzy pattern recognition technology based on fuzzy theory is used to analyze the input of handwriting. A primary system for testing is implemented. It can receive and analyze user inputs from both keyboard and touch-screen. The experimental results show that the embedded fuzzy recognition system which uses the technology which integrates two ways of fuzzy recognition can retain a high recognition rate and reduce hardware requirements.展开更多
Optical fiber acceleration seismometer as an important instrument can offer high sensitivity, anti-jamming and non-touched advantage which has an extensive application field. Its signal processing ability will decide ...Optical fiber acceleration seismometer as an important instrument can offer high sensitivity, anti-jamming and non-touched advantage which has an extensive application field. Its signal processing ability will decide whole system’s performance to some extent because it will affect directly the factors such as resolving power, precision and dynamic range. The signal processing is usually realized by analog circuits which was more inferior in stability, flexibility and anti-jamming to digital processing system. A digital processing system of optical fiber acceleration seismometer has been designed based on the embedded system design scheme. Synthetic-heterodyne demodulation has been studied, and signal processing has been realized. The double processors of ARM and DSP are employed to implement respectively the system control and signal processing, and to provide the output interfaces such as LCD, DAC and Ethernet interface. This system can vary with the measured signal in real time and linearly, and its work frequency bandwidth is between 10Hz and 1kHz. The system has better anti-jamming ability and can work normally when the SNR is 40dB.展开更多
The system model of embedded reconfigurable system is discussed firstly, followed by the construction of the soft- ware and hardware platform. Based on the platform, the function trait and control models of digital si...The system model of embedded reconfigurable system is discussed firstly, followed by the construction of the soft- ware and hardware platform. Based on the platform, the function trait and control models of digital signal processing tasks are described. According the functional unit model and control model, a software/hardware integrating model with dataflow control infrastructure is constructed. The software/hardware partition is carded out in the experiments of ultrasonic signal processing, and the results show that the system model is practicable.展开更多
Smweillance system using active tracking camera has no distance limitation of surveillance range compared to supersonic or sound sensors. However, complex motion tracking algorithm requires huge amount of computation,...Smweillance system using active tracking camera has no distance limitation of surveillance range compared to supersonic or sound sensors. However, complex motion tracking algorithm requires huge amount of computation, and it often requires exfmasive DSPs or embedded processors. This paper proposes a novel motion tracking trait based on different image for fast and simple motion tracking. It uses configuration factor to avoid noise and inaccuracy. It reduces the required computation significantly, so as to be implemented on Field Programmable Gate Array（FFGAs ） instead of expensive Digital Signal Processing（DSPs）. It also performs calculation for motion estimation in video compression, so it can be easily combined with surveil system with video recording functionality based on video compression. The proposed motion tracking system implemented on Xilinx Vertex-4 FPGA can process 48 frames per second, and operating frequency of motion tracking trait is 100 MHz.展开更多
基金The National Public Benefit Research Foundation of China (No. 201111013-02)
文摘In order to resolve the conflict between the limited resources of embedded devices and the growing amount of massive image data to be shown, a solution for fast images rendering in embedded devices is proposed and implemented. First, an improved algorithm of a multi-resolution file-pyramid construction which is used for the organization of massive image data is presented. Then, a strategy, adopting technologies such as view-dependent levels of detail, target-tiles quick search and tiles seamless connection, is presented for fast scheduling and viewing of images. The results show that compared with the solution of multi-scale image representations based on wavelet, the proposed solution can improve the rendering speed, and the rendering speed does not depend on the image size, though it increases some data storage space. And the proposed solution is suitable for embedded devices and friendly experience.
基金The National Key Technology R&D Program of Chinaduring the 11th Five-Year Plan Period(No.2006BAH02A12)the National High Technology Research and Development Program of China(863 Program)(No.2006AA010101)
文摘In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.
基金Pre-Research Project of the National Natural Science Foundation of China supported by Southeast University ( NoXJ0605227)
文摘A system of number recognition with a graphic user interface （GUI） is implemented on the embedded development platform by using the fuzzy pattern recognition method. An application interface （API） of uC/ OS-Ⅱ is used to implement the features of multi-task concurrency and the communications among tasks. Handwriting function is implemented by the improvement of the interface provided by the platform. Fuzzy pattern recognition technology based on fuzzy theory is used to analyze the input of handwriting. A primary system for testing is implemented. It can receive and analyze user inputs from both keyboard and touch-screen. The experimental results show that the embedded fuzzy recognition system which uses the technology which integrates two ways of fuzzy recognition can retain a high recognition rate and reduce hardware requirements.
文摘Optical fiber acceleration seismometer as an important instrument can offer high sensitivity, anti-jamming and non-touched advantage which has an extensive application field. Its signal processing ability will decide whole system’s performance to some extent because it will affect directly the factors such as resolving power, precision and dynamic range. The signal processing is usually realized by analog circuits which was more inferior in stability, flexibility and anti-jamming to digital processing system. A digital processing system of optical fiber acceleration seismometer has been designed based on the embedded system design scheme. Synthetic-heterodyne demodulation has been studied, and signal processing has been realized. The double processors of ARM and DSP are employed to implement respectively the system control and signal processing, and to provide the output interfaces such as LCD, DAC and Ethernet interface. This system can vary with the measured signal in real time and linearly, and its work frequency bandwidth is between 10Hz and 1kHz. The system has better anti-jamming ability and can work normally when the SNR is 40dB.
基金supported by the Research Project of “SUST Spring Bud”under contract number 2008BW2046 fron Shandong University of Science and Technology,China
文摘The system model of embedded reconfigurable system is discussed firstly, followed by the construction of the soft- ware and hardware platform. Based on the platform, the function trait and control models of digital signal processing tasks are described. According the functional unit model and control model, a software/hardware integrating model with dataflow control infrastructure is constructed. The software/hardware partition is carded out in the experiments of ultrasonic signal processing, and the results show that the system model is practicable.
基金sponsored by the MKE(The Ministry of Knowledge Economy,Korea),the ITRC(Information Technology Research Center)support program(NIPA-2009-(C1090-0902-0007))the System Semiconductor Industry Development Center,Human Resource Development Project for IT SOC Architecture
文摘Smweillance system using active tracking camera has no distance limitation of surveillance range compared to supersonic or sound sensors. However, complex motion tracking algorithm requires huge amount of computation, and it often requires exfmasive DSPs or embedded processors. This paper proposes a novel motion tracking trait based on different image for fast and simple motion tracking. It uses configuration factor to avoid noise and inaccuracy. It reduces the required computation significantly, so as to be implemented on Field Programmable Gate Array（FFGAs ） instead of expensive Digital Signal Processing（DSPs）. It also performs calculation for motion estimation in video compression, so it can be easily combined with surveil system with video recording functionality based on video compression. The proposed motion tracking system implemented on Xilinx Vertex-4 FPGA can process 48 frames per second, and operating frequency of motion tracking trait is 100 MHz.
