9,924 research outputs found
A Finite Exact Representation of Register Automata Configurations
A register automaton is a finite automaton with finitely many registers
ranging from an infinite alphabet. Since the valuations of registers are
infinite, there are infinitely many configurations. We describe a technique to
classify infinite register automata configurations into finitely many exact
representative configurations. Using the finitary representation, we give an
algorithm solving the reachability problem for register automata. We moreover
define a computation tree logic for register automata and solve its model
checking problem.Comment: In Proceedings INFINITY 2013, arXiv:1402.661
New Constructions of Zero-Correlation Zone Sequences
In this paper, we propose three classes of systematic approaches for
constructing zero correlation zone (ZCZ) sequence families. In most cases,
these approaches are capable of generating sequence families that achieve the
upper bounds on the family size () and the ZCZ width () for a given
sequence period ().
Our approaches can produce various binary and polyphase ZCZ families with
desired parameters and alphabet size. They also provide additional
tradeoffs amongst the above four system parameters and are less constrained by
the alphabet size. Furthermore, the constructed families have nested-like
property that can be either decomposed or combined to constitute smaller or
larger ZCZ sequence sets. We make detailed comparisons with related works and
present some extended properties. For each approach, we provide examples to
numerically illustrate the proposed construction procedure.Comment: 37 pages, submitted to IEEE Transactions on Information Theor
Deepen the understanding for school bully-victims : the reasons for bully-victims' role formations, role transitions, and role terminations
C
- …