control properties under both Gaussian and burst noise conditions. In the ~isappointing in comparison with convolutional code systems designed

Similar documents
Block Diagram of a DCS in 411

Spring Ammar Abu-Hudrouss Islamic University Gaza

Lecture 4 Notes (Little s Theorem)

Solutions to the Exam Digital Communications I given on the 11th of June = 111 and g 2. c 2

Vehicle Arrival Models : Headway

Vectorautoregressive Model and Cointegration Analysis. Time Series Analysis Dr. Sevtap Kestel 1

UNIVERSITY OF CALIFORNIA College of Engineering Department of Electrical Engineering and Computer Sciences EECS 121 FINAL EXAM

Hamilton- J acobi Equation: Weak S olution We continue the study of the Hamilton-Jacobi equation:

Solutions for Assignment 2

Math 334 Fall 2011 Homework 11 Solutions

Approximation Algorithms for Unique Games via Orthogonal Separators

Comparing Means: t-tests for One Sample & Two Related Samples

Methodology. -ratios are biased and that the appropriate critical values have to be increased by an amount. that depends on the sample size.

Designing Information Devices and Systems I Spring 2019 Lecture Notes Note 17

Chapter 2. First Order Scalar Equations

SOLUTIONS TO ECE 3084

Physics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle

3.1.3 INTRODUCTION TO DYNAMIC OPTIMIZATION: DISCRETE TIME PROBLEMS. A. The Hamiltonian and First-Order Conditions in a Finite Time Horizon

ERROR LOCATING CODES AND EXTENDED HAMMING CODE. Pankaj Kumar Das. 1. Introduction and preliminaries

ADDITIONAL PROBLEMS (a) Find the Fourier transform of the half-cosine pulse shown in Fig. 2.40(a). Additional Problems 91

Topic Astable Circuits. Recall that an astable circuit has two unstable states;

Lecture 4 Kinetics of a particle Part 3: Impulse and Momentum

10. State Space Methods

Optimality Conditions for Unconstrained Problems

STATE-SPACE MODELLING. A mass balance across the tank gives:

Expert Advice for Amateurs

Inventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions

R t. C t P t. + u t. C t = αp t + βr t + v t. + β + w t

EXERCISES FOR SECTION 1.5

IB Physics Kinematics Worksheet

d 1 = c 1 b 2 - b 1 c 2 d 2 = c 1 b 3 - b 1 c 3

14 Autoregressive Moving Average Models

Ordinary dierential equations

Guest Lectures for Dr. MacFarlane s EE3350 Part Deux

Written Exercise Sheet 5

Smoothing. Backward smoother: At any give T, replace the observation yt by a combination of observations at & before T

LAPLACE TRANSFORM AND TRANSFER FUNCTION

h[n] is the impulse response of the discrete-time system:

Demodulation of Digitally Modulated Signals

RC, RL and RLC circuits

Some Basic Information about M-S-D Systems

V L. DT s D T s t. Figure 1: Buck-boost converter: inductor current i(t) in the continuous conduction mode.

Let us start with a two dimensional case. We consider a vector ( x,

Lecture Notes 5: Investment

Hamilton Jacobi equations

Chapter 7 Response of First-order RL and RC Circuits

EECE 301 Signals & Systems Prof. Mark Fowler

ODEs II, Lecture 1: Homogeneous Linear Systems - I. Mike Raugh 1. March 8, 2004

F This leads to an unstable mode which is not observable at the output thus cannot be controlled by feeding back.

Robust estimation based on the first- and third-moment restrictions of the power transformation model

UNIVERSITY OF TRENTO MEASUREMENTS OF TRANSIENT PHENOMENA WITH DIGITAL OSCILLOSCOPES. Antonio Moschitta, Fabrizio Stefani, Dario Petri.

Introduction to Probability and Statistics Slides 4 Chapter 4

Econ Autocorrelation. Sanjaya DeSilva

The fundamental mass balance equation is ( 1 ) where: I = inputs P = production O = outputs L = losses A = accumulation

The Arcsine Distribution

) were both constant and we brought them from under the integral.

Lecture 5. Time series: ECM. Bernardina Algieri Department Economics, Statistics and Finance

