Um modelo algébrico para a lógica do muito

Pós-graduação em Filosofia - FFC

Técnica para dedução do modelo algébrico PTT, aplicações e análises numéricas em escoamentos bidimensionais

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Logic TK: algebric notions from Tarski's consequence operator

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Um modelo algébrico do quantificador da ubiquidade

Pós-graduação em Filosofia - FFC

Quantum algebraic description of the Moszkowski model

In this paper we investigate the behaviour of the Moukowski model within the mnten of quantum algebras. The Moszkwski Hamiltonian is diagonalized aractly for different numbers of panicles and for various values of the deformalion parameter of the quanlum algebra involved. We also include ranking in our system and observe its variation as a function of the deformation parameters. © 1992 IOP Publishing Ltd.

Conformal structures and twistors in the paravector model of spacetime

Some properties of the Clifford algebras Cl-3,Cl-0, Cl-1,Cl-3, Cl-4,Cl-1 similar or equal to C circle times Cl-1,Cl-3 and Cl-2,Cl-4 are presented, and three isomorphisms between the Dirac-Clifford algebra C circle times Cl-1,Cl-3 and Cl-4,Cl-1 are exhibited, in order to construct conformal maps and twistors, using the paravector model of spacetime. The isomorphism between the twistor space inner product isometry group SU( 2,2) and the group $pin(+)(2,4) is also investigated, in the light of a suitable isomorphism between C circle times Cl-1,Cl-3 and Cl-4,Cl-1. After reviewing the conformal spacetime structure, conformal maps are described in Minkowski spacetime as the twisted adjoint representation of $ pin(+)(2,4), acting on paravectors. Twistors are then presented via the paravector model of Clifford algebras and related to conformal maps in the Clifford algebra over the Lorentzian R-4,(1) spacetime.We construct twistors in Minkowski spacetime as algebraic spinors associated with the Dirac-Clifford algebra C circle times Cl-1,Cl-3 using one lower spacetime dimension than standard Clifford algebra formulations, since for this purpose, the Clifford algebra over R-4,R-1 is also used to describe conformal maps, instead of R-2,(4). Our formalism sheds some new light on the use of the paravector model and generalizations.

Effectiveness-ntu computation with a mathematical model for cross-flow heat exchangers

Due to the wide range of design possibilities, simple manufactured, low maintenance and low cost, cross-flow heat exchangers are extensively used in the petroleum, petrochemical, air conditioning, food storage, and others industries. In this paper a mathematical model for cross-flow heat exchangers with complex flow arrangements for determining epsilon -NTU relations is presented. The model is based on the tube element approach, according to which the heat exchanger outlet temperatures are obtained by discretizing the coil along the tube fluid path. In each cross section of the element, tube-side fluid temperature is assumed to be constant because the heat capacity rate ratio C*=Cmin/Cmax tends toward zero in the element. Thus temperature is controlled by effectiveness of a local element corresponding to an evaporator or a condenser-type element. The model is validated through comparison with theoretical algebraic relations for single-pass cross-flow arrangements with one or more rows. Very small relative errors are obtained showing the accuracy of the present model. epsilon -NTU curves for several complex circuit arrangements are presented. The model developed represents a useful research tool for theoretical and experimental studies on heat exchangers performance.

An algebraic q-deformed form for shape-invariant systems

A quantum deformed theory applicable to all shape-invariant bound-state systems is introduced by defining q-deformed ladder operators. We show that these new ladder operators satisfy new q-deformed commutation relations. In this context we construct an alternative q-deformed model that preserves the shape-invariance property presented by the primary system. q-deformed generalizations of Morse, Scarf and Coulomb potentials are given as examples.

Affine Lie algebraic origin of constrained KP hierarchies

An affine sl(n + 1) algebraic construction of the basic constrained KP hierarchy is presented. This hierarchy is analyzed using two approaches, namely linear matrix eigenvalue problem on hermitian symmetric space and constrained KP Lax formulation and it is shown that these approaches are equivalent. The model is recognized to be the generalized non-linear Schrödinger (GNLS) hierarchy and it is used as a building block for a new class of constrained KP hierarchies. These constrained KP hierarchies are connected via similarity-Bäcklund transformations and interpolate between GNLS and multi-boson KP-Toda hierarchies. Our construction uncovers the origin of the Toda lattice structure behind the latter hierarchy. © 1995 American Institute of Physics.

Model to increase the lateral line length of drip irrigation systems

Non-pressure compensating drip hose is widely used for irrigation of vegetables and orchards. One limitation is that the lateral line length must be short to maintain uniformity due to head loss and slope. Any procedure to increase the length is appropriate because it represents low initial cost of the irrigation system. The hypothesis of this research is that it is possible to increase the lateral line length combining two points: using a larger spacing between emitters at the beginning of the lateral line and a smaller one after a certain distance; and allowing a higher pressure variation along the lateral line under an acceptable value of distribution uniformity. To evaluate this hypothesis, a nonlinear programming model (NLP) was developed. The input data are: diameter, roughness coefficient, pressure variation, emitter operational pressure, relationship between emitter discharge and pressure. The output data are: line length, discharge and length of the each section with different spacing between drippers, total discharge in the lateral line, multiple outlet adjustment coefficient, head losses, localized head loss, pressure variation, number of emitters, spacing between emitters, discharge in each emitter, and discharge per linear meter. The mathematical model developed was compared with the lateral line length obtained with the algebraic solution generated by the Darcy-Weisbach equation. The NLP model showed the best results since it generated the greater gain in the lateral line length, maintaining the uniformity and the flow variation under acceptable standards. It had also the lower flow variation, so its adoption is feasible and recommended.

The algebraic structure behind the derivative nonlinear Schrödinger equation

The Kaup-Newell (KN) hierarchy contains the derivative nonlinear Schrödinger equation (DNLSE) amongst others interesting and important nonlinear integrable equations. In this paper, a general higher grading affine algebraic construction of integrable hierarchies is proposed and the KN hierarchy is established in terms of an Ŝℓ2Kac-Moody algebra and principal gradation. In this form, our spectral problem is linear in the spectral parameter. The positive and negative flows are derived, showing that some interesting physical models arise from the same algebraic structure. For instance, the DNLSE is obtained as the second positive, while the Mikhailov model as the first negative flows. The equivalence between the latter and the massive Thirring model is also explicitly demonstrated. The algebraic dressing method is employed to construct soliton solutions in a systematic manner for all members of the hierarchy. Finally, the equivalence of the spectral problem introduced in this paper with the usual one, which is quadratic in the spectral parameter, is achieved by setting a particular automorphism of the affine algebra, which maps the homogeneous into principal gradation. © 2013 IOP Publishing Ltd.

Using Universal Line Model (ULM) for Representing Electromagnetic Transients in Three-Phase Transmission Lines

The second-order differential equations that describe the polyphase transmission line are difficult to solve due to the mutual coupling among them and the fact that the parameters are distributed along their length. A method for the analysis of polyphase systems is the technique that decouples their phases. Thus, a system that has n phases coupled can be represented by n decoupled single-phase systems which are mathematically identical to the original system. Once obtained the n-phase circuit, it's possible to calculate the voltages and currents at any point on the line using computational methods. The Universal Line Model (ULM) transforms the differential equations in the time domain to algebraic equations in the frequency domain, solve them and obtain the solution in the frequency domain using the inverse Laplace transform. This work will analyze the method of modal decomposition in a three-phase transmission line for the evaluation of voltages and currents of the line during the energizing process.