Evaluation of the effectiveness of the interval computation method to simulate the dynamic behavior of subdefinite system: application on an active suspension system

International audienceA new design approach based on methods by intervals adapted to the integration of the simulation step at the earliest stage of preliminary design for dynamic systems is proposed in this study. The main idea consists on using the interval computation method to make a simulation by intervals in order to minimize the number of simulations which allow obtaining a set of solutions instead of a single one. These intervals represent the domains of possible values for the design parameters of the subdefinite system. So the parameterized model of the system is solved by interval. This avoids launching n simulations with n values for each design parameter. The proposed method is evaluated by several tests on a scalable numerical example. It has been applied to solve parameterized differential equations of a Macpher-son suspension system and to study its dynamic behavior in its passive and active form. The dynamic model of the active suspension is nonlinear but linearisable. It is transformed into a parameterized state equation by intervals. The solution to this state equation is given in the form of a matrix exponential. Three digital implementations of exponential have been tested to obtain convergent results. Simulations results are presented and discussed

Frontal Solutions: an Information Technology Transfer to Abstract Mathematics

The paper introduces a method for dependencies discovery during human-machine interaction. It is based on an analysis of numerical data sets in knowledge-poor environments. The driven procedures are independent and they interact on a competitive principle. The research focuses on seven of them. The application is in Number Theory

Dialectical-Ontological Modeling of Primordial Generating Process ↔ Understand λόγος ↔Δ↔Logos & Count Quickly↔Ontological (Cosmic, Structural) Memory

Fundamental Science is undergoing an acute conceptual-paradigmatic crisis of philosophical foundations, manifested as a crisis of understanding, crisis of interpretation and representation, “loss of certainty”, “trouble with physics”, and a methodological crisis. Fundamental Science rested in the "first-beginning", "first-structure", in "cogito ergo sum". The modern crisis is not only a crisis of the philosophical foundations of Fundamental Science, but there is a comprehensive crisis of knowledge, transforming by the beginning of the 21st century into a planetary existential crisis, which has exacerbated the question of the existence of Humanity and life on Earth. Due to the unsolved problem of justification of Mathematics, paradigm problems in Computational mathematics have arisen. It's time to return ↔ Into Dialectics. The solution to the problem of the foundations of Mathematics, and therefore knowledge in general, is the solution to the problem of modeling (constructing) the ontological basis of knowledge - the ontological model of the primordial generating process. The idea and model of the primordial generating process, its ontological structure directs thinking to the need for the introduction of superconcept → ontological (cosmic, structural) memory, concept-attractor, supercategory, substantial semantic core of the scientific picture of the world of the nuclear-ecological-information age. Model of basic Ideality→ “Space-MatterMemory-Time” [S-MM-T]

Virtual validation of an automated greenhouse irrigation model based on a systems engineering approach

In the context of multidisciplinary complex systems design, modelling is a key aspect -- It allows designers to validate designs at early design stages -- Consequently, reducing the uncertainty regarding if the product fulfils the initial requirements, so they can go through the remaining development stages knowing that have found an optimal solution -- In this work, a virtual prototype of an automated greenhouse irrigation system is modelled and compared with the real system implementation, finding some differences and similarities between both system testing approaches -- The intrinsic dependence of experimentation and modelling is also discussed, as sometimes experimental data is needed to feed virtual model

Global Artificial Boundary Conditions for Computation of External Flow Problems with Propulsive Jets