Solutions to Odd Number Exercises in Chapter 6

Zürich. ETH Master Course: L Autonomous Mobile Robots Localization II

Laplace Transforms. Examples. Is this equation differential? y 2 2y + 1 = 0, y 2 2y + 1 = 0, (y ) 2 2y + 1 = cos x,

on the interval (x + 1) 0! x < ", where x represents feet from the first fence post. How many square feet of fence had to be painted?

Stability and Bifurcation in a Neural Network Model with Two Delays

Calculation of the Two High Voltage Transmission Line Conductors Minimum Distance

Econ107 Applied Econometrics Topic 7: Multicollinearity (Studenmund, Chapter 8)

T L. t=1. Proof of Lemma 1. Using the marginal cost accounting in Equation(4) and standard arguments. t )+Π RB. t )+K 1(Q RB

ACE 564 Spring Lecture 7. Extensions of The Multiple Regression Model: Dummy Independent Variables. by Professor Scott H.

PET467E-Analysis of Well Pressure Tests/2008 Spring Semester/İTÜ Midterm Examination (Duration 3:00 hours) Solutions

Time series Decomposition method

Simulating models with heterogeneous agents

Inventory Control of Perishable Items in a Two-Echelon Supply Chain

Morning Time: 1 hour 30 minutes Additional materials (enclosed):

BU Macro BU Macro Fall 2008, Lecture 4

1 1 + x 2 dx. tan 1 (2) = ] ] x 3. Solution: Recall that the given integral is improper because. x 3. 1 x 3. dx = lim dx.

Essential Microeconomics : OPTIMAL CONTROL 1. Consider the following class of optimization problems

Appendix to Creating Work Breaks From Available Idleness

Longest Common Prefixes

Licenciatura de ADE y Licenciatura conjunta Derecho y ADE. Hoja de ejercicios 2 PARTE A

Chapter 1 Fundamental Concepts

Testing for a Single Factor Model in the Multivariate State Space Framework

6. COMPUTATION OF CENTILES AND Z-SCORES FOR VELOCITIES BASED ON WEIGHT, LENGTH AND HEAD CIRCUMFERENCE

11!Hí MATHEMATICS : ERDŐS AND ULAM PROC. N. A. S. of decomposiion, properly speaking) conradics he possibiliy of defining a counably addiive real-valu

DEPARTMENT OF STATISTICS

Maintenance Models. Prof. Robert C. Leachman IEOR 130, Methods of Manufacturing Improvement Spring, 2011

EE 435. Lecture 35. Absolute and Relative Accuracy DAC Design. The String DAC

CHAPTER 2 Signals And Spectra

Stationary Distribution. Design and Analysis of Algorithms Andrei Bulatov

Math 334 Test 1 KEY Spring 2010 Section: 001. Instructor: Scott Glasgow Dates: May 10 and 11.

Analyze patterns and relationships. 3. Generate two numerical patterns using AC

Sliding Mode Controller for Unstable Systems

Speaker Adaptation Techniques For Continuous Speech Using Medium and Small Adaptation Data Sets. Constantinos Boulis

Modal identification of structures from roving input data by means of maximum likelihood estimation of the state space model

Section 3.5 Nonhomogeneous Equations; Method of Undetermined Coefficients

Final Spring 2007

Chapter 7: Solving Trig Equations

The following report makes use of the process from Chapter 2 in Dr. Cumming s thesis.

A Note on Superlinear Ambrosetti-Prodi Type Problem in a Ball

Chapter 4. Truncation Errors

15. Vector Valued Functions

A Specification Test for Linear Dynamic Stochastic General Equilibrium Models

Chapter 5: Control Volume Approach and Continuity Principle Dr Ali Jawarneh

Transcription:

535 SOFT-DECSON THRESHOLD DECODNG OF CONVOLUTONAL CODES R.M.F. Goodman*, B.Sc., Ph.D. W.H. Ng*, M.S.E.E. Sunnnary Exising majoriy-decision hreshold decoders have so far been limied o his paper a new mehod for implemening sof-decision majoriy hreshold decoding of convoluional codes is inroduced and explained. The mehod is illusraed by describing sof-decision decoders for a simple random conrol properies under boh Gaussian and burs noise condiions. n he ~isappoining in comparison wih convoluional code sysems designed specifically for burs-error correcion. n his paper we presen a sof-decision majoriy hreshold decoding scheme achieved by us"ing sof-decision is abou 2 db for infinie-level quanisquanisaion (as asummed in his paper) is only.2 db. ~ve herefore expec a maximum improvemen of abou 1.8 db for sof-decision majoriy n his paper we firsly ouline hard-decision majoriy hreshold decoding lengh 2 code as an example. Nex we describe our general mehod for

