HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.

Methodology for Photovoltaic Modules Characterization and Shading Effects Analysis

This work describes the methodology, basic procedures and instrumental employed by the Solar Energy Laboratory at Universidade Federal do Rio Grande do Sul for the determination of current-voltage characteristic curves of photovoltaic modules. According to this methodology, I-V characteristic curves were acquired for several modules under diverse conditions. The main electrical parameters were determined and the temperature and irradiance influence on photovoltaic modules performance was quantified. It was observed that most of the tested modules presented output power values considerably lower than those specified by the manufacturers. The described hardware allows the testing of modules with open-circuit voltage up to 50 V and short-circuit current up to 8 A.

The snail hosts of schistosomiasis: some evolutionary and ecological perspectives in relation to control

Despite opportunities for radiation provided by spatio-temporal isolation, the basic morphological plan of pulmonate snails has remained conservative. In consequence of the resulting dearth of morphological characters and their plasticity, there is a case for using biochemical characters such as exogenous chemicals released by the snails (e.g. amino acids) and their chemoreception niche as taxonomic aids to classify snails of medical importance. As these same chemicals are used by snails to distinguish conspecifics they could also be used as "environmental antibodies" in controlled release formulations (CRF's) designed to remove target snails in a specific, cost-effective and ecologically acceptable manner. The snails, surface-living bacteria, algae and macrophytic plants are considered as co-evolved, interactive modular systems with strong mutualistic elements. Recently, anthropogenic perturbations such as deforestation, and damming of flowing waters, have benefited these modules whereas others such as river canalization, acid deposition, accumulation of pesticide residues and eutrophication have harmed them. Research is needed to elucidate the factors which limit the growth of snails in primitive habitats, uninfluenced by man, as well as in those subject to harmful anthropogenic factors. The understanding thus gained could be applied to develop cost-effective primary health care strategies to reduce or prevent transmission of schistosomiasis and other water related diseases.

Tele-education and competencies assessment to Brazilian's auxiliary nurse

This paper presents Brazilian's experience with the organization of methods and strategies for the assessment of competencies for technical level of nursing workers. The evaluative process proposed includes the creation of a learning-oriented and distance-based virtual assessment environment. The proposed methodology for professional competencies assessment adopted a critical-emancipatory perspective. A tele-education environment was deployed, involving software development - a virtual man - and an assessment cybertutor. Learning modules for the cybertutor were developed and videos of clinical simulations, structured around assessment in cognitive, behavioral, and simulation areas. The evaluation modules considered aspects of competencies in know-know, know-how and know-act professional ethics. Also the variability of practices of nursing - hospitals and primary health care units - was considered. This instrument showed as an important strategy for the optimization of assessment procedures that are widely used across Brazil and it is a powerful tool for incorporation into the continuing professional education.

Efeitos do sexo, do vigor e do tamanho da planta hospedeira sobre a distribuição de insetos indutores de galhas em Baccharis pseudomyriocephala Teodoro (Asteraceae)

Several hypotheses have been proposed to explain the patterns of host plant utilization by herbivorous insects in natural communities. We tested four hypotheses aiming to understand the pattern of attack by gall-inducing insects on the dioecious shrub, Baccharis pseudomyriocephala (Asteraceae). The shrub occurs in the Parque Estadual do Itacolomi, Southeastern Brazil, and supports ten species of galling insects. The following hypotheses were tested: i) male plants are more attacked by galling insects than female plants; ii) larger plant modules are preferentially attacked by galling insects; iii) galling insects perform better on larger modules than on smaller modules; iv) galling insects increase in abundance with meristematic availability. To address these questions, 240 plants (120 of each sex) were sampled in both reproductive and vegetative periods. We recorded the growth rate (4 cm), inflorescence and fruit production, attack rates of the galling insects, and their survivorship and mortality per shoot (module). Modules were separated into size classes (cm) and analyzed by regressions and ANCOVAs. Module size and reproductive effort were positively correlated with host plant size. We did not observe any effect of host plant gender on either variables. In the same way, host plant sex did not show any influence on the abundance and richness of galling insects. Although the abundance of galling insects showed a positive correlation with shoot size, the trend disappeared when the analyses were performed taking into consideration the number of galls per unit of growth (number of galls/cm of shoot) or biomass (number of galls/dry weight). Larval survivorship was not influenced by shoot size. Also, we observed that the abundance of one species of hemipteran galling insect showed a positive relation with leaf biomass. Therefore, we conclude that gender and vigor of this plant species do not influence the community structure of its galling herbivores.

