arXiv subjects

Alexandru Stancu

Publications and source records attributed to Alexandru Stancu.

5 recordsLinked to original sources

arXiv2023

Antifragility as a complex system's response to perturbations, volatility, and time

Antifragility characterizes the benefit of a dynamical system derived from the variability in environmental perturbations. Antifragility carries a precise definition that quantifies a system's output response to input variability. Systems may respond poorly to perturbations (fragile) or benefit from perturbations (antifragile). In this manuscript, we review a range of applications of antifragility theory in technical systems (e.g., traffic control, robotics) and natural systems (e.g., cancer therapy, antibiotics). While there is a broad overlap in methods used to quantify and apply antifragility across disciplines, there is a need for precisely defining the scales at which antifragility operates. Thus, we provide a brief general introduction to the properties of antifragility in applied systems and review relevant literature for both natural and technical systems' antifragility. We frame this review within three scales common to technical systems: intrinsic (input-output nonlinearity), inherited (extrinsic environmental signals), and interventional (feedback control), with associated counterparts in biological systems: ecological (homogeneous systems), evolutionary (heterogeneous systems), and interventional (control). We use the common noun in designing systems that exhibit antifragile behavior across scales and guide the reader along the spectrum of fragility-adaptiveness-resilience-robustness-antifragility, the principles behind it, and its practical implications.

q-bio.PE↗

arXiv2022

Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors

Bounded model checking (BMC) is vital for finding program property violations. For unsafe programs, BMC can quickly find an execution path from an initial state to the violated state that refutes a given safety property. However, BMC techniques struggle to falsify programs that contain loops. BMC needs to incrementally unfold the program loops up to the bound $k$, exposing the property violation, which can thus lead to exploring a considerable state space. Here, we describe and evaluate the first verification method based on interval methods via contractors to reduce the domains of variables representing the search space. This reduction is based on the specified property modeled as functions representing the contractor constraints. In particular, we exploit interval methods via contractors to incrementally analyze the program loop variables and contract the domain where the property is guaranteed to hold to prune the search exploration, thus reducing resource consumption aggressively. Experimental results demonstrate the efficiency and efficacy of our proposed approach over a large set of benchmarks, including $7044$ verification tasks, compared with state-of-the-art BMC tools. Our proposed method can reduce memory usage up to $75$\% while verifying $1$\% more verification tasks.

cs.SE↗

arXiv2018

doFORC tool for calculating first-order reversal curve diagrams of noisy scattered data

First-order reversal curves (FORC) diagram method is one of the most successful characterization techniques used to characterize complex hysteretic phenomena not only in magnetism, but also in other areas of science like in ferroelectricity, geology, archeology, light-induced and pressure hysteresis in spin-transition materials, etc. Because the definition of the FORC diagram involves a second-order derivative, the main problem in their numerical calculation is that the derivative of a function for which only discrete noise-contaminated data values are available magnifies the noise that is inevitably present in measurements. In this paper we present doFORC tool for calculating FORC diagrams of noise scattered data. It can provide both a smooth approximation of the measured magnetization and all its partial derivatives. doFORC is a free, portable application working on various operating systems, with an easy to use graphical interface, with four regression methods implemented to obtain a smooth approximation of the data which may then be differentiated to obtain approximations for derivatives. In order to perform the diagnostics and goodness of fit doFORC computes residuals to characterize the difference between observed and predicted values, generalized cross-validation to measure the predictive performance, two information criteria to quantify the information that is lost by using an approximate model, and three degrees of freedom to compare different amounts of smoothing being performed by different smoothing methods. Based on these doFORC can perform automatic smoothing parameter selection.

cond-mat.mtrl-sci↗

arXiv2016

Kinetic effects observed in dynamic FORCs of magnetic wires: Experiment and theoretical description

This study is focused on the possibility to extend the use of the first-order reversal curve (FORC) diagram method to rate-dependent hysteresis. The FORCs for an amorphous magnetic wire was measured with an inductometric experimental setup in which the field-rate was maintained constant. The FORC experiment was performed for four different field-rates. As it is known, to obtain quantitative information on the magnetization process during the FORC process we need a model able to simulate as close as possible the experimental FORC diagrams. In this case, we have developed and implemented a model based on the hypothesis that the magnetization processes in this kind of materials are mainly due to the movement of a domain wall between the central domains of the wire. The differential equation of the domain wall movement is able to give a remarkably accurate description of the experimental FORC diagrams. The experimental FORCs, the FORC susceptibility diagram and the classical FORC diagram show however a number of details that the model is not able to describe. In each such case one discuss the possible physical cause of the observed behavior. As the magnetic wires are analyzed in many laboratories around the world for a wide variety of applications (essentially involving the control of the domain wall movement) we consider that our study offers to these researchers a valuable new tool.

cond-mat.mtrl-sci↗

arXiv2015

Analysis of First Order Reversal Curves in the Thermal Hysteresis of Spin-crossover Nanoparticles within the Mechanoelastic Model

The recently obtained spin-crossover nanoparticles are possible candidates for applications in the recording media industry as materials for data storage, or as pressure and temperature sensors. For these applications the intermolecular interactions and interactions between spin-crossover nanoparticles are extremely important, as they may be essential factors in triggering the transition between the two stable phases: the high-spin and low-spin ones. In order to find correlations between the distributions in size and interactions and the transition temperatures distribution, we apply the FORC (First Order Reversal Curves) method, using simulations based on a mechanoelastic model applied to 2D triangular lattices composed of molecules linked by springs and embedded in a surfactant. We consider two Gaussian distributions: one of the size of the nanoparticles and one of the elastic interactions between edge spin-crossover molecules and the surfactant molecules. In order to disentangle the kinetic and non-kinetic parts of the FORC distributions, we compare the results obtained for different temperature sweeping rates. We also show that the presence of few larger particles in a distribution centered around much smaller particles dramatically increases the hysteresis width.

cond-mat.mes-hall↗