38019992
A comparative study of different chaos based spread spectrum communication systems
Using different properties of chaotic systems, different chaos based communication schemes have been proposed in the literature. However, their performances are seldom compared. In this paper, we implement several major chaos based communication methods including chaotic spreading codes, chaotic carrier, chaos shift keying, chaotic masking and chaotic parameter modulation in a common digital communication background. Their performance in terms of bit error rate and robustness are then evaluated.
11779035
Chaotic binary sequences for efficient wireless multipath channel estimation
This paper presents a better binary sequence design for efficient wireless multipath channel estimation. Chaotic binary sequences with better properties than conventional maximal length sequences are obtained through an optimization algorithm based on DNA computation. The proposed method is attractive due to its ability to generate binary sequences for specific design criteria. The generated chaotic binary sequences have superior performance compared to maximal length sequences and have complexity similar to the levels of shift register implementation. The effectiveness of the proposed method was evaluated for sequence design for frequency domain channel estimation. Simulation results clearly show the improved performance of the sequence obtained using the proposed scheme over the maximal length sequence. Further, the proposed scheme is not only limited to channel estimation sequence design but can be applied to various communication system design problems.
1639053
A Constraint-Based Interactive Train Rescheduling Tool
In this paper, we report the design and implementation of a constraint-based interactive train rescheduling tool, a project in collaboration with the International Institute for Software Technology, United Nations University (UNU/IIST), Macau. We formulate train rescheduling as constraint satisfaction and describe a constraint propagation approach for tackling the problem. Algorithms for timetable verification and train rescheduling are designed under a coherent framework. Formal correctness properties of the rescheduling algorithm are established. We define two optimality criteria for rescheduling that correspond to minimizing the number of station visits affected and passenger delay respectively. Two heuristics are then proposed to speed up and direct the search towards optimal solutions. The feasibility of our proposed algorithms and heuristics are confirmed with experimentation using real-life data.
42246755
A Constraint-Based Interactive Train Rescheduling Tool
In this paper, we formulate train rescheduling as constraint satisfaction problem and describe a constraint propagation approach to tackle it. Algorithms for timetable verifications and train rescheduling are designed under a coherent framework. We define two optimality criteria that correspond to minimizing passenger delay and the number of station visit modifications respectively for rescheduling. Two heuristics are then proposed to speed up and direct the search towards the optimal solutions. The feasibility of our proposed algorithms and heuristics are confirmed with experimentation using real-life data.
15682339
Measuring nondeterminism in pushdown automata
The amount of nondeterminism that a pushdown automaton requires to recognize an input string can be measured by the minimum number of guesses that it must make to accept the string, where guesses are measured in bits of information. When this quantity is unbounded, the rate at which it grows as the length of the string increases serves as a measure of the pushdown automaton's ''rate of consumption'' of nondeterminism. We show that this measure is similar to other complexity measures in that it gives rise to an infinite hierarchy of complexity classes of context-free languages differing in the amount of the resource (in this case, nondeterminism) that they require. In addition, we show that there are context-free languages that can only be recognized by a pushdown automaton whose nondeterminism grows linearly, resolving an open problem in the literature. In particular, the set of palindromes is such a language.
32788724
Tight Lower Bounds on the Size of Sweeping Automata
A sweeping automaton is a two-way deterministic finite automaton which makes turns only at the endmarkers. We say that a sweeping automaton is degenerate if the automaton has no left-moving transitions. We show that for each positive integer n, there is a nondeterministic finite automaton An over a two-letter alphabet such that An has n states, whereas the smallest equivalent nondegenerate sweeping automaton has 2n states.
26148235
On Finite Automata with Limited Nondeterminism
We develop a new algorithm for determining if a given nondeterministic finite automaton is limited in nondeterminism. From this, we show that the number of nondeterministic moves of a finite automaton, if limited, is bounded by 2n−2 where n is the number of states. If the finite automaton is over a one letter alphabet, using Gohon's result the number of nondeterministic moves, if limited, is less than n 2. In both cases, we present families of finite automata demonstrating that the upper bounds obtained are almost tight.