No description available.

Management prescriptions that describe desired conditions for resources and visitor experiences have become widely accepted as an important component of public land management plans. However, very little effort is spent on evaluating and learning about this part of the planning process. This research identifies and addresses the need to explore opportunities for additional guidance on the development of management prescriptions, by (1) evaluating the current perception of the purpose of management prescriptions; (2) developing criteria and other tools to guide the development of management prescriptions based on the experiences of public land management professionals; and (3) testing an alternative method for collecting visitor preference data regarding social, resource and management conditions to inform development of management prescriptions. The first two papers report the results of a visitor preference study, using the stated choice method, conducted in Acadia National Park. The purpose of the first paper is to identify visitor preferences for tradeoffs among social, resource and related management conditions of the recreation setting. The purpose of the second paper is to identify differences among visitor preferences for social, resource and management conditions in various recreation settings. By considering the integrative nature of these attributes and the relative importance to visitors across recreation settings, the definition of management prescriptions can be better informed. To further investigate the results of the stated choice method and ensure the validity of the data, a verbal protocol assessment was applied to a sample of the stated choice survey respondents. The purpose of the third paper is to reexamine the role of management prescriptions for park management planning and investigate tools for facilitating development of management prescriptions. The study included in-depth interviews, participant observation of a three-day planning workshop and a written survey. All of the participants in the various components of the study were National Park Service land management professionals. The study resulted in a list of the purpose and criteria for management prescriptions and a related menu of desired condition topics, which will be integrated into planning guidance to aid the development of unique and effective management prescriptions for national parks. / Ph. D.

In recent decades, coastal tourism has grown significantly bringing enormous economic benefits to host communities, and causing many environmental and social impacts to the coastal environment. Beach resort development faces problems due to an inability on the part of stakeholders to make sound decisions about sustainable design due, in part, to the complexity of the sustainability issues and the lack of a comprehensive decision-making tool to assist them. In Egypt, design and planning regulations have not changed for decades, resulting in non-sustainable beach resort development. This study provides a "decision framework," a conceptual "Sustainable Design Model," which shifts the focus of stakeholders from the application of traditional physical carrying capacity procedures to a comprehensive approach linking sustainability indicators and carrying capacities. This approach includes an array of acceptable capacities based on the ecological, social, psychological, physical, economic, and managerial capacity thresholds of a site. This framework assists stakeholders in making rational decisions about what is to be built, where it is located, and how to build it. To test the model, a survey was conducted at 10 beach resort destinations (5 American, 5 Egyptian) to measure the difference in perceptions between stakeholders concerning sustainability indicators and carrying capacities. The instrument was determined valid and reliable using a test/retest procedure. A total of 276 responses were obtained for data analysis. Statistical analyses included frequency distribution, t-tests, analysis of variance (ANOVA), factor analysis, and a stepwise multiple regression analysis. Sample demographic information was also collected. Results revealed a strong link between sustainability indicators and carrying capacity thresholds. While both Egyptian and American respondents recognized the importance of sensitive environmental developments, there were significant differences due to differences in culture, environment, regulations, and priorities. The American sample placed greater importance on the ecological indicators, while the Egyptian sample placed greater importance on the social, psychological, and managerial indicators. The American sample conveyed a positive attitude toward government regulations, design, and management efforts to incorporate sustainability principles into the built environment, while the Egyptian respondents conveyed a more negative attitude. As a result of this study, future Egyptian policy may be better informed of the gap between the theoretical concepts of sustainability and real world coastal development implementation. / Ph. D.

[pt] Atualmente, a maioria dos programas para computadores é obtida através da WEB. Como muitas vezes a procedência são fontes desconhecidas, é preciso se certificar de que o código se comporta como o esperado. A solução ideal seria verificar o código contra uma especificação de políticas de segurança ,contudo, isso pode consumir muito tempo.Uma outra alternativa é fazer com que o próprio código prove ser seguro. O conceito de proof-carryng code (PCC)é baseado nessa idéia : um programa carrega consigo uma prova de sua conformidade com certas políticas de segurança. Ou seja ,ele carrega uma prova a respeito de propriedades do próprio código. Portanto, os mesmos métodos froamsi usados para a verificação de programs podem se utilizados para esta tecnolgia. Considerando este fato,neste trabalho é estudado como cálculo de Hoare, em método formal para realizar a verificação de programas, aplicado a códigos-fonte escritos em uma linguagem de programação imperativa, pode ser útil á tecnica de PCC. Conseqüentemente, são pesquisados métodos para a geração de provas de correção de programas utilizando o método citado, para tornar possível a geração de provas de segurança para PCC utilizando o cálculo de Hoare. / [en] Nowdays most computer programs are obtained from the WEB. Since their source is usually unknown, it is necessary to be sure that the code of the program behaves as expected.The ideal solution would be verify the code against a specification of safety policies.However, this can take too much time.Another approach is making the code itself prove that it is safe. The concept os proof-carryng code (PCC) is based on this idea: a program carries a proof of its conformity with certain safety policies. That is , it carries a proof cencerning properties related to the code itself. Therefore, the same formal methods employed in formal verification of programs can be used in this tecnology. Due to this fact, in this work it is studied how Hoare logic applied to source codes written in an imperative programming language, which is a formal methods are researched to generate proofs of program correctness using the method explained, so that it can be possible to generate PCC safety programs with Hoare logic.

