Miracle-dz/UniFAR-FTUs huggingface dataset:
Detection and Identification of Sparse Sensor Attacks in Cyber-Physical Systems With Side Information

This article investigates the attack detection and identification problem for cyber-physical systems under sparse sensor attacks. A novel candidate set construction algorithm, where only partial combinations of different channels are checked, is proposed to efficiently generate the candidate set containing all the possible sets of corrupted channels under stealthy attacks. Besides, through introducing a unified attack model that precisely characterizes the attack performance and stealthiness, necessary and sufficient conditions for the existence of undetectable/unidentifiable attacks are proposed. Based on the obtained conditions, a novel attack detection and identification strategy is proposed. Compared with the existing methods focusing only on the measurements, more attacks can be detected/identified through introducing side information and the reliability of detector is enhanced through making full use of the attack performance analysis result. Finally, a numerical simulation is provided to illustrate the correctness and effectiveness of the proposed conditions and methods.
A Charge Loss Aware Advanced Model of Dickson Voltage Multipliers

In this paper an advanced and accurate model of the Dickson Voltage Multiplier (DVM) accounting for charge-loss nonidealities, like reverse and substrate currents of the charge transfer devices, is proposed. Analytical equations for the single current loss and the various metrics are given. In particular, by inspection of the open-circuit output voltage, it is shown that such currents limit the range of the suitable clock frequency, suggesting the introduction of a further switching limit, namely deep slow switching limit, which is not predictable by the well-known models. Gathered results can be fruitfully exploited to improve the design accuracy of the DVMs for low-voltage, low-power applications. Simulation using SPICE and measurement results on silicon prototypes implemented in 130-nm HV-CMOS and a 65-nm standard CMOS technology confirm the accuracy of the proposed model with a maximum error of 5.5%.
Um Estudo Inicial sobre a Importância de Simular Contratos Inteligentes em Blockchain

Com a crescente utilização de sistemas computacionais em diversos setores da sociedade, novas tecnologias surgiram, e com elas vários desafios. Blockchain é uma rede ponto a ponto que armazena uma cadeia de blocos, comparável a um livro público, onde cada parte interessada possui uma cópia idêntica, transparente e imutável. Os contratos inteligentes possibilitam na blockchain acordos dinâmicos e com maior confiança na troca de ativos digitais. Porém, apesar da utilização de contratos inteligentes trazer benefícios, há a necessidade de cuidados em relação a ameaças, como vulnerabilidades e erros na lógica de negócio. O objetivo desta pesquisa é discutir sobre a importância de simular contratos inteligentes em blockchain. Para isso, algumas questões de pesquisa foram projetadas, dados foram obtidos de uma revisão da literatura e algumas categorias de aspectos relacionados à simulação de blockchain foram identificados.
Performance optimization of the active noise control algorithm based on logarithmic function and its application in secondary channel online identification ANC system

In this paper, several methods about the active noise control (ANC) system are studied. The common adaptive recognition system based on the variable step filter x least mean square (FxLMS) algorithm are elaborated. By introducing the momentum term into the variable step algorithm, the value range of the variable step is increased, so as to speed up the convergence of the algorithm and improve the effect of noise reduction. The weight of the control filter based on the improved logarithmic function variable step size least mean square (VSSLMS) algorithm is updated in the improved second channel online recognition algorithm. The initial smooth noise signal, the noise signal of increasing amplitude, and the abrupt noise signal are utilized to verify the convergence speed and the noise reduction effect of the modified ANC method. Numerical results show that the improved algorithm structure could improve the convergence speed and reduce the noises of the whole system at three different primary noises. The initial smooth noise signal, the noise signal of increasing amplitude, and the abrupt noise signal are utilized to verify the convergence speed and the noise reduction effect of the modified ANC method. Numerical results under three different primary noises show that the improved algorithm structure could improve the convergence speed and reduce the noise of the whole system.
On the vanishing topology of isolated
Cohen–Macaulay codimension 2 singularities

Isolated Cohen-Macaulay codimension 2 singularities share many common features with isolated complete intersection singularities, but they also exhibit some striking new behaviour. One such instance was recently observed by Damon and Pike in their study of the vanishing topology and Euler characteristic, where they took this class of singularities as examples. In this article, we explore their findings further by determining the Betti numbers explicitly and explain the new phenomena. An important tool here is the Tjurina modification relating a Cohen-Macaulay codimension 2 singularity to a finite number of complete intersection singularities.
A V-Band Differential Push–Push Frequency Doubler With a Current-Reuse gm-Boosted Buffer

