Advances in variational and hemivariational inequalities : theory, numerical analysis, and applications

Highlighting recent advances in variational and hemivariational inequalities with an emphasis on theory, numerical analysis and applications, this volume serves as an indispensable resource to graduate students and researchers interested in the latest results from recognized scholars in this relatively young and rapidly-growing field. Particularly, readers will find that the volume’s results and analysis present valuable insights into the fields of pure and applied mathematics, as well as civil, aeronautical, and mechanical engineering. Researchers and students will find new results on well posedness to stationary and evolutionary inequalities and their rigorous proofs. In addition to results on modeling and abstract problems, the book contains new results on the numerical methods for variational and hemivariational inequalities. Finally, the applications presented illustrate the use of these results in the study of miscellaneous mathematical models which describe the contact between deformable bodies and a foundation. This includes the modelling, the variational and the numerical analysis of the corresponding contact processes. Furthermore, it can be used as supplementary reading material for advanced specialized courses in mathematical modeling for students with a strong background knowledge on nonlinear analysis, numerical analysis, partial differential equations, and mechanics of continua

Hamilton's Principle as Variational Inequality forMechanical Systems with Impact

The classical form of Hamilton's principle holds for conservative systems with perfect bilateral constraints. Several attempts have been made in literature to generalise Hamilton's principle for mechanical systems with perfect unilateral constraints involving impulsive motion. This has led to a number of different variants of Hamilton's principle, some expressed as variational inequalities. Up to now, the connection between these different principles has been missing. The aim of this paper is to put these different principles of Hamilton in a unified framework by using the concept of weak and strong extrema. The difference between weak and strong variations of the motion is explained in detail. Each type of variation leads to a variant of the principle of Hamilton in the form of a variational inequality. The conclusion of the paper is that each type of variation leads to different necessary and sufficient conditions on the impact law. The principle of Hamilton with strong variations is valid for perfect unilateral constraints with a completely elastic impact law, whereas the weak form of Hamilton's principle only requires perfect unilateral constraints and no condition on the energ

Hamilton’s Principle as Variational Inequality for Mechanical Systems with Impact

International audienceThe classical form of Hamilton's principle holds for conservative systems with perfect bilateral constraints. Several attempts have been made in literature to generalise Hamilton's principle for mechanical systems with perfect unilateral constraints involving impulsive motion. This has led to a number of different variants of Hamilton's principle, some expressed as variational inequalities. Up to now, the connection between these different principles has been missing. The aim of this paper is to put these different principles of Hamilton in a unified framework by using the concept of weak and strong extrema. The difference between weak and strong variations of the motion is explained in detail. Each type of variation leads to a variant of the principle of Hamilton in the form of a variational inequality. The conclusion of the paper is that each type of variation leads to different necessary and sufficient conditions on the impact law. The principle of Hamilton with strong variations is valid for perfect unilateral constraints with a completely elastic impact law, whereas the weak form of Hamilton's principle only requires perfect unilateral constraints and no condition on the energy

A vision-based optical character recognition system for real-time identification of tractors in a port container terminal

Automation has been seen as a promising solution to increase the productivity of modern sea port container terminals. The potential of increase in throughput, work efficiency and reduction of labor cost have lured stick holders to strive for the introduction of automation in the overall terminal operation. A specific container handling process that is readily amenable to automation is the deployment and control of gantry cranes in the container yard of a container terminal where typical operations of truck identification, loading and unloading containers, and job management are primarily performed manually in a typical terminal. To facilitate the overall automation of the gantry crane operation, we devised an approach for the real-time identification of tractors through the recognition of the corresponding number plates that are located on top of the tractor cabin. With this crucial piece of information, remote or automated yard operations can then be performed. A machine vision-based system is introduced whereby these number plates are read and identified in real-time while the tractors are operating in the terminal. In this paper, we present the design and implementation of the system and highlight the major difficulties encountered including the recognition of character information printed on the number plates due to poor image integrity. Working solutions are proposed to address these problems which are incorporated in the overall identification system.postprin

Job shop scheduling with artificial immune systems

The job shop scheduling is complex due to the dynamic environment. When the information of the jobs and machines are pre-defined and no unexpected events occur, the job shop is static. However, the real scheduling environment is always dynamic due to the constantly changing information and different uncertainties. This study discusses this complex job shop scheduling environment, and applies the AIS theory and switching strategy that changes the sequencing approach to the dispatching approach by taking into account the system status to solve this problem. AIS is a biological inspired computational paradigm that simulates the mechanisms of the biological immune system. Therefore, AIS presents appealing features of immune system that make AIS unique from other evolutionary intelligent algorithm, such as self-learning, long-lasting memory, cross reactive response, discrimination of self from non-self, fault tolerance, and strong adaptability to the environment. These features of AIS are successfully used in this study to solve the job shop scheduling problem. When the job shop environment is static, sequencing approach based on the clonal selection theory and immune network theory of AIS is applied. This approach achieves great performance, especially for small size problems in terms of computation time. The feature of long-lasting memory is demonstrated to be able to accelerate the convergence rate of the algorithm and reduce the computation time. When some unexpected events occasionally arrive at the job shop and disrupt the static environment, an extended deterministic dendritic cell algorithm (DCA) based on the DCA theory of AIS is proposed to arrange the rescheduling process to balance the efficiency and stability of the system. When the disturbances continuously occur, such as the continuous jobs arrival, the sequencing approach is changed to the dispatching approach that involves the priority dispatching rules (PDRs). The immune network theory of AIS is applied to propose an idiotypic network model of PDRs to arrange the application of various dispatching rules. The experiments show that the proposed network model presents strong adaptability to the dynamic job shop scheduling environment.postprin

Virtual element methods for fourth-order problems : implementation and analysis

In this thesis we aim to create a unified framework for the implementation and analysis of virtual element spaces. The approach we take for the virtual element discretisation allows us to easily construct vector field spaces as well as consider both variable coefficient and nonlinear problems. On top of this, the approach can be integrated more readily into existing finite element software packages. These are significant advantages of the method we present and something that has not been easy to achieve within the original virtual element setting. We exploit these key advantages in this thesis. In particular, we present a straightforward and generic way to define the projection operators, which form a crucial part of the virtual element discretisation, for a wide range of problems. We demonstrate how to build Hm-conforming for m = 1, 2 and nonconforming spaces as well as divergence and curl free spaces. All of which have been implemented in the open source Dune software framework as part of the Dune-Fem module. As a consequence of the projection approach taken in our framework, we are able to carry out a priori error analysis for higher order approximations of the following fourth-order problems: a general linear fourth-order PDE with non-constant coefficients; a singular perturbation problem; and the nonlinear time-dependent Cahn-Hilliard equation. Furthermore, we showcase the versatility of the projection approach with the introduction of a novel nonconforming scheme for the singular perturbation problem. The modified nonconforming method is uniformly convergent with respect to the perturbation parameter and unlike modifications in the literature, does not require an enlargement of the space. Numerical tests are carried out to verify the theoretical results