After surveying existing tools, we have decided to work on existing compiler backend ‘opt’, which obtained from Dr. Mueller. Originally it works for Sparc ISA. It has the functionalities of constructing control flow graph (CFG) and detecting loops from CFG. Also the program is scalable to add or remove existing analysis and optimization paths. We modified ‘opt’ so that it only enables CFG const...

Bug localization plays an important role in software maintenance. Traditional works treat the source code from lexical perspective, while some recent researches indicate that exploiting program structure is beneficial for improving bug localization. Control flow graph (CFG) a widely used representation, which essentially represents structure. Although using neural network feature learning strai...

This paper proposes an alternative mechanism of pile failure in liquefiable deposits during earthquakes. This failure mechanism, based on pile buckling, is formulated by back-analysing 14 case histories of pile foundation performance during earthquakes and verified using dynamic centrifuge tests. A new parameter, the slenderness ratio of a pile, is introduced to classify pile performance in liq...

Many factors such as production methods and structural parameters have distinctive influence on the quality and performance of a hand woven carpet. To investigate the effects of some variables, eighteen samples of carpet vary, in knot density, pile height and percentage of slipe wool, were manufactured. Pile yarn performance was assessed by using load-displacement compression curve, obtained fr...

In this study, a simplified computational model of pile vertical vibration was developed. The model was based on the inhomogeneous radial disturbed zone of soil in the vicinity of a pile disturbed by pile driving. The model contained two regions: the disturbed zone, which was located in the immediate vicinity of the pile, and the undisturbed region, external to the disturbed zone. In the model,...

The isolation of the vibration due to a harmonic vertical load using pile rows embedded in a saturated poroelastic half-space is investigated in this study. Using the fundamental solution for a circular patch load and Muki’s method, the second kind of Fredholm integral equations describing the dynamical interaction between the pile rows and the saturated poroelastic half-space are obtained. Num...

Parikh’s theorem states that every Context Free Language (CFL) has the same Parikh image as that of a regular language. A finite state automaton accepting such a regular language is called a Parikh-equivalent automaton. In the worst case, the number of states in any non-deterministic Parikh-equivalent automaton is exponentially large in the size of the Context Free Grammar (CFG). We associate a...

in soft soil areas, equal-length piles are often adopted in the retaining system. a decrease in the bending moment value borne by the retaining structure along the pile depth (below the excavation bottom), leads to an inadequate use of the pile bending capacity near the pile bottom. this paper presents retaining systems with long and short pile combinations, in which the long piles ensure integ...

Large cage and field studies were conducted to determine the efficacy of various models of propane-powered mosquito traps. These traps utilized counterflow technology in conjunction with catalytic combustion to produce attractants (carbon dioxide, water vapor, and heat) and a thermoelectric generator that converted excess heat into electricity for stand-alone operation. The cage studies showed ...