Diagnosis of the nutrient compositional space of fruit crops

Tissue analysis is a useful tool for the nutrient management of fruit orchards. The mineral composition of diagnostic tissues expressed as nutrient concentration on a dry weight basis has long been used to assess the status of 'pure' nutrients. When nutrients are mixed and interact in plant tissues, their proportions or concentrations change relatively to each other as a result of synergism, antagonism, or neutrality, hence producing resonance within the closed space of tissue composition. Ternary diagrams and nutrient ratios are early representations of interacting nutrients in the compositional space. Dual and multiple interactions were integrated by the Diagnosis and Recommendation Integrated System (DRIS) into nutrient indexes and by Compositional Nutrient Diagnosis into centered log ratios (CND-clr). DRIS has some computational flaws such as using a dry matter index that is not a part as well as nutrient products (e.g. NxCa) instead of ratios. DRIS and CND-clr integrate all possible nutrient interactions without defining an ad hoc interactive model. They diagnose D components while D-1 could be diagnosed in the D-compositional Hilbert space. The isometric log ratio (ilr) coordinates overcome these problems using orthonormal binary nutrient partitions instead of dual ratios. In this study, it is presented a nutrient interactive model as well as computation methods for DRIS and CND-clr and CND-ilr coordinates (CND-ilr) using leaf analytical data from an experimental apple orchard in Southwestern Quebec, Canada. It was computed the Aitchison and Mahalanobis distances across ilr coordinates as measures of nutrient imbalance. The effect of changing nutrient concentrations on ilr coordinates are simulated to identify the ones contributing the most to nutrient imbalance.

Um sistema microcontrolado para o monitoramento on-line, in situ e remoto de pH, condutividade e temperatura de águas

A portable microcontrolled system is proposed to monitor conductivity, temperature and pH in on-line, in situ and remote way from a water reservoir faraway 200 m. The system comprises two modules: one for data reception (located in laboratory) and another for data acquisition/transmission (located near water reservoir). It uses a microcontroller and a transceiver to remote data transmission/reception by radio frequency. Variations of water parameters were simultaneously monitored without interruption during a period of ten hours with a relative error about 4.0 %. The developed system showed simple, stable, accurate, robust and low-cost to determine parameters of water in field.

TRIAGEM METABÓLICA POR PKS E NRPS EM ACTINOBACTÉRIAS ENDOFÍTICAS DE Citrus reticulata

Polyketides and non-ribosomal peptides are natural products widely found in bacteria, fungi and plants. The biological activities associated with these metabolites have attracted special attention in biopharmaceutical studies. Polyketide synthases act similarly to fatty acids synthetases and the whole multi-enzymatic set coordinating precursor and extending unit selection and reduction levels during chain growth. Acting in a similarly orchestrated model, non-ribosomal peptide synthetases biosynthesize NRPs. PKSs-I and NRPSs enzymatic modules and domains are collinearly organized with the parent gene sequence. This arrangement allows the use of degenerated PCR primers to amplify targeted regions in the genes corresponding to specific enzymatic domains such as ketosynthases and acyltransferases in PKSs and adenilation domains in NRPSs. Careful analysis of these short regions allows the classifying of a set of organisms according to their potential to biosynthesize PKs and NRPs. In this work, the biosynthetic potential of a set of 13 endophytic actinobacteria from Citrus reticulata for producing PKs and NRP metabolites was evaluated. The biosynthetic profile was compared to antimicrobial activity. Based on the inhibition promoted, 4 strains were considered for cluster analysis. A PKS/NRPS phylogeny was generated in order to classify some of the representative sequences throughout comparison with homologous genes. Using this approach, a molecular fingerprint was generated to help guide future studies on the most promising strains.

