The application of the indentation method to measure the elastic modulus of particles embedded in a composite is theoretically investigated in this paper by finite element simulation. The Oliver–Pharr method, which is widely used in commercial nanoindentation instruments, is used to probe the elastic modulus of the particle from the simulated indentation curve. The predicted elastic modulus is ...

In the current paper, finite element method is employed for numerical simulations and the study of influential parameters on elastic modulus of polymer-matrix nano-composites. Effects of different key parameters including particle elastic modulus, interphase elastic modulus, matrix elastic modulus, interphase thickness and particle volume fraction on total elastic modulus of nano-composite mate...

An experiment investigating the elastic local buckling response of trough girders composed of thin profiled steel sheeting has been undertaken Beam tests were performed to promote initial local buckling in a region of constant moment in the elastic range of structural response. The results of the experiments were compared with an elastic complex semi-analytical finite strip method of analysis, ...

In this paper, the redundancy resolution methods for elastic joint redundant robots are researched. First, a redundancy resolution method called MD method is proposed by using joint elastic deflection as a performance index. And then, the influence of robots’ initial configuration on this method is discussed. Finally, simulations for a planar 3R redundant robot with elastic joints are conducted...

We find that the media and adventitia of adult human cerebral arteries contain elastic fibers forming a dense, coherent network, similar to that found in muscular arteries of the same size in other organs. The external elastic layer in the adult human is masked for the currently employed staining methods. By treatment with 90% formic acid before fixation, the original staining character of elas...

Verification of multithreaded programs is difficult. It requires reasoning about state spaces that grow exponentially in the number of concurrent threads. Successful verification techniques based on modular composition of over-approximations of thread behaviors have been designed for this task. These techniques have been traditionally described in assume-guarantee style, which does not admit re...