Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques’ scalability. In this paper we introduce the idea of causality aid in falsification: by providing a falsification solver—that relies on stochastic optimization of a certain cost function—with suitable causal information expressed by a Bayesian network, sear...

In capacity planning for a service operation, analytical models based on queueing theory allow the user to quickly estimate the capacity required and to easily experiment with different system designs or configurations, for a given set of input parameters. An input parameter of the model could be inaccurate or may not be known beyond a good guess. In order to determine if the analysis results (...

in this paper, multi-stage optimum design of composite pressure vessels is presented. the design variables for composite vessels include the head shape, the winding angle, the layer thickness, the number of layers, and the stacking sequence. a parameter called modified shape factor is introduced as an objective function. this parameter takes into account the effects of the internal pressure and...

Recently 304 stainless steel finds many applications like Automotive, Aerospace, Nuclear, Chemical and Cryogenics. The cylindrical grinding parameters on 304 stainless steel are conducted using Taguchi design of experiments of L9 orthogonal array was selected with 3 levels with 3 factors and output parameter of Surface Roughness is measured. The quality of the surface describes the relationship...

The AGDISP Aerial Spray Simulation Model is used to predict the deposition of spray material released from an aircraft. The prediction is based on a well-defined set of input parameter values (e.g., release height, and droplet size) as well as constant data (e.g., aircraft and nozzle type). But, for a given deposition, what are the optimal parameter values? This problem is considered to be a pa...

safety and failure in gas pipelines are very important in gas and petroleum industry. for this reason, it is important to study the effect of different parameters in order to reach the maximum safety in design and application. in this paper, a three dimensional finite element analysis is carried out to study the effect of crack length, crack depth, crack position, internal pressure and pipe thi...