Mathematical and Computational Applications — Open Access Journal

The objective of this research is to develop metaheuristic methods by using the differential evolution (DE) algorithm for solving the U-shaped assembly line balancing problem Type 1 (UALBP-1). The proposed DE algorithm is applied for balancing the lines (manufacturing a single product within a fixed given cycle time), where the aim is to minimize the number of workstations. After establishing the method, the results from previous research studies were compared with the results from this study. For the UALBP, two groups of benchmark problems were used for the experiments: (1) For the medium-sized UALBP (21–45 tasks), it was found that the DE algorithm DE/best/2 to Exponential Crossover 1 produced better solutions when compared to the other metaheuristic methods: it could generate 25 optimal solutions from a total of 25 instances, and the average time used for the calculation was 0.10 seconds/instance; (2) for the large-scale UALBP (75–297 tasks), it was found that the basic DE algorithm and improved differential evolution algorithm generated better solutions, and DE/best/2 to Exponential Crossover 1 generated the optimal solutions and achieved the minimum solution search time when compared to the other metaheuristic methods: it could generate 36 optimal solutions from a total of 62 instances, and the average time used for the calculation was 4.88 seconds/instance. From the comparison of the DE algorithms, it was found that the improved differential evolution algorithm generated optimal solutions with a better solution search time than the search time of the basic differential evolution algorithm. The basic and improved DE algorithm are the effective methods for balancing UALBP-1 when compared to the other metaheuristic methods. Full article

Heat transfer enhancement employing an elliptical tube inside a circular tube to increase the heat transfer rate without increasing in pressure drop is investigated. The flow rate inside the narrow is in the range of Reynolds number 10,000 to 100,000. Commercial software is used to solve the governing equations (continuity, momentum, and energy) by adopting a finite volume method (FVM). The electrical heater is connected around the circular tube to apply uniform heat flux (3000 W/m²) as a boundary condition. The volume concentrations are in the range of 0.25% to 1% with different TiO₂ nanoparticle diameters in the range of 27 nm to 50 nm dispersed in water. The results indicate that the elliptical annulus tube can enhance heat transfer and friction factor by approximately 19% and 6% than the circular tube respectively. Results show that the heat transfer enhancement is significantly increasing as the volume concentrations increase and the nanoparticles size diameter decrease. Full article

In the paper, the dynamic motion of a point ball with a mass of $m$, sliding in a viscous liquid between two concentric spheres under the influence of gravity and viscous and dry resistance, is investigated. In addition, it is considered that the ball starts its motion from some arbitrary point $M_0=M\left({\theta }_0,{\phi }_0\right)$. A system of nonlinear differential equations in a spheroidal coordinate system is obtained for the angular variables $\theta$ and $\phi$ to account for all the forces acting on the ball. The dependence of the reaction force on the angular variables is found, and the solution of the resulting system of equations is numerically analyzed. The projections of the trajectories on the plane $x-y, y-z, x-z$ are found. Full article

The objective of this paper is to complete certain issues from our recent contribution (Calatayud, J.; Cortés, J.-C.; Jornet, M.; Villafuerte, L. Random non-autonomous second order linear differential equations: mean square analytic solutions and their statistical properties. Adv. Differ. Equ.2018, 392, 1–29, doi:10.1186/s13662-018-1848-8). We restate the main theorem therein that deals with the homogeneous case, so that the hypotheses are clearer and also easier to check in applications. Another novelty is that we tackle the non-homogeneous equation with a theorem of existence of mean square analytic solution and a numerical example. We also prove the uniqueness of mean square solution via a habitual Lipschitz condition that extends the classical Picard theorem to mean square calculus. In this manner, the study on general random non-autonomous second order linear differential equations with analytic data processes is completely resolved. Finally, we relate our exposition based on random power series with polynomial chaos expansions and the random differential transform method, the latter being a reformulation of our random Fröbenius method. Full article

Brain dynamics, neuron activity, information transfer in brains, etc., are a vast field where a large number of questions remain unsolved. Nowadays, computer simulation is playing a key role in the study of such an immense variety of problems. In this work, we explored the possibility of studying brain dynamics using cellular automata, more precisely the famous Game of Life (GoL). The model has some important features (i.e., pseudo-criticality, 1/f noise, universal computing), which represent good reasons for its use in brain dynamics modelling. We have also considered that the model maintains sufficient flexibility. For instance, the timestep is arbitrary, as are the spatial dimensions. As first steps in our study, we used the GoL to simulate the evolution of several neurons (i.e., a statistically significant set, typically a million neurons) and their interactions with the surrounding ones, as well as signal transfer in some simple scenarios. The way that signals (or life) propagate across the grid was described, along with a discussion on how this model could be compared with brain dynamics. Further work and variations of the model were also examined. Full article