Master of Agribusiness / Department of Agricultural Economics / Daniel M. O'Brien / The Chicago wheat futures contract has received attention in recent years regarding non-convergence with SRW wheat cash prices. In 2009 the CME Group announced their decision to implement a market based mechanism to set daily storage rates at registered delivery locations for the Chicago wheat contract. The new market based mechanism is a variable storage rate (VSR) that monitors Chicago wheat futures spreads relative to financial full carry. The running average of the futures spread at the end of the contract observation period determines future changes to existing storage rates. The objective of this study is to determine whether or not the adoption of VSR mechanisms has had an impact on SRW wheat basis convergence in the Toledo, OH switching district. The Chicago wheat contract months that were studied using OLS regression models include July 2010, September 2010, December 2010, and March 2011. A final OLS regression model examining the cumulative data collected from these four contract months concludes the research. The explanatory variables used to study SRW wheat basis convergence in Toledo includes days to delivery, all wheat ending stocks as a percentage of use for the United States, and VSR. In two of the regression models for the contract months studied VSR found to have a statistically significant impact, i.e., the December 2010 and March 2011 models. In the cumulative regression model covering all four wheat contract months VSR was also found to have a statistically significant impact on SRW wheat basis convergence. The regression models in this analysis appear to contain some degree of multicollinearity, a statistical condition in which the explanatory variables tend to move collinearly or “together” with each other. Multicollinearity oftentimes can result in deceptively high and inconsistent statistical results in econometric models.

Bridge redundancy can be described as the capacity that a bridge has to continue carrying loads after suffering the failure of one or more main structural components without undergoing significant deformations. In the current AASHTO LRFD Bridge Design Specification, two-girder bridges are classified as fracture critical, which implies that these bridges are not inherently redundant. Therefore, two-girder bridges require more frequent and detailed inspections than other types of bridges, resulting in greater costs for their operation. Despite the fracture-critical classification of two-girder bridges, several historical events involving the failure of main load-carrying members in two-girder bridges constructed of steel plate girders have demonstrated their ability to have significant reserve load carrying capacity. Relative to the steel plate girder bridges, steel box-girder bridges have higher torsional stiffness and more structural elements that might contribute to load redistribution in the event of a fracture of one or more bridge main members. These observations initiated questions on the inherent redundancy that twin box-girder bridges might possess. Given the high costs associated with the maintenance and the inspection of these bridges, there is interest in accurately characterizing the redundancy of bridge systems. In this study, twin steel box-girder bridges, which have become popular in recent years due to their aesthetics and high torsional resistance, were investigated to characterize and to define redundancy sources that could exist in this type of bridge. For this purpose, detailed finite element bridge models were developed with various modeling techniques to capture critical aspects of response of bridges suffering severe levels of damage. The finite element models included inelastic material behavior and nonlinear geometry, and they also accounted for the complex interaction of the shear studs with the concrete deck under progressing levels of damage. In conjunction with the computational analysis approach, three full-scale bridge fracture tests were carried out during this research project, and data collected from these tests were utilized to validate the results obtained from the finite element models. / text