536 c' = x CHANNEL - X X X X-l one 1 delay C = X EB X-l Fig. 1 simple convoluional encoder where g = 11 1 2. Hard-decision majoriy hreshold decodi?g pu rae of l/v), he firs of which is he unchanged informaion digi. g(l) g(2) g(4)... resric our discussion in his paper o rae one-half codes. K=2 segmens, o review he basic hard-decision majoriy hreshold decoding of only a single one-bi delay elemen and a single modulo-2 adder (exclusive-or gae). Given a sequence of informaion digis x =... X+l..., where denoes he ime uni of he informaion digi X' each previous informaion digis. For serial ransmission he coded digis are sen o he channel in order c' c" by appro priae acion of he swich. (hard-decision) single-error-correcion capabiliy of he code. The decoding acion is explained wih reference o he six poins, a, b, c, 81' 82' and fi~-l. The six poins are inerpreed as follows: a = x.. b = $ n'

c = -l (X-l 537 2= (x l l 5 - - - - - - - nl = 1 if 5 = 5 = 1 -l 1 2 oherwise l 2 @nl 2 )@(x 1 ) x 2 @nll 1) 5 = nl 6} nl 6} nl 1 -l 5 2 -l -l -2 orhogonal on he noise digi nl 1. Thus if a single error occurs - anywhere in he 5 digi span covered by he orhogonal check sums, he only case when 51 = 52 = 1 is when n~-l = 1. gae sends an esimae n~-l of n~-l o cancel he noise digi n~-l from he rece.ived digi (X-l 6) n~-l)' anp hus produce an esimae x 1 of he ransmied digi x 1. From equaion (1) i can be seen - - ha if more han one error occurs in he 5 digi span covered by {51' 52}' hen he error correcion capabili~y of he code is exceeded and he decoded The decoder described above can be improved by he use of feedback. This n',- - - - - i - c' a b DECODER X-1, 1, X X-11 CHANNEL FEEDBACK 1,-- --- S 1 2 c", c -- -- 1 Fig.2 n" "AND" Gae

539 can be simplified by feeding ba~k n~-2 o cancel n~-2 in equaion (1). We may hen replace S2. w~ h S2 = S 2 "" ~ n-2 = n-l '1" w n-l w 1' n-2 "'-, w n-2. f he esimae n~-2 is correc, ha is n~-2 = n~-2' hen S2 = n" This means ha provided he previously decoded digi was correc, - he decoder check sums {Sl' S2} only span 4 digis, and can herefore correc a single error anywhere in 4 digis as opposed o 5 digis in he previous case. decoder ha makes use of pas decisions o simplify feedback decoder, whils a decoder ha does no use pas decisions is called a de inie decoder. n general, if i is possible o form a se of 2e pariy check equaions which are orhogonal on a specified noise digi, hen i is possible o build a hard-decision majoriy hreshold decoder which can correc any combinaions of e or fewer errors over one consrain span. Figure 3 shows he encoder/decoder arrangemen for a riple error-correcing rae one-half (24,12) majoriy decoder which has K=12, and an effecive consrain lengh of 22 digis wihin which 3 or fewer errors can be correc~ed. This decoder can achieve a bi error rae of 1-5 on he binary symmeric channel (which is comparable o he (23,12) perfec Golay code), and can be buil wih only 16 sandard inegraed circuis (which is much less han ha required o decode he Golay code). 3. Sof-decision majoriy hreshold deocding n his secion we inroduce our new mehod for sof-decision majoriy hreshold decoding. Our basic approach is o derive a modified se of, orhogonal check sums {Si} which can be used o esimae each noise digi in he sof-decision sense. BCD equivalen. For example, [] =, [1] = 1, [1] = 2,... [111] = 7. The X are herefore expressed as [] when X =, or [111) when x = 1, in he sof-decision sense. The noise digis are expressed in a similar manner bu can ake any inermediae value beween and 7, ha is, = [) < [n'.] < [111] = 7, where he square brackes indicae - -J - a quanised or sof-decision noise digi. Noe ha he mos significan digi of a quanised digi is he hard decision digi iself. For example, and [n'.] = [11] implies n '. = 1. Le us define dh o be he hard-decision minimum disance beween he wo halves of he iniial code ree. The guaraneed error-correcing capabilsecion 2 has dh = 3, and is herefore a single error-correcing code.

54.-i ') ',f" r ~ J~ +::> ",><.-i -+::>,~ c..-j.-i.-i ~ ~ r i :>;, r--f -+::> ~ ~ '"-'.-i *N (/}.-i + -+::> *.-i ~ (/}.. Q) +::> Q) +::> ' H 'OH ~ Q) Po ro N ' > +::> ;j H ~ ~~ a ro. ~ s.a ~ r--. 4-j.-i ~ ' QJ 1::1 - +::> ~,..4 ~ ~ 4-j rx:j ' rx:j ~ - ~ ~ H ' - +::> rx:j, -,., :>;, >, --r- ro-.j ~ Z ~ r--f,..4 ~, Q) ' ' '" QJ '

