A study on human error in the interaction with the computer systems

The term human factor is used by professionals of various fields meant for understanding the behavior of human beings at work. The human being, while developing a cooperative activity with a computer system, is subject to cause an undesirable situation in his/her task. This paper starts from the principle that human errors may be considered as a cause or factor contributing to a series of accidents and incidents in many diversified fields in which human beings interact with automated systems. We propose a simulator of performance in error with potentiality to assist the Human Computer Interaction (HCI) project manager in the construction of the critical systems. © 2011 Springer-Verlag.

An investigation into the loss of the Brazilian space programme's launch vehicle VLS-1 V03

There has been a rapid increase in the complexity and integration of many safety-critical systems. In consequence, it is becoming increasingly difficult to identify the causes of incidents and accidents back through the complex interactions that lead to an adverse event. At the same time, there is a growing appreciation of the need to consider a broad range of contextual factors in the aftermath of any mishap. A number of regulators, operators and research teams have responded to these developments by proposing novel techniques to support the analysis of complex, safety-critical incidents. It is important to illustrate these different approaches by applying them to a number of common case studies. The following pages, therefore, show how STAMP and AcciMap might support the Serviço Público Federal investigation into the explosion and fire of the Brazilian launch vehicle VLS-1 VO3. © 2006 Elsevier Ltd. All rights reserved.

Critical temperature for first-order phase transitions in confined systems

We consider the Euclidean D-dimensional -lambda vertical bar phi vertical bar(4)+eta vertical bar rho vertical bar(6) (lambda,eta > 0) model with d (d <= D) compactified dimensions. Introducing temperature by means of the Ginzburg-Landau prescription in the mass term of the Hamiltonian, this model can be interpreted as describing a first-order phase transition for a system in a region of the D-dimensional space, limited by d pairs of parallel planes, orthogonal to the coordinates axis x(1), x(2),..., x(d). The planes in each pair are separated by distances L-1, L-2, ... , L-d. We obtain an expression for the transition temperature as a function of the size of the system, T-c({L-i}), i = 1, 2, ..., d. For D = 3 we particularize this formula, taking L-1 = L-2 = ... = L-d = L for the physically interesting cases d = 1 (a film), d = 2 (an infinitely long wire having a square cross-section), and for d = 3 (a cube). For completeness, the corresponding formulas for second-order transitions are also presented. Comparison with experimental data for superconducting films and wires shows qualitative agreement with our theoretical expressions.

Phase Transition in Dynamical Systems: Defining Classes of Universality for Two-Dimensional Hamiltonian Mappings via Critical Exponents

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

On the number of critical periods for planar polynomial systems

In this paper we get some lower bounds for the number of critical periods of families of centers which are perturbations of the linear one. We give a method which lets us prove that there are planar polynomial centers of degree l with at least 2[(l - 2)/2] critical periods as well as study concrete families of potential, reversible and Lienard centers. This last case is studied in more detail and we prove that the number of critical periods obtained with our approach does not. increases with the order of the perturbation. (C) 2007 Elsevier Ltd. All rights reserved.

Effect of temperature on salt-salt aqueous biphasic systems: manifestations of upper critical solution temperature

Water-miscible ionic liquids (ILs) may be salted out using kosmotropic salts such as potassium phosphate (K3PO4) to form salt-salt aqueous biphasic systems (ABS). The effect of temperature on these systems has been studied using phase diagrams and it is observed that the degree of binodal shift decreases (requiring lower IL and kosmotropic salt concentrations) with the increase of temperature following the trend [C(4)mim]Cl > [C(4)py]Cl > [C(4)mmim] Cl > [N-4444]Cl. This trend can be correlated with the decreasing hydrogen bonding abilities of each salt. The phase behavior was also interpreted on the basis of critical solution temperature behavior of pure aqueous ionic liquid solutions. Additionally, the distribution of alcohols in these systems was studied as a function of temperature and it was found that the distribution ratios did not change with changes in temperature. The Gibbs energy of transfer of a methylene group in these systems and correlation to tie-line length was also determined. It was concluded that while the miscibility of alcohols increases in the ILs with increasing temperature, phase divergence in the aqueous biphasic system decreases, and thus these competing forces tend to cancel each other out for small polar molecules. A comparison is provided for the response to temperature in the currently studied salt-salt systems and analogous ABS formed by the addition of hydrophilic polymers to kosmotropic salts (polymer-salt) or other polymers (polymer-polymer).

Scales of critically stable few-body halo systems

We review the scaling properties of few-body observables near the critical conditions for binding, with particular attention to light exotic nuclei, molecules and ultracold atoms.

Immunohistochemistry in diagnostic veterinary pathology: a critical review

A técnica de imuno-histoquímica é usada na rotina diagnóstica e na pesquisa em patologia humana desde 1970, porém seu uso na patologia veterinária é relativamente recente, principalmente com objetivo diagnóstico. A maior dificuldade no uso da imuno-histoquímica na patologia veterinária tem sido a falta de anticorpos específicos para os tecidos animais. Na falta de anticorpos específicos para as espécies domésticas, a patologia veterinária freqüentemente faz uso de anticorpos que apresentam reatividade cruzada entre antígenos humanos e animais. O objetivo deste trabalho foi testar a reatividade cruzada de diversos anticorpos feitos para uso humano em tecido parafinado de algumas espécies animais, utilizando-se dos novos métodos de recuperação antigênica e amplificação da reação imuno-histoquímica. No presente estudo foi possível confirmar a aplicabilidade de que muitos anticorpos produzidos para diagnóstico imuno-histoquímico em patologia humana podem ser utilizados em patologia veterinária. Novos estudos são necessários a fim de se ampliar a lista de aplicabilidade desses anticorpos em diferentes espécies animais, levando sempre em consideração as variações de clones, diluições, métodos de recuperação antigênica e de revelação.

