Universidad de Malaga
We present well-balanced, high-order, semi-discrete numerical schemes for one-dimensional blood flow models with discontinuous mechanical properties and algebraic source terms representing friction and gravity. While discontinuities in model parameters are handled using the Generalized Hydrostatic Reconstruction, the presence of algebraic source terms implies that steady state solutions cannot always be computed analytically. In fact, steady states are defined by an ordinary differential equation that needs to be integrated numerically. Therefore, we resort on a numerical reconstruction operator to identify and, where appropriate, preserve steady states with an accuracy that depends on the reconstruction operator's numerical scheme. We extend our methods to deal with networks of vessels and show numerical results for single- and multiple-vessel tests, including a network of 118 vessels, demonstrating the capacity of the presented methods to outperform naive discretizations of the equations under study.
The problem of estimating missing fragments of curves from a functional sample has been widely considered in the literature. However, a majority of the reconstruction methods rely on estimating the covariance matrix or the components of its eigendecomposition, a task that may be difficult. In particular, the accuracy of the estimation might be affected by the complexity of the covariance function and the poor availability of complete functional data. We introduce a non-parametric alternative based on a novel concept of depth for partially observed functional data. Our simulations point out that the available methods are unbeatable when the covariance function is stationary, and there is a large proportion of complete data. However, our approach was superior when considering non-stationary covariance functions or when the proportion of complete functions is scarce. Moreover, even in the most severe case of having all the functions incomplete, our method performs well meanwhile the competitors are unable. The methodology is illustrated with two real data sets: the Spanish daily temperatures observed in different weather stations and the age-specific mortality by prefectures in Japan.
In this work a simple but accurate shallow model for bedload sediment transport is proposed. The model is based on applying the moment approach to the Shallow Water Exner model, making it possible to recover the vertical structure of the flow. This approach allows us to obtain a better approximation of the fluid velocity close to the bottom, which is the relevant velocity for the sediment transport. A general Shallow Water Exner moment model allowing for polynomial velocity profiles of arbitrary order is obtained. A regularization ensures hyperbolicity and easy computation of the eigenvalues. The system is solved by means of an adapted IFCP scheme proposed here. The improvement of this IFCP type scheme is based on the approximation of the eigenvalue associated to the sediment transport. Numerical tests are presented which deal with large and short time scales. The proposed model allows to obtain the vertical structure of the fluid, which results in a better description on the bedload transport of the sediment layer.
AT2025ulz is an optical/near-infrared transient discovered during follow-up of the candidate gravitational wave (GW) event S250818k. Its young age (\lesssim1 d), rapid decline and strong color evolution over the first 48 hr classify it as a potential kilonova candidate. In this work, we present the results of our observing campaign, carried out with the Gran Telescopio Canarias (GTC) and the Hubble Space Telescope (HST). Although the early time evolution of AT2025ulz resembles some aspects of a kilonova, its rapid onset (\sim3 hr after the GW trigger) and luminosity (a factor of 5\sim5 brighter than AT2017gfo in gg-band) are difficult to reproduce. Only a small subset of our kilonova models matches its multi-color light curve, and the inferred ejecta mass is uncomfortably large given the low chirp mass ( ⁣0.87 ⁣\lesssim\!0.87\! M_{\odot}) of the GW candidate. HST observations place the transient within a nearby (z=0.08489z=0.08489) spiral galaxy with on-going star-formation and measure a color (F336WF160W ⁣ ⁣1.4F336W-F160W\!\approx\!1.4 mag) that is too blue to match with a kilonova. Our data support the classification of AT2025ulz as a supernova, initially undergoing a shock-cooling phase and later entering its photospheric phase, and spectroscopically identified via its broad absorption features.
In this work a simple but accurate shallow model for bedload sediment transport is proposed. The model is based on applying the moment approach to the Shallow Water Exner model, making it possible to recover the vertical structure of the flow. This approach allows us to obtain a better approximation of the fluid velocity close to the bottom, which is the relevant velocity for the sediment transport. A general Shallow Water Exner moment model allowing for polynomial velocity profiles of arbitrary order is obtained. A regularization ensures hyperbolicity and easy computation of the eigenvalues. The system is solved by means of an adapted IFCP scheme proposed here. The improvement of this IFCP type scheme is based on the approximation of the eigenvalue associated to the sediment transport. Numerical tests are presented which deal with large and short time scales. The proposed model allows to obtain the vertical structure of the fluid, which results in a better description on the bedload transport of the sediment layer.
Algorithm selection wizards are effective and versatile tools that automatically select an optimization algorithm given high-level information about the problem and available computational resources, such as number and type of decision variables, maximal number of evaluations, possibility to parallelize evaluations, etc. State-of-the-art algorithm selection wizards are complex and difficult to improve. We propose in this work the use of automated configuration methods for improving their performance by finding better configurations of the algorithms that compose them. In particular, we use elitist iterated racing (irace) to find CMA configurations for specific artificial benchmarks that replace the hand-crafted CMA configurations currently used in the NGOpt wizard provided by the Nevergrad platform. We discuss in detail the setup of irace for the purpose of generating configurations that work well over the diverse set of problem instances within each benchmark. Our approach improves the performance of the NGOpt wizard, even on benchmark suites that were not part of the tuning by irace.
This paper focuses on the parameterization of the multipath propagation model (MPM) for indoor broadband power line communications (PLC), which up to now has been established in an heuristic way. The MPM model was originally proposed for outdoor channels in the band up to 20 MHz, but its number of parameters becomes extremely large when used to model indoor channel frequency responses (CFR), which are much more frequency-selective than outdoor ones, and the band is extended to 80 MHz. This work proposes a fitting procedure that addresses this problem. It allows determining the model parameters that yield the best fit to each channel of a large database of single-input single-output (SISO) experimental measurements acquired in typical home premises of different European countries. Then, the properties of the MPM parameters are analyzed. The study unveils the relation between the model parameters and the main characteristics of the actual CFR like the frequency selectivity and the average attenuation. It also estimates the probability density function (PDF) of each parameter and proposes a fitting distribution for each of them. Moreover, the relationship among the main parameters of the model is also explored. Provided results can be helpful for the development of MPM-based models for indoor broadband PLC.
The physical layer security (PLS) performance of a wireless communication link through a large reflecting surface (LRS) with phase errors is analyzed. Leveraging recent results that express the \ac{LRS}-based composite channel as an equivalent scalar fading channel, we show that the eavesdropper's link is Rayleigh distributed and independent of the legitimate link. The different scaling laws of the legitimate and eavesdroppers signal-to-noise ratios with the number of reflecting elements, and the reasonably good performance even in the case of coarse phase quantization, show the great potential of LRS-aided communications to enhance PLS in practical wireless set-ups.
Multiple-Input Multiple-Output (MIMO) systems play a crucial role in fifth-generation (5G) mobile communications, primarily achieved through the utilization of precoding matrix techniques. This paper presents precoding techniques employing codebooks in downlink MIMO-5G wireless communications, aiming to enhance network performance to meet the overarching 5G objectives of increased capacity and reduced latency. We conduct a comparative analysis of various precoding techniques outlined by the 5G standard through diverse simulations across different scenarios. These simulations enable us to assess the performance of the different precoding techniques, ultimately revealing the strengths and weaknesses inherent in Type I and Type II codebooks.
This paper presents a novel approach to sound source separation that leverages spatial information obtained during the recording setup. Our method trains a spatial mixing filter using solo passages to capture information about the room impulse response and transducer response at each sensor location. This pre-trained filter is then integrated into a multichannel non-negative matrix factorization (MNMF) scheme to better capture the variances of different sound sources. The recording setup used in our experiments is the typical setup for orchestra recordings, with a main microphone and a close "cardioid" or "supercardioid" microphone for each section of the orchestra. This makes the proposed method applicable to many existing recordings. Experiments on polyphonic ensembles demonstrate the effectiveness of the proposed framework in separating individual sound sources, improving performance compared to conventional MNMF methods.
We study an evolution cross-diffusion problem with mutualistic Lotka-Volterra reaction term to modelize the long-term spatial distribution of labor and capital. The mutualistic behavior is deduced from the gradient flow associated to profits maximization. We perform a linear and weakly nonlinear stability analysis and find conditions under which the uniform optimum of profits becomes unstable, leading to pattern formation. The patterns alternate regions of high and low concentrations of both labor and capital, which may be interpreted as cities. Finally, numerical simulations based on the weakly nonlinear analysis, as well as in a finite element approximation, are provided.
Most methods of voice restoration for patients suffering from aphonia either produce whispered or monotone speech. Apart from intelligibility, this type of speech lacks expressiveness and naturalness due to the absence of pitch (whispered speech) or artificial generation of it (monotone speech). Existing techniques to restore prosodic information typically combine a vocoder, which parameterises the speech signal, with machine learning techniques that predict prosodic information. In contrast, this paper describes an end-to-end neural approach for estimating a fully-voiced speech waveform from whispered alaryngeal speech. By adapting our previous work in speech enhancement with generative adversarial networks, we develop a speaker-dependent model to perform whispered-to-voiced speech conversion. Preliminary qualitative results show effectiveness in re-generating voiced speech, with the creation of realistic pitch contours.
Robotic telescope networks play an important role in capturing early and bright optical afterglows, providing critical insights into the energetics and emission mechanisms of GRBs. In this study, we analyze GRB 230204B, an exceptionally energetic and multi-pulsed long GRB, detected by the Fermi GBM and MAXI detectors, with an isotropic equivalent gamma-ray energy exceeding 1054^{54} erg. Time-resolved spectral analysis reveals a transition in the prompt emission from hard (sub-photospheric dominated) spectra during early pulses to softer (synchrotron radiation dominated) spectra in later pulses, indicative of a hybrid jet composition. We report the discovery and characterization of the optical afterglow using the MASTER and BOOTES robotic telescope networks, alongside long-term radio observations extending to 335 days post-burst with the ATCA. At ~1.3 ks post-burst, the optical luminosity was exceptionally high, surpassing even other bright GRBs, such as GRB 221009A (the ``BOAT"). Multi-wavelength modeling, incorporating data from MASTER, BOOTES, DOT, Swift/XRT, and radio observations, was conducted using an external ISM forward-shock top-hat jet model with afterglowpy. The results reveal a narrow and highly collimated jet with a circumburst density of n0_{0} ~ 28.12 cm3^{-3}, kinetic energy EK_{K} ~ 4.18 x 1055^{55} erg, and a relatively low value of ϵB\epsilon_{B} = 2.14 x 106^{-6}, indicating shock-compression of the magnetic field in the surrounding interstellar medium. We constrained a low radiative efficiency of ~ 4.3 %. This study highlights the indispensable contribution of robotic networks to early afterglow observations and advances our understanding of GRB 230204B unique characteristics and underlying jet physics.
In this paper we further investigate the relationship, reported by Oates et al., 2012, between the optical/UV afterglow luminosity (measured at restframe 200s) and average afterglow decay rate (measured from restframe 200s onwards) of long duration Gamma-ray Bursts (GRBs). We extend the analysis by examining the X-ray light curves, finding a consistent correlation. We therefore explore how the parameters of these correlations relate to the prompt emission phase and, using a Monte Carlo simulation, explore whether these correlations are consistent with predictions of the standard afterglow model. We find significant correlations between: log  LO,200s\rm log\;L_{O,200\rm{s}} and log  LX,200s\rm log\;L_{X,200\rm{s}}; αO,>200s\alpha_{O,>200\rm{s}} and αX,>200s\alpha_{X,>200\rm{s}}, consistent with simulations. The model also predicts relationships between log  Eiso\rm log\;E_{iso} and log  L200s\rm log\;L_{200\rm{s}}, however, while we find such relationships in the observed sample, the slope of the linear regression is shallower than that simulated and inconsistent at 3σ\gtrsim 3\sigma. Simulations also do not agree with correlations observed between log  L200s\rm log\;L_{200\rm{s}} and α>200s\alpha_{>200\rm{s}}, or log  Eiso\rm log\;E_{iso} and α>200s\alpha_{>200\rm{s}}. Overall, these observed correlations are consistent with a common underlying physical mechanism producing GRBs and their afterglows regardless of their detailed temporal behaviour. However, a basic afterglow model has difficulty explaining all the observed correlations. This leads us to briefly discuss alternative more complex models.
Rewriting logic is both a flexible semantic framework within which widely different concurrent systems can be naturally specified and a logical framework in which widely different logics can be specified. Maude programs are exactly rewrite theories. Maude has also a formal environment of verification tools. Symbolic computation is a powerful technique for reasoning about the correctness of concurrent systems and for increasing the power of formal tools. We present several new symbolic features of Maude that enhance formal reasoning about Maude programs and the effectiveness of formal tools. They include: (i) very general unification modulo user-definable equational theories, and (ii) symbolic reachability analysis of concurrent systems using narrowing. The paper does not focus just on symbolic features: it also describes several other new Maude features, including: (iii) Maude's strategy language for controlling rewriting, and (iv) external objects that allow flexible interaction of Maude object-based concurrent systems with the external world. In particular, meta-interpreters are external objects encapsulating Maude interpreters that can interact with many other objects. To make the paper self-contained and give a reasonably complete language overview, we also review the basic Maude features for equational rewriting and rewriting with rules, Maude programming of concurrent object systems, and reflection. Furthermore, we include many examples illustrating all the Maude notions and features described in the paper.
The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by OCL pre- and postconditions. The aim of our approach is to assist the developer in learning about the consequences of the described system states and transitions and about the formal implications of the properties that are explicitly given. We propose to draw conclusions about the stated constraints by translating the UML and OCL model into the algebraic specification language and system Maude, which is based on rewrite logic. We will concentrate in this paper on employing Maude's capabilities for state search. Maude's state search offers the possibility to describe a start configuration of the system and then explore all configurations reachable by rewriting. The search can be adjusted by formulating requirements for the allowed states and the allowed transitions.
This comprehensive study delves into the realm of indoor positioning technologies within the domain of Smart Education (SE). Focusing on typical techniques and technologies in educational settings, the research emphasizes the importance and potential services of localization in SE. Moreover, this work explores the feasibility and limitations of these technologies, providing a detailed account of their role in educational settings. The paper also contains in an innovative Proof of Concept (PoC), demonstrating an automatic attendance control (AAC) system that integrates 5G and WiFi technologies. This PoC effectively showcases the possibilities and effectiveness of location-based services in educational surroundings even with a limited budget, setting the stage for optimizing teaching time, enhancing the quality of education.
The study of the response of magnetic nanoparticles (MNP) assemblies to an external alternating magnetic field is of great interest for applications such as hyperthermia. The key quantity here is the complex susceptibility and its behavior in terms of temperature and frequency. From a theoretical point of view it can be obtained by Monte Carlo (MC) simulation with the time quantified Monte Carlo (TQMC) method if a physical time is associated with the MC step. Here we revisit this method by showing that the time unit can be derived from the MC stochastic process of the isolated particle. We first obtain a MC unit of time from the relaxation of the system at fixed temperature. Then this unit of time is used to compute complex susceptibilities. We show that it is now possible to match the TQMC results with actual experimental results regarding frequency dependent in phase susceptibilities and quantify the unit of time in seconds. Finally we show that the time unit obtained for the isolated particle remains valid when considering interacting particles such as the Heisenberg coupling or dipole dipole interactions.
We characterize the weights for the Stieltjes transform and the Calderón operator to be bounded on the weighted variable Lebesgue spaces Lwp()(0,)L_w^{p(\cdot)}(0,\infty), assuming that the exponent function p()p(\cdot) is log-Hölder continuous at the origin and at infinity. We obtain a single Muckenhoupt-type condition by means of a maximal operator defined with respect to the basis of intervals {(0,b):b>0}\{ (0,b) : b>0\} on (0,)(0,\infty). Our results extend those in \cite{DMRO1} for the constant exponent LpL^p spaces with weights. We also give two applications: the first is a weighted version of Hilbert's inequality on variable Lebesgue spaces, and the second generalizes the results in \cite{SW} for integral operators to the variable exponent setting.
In the popular solution-diffusion picture, the membrane permeability is defined as the product of the partition ratio and the diffusivity of penetrating solutes inside the membrane in the linear response regime, i.e., in equilibrium. However, of practical importance is the penetrants' flux across the membrane driven by external forces. Here, we study nonequilibrium membrane permeation orchestrated by a uniform external driving field using molecular computer simulations and continuum (Smoluchowski) theory in the stationary state. In the simulations, we explicitly resolve the penetrants' transport across a finite monomer-resolved polymer network, addressing one-component penetrant systems and mixtures. We introduce and discuss possible definitions of nonequilibrium, force-dependent permeability, representing `system' and `membrane' permeability. In particular, we present for the first time a definition of the differential permeability response to the force. We demonstrate that the latter turns out to be significantly nonlinear for low-permeable systems, leading to a high amount of selectiveness in permeability, called `permselectivity', and is tunable by the driving force. Our continuum-level analytical solutions exhibit remarkable qualitative agreement with the penetrant- and polymer-resolved simulations, thereby allowing us to characterize the underlying mechanism of permeabilities and steady-state transport beyond the linear response level.
There are no more papers matching your filters at the moment.