characteristics of efficient roof shape is a part of configuration of efficient architecture which seems to be an ideal in contemporary architecture especially in contemporary architecture of developing countries such as iran. this study is to investigate two roof shapes in view of air flow and indoor-temperature to find efficient roofs shapes for residential buildings in tehran. computational ...

Many female college students in South Corea suffer from postural problems and deformities in their lower extremities. In particular, many females exhibit knee valgus or varus. These problems can arise from a variety of causes, from the use of elevated heels, to years of carrying heavy backpacks, and muscle imbalance. There are many different types of exercises to address these problems, but iso...

We present an AC(logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a foundation for the parallelization of various applications in monitoring, testing, and verification. Linear-time temporal logic (LTL) is the standard specification language to describe properties of reactive computation ...

Aimed at joint state and parameter estimation problems in hypersonic glide vehicle defense, a novel moving horizon algorithm via Carleman linearization is developed this paper. First, the maneuver characteristic parameters that reflect target law are extended into vector, dynamic tracking model applicable to various vehicles constructed. To improve accuracy, constraints such as path change ampl...

We consider a quasi-stationary Stokes interface problem with a reaction term proportional to τ = 1/∆t ≥ 0 as obtained by a time discretization of a time-dependent Stokes problem. The mesh used for space discretization is not aligned with the interface. We use the P1 extended finite element space for the pressure approximation and the standard conforming P2 finite element space for the velocity ...

Stabilized mixed methods can circumvent the restrictive inf-sup condition without introducing penalty errors. For properly chosen stabilization parameters these methods are wellposed for all conforming velocity-pressure pairs. However, their variational forms have widely varying properties. First, stabilization offers a choice between weakly or strongly coercive bilinear forms that give rise to...

We calculate the minimal surface bounded by four-sided figures whose projection on a plane is a rectangle, starting with the bilinear interpolation and using, for smoothness, the Chebyshev polynomial expansion in our discretized numerical algorithm to get closer to satisfying the zero mean curvature condition. We report values for both the bilinear and improved areas, suggesting a quantitative ...