Mathematics

Editor Papa Research July 24, 2019

Aims: A shape optimization technique is developed, using the boundary element method, for two-dimensional anisotropic structures to study the effects of anisotropy on the displacements and stresses, then minimize weight while satisfying certain constraints upon stresses and geometry. Study Design:  Original Research Paper. Place and Duration of Study: Jamoum University College, Mathematics Department, between June […]

Editor Papa Research July 24, 2019

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 […]

Editor Papa Research July 24, 2019

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 […]

Editor Papa Research July 24, 2019

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 […]

Editor Papa Research July 24, 2019

In this Chapter we obtain a contradictions in formal set theories under assumption that these theories have omega-models or nonstandard model with standard part. An possible generalization of Lob’s theorem is considered. Main results are: (i) ¬Con(ZF C+∃MZFCst), (ii) ¬Con(N F+∃MNFst), (iii) ¬Con(ZF C2), (iv) let k be an inaccessible cardinal then ¬Con(ZF C+∃κ), (v) […]

Editor Papa Research July 24, 2019

Aims: Classic Petri nets also known as place transition nets provide many interesting and useful features for system modeling. They are however limited by the place types that are used. A novel approach is presented in this work. A matrix vector transition net model is created and is used to model complex system behavior. This […]

WP2Social Auto Publish Powered By : XYZScripts.com