In this paper the damage location in beam like-structure is determined using static and dynamic data obtained using finite volume method. The change of static and dynamic displacement due to damage is used to establish an indicator for determining the damage location. In order to assess the robustness of the proposed method for structural damage detection, three test examples including a static...

In the present article a numerical procedure is developed for dynamic analysis of single and double autofrettage of thick–walled FG cylinders under transient loading. The governing differential equations are discretized and presented in explicit Lagrangian formalism. The explicit transient solution of discrete equations are obtained on the meshed region and results for stress and strain distrib...

The Taguchi method is a useful technique to improve the performance of products or processes at a lower cost and in less time. This procedure can be categorized in the static and dynamic quality characteristics. The optimization of multiple responses has received increasing attention over the last few years in many manufacturing organizations.  Several approaches dealing with multiple static q...

Partial deduction based upon the Lloyd and Shepherdson framework generates a spe-cialised program given a set of atoms. Each such atom represents all its instances. This can severely limit the specialisation potential of partial deduction. We therefore extend the precision the Lloyd and Shepherdson approach by integrating ideas from constraint logic programming. We formally prove correctness of...

Goal of the GRIDS project is to provide a formally based, multi-dimensional software engineering model-and tool-that integrates \partial" models of software processes, system architectures, and views onto the system into one consistent project framework, in order to enhance real-life, large-scale software development. In this paper, we rst introduce the static part of the so-called Three-Dimens...

Opacity is a security property formalizing the absence of secret information leakage and we address in this paper the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability over G, if s/he can never infer from the observation of a run of G that the run belongs to S. We choose to control the observabilit...

Goal of the GRIDS project is to provide a formally based, multi-dimensional software engineering model and tool that integrates \partial" models of software processes, system architectures, and views onto the system into one consistent project framework, in order to enhance real-life, large-scale software development. In this paper, we rst introduce the static part of the so-called Three-Dimens...