digis herefore have o be obained by a process of esimaion as follows. Refer o Fig. 2. The sof-decision received digi a poin a is [x ~ n']. he esimaes of X d = (Q-l) x ' dh 541 and is error correcion capabiliy is e sof-decision s s digis, where es is he larges ineger saisfying es ~ (ds - 1)/2. The simple example code herefore has d = (8-1) x d = 21, and e = 1. [(d -1)/2]/(7x4) =.36 for sof decision. s S * = [n'] + [nl] + [n' ] 1 -l S*= 2 [n' -l ]+[nll] -l ' (2) where feedback has been used o produce S2*. We may hen le he or le a~-l = 1 if Sl* + S2* - [n~_~] > 1. Tha is, we assume ha he is ha we canno direcly obain he quanised noise digis, because any As we use 8-level quanisaion he informaion digi x is esimaed as: esimaed noise digi [a~] is derived from he following equaions: ~ 4. n a similar manner, he received digi [x - - esimae. From he receiv~d digi [X ~ X-l ~ n~] a poin c, and from

no acceped ary previous decoding error. Noe ha as n~-l = n~-l = 1, Using he following sof-decision procedure, however, X-1 can be 8 * = [11'] + [11' 1 - and 8 2 * = [11' 1 ] + [11"] = [1] + [1] + [111] = 1, 1 ] + [11" 1 ] = [1] + [all] = 5 - - (6) The value of 81* + 82* - [11~-1] is hen 1 + 5-2 = 13 which is Thus x = - - - l is 1 ] = 1, here is no conradicion in 11', indicaes direcly wheher or no a conradicion exiss in he original assumpion X-1. orhogonal check sums and i is no convenien o direcly derive he 1 542 Fig. 4 shows he sof-decision hreshold decoder for he rae one-half code used above, and he following example illusraes is operaion. Le us assume h"a X = X-1 =, ha he noisedigis are [n~-l] = [11], [n~-l] = [1], [n~] = [1], [n~] = [], and ha he decoder has a hard-decision decoder would decode X-1 = 1 hus giving a decoding error. decoded correcly. (1) Because he received digi [X ~ n~] = [1], we le X = a and [11~] = [X ~ n~] = [1]. (2) Because he received digi [X-1 ~ n~-l] = [11], we le X-1 = 1 and [11~-1] = [X-1] ~ [X-1 ~ n~-l] = [1] (3) Because he received digi [X ~ X-1 ~ n~] = [], we le [11~] = [x ] ~ [x ] ~ [x ~ x 1 - - = [111]. [X-1] ~ [X-2] ~ [X-1 ~ X-2 ~ n~-l] = [X-1] ~ [X-1 ~ n~-l] = [111] ~ [1 ] = [all], and all he noise digis are (5) By using ordinary addiion: greaer han (ds - 1)/2 = 1, and herefore indicaes 11~-1 = 1. This however conradics our assumpion of X-1 = a and he hard-decision received digi x 1 correced by he modu1o-2 addiion of 11~-1. Noe ha by assumming, and recalculaing seps 2,3, and 4, we have [11~-1] = [11] [11~] = [], and [11~-1] = [1]. Thus 81* = 6, 82* = 9, and 81* + 82* - -- is correcly decoded as X-1 = o. and herefore X For a simple sof-decision decoder described above he value of 81* + 82* - [11' 1] can be calculaed and he esimae of 11' 1 - - Wih a muliple error-correcing code here are more han wo value 81* - X-1 = value he of X-1. of n + hese 82* cases [11~-1] our for mehod boh involves cases he and 1. decoder compuing X-1 =

more 543 value of Sl* + S2* - [n~-l]' A complex decoder illusraing his poin is oulined in he nex secion. 4. Sof-decision diffuse hre~hold decodi?g n general, mos real channels are ime-varying and subjec o burss of errors. Diffuse convoluional coding is one mehod of providing bursand-random error-correcion capabiliy, and is mos suiable for a channel densiy burss occur on a noise background whose random error rae is relaively high. majoriy-decision hreshold decoding. The sysem is rae one-half., b-difdecisions were correc, i is possible o form four check-sums orhogonal on he noise digi n~-3b-l as follows: - -l -b-l -l -3b-l -l -b-l This exra modificaions. Our basic approach is o calculae he algebraic sum of four sof-decision noise sums which are orhogonal on he informaion digi X-3b-l' for boh he assumpions X-3b-l =, and X-3b-l = 1. S. = [fll] + [f" Q) nl] + [n ] + [nl] -b-l -2b-l -3b-l ' if we le X-3~-1 =, and i = 1 if X-3~-1 = 1. The decoding decision depends on he value decode if So ~ Sl or X-3~-1 = 1 if So~ Sl'

544 <] (Y"'\ +>,.c: -'-" (, C- Pi ' "... r.. " (,) or-i or-i ',:q Q) Q).c: r.x: r.x: S Q),j cd +> :> ;:1 Q), PiQ)Q) ;::!.::: cd a +>.::: s QJ r.x: (/) (,) r.x: c: CJ co c: or-! -.J ;j > c: ::r: 4-1 (,) 4-1 - -- - - - - or-! c: or-! ><: QJ ldue ~La'~ :>:. cd 'U Q) oj:: <J <J ' < +> r.x: (,) <J z +> r.x: ><: p or-! +>., ><: r!:;!j! :'()~o,b

