The aim of the present work is to analyze the modified mass method for the dynamic Signorini problem with Coulomb friction. We prove that the space semidiscrete problem is equivalent to an upper semi-continuous one-sided Lipschitz differential inclusion and is, therefore, well-posed. We derive an energy balance. Next, considering an implicit time-integration scheme, we prove that, under a certa...

The verification of complex mixed-signal systems is a challenge, especially considering the impact of parameter variations. Besides the established approaches like Monte-Carlo or Corner-Case simulation, a novel semi-symbolic approach emerged in recent years. In this approach, parameter variations and tolerances are maintained as symbolic ranges during numerical simulation runs by using affine a...

An approach for the semi-automated recovery of traceability links between software documentation and source code is presented. The methodology is based on the application of information retrieval techniques to extract and analyze the semantic information from the source code and associated documentation. A semi-automatic process is defined based on the proposed methodology. The paper advocates ...

One-dimensional gas dynamic models are important tools in the design and development of internal combustion engines in the validation stage of a new prototype. These models are defined by nonlinear systems of partial differential equations. Numerous tests are realized in the validation, therefore it is necessary to use efficient numerical methods for solving the nonlinear system. The CE-SE nume...

We deal with blind signal extraction in the framework of a convolutive mixture of independent sources. Considering so-called reference signals, we generalize former identifiability conditions. Based on this result, we propose to incorporate some a priori information in the references. We show the validity of reference based contrast functions in two semi-blind situations. The results are confir...