Inférence statique et par contraintes des relations de composition dans des programmes Java

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Recherches sur la plasticité du discours oraculaire: l'exemple de l'oracle du "Mur de bois" (Hérodote, 7, 140-146)

Ce mémoire vise à appliquer l’étude des oracles en Grèce au cas longtemps malmené de l’oracle du rempart de bois. Alors que les historiens modernes deviennent de plus en plus critiques face à la littérature oraculaire grâce aux découvertes de l’épigraphie, cet oracle semble résister à cette nouvelle vague : tout et son contraire ont été allégué afin de le préserver de l’étiquette de post eventum. À la lumière du cadre historique dans lequel Hérodote a conçu ses Histoires, nous serons en mesure de décortiquer les éléments constitutifs de cet oracle qui prédit l’issue de la Seconde Guerre médique et selon lequel les Athéniens trouvèrent leur salut derrière le désormais célèbre « rempart de bois ». Nous nous attarderons finalement au dit « Décret de Thémistocle », trouvé à Trézène et commandant l’évacuation d’Athènes. Au terme de ce mémoire, l’épisode du rempart de bois apparaîtra définitivement comme post eventum.

Geodynamics of the Andaman - Sumatra - Java Trench - Arc System Based on Gravity and Seismotectonic Study

This work aims to study the variation in subduction zone geometry along and across the arc and the fault pattern within the subducting plate. Depth of penetration as well as the dip of the Benioff zone varies considerably along the arc which corresponds to the curvature of the fold- thrust belt which varies from concave to convex in different sectors of the arc. The entire arc is divided into 27 segments and depth sections thus prepared are utilized to investigate the average dip of the Benioff zone in the different parts of the entire arc, penetration depth of the subducting lithosphere, the subduction zone geometry underlying the trench, the arctrench gap, etc.The study also describes how different seismogenic sources are identified in the region, estimation of moment release rate and deformation pattern. The region is divided into broad seismogenic belts. Based on these previous studies and seismicity Pattern, we identified several broad distinct seismogenic belts/sources. These are l) the Outer arc region consisting of Andaman-Nicobar islands 2) the back-arc Andaman Sea 3)The Sumatran fault zone(SFZ)4)Java onshore region termed as Jave Fault Zone(JFZ)5)Sumatran fore arc silver plate consisting of Mentawai fault(MFZ)6) The offshore java fore arc region 7)The Sunda Strait region.As the Seismicity is variable,it is difficult to demarcate individual seismogenic sources.Hence, we employed a moving window method having a window length of 3—4° and with 50% overlapping starting from one end to the other. We succeeded in defining 4 sources each in the Andaman fore arc and Back arc region, 9 such sources (moving windows) in the Sumatran Fault zone (SFZ), 9 sources in the offshore SFZ region and 7 sources in the offshore Java region. Because of the low seismicity along JFZ, it is separated into three seismogenic sources namely West Java, Central Java and East Java. The Sunda strait is considered as a single seismogenic source.The deformation rates for each of the seismogenic zones have been computed. A detailed error analysis of velocity tensors using Monte—Carlo simulation method has been carried out in order to obtain uncertainties. The eigen values and the respective eigen vectors of the velocity tensor are computed to analyze the actual deformation pattem for different zones. The results obtained have been discussed in the light of regional tectonics, and their implications in terms of geodynamics have been enumerated.ln the light of recent major earthquakes (26th December 2004 and 28th March 2005 events) and the ongoing seismic activity, we have recalculated the variation in the crustal deformation rates prior and after these earthquakes in Andaman—Sumatra region including the data up to 2005 and the significant results has been presented.ln this chapter, the down going lithosphere along the subduction zone is modeled using the free air gravity data by taking into consideration the thickness of the crustal layer, the thickness of the subducting slab, sediment thickness, presence of volcanism, the proximity of the continental crust etc. Here a systematic and detailed gravity interpretation constrained by seismicity and seismic data in the Andaman arc and the Andaman Sea region in order to delineate the crustal structure and density heterogeneities a Io nagnd across the arc and its correlation with the seismogenic behaviour is presented.

Jmodels: Java models of earth system regulation

The JModel suite consists of a number of models of aspects of the Earth System. They can all be run from the JModels website. They are written in the Java language for maximum portability, and are capable of running on most computing platforms including Windows, MacOS and Unix/Linux. The models are controlled via graphical user interfaces (GUI), so no knowledge of computer programming is required to run them. The models currently available from the JModels website are: Ocean phosphorus cycle Ocean nitrogen and phosphorus cycles Ocean silicon and phosphorus cycles Ocean and atmosphere carbon cycle Energy radiation balance model (under development) The main purpose of the models is to investigate how material and energy cycles of the Earth system are regulated and controlled by different feedbacks. While the central focus is on these feedbacks and Earth System stabilisation, the models can also be used in other ways. These resources have been developed by: National Oceanography Centre, Southampton project led by Toby Tyrrell and Andrew Yool, focus on how the Earth system works.

Lecture 2 - Java

Programming Overview The JVM (The Java Virtual Machine) A brief look at Structure Class Method Statement Magic incantations main() output Coding a Dog Programming Principle(1) If and Boolean operations Coding a Bank Account Quick look at ToolBox

Java computer modelling of the Earth System

The JModel suite consists of a number of models of aspects of the Earth System. The Java programmes model in detail aspects of the cycles of some major biogeochemical elements that exemplify the range of geochemical processes in marine environments.

Programming & Software

An overview of programming and software development.

Java Applets for teaching quantum mechanics: Particle in a box

These Java Applets help to illustrate some of the difficult to grasp concepts of quantum mechanics. To run this Applet, use the 'Download as zip files' option. Make sure you extract the files first, then double click on the .html file to run the Applet. These are released as open access resources for the purpose of testing, and are to be deployed at the users own risk. Please report any errors you find.

Java Applets for teaching quantum mechanics: Particle in a 2D box

These Java Applets help to illustrate some of the difficult to grasp concepts of quantum mechanics. To run this Applet, use the 'Download as zip files' option. Make sure you extract the files first, then double click on the .html file to run the Applet. These are released as open access resources for the purpose of testing, and are to be deployed at the users own risk.

Java Applets for teaching quantum mechanics: Particle in a well

These Java Applets help to illustrate some of the difficult to grasp concepts of quantum mechanics. To run this Applet, use the 'Download as zip files' option. Make sure you extract the files first, then double click on the .html file to run the Applet. These are released as open access resources for the purpose of testing, and are to be deployed at the users own risk.

Programming Principles: Introduction to Java

In this lecture we look at key concepts in Java: how to write, compile and run Java programs, define a simple class, create a main method, and use if/else structures to define behaviour.

Programming Principles: The Java Library

In this session we point you at the Java Library, and go into some more details on how Strings work. We also introduce the HashMap class (a very useful type of collection).

Una biblioteca de clases en Java para simulación y apoyo al estudio de sistemas de control.

Resumen tomado de la publicación

Event Driven Programming in Java

Event driven programming is a way of writing a program that works by responding to things happening (rather than executing a preplanned series of tasks). It is most often used to manage more advanced user interactions, such as GUI programs. In this session we look at how event driven programming works in Java GUIs, as both an introduction to events (using MouseListeners), and also to the way that GUI programs are constructed.