An ethnobotanical survey of the economic and cultural significance of non-timber forest products in the southwest Rhodope Mountain region of Bulgaria

The people of the southwestern Rhodope Mountains of Bulgaria live in small, mountainous villages and rural areas. They rely on berries, herbs, and mushrooms provided by the forest and maintain a lifestyle and culture of gathering them. This study determined the economic and landscape concentration of Non-Timber Forest Products (NTFPs) and how this has changed in the past twenty years in the region of Garmen. The objective was to gauge the cultural and economic significance of NTFPs in the lives of the people who live there. Data was collected using informal, open-ended interviews and through participant observation. Results indicate that ethnicity influence how resources are utilized. Roma people collect mushrooms for income generation; Orthodox Bulgarians gather herbs, berries, and mushrooms for medicinal purposes, to supplement their diets, and to carry on traditions. Bulgarian Muslims collect for a combination of the aforementioned reasons. Changes that occur in the forests affect each of the ethnic groups in different ways and forest management practices should include people’s knowledge and uses of NTFPs.

Balancing wildlife and bioenergy values on private forestlands in the eastern Upper Peninsula of Michigan

There is interest in developing a reliable, sustainable, domestic U.S. biofuels industry. A domestic biofuels industry has the potential to provide economic, environmental, and national security benefits on a local, regional, national, and global level. The Mascoma Corporation plans to develop a cellulosic ethanol facility in Michigan’s eastern Upper Peninsula. The primary feedstock of the plant site would be trees sourced within a 150 mile supply radius. In the eastern Upper Peninsula, this radius encompasses Alger, Chippewa, Delta, Luce, Mackinac, and Schoolcraft counties. In these six counties there are 1,320,500 acres of NIPF (non-industrial private forestlands). These acres account for 40% of the total timberland in these six counties. Thus it is likely that in order for the successful implementation of a cellulosic ethanol facility the support of local NIPF owners will be necessary. This thesis presents research on how eastern Upper Peninsula forest landowners think about and manage their land. It is based on 48 in-depth interviews with these landowners. The goal was to determine how landowner values and beliefs, on a variety of issues including wildlife management, land management, biofuels development, and climate change, are expressed through both their current management decisions, and possibly their future land management decisions. Some of the values articulated by the landowners in this study included biodiversity protection, conservation of healthy game populations, and the production of high-value timber. Understanding the values and beliefs of landowners in the eastern Upper Peninsula of Michigan is critical for successfully developing a sustainable regional woody bioenergy.

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.