. 545,

~ X-3~-1 ~ X-4~-1 $ X-5~-2 $ n~-2~-1] S(4) = [r-3~-1] ~ [X-4~-1 $ X-5~-1 ~ X-6~-2] = [n~-3~-1] 546 $ n '], [x 1 $ n' 1], [x $ n' ] - - -~ -~ and [X-2~ $ n~-2~] X' X-l' X-~' and X-2~' by aking he hard-decision esimae of each mos significan bi. (2) The value of So is found as follows. From he four received digi [r] [r-l] = n~-~-l] [r-2~-1] = [X-2~-1 [r-3~-1] = [X-3~-1 The previously esimaed informaion digis x, x- 1 -u - 2 u and he previously decoded digis X-4~-1' X-5~-1' X-5~-2' X-6~-2: S(l) = S (2) = [r ] $ [x ] = [n" $ n" ] -l -l -l -~-l S(3) = [r-2~-1] Hence, S = L S(j), for j = 1 o 4. (3) The value of Sl is given by Sl = L S(j) $ [ll], for j = 1 o 4. 5. Conclusions 3 1 = if S < Sl 3 1 =1 if S > Sl. - u- - - u- hreshold decoding of convoluional codes. The mehod consiss of enables he advanage of increased coding gain o be realised wihou deermined, as opposed o one wih hard decision, he increase in he esimaed oupu digi. 6. References 1. Massey, J.L.: Threshold Decoding., M..T. Press, Cambridge, Mass., 1963. 2. Wozencraf, J.M., and Jacobs,.M.: Principles of Communicaion Jnr.: Convoluional coding for channels wih memory, EEE Trans., T-14, 1968.