Arch dams are generally built in cantilvever monoliths. Vertical contraction joints between monoliths control the stresses due to concrete shrinkage and temperature variations. Past studies in earthquake safety evaluation of the system often show the tensile fracture and local nonlinear deformation of joints. In this paper, some nonlinear joint element constitutive models are presented to exami...

This paper studies a fundamental algorithmic problem related to the design of demand-aware networks: networks whose topologies adjust toward traffic patterns they serve, in an online manner. The goal is strike tradeoff between benefits such adjustments (shorter routes) and their costs (reconfigurations). In particular, we consider designing self-adjusting tree network which serves single-source...

This article studied static deflection, natural frequency and nonlinear vibration of a clamped-clamped microbeam under discontinues electrostatic actuation. The electrostatic actuation was induced by applying AC-DC voltage between the microbeam and electrode plate. In contrast to previous works, it was assumed that length of the electrode plate was smaller than that of the microbeam. In additio...

Three-axis-magnetometers (TAMs) are widely utilized as a key component of attitude determination subsystems and as such are considered the corner stone of navigation for low Earth orbiting (LEO) space systems. Precise geomagnetic-based navigation demands accurate calibration of the magnetometers. In this regard, a complete online calibration process of TAM is developed in the current research t...

We consider push-down automata with data (PDAD) that operate on variables ranging over the set of natural numbers. The conditions on variables are defined via gap-order constraint. Gap-order constraints allow to compare variables for equality, or to check that the gap between the values of two variables exceeds a given natural number. The messages inside the stack are equipped with values that ...

There are various methods for the analysis of the interactional behavior of the surrounding land, using the lining structure which is the most common method of deigning lining structure tools for the static loads by using the hyper static methods. In recent years, there has been a question that depicts whether this method provides the best results in designing the tunnel structure or not.Due to...

The notions of weak and strong unambiguity of augmented push-down automata are considered and related to unambiguities of circuits. In particular we exhibit circuit classes exactly characterizing polynomially time bounded unambiguous augmented push-down automata.

A new definition of Embedded Push-Down Automata is provided. We prove this new definition preserves the equivalence with tree adjoining languages and we provide a tabulation framework to execute any automaton in polynomial time with respect to the length of the input string.