Search

New propulsion systems in aircrafts must meet strict regulations and emission limitations. The Flightpath 2050 goals set by the Advisory Council for Aviation Research and Innovation in Europe (ACARE) include reductions of 75%, 90%, and 65% in CO2, NOx, and noise, respectively. These goals are not fully satisfied by marginal improvements in gas turbine technology or aircraft design. A novel control design procedure for the next generation of turbofan engines is proposed in this paper to improve Full Authority Digital Engine Control (FADEC) systems and reduce the emission levels to meet the Flightpath 2050 regulations. Hence, an Adaptive Network–based Fuzzy Inference System (ANFIS), nonlinear autoregressive network with exogenous inputs (NARX) techniques, and the block-structure Hammerstein–Wiener approach are used to develop a model for a turbofan engine. The Min–Max control structure is chosen as the most widely used practical control algorithm for gas turbine aero engines. The objective function is considered to minimize the emission level for the engine in a pre-defined maneuver while keeping the engine performance in different aspects. The Genetic Algorithm (GA) is applied to find the optimized control structure. The results confirm the effectiveness of the proposed approach in emission reduction for the next generation of turbofan engines. [ABSTRACT FROM AUTHOR]

Quantum field theories can be applied to compute various statistical properties of random tensors. In particular, signed distributions of tensor eigenvalues/vectors are the easiest, which can be computed as partition functions of four-fermi theories. Though signed distributions are different from genuine ones because of extra signs of weights, they are expected to coincide in vicinities of ends of distributions. In this paper, we perform a case study of the signed eigenvalue/vector distribution of the real symmetric order-three random tensor. The correct critical point and the correct end in the large N limit are obtained from the four-fermi theory, for which a method using the Schwinger-Dyson equation is very efficient. Since locations of ends are particularly important in applications, such as the largest eigenvalues and the best rank-one tensor approximations, signed distributions are the easiest and highly useful through the Schwinger-Dyson method. [ABSTRACT FROM AUTHOR]

In this paper, we present a new simple method for solving two integral equations of Love's type that have many applications, especially in electrostatic systems. The approach of the solution is based on an innovative technique using matrix algebra for the barycentric Lagrange interpolation. The unknown function is expressed through the product of four matrices. The kernel is interpolated twice, so we get it in the product of five matrices. Additionally, we derive an equivalent linear algebraic system to the solution by substituting the matrix-vector barycentric interpolated unknown function together with the double interpolated kernel into both sides of the integral equation. Thus, there was no need to employ the collocation method. The obtained results converge strongly with the approximate analytical solutions, in addition to being uniformly approximated, continuous, and even, which proves the validity of the solution by the presented method. [ABSTRACT FROM AUTHOR]

Regime-switching models have been heavily studied recently, as they have some clear advantages of over other non-constant volatility model to resolve the so-called smirk effect displayed when constant volatility models are used to price financial derivatives such as options. However, due to the increased model complexity, the associated computational effort usually increases as well, particularly when they are used to price American-style options. In this paper, a novel computational approach based on integral equations is presented. A distinctive feature of our approach, in comparison with other numerical approaches, is that the coupled partial differential equations (PDEs) in a PDE system have been decoupled in the Fourier space, resulting in a completely decoupled integral equation for each economical states, and thus has greatly reduced computational effort. Some examples with preliminary results for a two-state regime-switching model are used to demonstrate our approach. [ABSTRACT FROM AUTHOR]

In this paper, we consider the conical Radon transform on all one-sided circular cones in R 3 with horizontal central axis whose vertices are on a vertical line. We derive an explicit inversion formula for such transform. The inversion makes use of the vertical slice transform on a sphere and V-line transform on a plane. [ABSTRACT FROM AUTHOR]

This paper presents the two-dimensional (2D) steady incompressible flow in a lid-driven sectorial cavity. In order to analyze the flow structures, the 2D Navier-Stokes equations are solved by using the finite element method. Different cases of the cavity aspect ratio A and three cases of the speed ratios $$(S=-1,0,1)$$ of the upper and the lower lids are considered. The finite element formulation for the governing equations is adopted via the velocity-pressure formulation. By varying A for each S, the effect of the Reynolds number on the streamline patterns and their bifurcations are investigated in range $$Re\in [0,200]$$ . A comparison between the obtained results and some earlier studies is presented. [ABSTRACT FROM AUTHOR]

