With the advent of fast computer systems, scientists are now able to generate terabytes of simulation data. Unfortunately, the sheer size of these data sets has made efficient exploration of them impossible. To aid scientists in gleaning insight from their simulation data, we have developed an ad-hoc query infrastructure. Our system, called AQSim (short for Ad-hoc Queries for Simulation) reduce...

すでに、インターネット上では 100万 台以上の PCからなる自律分散システム が少なくとも 3つ稼働しており [4]、最大 のものは 1,000万台に達している [8, 5]。 インターネットに接続される機器は多様 化しつつ増大を続けており、多くの予想 が、その、Internet of Thingsの規模が 2020年には数百億に達すると見ている。 これを想定すると、今後の分散システム 研究は、この数百億という規模を対象としなければなら ない。しかし、現在手に入る実験手法・手段では、10万 ∼100万ノードという規模が限界である(表 1)。 つまり、我々は現在、現れつつある規模(億∼)はお ろか、すでに稼働している規模(∼1,000万)すら実験 できないという状況を迎えている。設計・実装し deploy しようとする分散システムが、インターネットにどの程 度の負荷をかけるのか、何か...

Diabetes is a world-wide health problem with 415 millions of people suffering from the disease. Most diabetics are suffering from Type 2 Diabetes, which is preceded by insulin resistance in glucose utilizing tissues, such as adipose, liver, and muscle tissues. Diabetes is diagnosed when the insulin control of the glucose levels fails, which leads to high glucose levels in the blood. To better u...

The Insigma project goals include traffic optimization and control. It is assumed that advanced functions including traffic monitoring and prediction, route planning, and, finally, traffic optimization and control, will be able to utilize the available road infrastructure in an optimal way in order to minimize traffic jams and related social and environmental losses. The efficiency of these mec...

We develop a numerical method for solving Maxwell’s equations on a grid involving zones with cells of very different sizes, in order for example to compute sources coming from particles which need to be resolved on a very fine grid. The method is based on domain decomposition techniques which lead us to introduce two auxiliary problems and show theoretically how they allow us to calculate the s...

This thesis provides conceptual, mathematical and software methods and tools to enable and facilitate the simulation of large-scale neuronal systems on supercomputers. A perspective on the role of large-scale models in neuroscience is given and a terminology for classifying models of neuronal networks is proposed. A novel formalism for the description of connectivity of neuronal network models ...

Reactions in real chemical systems often take place on vastly different time scales, with "fast" reaction channels firing very much more frequently than "slow" ones. These firings will be interdependent if, as is usually the case, the fast and slow reactions involve some of the same species. An exact stochastic simulation of such a system will necessarily spend most of its time simulating the m...

This research presents a method to build large-scale agent-based modeling and simulation on PC for large-scale social systems with complex social networks. The novelty of this method is reflected in both designing of individual agent and organizing a group of agents for interactions on a large scale. As a case study, we constructed a large-scale artificial city Beijing, on which to test policie...

This article surveys the relationship between computation and physics. It describes the past, present and future of how numerical data for scientiic computation is represented, manipulated and extracted from physical computing devices. Aspects of the theory of computation, computational complexity, computational physics and quantum computation are discussed, towards the end of understanding how...

This paper aims to describe the implementation of TAKAKAW, an efficient parallel application for the simulation of molecular dynamics designed to handle large proteins in biology. The implementation is based on the multi-threading parallel programming environment, called ATHAPASCAN 1 which allows to implement and evaluate easily several load-balancing strategies. Some experiments run on one of ...