In quantitative program analysis, values are assigned to execution traces to represent a quality measure. Such analyses cover important applications, e.g. resource usage. Examining all traces is well known to be intractable and therefore traditional algorithms reason over an over-approximated set. Typically, inaccuracy arises due to inclusion of infeasible paths in this set. Thus path-sensitivi...

We tested the hypothesis that elastic binding of the abdomen (AB) would enhance neuromuscular efficiency of the human diaphragm during exercise. Twelve healthy non-obese men aged 24.8 ± 1.7 years (mean ± SE) completed a symptom-limited constant-load cycle endurance exercise test at 85% of their peak incremental power output with diaphragmatic electromyography (EMGdi) and respiratory pressure me...

Computer simulation of fracture processes remains a challenge for many industrial modelling problems. In a classical finite element method, the non-smooth displacement near the crack tip is captured by refining the mesh locally. The number of degrees of freedom may drastically increase, especially in three dimensional applications. Moreover, the incremental computation of a crack growth needs f...

Due to low stiffness of braces after yielding, the structures with buckling-restrained braces (BRBs) experience high residual drifts during an earthquake, which can be intensified by aftershocks and causes considerable damages to structures. Also, due to poor distribution of stiffness, this problem is exacerbated for irregular structures. Recently, the yielding brace system (YBS) has been intro...

Modeling of crack propagation by a finite element method under mixed mode conditions is of prime importance in the fracture mechanics. This article describes an application of finite element method to the analysis of mixed mode crack growth in linear elastic fracture mechanics. Crack - growth process is simulated by an incremental crack-extension analysis based on the maximum principal stress c...

This paper presents a novel method for online and incremental appearance-based localization and mapping in a highly dynamic environment. Using position-invariant robust features (PIRFs), the method can achieve a high rate of recall with 100% precision. It can handle both strong perceptual aliasing and dynamic changes of places efficiently. Its performance also extends beyond conventional images...

In many distributed computations it is necessary to ensure that the causal order in which events occur (a partial order) conforms to a total order that is derived from a correctness constraint on the computation. For example, the events of a distributed simulation must appear to be processed in simulation-time order. The Time Warp mechanism [Jeflerson 841 uses the notion of global virtual time ...

Due to the dynamic changes of network data over time, static intrusion detection systems cannot adapt well behavioral characteristics input data, resulting in reduced accuracy. In addition, continuous streams will bring huge challenges resource storage and computing costs. Therefore, we propose an method ensemble incremental learning (DEIL-RVM), realize a dynamically adjusted model. which new o...

in this paper, three dimensional (3d) static and dynamic analysis of thick plates based on the meshless local petrov-galerkin (mlpg) is presented. using the kinematics of a three-dimensional continuum, the local weak form of the equilibrium equations is derived. a weak formulation for the set of governing equations is transformed into local integral equations on local sub-domains by using a uni...