Microstructured superhydrorepellent surfaces: Effect of drop pressure on fakir-state stability and apparent contact angles

In this paper we present a generalized Cassi-Baxter equation to take into account the effect of drop pressure on the apparent contact angle theta_{app}. Also we determine the limiting pressure p_{W} which causes the impalement transition to the Wenzel state and the pull-off pressure p_{out} at which the drop detaches from the substrate. The calculations have been carried out for axial-symmetric pillars of three different shapes: conical, hemispherical topped and flat topped cylindrical pillars. Calculations show that, assuming the same pillar spacing, conical pillars may be more incline to undergo an impalement transition to the Wenzel state, but, on the other hand, they are characterized by a vanishing pull-off pressure which causes the drop not to adhere to the substrate and therefore to detach very easily. We infer that this property should strongly reduce the contact angle hysteresis as experimentally osberved in Ref. \cite{Martines-Conical-Shape}. It is possible to combine large resistance to impalement transition (i.e. large value of p_{W}) and small (or even vanishing) detaching pressure p_{out} by employing cylindrical pillars with conical tips. We also show that depending on the particular pillar geometry, the effect of drop pressure on the apparent contact angle theta_{app} may be more or less significant. In particular we show that in case of conical pillars increasing the drop pressure causes a significant decrease of theta_{app} in agreement with some experimental investigations \cite{LafunaTransitio}, whereas theta_{app} slightly increases for hemispherical or flat topped cylindrical pillars.Comment: 21 pages, 13 figure

Measuring the LISA test mass magnetic proprieties with a torsion pendulum

Achieving the low frequency LISA sensitivity requires that the test masses acting as the interferometer end mirrors are free-falling with an unprecedented small degree of deviation. Magnetic disturbances, originating in the interaction of the test mass with the environmental magnetic field, can significantly deteriorate the LISA performance and can be parameterized through the test mass remnant dipole moment $\vec{m}_r$ and the magnetic susceptibility $\chi$. While the LISA test flight precursor LTP will investigate these effects during the preliminary phases of the mission, the very stringent requirements on the test mass magnetic cleanliness make ground-based characterization of its magnetic proprieties paramount. We propose a torsion pendulum technique to accurately measure on ground the magnetic proprieties of the LISA/LTP test masses.Comment: 6 pages, 3 figure

The Paths to Choreography Extraction

Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification (e.g., Multiparty Session Types) and synthesis of correct-by-construction software (Choreographic Programming). They require a top-down approach: programmers first write choreographies, and then use them to verify or synthesize their programs. However, most existing software does not come with choreographies yet, which prevents their application. To attack this problem, we propose a novel methodology (called choreography extraction) that, given a set of programs or protocol specifications, automatically constructs a choreography that describes their behavior. The key to our extraction is identifying a set of paths in a graph that represents the symbolic execution of the programs of interest. Our method improves on previous work in several directions: we can now deal with programs that are equipped with a state and internal computation capabilities; time complexity is dramatically better; we capture programs that are correct but not necessarily synchronizable, i.e., they work because they exploit asynchronous communication

Power grids vulnerability: a complex network approach

Power grids exhibit patterns of reaction to outages similar to complex networks. Blackout sequences follow power laws, as complex systems operating near a critical point. Here, the tolerance of electric power grids to both accidental and malicious outages is analyzed in the framework of complex network theory. In particular, the quantity known as efficiency is modified by introducing a new concept of distance between nodes. As a result, a new parameter called net-ability is proposed to evaluate the performance of power grids. A comparison between efficiency and net-ability is provided by estimating the vulnerability of sample networks, in terms of both the metrics.Comment: 16 pages, 3 figures. Figure 2 and table II modified. Typos corrected. Version accepted for publication in Chao

Orchestrating Forest Policy in Italy: Mission Impossible?

In the Italian political and economic agenda the forest sector occupies a marginal role. The forest sector in Italy is characterized by a high institutional fragmentation and centralized decision-making processes dominated by Public Forest Administrations. Public participation in forest policy processes has been implemented since the 1990s at national, regional and local levels in several cases. However, today no significant changes have been observed in the overall governance of the forest sector and stakeholders' involvement in Italian forest policy decision-making is still rather limited. The aims of this paper are to describe the state of forest-related participatory processes in Italy at various levels (national, regional and local) and identify which factors and actors hinder or support the establishment and implementation of participatory forest-related processes in the country. The forest-related participatory processes are analyzed adopting a qualitative-based approach and interpreting interactive, complex and non-linear participatory processes through the lens of panarchy theory

Quantifying signals with power-law correlations: A comparative study of detrended fluctuation analysis and detrended moving average techniques

Detrended fluctuation analysis (DFA) and detrended moving average (DMA) are two scaling analysis methods designed to quantify correlations in noisy non-stationary signals. We systematically study the performance of different variants of the DMA method when applied to artificially generated long-range power-law correlated signals with an {\it a-priori} known scaling exponent $\alpha_{0}$ and compare them with the DFA method. We find that the scaling results obtained from different variants of the DMA method strongly depend on the type of the moving average filter. Further, we investigate the optimal scaling regime where the DFA and DMA methods accurately quantify the scaling exponent $\alpha_{0}$, and how this regime depends on the correlations in the signal. Finally, we develop a three-dimensional representation to determine how the stability of the scaling curves obtained from the DFA and DMA methods depends on the scale of analysis, the order of detrending, and the order of the moving average we use, as well as on the type of correlations in the signal.Comment: 15 pages, 16 figure

Characterization of disturbance sources for LISA: torsion pendulum results

A torsion pendulum allows ground-based investigation of the purity of free-fall for the LISA test masses inside their capacitive position sensor. This paper presents recent improvements in our torsion pendulum facility that have both increased the pendulum sensitivity and allowed detailed characterization of several important sources of acceleration noise for the LISA test masses. We discuss here an improved upper limit on random force noise originating in the sensor. Additionally, we present new measurement techniques and preliminary results for characterizing the forces caused by the sensor's residual electrostatic fields, dielectric losses, residual spring-like coupling, and temperature gradients.Comment: 11 pages, 8 figures, accepted for publication Classical and Quantum Gravit

Improved Torsion Pendulum for Ground Testing of LISA Displacement Sensors

We discuss a new torsion pendulum design for ground testing of prototype LISA (Laser Interferometer Space Antenna) displacement sensors. This new design is directly sensitive to net forces and therefore provides a more representative test of the noisy forces and parasitic stiffnesses acting on the test mass as compared to previous ground-based experiments. We also discuss a specific application to the measurement of thermal gradient effects.Comment: 4 pages 1 figure, to appear in the Proceedings of the 10th Marcel Grossmann Meeting on General Relativit