The use of composite laminates for advanced structural applications has increased recently, due in part to their ability tailoring material properties meet specific requirements. In this regard, variable stiffness (VS) designs have potential improved performance over constant designs, made possible by fibre placement technologies which permit steering the path achieve in-plane orientation. Howe...

The constitutive characterization of the uniformity and homogeneity binary elastic composites is presented in terms a combination material groupoids individual constituents. incorporation these two within single double groupoid proposed as viable mathematical framework for unified formulation this similar kinds problems continuum mechanics.

background: every year many organizations formulate a code of ethics (coe) but when it comes to implementing, it does not achieve the desired purposes. ineffectiveness of coes can stem from different factors and surely, one of them is bad formulation. this research was conducted to identify the barriers to effective formulation of coes in one of the main state universities of medical sciences i...

Abstract-An Eulerian finite element formulation is presented for problems of large elastic-plastic flow. The method is based on Hill’s variational principle for incremental deformations, and is ideally suited to isotropically hardening Prandtl-Reuss materials. Further, the formulation is given in a manner which allows any conventions finite element program, for “small strain” elastic-plastic an...

Techniques for the efficient successive under-approximation of the greatest fixpoint in TCTL formulas can be useful in fast refutation of inevitability properties and vacuity checking. We first give an integrated algorithmic framework for both under and over-approximate model-checking. We design the NZF (Non-Zeno Fairness) predicate, with a greatest fixpoint formulation, as a unified framework ...