DSpace at VNU: Assume-guarantee tools for component-based software verification

Combination Compress Sensing and Digital Wireless Transmission for the MRI signal 1* Tan Due Tran , Tuyen Ta Due, and Tung Thanh Bui IMEMS and Microsystems Department, UET-VNU Hanoi, VIETNAM 2Research Organization for Science and Engineering,Ritsumeikan University,JAPAN XuanThuy Street, Hanoi, +844 Vietnam Abstract: OPERATION PRINCIPLES Rapid image acquisition in magnetic resonance imaging (MRI) offers a number of potential benefits, such as 2.1 Compressed sensing avoiding physiological effects patients, overcoming physical Compressed sensing (CS) is a type of random under-sampling which allows for rapid acquisition of spare or compressible signals, at a frequency significantly lower than the usual Nyquist frequency [3] To consider a I x N discrete time signal x and assume that x is a k-space in the N-dimensional space: or scanning constraints time on inherent within the MRI scanner, or meeting timing requirements when imaging dynamic structures and processes In this paper, the combination of parallel magnetic resonance compressed sensing and imaging techniques was proposed in order to increase the data acquisition speed of MRI However, each coil arrangement is connected to the reception circuit via a coaxial cable which leads to several limitations To reduce this disadvantage, we also propose a design of digital wireless transmission system based on 802.11b standard for MRI application x='Ps where 'P is N x N sparsitying matrix, s is the N x I transform vector containing K non-zero coefficients, K « N When used in MRI, 'P is a Fourier matrix In CS, x is linearly acquired by under-determined system which is represented by a measurement matrix y= x INTRODUCTION Magnetic resonance imaging (MRI), an imaging technique, is widely used in medical diagnosis in order to acquire images of the inside of the human body Previously, techniques for rapid imaging include parallel MRI (PMRl) in which the simultaneous use of multiple coils is deployed Two typical parallel imaging techniques are simultaneous acquisition of spatial harmonics (SMASH) and sensitivity encoding (SENSE) [1, 2] In pMRI, a coaxial cable is need for connecting each coil to the corresponding received circuit The number of the cables and so on the required connectors is need as high as possible but limited due to constraint space and cross-talk among these coils Wireless transmission can be a good candidate to replace cable connections of the coil arrays to reduce these disadvantages Recently, compressed sensing (CS) is a breakthrough research field, which finds ways to sample signals at much lower rate than the Nyquist one The condition is that the sensing signal is sparse in some domain of representation (Fourier transforms, for example) However, most of developments in CS are based on the use of a single channel/coil In this paper, we combined compress sensing and digital wireless transmission for the rapid MRI The organization of this paper is as follows Section II describes operation principle of our proposed wireless multi-channel compressed sensing for MRI based on two conventional methods: compressed sensing, parallel imaging, and digital wireless transmission Section III presents our simulation results Conclusions are drawn in the last section 978-1-4244-7997-9/10/$26.00 ©2010 IEEE (1) - 273 - (2) where y is M - dimensional measurement vector obtained incomplete measurements (M