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 this research, the bending analysis of rectangular nanoplates subjected to mechanical loading is investigated. for this purpose, the strain gradient elasticity theory with one gradient parameter is presented to study the nanoplates. from the best knowledge of authors, it is the first time that the exponential shear deformation formulation based on strain gradient elasticity theory is carried...

the behavior of earth dams has particular complexities against dynamic forces and its assessment requiresdetailed and scientific analysis. the farrokhi earth dam is a heterogeneous type with vertical clay core, built 150 km away from birjand and 41 km away from qaen on the farrokhi river. there are concernsregarding the stability of this dam in the event of a future severe earthquake especially...

this paper presents a comprehensive case study on electro-mechanical analysis of mems[1] variable capacitors. using the fundamental mechanical and electrical equations, static and dynamic behaviors of the device are studied. the analysis is done for three different modes, namely: dc (static mode), small signal ac and large signal regime. a complete set of equations defining dynamic behavior of ...

The proposed approach for the statistical static timing analysis (SSTA) problem of latch-based sequential circuits under process variations was investigated. The proposed statistical positive cycle detection algorithm is developed in Section 2. Practical implementation considerations are presented in Section 3. Experimental results are shown in Section 4. Based on the current progress, the futu...

There are a lot of static code analysis tools to automatically find program errors. Traditional techniques usually involve formal methods and complicated computations, and thus suffer from poor extendibility and performance. FindBugs was developed to address these issues. The system is based on the concept of bug patterns, which are claimed to be easy to implement and effective to discover real...

In statistical methods, such as statistical static timing analysis, Gaussian mixture model (GMM) is a useful tool for representing a non-Gaussian distribution and handling correlation easily. In order to repeat various statistical operations such as summation and maximum for GMMs efficiently, the number of components should be restricted around two. In this paper, we propose a method for reduci...

We present an extension of Astrée to concurrent C software. Astrée is a sound static analyzer for run-time errors previously limited to sequential C software. Our extension employs a scalable abstraction which covers all possible thread interleavings, and soundly reports all run-time errors and data races: when the analyzer does not report any alarm, the program is proven free from those classe...