4,845 research outputs found
A dynamical metric and its ground state from the breaking down of the topological invariance of the Euler characteristic
Quantum state wave functionals are constructed in exact form for the
graviton-like field theory obtained by breaking down the topological symmetry
of the string action related with the Euler characteristic of the
world-surface; their continuous and discrete symmetries are discussed. The
comparison with the so-called Chern-Simons state, which may be inappropriate as
quantum state, allows us to conclude that the found wave functionals will give
a plausible approximation to the ground state for the considered field theory
Neutron Fermi Liquids under the presence of a strong magnetic field with effective nuclear forces
Landau's Fermi Liquid parameters are calculated for non-superfluid pure
neutron matter in the presence of a strong magnetic field at zero temperature.
The particle-hole interactions in the system, where a net magnetization may be
present, are characterized by these parameters in the framework of a multipolar
formalism. We use either zero- or finite-range effective nuclear forces to
describe the nuclear interaction. Using the obtained Fermi Liquid parameters,
the effect of a strong magnetic field on some bulk magnitudes such as
isothermal compressibility and spin susceptibility is also investigated.Comment: 20 pages, 10 figure
Applying Prolog to Develop Distributed Systems
Development of distributed systems is a difficult task. Declarative
programming techniques hold a promising potential for effectively supporting
programmer in this challenge. While Datalog-based languages have been actively
explored for programming distributed systems, Prolog received relatively little
attention in this application area so far. In this paper we present a
Prolog-based programming system, called DAHL, for the declarative development
of distributed systems. DAHL extends Prolog with an event-driven control
mechanism and built-in networking procedures. Our experimental evaluation using
a distributed hash-table data structure, a protocol for achieving Byzantine
fault tolerance, and a distributed software model checker - all implemented in
DAHL - indicates the viability of the approach
Contaminación de suelos y aguas subterraneas por vertidos industriales
In the industrialised countries, soil and groundwater contamination caused by uncontrolled spills of industrial wastes is one of the most critical environmental problem, because its removal is expensive and difficult to carry out, and the effects persist during many years. In Spain this problem is especially notorious due to an inadequate management policy derived from the absence of coordination between the different involved sectors. The treatment installations are inot enough, so it has produced spillings in streams and soils or its storage in uncontrolled landfillings.The experiences and guidelines of the Environmental Protection Agency from United States have served to the industrialised countries to evaluate this kind of contamination. This methodology is based on its identification and delimitation in soil and groundwater. After the design of a monitoring and control program it can be established the correcting measures. For this reason it is important to know the transfer processes of pollutants between the saturated and not saturated medium, for this reason it is essential the use of geochemical and geophysical methods and their combination with hydrogeological methods.In Spain, this kind of studies is only carried out recently. A case history is the contamination of the alluvial aquifer of the Besos river (Barcelona) by Cr-VI and other heavy metals and organic microcontaminants
Energy balance of mussels Mytilus galloprovincialis: the effect of length and age
Clearance and ingestion rates, absorption efficiencies and respiration rates were measured in mussels Mytilus galloprovincialis Lmk of different lengths (53 to 89 mm) and age (10 to 24 mo) from cultivation rafts in the Ría de Arosa (Galicia, Spain). The experiments were carried out either in the laboratory, using monoalgal food (Isochrysis galbana) with an organic content of 91%, or under natural conditions of food availability in cultivation rafts with seston, the organic content of which ranged from 33 to 69%. Food concentrations ranged from 0.57 to 1.00 mg l-1 of total particulate matter (TPM), a load which is below the threshold for the production of pseudofaeces in Mytilus. These experiments proved that the ingestion rate (IR = mg TPM h-1) of food increases with the size of the mussel (measured as g of soft-tissue dry weight [DW]) according to the power equation IR = 12.661DW0.619, this model accounting for over 90% of the variance of the IR. Behavioural patterns that tended to maintain constant IR regardless of the density of the food were observed. Absorption efficiency (AE) is positively related to the organic content (OC) of the food according to the following hyperbolic equation: AE = 1.015 - 0.163(1/OC) (r = 0.940). AE is independent of mussel size for most of the size range used in this study, but there is a critical length around 85 mm, above which there is a noticeable decrease of AE. Metabolic expenditure, measured in terms of oxygen consumption standarized per unit of dry weight of flesh, tends to increase with the age of the mussel. The results obtained led to the conclusion that physiological traits such as the regulation of ingestion or differences in AE between groups do not explain the differences in growth between mussels of the same age. These differences must therefore be due to the limited food and space available as a result of the large numbers of mussels on the cultivation rafts and the agglomeration of mussels on the cultivation ropes.Versión de editor
Linear elastic mechanical system interacting with coupled thermo-electro-magnetic fields
[EN] A fully-coupled thermodynamic-based transient finite element formulation is proposed in this article for electric, magnetic, thermal and mechanic fields interactions limited to the linear case. The governing equations are obtained from conservation principles for both electric and magnetic flux, momentum and energy. A full-interaction among different fields is defined through Helmholtz free-energy potential, which provides that the constitutive equations for corresponding dual variables can be derived consistently. Although the behavior of the material is linear, the coupled interactions with the other fields are not considered limited to the linear case. The implementation is carried out in a research version of the research computer code FEAP by using 8-node isoparametric 3D solid elements. A range of numerical examples are run with the proposed element, from the relatively simple cases of piezoelectric, piezomagnetic, thermoelastic to more complicated combined coupled cases such as piezo-pyro-electric, or piezo-electro-magnetic. In this paper, some of those interactions are illustrated and discussed for a simple geometry.This work was supported jointly by Hauts-de-France Region (CR Picardie) (120-2015-RDISTRUCT-000010 and RDISTRUCT-000010) and EU funding (FEDER) for Chaire-de-Mecanique (120-2015-RDISTRUCTF-000010 and RDISTRUCTI-000004). Also, by the grant Ministerio de Educacion, Cultura y Deporte PRX16/00501. This support is gratefully acknowledged.Moreno-Navarro, P.; Ibrahimbegovich, A.; Pérez-Aparicio, JL. (2018). Linear elastic mechanical system interacting with coupled thermo-electro-magnetic fields. Coupled Systems Mechanics, an international journal (Online). 7(1):5-25. https://doi.org/10.12989/csm.2018.7.1.005S5257
Spatial Interpolants
We propose Splinter, a new technique for proving properties of
heap-manipulating programs that marries (1) a new separation logic-based
analysis for heap reasoning with (2) an interpolation-based technique for
refining heap-shape invariants with data invariants. Splinter is property
directed, precise, and produces counterexample traces when a property does not
hold. Using the novel notion of spatial interpolants modulo theories, Splinter
can infer complex invariants over general recursive predicates, e.g., of the
form all elements in a linked list are even or a binary tree is sorted.
Furthermore, we treat interpolation as a black box, which gives us the freedom
to encode data manipulation in any suitable theory for a given program (e.g.,
bit vectors, arrays, or linear arithmetic), so that our technique immediately
benefits from any future advances in SMT solving and interpolation.Comment: Short version published in ESOP 201
A simheuristic algorithm for time-dependent waste collection management with stochastic travel times
A major operational task in city logistics is related to waste collection. Due to large problem sizes and numerous constraints, the optimization of real-life waste collection problems on a daily basis requires the use of metaheuristic solving frameworks to generate near-optimal collection routes in low computation times. This paper presents a simheuristic algorithm for the time-dependent waste collection problem with stochastic travel times. By combining Monte Carlo simulation with a biased randomized iterated local search metaheuristic, time-varying and stochastic travel speeds between different network nodes are accounted for. The algorithm is tested using real instances in a medium-sized city in Spain
Performance of a transmutation advanced device for sustainable energy application
Preliminary studies have been performed to design a device for nuclear waste transmutation and hydrogen generation based on a gas-cooled pebble bed accelerator driven system, TADSEA (Transmutation Advanced Device for Sustainable Energy Application). In previous studies we have addressed the viability of an ADS Transmutation device that uses as fuel wastes from the existing LWR power plants, encapsulated in graphite in the form of pebble beds, cooled by helium which enables high temperatures (in the order of 1200 K), to generate hydrogen from water either by high temperature electrolysis or by thermochemical cycles. For designing this device several configurations were studied, including several reflectors thickness, to achieve the desired parameters, the transmutation of nuclear waste and the production of 100 MW of thermal power. In this paper new studies performed on deep burn in-core fuel management strategy for LWR waste are presented. The fuel cycle on TADSEA device has been analyzed based on both: driven and transmutation fuel that had been proposed by the General Atomic design of a gas turbine-modular helium reactor. The transmutation results of the three fuel management strategies, using driven, transmutation and standard LWR spent fuel were compared, and several parameters describing the neutron performance of TADSEA nuclear core as the fuel and moderator temperature reactivity coefficients and transmutation chain, are also presente
- …