Many electricity market participants have a requirement to calculate the probabilistic risk measures, such as earnings at risk (EaR) and value at risk (VaR), for compliance reporting purposes. This requirement is currently hindered by the lack of analytical representations for forecasts of demand (load) and price curves; this motivates numerical simulation and models that need extensive calibration. In this paper, we derive an analytical representation of a state demand forecast which is the aggregated usage of all electricity consumers in a particular region (such as New South Wales or Victoria). We have used two probabilistic benchmarks from the Australian energy market operator as input, which are expressed as forecasted probability of exceedance.Due to a number of considerations, including asymmetry of these quantiles with respect to the median, we have selected a series of truncated lognormal distributions with two parameters. The procedure of finding these parameters has been reduced to solving (for every half-hour) a single nonlinear equation. As a result, the two-year half-hourly forecast (expected curve) and demand volatility are found by explicit integration with the set of derived distributions. We have also tested an alternative method based on simplifying assumptions; using a nontruncated lognormal distribution, we found that under the test conditions this method produces an identical forward load and volatility curve. [ABSTRACT FROM PUBLISHER]

A multi-scale framework is constructed for the computation of the stiffness tensors of an elastic strain-gradient continuum endowed with an anisotropic microstructure of arbitrarily-shaped particles. The influence of microstructural features on the macroscopic stiffness tensors is demonstrated by comparing the fourth-order, fifth-order and sixth-order stiffness tensors obtained from macro-scale symmetry considerations to the stiffness tensors deduced from homogenizing the elastic response of the granular microstructure. Special attention is paid to systematically relating the particle properties to the probability density function describing their directional distribution, which allows to explicitly connect the level of anisotropy of the particle assembly to local variations in particle stiffness and morphology. The applicability of the multi-scale framework is exemplified by computing the stiffness tensors for various anisotropic granular media composed of equal-sized spheres. The number of independent coefficients of the homogenized stiffness tensors appears to be determined by the number of independent microstructural parameters, which is equal to, or less than, the number of independent stiffness coefficients following from macro-scale symmetry considerations. Since the modelling framework has a general character, it can be applied to different higher-order granular continua and arbitrary types of material anisotropy. [ABSTRACT FROM AUTHOR]

This paper deals with the observability and sensitivity analysis of the lightcurve measurement for use in the estimation of instantaneous pose (orientation) and shape geometry. Since several reflectance models exist that are typically used in obtaining a synthetic lightcurve measurement, they are compared to assess the observability or/and 'sensitivity' to determine the 'best model' for use. These measurement models are nonlinear with implicit and non-trivial dependency on the states; a numerical Jacobian as well as an unscented Kalman filter derived observation matrix are synthesized for each choice of the measurement model and compared. As the linearization is about an attitude (orientation) trajectory, distinct cases are considered to elaborate the results. For the cases evaluated here, it is shown that the attitude and shape/size can indeed be estimated from the lightcurve, but this is also dependent upon the initial conditions (subsequent attitude trajectory). Linear observability analysis of a discretized system is also performed with respect to the attitude states and shape/size parameters using the singular value decomposition of the observability matrix synthesized for a batch of measurements. The results are summarized for various initial conditions of the resident space object's attitude and angular velocity states. [ABSTRACT FROM AUTHOR]

Many problems in science and engineering often require to solve a long sequence of large-scale non-Hermitian linear systems with different right-hand sides (RHSs) but a unique operator. Efficiently solving such problems on extreme-scale platforms requires the minimization of global communications, reduction of synchronization and promotion of asynchronous communications. Unite and Conquer GMRES/LS-ERAM (UCGLE) method (Wu and Petiton, in Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region. ACM, New York, pp 36–46, 10.1145/3149457.3154481, 2018) is a suitable candidate with the reduction of global communications and the synchronization points of all computing units. It consists of three computing algorithms with asynchronous communications that allow the use of approximated eigenvalues to accelerate the convergence of solving linear systems and to improve fault tolerance. In this paper, we extend both the mathematical model and the implementation of UCGLE method to adapt to solve sequences of linear systems. The eigenvalues obtained in solving previous linear systems by UCGLE can be recycled, improved on the fly and applied to construct a new initial guess vector for subsequent linear systems, which can achieve a continuous acceleration to solve linear systems in sequence. Numerical experiments using different test matrices to solve sequences of linear systems on supercomputer Tianhe-2 indicate a substantial decrease in both computation time and iteration steps when the approximated eigenvalues are recycled to generate the initial guess vectors. [ABSTRACT FROM AUTHOR]