In this letter, a <inline-formula> <tex-math notation="LaTeX">$V$ </tex-math></inline-formula>-band differential push–push frequency doubler with a current-reuse gm-boosted buffer fabricated in a 65-nm bulk complementary metal oxide semiconductor (CMOS) process is presented. A differential hybrid coupler converts balanced input signals into quadrature signals at <inline-formula> <tex-math notation="LaTeX">$f_{0}$ </tex-math></inline-formula>, which are then converted to <inline-formula> <tex-math notation="LaTeX">$2f_{0}$ </tex-math></inline-formula> by subsequent push-push frequency doublers. Given the provision of <inline-formula> <tex-math notation="LaTeX">$2f_{0}$ </tex-math></inline-formula> at the differential outputs, the output power is doubled. The doubler is also designed to provide a high gain at <inline-formula> <tex-math notation="LaTeX">$2f_{0}$ </tex-math></inline-formula> via a current-reuse gm-boosting buffer through cross-coupled capacitors. It achieves a 3-dB bandwidth from 56.2 to 64.8 GHz. The maximum conversion gain (CG) and output power are 9.1 dB and 5.6 dBm, respectively, at an input frequency of 30 GHz. The chip area including the pads is 0.62 mm2 and the measured overall power consumption is 35.6 mW.
A DISTRIBUTION ON TRIPLES WITH MAXIMUM ENTROPY MARGINAL

We construct an $S_{3}$ -symmetric probability distribution on $\{(a,b,c)\in \mathbb{Z}_{{\geqslant}0}^{3}\,:\,a+b+c=n\}$ such that its marginal achieves the maximum entropy among all probability distributions on $\{0,1,\ldots ,n\}$ with mean $n/3$ . Existence of such a distribution verifies a conjecture of Kleinberg et al. [‘The growth rate of tri-colored sum-free sets’, Discrete Anal. (2018), Paper No. 12, arXiv:1607.00047v1], which is motivated by the study of sum-free sets.
$H^\infty$ functional calculus and maximal inequalities for semigroups of contractions on vector-valued $L_p$-spaces

