Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Many project-specific languages, including in particular filtering languages, are defined using nonformal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an industrial experiment on using a tool-supported language specification framework (K) for the formal specification of the syntax and semantics of a filtering language having a complexity similar to those of real-life projects. This experimentation aims at estimating, in a specific industrial setting, the difficulty and benefits of formally specifying a packet filtering language using a tool-supported formal approach

Retour d'expérience sur l'utilisation du framework K pour la spécification formelle d'un langage de filtrage de trames

Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an experiment on using a tool-supported language specification framework (K) for the formal specification of the syntax and semantics of a filtering language having a complexity similar to those of real-life projects. In the context of this experimentation, the cost and benefits of formally specifying a language using a tool-supported framework in general (as well as the expressivity and ease of use of the K framework in particular) are evaluated.De nombreux langages spécifiques à un projet, entre autre les langages de filtrage, sont définis dans une spécification non-formelle écrite en langage naturel. Ces spécifications sont par conséquence souvent ambiguës et erronées. Ce rapport est un retour d'expérience sur l'utilisation d'un framework outillé de spécification de langage (le framework K) pour la spécification formelle de la syntaxe et sémantique d'un langage de filtrage de trames ayant une complexité similaire à celle rencontrée sur des projets réels. Dans le contexte de cette expérimentation, ce rapport évalue les coûts et bénéfices liés à une démarche de spécification formelle d'un langage en s'appuyant sur un framework outillé en général, et plus particulièrement dans le cas du framework K

The effects of species ortholog and SNP variation on receptors for free fatty acids

Although it is widely assumed that species orthologs of hormone responsive G protein-coupled receptors will be activated by the same endogenously produced ligand(s), variation in potency, particularly in cases where more than one receptor responds to the same hormone, can result in challenges in defining the contribution of individual receptors in different species. This can create considerably greater issues when using synthetic chemical ligands and, in some cases, may result in a complete lack of efficacy of such a ligand when used in animal models of pathophysiology. In man, the concept that distinct responses of individuals to medicines may reflect differences in the ability of such drugs to bind to or activate single nucleotide polymorphism variants of receptors is more established as a concept but, in many cases, clear links between such variants that are associated with disease phenotypes and substantial differences in receptor ligand pharmacology have been more difficult to obtain. Herein, we consider each of these issues for the group of receptors, FFA1-FFA4, defined to be activated by free fatty acids of varying chain length which, based on their production by one tissue or location and action in distinct locations, have been suggested to possess characteristics of ‘hormones’

Influence of Neutron Enrichment on Disintegration Modes of Compound Nuclei

