A new procedure for generating smooth uniformly clustered threedimensional structured elliptic grids is presented here which formulates three-dimensional boundary constraints by extending the two-dimensional counterpart1 presented by the author earlier. This fully automatic procedure obviates the need for manual specification of decay parameters over the six bounding surfaces of a given volume ...

This thesis presents algebraic and combinatorial approaches for reasoning about imperative loops with assignments, sequencing and conditionals. A certain family of loops, called P-solvable, is defined for which the value of each program variable can be expressed as a polynomial of the initial values of variables, the loop counter, and some new variables where there are algebraic dependencies am...

We present a new method for generating algebraic invariants of hybrid systems. The method reduces the invariant generation problem to a constraint solving problem using techniques from the theory of ideals over polynomial rings. Starting with a template invariant – a polynomial equality over the system variables with unknown coefficients – constraints are generated on the coefficients guarantee...

Linear embedding via Green’s operators (LEGO) is a diakoptics method that employs electromagnetic “bricks” to formulate problems of wave scattering from complex structures (e.g., penetrable bodies with inclusions). In its latest version the LEGO integral equations are solved through the Method of Moments combined with adaptive generation of Arnoldi basis functions (ABF) to compress the resultin...

In the energy management of the isolated operation of small power system, the economic scheduling of the generation units is a crucial problem. Applying right timing can maximize the performance of the supply. The optimal operation of a wind turbine, a solar unit, a fuel cell and a storage battery is searched by a mixed-integer linear programming implemented in General Algebraic Modeling System...

Modelica is an a-causal, equation based, object oriented modeling language for modeling and efficient simulation of large and complex multi domain systems. The Modelica language, with its strong software component model, makes it possible to use visual component programming, where large complex physical systems can be modeled and composed in a graphical way. One tool with support for both graph...

In this paper, we present the accelerator model of MetaFork together with the software framework that allows automatic generation of CUDA code from annotated MetaFork programs. One of the key features of this CUDA code generator is that it supports the generation of CUDA kernel code where program parameters (like number of threads per block) and machine parameters (like shared memory size) are ...

in this paper, an optimal control of quadratic performance index with nonlinear constrained is presented. the sine-cosine wavelet operational matrix of integration and product matrix are introduced and applied to reduce nonlinear differential equations to the nonlinear algebraic equations. then, the newton-raphson method is used for solving these sets of algebraic equations. to present ability ...