Contradictory demands are present in the dynamic modeling and analysis of legged locomotion: on the one hand, the high degrees-of-freedom (DoF) descriptive models are geometrically accurate, but the analysis of self-stability and motion pattern generation is extremely challenging; on the other hand, low DoF models of locomotion are thoroughly analyzed in the literature; however, these models do not describe the geometry accurately. We contribute by narrowing the gap between the two modeling approaches. Our goal is to develop a dynamic analysis methodology for the study of self-stable controlled multibody models of legged locomotion. An efficient way of modeling multibody systems is to use geometric constraints among the rigid bodies. It is especially effective when closed kinematic loops are present, such as in the case of walking models, when both legs are in contact with the ground. The mathematical representation of such constrained systems is the differential algebraic equation (DAE). We focus on the mathematical analysis methods of piecewise-smooth dynamic systems and we present their application for constrained multibody models of self-stable locomotion represented by DAE. Our numerical approach is demonstrated on a linear model of hopping and compared with analytically obtained reference results. Full article

In this work we obtain approximate solutions for Fredholm integral equations of the second kind by means of Petrov–Galerkin method, choosing “regular pairs” of subspaces, $\{X_n,Y_n\},$ which are simply characterized by the positive definitiveness of a correlation matrix. This choice guarantees the solvability and numerical stability of the approximation scheme in an easy way, and the selection of orthogonal basis for the subspaces make the calculations quite simple. Afterwards, we explore an interesting phenomenon called “superconvergence”, observed in the 1970s by Sloan: once the approximations $u_n\in X_n$ to the solution of the operator equation $u-Ku=g$ are obtained, the convergence can be notably improved by means of an iteration of the method, $u_n^{*}=g+K{u}_n$. We illustrate both procedures of approximation by means of two numerical examples: one for a continuous kernel, and the other for a weakly singular one. Full article

This work presents a novel solution for magnetic field calculation in two-dimensional problems in which one region is defined with space-varying magnetic parameter. The proposed solution extends the well-established Maxwell–Fourier method for calculating magnetic fields in surface-mounted cylindrical high-speed permanent-magnet machines. This contribution is effective to evaluate more realistic magnetic parameters, where measurements of a high-speed permanent-magnet generator prototype indicate saturation in the retaining sleeve due to pole-to-pole leakage flux. The saturation profile is a function of mechanical angle and can be modeled with the aid of a space-varying relative permeability, expressed in terms of a Fourier series. As an example, the presented solution has been applied to a surface-mounted PM machine at no-load condition. Magnetic field calculations show that a simple saturation profile, with low order space-varying permeability in the retaining sleeve significantly affects the magnetic flux density distribution in the air-gap. The analytical solution is confronted with finite-element method, which confirms validity of the proposed methodology. Full article

This paper describes the scattering matrix approach to obtain the solution to electromagnetic field quantities in harmonic multi-layer models. Using this approach, the boundary conditions are solved in such way that the maximum size of any matrix used during the computations is independent of the number of regions defined in the problem. As a result, the method is more memory efficient than classical methods used to solve the boundary conditions. Because electromagnetic sources can be located inside the regions of a configuration, the scattering matrix formulation is developed to incorporate these sources into the solving process. The method is applied to a 3D electromagnetic configuration for verification. Full article

This work presents the modeling and simulation of a hydraulic network with four nodes and two branches that form a two-level water distribution system. It also proposes a distribution of hydraulic valves that allows emulating a leak using a valve and different network configurations, e.g., simple ducts, closed networks and branched networks. The network is modeled in the steady state considering turbulent flow. Numerical experiments are performed, and the results show that the proposed network is useful for the design of leakage diagnosis and control algorithms in different configurations and leakage scenarios. Full article

In this paper, we apply the notion of bipolar-valued fuzzy set to UP-algebras. We introduce the notions of bipolar fuzzy UP-subalgebras (resp., bipolar fuzzy UP-filters, bipolar fuzzy UP-ideals, and bipolar fuzzy strongly UP-ideals) of UP-algebras and prove their generalizations. We provide a condition for a bipolar fuzzy UP-filter to be a bipolar fuzzy UP-ideal. Further, we discuss the relation between bipolar fuzzy UP-subalgebras (resp., bipolar fuzzy UP-filters, bipolar fuzzy UP-ideals, and bipolar fuzzy strongly UP-ideals) and their level cuts. Full article

A wide variety of human decision-making is based on double-sided or bipolar judgmental thinking on a positive side and a negative side. This paper develops a new method called bipolar fuzzy extended TOPSIS based on entropy weights to address the multi-criteria decision-making problems involving bipolar measurements with positive and negative values. The extended bipolar fuzzy TOPSIS method incorporates the capability of bipolar information into the TOPSIS to address the interactions between criteria and measure the aggregate values on a bipolar scale. In practical problems, this method can be used to measure the benefits and side effects of medical treatments. We also discuss some novel applications of bipolar fuzzy competition graphs in food webs and present certain algorithms to compute the strength of competition between species. Full article

