A note on some constants related to the zeta-function and their relationship with the Gregory coefficients

In this paper new series for the first and second Stieltjes constants (also known as generalized Euler's constant), as well as for some closely related constants are obtained. These series contain rational terms only and involve the so-called Gregory coefficients, which are also known as (reciprocal) logarithmic numbers, Cauchy numbers of the first kind and Bernoulli numbers of the second kind. In addition, two interesting series with rational terms are given for Euler's constant and the constant ln(2*pi), and yet another generalization of Euler's constant is proposed and various formulas for the calculation of these constants are obtained. Finally, in the paper, we mention that almost all the constants considered in this work admit simple representations via the Ramanujan summation

Parallel Monitors for Self-adaptive Sessions

The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes associated with monitors, which control their behaviour. Each participant can access and modify a set of global data, which are able to trigger adaptations in the presence of critical changes of values. The use of the parallel composition for building global types, monitors and processes enables a significant degree of flexibility: an adaptation step can dynamically reconfigure a set of participants only, without altering the remaining participants, even if the two groups communicate.Comment: In Proceedings PLACES 2016, arXiv:1606.0540

Application of a simplified thermal-electric model of a sodium-nickel chloride battery energy storage system to a real case residential prosumer

Recently, power system customers have changed the way they interact with public networks, playing a more and more active role. End-users first installed local small-size generating units, and now they are being equipped with storage devices to increase the self-consumption rate. By suitably managing local resources, the provision of ancillary services and aggregations among several end-users are expected evolutions in the near future. In the upcoming market of household-sized storage devices, sodium-nickel chloride technology seems to be an interesting alternative to lead-acid and lithium-ion batteries. To accurately investigate the operation of the NaNiCl2 battery system at the residential level, a suitable thermoelectric model has been developed by the authors, starting from the results of laboratory tests. The behavior of the battery internal temperature has been characterized. Then, the designed model has been used to evaluate the economic profitability in installing a storage system in the case that end-users are already equipped with a photovoltaic unit. To obtain realistic results, real field measurements of customer consumption and solar radiation have been considered. A concrete interest in adopting the sodium-nickel chloride technology at the residential level is confirmed, taking into account the achievable benefits in terms of economic income, back-up supply, and increased indifference to the evolution of the electricity market

A multisensing setup for the intelligent tire monitoring

The present paper offers the chance to experimentally measure, for the first time, the internal tire strain by optical fiber sensors during the tire rolling in real operating conditions. The phenomena that take place during the tire rolling are in fact far from being completely understood. Despite several models available in the technical literature, there is not a correspondently large set of experimental observations. The paper includes the detailed description of the new multi-sensing technology for an ongoing vehicle measurement, which the research group has developed in the context of the project OPTYRE. The experimental apparatus is mainly based on the use of optical fibers with embedded Fiber Bragg Gratings sensors for the acquisition of the circumferential tire strain. Other sensors are also installed on the tire, such as a phonic wheel, a uniaxial accelerometer, and a dynamic temperature sensor. The acquired information is used as input variables in dedicated algorithms that allow the identification of key parameters, such as the dynamic contact patch, instantaneous dissipation and instantaneous grip. The OPTYRE project brings a contribution into the field of experimental grip monitoring of wheeled vehicles, with implications both on passive and active safety characteristics of cars and motorbikes

Use of rod compactors for high voltage overhead power lines magnetic field mitigation

In the last decades, strengthening the high voltage transmission system through the installation of new overhead power lines has become critical, especially in highly developed areas. Present laws concerning the human exposure to electric and magnetic fields introduce constraints to be considered in both new line construction and existing systems. In the paper, a technique for passive magnetic field mitigation in areas close to overhead power lines is introduced, fully modelled and discussed through a parametric analysis. The investigated solution, which basically consists in approaching line conductors along the span making use of rod insulators, is applicable on both existing and under-design overhead lines as an alternative to other mitigating actions. Making use of a 3-dimensional representation, the procedure computes both positions of phase conductors and forces acting on insulators, towers, conductors and compactors, with the aim of evaluating the additional mechanical stress introduced by the compactors. Finally, a real case study is reported to demonstrate and quantify the benefits in terms of ground magnetic field reduction achievable by applying the proposed solution, in comparison to a traditional configuration. Furthermore, using compactors to passively reduce the magnetic field is simple to be applied, minimally invasive and quite inexpensive as regards to alternative mitigating actions

On Isomorphism of "Functional" Intersection and Union Types

Type isomorphism is useful for retrieving library components, since a function in a library can have a type different from, but isomorphic to, the one expected by the user. Moreover type isomorphism gives for free the coercion required to include the function in the user program with the right type. The present paper faces the problem of type isomorphism in a system with intersection and union types. In the presence of intersection and union, isomorphism is not a congruence and cannot be characterised in an equational way. A characterisation can still be given, quite complicated by the interference between functional and non functional types. This drawback is faced in the paper by interpreting each atomic type as the set of functions mapping any argument into the interpretation of the type itself. This choice has been suggested by the initial projection of Scott's inverse limit lambda-model. The main result of this paper is a condition assuring type isomorphism, based on an isomorphism preserving reduction.Comment: In Proceedings ITRS 2014, arXiv:1503.0437

Toward Isomorphism of Intersection and Union types

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably, invertible terms are linear terms of a particular shape, called finite hereditary permutators. Typing properties of finite hereditary permutators are then studied in a relevant type inference system with intersection and union types for linear terms. In particular, an isomorphism preserving reduction between types is defined. Type reduction is confluent and terminating, and induces a notion of normal form of types. The properties of normal types are a crucial step toward the complete characterisation of type isomorphism. The main results of this paper are, on one hand, the fact that two types with the same normal form are isomorphic, on the other hand, the characterisation of the isomorphism between types in normal form, modulo isomorphism of arrow types.Comment: In Proceedings ITRS 2012, arXiv:1307.784

Effects of energy storage systems grid code requirements on interface protection performances in low voltage networks

The ever-growing penetration of local generation in distribution networks and the large diffusion of energy storage systems (ESSs) foreseen in the near future are bound to affect the effectiveness of interface protection systems (IPSs), with negative impact on the safety of medium voltage (MV) and low voltage (LV) systems. With the scope of preserving the main network stability, international and national grid connection codes have been updated recently. Consequently, distributed generators (DGs) and storage units are increasingly called to provide stabilizing functions according to local voltage and frequency. This can be achieved by suitably controlling the electronic power converters interfacing small-scale generators and storage units to the network. The paper focuses on the regulating functions required to storage units by grid codes currently in force in the European area. Indeed, even if such regulating actions would enable local units in participating to network stability under normal steady-state operating conditions, it is shown through dynamic simulations that they may increase the risk of unintentional islanding occurrence. This means that dangerous operating conditions may arise in LV networks in case dispersed generators and storage systems are present, even if all the end-users are compliant with currently applied connection standards