Cross sections, kinetic energy and angular distributions of fragments with charge 6$\le$Z$\le$28 emitted in 78,82Kr+40C at 5.5 MeV/A reactions were measured at the GANIL facility using the INDRA apparatus. This experiment aims to investigate the influence of the neutron enrichment on the decay mechanism of excited nuclei. Data are discussed in comparison with predictions of transition state and Hauser-Feshbach models.Comment: 8 pages, 1 figure, paper presented at the First Workshop on "State of the Art in Nuclear Cluster Physics" 13-16 May, 2008, at Strasbourg, France (SOTANCP2008) and accepted for publication at International Journal of Modern Physics E (Special Issue), Proceedings of SOTANCP2008 (to be published

Microfluidic systems for the analysis of the viscoelastic fluid flow phenomena in porous media

In this study, two microfluidic devices are proposed as simplified 1-D microfluidic analogues of a porous medium. The objectives are twofold: firstly to assess the usefulness of the microchannels to mimic the porous medium in a controlled and simplified manner, and secondly to obtain a better insight about the flow characteristics of viscoelastic fluids flowing through a packed bed. For these purposes, flow visualizations and pressure drop measurements are conducted with Newtonian and viscoelastic fluids. The 1-D microfluidic analogues of porous medium consisted of microchannels with a sequence of contractions/ expansions disposed in symmetric and asymmetric arrangements. The real porous medium is in reality, a complex combination of the two arrangements of particles simulated with the microchannels, which can be considered as limiting ideal configurations. The results show that both configurations are able to mimic well the pressure drop variation with flow rate for Newtonian fluids. However, due to the intrinsic differences in the deformation rate profiles associated with each microgeometry, the symmetric configuration is more suitable for studying the flow of viscoelastic fluids at low De values, while the asymmetric configuration provides better results at high De values. In this way, both microgeometries seem to be complementary and could be interesting tools to obtain a better insight about the flow of viscoelastic fluids through a porous medium. Such model systems could be very interesting to use in polymer-flood processes for enhanced oil recovery, for instance, as a tool for selecting the most suitable viscoelastic fluid to be used in a specific formation. The selection of the fluid properties of a detergent for cleaning oil contaminated soil, sand, and in general, any porous material, is another possible application

A comparative study of MEA and DEA for post-combustion CO2 capture with different process configurations

This paper presented a comparative study of monoethanolamine (MEA) and diethanolamine (DEA) for post-combustion CO2 capture (PCC) process with different process configurations to study the interaction effect between solvent and process. The steady state process model of the conventional MEA-based PCC process was developed in Pro/II® and was validated with the experimental data. Then ten different process configurations were simulated for both MEA and DEA. Their performances in energy consumption were compared in terms of reboiler duty and total equivalent work. The results show that DEA generally has better thermal performances than MEA for all these ten process configurations. Seven process configurations provide 0.38%–4.61% total energy saving compared with the conventional PCC process for MEA, and other two configurations are not favourable. For DEA, except one configuration, other process configurations have 0.27%–4.50% total energy saving. This work also analyzed the sensitivities of three key parameters (amine concentration, stripper pressure and lean solvent loading) in conventional process and five process modifications to show optimization strategy

Quasiparticle excitations in relativistic quantum field theory

We analyze the particle-like excitations arising in relativistic field theories in states different than the vacuum. The basic properties characterizing the quasiparticle propagation are studied using two different complementary methods. First we introduce a frequency-based approach, wherein the quasiparticle properties are deduced from the spectral analysis of the two-point propagators. Second, we put forward a real-time approach, wherein the quantum state corresponding to the quasiparticle excitation is explicitly constructed, and the time-evolution is followed. Both methods lead to the same result: the energy and decay rate of the quasiparticles are determined by the real and imaginary parts of the retarded self-energy respectively. Both approaches are compared, on the one hand, with the standard field-theoretic analysis of particles in the vacuum and, on the other hand, with the mean-field-based techniques in general backgrounds.Comment: 53 pages, 4 figures. Version accepted for publication in Ann. Phy

Revisiting the use of Live Attenuated viruses as models to study the pathogenesis and the mechanisms involved in protection against African swine fever

Trabajo presentado en el 8th EPIZONE Annual Meeting "Primed for tomorrow", celebrado en Copenhague (Dinamarca) del 23 al 25 de septiembre de 2014.The meeting is entitled: "Primed for tomorrow" and will address the latest developments aimed at monitoring and understanding the evolution, emergence, transmission and spread of epizootic viruses. The focus will remain on the EPIZONE themes aimed at improved disease control through integration and collaboration of research in diagnosis, intervention strategies, risk assessment, surveillance and epidemiology. A stimulating scientific programme will be provided by invited speakers and selected poster and oral presentations describing recent research on epizootic diseases of cattle, pigs, poultry, sheep, goats, fish and horses. This meeting builds on previous highly successful EPIZONE meetings and will provide extensive opportunities for networking, scientific exchange and fostering collaboration

AGEO : Natural hazard prevention and awareness raising through citizen observatories

ABSTRACT:The Platform for Atlantic Geohazard Risk Management (AGEO) is a new project co-financed under the Interreg Programme for the Atlantic Area which aims to launch five Citizens’ Observatory pilots on geohazards according to regional priorities.info:eu-repo/semantics/publishedVersio