Compilation statique de Java

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

A stereo-image analysis JAVA software with links to executable and source code

Scientists planning to use underwater stereoscopic image technologies are often faced with numerous problems during the methodological implementations: commercial equipment is too expensive; the setup or calibration is too complex; or the imaging processing (i.e. measuring objects in the stereo-images) is too complicated to be performed without a time-consuming phase of training and evaluation. The present paper addresses some of these problems and describes a workflow for stereoscopic measurements for marine biologists. It also provides instructions on how to assemble an underwater stereo-photographic system with two digital consumer cameras and gives step-by-step guidelines for setting up the hardware. The second part details a software procedure to correct stereo-image pairs for lens distortions, which is especially important when using cameras with non-calibrated optical units. The final part presents a guide to the process of measuring the lengths (or distances) of objects in stereoscopic image pairs. To reveal the applicability and the restrictions of the described systems and to test the effects of different types of camera (a compact camera and an SLR type), experiments were performed to determine the precision and accuracy of two generic stereo-imaging units: a diver-operated system based on two Olympus Mju 1030SW compact cameras and a cable-connected observatory system based on two Canon 1100D SLR cameras. In the simplest setup without any correction for lens distortion, the low-budget Olympus Mju 1030SW system achieved mean accuracy errors (percentage deviation of a measurement from the object's real size) between 10.2 and -7.6% (overall mean value: -0.6%), depending on the size, orientation and distance of the measured object from the camera. With the single lens reflex (SLR) system, very similar values between 10.1% and -3.4% (overall mean value: -1.2%) were observed. Correction of the lens distortion significantly improved the mean accuracy errors of either system. Even more, system precision (spread of the accuracy) improved significantly in both systems. Neither the use of a wide-angle converter nor multiple reassembly of the system had a significant negative effect on the results. The study shows that underwater stereophotography, independent of the system, has a high potential for robust and non-destructive in situ sampling and can be used without prior specialist training.

Asian green mussels (Perna viridis) transplanted between Jakarta Bay and Lada Bay, West Java, Indonesia (April 2012 - November 2013)

The Asian green mussel Perna viridis is tolerant to environmental stress, but its robustness varies between populations from habitats that differ in quality. So far, it is unclear whether local adaptations through stressinduced selection or phenotypic plasticity are responsible for these inter-population differences. We tested for the relevance of both mechanisms by comparing survival under hypoxia in mussels that were transplanted from an anthropogenically impacted (Jakarta Bay, Indonesia) to a natural habitat (Lada Bay, Indonesia) and vice versa. Mussels were retrieved 8 weeks after transplantation and exposed to hypoxia in the laboratory. Additional hypoxia tests were conducted with juvenile mussels collected directly from both sites. To elucidate possible relationships between habitat quality and mussel tolerance, we monitored concentrations of inorganic nutrients, temperature, dissolved oxygen, salinity, phytoplankton density and the mussels' body condition index (BCI) for 20 months before, during and after the experiments. Survival under hypoxia depended mainly on the quality of the habitat where the mussels lived before the hypoxia tests and only to a small degree on their site of origin. Furthermore, stress tolerance was only higher in Jakarta than in Lada Bay mussels when the BCIs were substantially higher, which in turn correlated with the phytoplankton densities. We explain why phenotypic plasticity and high BCIs are more likely the causes of populationspecific differences in hypoxia tolerance in P. viridis than stress-induced selection for robust genotypes. This is relevant to understanding the role of P. viridis as mariculture organism in eutrophic ecosystems and invasive species in the (sub)tropical world.

Calcite saturation and dissolution index of core-top sediment samples from the Ontong Java Plateau, Mid-Atlantic Ridge, the Caribbean and the Ceara Rise, the Indian Ocean, the Ninety-East Ridge and from the east of Madagascar

X-ray computed tomography (CT) provides an insight into the progression of dissolution in the tests of planktonic foraminifera. Four species of foraminifera (G. ruber [white], G. sacculifer, N. dutertrei and P. obliquiloculata) from Pacific, Atlantic and Indian Ocean core-top samples were examined by CT and SEM. Inner chamber walls began to dissolve at Delta[CO3**2-] values of 12-14 µmol/kg. Close to the calcite saturation horizon, dissolution and precipitation of calcite may occur simultaneously. Inner calcite of G. sacculifer, N. dutertrei and P. obliquiloculata from such sites appeared altered or replaced, whereas outer crust calcite was dense with no pores. Unlike the other species, there was no distinction between inner and outer calcite in CT scans of G. ruber. Empty calcite crusts of N. dutertrei and P. obliquiloculata were most resistant to dissolution and were present in samples where Delta[CO3**2-] ~ -20 µmol/kg. Five stages of preservation were identified in CT scans, and an empirical dissolution index, XDX, was established. XDX appears to be insensitive to initial test mass. Mass loss in response to dissolution was similar between species and sites at ~ 0.4 µg/µmol/kg. We provide calibrations to estimate Delta[CO3**2-] and initial test mass from XDX.

Hydrochemical properties of groundwater samples in Semarang area, Java Island, Indonesia (1992, 1993, 2003, 2006, and 2007)

In Semarang City, groundwater has been exploited as a natural resource since 1841. The groundwater exploited in deep wells is concentrated in confined aquifers. The previous hydrogeological model was developed in one unit of aquifer and refined then by using several hydrostratigraphical units following a regional hydrogeological map without any further analysis. At present, there is a lack of precise hydrogeological model which integrates geological and hydrogeological data, in particular for multiple aquifers in Semarang. Thus, the aim of this paper is to develop a hydrogeological model for the multiple aquifers in Semarang using an integrated data approach. Groundwater samples in the confined aquifers have been analyzed to define the water type and its lateral distribution. Two hydrogeological cross sections were then created based on several borelog data to define a hydrostratigraphical unit (HSU). The HSU result indicates the hydrogeological model of Semarang consists of two aquifers, three aquitards, and one aquiclude. Aquifer 1 is unconfined, while Aquifer 2 is confined. Aquifer 2 is classified into three groups (2a, 2b, and 2c) based on analyses of major ion content and hydrostratigraphical cross sections.

Planktonic foraminiferal flux and shell geochemistry data in the sediment trap time series JAM 1-3 off south Java

Results from sediment trap experiments conducted in the seasonal upwelling area off south Java from November 2000 until July 2003 revealed significant monsoon-, El Niño-Southern Oscillation-, and Indian Ocean Dipole-induced seasonal and interannual variations in flux and shell geochemistry of planktonic foraminifera. Surface net primary production rates together with total and species-specific planktonic foraminiferal flux rates were highest during the SE monsoon-induced coastal upwelling period from July to October, with three species Globigerina bulloides, Neogloboquadrina pachyderma dex., and Globigerinita glutinata contributing to 40% of the total foraminiferal flux. Shell stable oxygen isotopes (d18O) and Mg/Ca data of Globigerinoides ruber sensu stricto (s.s.), G. ruber sensu lato (s.l.), Neogloboquadrina dutertrei, Pulleniatina obliquiloculata, and Globorotalia menardii in the sediment trap time series recorded surface and subsurface conditions. We infer habitats of 0-30 m for G. ruber at the mixed layer depth, 60-80 m (60-90 m) for P. obliquiloculata (N. dutertrei) at the upper thermocline depth, and 90-110 m (100-150 m) for G. menardii in the 355-500 mm (>500 µm) size fraction corresponding to the (lower) thermocline depth in the study area. Shell Mg/Ca ratio of G. ruber (s.l. and s.s.) reveals an exponential relationship with temperature that agrees with published relationships particularly with the Anand et al. (2003) equations. Flux-weighted foraminiferal data in sediment trap are consistent with average values in surface sediment samples off SW Indonesia. This consistency confirms the excellent potential of these proxies for reconstructing past environmental conditions in this part of the ocean realm.

Concentrations and abundance ratios of long-chain alkenones and glycerol dialkyl glycerol tetraethers in sinking particles south of Java

In this study, we obtained concentrations and abundance ratios of long-chain alkenones and glycerol dialkyl glycerol tetraethers (GDGTs) in a one-year time-series of sinking particles collected with a sediment trap moored from December 2001 to November 2002 at 2200 m water depth south of Java in the eastern Indian Ocean. We investigate the seasonality of alkenone and GDGT fluxes as well as the potential habitat depth of the Thaumarchaeota producing the GDGTs entrained in sinking particles. The alkenone flux shows a pronounced seasonality and ranges from 1 µg m-**2 d**-1 to 35 µg m**-2 d**-1. The highest alkenone flux is observed in late September during the Southeast monsoon, coincident with high total organic carbon fluxes as well as high net primary productivity. Flux-weighted mean temperature for the high flux period using the alkenone-based sea-surface temperature (SST) index UK'37 is 26.7°C, which is similar to satellite-derived Southeast (SE) monsoon SST (26.4°C). The GDGT flux displays a weaker seasonality than that of the alkenones. It is elevated during the SE monsoon period compared to the Northwest (NW) monsoon and intermonsoon periods (approximately 2.5 times), which is probably related to seasonal variation of the abundance of Thaumarchaeota, or to enhanced export of GDGTs by aggregation with sinking phytoplankton detritus. Flux-weighted mean temperature inferred from the GDGT-based TEXH86 index is 26.2°C, which is 1.8 °C lower than mean annual (ma) SST but similar to SE monsoon SST. As the time series of TEXH86 temperature estimates, however, does not record a strong seasonal amplitude, we infer that TEXH86 reflects ma upper thermocline temperature at approximately 50 m water depth.

Jigsaw Java: Intelligent, Automated Marking

The popularity of Computing degrees in the UK has been increasing significantly over the past number of years. In Northern Ireland, from 2007 to 2015, there has been a 40% increase in acceptances to Computer Science degrees with England seeing a 60% increase over the same period (UCAS, 2016). However, this is tainted as Computer Science degrees also continue to maintain the highest dropout rates.
In Queen’s University Belfast we currently have a Level 1 intake of over 400 students across a number of computing pathways. Our drive as staff is to empower and motivate the students to fully engage with the course content. All students take a Java programming module the aim of which is to provide an understanding of the basic principles of object-oriented design. In order to assess these skills, we have developed Jigsaw Java as an innovative assessment tool offering intelligent, semi-supervised automated marking of code.
Jigsaw Java allows students to answer programming questions using a drag-and-drop interface to place code fragments into position. Their answer is compared to the sample solution and if it matches, marks are allocated accordingly. However, if a match is not found then the corresponding code is executed using sample data to determine if its logic is acceptable. If it is, the solution is flagged to be checked by staff and if satisfactory is saved as an alternative solution. This means that appropriate marks can be allocated and should another student have submitted the same placement of code fragments this does not need to be executed or checked again. Rather the system now knows how to assess it.
Jigsaw Java is also able to consider partial marks dependent on code placement and will “learn” over time. Given the number of students, Jigsaw Java will improve the consistency and timeliness of marking.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Valutazione dell’efficacia di barriere chimiche contro l’umidita’ da risalita capillare nelle murature mediante modelli di laboratorio

La risalita capillare di umidità nelle murature storiche è la principale responsabile del degrado dei materiali. La metodologia ad oggi più utilizzata in tale campo è quella basata sull’iniezione di prodotti chimici in grado di formare barriere artificiali che blocchino il flusso ascendente dell’acqua, ma è ancora in fase di perfezionamento. Per potere svolgere tale perfezionamento, è utile disporre di una metodologia attendibile per la valutazione dell’esito dei trattamenti, ossia un metodo standardizzato che possa garantire una corretta misurazione del contenuto di umidità nelle murature pre e post iniezioni. Nella presente tesi, che ha lo scopo di valutare l’efficacia di alcuni prodotti per barriere chimiche nelle murature, si è utilizzato un metodo di laboratorio standardizzato proposto dai ricercatori del LASTM (DICAM), che permette di riprodurre in laboratorio il processo di risalita dell’umidità e, allo stesso tempo, permette di potere svolgere le misurazioni del contenuto d’acqua interno ai materiali con il metodo diretto. I trattamenti, svolti in collaborazione con la Azienda inglese “Safeguard”, produttrice di resine impermeabilizzanti, sono stati effettuati su vari modelli, costituiti di laterizi e malta, preventivamente sottoposti a differenti condizioni ambientali. Successivamente si è svolto un monitoraggio periodico per potere determinare sia l’efficacia dell’intervento che l’attendibilità del modello. Dopo avere studiato un sistema di controllo delle condizioni di laboratorio, si è ritenuto opportuno svolgere anche alcune prove di caratterizzazione dei materiali utilizzati nella costruzione dei vari modelli, per conoscerne appieno le caratteristiche e potere valutare con maggiore attendibilità i risultati dei trattamenti. Infine, per approfondire le dinamiche di diffusione dei formulati chimici all’interno dei materiali, si sono svolte prove su travetti di malta.

From Kandinsky to Java (The Use of 20th Century Abstract Art in Learning Programming)

At the University of Worcester we are continually striving to find new approaches to the learning and teaching of programming, to improve the quality of learning and the student experience. Over the past three years we have used the contexts of robotics, computer games, and most recently a study of Abstract Art to this end. This paper discusses our motivation for using Abstract Art as a context, details our principles and methodology, and reports on an evaluation of the student experience. Our basic tenet is that one can view the works of artists such as Kandinsky, Klee and Malevich as Object-Oriented (OO) constructions. Discussion of these works can therefore be used to introduce OO principles, to explore the meaning of classes, methods and attributes and finally to synthesize new works of art through Java code. This research has been conducted during delivery of an “Advanced OOP (Java)” programming module at final-year Undergraduate level, and during a Masters’ OO-Programming (Java) module. This allows a comparative evaluation of novice and experienced programmers’ learning. In this paper, we identify several instructional factors which emerge from our approach, and reflect upon the associated pedagogy. A Catalogue of ArtApplets is provided at the associated web-site.