CERN Document Server

This paper is a greatly expanded version of a talk I gave in April 2009 at KunenFest. It describes Ken's work in algebra, particularly using automated deduction tools.

Science.gov (United States)

BAE SYSTEMS Infrared Imaging Systems. MS 209. 2 Forbes Road. Lexington, MA 02421 -7306. (781) 863-3762. (781) 863-4809 (fax) ken.overoye @lmco.com ...

Wastenet

...Site Home About The Project Advisory Board Advisory Board Kenneth Geiser Omar Friella Darryl Young Jennie Curtis Michael Maniates Stuart Baker Beverly Thorpe Erica Priggen Kenneth Geiser is Professor of Work Environment and Director of the Lowell Center for Sustainable Production at the University of Massachusetts Lowell. Ken is one of the authors of the landmark Massachusetts Toxics Use Reduction Act and served as Director of the Massachusetts Toxics Use Reduction ...

Energy Technology Data Exchange (ETDEWEB)

Hyogo-ken Nanbu earthquake with a focus in the Akashi straits has given huge earthquake damages in and around Awaji Island and Kobe City in 1995. It is clear that the basement structure, which is steeply deepened at Kobe City from Rokko Mountains towards the coast, and the focus under this related closely to the local generation of strong ground motion. Generation process of the strong ground motion was discussed using 2D and 3D numerical simulation methods. The 3D pseudospectral method was used for the calculation. Space of 51.2km{times}25.6km{times}25.6km was selected for the calculation. This space was discretized with the lattice interval of 200m. Consequently, it was found that the basement structure with a steeply deepened basement, soft and weak geological structure thickly deposited on the basement, and earthquake faults running under the boundary of base rock and sediments related greatly to the generation of strong ground motion. Numerical simulation can ...

Energy Technology Data Exchange (ETDEWEB)

Potassium clusters arrayed in zeolite A are known to show ferromagnetic properties at low temperature. The origin of the spontaneous magnetization has been explained by a model of spin-canting in an antiferromagnetically ordered state. The direct information for the magnetic structure, however, has not been obtained so far. In the present work, we measure the neutron powder diffraction by using pulsed neutron source at KEK-KENS below and above the Curie temperature. No significant temperature-dependence was, however, obtained within the statistical errors, namely, magnetic scattering could not be detected separately. We also estimate the intensity of magnetic scattering by assuming some possible magnetic structures with considering the magnetic form factor of the cluster wave function. The intensity of magnetic scattering is estimated to be extremely weak and higher S/N of {approx}10{sup 4} or more is required to detect the magnetic scattering of this material.

Energy Technology Data Exchange (ETDEWEB)

This is a prompt report. These days the importance of acquiring knowledge about the structure from the lower crust down to the upper mantle is often discussed with reference taken to Hyogo-ken Nanbu Earthquake. The Hidaka collision belt where the lower crust is exposed on the surface is a rare phenomenon in the world and has been the subject of seismic survey. As a part of the survey, experiments are conducted by the use of vibrations produced by Vibroseis and dynamite sources. Every one of the shot records (20-second record) from the two types of vibration sources contains a clear echo in the vicinity of 16 seconds supposedly from a level deeper than 40 kilometers, not to mention reflections from shallow levels. Although some studies have to be conducted before the reflecting geological boundary (possibly the upper mantle) of the echo near the 16-second point can be identified, yet this is probably the reflection from the deepest level ever obtained in the seismic ...

International Nuclear Information System (INIS)

Development and deployment of small-scale nuclear power reactors and their maintenance, monitoring, and control are part of the mission under the Small Modular Reactor (SMR) program. The objectives of this NERI-consortium research project are to investigate, develop, and validate advanced methods for sensing, controlling, monitoring, diagnosis, and prognosis of these reactors, and to demonstrate the methods with application to one of the proposed integral pressurized water reactors (IPWR). For this project, the IPWR design by Westinghouse, the International Reactor Secure and Innovative (IRIS), has been used to demonstrate the techniques developed under this project. The research focuses on three topical areas with the following objectives. Objective 1 - Develop and apply simulation capabilities and sensitivity/uncertainty analysis methods to address sensor deployment analysis and small grid stability issues. Objective 2 - Develop and test an autonomous and fault-tolerant control ...