Hydrologic analysis of a limestone quarry using EPA's HELP Version 3.08 Model

Aggregates were historically a low cost commodity but with communities and governmental agencies reducing the amount of mining the cost is increasing dramatically. An awareness needs to be brought to communities that aggregate production is necessary for ensuring the existing infrastructure in today’s world. This can be accomplished using proven technologies in other areas and applying them to show how viable reclamation is feasible. A proposed mine reclamation, Douglas Township quarry (DTQ), in Dakota Township, MN was evaluated using Visual Hydrologic Evaluation of Landfill Performance (HELP) model. The HELP is commonly employed for estimating the water budget of a landfill, however, it was applied to determine the water budget of the DTQ following mining. Using an environmental impact statement as the case study, modeling predictions indicated the DTQ will adequately drain the water being put into the system. The height of the groundwater table will rise slightly due to the mining excavations but no ponding will occur. The application of HELP model determined the water budget of the DTQ and can be used as a viable option for mining companies to demonstrate how land can be reclaimed following mining operations.

Winning coal at 78° North : mining, contingency and the Chaîne Opératoire in old Longyear City

The purpose of this thesis is to analyze the evolution of an early 20th century mining system in Spitsbergen as applied by Boston-based Arctic Coal Company (ACC). This analysis will address the following questions: Did the system evolve in a linear, technological-based fashion? Or was the progression more a product of interactions and negotiations with the natural and human landscapes present during the time of occupation? Answers to these questions will be sought through review of historical records and material residues identified during the 2008 field examination on Spitsbergen. The Arctic Coal Company’s flagship mine, ACC Mine No. 1, will serve as the focus for this analysis. The mine was the company’s largest undertaking during its occupation of Longyear Valley and today exhibits a large collection of related features and artifacts. The study will emphasize on the material record within an analysis of technical, environmental and social influences that guided the course of the mining system. The intent of this thesis is a better understanding of how a particular resource extraction industry took root in the Arctic.

MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH

Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.

Preserving and interpreting the mining company office : landscape, space and technological change in the management of the copper industry

The purpose of this research is to examine the role of the mining company office in the management of the copper industry in Michigan’s Keweenaw Peninsula between 1901 and 1946. Two of the largest and most influential companies were examined – the Calumet & Hecla Mining Company and the Quincy Mining Company. Both companies operated for more than forty years under general managers who were arguably the most influential people in the management of each company. James MacNaughton, general manager at Calumet and Hecla, worked from 1901 through 1941; Charles Lawton, general manager at Quincy Mining Company, worked from 1905 through 1946. In this case, both of these managers were college-educated engineers and adopted scientific management techniques to operate their respective companies. This research focused on two main goals. The first goal of this project was to address the managerial changes in Michigan’s copper mining offices of the early twentieth century. This included the work of MacNaughton and Lawton, along with analysis of the office structures themselves and what changes occurred through time. The second goal of the project was to create a prototype virtual exhibit for use at the Quincy Mining Company office. A virtual exhibit will allow visitors the opportunity to visit the office virtually, experiencing the office as an office worker would have in the early twentieth century. To meet both goals, this project used various research materials, including archival sources, oral histories, and material culture to recreate the history of mining company management in the Copper Country.