1,173 research outputs found
Positive solutions of Schr\"odinger equations and fine regularity of boundary points
Given a Lipschitz domain in and a nonnegative
potential in such that is bounded
in we study the fine regularity of boundary points with respect to
the Schr\"odinger operator in . Using potential
theoretic methods, several conditions equivalent to the fine regularity of are established. The main result is a simple (explicit if
is smooth) necessary and sufficient condition involving the size of
for to be finely regular. An essential intermediate result consists in
a majorization of for
positive harmonic in and . Conditions for
almost everywhere regularity in a subset of are also
given as well as an extension of the main results to a notion of fine
-regularity, if , being two potentials, with and a second order elliptic operator.Comment: version 1. 23 pages version 3. 28 pages. Mainly a typo in Theorem 1.1
is correcte
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
In recent work we have shown how it is possible to define very precise type
systems for object-oriented languages by abstractly compiling a program into a
Horn formula f. Then type inference amounts to resolving a certain goal w.r.t.
the coinductive (that is, the greatest) Herbrand model of f.
Type systems defined in this way are idealized, since in the most interesting
instantiations both the terms of the coinductive Herbrand universe and goal
derivations cannot be finitely represented. However, sound and quite expressive
approximations can be implemented by considering only regular terms and
derivations. In doing so, it is essential to introduce a proper subtyping
relation formalizing the notion of approximation between types.
In this paper we study a subtyping relation on coinductive terms built on
union and object type constructors. We define an interpretation of types as set
of values induced by a quite intuitive relation of membership of values to
types, and prove that the definition of subtyping is sound w.r.t. subset
inclusion between type interpretations. The proof of soundness has allowed us
to simplify the notion of contractive derivation and to discover that the
previously given definition of subtyping did not cover all possible
representations of the empty type
Smart District Heating: Distributed Generation Systems' Effects on the Network☆
Abstract The European strategy 20-20-20 – providing for energy efficiency increase, pollutant emissions reduction and fossil fuel consumption reduction – leads to an increasing attention on the concept of smart cities. In this scenario, it is important to consider a possible integration between networks and distributed generation systems – i.e. to realize a bidirectional energy flux at the utilities, giving rise to the so-called smart grid – not only for the electrical sector, but also for the thermal energy field. Therefore, the concept of smart grid could be extended to the heat sector in relation to District Heating Networks (DHNs) and considering thermal energy distributed generation systems, such as solar thermal panels or micro-Combined Heat and Power (micro-CHP) generators. In this study several different layouts for the utilities substations in smart DHNs will be presented and discussed. These layouts have been developed in order to allow the bidirectional exchange of thermal energy at the utilities, optimizing the thermal exchange as function of network design temperatures (for both the supply and the return), of utilities' thermal power requirement and depending on the characteristics of the production system. Further, in this paper the results obtained from the simulations, carried out with the software Intelligent Heat Energy Network Analysis (I.H.E.N.A.) considering the implementation of the elaborated layouts, will be analyzed
Thermodynamic Evaluation of Repowering Options for a Small-size Combined Cycle with Concentrating Solar Power Technology☆
Abstract The increasing penetration of low-carbon technologies and enhancements in fossil-fuelled power plants efficiency are some of the most important and up to date research topics. Renewable energy, in particular solar, has the potential of meeting the world energy needs while addressing environmental concerns, but technological advances in renewable energy electricity production are necessary to become competitive with conventional technologies. New opportunities to increase the penetration of renewables energies, smoothing out renewables variability and intermittency problems, come out from the hybridization concept. Hybrid renewable-fossil fuel systems join the advantages of both renewable energies and programmable devices. Among all the renewable technologies available for hybridization, Concentrating Solar Power (CSP) with parabolic trough is the most diffused because of its relatively conventional technology and ease of scale-up. CSP hybrids are well established worldwide, predominantly with natural gas: the hybridization options for CSP ranging from feed water heating, reheat steam, live steam to steam superheating. Based on a detailed thermodynamic cycle model of a reference small-size one pressure level Combined Cycle (CC) plant, the impact of CSP addition is thoroughly evaluated. Different hybrid schemes are evaluated and compared considering CC off-design operation. The goal of this study is to evaluate, from a thermodynamic point of view, three repowering options of a small-size CC with a CSP system in a hybrid system configuration and to quantify their potential benefits in terms of system's performance increase. In particular, the optimal size of CSP plant is shown for each investigated hybrid repowering options. The changes in CC steam cycle operating parameters are presented together with CC performance increase. It is shown that solar hybridization into an existing CC plant may give rise to a substantial benefit from a thermodynamic point of view
Direct femtosecond laser fabrication of superhydrophobic aluminum alloy surfaces with anti-icing properties
Ice formation is a serious issue in many fields, from energy to aerospace, compromising the devices' efficiency and security. Superhydrophobicity has been demonstrated to be correlated to the anti-icing properties of surfaces. However, fabricating surfaces with robust water repellence properties also at subzero temperature is still a great challenge. In this work, femtosecond laser (fs-laser) texturing is exploited to produce superhydrophobic surfaces with anti-icing properties on Al2024, an aluminum alloy of great interest in cold environments, in particular for aircraft production. Our textured substrates present self-cleaning properties and robust water repellency at subzero temperatures. Moreover, outstanding anti-icing properties are achieved on the textured surfaces at-20 °C, with water droplets bouncing off the surface before freezing
Complex energy networks: Energy-ecological efficiency based evaluations towards the sustainability in energy sector
In the last years, international programs in diverse sectors and national frameworks have been driven by the need of a sustainable growth, in a green economy perspective. In order to reduce the energy losses/dissipations, as well as the fossil fuels employment and related pollutant emissions, indeed, the spread of combined heat and power units and/or renewable sources generators is promoted into both the electrical grids and the thermal networks but are often in conflict with the economic aspects. In this context, the optimal management of complex energy networks - including, in particular, smart district heating - may lead to the achievement of important goals from the environmental and sustainability viewpoints. The aim of this paper is to develop a preliminary methodology for the complete evaluation of complex energy networks, considering energy, economic and environmental aspects. With this purpose, a case study consisting in a network for the fulfillment of electrical and thermal needs of the connected users will be analyzed, considering different scenarios in terms of energy generation mix and operation and applying different optimization software. In addition, the carried out evaluations will allow to set the basis for the discussion about the future of energy policies and possible incentives towards the sustainable development of the energy sector
Low-temperature district heating networks for complete energy needs fulfillment
In order to reduce fossil fuels consumption and pollutant emissions, high contribution is given by district heating. In particular, the integration with renewable energy may lead to a significant increase in energy conversion efficiency and energy saving. Further benefits can be achieved with low temperature networks, reducing the heat dissipations and promoting the exploitation of low enthalpy heat sources. The aim of the paper is the analysis of the potential related to the conversion of existing district heating networks, to increase the exploitation of renewables and eliminate pollutant emissions in the city area. Further aim, in this context, is the optimization \u2013 from both energy production and operation management viewpoints \u2013 of a low temperature district heating network for the fulfillment of the connected users\u2019 energy needs. To this respect, a traditional network with a fossil fuel driven thermal production plant has been considered and compared with a low temperature district heating scenario, including geothermal heat pumps, photovoltaic panels and absorption chillers. These scenarios have been analyzed and optimized with a developed software, demonstrating the reduction of primary energy consumption and CO2 pollutant emissions achievable with low temperature networks. In addition, a preliminary economic comparative evaluation on the variable costs has been carried out. Future studies will investigate the economic aspect also from the investment costs viewpoint
Performance Increase of a Small-scale Liquefied Natural Gas Production Process by Means of Turbo-expander☆
Abstract In the last years, the growing demand of the energy market has led to the increasing penetration of renewable energy sources in order to achieve the primary energy supply. However, in the next years fossil fuels are expected to remain the dominant energy source, due to the forecasted increase of global energy consumption. In particular, the natural gas is predicted to still play a key role in the energy market, on account of its lower environmental impact than other fossil fuels. Natural gas is currently employed mainly as gaseous fuel for stationary energy generation, but also as liquefied fuel, as an alternative to the diesel fuel, in vehicular applications. Liquefied Natural Gas (LNG) is currently produced in large plants directly located at the extraction sites. The aim of the study is the definition of an optimal small-scale production process for LNG, to be realized – in opposition to the current habit – directly at filling stations. With this purpose, two different LNG production layouts have been proposed and investigated within a thermodynamic analysis: starting from a Joule-Thompson LNG expansion process, a new layout with a turbo-expander has been proposed for the natural gas liquefaction. The carried-out simulations show that the new proposed solution allow to optimize the LNG production process and to minimize the process' energy consumption
Dynamic rotor mode in antiferromagnetic nanoparticles
We present experimental, numerical, and theoretical evidence for a new mode
of antiferromagnetic dynamics in nanoparticles. Elastic neutron scattering
experiments on 8 nm particles of hematite display a loss of diffraction
intensity with temperature, the intensity vanishing around 150 K. However, the
signal from inelastic neutron scattering remains above that temperature,
indicating a magnetic system in constant motion. In addition, the precession
frequency of the inelastic magnetic signal shows an increase above 100 K.
Numerical Langevin simulations of spin dynamics reproduce all measured neutron
data and reveal that thermally activated spin canting gives rise to a new type
of coherent magnetic precession mode. This "rotor" mode can be seen as a
high-temperature version of superparamagnetism and is driven by exchange
interactions between the two magnetic sublattices. The frequency of the rotor
mode behaves in fair agreement with a simple analytical model, based on a high
temperature approximation of the generally accepted Hamiltonian of the system.
The extracted model parameters, as the magnetic interaction and the axial
anisotropy, are in excellent agreement with results from Mossbauer
spectroscopy
From solar to hydrogen: Preliminary experimental investigation on a small scale facility
Issues of exhaustible natural resources, fluctuating fossil fuel prices and improvements in electric power systems motivated governments to behave positively toward the development of distributed generation. In addition, progresses in small size generation technologies and storage systems give rise to a significant diffusion in microgrids, working together with conventional power grid. Indeed, in the next future, domestic microgrids are expected to play a fundamental role in electric power networks, driving both the academic and industrial research interests in developing high efficient and reliable conversion and storage technologies. In this context, this study presents a feasible configuration of a solar-hydrogen integrated microgrid and documents the procedure to characterize the overall efficiency of a laboratory scale test facility. Experimental results highlight that the most significant inefficiencies in the solar to hydrogen conversion process are mainly attributed to the solar to electrical energy conversion process, being responsible for about 89% of losses. The overall laboratory scale solar to hydrogen chain can reach conversion efficiency up to 5.3%
- …