Determining the concrete stiffness matrix through ultrasonic testing

The determination of the modulus tangent (Eci ) and of the modulus secant (Ecs) of the concrete can be done using compression test but, to be simpler, it is used relations with characteristic strength (f ck). Relations are also used to determine the transversal modulus (Gc) and, in the case of the Poisson's ratio (ν), a fixed value 0.20 is established. The objective of this research was to evaluate the use of the ultrasonic propagation waves to determine these properties. For the tests were used specimens with f ck varying from 10 to 35 MPa. For the ultrasonic tests were used cylindrical and cubic specimens. The modulus of deformation obtained by ultrasound was statistically equivalent to the obtained by compression tests. The results of modules obtained using the relations with f ck was far away from those obtained by ultrasound or by compression tests. The Poisson's ratio obtained by ultrasound was superior to the fixed value. We can conclude that the concrete characterization by ultrasound is consistent and, to this characterization the cylindrical specimen, normally used to determine f ck, can be used.

Object-oriented Programming Applied to the Development of Structural Analysis and Optimization Software

This paper presents the development of a two-dimensional interactive software environment for structural analysis and optimization based on object-oriented programming using the C++ language. The main feature of the software is the effective integration of several computational tools into graphical user interfaces implemented in the Windows-98 and Windows-NT operating systems. The interfaces simplify data specification in the simulation and optimization of two-dimensional linear elastic problems. NURBS have been used in the software modules to represent geometric and graphical data. Extensions to the analysis of three-dimensional problems have been implemented and are also discussed in this paper.

Detection of Horizontal Two-Phase Flow Patterns Through a Neural Network Model

One of the main problems related to the transport and manipulation of multiphase fluids concerns the existence of characteristic flow patterns and its strong influence on important operation parameters. A good example of this occurs in gas-liquid chemical reactors in which maximum efficiencies can be achieved by maintaining a finely dispersed bubbly flow to maximize the total interfacial area. Thus, the ability to automatically detect flow patterns is of crucial importance, especially for the adequate operation of multiphase systems. This work describes the application of a neural model to process the signals delivered by a direct imaging probe to produce a diagnostic of the corresponding flow pattern. The neural model is constituted of six independent neural modules, each of which trained to detect one of the main horizontal flow patterns, and a last winner-take-all layer responsible for resolving when two or more patterns are simultaneously detected. Experimental signals representing different bubbly, intermittent, annular and stratified flow patterns were used to validate the neural model.

A Design Methodology for the Compensation of Positioning Deviation in Gantry Manipulators

This work presents recent results concerning a design methodology used to estimate the positioning deviation for a gantry (Cartesian) manipulator, related mainly to structural elastic deformation of components during operational conditions. The case-study manipulator is classified as gantry type and its basic dimensions are 1,53m x 0,97m x 1,38m. The dimensions used for the calculation of effective workspace due to end-effector path displacement are: 1m x 0,5m x 0,5m. The manipulator is composed by four basic modules defined as module X, module Y, module Z and terminal arm, where is connected the end-effector. Each module controlled axis performs a linear-parabolic positioning movement. The planning path algorithm has the maximum velocity and the total distance as input parameters for a given task. The acceleration and deceleration times are the same. Denavit-Hartemberg parameterization method is used in the manipulator kinematics model. The gantry manipulator can be modeled as four rigid bodies with three degrees-of-freedom in translational movements, connected as an open kinematics chain. Dynamic analysis were performed considering inertial parameters specification such as component mass, inertia and center of gravity position of each module. These parameters are essential for a correct manipulator dynamic modelling, due to multiple possibilities of motion and manipulation of objects with different masses. The dynamic analysis consists of a mathematical modelling of the static and dynamic interactions among the modules. The computation of the structural deformations uses the finite element method (FEM).