O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained

Introdução aos sistemas aviônicos de rádio navegação

This work is focused on the subject of air radio navigation systems embedded on aircraft and in the ground stations. Initially is presented a historical context and motivation of the chosen theme. In the following chapters the basics avionics systems are presented, ADF, VOR, DME and ILS such that there is a deepening of electronics theory behind the operation of each system. In this graduate work were presented theories involved in systems such as the definition and creation of radio waves, the frequency spectrum used by each system, the modulation and demodulation of waves, the operating block diagrams of embedded receiver in the aircraft and the terrestrial source station, and the errors involved in the use of each system

Using Source-Code Analysis to Help End-user Programmers Create Dependable Software

Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software. We have been working to address this problem by finding ways to provide at least some of the benefits of formal software engineering techniques to end-user programmers. In this talk, focusing on the spreadsheet application paradigm, I present several of our approaches, focusing on methodologies that utilize source-code-analysis techniques to help end-users build more dependable spreadsheets. Behind the scenes, our methodologies use static analyses such as dataflow analysis and slicing, together with dynamic analyses such as execution monitoring, to support user tasks such as validation and fault localization. I show how, to accommodate the user base of spreadsheet languages, an interface to these methodologies can be provided in a manner that does not require an understanding of the theory behind the analyses, yet supports the interactive, incremental process by which spreadsheets are created. Finally, I present empirical results gathered in the use of our methodologies that highlight several costs and benefits trade-offs, and many opportunities for future work.

ENHANCEMENT OF THE FAA’s ON-LINE WILDLIFE AIRCRAFT STRIKE DATABASE WITH AN INTERACTIVE GRAPHICS CAPABILITY

Embry-Riddle Aeronautical University (Prescott, AZ, USA) was awarded a grant from the William J. Hughes FAA Technical Center in October 1999 to develop and maintain a web site dealing with a wide variety of airport safety wildlife concerns. Initially, the web site enabled users to access related topics such as wildlife management (at/near airports), bird identification information, FAA wildlife management guidelines, education, pictures, current news, upcoming meetings and training, available jobs and discussion/forum sections. In April 2001, the web site was augmented with an on-line wildlife strike report (FAA Form 5200-7). Upon submittal on-line, “quick look” email notifications are sent to concerned government personnel. The distribution of these emails varies as to whether there was damage, human injuries/fatalities, and whether feather remains were collected and will be sent to the Smithsonian Institution for identification. In July 2002, a real-time on-line query system was incorporated to allow federal and local government agencies, airport and operator personnel, and USDA and airport wildlife biologists to access this database (which as of June 2005 contains 68,288 researched strike reports added to at a rate of approximately 500 strike reports/month) to formulate strategies to reduce the hazards wildlife present to aviation. To date (June 2005), over 15,000 on-line real-time queries were processed. In June 2004, ERAU was authorized to develop a graphical interface to this on-line query system. Current capabilities include mapping strikes (by species) on the US map, each of the contiguous 48 state maps (with AK and HI being added), and airport diagrams of the major metropolitan airports as well as the next 46 airports with the most reported strikes The latter capability depicts strikes by runway in plan as well as in elevation view. Currently under development is the ability to view time-sequenced strikes on the US map. This extensive graphical interface will give analysts the ability to view strike patterns with a wide variety of variables including species, seasons, migration patterns, etc. on US and state maps and airport diagrams.

O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained

Introdução aos sistemas aviônicos de rádio navegação

This work is focused on the subject of air radio navigation systems embedded on aircraft and in the ground stations. Initially is presented a historical context and motivation of the chosen theme. In the following chapters the basics avionics systems are presented, ADF, VOR, DME and ILS such that there is a deepening of electronics theory behind the operation of each system. In this graduate work were presented theories involved in systems such as the definition and creation of radio waves, the frequency spectrum used by each system, the modulation and demodulation of waves, the operating block diagrams of embedded receiver in the aircraft and the terrestrial source station, and the errors involved in the use of each system

Variability of the subtropical shelf front off eastern South America: Winter 2003 and summer 2004

