In this study, a coupled model is developed to address the dynamic response of an offshore pile to linear water waves. In the coupled model, the pile and the seabed are treated as a saturated poro-elastic medium described by Biot’s dynamic theory, while the seawater is considered as a conventional acoustic medium. To establish the coupled model, boundary element formulations for saturated porou...

Data Flow Analysis (DFA for short) is a basic technique to collect statical information on run-time behaviors of programs: it is essential in optimizing compilers and is also used in type inference problems [1]. When performing a DFA, the program to be analysed is modeled by its Control Flow Graph (CFG) and by a set of transformation functions, one for each node in the graph. The set of program...

The bearing capacity of a single pile in granular soil was analyzed piles under vertical loads in the study of the mechanism of shaft fiiction. The effect of the deformation modulus on the bearing capacity of the single pile in granular materials, and especially in sand, was examined. By using the FLAC program for the finite element analysis it was possible to predict quite accurately the load ...

in this paper effect of pile-soil consideration in obtaining seismic response offshore structure is assessed due to earthquake loading. inducedseismic force is one of the most important excitations for the dynamic response of an offshore structure. according to api, seismic forces should be accounted in platform design for seismically active regions in order to determine the allowable seismic r...

Verification of hierarchical plans deals with the problem whether an action sequence is causally consistent and can be obtained by a decomposition goal task. This second sub-problem (finding decomposition) makes verification NP-hard. The task structure very close to parsing tree context-free grammar (CFG). Recently, CFG-parsing algorithm Cocke–Younger–Kasami (CYK) has been modified verify effic...

We present combined-case k-induction, a novel technique for verifying software programs. This technique draws on the strengths of the classical inductive-invariant method and a recent application of k-induction to program verification. In previous work, correctness of programs was established by separately proving a base case and inductive step. We present a new k-induction rule that takes an u...

Data Flow Analysis (DFA for short) is a basic technique to collect statical information on run-time behaviors of programs: it is essential in optimizing compilers and is also used in type inference problems [1]. When performing a DFA, the program to be analyzed is modeled by its Control Flow Graph (CFG) and by a set of transformation functions, one for each node in the graph. The set of program...

MOTIVATION The sequence of artificial genetic constructs is composed of multiple functional fragments, or genetic parts, involved in different molecular steps of gene expression mechanisms. Biologists have deciphered structural rules that the design of genetic constructs needs to follow in order to ensure a successful completion of the gene expression process, but these rules have not been form...

For pile foundations subjected to lateral loads, an analysis method should account for the response of the combined soil-pile system. Current practice for pile-soil interaction analysis usually employs a series of springs to model the lateral behavior of soil-pile interaction. In this method, the force (p) – deformation (y) function, widely known as p-y curve, of the spring characterizes the pi...

The problem of pulse pile-up is very often encountered in precise measurements of γ-rays using germanium detectors. The standard method of treating the pile-up events is to identify and reject them using an appropriate electronic system. Digital acquisition techniques now allow the recording of waveforms of pile-up events that can be analyzed and the contributing single pulses recovered, rather...