Programs to compute magnetization to density ratio and the magnetization inclination from 3-D gravity and magnetic anomalies

Vector field formulation based on the Poisson theorem allows an automatic determination of rock physical properties (magnetization to density ratio-MDR-and the magnetization inclination-MI) from combined processing of gravity and magnetic geophysical data. The basic assumptions (i.e., Poisson conditions) are: that gravity and magnetic fields share common sources, and that these sources have a uniform magnetization direction and MDR. In addition, the previously existing formulation was restricted to profile data, and assumed sufficiently elongated (2-D) sources. For sources that violate Poisson conditions or have a 3-D geometry, the apparent values of MDR and MI that are generated in this way have an unclear relationship to the actual properties in the subsurface. We present Fortran programs that estimate MDR and MI values for 3-D sources through processing of gridded gravity and magnetic data. Tests with simple geophysical models indicate that magnetization polarity can be successfully recovered by MDR-MI processing, even in cases where juxtaposed bodies cannot be clearly distinguished on the basis of anomaly data. These results may be useful in crustal studies, especially in mapping magnetization polarity from marine-based gravity and magnetic data. (c) 2007 Elsevier Ltd. All rights reserved.

A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.

Introducing Undergraduate Students to Science

Understanding the scientific method fosters the development of critical thinking and logical analysis of information. Additionally, proposing and testing a hypothesis is applicable not only to science, but also to ordinary facts of daily life. Knowing the way science is done and how its results are published is useful for all citizens and mandatory for science students. A 60-h course was created to offer undergraduate students a framework in which to learn the procedures of scientific production and publication. The course`s main focus was biochemistry, and it was comprised of two modules. Module I dealt with scientific articles, and Module II with research project writing. Module I covered the topics: 1) the difference between scientific knowledge and common sense, 2) different conceptions of science, 3) scientific methodology, 4) scientific publishing categories, 5) logical principles, 6) deductive and inductive approaches, and 7) critical reading of scientific articles. Module II dealt with 1) selection of an experimental problem for investigation, 2) bibliographic revision, 3) materials and methods, 4) project writing and presentation, 5) funding agencies, and 6) critical analysis of experimental results. The course adopted a collaborative learning strategy, and each topic was studied through activities performed by the students. Qualitative and quantitative course evaluations with Likert questionnaires were carried out at each stage, and the results showed the students` high approval of the course. The staff responsible for course planning and development also evaluated it positively. The Biochemistry Department of the Chemistry Institute of the University of Sao Paulo has offered the course four times.

Have Biofuel, Will Travel: A Colorful Experiment and a Different Approach To Teach the Undergraduate Laboratory

The substitution of petroleum-based fuels with those from renewable sources has gained momentum worldwide. A UV-vis experiment for the quantitative analysis of biofuels (bioethanol or biodiesel) in (petroleum-based) diesel oil has been developed. Before the experiment, students were given a quiz on biofuels, and then they were asked to suggest a suitable UV-vis experiment for the quantification of biofuels in diesel oil. After discussing the results of the quiz, the experiment was conducted. This included the determination of lambda(max) of the medium-dependent, that is, solvatochromic, visible absorption band of the probe 2,6-bis[4-(tert-butyl)phenyl]-4-{2,4,6-tris[4-(tert-butyl)phenyl]pyridinium-1-yl}phenolate as a function of fuel composition. The students appreciated that the subject was linked to a daily situation and that they were asked to suggest the experiment. This experiment served to introduce the phenomena of solvation and solvatochromism.