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

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

Optimal control theory based design of elasto-magnetic metamaterial

A method to design a new type of metamaterial is presented. A two-step strategy to define an optimal long-range force distribution embedded in an elastic support to control wave propagation is considered. The first step uses a linear quadratic regulator (LQR) to produce an optimal set of long-range interactions. In the second step, a least square passive approximation of the LQR optimal gains is determined. The paper investigates numerical solutions obtained by the previously described procedure. Finally, we discuss physical and engineering implications and practical use of the present study

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

Relational semantics of linear logic and higher-order model-checking

In this article, we develop a new and somewhat unexpected connection between higher-order model-checking and linear logic. Our starting point is the observation that once embedded in the relational semantics of linear logic, the Church encoding of any higher-order recursion scheme (HORS) comes together with a dual Church encoding of an alternating tree automata (ATA) of the same signature. Moreover, the interaction between the relational interpretations of the HORS and of the ATA identifies the set of accepting states of the tree automaton against the infinite tree generated by the recursion scheme. We show how to extend this result to alternating parity automata (APT) by introducing a parametric version of the exponential modality of linear logic, capturing the formal properties of colors (or priorities) in higher-order model-checking. We show in particular how to reunderstand in this way the type-theoretic approach to higher-order model-checking developed by Kobayashi and Ong. We briefly explain in the end of the paper how his analysis driven by linear logic results in a new and purely semantic proof of decidability of the formulas of the monadic second-order logic for higher-order recursion schemes.Comment: 24 pages. Submitte

Twin-waves propagation phenomena in magnetically-coupled structures

The use of magnetic dipoles embedding in an elastic support introduces long-range interaction forces. This is a completely new paradigm in structural mechanics, classically based on local short-range particle interaction. The features of long-range forces produce very new mechanical coupling effects. This paper examines the case in which two identical rod-like structures, each with a dipole distribution embedded, vibrate side by side. Waves generated in one of the rods propagate also in the second and vice versa creating a new effect we name twin-waves. The present investigation unveils the existence of an infinite number of propagation modes even in one-dimensional infinite structures, a new and unus al behaviour in classical waveguides. The physics behind this phenomenon is further investigated also by numerical simulations

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

On Designing Multicore-aware Simulators for Biological Systems

The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being computational expensive. We discuss the main opportunities to speed it up on multi-core platforms, which pose new challenges for parallelisation techniques. These opportunities are developed in two general families of solutions involving both the single simulation and a bulk of independent simulations (either replicas of derived from parameter sweep). Proposed solutions are tested on the parallelisation of the CWC simulator (Calculus of Wrapped Compartments) that is carried out according to proposed solutions by way of the FastFlow programming framework making possible fast development and efficient execution on multi-cores.Comment: 19 pages + cover pag