In [BE01], Bucciarelli and Ehrhard propose a general tool for building a wide class of models of linear logic where a formula is interpreted as a set (the web) together with a kind of phase valued “coherence relation”. These interpretations are nonuniform in the sense that the semantics of a proof makes no assumption about the behaviour of its possible counter-proofs, unlike e.g. in the usual s...

In this paper one optimization heuristic search technique, Hybrid Evolutionary Programming (HEP) is applied to the process of synthesizing three-ring Concentric Circular Antenna Array (CCAA) focused on maximum sidelobe-level reduction. This paper assumes non-uniform excitations and uniform spacing of excitation elements in each three-ring CCAA design. Experimental results reveal that the design...

singular perturbation problems have been studied by many mathematicians. since the approximate solutions of these problems are as the sum of internal solution (boundary layer area) and external ones, the formation or non-formation of boundary layers should be specified. this paper, investigates this issue for a singular perturbation problem including a first order differential equation with gen...

in the present study, the microstructural changes of a nickel based superalloy nimonic80a during a non-isothermal deformation were studied. therefore, microstructure evolutionduring hot side pressing test was predicted with combined methods of finite element analysis andprocessing map of the material. the predicted results were validated through experimentalmicrostructural studies. the results ...