In this paper, we describe new hybrid genetic algorithm and particle swarm optimization to solve the sum of earliness and the number of tardy job on two-machines flow shop schedule problem is NP- hard. The study discusses a hybrid genetic algorithm and particle swarm optimization (HGA-PSO) to tackle the presented mission. Extensive experiments, based on computers, suggest that the proposed mathematical models are efficient in solving flow shop problems with GA solved to n = 3000 while PSO solved to n = 500 job. [ABSTRACT FROM AUTHOR]

Aquatic organisms such as copepods exhibit remarkable responses to changes in ambient flows, especially shear gradients, when foraging, mating and escaping. To accomplish these tasks, the sensory system of the organism must decode the local sensory measurements to detect the flow properties. Evidence suggests that organisms sense differences in the hydrodynamic signal rather than absolute values of the ambient flow. In this paper, we develop a mathematical framework for shear flow detection using a bioinspired sensory system that measures only differences in velocity. We show that the sensory system is capable of reconstructing the properties of the ambient shear flow under certain conditions on the flow sensors. We discuss these conditions and provide explicit expressions for processing the sensory measurements and extracting the flow properties. These findings suggest that by combining suitable velocity sensors and physics-based methods for decoding sensory measurements, we obtain a powerful approach for understanding and developing underwater sensory systems. [ABSTRACT FROM AUTHOR]

A new type of the spatio-temporal queries is the Intelligent Probabilistic Collision Detection Query ( IPCDQ for short). In this paper, we focus on efficiently processing the IPCDQ on moving objects with uncertainty. Given two sets O and Q of objects, each of which moves with uncertain speed and direction, a time instant t, and a probability threshold P, the IPCDQ returns each pair of objects ( o, q) (where $$o \in O$$ and $$q \in Q$$ ), whose probability of colliding with each other is greater than or equal to P at time t. The pairs of objects satisfying the IPCDQ are termed the collision-possible pairs (or CPPs for short). We utilize a $$R^{lsd}$$ -tree, in which the spatially proximate objects with similar uncertain speeds and directions are grouped together, to effectively manage the moving objects in O. Similarly, a $$R^{lsd}$$ -tree is used to index the moving objects in Q. Then, with the two $$R^{lsd}$$ -trees for O and Q, respectively, we develop the specialized index traversals combined with three pruning criteria, the location-pruning criterion, the angle-pruning criterion, and the speed-pruning criterion to efficiently determine the objects that may collide with each other. Besides, to provide the more useful information to the user, we propose a probability model to quantify the possibility of each object pair being the query result. Comprehensive experiments demonstrate the efficiency and the effectiveness of the proposed methods. [ABSTRACT FROM AUTHOR]

In this paper we prove asymptotically sharp weighted 'first-and-a-half' $2D$ Korn and Korn-like inequalities with a singular weight occurring from Cartesian to cylindrical change of variables. We prove some Hardy and the so-called 'harmonic function gradient separation' inequalities with the same singular weight. Then we apply the obtained $2D$ inequalities to prove similar inequalities for washers with thickness $h$ subject to vanishing Dirichlet boundary conditions on the inner and outer thin faces of the washer. A washer can be regarded in two ways: As the limit case of a conical shell when the slope goes to zero, or as a very short hollow cylinder. While the optimal Korn constant in the first Korn inequality for a conical shell with thickness $h$ and with a positive slope scales like $h^{1.5}$ , e.g., (Grabovsky and Harutyunyan in , 2016), the optimal Korn constant in the first Korn inequality for a washer scales like $h^{2}$ and depends only on the outer radius of the washer as we show in the present work. The Korn constant in the first and a half inequality scales like $h$ and depends only on $h$ . The optimal Korn constant is realized by a Kirchhoff Ansatz. This results can be applied to calculate the critical buckling load of a washer under in plane loads, e.g., (Antman and Stepanov in J. Elast. 124(2):243-278, 2016). [ABSTRACT FROM AUTHOR]