Hydrographic data collected during surveys carried out in austral winter 2003 and summer 2004 are used to analyze the distributions of temperature (T) and salinity (S) over the continental shelf and slope of eastern South America between 27 degrees S and 39 degrees S. The water mass structure and the characteristics of the transition between subantarctic and subtropical shelf water (STSW), referred to as the subtropical shelf front (STSF), as revealed by the vertical structure of temperature and salinity are discussed. During both surveys, the front intensifies downward and extends southwestward from the near coastal zone at 33 degrees S to the shelf break at 36 degrees S. In austral winter subantarctic shelf water (SASW), derived from the northern Patagonia shelf, forms a vertically coherent cold wedge of low salinity waters that locally separate the outer shelf STSW from the fresher inner shelf Plata Plume Water (PPW) derived from the Rio de la Plata. Winter T-S diagrams and cross-shelf T and S distributions indicate that mixtures of PPW and tropical water only occur beyond the northernmost extent of pure SASW, and form STSW and an inverted thermocline characteristic of this region. In summer 2004, dilution of Tropical water (TW) occurs at two distinct levels: a warm near surface layer, associated to PPW-TW mixtures, similar to but significantly warmer than winter STSW, and a colder (T similar to 16 degrees C) salinity minimum layer at 40-50 m depth, created by SASW-STSW mixtures across the STSF. In winter, the salinity distribution controls the density structure creating a cross-shore density gradient, which prevents isopycnal mixing across the STSF. Temperature stratification in summer induces a sharp pycnocline providing cross-shelf isopycnal connections across the STSF. Cooling and freshening of the upper layer observed at stations collected along the western edge of the Brazil Current suggest offshore export of shelf waters. Low T and S filaments, evident along the shelf break in the winter data, suggest that submesoscale eddies may enhance the property exchange across the shelf break. These observations suggest that as the subsurface shelf waters converge at the STSF, they flow southward along the front and are expelled offshore, primarily along the front axis. (C) 2008 Elsevier Ltd. All rights reserved.

Petrogenesis of Cenozoic volcanic rocks in the NW sector of the Gharyan volcanic field, Libya

