Developing frameworks for protocol implementation

This paper presents a method to develop frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be reused in the implementation of various different concrete systems in this domain. The use of frameworks support a protocol implementation process connected with formal design methods and produce an implementation code easy to extend and to reuse

Neutrinoless double beta decay with and without Majoron-like boson emission in a 3-3-1 model

We consider the contributions to the neutrinoless double beta decays in a $SU(3)_L\otimes U(1)_N$ electroweak model. We show that for a range of the parameters in the model there are diagrams involving vector-vector-scalar and trilinear scalar couplings which can be potentially as contributing as the light massive Majorana neutrino exchange one. We use these contributions to obtain constraints upon some mass scales of the model, like the masses of the new charged vector and scalar bosons. We also consider briefly the decay in which besides the two electrons a Majoron-like boson is emitted.Comment: Revtex, 10 pages and 8 eps figures. Extended version to be published in Physical Review

Explicitly broken lepton number at low energy in the Higgs triplet model

We suppose that lepton number is explicitly broken at low energy scale(M) in the framework of the Higgs triplet($\Delta$) model. The scalar sector of the model is developed considering the particular assumption $M=v_\Delta \approx$ eV. We show that such assumption infers a particular mass spectrum for the scalars that compose the triplet and cause a decoupling of these scalars from those that compose the standard scalar doublet.Comment: Minor changes, New references added, To appear at MPL

Invisible Z decay width bounds on active-sterile neutrino mixing in the (3+1) and (3+2) models

In this work we consider the standard model extended with singlet sterile neutrinos with mass in the eV range and mixed with the active neutrinos. The active-sterile neutrino mixing renders new contributions to the invisible Z decay width which, in the case of light sterile neutrinos, depends on the active-sterile mixing matrix elements only. We then use the current experimental value of the invisible Z decay width to obtain bounds on these mixing matrix elements for both (3+1) and (3+2) models.Comment: 10 pages, 5 figure

Evading the Few TeV Perturbative Limit in 3-3-1 Models

Some versions of the electroweak SU(3)_L\otimesU(1)_X models cannot be treated within perturbation theory at energies of few TeV. An extended version for these models is proposed which is perturbative even at TeV scale posing no threatening inconsistency for test at future colliders. The extension presented here needs the addition of three octets of vector leptons, which leave three new leptonic isotriplets in the SU(2)_L\otimesU(1)_Y subgroup. With this representation content the running of the electroweak mixing angle, $\theta_W (\mu)$, is such that $\sin^2\theta_W(\mu)$ decreases with the increase of the energy scale $\mu$, when only the light states of the Standard Model group are considered. The neutral exotic gauge boson $Z^\prime$ marks then a new symmetry frontier.Comment: 15 pages, 2 figures, minor correction

Type II Seesaw and a Gauge Model for the Bimaximal Mixing Explanation of Neutrino Puzzles

We present a gauge model for the bimaximal mixing pattern among the neutrinos that explains both the atmospheric and solar neutrino data via large angle vacuum oscillation among the three known neutrinos. The model does not include righthanded neutrinos but additional Higgs triplets which acquire naturally small vev's due to the type II seesaw mechanism. A combination of global $L_e-L_{\mu}-L_{\tau}$ and $S_3$ symmetries constrain the mass matrix for both charged leptons and neutrinos in such a way that the bimaximal pattern emerges naturally at the tree level and needed splittings among neutrinos at the one loop level. This model predicts observable branching ratios for $\tau\to \mu \mu\mu$, which could be used to test it.Comment: Latex file, 8 pages, five figures include

Criar Ciência

Antes de desenvolver o tema ―Criar ciência‖, propriamente dito, sinto a necessidade de definir alguns termos e de enquadrar alguns conceitos. Em primeiro lugar, este capítulo dedica-se às Ciências ditas Exatas e Naturais, sejam elas de caráter fundamental ou aplicado, podendo provavelmente grande parte do que aqui está escrito aplicar-se igualmente à Tecnologia. No entanto, será que os processos e conceitos ligados à criação da Ciência nestas áreas do conhecimento diferem dos que regem as Ciências Humanas e Sociais? Provavelmente não, mas cabe ao leitor responder a esta pergunta através dos textos aqui apresentados. Em segundo lugar, as próprias Ciências ditas Exatas e Naturais abrangem mundos tão diversos e distintos, tanto no que diz respeito às escalas abrangidas (espaciais ou temporais), como ao seu próprio estado de desenvolvimento, pelo que me é obviamente impossível abordar estas ciências no seu conjunto. Com estas palavras exemplifico perfeitamente, o dilema da maior parte dos cientistas: Como falar de um tema sabendo perfeitamente que o que se irá dizer, só se verifica para alguns casos específicos ou até mesmo para uma grande maioria, mas nunca para tudo e todos