In the conventional output voltage feedback loop design of an active power factor corrector (PFC), the bandwidth of the loop is limited to a frequency significantly lower than the input line voltage frequency. This is due to the fact that the compensator placed in the outputvoltage feedback loop is usually designed to have a narrow bandwidth in order to filter the voltage ripple of twice the line frequency coming from the PFC output dc voltage. This feedback loop is designed with this filtering effect because a relatively high ripple voltage would cause considerable distortion in the reference of the line current feedback loop. However, a low bandwidth voltage feedback loop would bring poor dynamic response which usually causes large overshoots and dips during load transient change. Therefore, a compromise is generally made for the traditional design of the output voltage feedback loop, which leads to an issue that both the steady and the dynamic behaviours of the PFC are not optimal. In this paper, mathematic model of the steady behaviour of a PFC with voltage ripple in the output-voltage feedback loop is studied using two parameters: the amplitude of the relative voltage ripple on the control output signal and its phase lag angle of the voltage feedback loop. On the basis of the analysis, a second-order voltage harmonic injection to the output-voltage feedback loop is used to eliminate the voltage harmonic components from the voltage feedback loop. Finally, the feasibility of the proposed second-order harmonic injection method was verified by simulation and experimental results. [ABSTRACT FROM AUTHOR]

The benefit of this paper is to find the circular divison of the factor group when r is an odd number, where Q2r is denoted to Quaternion group of order 4r, such that for each positive integer r, there are two generators a and b for Q2r satisfies Q2r = {ah bk, 0 ≤ h ≤ 2r − 1, k = 0, 1} which has the following properties {a2r = b4 = I, barb−1 = a−r}. [ABSTRACT FROM AUTHOR]

Information propagation driven by the epidemic may cause individuals awareness to change their behavior to prevent themselves from being infected, as we observed in reality that aware individuals often migrate away from infected areas. In this work, we study the coupled interaction of epidemic spreading and information propagation over a two-layer metapopulation network, where aware and unaware individuals separately take different migration routes, and mainly explore how individual migration route affects the epidemic spreading. Combined with the transition probability tree of individual states, we use Markovian chain approach to derive the epidemic threshold for the proposed model. Through numerous Monte Carlo simulations, we verify the accuracy of the Markovian equations for the prediction of epidemic dynamics. The results show that the role of information transmission in suppressing the epidemic is limited. Further increase in the information transmission rate beyond some critical value will no longer affect the epidemic. Detailed analysis of information propagation has to consider the migration route of individuals, especially the aware individuals, and their mobility frequency. In addition, the initial population distribution is also a fundamental factor for the epidemic dynamic. With a heterogeneous population distribution, frequent mobility of individuals would delay the epidemic spread, while with the homogeneous population distribution, it does not. The study of the coupled interaction between epidemic and information over separate migration routes provides helpful guidance for the intervention of epidemic in reality. [ABSTRACT FROM AUTHOR]

The objectives in each construction process can be multiple. However, the constructions have to be carried out under some restrictions concerning price and terms. They constitute some strategic and interdependent goals. In other words, “time is money”. Several papers support that seasonal effects influence the execution rate of construction. Thus, most of them try to improve the forecasts by evaluating and joining them to the planning, although always measuring their influence indirectly. In this paper, we suggest a methodology to directly measure the influence of the seasonal factors as a whole over the earned value of construction. Additionally, we apply it to a certain case study regarding the subsidised housing of public promotion in the Castilla-La Mancha region (Spain). It is worth mentioning that our results are clarified: we have calculated the average monthly production for each month a year with respect to the annual monthly mean. Moreover, the differences regarding the average monthly production we have contributed are quite significant, and hence they have to be taken into account for each earned value forecast so that a project becomes reliable.

Electronic cash is an electronic form of currency, which allows the cash transactions over communication networks under privacy protections. However, it still has some aspects that have not been well studied. Known constructions suffer from at least one of the following limitations: (1) relying on a random oracle, (2) not supporting multiple bank setting and users dynamically joining or (3) prohibitively expensive. In this paper, we propose a new electronic cash system that avoids all these limitations. In other words, our system is anonymous against chosen-ciphertext attack (CCA) in the standard model, and supports multiple banks enrolling and users dynamically joining, which is achieved by the utilization of non-interactive zero-knowledge proof and dynamic group signature. Finally, in the standard model, a formal security proof is given to claim that our system has CCA anonymity, unforgeability, traceability and no double-spending. Compared with the existing systems, ours has advantages of both the efficiency and security. [ABSTRACT FROM AUTHOR]

