Two source codes of earthquake generation module in GeoFEM have been installed into Earth Simulator and the following tuning has been done. One is to simulate quasi-static earthquake cycle and the other is to simulate dynamic rupture propagation. The dynamic rupture propagation analysis code starts the computation after the stress accumulation in the… (More)
During rain, transient puddles form on roads, and this water is splashed into the air by moving vehicles. To determine whether this water contains Legionella pneumophila, we collected samples from roads. We found that L. pneumophila are abundant in these puddles, especially during warm weather.
103 Chapter 1 Earth Science In this project, we aim to simulate generation processes of interplate and intraplate earthquakes in a complex system of interactive faults in northeast and southwest Japan, respectively, based on a laboratory derived rate-and state-dependent friction law. In quasi-static earthquake cycle simulations which mainly deal with the… (More)
A numerical simulation study is conducted to examine the effect of a large outer-rise earthquake on seismic cycle of large interplate earthquakes in a subduction zone. A model of 2D uniform elastic half-space is set up to exactly evaluate static elastic interactions. The frictional force acting on a plate interface is assumed to obey a laboratory-derived… (More)
We are developing a geometric inference system on Internet. A rough geometric figure drawn by a student is transformed into an ideal one that satisfies the assumptions. The system extracts particular patterns in this figure and tries to connect the assumptions and the conclusion. The present paper extends the visualization of the proof by introducing a… (More)