We propose new global artificial boundary conditions (ABC's) for computation of flows with propulsive jets. The algorithm is based on application of the difference potentials method (DPM). Previously, similar boundary conditions have been implemented for calculation of external compressible viscous flows around finite bodies. The proposed modification substantially extends the applicability range of the DPM-based algorithm. In the paper, we present the general formulation of the problem, describe our numerical methodology, and discuss the corresponding computational results. The particular configuration that we analyze is a slender three-dimensional body with boat-tail geometry and supersonic jet exhaust in a subsonic external flow under zero angle of attack. Similarly to the results obtained earlier for the flows around airfoils and wings, current results for the jet flow case corroborate the superiority of the DPM-based ABC's over standard local methodologies from the standpoints of accuracy, overall numerical performance, and robustness

Dialectical-Ontological Modeling of Primordial Generating Process ↔ Understand λόγος ↔Δ↔Logos & Count Quickly↔Ontological (Cosmic, Structural) Memory

Fundamental Science is undergoing an acute conceptual-paradigmatic crisis of philosophical foundations, manifested as a crisis of understanding, crisis of interpretation and representation, “loss of certainty”, “trouble with physics”, and a methodological crisis. Fundamental Science rested in the "first-beginning", "first-structure", in "cogito ergo sum". The modern crisis is not only a crisis of the philosophical foundations of Fundamental Science, but there is a comprehensive crisis of knowledge, transforming by the beginning of the 21st century into a planetary existential crisis, which has exacerbated the question of the existence of Humanity and life on Earth. Due to the unsolved problem of justification of Mathematics, paradigm problems in Computational mathematics have arisen. It's time to return ↔ Into Dialectics. The solution to the problem of the foundations of Mathematics, and therefore knowledge in general, is the solution to the problem of modeling (constructing) the ontological basis of knowledge - the ontological model of the primordial generating process. The idea and model of the primordial generating process, its ontological structure directs thinking to the need for the introduction of superconcept → ontological (cosmic, structural) memory, concept-attractor, supercategory, substantial semantic core of the scientific picture of the world of the nuclear-ecological-information age. Model of basic Ideality→ “Space-MatterMemory-Time” [S-MM-T]

Comparing Fiducial Marker Systems Occlusion Resilience through a Robot Eye

© 2017 IEEE. A fiducial marker is a system of unique planar markers, that are placed in an environment and should be automatically detected with a camera through marker-specific detection procedures. Their application varies greatly, while the most popular are industrial systems, augmented reality, and robot navigation. All these applications imply that a marker system must be robust to such factors as view angles, types of occlusions, distance and light condition variations etc. Our paper compares existing ARTag, AprilTag, and CALTag systems utilizing a high fidelity camera, which is a main vision sensor of a full-size Russian humanoid robot AR-601M. Our experimental comparison verified the three marker systems reliability and detection rate in occlusions of various types and intensities and a preferable for AR-601M robot applications marker system was selected

Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data

Constraint Programming (CP) has proved an effective paradigm to model and solve difficult combinatorial satisfaction and optimisation problems from disparate domains. Many such problems arising from the commercial world are permeated by data uncertainty. Existing CP approaches that accommodate uncertainty are less suited to uncertainty arising due to incomplete and erroneous data, because they do not build reliable models and solutions guaranteed to address the user's genuine problem as she perceives it. Other fields such as reliable computation offer combinations of models and associated methods to handle these types of uncertain data, but lack an expressive framework characterising the resolution methodology independently of the model. We present a unifying framework that extends the CP formalism in both model and solutions, to tackle ill-defined combinatorial problems with incomplete or erroneous data. The certainty closure framework brings together modelling and solving methodologies from different fields into the CP paradigm to provide reliable and efficient approches for uncertain constraint problems. We demonstrate the applicability of the framework on a case study in network diagnosis. We define resolution forms that give generic templates, and their associated operational semantics, to derive practical solution methods for reliable solutions.Comment: Revised versio

Research in Applied Mathematics, Fluid Mechanics and Computer Science

This report summarizes research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, fluid mechanics, and computer science during the period October 1, 1998 through March 31, 1999

Complementarity and related problems

In this thesis, we present results related to complementarity problems. We study the linear complementarity problems on extended second order cones. We convert a linear complementarity problem on an extended second order cone into a mixed complementarity problem on the non-negative orthant. We present algorithms for this problem, and exemplify it by a numerical example. Following this result, we explore the stochastic version of this linear complementarity problem. Finally, we apply complementarity problems on extended second order cones in a portfolio optimisation problem. In this application, we exploit our theoretical results to find an analytical solution to a new portfolio optimisation model. We also study the spherical quasi-convexity of quadratic functions on spherically self-dual convex sets. We start this study by exploring the characterisations and conditions for the spherical positive orthant. We present several conditions characterising the spherical quasi-convexity of quadratic functions. Then we generalise the conditions to the spherical quasi-convexity on spherically self-dual convex sets. In particular, we highlight the case of spherical second order cones