The equations of motion of a bicycle are highly nonlinear and rolling of wheels without slipping can only be expressed by nonholonomic constraint equations. A geometrical theory of general nonholonomic constrained systems on fibered manifolds and their jet prolongations, based on so-called Chetaev-type constraint forces, was proposed and developed in the last decade by O. Krupková (Rossi) in 1990’s. Her approach is suitable for study of all kinds of mechanical systems-without restricting to Lagrangian, time-independent, or regular ones, and is applicable to arbitrary constraints (holonomic, semiholonomic, linear, nonlinear or general nonholonomic). The goal of this paper is to apply Krupková’s geometric theory of nonholonomic mechanical systems to study a concrete problem in nonlinear nonholonomic dynamics, i.e., autonomous bicycle. The dynamical model is preserved in simulations in its original nonlinear form without any simplifying. The results of numerical solutions of constrained equations of motion, derived within the theory, are in good agreement with measurements and thus they open the possibility of direct application of the theory to practical situations. [ABSTRACT FROM AUTHOR]

This article establishes the actual movement mathematical model of CNC machine tools for the precision processing of jewelry. Through analyzing the general geometric error analysis model of CNC machine tools with less than five axes and the method of solving precision CNC instructions, the operating principle of the CNC machine tools is studied. At the same time, we use a transformation matrix to express the relationship between the various moving bodies. The article abstracts the complex motion relationship between entities as the relationship between mathematical matrices. The experimental results show that the theoretical method proposed in this paper can increase the machining accuracy of the machine tool by more than 50%.

An animal is a planar shape formed by attaching congruent regular polygons along their edges. Usually, these polygons are a finite subset of tiles of a regular planar tessellation. These tessellations can be parameterized using the Schläfli symbol { p , q } , where p denotes the number of sides of the regular polygon forming the tessellation and q is the number of edges or tiles meeting at each vertex. If (p - 2) (q - 2) > 4 , = 4 , or < 4 , then the tessellation corresponds to the geometry of the hyperbolic plane, the Euclidean plane, or the sphere, respectively. In 1976, Harary and Harborth studied animals defined on regular tessellations of the Euclidean plane, finding extremal values for their vertices, edges, and tiles, when any one of these parameters is fixed. They named animals attaining these extremal values as extremal animals. Here, we study hyperbolic extremal animals. For each { p , q } corresponding to a hyperbolic tessellation, we exhibit a sequence of spiral animals and prove that they attain the minimum numbers of edges and vertices within the class of animals with n tiles. We also give the first results on enumeration of extremal hyperbolic animals by finding special sequences of extremal animals that are unique extremal animals, in the sense that any animal with the same number of tiles which is distinct up to isometries cannot be extremal. [ABSTRACT FROM AUTHOR]

The general theory of slender structure buckling by Grabovsky and Truskinovsky (Cont. Mech. Thermodyn. 19(3–4):211-243, 2007), (later extended in J. Nonlinear Sci. 26(1):83–119, 2016 by Grabovsky and the author), predicts that the critical buckling load of a thin shell under dead loading is closely related to the Korn's constant (in Korn's first inequality) of the shell under the Dirichlet boundary conditions resulting from the loading program. It is known that under zero Dirichlet boundary conditions on the thin part of the boundary of positive, negative, and zero (one principal curvature vanishing, and one apart from zero) Gaussian curvature shells, the optimal Korn constant in Korn's first inequality scales like the thickness to the power of −1, − 4 / 3 , and − 3 / 2 respectively. In this work we analyse the scaling of the optimal constant in Korn's first inequality for elliptic shells that contain a finite number of points where both principal curvatures vanish. We prove that the presence of at least one such point on the shell leads to the scaling drop from the thickness to the power of −1 to the thickness to the power of − 3 / 2 . To our best knowledge, this is the first result in the direction for constant-sign curvature shells, that do not contain a developable region. In addition, under the assumption that a suitable trivial branch exists, we prove that in fact the buckling deformation of such shells under dead loading, should be localized at the vanishing curvature points, as the shell thickness h goes to zero. [ABSTRACT FROM AUTHOR]

We study the problem of recovering an atomic measure on the unit 2-sphere S 2 given finitely many moments with respect to spherical harmonics. The analysis relies on the formulation of this problem as an optimization problem on the space of bounded Borel measures on S 2 as it was considered by Y. de Castro & F. Gamboa (J. Math. Anal. Appl. 395(1):336–354, 2012) and E. Candés & C. Fernandez-Granda (J. Fourier Anal. Appl. 19(6):1229–1254, 2013). We construct a dual certificate using a kernel given in an explicit form and make a concrete analysis of the interpolation problem. Numerical examples are provided and analyzed. [ABSTRACT FROM AUTHOR]