The north-western sector of the Gharyan volcanic field (northern Libya) consists of trachytic-phonolitic domes emplaced between similar to 41 and 38 Ma, and small-volume mafic alkaline volcanic centres (basanites, tephrites. alkali basalts. hawaiites and rare benmoreites) of Middle Miocene-Pliocene age (similar to 12-2 Ma). Two types of trachytes and phonolites have been recognized on the basis of petrography, mineralogy and geochemistry. Type-1 trachytes and phonolites display a smooth spoon-shaped REE pattern without negative Europium anomalies. Type-2 trachytes and phonolites show a remarkable Eu negative anomaly, higher concentration in HFSE (Nb-Ta-Zr-Hf), REE and Ti than Type-1 rocks. The origin of Type-1 trachytes and phonolites is compatible with removal of clinopyroxene, plagioclase, alkali feldspar, amphibole. magnetite and titanite starting from benmoreitic magmas. found in the same outcrops. Type-2 trachytes and phonolites could be the result of extensive fractional crystallization starting from mafic alkaline magma, without removal of titanite. In primitive mantle-normalized diagrams, the mafic rocks (Mg#= 62-68, Cr up to 514 ppm, Ni up to 425 ppm) show peaks at Nb and Ta and troughs at K. These characteristics, coupled with low Sr-87/Sr-86(i) (0.7033-0.7038) and positive epsilon(Nd) (from +4.2 to + 5.3) features typical of the mafic anorogenic magmas of the northern African plate and of HIMU-OIB-like magma in general. The origin of the mafic rocks is compatible from a derivation from low degree partial melting (3-9%) shallow mantle sources in the spinel/gamet facies. placed just below the rigid plate in the uppermost low-velocity zone. The origin of the igneous activity is considered linked to passive lithospheric thinning related to the development of continental rifts like those of Sicily Channel (e.g.. Pantelleria and Linosa) and Sardinia (e.g., Campidano Graben) in the Central-Western Mediterranean Sea. (C) 2012 Elsevier B.V. All rights reserved.

Plasmid DNA partitioning and separation using poly(ethylene glycol)/poly(acrylate)/salt aqueous two-phase systems

Phase diagrams of poly(ethylene glycol)/polyacrylate/Na2SO4 systems have been investigated with respect to polymer size and pH. Plasmid DNA from Escherichia coil can depending on pH and polymer molecular weight be directed to a poly(ethylene glycol) or to a polyacrylate-rich phase in an aqueous two-phase system formed by these polymers. Bovine serum albumin (BSA) and E. coil homogenate proteins can be directed opposite to the plasmid partitioning in these systems. Two bioseparation processes have been developed where in the final step the pDNA is partitioned to a salt-rich phase giving a total process yield of 60-70%. In one of them the pDNA is partitioned between the polyacrylate and PEG-phases in order to remove proteins. In a more simplified process the plasmid is partitioned to a PEG-phase and back-extracted into a Na2SO4-rich phase. The novel polyacrylate/PEG system allows a strong change of the partitioning between the phases with relatively small changes in composition or pH. (C) 2012 Elsevier B.V. All rights reserved.

Semiotics of Communication: From Semiosis of Nature to Culture

Communication Studies currently undergoes a crisis of paradigms that requires an ontological review that must begin with a debate about the conditions of possibility of every communicational phenomena. In this article we argue that semiosis offers a conceptual framework that allows for the study of communication as qualitative action. Semiosis, or the action of the sign, is here defined as a fundamental process based on perception that models the world of species, creating cognition and culture. At the core of semiosis are dynamic structures that the authors have defined as 'ontological diagrams'. The first purpose of Semiotics of Communication is to understand how these modeling systems evolve ontologically and phylogenically, producing, in the case of human culture, means of communication ever more varied and technologically advanced.

Study of cerebral gene expression densities using Voronoi analysis

As the available public cerebral gene expression image data increasingly grows, the demand for automated methods to analyze such large amount of data also increases. An important study that can be carried out on these data is related to the spatial relationship between gene expressions. Similar spatial density distribution of expression between genes may indicate they are functionally correlated, thus the identification of these similarities is useful in suggesting directions of investigation to discover gene interactions and their correlated functions. In this paper, we describe the use of a high-throughput methodology based on Voronoi diagrams to automatically analyze and search for possible local spatial density relationships between gene expression images. We tested this method using mouse brain section images from the Allen Mouse Brain Atlas public database. This methodology provided measurements able to characterize the similarity of the density distribution between gene expressions and allowed the visualization of the results through networks and Principal Component Analysis (PCA). These visualizations are useful to analyze the similarity level between gene expression patterns, as well as to compare connection patterns between region networks. Some genes were found to have the same type of function and to be near each other in the PCA visualizations. These results suggest cerebral density correlations between gene expressions that could be further explored. (C) 2011 Elsevier B.V. All rights reserved.

Dissipation effects in random transverse-field Ising chains

We study the effects of Ohmic, super-Ohmic, and sub-Ohmic dissipation on the zero-temperature quantum phase transition in the random transverse-field Ising chain by means of an (asymptotically exact) analytical strong-disorder renormalization-group approach. We find that Ohmic damping destabilizes the infinite-randomness critical point and the associated quantum Griffiths singularities of the dissipationless system. The quantum dynamics of large magnetic clusters freezes completely, which destroys the sharp phase transition by smearing. The effects of sub-Ohmic dissipation are similar and also lead to a smeared transition. In contrast, super-Ohmic damping is an irrelevant perturbation; the critical behavior is thus identical to that of the dissipationless system. We discuss the resulting phase diagrams, the behavior of various observables, and the implications to higher dimensions and experiments.

Probing the anomalous extinction of four young star clusters: the use of colour-excess, main-sequence fitting and fractal analysis

Aims. We studied four young star clusters to characterise their anomalous extinction or variable reddening and asses whether they could be due to contamination by either dense clouds or circumstellar effects. Methods. We evaluated the extinction law (R-V) by adopting two methods: (i) the use of theoretical expressions based on the colour-excess of stars with known spectral type; and (ii) the analysis of two-colour diagrams, where the slope of the observed colour distribution was compared to the normal distribution. An algorithm to reproduce the zero-age main-sequence (ZAMS) reddened colours was developed to derive the average visual extinction (A(V)) that provides the closest fit to the observational data. The structure of the clouds was evaluated by means of a statistical fractal analysis, designed to compare their geometric structure with the spatial distribution of the cluster members. Results. The cluster NGC 6530 is the only object of our sample affected by anomalous extinction. On average, the other clusters suffer normal extinction, but several of their members, mainly in NGC 2264, seem to have high R-V, probably because of circumstellar effects. The ZAMS fitting provides A(V) values that are in good agreement with those found in the literature. The fractal analysis shows that NGC 6530 has a centrally concentrated distribution of stars that differs from the substructures found in the density distribution of the cloud projected in the A(V) map, suggesting that the original cloud was changed by the cluster formation. However, the fractal dimension and statistical parameters of Berkeley 86, NGC 2244, and NGC 2264 indicate that there is a good cloud-cluster correlation, when compared to other works based on an artificial distribution of points.

Predicting Delta Ferrite Content in Stainless Steel Castings

The distribution of delta ferrite fraction was measured with the magnetic method in specimens of different stainless steel compositions cast by the investment casting (lost wax) process. Ferrite fraction measurements published in the literature for stainless steel cast samples were added to the present work data, enabling an extensive analysis about practical methods to calculate delta ferrite fractions in stainless steel castings. Nineteen different versions of practical methods were formed using Schaeffler, DeLong, and Siewert diagrams and the nickel and chromium equivalent indexes suggested by several authors. These methods were evaluated by a detailed statistical analysis, showing that the Siewert diagram, including its equivalent indexes and iso-ferrite lines, gives the lowest relative errors between calculated and measured delta ferrite fractions. Although originally created for stainless steel welds, this diagram gives relative errors lower than those for the current ASTM standard method (800/A 800M-01), developed to predict ferrite fractions in stainless steel castings. Practical methods originated from a combination of different chromium/nickel equivalent indexes and the iso-ferrite lines from Schaeffler diagram give the lowest relative errors when compared with combinations using other iso-ferrite line diagrams. For the samples cast in the present work, an increase in cooling rate from 0.78 to 2.7 K/s caused a decrease in the delta ferrite fraction, but a statistical hypothesis test revealed that this effect is significant in only 50% of the samples that have ferrite in their microstructures.

The young stellar cluster [DBS2003] 157 associated with the H ii region GAL 331.31-00.34

We report a study of the stellar content of the near-infrared (NIR) cluster [DBS2003] 157 embedded in the extended H ii region GAL 331.31-00.34, which is associated with the IRAS source 16085-5138. JHK photometry was carried out in order to identify potential ionizing candidates, and the follow-up NIR spectroscopy allowed the spectral classification of some sources, including two O-type stars. A combination of NIR photometry and spectroscopy data was used to obtain the distance of these two stars, with the method of spectroscopic parallax: IRS 298 (O6 V, 3.35 +/- 0.61 kpc) and IRS 339 (O9 V, 3.24 +/- 0.56 kpc). Adopting the average distance of 3.29 +/- 0.58 kpc and comparing the Lyman continuum luminosity of these stars with that required to account for the radio continuum flux of the H ii region, we conclude that these two stars are the ionizing sources of GAL 331.31-00.34. Young stellar objects (YSOs) were searched by using our NIR photometry and mid-infrared (MIR) data from the Galactic Legacy Infrared Mid-Plane Survey Extraordinaire (GLIMPSE) survey. The analysis of NIR and MIR colourcolour diagrams resulted in 47 YSO candidates. The GLIMPSE counterpart of IRAS 16085-5138, which presents IRAS colour indices compatible with an ultracompact H ii region, has been identified. The analysis of its spectral energy distribution between 2 and m revealed that this source shows a spectral index a= 3.6 between 2 and m, which is typical of a YSO immersed in a protostellar envelope. Lower limits to the bolometric luminosity and the mass of the embedded protostar have been estimated as L= 7.7 x 10(3) L? and M= 10 M?, respectively, which correspond to a B0B1 V zero-age main sequence star.