Aplicação preliminar do método QRAM para avaliação de riscos para segurança ocupacional na construção civil

A segurança ocupacional é imprescindível na indústria da construção civil e a análise e avaliação de riscos para a segurança ocupacional (AARSO) é o primeiro e fundamental passo para alcançá-la, baseado na definição e implementação de programas de prevenção. A AARSO é um processo complexo, que implica a consideração e análise de muitos parâmetros quantitativos e/ou qualitativos que são difíceis de quantificar. As metodologias AARSO utilizadas na indústria da construção civil são baseadas em informação sujeita a incerteza (sendo tratada por técnicas probabilísticas e/ou estatísticas), difusa, imprecisa e/ou incompleta. Isso implica algumas limitações, como, por exemplo, obrigar os analistas a estimar parâmetros ou efetuar comparações com outros canteiros de obras (o que afasta do sistema real em estudo). O objetivo inicial deste estudo foi efetuar a pré-validação de um método AARSO, o QRAM, em duas cidades brasileiras, de médio e grande porte.

Applying fuzzy logic systems in the estimation of crossflow filtration processes

The crossflow filtration process differs of the conventional filtration by presenting the circulation flow tangentially to the filtration surface. The conventional mathematical models used to represent the process have some limitations in relation to the identification and generalization of the system behavior. In this paper, a system based on fuzzy logic systems is developed to overcome the problems usually found in the conventional mathematical models. Imprecisions and uncertainties associated with the measurements made on the system are automatically incorporated in the fuzzy approach. Simulation results are presented to justify the validity of the proposed approach.

Efficient linear programming algorithm for the transmission network expansion planning problem

The transmission network planning problem is a non-linear integer mixed programming problem (NLIMP). Most of the algorithms used to solve this problem use a linear programming subroutine (LP) to solve LP problems resulting from planning algorithms. Sometimes the resolution of these LPs represents a major computational effort. The particularity of these LPs in the optimal solution is that only some inequality constraints are binding. This task transforms the LP into an equivalent problem with only one equality constraint (the power flow equation) and many inequality constraints, and uses a dual simplex algorithm and a relaxation strategy to solve the LPs. The optimisation process is started with only one equality constraint and, in each step, the most unfeasible constraint is added. The logic used is similar to a proposal for electric systems operation planning. The results show a higher performance of the algorithm when compared to primal simplex methods.

Q-ANALOG REALIZATION OF NUCLEON PAIRING

A q-deformed analogue of zero-coupled nucleon pair states is constructed and the possibility of accounting for pairing correlations examined. For the single orbit case, the deformed pairs are found to be more strongly bound than the pairs with zero deformation, when a real-valued q parameter is used. It is found that an appropriately scaled deformation parameter reproduces the empirical few nucleon binding energies for nucleons in the 1f7/2 orbit and 1g9/2 orbit. The deformed pair Hamiltonian apparently accounts for many-body correlations, the strength of higher-order force terms being determined by the deformation parameter q. An extension to the multishell case, with deformed zero-coupled pairs distributed over several single particle orbits, has been realized. An analysis of calculated and experimental ground state energies and the energy spectra of three lowermost 0+ states, for even-A Ca isotopes, reveals that the deformation simulates the effective residual interaction to a large extent.

Equivalence of many-gluon Green's functions in the Duffin-Kemmer-Petieu and Klein-Gordon-Fock statistical quantum field theories

We prove the equivalence of many-gluon Green's functions in the Duffin-Kemmer-Petieu and Klein-Gordon-Fock statistical quantum field theories. The proof is based on the functional integral formulation for the statistical generating functional in a finite-temperature quantum field theory. As an illustration, we calculate one-loop polarization operators in both theories and show that their expressions indeed coincide.

MANY-BODY PROBLEMS WITH COMPOSITE-PARTICLES AND Q-HEISENBERG ALGEBRAS

We propose to employ deformed commutation relations to treat many-body problems of composite particles. The deformation parameter is interpreted as a measure of the effects of the statistics of the internal degrees of freedom of the composite particles. A simple application of the method is made for the case of a gas of composite bosons.

A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic

It can be observed that the number and the complexity of the application's domains, where the Paraconsistent Annotated Logic has been used, have grown a lot in the last decade. This increase in the complexity of the application's domain is an extra challenge for the designers of such systems, once there are not suitable computer hardware to run paraconsistent systems. This work proposes a new hardware architecture for the building Paraconsistent system.

Many-body effects in wide parabolic AlGaAs quantum wells

Photoluminescence measurements at different temperatures have been performed to investigate the optical response of a two-dimensional electron gas in n-type wide parabolic quantum wells. A series of samples with different well widths in the range of 1000-3000 A was analyzed. Many-body effects, usually observed in the recombination process of a two-dimensional electron gas, appear as a strong enhancement in the photoluminescence spectra at the Fermi level at low temperature only in the thinnest parabolic quantum wells. The suppression of the many-body effect in the thicker quantum wells was attributed to the decrease of the overlap between the wavefunctions of the photocreated holes and the two-dimensional electrons belonging to the highest occupied electron subband. (C) 2007 American Institute of Physics.

A Lagrangian bound for many-to-many assignment problems

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Enzymatic Logic Gates with Noise-Reducing Sigmoid Response

Biochemical computing is an emerging field of unconventional computing that attempts to process information with biomolecules and biological objects using digital logic. In this work we survey filtering in general, in biochemical computing, and summarize the experimental realization of an and logic gate with sigmoid response in one of the inputs. The logic gate is realized with electrode-immobilized glucose-6-phosphate dehydrogenase enzyme that catalyzes a reaction corresponding to the Boolean and functions. A kinetic model is also developed and used to evaluate the extent to which the performance of the experimentally realized logic gate is close to optimal.

Studying properties of Lagrangian bounds for many-to-many assignment problems

Classical and modified Lagrangian bounds for the optimal value of optimization problems with a double decomposable structure are studied. For the class of many-to-many assignment problems, this property of constraints is used to design a subgradient algorithm for solving the modified dual problem. Numerical results are presented to compare the quality of classical and modified bounds, as well as the properties of the corresponding Lagrangian solutions.

Squeezed states phase space representation and semiclassical approximations in many-body systems

We derive an alternative semiclassical approach (to the Wigner-Kirkwood method) for many-body systems using a mapping scheme based on the squeezed states phase space representation. The new expansion is applied to the usual harmonic oscillator case and the differences with the Wigner-Kirkwood results are discussed. © 1990.

Necessary conditions of optimality for vector-valued impulsive control problems

A vector-valued impulsive control problem is considered whose dynamics, defined by a differential inclusion, are such that the vector fields associated with the singular term do not satisfy the so-called Frobenius condition. A concept of robust solution based on a new reparametrization procedure is adopted in order to derive necessary conditions of optimality. These conditions are obtained by taking a limit of those for an appropriate sequence of auxiliary standard optimal control problems approximating the original one. An example to illustrate the nature of the new optimality conditions is provided. © 2000 Elsevier Science B.V. All rights reserved.