Kawah Ijen (2386 m) is a stratovolcano located within Ijen Caldera, at the easternmost<p>part of Java island in Indonesia. Since 2010, the volcano has been equipped with seismometers<p>and several sensors (temperature and level) have been immersed in its acidic lake waters and in the acidic river seeping on the volcano flanks. While finding instruments capable of resisting to such extreme conditions (pH~0) has been challenging, the coupling of lake monitoring techniques with seismic data improves the knowledge of the volcanic-hydrothermal dynamics. Moreover, the monitoring capabilities have been considerably<p>enhanced supporting the decision-making of the authorities in case of emergency.<p><p>Several methods and processing techniques were used to analyze the seismic data. Much effort has been given to implement the seismic velocities (Moving Window Cross Spectral Analysis (MWCSA)) calculations. At Kawah Ijen, the frequency band that is less affected by the volcanic tremor and the seasonal fluctuations at the source ranges between 0.5-1.0 Hz. Moreover, a stack of 5 days for the current CCF gives reliable results with low errors and allows to detect fluctuations which are missed using a 10-day stack.<p><p>The background seismic activity mostly consists in low frequency events and a continuous tremor of low amplitude. Fluctuations of the lake temperature and level result from the recharge of the hydrothermal system during the rainy season. Kawah Ijen lake waters are not perfectly mixed and a shallow stratification occurs during the rainy season, because meteoric waters are less dense than the lake fluids.<p><p>Different unrest occurred during our study. Some of them strongly affected the volcanic lake, while others did only weakly. In the first category, a strong unrest commenced in October 2011 with heightened VT (Volcano Tectonic) earthquakes and low frequency events activity, which culminated mid-December 2011. This unrest was correlated with an enhanced heat and hydrothermal fluids discharge to the crater and significant variations of the relative velocities (~1%). This suggests an important build-up of stress into the system. VT earthquakes opened pathways for the fluids to ascend, by increasing the permeability of the system, which latter allowed the initiation of monochromatic tremor (MT) when the steam/gases interacted with the shallow portions of the aquifer. Our calculations evidence a higher contribution of steam in March 2012 that might explain the increase of the MT frequency when bubbles were observed at the lake surface. This period was also characterized by short-lived but strong velocity variations, related to water level<p>rises containing important amount of bubbles, and important heat and mass discharges<p>into the lake. On the contrary, the second category of unrest did only slightly affect the<p>lake system. This could be explained by a dryer hydrothermal system and/or locations of<p>the seismic sources, which were not directly linked to the lake.<p><p>While a magmatic eruption will likely be preceded by a strong seismic activity, the major challenges remain to understand why the unrest we studied did not lead to an eruption and to identify precursory signs of a phreatic eruption. Even a small phreatic eruption would be devastating for the people working everyday in the crater and the ones<p>who live nearby the voluminous acidic lake. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

This thesis focuses on software source code plagiarism. In the theoretical part there is a description of usual plagiarism techniques. The main output in practical part is the program that checks source codes of Java programs, whether these codes are really developed by individual students independently. It detects two or more students with identical source codes by controlling names of methods and variables.

No description available.

International Telemetering Conference Proceedings / October 25-28, 1999 / Riviera Hotel and Convention Center, Las Vegas, Nevada / In the commercial marketplace, Java has emerged as the preeminent standard for platform-independent application development. Many reasons for this include platform independence, robustness, effective distribution models, security effectiveness, and a rich set of application programming interfaces (APIs). This paper will provide insight into the design of the Java platform as it relates to the development of telemetry systems. Specific elements of Java will be explored to better understand how to take advantage of a Java platform. The paper will conclude with examples showing Java's effectiveness on overall software development and deployment, the benefits of reduced new code implementations, and how deploying this unique software platform will change the software paradigm in the real-time environment.

published_or_final_version / Comparative Asian Studies / Master / Master of Arts

No description available.

No description available.

The aim of this work is to integrate Java PathFinder into Java Platform Debugger Architecture. That is, to allow using Java PathFinder instead of a common Java Virtual Machine for the purpose of debugging Java applications in any modern Java Integrated Development Environment with all its advantages such as various kinds of breakpoints, direct stepping in opened source files, and call stack and object inspection. The resulting work provides users with all the features they are used to while debugging Java applications. None of this requires any external tools, editors or a complicated setup. Therefore, users are able to view, debug and understand the program state while replaying an error trace in Java PathFinder. The key part of the study is an implementation of the Java Debug Wire Protocol Agent as an extension for Java PathFinder. That makes JPF more complete as a Virtual Machine in the eyes of the community and the Java users in general. Powered by TCPDF (www.tcpdf.org)

Made available in DSpace on 2019-04-05T23:09:34Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-12-28 / The functional testing automation has become a real interest for software development teams, mainly because of the great cost reduction and of the increase of productivity observed on medium and long terms with the use of this practice. This article proposes a framework to improve reusability and manutenability of automated test suites. The proposal was developed on SERPRO and has been used in real projects. The framework, called FuncTest, apply software patterns and the Data-driven and Keyword-driven techniques to organize automated test suites. The efforts to improvement the FuncTest intend to adapt it for generating tests automatically using Model-based Testing technique. / A execução automatizada de testes funcionais tem se tornado um evidente atrativo para empresas de desenvolvimento de software. Tal fato se deve principalmente à grande redução de custo e ao aumento de produtividade observados a médio e a longo prazos com o uso desta prática. Este trabalho propõe um framework para ampliar a reusabilidade e a manutenibilidade de suítes de teste automatizadas. A solução foi desenvolvida no SERPRO e utilizada em projetos reais. O framework, denominado FuncTest, utiliza padrões de software e aplica as técnicas Data-driven e Keyword-driven na estruturação de suítes de teste automatizadas. As iniciativas de aperfeiçoamento do framework visam adaptá-lo para a geração automática de testes usando-se a técnica Model-based Testing.

<p>The mainpart of this thesis is about the developing of a new analysis tool to be used in Zenicor Medical Systems AB ECG-system. The primary task of the system is to simplify the ECG survey for patients who suffers from different kinds of arrythmias, for example heart fibrillation. With this system is it possible for the patients to do their ECG survey by them self at home and then send the signal with their telephone or mobilphone to a server. The equipment used to do the survey is not bigger than you can have it in a pocket and this results in a bigger flexibility for the patient. A doctor can connect to the server and analys the ECG-curve and follow up the patients condition.</p>