There are more than 100 million land mines buried throughout the world, and, at present, the removal of these mines is primarily being done by hand. Our research group has suggested a mine detection method using six-legged robots, such as COMET-I, II, and III, to establish the land mine detection and removal technology. Mine detection by six-legged robots such as COMET-II and III have two manip...

Placement of the division site at midcell in Escherichia coli requires the MinE protein. MinE acts by imparting topological specificity to the MinCD division inhibitor, preventing the inhibitor from acting at the midcell site while permitting it to block division at other unwanted sites along the length of the cell. It was previously shown that MinE assembled into a ring structure that appeared...

The Min proteins (MinC, MinD, and MinE) form a pole-to-pole oscillator that controls the spatial assembly of the division machinery in Escherichia coli cells. Previous studies identified that interactions of MinD with phospholipids positioned the Min machinery at the membrane. We extend these studies by measuring the affinity, kinetics, and ATPase activity of E. coli MinD, MinE, and MinDE bindi...

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for conca-tention, which facilitates the proof of properties over trace histories. The eeectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Speciically, a safety property relating to the operation of a...

The three-dimensional geological model of Cangshang Gold Mine, including the geological database, ore body model and block model, was established by mining software Surpac, which simplified the complicated hand-drawing and reserve calculation. The three-Dimensional development system visualization was also studied on the basis of conducting the vectorization of the whole development system desi...

For several years, our research group has been developing methods for automated modeling of 3D environments. In September, 2002, we were given the opportunity to demonstrate our mapping capability in an underground coal mine. The opportunity arose as a result of the Quecreek mine accident, in which an inaccurate map caused miners to breach an abandoned, water-filled mine, trapping them for seve...

A technique that uses elastic waves to detect buried mines is being investigated. In the technique, an elastic wave is launched into the earth. It propagates and interacts with a buried mine causing displacements of both the mine and the surrounding soil. Because of the interactions of the wave with the mine, the soil surface displacements near the mine are quite different from those far from i...

Abstract: Mine ventilation system is critical for maintaining safe working conditions in an underground coal mine. At present, there exist some problems in developing mine ventilation software such as long development cycle, redevelopment, low commercialization and weak extensibility. The traditional digital mine ventilation systems is complicated to be modified or extended after published unle...