in the present paper, a landslide and its stabilization is studied on a slope of tabriz northern freeway. this landslide is a large scale one, and as the study zone has a sliding potential so that its study is quite necessary. the analysis of landslide has been performed using stabl software. the way of obtaining the critical slope for land slide amongst different sections and determining a suc...

We study the scenario where a transient batch of faults hit a minority of the nodes in a distributed system by corrupting their state. We concentrate on the basic persistent bit problem, where the system is required to maintain a 0/1 value in the face of transient failures by means of replication. We give an algorithm to stabilize the value to a correct state quickly; that is, denoting the unkn...

An algorithm for time division multiple access (TDMA) is found to be applicable in converting existing distributed algorithms into a model that is consistent with sensor networks. Such a TDMA service needs to be self-stabilizing so that in the event of corruption of assigned slots and clock drift, it recovers to states from where TDMA slots are consistent. Previous self-stabilizing solutions fo...

Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing population protocols. Current practice of system analysis is, however, deficient under fairness. In this work, we present PAT, a toolkit for flexible and efficient system analysis under fairness. A unified algorithm i...

A stable autonomous underwater vehicle (AUV) is essential for underwater survey activities. Previous studies have associated poor results in bathymetry survey and side-scan imaging with the vehicle’s unwanted roll motion. The problem is becoming more prominent as AUVs are smaller nowadays. This causes reduction in the metacentric height of the AUVs which affects the inherent self-stabilization ...

liposomes as a drug carrier have numerous dominancy. liophilization is the most propr form of these products for long-term maintenance, but this procedure is affected by unstabilizing agent that results in destruction of membrane, release of content and change in size and microbial contamination hence for prevention of the adverse effects, the protective role of sugars such as: maltose, fructos...

These lectures give a detailed introduction to constructing and analyzing string vacua suitable for phenomenological model building, with particular emphasis on F-theory flux vacua. Topics include (1) general challenges and overview of some proposed scenarios, (2) an extensive introduction to F-theory and its relation to M-theory and perturbative IIB string theory, (3) F-theory flux vacua and m...