Remarks on abstract Galois theory

This paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva (see da Costa, Rodrigues (2007)). Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva's notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are made on the universal theory of (set-theoretic) structures.

Contribution to the marine propeller hydrodynamic design for small boats in the Amazon region

ABSTRACTIn the Amazon, river navigation is very important due to the length of navigable rivers and the lack of alternative road networks. Boats usually operate in unfavorable conditions, since there is no hydrodynamic relation among propellers, geometry, and the dimensions of the boat hull. Currently, there is no methodology for propeller hydrodynamic optimization with low computational cost and easy implementation in the region. The aim of this work was to develop a mathematical approach for marine propeller design applied to boats typically found on Amazon rivers. We developed an optimized formulation for the chord and pitch angle distributions, taking into account the classical model of Glauert. A theoretical analysis for the thrust and torque relationships on an annular control volume was performed. The mathematical model used was based on the Blade Element Momentum Theory (BEMT). We concluded that the new methodology proposed in this work demonstrates a good physical behavior when compared with the theory of Glauert and the experimental data of the Wageningen B3-50 propeller.

Towards a Unified Theory of Health-Disease: I. Health as a complex model-object

Theory building is one of the most crucial challenges faced by basic, clinical and population research, which form the scientific foundations of health practices in contemporary societies. The objective of the study is to propose a Unified Theory of Health-Disease as a conceptual tool for modeling health-disease-care in the light of complexity approaches. With this aim, the epistemological basis of theoretical work in the health field and concepts related to complexity theory as concerned to health problems are discussed. Secondly, the concepts of model-object, multi-planes of occurrence, modes of health and disease-illness-sickness complex are introduced and integrated into a unified theoretical framework. Finally, in the light of recent epistemological developments, the concept of Health-Disease-Care Integrals is updated as a complex reference object fit for modeling health-related processes and phenomena.

Theory of reasoned action for continuous improvement capabilities: a behavioral approach

The importance of interaction between Operations Management (OM) and Human Behavior has been recently re-addressed. This paper introduced the Reasoned Action Theory suggested by Froehle and Roth (2004) to analyze Operational Capabilities exploring the suitability of this model in the context of OM. It also seeks to discuss the behavioral aspects of operational capabilities from the perspective of organizational routines. This theory was operationalized using Fishbein and Ajzen (F/A) behavioral model and a multi-case strategy was employed to analyze the Continuous Improvement (CI) capability. The results posit that the model explains partially the CI behavior in an operational context and some contingency variables might influence the general relations among the variables involved in the F/A model. Thus intention might not be the determinant variable of behavior in this context.

HIV/AIDS knowledge among men who have sex with men: applying the item response theory

OBJECTIVE To evaluate the level of HIV/AIDS knowledge among men who have sex with men in Brazil using the latent trait model estimated by Item Response Theory. METHODS Multicenter, cross-sectional study, carried out in ten Brazilian cities between 2008 and 2009. Adult men who have sex with men were recruited (n = 3,746) through Respondent Driven Sampling. HIV/AIDS knowledge was ascertained through ten statements by face-to-face interview and latent scores were obtained through two-parameter logistic modeling (difficulty and discrimination) using Item Response Theory. Differential item functioning was used to examine each item characteristic curve by age and schooling. RESULTS Overall, the HIV/AIDS knowledge scores using Item Response Theory did not exceed 6.0 (scale 0-10), with mean and median values of 5.0 (SD = 0.9) and 5.3, respectively, with 40.7% of the sample with knowledge levels below the average. Some beliefs still exist in this population regarding the transmission of the virus by insect bites, by using public restrooms, and by sharing utensils during meals. With regard to the difficulty and discrimination parameters, eight items were located below the mean of the scale and were considered very easy, and four items presented very low discrimination parameter (< 0.34). The absence of difficult items contributed to the inaccuracy of the measurement of knowledge among those with median level and above. CONCLUSIONS Item Response Theory analysis, which focuses on the individual properties of each item, allows measures to be obtained that do not vary or depend on the questionnaire, which provides better ascertainment and accuracy of knowledge scores. Valid and reliable scales are essential for monitoring HIV/AIDS knowledge among the men who have sex with men population over time and in different geographic regions, and this psychometric model brings this advantage.

Modeling water movement in horizontal columns using fractal theory

