Particle size spectrum analysis during Maria S. Merian cruise MSM26, spring 2013

A Laser In-Situ Scattering Transmissometer (LISST) was used to collect vertical distribution data of particles from 2.5 to 500 µm in size. The LISST uses a multi-ring detector to measure scattering light of particles from a laser diode. Particles are classified into 32 log-spaced bins and the concentration of each bin is calculated as micro-liters per liter (µl/l). The instrument is rated to a depth of 300 m, and also records temperature and pressure. The sample interval was set to record every second. The LISST was attached to the LOPC frame to conduct casts and allow for particle-size comparisons between the two instruments. The LOPC is rated to a depth of 2000 m, thus a short deployment to a depth of 300 m was first conducted with both instruments. The instruments were then returned to the deck and the LISST removed via a quick release bracket so deep LOPC casts could be continued at a station. Raw LISST size-spectrum data is presented as concentrations for each of the 32 size bins for every second of the cast.

Grid-based histogram arithmetic for the probabilistic analysis of functions

The selection of predefined analytic grids (partitions of the numeric ranges) to represent input and output functions as histograms has been proposed as a mechanism of approximation in order to control the tradeoff between accuracy and computation times in several áreas ranging from simulation to constraint solving. In particular, the application of interval methods for probabilistic function characterization has been shown to have advantages over other methods based on the simulation of random samples. However, standard interval arithmetic has always been used for the computation steps. In this paper, we introduce an alternative approximate arithmetic aimed at controlling the cost of the interval operations. Its distinctive feature is that grids are taken into account by the operators. We apply the technique in the context of probability density functions in order to improve the accuracy of the probability estimates. Results show that this approach has advantages over existing approaches in some particular situations, although computation times tend to increase significantly when analyzing large functions.

Interval-based resource usage verification: Formalization and prototype

In an increasing number of applications (e.g., in embedded, real-time, or mobile systems) it is important or even essential to ensure conformance with respect to a specification expressing resource usages, such as execution time, memory, energy, or user-defined resources. In previous work we have presented a novel framework for data size-aware, static resource usage verification. Specifications can include both lower and upper bound resource usage functions. In order to statically check such specifications, both upper- and lower-bound resource usage functions (on input data sizes) approximating the actual resource usage of the program which are automatically inferred and compared against the specification. The outcome of the static checking of assertions can express intervals for the input data sizes such that a given specification can be proved for some intervals but disproved for others. After an overview of the approach in this paper we provide a number of novel contributions: we present a full formalization, and we report on and provide results from an implementation within the Ciao/CiaoPP framework (which provides a general, unified platform for static and run-time verification, as well as unit testing). We also generalize the checking of assertions to allow preconditions expressing intervals within which the input data size of a program is supposed to lie (i.e., intervals for which each assertion is applicable), and we extend the class of resource usage functions that can be checked.

Online games for the teaching of mathematics

In this article we present a didactic experience developed by the GIE (Group of Educational Innovation) “Pensamiento Matemático” of the Polytechnics University of Madrid (UPM), in order to bring secondary students and university students closer to Mathematics. It deals with the development of a virtual board game called Mate-trivial. The mechanics of the game is to win points by going around the board which consists of four types of squares identified by colours: “Statistics and Probability”, “Calculus and Analysis”, “Algebra and Geometry” and “Arithmetic and Number Theory ”. When landing on a square, a question of its category is set out: a correct answer wins 200 points, if wrong it loses 100 points, and not answering causes no effect on the points, but all the same, two minutes out of the 20 minutes that each game lasts are lost. For the game to be over it is necessary, before those 20 minutes run out, to reach the central square and succeed in the final task: four chained questions, one of each type, which must be all answered correctly. It is possible to choose between two levels to play: Level 1, for pre-university students and Level 2 for university students. A prototype of the game is available at the website “Aula de Pensamiento Matemático” developed by the GIE: http://innovacioneducativa.upm.es/pensamientomatematico/. This activity lies within a set of didactic actions which the GIE is developing in the framework of the project “Collaborative Strategies between University and Secondary School Education for the teaching and learning of Mathematics: An Application to solve problems while playing”, a transversal project financed by the UPM.

Analysis of digital chaotic optical signals

The main objective of this paper is to present some tools to analyze a digital chaotic signal. We have proposed some of them previously, as a new type of phase diagrams with binary signals converted to hexadecimal. Moreover, the main emphasis will be given in this paper to an analysis of the chaotic signal based on the Lempel and Ziv method. This technique has been employed partly by us to a very short stream of data. In this paper we will extend this method to long trains of data (larger than 2000 bit units). The main characteristics of the chaotic signal are obtained with this method being possible to present numerical values to indicate the properties of the chaos.

Factor analysis for metal grade exploration at Pallancata Vein in Peru

