Time management under uncertainty is essential to large scale projects. From space exploration industrial production, there a need schedule and perform activities. given complex specifications on timing. In order generate schedules that are robust in the duration of activities, prior work has focused problem framing uses an interval-bounded representation. However, such approaches unable take a...

Determination of the internal stability of reinforced soil walls under earthquake conditions is an important part of seismic design. The horizontal method of slices is used for determining internal stability or for tieback analysis of the reinforced soil wall. A pseudo-dynamic method is adopted in the present analysis, which considers the effect of phase difference in both the shear and primary...

In the presence of selection bias the traditional estimators for pseudo panel data models are inconsistent. This paper discusses a method to achieve consistency in static linear pseudo panels in the presence of selection bias and a testing procedure for sample selection bias. The authors’ approach uses a bias correction term proportional to the inverse Mills ratio with argument equal to the “no...

We present static analyses for probabilistic loops using expectation invariants. Probabilistic loops are imperative while-loops augmented with calls to random value generators. Whereas, traditional program analysis uses Floyd-Hoare style invariants to over-approximate the set of reachable states, our approach synthesizes invariant inequalities involving the expected values of program expression...

The mixed-criticality toolbox promises system architects a powerful framework for consolidating real-time tasks with different safety properties on a single computing platform. Thanks to the research efforts in the mixed-criticality field, guarantees provided to the highest criticality level are well understood. However, lower-criticality job execution depends on the condition that all high-cri...

In difficult soil conditions, engineers sometimes choose to combine reinforced soil and spread footings instead of deep foundations. Among the available techniques for soil reinforcement, vibro stone columns are frequently used to reduce the liquefaction risk, improve the soil properties and improve the overall seismic performance. While there are different models available to evaluate the bear...

This paper integrates analysis of probabilistic cache related pre-emption delays (pCRPD) and static probabilistic timing analysis (SPTA) for multipath programs running on a hardware platform that uses an evict-on-miss random cache replacement policy. The SPTA computes an upper bound on the probabilistic worst-case execution time (pWCET) of the program, which is an exceedance function giving the...

performing a probabilistic study rather than a determinist one is a relatively easy way to quantify the uncertainty in an engineering design. due to the complexity and poor accuracy of the statistical moment methods, the monte carlo simulation (mcs) method is wildly used in an engineering design. in this work, an mcs-based reliability analysis was carried out for the stability of the chain pill...

many old damaged and undamaged building structures do not meet the criteria of modern seismic design codes. such structures need to be seismically enhanced. the main objective of this paper is to propose and validate the effectiveness of an upgrade scheme for non-seismic buildings using steel plate shear walls (spsw). the upgrade is carried out considering a probability-based drift-based criter...