Traveling solitons in Lorentz and CPT breaking systems

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

Digital radiography using digital detector arrays fulfills critical applications for offshore pipelines

Digital radiography in the inspection of welded pipes to be installed under deep water offshore gas and oil pipelines, like a presalt in Brazil, in the paper has been investigated. The aim is to use digital radiography for nondestructive testing of welds as it is already in use in the medical, aerospace, security, automotive, and petrochemical sectors. Among the current options, the DDA (Digital Detector Array) is considered as one of the best solutions to replace industrial films, as well as to increase the sensitivity to reduce the inspection cycle time. This paper shows the results of this new technique, comparing it to radiography with industrial films systems. In this paper, 20 test specimens of longitudinal welded pipe joints, specially prepared with artificial defects like cracks, lack of fusion, lack of penetration, and porosities and slag inclusions with varying dimensions and in 06 different base metal wall thicknesses, were tested and a comparison of the techniques was made. These experiments verified the purposed rules for parameter definitions and selections to control the required digital radiographic image quality as described in the draft international standard ISO/DIS 10893-7. This draft is first standard establishing the parameters for digital radiography on weld seam of welded steel pipes for pressure purposes to be used on gas and oil pipelines.

Parameterized fast decoupled power flow methods for obtaining the maximum loading point of power systems. Part I. Mathematical modeling

The conventional Newton and fast decoupled power flow (FDPF) methods have been considered inadequate to obtain the maximum loading point of power systems due to ill-conditioning problems at and near this critical point. It is well known that the PV and Q-theta decoupling assumptions of the fast decoupled power flow formulation no longer hold in the vicinity of the critical point. Moreover, the Jacobian matrix of the Newton method becomes singular at this point. However, the maximum loading point can be efficiently computed through parameterization techniques of continuation methods. In this paper it is shown that by using either theta or V as a parameter, the new fast decoupled power flow versions (XB and BX) become adequate for the computation of the maximum loading point only with a few small modifications. The possible use of reactive power injection in a selected PV bus (Q(PV)) as continuation parameter (mu) for the computation of the maximum loading point is also shown. A trivial secant predictor, the modified zero-order polynomial which uses the current solution and a fixed increment in the parameter (V, theta, or mu) as an estimate for the next solution, is used in predictor step. These new versions are compared to each other with the purpose of pointing out their features, as well as the influence of reactive power and transformer tap limits. The results obtained with the new approach for the IEEE test systems (14, 30, 57 and 118 buses) are presented and discussed in the companion paper. The results show that the characteristics of the conventional method are enhanced and the region of convergence around the singular solution is enlarged. In addition, it is shown that parameters can be switched during the tracing process in order to efficiently determine all the PV curve points with few iterations. (C) 2003 Elsevier B.V. All rights reserved.

A novel HPF voltage source rectifier for variable speed refrigeration systems

A novel single-phase voltage source rectifier capable to achieve High-Power-Factor (HPF) for variable speed refrigeration system application, is proposed in this paper. The proposed system is composed by a single-phase high-power-factor boost rectifier, with two cells in interleave connection, operating in critical conduction mode, and employing a soft-switching technique, controlled by a Field Programmable Gate Array (FPGA), associated with a conventional three-phase IGBT bridge inverter (VSI - Voltage Source Inverter), controlled by a Digital Signal Processor (DSP). The soft-switching technique for the input stage is based on zero-current-switching (ZCS) cells. The rectifier's features include the reduction in the input current ripple, the reduction in the output voltage ripple, the use of low stress devices, low volume for the EMI input filter, high input power factor (PF), and low total harmonic distortion (THD) in the input current, in compliance with the EEC61000-3-2 standards. The digital controller for the output stage has been developed using a conventional voltage-frequency control (scalar V/f control), and a simplified stator oriented Vector control, in order to verify the feasibility and performance of the proposed digital controls for continuous temperature control applied at a refrigerator prototype.

Synchronization and Non-Smooth Dynamical Systems

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

Crossover between the extended and localized regimes in stochastic partially self-avoiding walks in one-dimensional disordered systems

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

A critical investigation of the Tanford-Kirkwood scheme by means of Monte Carlo simulations

Monte Carlo simulations are used to assess the adequacy of the Tanford-Kirkwood prescription for electrostatic interactions in macromolecules. Within a continuum dielectric framework, the approach accurately describes salt screening of electrostatic interactions for moderately charged systems consistent with common proteins at physiological conditions. The limitations of the Debye-Huckel theory, which forms the statistical mechanical basis for the Tanford-Kirkwood result, become apparent for highly charged systems. It is shown, both by an analysis of the Debye-Huckel theory and by numerical simulations, that the difference in dielectric permittivity between macromolecule and surrounding solvent does not play a significant role for salt effects if the macromolecule is highly charged. By comparison to experimental data, the continuum dielectric model (combined with either an approximate effective Hamiltonian as in the Tanford-Kirkwood treatment or with exact Monte Carlo simulations) satisfactorily predicts the effects of charge mutation on metal ion binding constants, but only if the macromolecule and solvent are assigned the same or similar permittivities.