Se investiga la distribución espacial de contenidos metálicos analizados sobre testigos de sondeos obtenidos en las campañas de exploración de la Veta Pallancata. Se aplica el análisis factorial a dicha distribución y a los cocientes de los valores metálicos, discriminando los que están correlacionados con la mineralización argentífera y que sirven como guías de exploración para hallar zonas de potenciales reservas por sus gradientes de variación.Abstract:The metal distribution in a vein may show the paths of hydrothermal fluid flow at the time of mineralization. Such information may assist for in-fill drilling. The Pallancata Vein has been intersected by 52 drill holes, whose cores were sampled and analysed, and the results plotted to examine the mineralisation trends. The spatial distribution of the ore is observed from the logAg/logPb ratio distribution. Au is in this case closely related to Ag (electrum and uytenbogaardtite, Ag3AuS2 ). The Au grade shows the same spatial distribution as the Ag grade. The logAg/logPb ratio distribution also suggests possible ore to be expected at deeper locations. Shallow supergene Ag enrichment was also observed.

Physics and Mathematics in the Engineering Curriculum: Correlation with Applied Subjects

This paper presents a study in which the relationship between basic subjects (Mathematics and Physics) and applied engineering subjects (related to Machinery, Electrical Engineering, Topography and Buildings) in higher engineering education curricula is evaluated. The analysis has been conducted using the academic records of 206 students for five years. Furthermore, 34 surveys and personal interviews were conducted to analyze the connections between the contents taught in each subject and to identify student perceptions of the correlation with other subjects or disciplines. At the same time, the content of the different subjects have been analyzed to verify the relationship among the disciplines.Aproper coordination among subjects will allow students to relate and interconnect topics of different subjects, even with the ones learnt in previous courses, while also helping to reduce dropout rates and student failures in successfully accomplishing the different courses.

Stability Analysis of Teleoperation System by State Convergence with Variable Time Delay

We propose a novel control scheme for bilateral teleoperation of n degree-of-freedom (DOF) nonlinear robotic systems with time-varying communication delay. A major contribution from this work lies in the demonstration that the structure of a state convergence algorithm can be also applied to nth-order nonlinear teleoperation systems. By choosing a Lyapunov Krasovskii functional, we show that the local-remote teleoperation system is asymptotically stable. The time delay of communication channel is assumed to be unknown and randomly time varying, but the upper bounds of the delay interval and the derivative of the delay are assumed to be known.

Use of the energy-release rate in a 2 scale damage analysis of a bonded joint

Stress singularities appear at the extremities of an adhesive bond. They can produce a damage mechanism that we assimilate in this Note to a crack. The energy release rate permits to characterize its evolution. But a very refined mesh would be necessary for a real structure. Using an asymptotic method based on the small thickness of the bond a limit model with a different local behaviour is suggested. It leads to an approximation of the energy release rate

Asymptotic analysis of vertical geothermal boreholes in the limit of slowly varyng heat injection rates

Theoretical models for the thermal response of vertical geothermal boreholes often assume that the characteristic time of variation of the heat injection rate is much larger than the characteristic diffusion time across the borehole. In this case, heat transfer inside the borehole and in its immediate surroundings is quasi-steady in the first approximation, while unsteady effects enter only in the far field. Previous studies have exploited this disparity of time scales, incorporating approximate matching conditions to couple the near-borehole region with the outer unsteady temperatura field. In the present work matched asymptotic expansion techniques are used to analyze the heat transfer problem, delivering a rigorous derivation of the true matching condition between the two regions and of the correct definition of the network of thermal resistances that represents the quasi-steady solution near the borehole. Additionally, an apparent temperature due to the unsteady far field is identified that needs to be taken into account by the near-borehole region for the correct computation of the heat injection rate. This temperature differs from the usual mean borehole temperature employed in the literatura.

Prevalence of germ-line mutations in p16, p19ARF, and CDK4 in familial melanoma: analysis of a clinic-based population.

Five to ten percent of individuals with melanoma have another affected family member, suggesting familial predisposition. Germ-line mutations in the cyclin-dependent kinase (CDK) inhibitor p16 have been reported in a subset of melanoma pedigrees, but their prevalence is unknown in more common cases of familial melanoma that do not involve large families with multiple affected members. We screened for germ-line mutations in p16 and in two other candidate melanoma genes, p19ARF and CDK4, in 33 consecutive patients treated for melanoma; these patients had at least one affected first or second degree relative (28 independent families). Five independent, definitive p16 mutations were detected (18%, 95% confidence interval: 6%, 37%), including one nonsense, one disease-associated missense, and three small deletions. No mutations were detected in CDK4. Disease-associated mutations in p19ARF, whose transcript is derived in part from an alternative codon reading frame of p16, were only detected in patients who also had mutations inactivating p16. We conclude that germ-line p16 mutations are present in a significant fraction of individuals who have melanoma and a positive family history.

Hyperplane arrangements, interval orders, and trees.

A hyperplane arrangement is a finite set of hyperplanes in a real affine space. An especially important arrangement is the braid arrangement, which is the set of all hyperplanes xi - xj = 1, 1 interval orders and with the enumeration of trees. For instance, the number of labeled interval orders that can be obtained from n intervals I1,..., In of generic lengths is counted. There is also discussed an arrangement due to N. Linial whose number of regions is the number of alternating (or intransitive) trees, as defined by Gelfand, Graev, and Postnikov [Gelfand, I. M., Graev, M. I., and Postnikov, A. (1995), preprint]. Finally, a refinement is given, related to counting labeled trees by number of inversions, of a result of Shi [Shi, J.-Y. (1986), Lecture Notes in Mathematics, no. 1179, Springer-Verlag] that a certain deformation of the braid arrangement has (n + 1)n-1 regions.