solving a large sparse set of linear equations is of the problems widely seen in every numerical investigation in the entire range of engineering disciplines. employing a finite element approach in solving partial derivative equations, the resulting stiffness matrices would contain many zero-valued elements. moreover, storing all these sparse matrices in a computer memory would slower the compu...

Combining differing solution approaches by means of solver portfolios has proven as a highly effective technique for boosting solver performance. We consider the problem of generating parallel SAT solver portfolios. Our approach is based on a recently introduced sequential SAT solver portfolio that excelled at the last SAT competition. We show how the approach can be generalized for the paralle...

The logic of quantified Boolean formulae (QBF) extends propositional logic with universal quantification over propositional variables. The presence of universal quantifiers in QBF does not add expressiveness, but often allows for more compact encodings of problems. From a theoretical point of view, the decision problems of propositional logic (SAT) and QBF are NP-complete and PSPACE-complete, r...

The adjoint method is a very promising gradient-based optimisation framework for computational fluid dynamics (CFD), because of its independence the computation cost from number design variables. With aim improving robustness continuous topology optimization, this paper presents direct variable update. Based on intrinsic feature straightforward update explicitly controls target volume, precludi...

A numerical dynamic-aerodynamic interface for simulating the separation dy­n­a­m­ic­s of co­n­­s­t­r­a­i­ned strap-on boosters jettisoned in the atmosphere is presented. A 6-DOF multi body dynamic solver ،using Constraint For­ce Equation Methodology is coupled with a numerical time dependent Euler flow solver. An automatic dyna­m­i­­c mesh updating proc­e­d­ure is employed using smoothing and l...

An unsteady two-dimensional finite-volume solver was developed based on Van Leer’s flux splitting algorithm in conjunction with “Monotonic Upstream Scheme for Conservation Laws (MUSCL)” limiters to improve the order of accuracy and the two-layer Baldwin-Lomax turbulence model was also implemented. Two test cases were prepared to validate the solver. The computed results were compared with the e...