Froth flotation is the most commonly used process to recover and upgrade the portion of the coal preparation plant feed that has a particle size smaller than 150 microns. Problems that occur when employing froth flotation in the coal industry include i) coal surfaces that are weakly-to-moderately hydrophobic, and ii) flotation systems that are overloaded and limited by insufficient retention time. Research was performed to evaluate techniques that could be implemented to improve flotation performance under the aforementioned scenarios. Pre-aeration of flotation feed using a cavitation system was extensively evaluated in laboratory and full-scale test programs. The benefits of adding hydrophobic, magnetic plastic particles were also investigated to improve froth stability and increase bubble surface area. Laboratory tests revealed that pre-aeration through a cavitation tube improved coal recovery by as much as 20 absolute percentage points in both conventional cells and flotation columns when treating difficult-to-float coals. Carrying capacity increased by 32% which was projected to provide a 4 t/h increase in flotation recovery for a typical 4-m diameter flotation column. Product size analyses suggest that the improved particle recovery was more pronounced for the finest coal fractions as a result of particle agglomeration, resulting from the use of the nucleated air bubbles on the coal surfaces as a bridging medium. In-plant testing of a commercial-scale cavitation system found that feed pre-aeration could reduce collector dosage by 50% when no additional air is added and by 67% when a small amount of air is added to the feed to the cavitation system. At a constant collector dosage, recovery increased by 10 absolute percentage points with cavitation without additional air and 17 absolute points when additional air is provided. The addition of hydrophobic plastic particles to the flotation feed at a 10% concentration by weight was found to substantially improve froth stability thereby elevating the recovery and enhancing carrying-capacity. Test results showed that the primary flotation improvements were directly linked to the coarsest particle size fractions in the plastic material which supports the froth stability hypothesis. Combustible recovery was increased up to 10 percentage points while producing the desired concentrate quality.

The purpose of my thesis is the application of the concept of the socio-cultural-carrying capacity of the territory via example of giant tourist destinations Špindlerův Mlýn and Rokytnice nad Jizerou. For these two destinations basic information about locations are discussed in more detail; as a major ski resort, including equipment material and technical bases, and local infrastructure. In the theoretical part, I focus on definitions and explanations of concepts of tolerable capacity of the area, with a focus on socio-cultural carrying capacity. Furthermore, I discuss Doxey's irritant index which describes the relationship between residents and tourists. In the practical part I focus on the perception of tourism with these specific destinations residents. On the basis of results of my investigation to be carried out probable form of questionnaires and direct interviews, I assess the level of socio-cultural carrying capacity. Then conduct a comparison of the results obtained in Špindlerův Mlýn and Rokytnice nad Jizerou. The conclusion gives recomendation and a little reflection with satisfaction of the residents lifestyle in these communities and further development of these destinations from the perspective of residents.

TITLE OF THE WORK Physical preparation for the military part of the talent exam at Military Department of the Faculty of Physical Education and Sport in Prague. DEFINITION OF THE PROBLEM It is necessary to pass the special physical exam to be admitted for studying at Military Department. The content of this exam is significantly different from other physical activities and the preparation for it may cause several problems to the candidates. MAIN GOALS The main goal of this diploma thesis is to create a package of the exercises used for improving technical and fitness part of the performance primarily in the military part of physical exam. PLAN OF PROCESSING After extensive research of the available documents the package of the exercises will be created. KEYWORDS Army Physical Fitness, Rope ladder climbing, Load carrying, Special Physical Preparation

Purpose – To analyze the impact on total cost by inventory control methods under the influence of seasonal demand. The purpose will be answered with following research questions: What inventory control methods can be used when there is seasonal demand? What is the impact of inventory control methods on total cost under the influence of seasonal demand? Method – The study was conducted as a case study and the empirical data was collected through interviews and document study. Both of these contributed to the basis for the analysis and for the calculations in the test of the study. Literature study was conducted and included theories for inventory control methods to answer the first research question, as well as formulas for the methods used to answer the second research question. Findings – It appears from the study, the inventory control methods that can be used when there is seasonal demand and during current planning environment is periodic ordering system and cycle service method. These have been tested further in the study. Seasonal index was considered an important method since it dimensions demand which to a high degree regulate the inventory levels and thereby the result of the inventory control methods. Further the study compares none theoretical inventory control methods and theoretical inventory control methods impact on total cost. It is shown that carrying costs, as a part of total cost, can be reduced by 25% during the peak season and 62% during off-season. This without changing the deliverability. Alternatively, the deliverability can be increased by 10% by using inventory control methods without increasing the total cost of the inventory. Implications – The theoretical contribution of the study is that it has increased the knowledge concerning inventory control methods when there is seasonal demand, and the possible results they might bring. The empirical contribution of the study is that companies can use the study as an indication of the economic benefits and motivation for implementing theoretical inventory control methods. Limitations – The tested inventory control methods did not alter the ordering cost, which to a high degree can have an impact on the total cost. The study also shows a possible impact on the inventory control during the current planning environment. If the planning environment changes, the result of the study can be different.