Let $\{T_t\}_{t>0}$ be a strongly continuous semigroup of positive contractions on $L_p(X,\mu)$ with $1<p<\infty$. Let $E$ be a UMD Banach lattice of measurable functions on another measure space $(\Omega,\nu)$. For $f\in L_p(X; E)$ define $$\mathcal M(f)(x, \omega)=\sup_{t>0}\frac1t\Big|\int_0^tT_s(f(\cdot,\omega))(x)ds\Big|,\quad (x,\omega)\in X\times\Omega. $$ Then the following maximal ergodic inequality holds $$\big\|\mathcal M(f)\big\|_{L_p(X; E)}\lesssim \big\|f\big\|_{L_p(X; E)},\quad f\in L_p(X; E). $$ If the semigroup $\{T_t\}_{t>0}$ is additionally assumed to be analytic, then $\{T_t\}_{t>0}$ extends to an analytic semigroup on $L_p(X; E)$ and $\mathcal M(f)$ in the above inequality can be replaced by the following sectorial maximal function $$\mathcal T_\theta(f)(x, \omega)=\sup_{|{\rm arg}(z)| 0$. Under the latter analyticity assumption and if $E$ is a complex interpolation space between a Hilbert space and a UMD Banach space, then $\{T_t\}_{t>0}$ extends to an analytic semigroup on $L_p(X; E)$ and its negative generator has a bounded $H^\infty(\Sigma_\sigma)$ calculus for some $\sigma<\pi/2$.
Diffusive limit and Fourier's law for the discrete Schroedinger equation

We consider the one-dimensional discrete linear Schrodinger (DLS) equation perturbed by a conservative stochastic dynamics, that changes the phase of each particles, conserving the total norm (or number of particles). The resulting total dynamics is a degenerate hypoelliptic diffusion with a smooth stationary state. We will show that the system has a hydrodynamical limit given by the solution of the heat equation. When it is coupled at the boundaries to two Langevin thermostats at two different chemical potentials, we prove that the stationary state, in the limit as N ! 1, satisfies the Fourier's law.
A review of residual stress effects on fatigue properties of friction stir welds

Abstract Friction stir welding (FSW) is now widely used in industrial manufacturing fields to join metal materials. Although it avoids solidification cracking, the combination of thermal excursion and plastic deformation introduces significant residual stresses. These residual stresses will combine with the applied stresses in service to cause unexpected failure. Therefore, a detailed knowledge of the residual stress effects on fatigue characteristics of FSWs is required. In this review, the experimental, theoretical and numerical studies of residual stress effects on fatigue characteristics of FSWs are summarized, including fatigue crack initiation, fatigue crack growth, stress-life and residual stress relaxation. The applications of residual stress modification techniques for fatigue improvement in FSWs are also presented.
Kalman smoothing and block tridiagonal systems: new connections and numerical stability results

The Rauch-Tung-Striebel (RTS) and the Mayne-Fraser (MF) algorithms are two of the most popular smoothing schemes to reconstruct the state of a dynamic linear system from measurements collected on a fixed interval. Another (less popular) approach is the Mayne (M) algorithm introduced in his original paper under the name of Algorithm A. In this paper, we analyze these three smoothers from an optimization and algebraic perspective, revealing new insights on their numerical stability properties. In doing this, we re-interpret classic recursions as matrix decomposition methods for block tridiagonal matrices. First, we show that the classic RTS smoother is an implementation of the forward block tridiagonal (FBT) algorithm (also known as Thomas algorithm) for particular block tridiagonal systems. We study the numerical stability properties of this scheme, connecting the condition number of the full system to properties of the individual blocks encountered during standard recursion. Second, we study the M smoother, and prove it is equivalent to a backward block tridiagonal (BBT) algorithm with a stronger stability guarantee than RTS. Third, we illustrate how the MF smoother solves a block tridiagonal system, and prove that it has the same numerical stability properties of RTS (but not those of M). Finally, we present a new hybrid RTS/M (FBT/BBT) smoothing scheme, which is faster than MF, and has the same numerical stability guarantees of RTS and MF.
Online Analog Fountain Codes

Analog fountain codes (AFC) are a class of near-capacity rateless codes which have a great potential for meeting the requirements of ultra-reliable low latency communication. In this letter, an online feedback scheme is introduced to enhance error performance and achievable rate of AFC. The retransmission messages are chosen according to Euclidean distance between AFC codewords. Our simulation results show that the proposed online AFC can improve achievable rate up to 0.49 bits/symbols at 25 dB, and reduce block error rate by more than one order of magnitude.
Infinite Random Matrices and Ergodic decomposition of Finite or Infinite Hua-Pickrell measures

The ergodic decomposition of a family of Hua-Pickrell measures on the space of infinite Hermitian matrices is studied. Firstly, we show that the ergodic components of Hua-Pickrell probability measures have no Gaussian factors, this extends a result of Alexei Borodin and Grigori Olshanski. Secondly, we show that the sequence of asymptotic eigenvalues of Hua-Pickrell random matrices is balanced in certain sense and has a "principal value" coincides with the $\gamma_1$ parameter of ergodic components. This allow us to complete the program of Borodin and Olshanski on the description of the ergodic decomposition of Hua-Pickrell probability measures. Finally, we extend the aforesaid results to the case of infinite Hua-Pickrell measues. By using the theory of $\sigma$-finite infinite determinantal measures recently introduced by A. I. Bufetov, we are able to identify the ergodic decomposition of Hua-Pickrell infinite measures to some explicit $\sigma$-finite determinantal measures on the space of point configurations in $\mathbb{R}^*$. The paper resolves a problem of Borodin and Olshanski.
Percolation Effects in Mixed Matrix Membranes with Embedded Carbon Nanotubes

Polymeric membranes with embedded nanoparticles, e.g., nanotubes, show a significant increase in permeability of the target component while maintaining selectivity. However, the question of the reasons for this behavior of the composite membrane has not been unequivocally answered to date. In the present work, based on experimental data on the permeability of polymer membranes based on Poly(vinyl trimethylsilane) (PVTMS) with embedded CNTs, an approach to explain the abnormal behavior of such composite membranes is proposed. The presented model considered the mass transfer of gases and liquids through polymeric membranes with embedded CNTs as a parallel transport of gases through the polymeric matrix and a “percolation” cluster—bound regions around the embedded CNTs. The proposed algorithm for modeling parameters of a percolation cluster of embedded tubular particles takes into account an agglomeration and makes it possible to describe the threshold increase and subsequent decrease permeability with increasing concentration of embedded particles. The numerical simulation of such structures showed: an increase in the particle length leads to a decrease in the percolation concentration in a matrix of finite size, the power of the percolation cluster decreases significantly, but the combination of these effects leads to a decrease in the influence of the introduced particles on the properties of the matrix in the vicinity of the percolation threshold; an increase in the concentration of embedded particles leads to an increase in the probability of the formation of agglomerates and the characteristic size of the elements that make up the percolation cluster, the influence of individual particles decreases and the characteristics of the percolation transition determine the ratio of the sizes of agglomerates and matrix; and an increase in the lateral linear dimensions of the matrix leads to a nonlinear decrease in the proportion of the matrix, which is affected by the introduced particles, and the transport characteristics of such MMMs deteriorate.
Coupling Mode Transformation-Based Dielectric Surface and Metasurface for Antenna Decoupler

In this communication, a novel hybrid decoupler is proposed to reduce mutual coupling for an extremely compact wideband stacked patch multiple-input–multiple-output (MIMO) array antenna. The hybrid decoupler consists of a dielectric surface and a metasurface. By using a well-designed dielectric surface, the mode of mutual coupling current on the unexcited antenna can become orthogonal to its polarization mode. Moreover, the electrical distance of coupling wave propagation between two elements is prolonged. Antenna decoupling is naturally achieved. Then, the metasurface, which can reject coupling wave propagation, is a complementary method to further improve isolation. Dielectric rod array is designed by partially hollowing the dielectric surface, which can realize optimized dielectric constant of the slab and better combine two decoupling methods. A broadband stacked patch array antenna is chosen as a demonstration to prove that this idea can achieve wide isolation improved bandwidth, as well as high isolation improved degree. Measured results reveal that isolation enhancement ranges from 6 to 21 dB in the frequency band from 1.83 to 2.17 GHz.
Redox-active clearance of Highly Glycated RBCs: A new Frontier for the Treatment of Diabetic Vasculopathies

Objective On the global scale, 24-54% of the diabetic patients do not reach Quality Assurance (QA) target hemoglobin A1c (HbA1c) values, despite Standard of Care (SOC) treatment with glucose-lowering drugs. An alternative approach to lower highly glycated Red Blood Cells (RBCs) directly is needed to reduce the risk for development of diabetic vascular complications. HbA1c > 7.0% (53.0 mmol/mol) is associated with increasing incidence of vascular pathologies and inflammation. We tested an alternative approach to avoid pathological effects of excess glycation via direct redox-active clearance of highly glycated Red Blood Cells (RBCs) with the objective to rapidly terminate the trigger of endothelial damage and thereby to reduce the risk for development/ progression of diabetic vascular complications. We report results from a controlled clinical trial in 20 patients with high HbA1c, elevated Neutrophil-Lymphocyte Ratio (NLR) values and diabetic foot ulcer (DFU), using the chlorite-based drug WF10. HbA1c was observed, with 83% of the patients achieving HbA1c ≤ 7.0% (53.0 mmol/ mol), versus 25% in the SOC group. Lowering HbA1c to Fasting Blood Sugar- (FBS-) ratios and changes in hematological markers indicate a removal of highly glycated, pre-hemolytic RBCs by the drug. In patients with peripheral artery disease (PAD), mean Ankle Branchial Index- (ABI-) values improved from 0.83 to 1.01. The median
Applications of noncommutative deformations

For a general class of contractions of a variety X to a base Y, I discuss recent joint work with M. Wemyss defining a noncommutative enhancement of the locus in Y over which the contraction is not an isomorphism, along with applications to the derived symmetries of X. This note is based on a talk given at the Kinosaki Symposium in 2016.
Generators of the quantum finite W-algebras in type A

We prove a conjecture proposed in [A. De Sole, V. G. Kac and D. Valeri, Finite [Formula: see text]-algebras for [Formula: see text], Adv. Math. 327 (2018) 173–224. ] describing the Lax type operator [Formula: see text] for the quantum finite [Formula: see text]-algebras of [Formula: see text] in terms of a PBW generating system for the [Formula: see text]-algebra. In doing so, we extend this result to an arbitrary good grading and an arbitrary isotropic subspace of [Formula: see text].
Estimating 3D Signals with Kalman Filter

In this paper, the standard Kalman filter was implemented to denoise the three dimensional signals affected by additive white Gaussian noise (AWGN), we used fast algorithm based on Laplacian operator to measure the noise variance and a fast median filter to predict the state variable. The Kalman algorithm is modeled by adjusting its parameters for better performance in both filtering and in reducing the computational load while conserving the information contained in the signal
A Data-Driven Spatio-Temporal Speed Prediction Framework for Energy Management of Connected Vehicles

We present an integrated spatio-temporal framework for multi-range traction power and speed prediction for connected vehicles (CVs). It combines data-driven and model-based strategies to enable CVs energy efficiency optimization. The proposed framework focuses on urban arterial corridors with signalized intersections, and leverages the historical and real-time data collected from CVs and infrastructure to predict location-specific traction loads (e.g. acceleration at intersections), and augment them with time-specific speed profiles (e.g., stop duration at intersections). A Bayesian network is developed to provide a long-term load prediction informed by probabilistic analysis of historical traffic data at intersections and between intersections. Moreover, a shockwave profile model is adopted for modeling the queuing process at intersections by leveraging vehicle-to-infrastructure (V2I) communications, providing a short-range prediction of the vehicle speed with an enhanced accuracy. The benefits of the proposed load prediction framework are demonstrated for energy management of connected hybrid electric vehicles (C-HEVs). By incorporating the predicted loads into a multi-horizon model predictive controller (MPC), integrated power and thermal management of light-duty C-HEVs is enabled over real-world driving cycles, demonstrating a near globally-optimal fuel consumption over the entire trip with a < 1% deviation from dynamic programming (DP) results.
QSR-Dissipativity and Passivity Analysis of Event-Triggered Networked Control Cyber-Physical Systems

Input feed-forward output feedback passive (IF-OFP) systems define a great number of dynamical systems. In this report, we show that dissipativity and passivity-based control combined with event-triggered networked control systems (NCS) provide a powerful platform for the design of cyber-physical systems (CPS). We propose QSR-dissipativity, passivity and L2 stability conditions for an event-triggered networked control system in three cases where: (i) an input-output event-triggering sampler condition is located on the plant's output side, (ii) an input-output event-triggering sampler condition is located on controller's output side, (iii) input-output event-triggering sampler conditions are located on the outputs of both the plant and controller. We will show that this leads to a large decrease in communicational load amongst sub-units in networked control structures. We show that passivity and stability conditions depend on passivity levels for the plant and controller. Our results also illustrate the trade-off among passivity levels, stability, and system's dependence on the rate of communication between the plant and controller.
Tabersonine Inhibits the Lipopolysaccharide-Induced Neuroinflammatory Response in BV2 Microglia Cells via the NF-κB Signaling Pathway

The occurrence and development of neurodegenerative diseases is related to a variety of physiological and pathological changes. Neuroinflammation is one of the major factors that induces and aggravates neurodegenerative diseases. The most important manifestation of neuroinflammation is the activation of microglia. Therefore, inhibiting the abnormal activation of microglia is an important way to alleviate the occurrence of neuroinflammatory diseases. In this research, the inhibitory effect of tabersonine (Tab) on neuroinflammation was evaluated by establishing the BV2 neuroinflammation model induced by lipopolysaccharide (LPS). It was found that Tab significantly inhibited the production and expression of nitric oxide (NO), interleukin-1β (IL-1β), tumor necrosis factor-α (TNF-α), interleukin-6 (IL-6), and reactive oxygen species (ROS) in BV-2 cells stimulated by LPS. In addition, Tab can also inhibit the activation of nuclear factor-κB (NF-κB) induced by LPS, thus regulating inflammatory mediators such as inducible nitric oxide synthase (iNOS). These results indicated that Tab regulated the release of inflammatory mediators such as NO, IL-1β, TNF-α, and IL-6 by inhibiting NF-κB signaling pathway, and exerting its anti-neuroinflammatory effect. This is the first report regarding the inhibition on LPS-induced neuroinflammation in BV2 microglia cells of Tab, which indicated the drug development potential of Tab for the treatment of neurodegenerative diseases.