Fractal mathematics has been used to characterize water and solute transport in porous media and also to characterize and simulate porous media properties. The objective of this study was to evaluate the correlation between the soil infiltration parameters sorptivity (S) and time exponent (n) and the parameters dimension (D) and the Hurst exponent (H). For this purpose, ten horizontal columns with pure (either clay or loam) and heterogeneous porous media (clay and loam distributed in layers in the column) were simulated following the distribution of a deterministic Cantor Bar with fractal dimension H" 0.63. Horizontal water infiltration experiments were then simulated using Hydrus 2D software. The sorptivity (S) and time exponent (n) parameters of the Philip equation were estimated for each simulation, using the nonlinear regression procedure of the statistical software package SAS®. Sorptivity increased in the columns with the loam content, which was attributed to the relation of S with the capillary radius. The time exponent estimated by nonlinear regression was found to be less than the traditional value of 0.5. The fractal dimension estimated from the Hurst exponent was 17.5 % lower than the fractal dimension of the Cantor Bar used to generate the columns.

Modulating the electronic structure of amino acids: interaction of model lewis acids with anthranilic acid

On the basis of theoretical B3LYP calculations, Yáñez and co-workers (J. Chem. Theory Comput. 2012, 8, 2293) illustrated that beryllium ions are capable of significantly modulating (changing) the electronic structures of imidazole. In this computational organic chemistry study, the interaction of this β-amino acid and five model Lewis acids (BeF1+, Be2+, AlF2(1+), AlF2+, and Al3+) were investigated. Several aspects were addressed: natural bond orbitals, including second order perturbation analysis of intra-molecular charge delocalization and the natural population analysis atomic charges; molecular geometries; selected infrared stretching frequencies (C-N, C-O, and N-H), and selected ¹H-NMR chemical shifts. The data illustrate that this interaction can weaken the H-O bond and goes beyond strengthening the intra-molecular hydrogen bond (N...H-O) to cause a spontaneous transfer of the proton to the nitrogen atom in five cases generating zwitterion structures. Many new features are observed. Most importantly, the zwitterion structures include a stabilizing hydrogen bond (N-H...O) that varies in relative strength according to the Lewis acid. These findings explain the experimental observations of α-amino acids (for example: J. Am. Chem. Soc. 2001, 123, 3577) and are the first reported fundamental electronic structure characterization of β-amino acids in zwitterion form.

Dry months in the agricultural region of Ribeirão Preto, state of São Paulo-Brazil: an study based on the extreme value theory

The application of the Extreme Value Theory (EVT) to model the probability of occurrence of extreme low Standardized Precipitation Index (SPI) values leads to an increase of the knowledge related to the occurrence of extreme dry months. This sort of analysis can be carried out by means of two approaches: the block maxima (BM; associated with the General Extreme Value distribution) and the peaks-over-threshold (POT; associated with the Generalized Pareto distribution). Each of these procedures has its own advantages and drawbacks. Thus, the main goal of this study is to compare the performance of BM and POT in characterizing the probability of occurrence of extreme dry SPI values obtained from the weather station of Ribeirão Preto-SP (1937-2012). According to the goodness-of-fit tests, both BM and POT can be used to assess the probability of occurrence of the aforementioned extreme dry SPI monthly values. However, the scalar measures of accuracy and the return level plots indicate that POT provides the best fit distribution. The study also indicated that the uncertainties in the parameters estimates of a probabilistic model should be taken into account when the probability associated with a severe/extreme dry event is under analysis.

Selection of patients for myocardial perfusion scintigraphy based on fuzzy sets theory applied to clinical-epidemiological data and treadmill test results

Coronary artery disease (CAD) is a worldwide leading cause of death. The standard method for evaluating critical partial occlusions is coronary arteriography, a catheterization technique which is invasive, time consuming, and costly. There are noninvasive approaches for the early detection of CAD. The basis for the noninvasive diagnosis of CAD has been laid in a sequential analysis of the risk factors, and the results of the treadmill test and myocardial perfusion scintigraphy (MPS). Many investigators have demonstrated that the diagnostic applications of MPS are appropriate for patients who have an intermediate likelihood of disease. Although this information is useful, it is only partially utilized in clinical practice due to the difficulty to properly classify the patients. Since the seminal work of Lotfi Zadeh, fuzzy logic has been applied in numerous areas. In the present study, we proposed and tested a model to select patients for MPS based on fuzzy sets theory. A group of 1053 patients was used to develop the model and another group of 1045 patients was used to test it. Receiver operating characteristic curves were used to compare the performance of the fuzzy model against expert physician opinions, and showed that the performance of the fuzzy model was equal or superior to that of the physicians. Therefore, we conclude that the fuzzy model could be a useful tool to assist the general practitioner in the selection of patients for MPS.