The main objective of this chapter is to present the separation theorems, important consequences of Hahn-Theorem theorem. Therefore, we begin with an overview on convex sets and convex functionals. Then go on with the Hahn-Banach theorem and separation theorems. Follow these results specification: first for normed spaces and then for a subclass of these spaces,…
Read more
The invaluable role of the estimation of global solar radiation in solar engineering systems provides very useful direction for various solar applications. This paper employs the Adaptive Neuro Fuzzy Inference System (ANFIS), Artificial Neural Network (ANN) and regressive technique for the prediction of global solar radiation(GSR) on horizontal surface using temperature swing and relative humidity…
Read more
Although preemptive scheduling dominates non-preemptive scheduling from a schedulability perspective, the latter will often be chosen by developers of real-time systems with resource constraints due to the inherently lower system overheads, easier code implementation and timing analysis. This paper is concerned with the uniprocessor scheduling of periodic and sporadic tasks with arbitrary relative deadlines in…
Read more
This paper studies the effects of Reynolds number on the oscillating flow in through a one-point stenosed artery. The nonlinear equations governing the flow are solved analytically by the method of perturbation series solutions. Expressions for the velocities and wall shear stress are obtained and analyzed graphically. It is found that increase in the Reynolds…
Read more
In this work we define Magic Polygons P(n; k) and Degenerated Magic Polygons D(n; k) and we obtain their main properties, such as the magic sum and the value corresponding to the root vertex. The existence of magic polygons P(n; k) and degenerated magic polygons D(n; k) are discussed for certain values of n and…
Read more
This paper dealing with Colombeau extension of the Einstein field equations using apparatus of the Colombeau generalized function [1]-[2] and contemporary generalization of the classical Lorentzian geometry named in literature Colombeau distributional geometry, see for example [5]-[30] and [15][31]. The regularizations of singularities present in some Colombeau solutions of the Einstein equations is an important…
Read more
This chapter studies a prominent class of recursively-defined combinatorial functions, namely, the binomial and multinomial coefficients and probabilities. The chapter reviews the basic notions and mathematical definitions of these four functions. Subsequently, it characterizes each of these functions via a recursive relation that is valid over a certain two-dimensional or multi-dimensional region and is supplemented…
Read more
The strong equality of classical tautologies and their proof complexities comparative analysis in certain proof systems were given by first author in previous studies. Here we introduce the analogous notions of strong equality for non-classical (intuitionistic and minimal) tautologies and investigate the relations between the proof complexity measures of strongly equal non-classical tautologies in some…
Read more
Aims: A practicalshape optimization technique is developed, using the dual reciprocity boundary element method (DRBEM) with the golden-section search algorithm based on uniform bicubic B-splines, for rotating magneto-thermo-viscoelastic functionally graded anisotropic (FGA) structures subjected to a moving heat source in the context of the Green and Naghdi theory of type III. Study Design: Original Research…
Read more
Aims: We give some families of functions which are meromorphic outside a compact countable set B of essential singularities. Our aim is to give some examples of the stable set (called the Fatou set) and the unstable set (called the Julia set) since there are not many examples of parametric family of this class of…
Read more