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.

Building the New Society in the Shell of the Old: Finnish-Canadian Hall Socialism and the Canadian Industrial Unionist Support League

The literature on Finnish immigrant working-class movements in North America frequently makes reference to the phenomenon of "hall socialism," so-called because of the central position that the socialist or labor hall occupied in the political, associational, and cultural life of many Finnish communities throughout the twentieth-century. In the 1930s, over 80 such Finnish halls were spread across Canada, and many people associated with these halls vigorously supported the mission of organized labor. This paper will examine the history, ideas, and practices of the Industrial Workers of the World-influenced Canadan Teollisuusunionistien Kannatus Liitto (CTKL; Canadian Industrial Unionist Support League), and its connections to Finnish Canadian hall socialism. The paper will consider the role of the CTKL in supporting workers' struggles, the significance of the hall as a part of the infrastructural bedrock that sustained this support, and the broader interaction between social and radical organizing commitments.

Federal Authority and the Development of Corporate Mining, 1807-1847

While the 1913-1914 copper country miners’ strike undoubtedly plays an important role in the identity of the Keweenaw Peninsula, it is worth noting that the model of mining corporations employing large numbers of laborers was not a foregone conclusion in the history of American mining. Between 1807 and 1847, public mineral lands in Missouri, in the Upper Mississippi Valley, and along the southern shore of Lake Superior were reserved from sale and subject to administration by the nation’s executive branch. By decree of the federal government, miners in these regions were lessees, not landowners. Yet, in the Wisconsin lead region especially, federal authorities reserved for independent “diggers” the right to prospect virtually unencumbered. In doing so, they preserved a comparatively egalitarian system in which the ability to operate was determined as much by luck as by financial resources. A series of revolts against federal authority in the early nineteenth century gradually encouraged officers in Washington to build a system in the copper country in which only wealthy investors could marshal the resources to both obtain permits and actually commence mining operations. This paper will therefore explore the role of the federal government in establishing a leasing system for public mineral lands in the years previous to the California Gold Rush, highlighting the development of corporate mining which ultimately set a stage for the wave of miners’ strikes in the late nineteenth and early twentieth centuries.

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.