Human factors are intrinsically involved at virtually any level of most industrial/business activities, and may be responsible for several accidents and incidents, if not correctly identified and managed. Focusing on the significance of human behaviour in industry, this article proposes a multi-criteria decision-making (MCDM)-based approach to support organizational risk assessment in industrial environments. The decision-making trial and evaluation laboratory (DEMATEL) method is proposed as a mathematical framework to evaluate mutual relationships within a set of human factors involved in industrial processes, with the aim of highlighting priorities of intervention. A case study related to a manufacturing process of a real-world winery is presented, and the proposed approach is applied to rank human factors resulting from a previous organisational risk evaluation from which suitable inference engines may be developed to better support risk management. Full article

Graphs have powerful representations of all kinds of theoretical or experimental mathematical objects. A technique to measure the distance between graphs has become an important issue. In this article, we show how to define distance functions measuring the distance between graphs with directed edges over a fixed set of named and unnamed vertices, respectively. Furthermore, we show how to implement these distance functions via computational matrix operations. Full article

In this paper, a ternary 4-point rational interpolation subdivision scheme is presented, and the necessary and sufficient conditions of the continuity are analyzed. The generalization incorporates existing schemes as special cases: Hassan–Ivrissimtzis’s scheme, Siddiqi–Rehan’s scheme, and Siddiqi–Ahmad’s scheme. Furthermore, the fractal behavior of the scheme is investigated and analyzed, and the range of the parameter of the fractal curve is the neighborhood of the singular point of the rational scheme. When the fractal curve and surface are reconstructed, it is convenient for the selection of parameter values. Full article

In this paper, we attempt to determine the optimal duration of an anti-epidemic control strategy which targets susceptible people, under the isoperimetric condition that we could not control all individuals of this category due to restricted health resources. We state and prove the local and global stability conditions of free and endemic equilibria of a simple epidemic compartmental model devised in the form of four ordinary differential equations which describe the dynamics of susceptible-controlled-infected-removed populations and where it is taken into account that the controlled people cannot acquire long-lived immunity to move towards the removed compartment due to the temporary effect of the control parameter. Thereafter, we characterize the sought optimal control and we show the effectiveness of this limited control policy along with the research of the optimal duration that is needed to reduce the size of the infected population. The isoperimetric constraint is defined over a fixed horizon, while the objective function is defined over a free horizon present under a quadratic form in the payoff term. The complexity of this optimal control problem requires the execution of three numerical methods all combined together at the same time, namely, the forward–backward sweep method to generate the optimal state and control functions, the secant method adapted to the isoperimetric restriction, and, finally, the fixed point method to obtain the optimal final time. Full article

A complete MAPLE procedure is designed to effectively implement an algorithm for approximating trigonometric functions. The algorithm gives a piecewise polynomial approximation on an arbitrary interval, presenting a special partition that we can get its parts, subintervals with ending points of finite rational numbers, together with corresponding approximate polynomials. The procedure takes a sequence of pairs of interval–polynomial as its output that we can easily exploit in some useful ways. Examples on calculating approximate values of the sine function with arbitrary accuracy for both rational and irrational arguments as well as drawing the graph of the piecewise approximate functions are presented. Moreover, from the approximate integration on $[a,b]$ with integrands of the form $x^{m}sinx$, another MAPLE procedure is proposed to find the desired polynomial estimates in norm for the best $L^2$-approximation of the sine function in the vector space ${\mathcal{P}}_{\ell }$ of polynomials of degree at most ℓ, a subspace of $L^2(a,b)$. Full article

This article presents the homotopy perturbation method (HPM) employed to investigate the effects of inclination on the thermal behavior of a porous fin heat sink. The study aims to review the thermal characterization of heat sink with the inclined porous fin of rectangular geometry. The study establishes that heat sink of an inclined porous fin shows a higher thermal performance compared to a heat sink of equal dimension with a vertical porous fin. In addition, the study also shows that the performance of inclined or tilted fin increases with decrease in length–thickness aspect ratio. The study further reveals that increase in the internal heat generation variable decreases the fin temperature gradient, which invariably decreases the heat transfer of the fin. The obtained results using HPM highlights the accuracy of the present method for the analysis of nonlinear heat transfer problems, as it agrees well with the established results of Runge–Kutta. Full article

In this article, we introduce the concept of graphs associated with commutative UP-algebra, which we say is a UP-graph whose vertices are the elements of commutative UP-algebra and whose edges are the association of two vertices, that is two elements from commutative UP-algebra. We also define a graph of equivalence classes of a commutative UP-algebra and prove some related results based on the algebraic properties of the graph. We show that two graphs are the same and complete bipartite if they are formed by equivalence classes of UP-algebra and the graph folding of commutative UP-algebra. An algorithm for checking whether a given set is a UP-algebra or not has also been given. Full article