Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate properties of the ESA ExoMars Rover in depth. We show here how to enable GEAR’s game-based verification techniques for ASSL via systematic ...

in this paper, the transient inertial viscoelastic flow around a circular cylinder is investigated numerically. a second order finite-volume method is used to increase the numerical accuracy. here, the giesekus model is used as the constitutive equation. this nonlinear model has prominent ability in describing normal stress differences and viscosity in power-law regions. the impacts of the elas...

We performed simultaneous high-fidelity left ventricular pressure and echocardiographic dimension measurements in 30 patients with normal left ventricular function (group 1; n = 6), moderate-tosevere aortic regurgitation (group 2; n = 14) or congestive cardiomyopathy (group 3; n = 10). We determined diastolic stress, strain and strain rate in all 30 patients and fitted the data to a simple elas...

The properties of composite materials including those of biological origin depends very much upon structure. We consider here viscoelastic properties in which the stiffness depends on time or frequency, and microelastic properties in which there is dependence of stress upon spatial gradients of strain. The complex structural hierarchy of composite materials, particularly biological ones, gives ...

The unsteady two-dimensional flow of a viscoelastic second-grade fluid impinging on an infinite plate is considered. The plate is making harmonic oscillations in its own plane. A finite difference technique is employed and solutions for small and large frequencies of the oscillations are obtained. 1. Introduction. In the past two decades, the importance of non-Newtonian viscoelastic liquids hav...

BACKGROUND AND AIMS Nepenthes (Nepenthaceae, approx. 120 species) are carnivorous pitcher plants with a centre of diversity comprising the Philippines, Borneo, Sumatra and Sulawesi. Nepenthes pitchers use three main mechanisms for capturing prey: epicuticular waxes inside the pitcher; a wettable peristome (a collar-shaped structure around the opening); and viscoelastic fluid. Previous studies h...

Rock-like materials are composites that can be regarded as a mixture composed of elastic, plastic, and viscous components. They exhibit viscoelastic-plastic behavior under a high-strain-rate loading according to element model theory. This paper presents an analytical solution for stress wave propagation in viscoelastic-plastic rock-like materials under a high-strain-rate loading and verifies th...

PURPOSE To develop a safe, noninvasive, noncontact, continuous in vivo method to measure the dehydration rate of the precorneal tear film and to compare the effectiveness of a viscoelastic agent in maintaining the precorneal tear film to that of a balanced salt solution. METHODS Software was designed to analyze the corneal reflection produced by the operating microscope's coaxial illumination...

This study develops a three-dimensional viscoelastic model using the finite element method to understand the postseismic deformation that followed the 2011 Tohoku-Oki earthquake. The question of understanding which elements of the viscoelastic media affect the surface deformation is of particular importance. We first examined the individual effects of two different viscoelastic media, the mantl...