This paper presents the FPGA hardware design of a turbo decoder for the cdma2000 standard. The work includes a study and mathematical analysis of the turbo decoding process, based on the MAX-Log-MAP algorithm. Results of decoding for a packet size of two hundred fifty bits are presented, as well as an analysis of area versus performance, and the key variables for hardware design in turbo decoding.

This is a case-study in knowledge representation and dynamic epistemic protocol verification. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of pr...

Sir Joseph LARMOR showed in 1897 that an oscillating electric charge emits radiation energy proportional to (acceleration) 2. At first sight,the result appears to be valid for arbitrary accelerations. But, perpetual uniform acceleration has been a case of nagging doubts, as radiation reaction vanishes and the equivalence principle, as also conformal symmetry of Maxwell equations each require ni...