Out of tolerance warning alarm system for plurality of monitored circuits Patent

Alarm system design for monitoring one or more relay cicuit

Design, implementation and verification of the User Terminal Emulator for the Iris Verification TestBed

The present thesis results from an internship inside Thales Alenia Space Italia S.p.A. (TAS-I) located in Rome. Thales Alenia Space is an european leader for satellite systems and is a worldwide reference in telecoms, radar and optical Earth observation, defense and security, navigation and science. TAS-I is the prime contractor of the Phase B of Iris Programme, the ESA project to develop a new satellite communication system for Air Traffic Management; in particular TAS-I is one of the contractors involved in the realization of the Verification TestBed (VTB) for the new Communication Standard (CS). Our activities concerned the functional design of the logical component of the VTB and the software development of the User Terminal Emulator for the VTB itself. Precisely, we implemented a tool in C/C++ languages that emulates the UT resources assignment signalling protocol and the traffic flows management for several aircraft instances. This application supplies TAS-I with a tool, as flexible as possible to adapt to the upcoming CS specifications and useful to resolve several trade-off by means of preliminary tests. Besides, it could be a comparison instrument to evaluate, in terms of software design and implementation, similar emulation frameworks which at the moment do not belong to TAS-I testbed heritage

Selmer groups for elliptic curves in Z_l^d-extensions of function fields of characteristic p

Let $F$ be a function field of characteristic $p>0$, \F/F a Galois extension with Gal(\F/F)\simeq \Z_l^d (for some prime $l\neq p$) and $E/F$ a non-isotrivial elliptic curve. We study the behaviour of Selmer groups $Sel_E(L)_r$ ($r$ any prime) as $L$ varies through the subextensions of \F via appropriate versions of Mazur's Control Theorem. As a consequence we prove that Sel_E(\F)_r is a cofinitely generated (in some cases cotorsion) \Z_r[[Gal(\F/F)]]-module.Comment: Final version to appear in Annales de l'Institut Fourie

Euler characteristic and Akashi series for Selmer groups over global function fields

Let $A$ be an abelian variety defined over a global function field $F$ of positive characteristic $p$ and let $K/F$ be a $p$-adic Lie extension with Galois group $G$. We provide a formula for the Euler characteristic $\chi(G,Sel_A(K)_p)$ of the $p$-part of the Selmer group of $A$ over $K$. In the special case $G=\mathbb{Z}_p^d$ and $A$ a constant ordinary variety, using Akashi series, we show how the Euler characteristic of the dual of $Sel_A(K)_p$ is related to special values of a $p$-adic $\mathcal{L}$-function