Urban intervention in Vila da Barca, Belem, Brazil: Achieving an adequate shelter

Low-income settlements have high incidences of social and environmental problems due to lack of government intervention; low-income settlements usually rely on community organizations or non-governmental entities to survive. In order to improve the quality of life in these communities, urban upgrading plans must be designed to achieve adequate living conditions. ^ This thesis proposes an urban intervention plan for a low-income settlement called Vila da Barca. This thesis contains three document parts. The first part defines the country, city, and settlement background, including housing and urban issues. The second part contains information gathered from case studies and theories on how similar urban cities around the world have solved their urban development problems. Lastly, the third part proposes a residential development plan that enhances the citizen's needs, such as shelter and safety. The proposed set of criteria applicable to Vila da Barca will serve as an example for other urban intervention projects. ^

A framework for specification and analysis of software architectures

Software architecture is the abstract design of a software system. It plays a key role as a bridge between requirements and implementation, and is a blueprint for development. The architecture represents a set of early design decisions that are crucial to a system. Mistakes in those decisions are very costly if they remain undetected until the system is implemented and deployed. This is where formal specification and analysis fits in. Formal specification makes sure that an architecture design is represented in a rigorous and unambiguous way. Furthermore, a formally specified model allows the use of different analysis techniques for verifying the correctness of those crucial design decisions. ^ This dissertation presented a framework, called SAM, for formal specification and analysis of software architectures. In terms of specification, formalisms and mechanisms were identified and chosen to specify software architecture based on different analysis needs. Formalisms for specifying properties were also explored, especially in the case of non-functional properties. In terms of analysis, the dissertation explored both the verification of functional properties and the evaluation of non-functional properties of software architecture. For the verification of functional property, methodologies were presented on how to apply existing model checking techniques on a SAM model. For the evaluation of non-functional properties, the dissertation first showed how to incorporate stochastic information into a SAM model, and then explained how to translate the model to existing tools and conducts the analysis using those tools. ^ To alleviate the analysis work, we also provided a tool to automatically translate a SAM model for model checking. All the techniques and methods described in the dissertation were illustrated by examples or case studies, which also served a purpose of advocating the use of formal methods in practice. ^

An integrated framework for ensuring the quality of software design

Software development is an extremely complex process, during which human errors are introduced and result in faulty software systems. It is highly desirable and important that these errors can be prevented and detected as early as possible. Software architecture design is a high-level system description, which embodies many system features and properties that are eventually implemented in the final operational system. Therefore, methods for modeling and analyzing software architecture descriptions can help prevent and reveal human errors and thus improve software quality. Furthermore, if an analyzed software architecture description can be used to derive a partial software implementation, especially when the derivation can be automated, significant benefits can be gained with regard to both the system quality and productivity. This dissertation proposes a framework for an integrated analysis on both of the design and implementation. To ensure the desirable properties of the architecture model, we apply formal verification by using the model checking technique. To ensure the desirable properties of the implementation, we develop a methodology and the associated tool to translate an architecture specification into an implementation written in the combination of Arch-Java/Java/AspectJ programming languages. The translation is semi-automatic so that many manual programming errors can be prevented. Furthermore, the translation inserting monitoring code into the implementation such that runtime verification can be performed, this provides additional assurance for the quality of the implementation. Moreover, validations for the translations from architecture model to program are provided. Finally, several case studies are experimented and presented.

An exergy based engineering and economic analysis of sustainable building

To achieve the goal of sustainable development, the building energy system was evaluated from both the first and second law of thermodynamics point of view. The relationship between exergy destruction and sustainable development were discussed at first, followed by the description of the resource abundance model, the life cycle analysis model and the economic investment effectiveness model. By combining the forgoing models, a new sustainable index was proposed. Several green building case studies in U.S. and China were presented. The influences of building function, geographic location, climate pattern, the regional energy structure, and the technology improvement potential of renewable energy in the future were discussed. The building’s envelope, HVAC system, on-site renewable energy system life cycle analysis from energy, exergy, environmental and economic perspective were compared. It was found that climate pattern had a dramatic influence on the life cycle investment effectiveness of the building envelope. The building HVAC system energy performance was much better than its exergy performance. To further increase the exergy efficiency, renewable energy rather than fossil fuel should be used as the primary energy. A building life cycle cost and exergy consumption regression model was set up. The optimal building insulation level could be affected by either cost minimization or exergy consumption minimization approach. The exergy approach would cause better insulation than cost approach. The influence of energy price on the system selection strategy was discussed. Two photovoltaics (PV) systems—stand alone and grid tied system were compared by the life cycle assessment method. The superiority of the latter one was quite obvious. The analysis also showed that during its life span PV technology was less attractive economically because the electricity price in U.S. and China did not fully reflect the environmental burden associated with it. However if future energy price surges and PV system cost reductions were considered, the technology could be very promising for sustainable buildings in the future.

Actionable pattern analysis in computing and business intelligence systems

With advances in science and technology, computing and business intelligence (BI) systems are steadily becoming more complex with an increasing variety of heterogeneous software and hardware components. They are thus becoming progressively more difficult to monitor, manage and maintain. Traditional approaches to system management have largely relied on domain experts through a knowledge acquisition process that translates domain knowledge into operating rules and policies. It is widely acknowledged as a cumbersome, labor intensive, and error prone process, besides being difficult to keep up with the rapidly changing environments. In addition, many traditional business systems deliver primarily pre-defined historic metrics for a long-term strategic or mid-term tactical analysis, and lack the necessary flexibility to support evolving metrics or data collection for real-time operational analysis. There is thus a pressing need for automatic and efficient approaches to monitor and manage complex computing and BI systems. To realize the goal of autonomic management and enable self-management capabilities, we propose to mine system historical log data generated by computing and BI systems, and automatically extract actionable patterns from this data. This dissertation focuses on the development of different data mining techniques to extract actionable patterns from various types of log data in computing and BI systems. Four key problems—Log data categorization and event summarization, Leading indicator identification , Pattern prioritization by exploring the link structures , and Tensor model for three-way log data are studied. Case studies and comprehensive experiments on real application scenarios and datasets are conducted to show the effectiveness of our proposed approaches.

Domestic and foreign isolationism in an interdependent world

Since Plato's Republic and Aristotle's Politics established the basis for Western political thought almost 2500 years ago, the discipline of international relations has evolved substantially. However, most of the literature revolves around state interaction within the system, and there is little discussion of countries that opt out of the international states system and become isolationist. Given the interdependent nature of the modern international system, this study elaborates on domestic and foreign isolationism by expounding upon the reasons and consequences of states opting out of the international system. The empirical case studies utilized to explore isolationism are Albania, North Korea, and Burma. By empirically verifying the components, motivations, and consequences of isolationism in an interdependent world, this study provides insight into why and how states resist engagement with the global socioeconomic and political state system. ^ Using historical, comparative, and inductive analysis, this study explains why states choose to isolate themselves both domestically and internationally. Specifically, comparative historical analysis highlights isolationism as a concept and practice. This study maintains that extreme forms of self-imposed isolation in an interdependent international system, while perhaps serving the immediate interests of a ruling regime, harms the long-term national interests of the state and the populace. Although the leadership in an isolationist state gains a significant amount of power and control over the people within its borders, the state as a whole experiences profound negative effects. In the long term, a state loses power, stability, prestige, and suffers a decline in overall economic prosperity. ^ States that withdraw from the international system, therefore, provide insight into an unexplored area of international relations when considering notions of rationality, self-interest, power politics, cooperation, and alliances. In short, isolationism in an interdependent state system goes against the logic of the modern society/system of states, resulting in deleterious consequences to the wellbeing of the state. ^

Risk based post closure care analysis for Florida landfills

Subtitle D of the Resource Conservation and Recovery Act (RCRA) requires a post closure period of 30 years for non hazardous wastes in landfills. Post closure care (PCC) activities under Subtitle D include leachate collection and treatment, groundwater monitoring, inspection and maintenance of the final cover, and monitoring to ensure that landfill gas does not migrate off site or into on site buildings. The decision to reduce PCC duration requires exploration of a performance based methodology to Florida landfills. PCC should be based on whether the landfill is a threat to human health or the environment. Historically no risk based procedure has been available to establish an early end to PCC. Landfill stability depends on a number of factors that include variables that relate to operations both before and after the closure of a landfill cell. Therefore, PCC decisions should be based on location specific factors, operational factors, design factors, post closure performance, end use, and risk analysis. The question of appropriate PCC period for Florida’s landfills requires in depth case studies focusing on the analysis of the performance data from closed landfills in Florida. Based on data availability, Davie Landfill was identified as case study site for a case by case analysis of landfill stability. The performance based PCC decision system developed by Geosyntec Consultants was used for the assessment of site conditions to project PCC needs. The available data for leachate and gas quantity and quality, ground water quality, and cap conditions were evaluated. The quality and quantity data for leachate and gas were analyzed to project the levels of pollutants in leachate and groundwater in reference to maximum contaminant level (MCL). In addition, the projected amount of gas quantity was estimated. A set of contaminants (including metals and organics) were identified as contaminants detected in groundwater for health risk assessment. These contaminants were selected based on their detection frequency and levels in leachate and ground water; and their historical and projected trends. During the evaluations a range of discrepancies and problems that related to the collection and documentation were encountered and possible solutions made. Based on the results of PCC performance integrated with risk assessment, projection of future PCC monitoring needs and sustainable waste management options were identified. According to these results, landfill gas monitoring can be terminated, leachate and groundwater monitoring for parameters above MCL and surveying of the cap integrity should be continued. The parameters which cause longer monitoring periods can be eliminated for the future sustainable landfills. As a conclusion, 30 year PCC period can be reduced for some of the landfill components based on their potential impacts to human health and environment (HH&E).

Democratic purgatory: The failure of democracy in Venezuela

This research provides an understanding of the conditions that presage the failure of consolidated democratic political regimes through constitutional processes. In seeking to answer the question of how democracy might fail through democratic means, this study has revealed a gap in the literature on democratization. Venezuela was selected as a heuristic case study to explain this phenomenon. Heuristic case studies place less emphasis on the more configurative or descriptive elements of the case itself, and instead see the case as a point of departure for the formulations of theoretical propositions. While in-case hypotheses are possible, heuristic case studies make it an explicit research plan to tease out mechanisms that exist in a particular case study that might survive in other situations. ^ This study demonstrates that the elements in society that act as direct participants in the establishment of a democratic political system are able to maintain their position in the new order largely through an expansion of their ability to meet popular demands through clientelistic arrangements. While these corporatist groups may serve to facilitate social mobilization during the establishment of democratic regimes, they do so only in so far as they can maintain social control of in-group membership without fully providing for representative democracy. Once these democratic institutions are consolidated as key parts of the democratic structure, these corporatist arrangements provide for a type of unstable democratic purgatory: democracy is not fully representative, yet it is not completely unresponsive to the demands of the electorate. ^ The condition of democratic purgatory produces a paradox whereby democracy can be undemocratic under certain conditions. The stability of these regimes allows for democratic consolidation, despite the undemocratic basis of legitimacy. While these regimes can undergo consolidation, ultimately, this condition is unstable: either these regimes must establish an endogenous basis of political legitimacy (one that is not simply a function of the corporatist/clientelistic political structure), or the democracy will suffer a qualitative decline that may result in a democratic breakdown. Furthermore, this study finds that the viability of any type of democratic regime rests upon its adaptability to ensure adequate representativeness. ^

International education and the post-9/11 syndrome: A study of international educators in selected Miami-area colleges

This dissertation investigated the relationship between the September 11, 2001 terrorist attacks and the internationalization agenda of U.S. colleges and universities. The construct, post-9/11 syndrome, is used metaphorically to delineate the apparent state of panic and disequilibrium that followed the incident. Three research questions were investigated, with two universities in the Miami-area of South Florida, one private and the other public, as qualitative case studies. The questions are: (a) How are international student advisors and administrators across two types of institutions dealing with the post-9/11 syndrome? (b) What, if any, are the differences in international education after 9/11? (c) What have been the institutional priorities in relation to international education before and after 9/11? Data-gathering methods included interviews with international student/study abroad advisors and administrators with at least 8 years of experience in the function(s) at their institutions, document and institutional data analysis. The interviews were based on the three-part scheme developed by Schuman (1982): context of experience, details of experience and reflection on the meaning of experiences. Taped interviews, researcher insights, and member checks of transcripts constituted an audit trail for this study. Key findings included a progressive decline in Fall to Fall enrollment of international students at UM by 13.05% in the 5 years after 9/11, and by 6.15% at FIU in the seven post-9/11 years. In both institutions, there was an upsurge in interest in study abroad during the same period but less than 5% of enrolled students ventured abroad annually. I summarized the themes associated with the post-9/11 environment of international education as perceived by my participants at both institutions as 3Ms, 3Ts, and 1D: Menace of Anxiety and Fear, Menace of Insularity and Insecurity, Menace of Over-Regulation and Bigotry, Trajectory of Opportunity, Trajectory of Contradictions, Trajectory of Illusion, Fatalism and Futility, and Dominance of Technology. Based on these findings, I recommended an integrated Internationalization At Home Plus Collaborative Outreach (IAHPCO) approach to internationalization that is based on a post-9/11 recalibration of national security and international education as complementary rather than diametrically opposed concepts.

An improved framework for dynamic origin-destination (O-D) matrix estimation

This dissertation aims to improve the performance of existing assignment-based dynamic origin-destination (O-D) matrix estimation models to successfully apply Intelligent Transportation Systems (ITS) strategies for the purposes of traffic congestion relief and dynamic traffic assignment (DTA) in transportation network modeling. The methodology framework has two advantages over the existing assignment-based dynamic O-D matrix estimation models. First, it combines an initial O-D estimation model into the estimation process to provide a high confidence level of initial input for the dynamic O-D estimation model, which has the potential to improve the final estimation results and reduce the associated computation time. Second, the proposed methodology framework can automatically convert traffic volume deviation to traffic density deviation in the objective function under congested traffic conditions. Traffic density is a better indicator for traffic demand than traffic volume under congested traffic condition, thus the conversion can contribute to improving the estimation performance. The proposed method indicates a better performance than a typical assignment-based estimation model (Zhou et al., 2003) in several case studies. In the case study for I-95 in Miami-Dade County, Florida, the proposed method produces a good result in seven iterations, with a root mean square percentage error (RMSPE) of 0.010 for traffic volume and a RMSPE of 0.283 for speed. In contrast, Zhou's model requires 50 iterations to obtain a RMSPE of 0.023 for volume and a RMSPE of 0.285 for speed. In the case study for Jacksonville, Florida, the proposed method reaches a convergent solution in 16 iterations with a RMSPE of 0.045 for volume and a RMSPE of 0.110 for speed, while Zhou's model needs 10 iterations to obtain the best solution, with a RMSPE of 0.168 for volume and a RMSPE of 0.179 for speed. The successful application of the proposed methodology framework to real road networks demonstrates its ability to provide results both with satisfactory accuracy and within a reasonable time, thus establishing its potential usefulness to support dynamic traffic assignment modeling, ITS systems, and other strategies.

Soft power as the new norm: How the Chinese-Russian strategic partnership (soft) balances American hegemony in an era of unipolarity

This study explores how great powers not allied with the United States formulate their grand strategies in a unipolar international system. Specifically, it analyzes the strategies China and Russia have developed to deal with U.S. hegemony by examining how Moscow and Beijing have responded to American intervention in Central Asia. The study argues that China and Russia have adopted a soft balancing strategy of to indirectly balance the United States at the regional level. This strategy uses normative capabilities such as soft power, alternative institutions and regionalization to offset the overwhelming material hardware of the hegemon. The theoretical and methodological approach of this dissertation is neoclassical realism. Chinese and Russian balancing efforts against the United States are based on their domestic dynamics as well as systemic constraints. Neoclassical realism provides a bridge between the internal characteristics of states and the environment which those states are situated. Because China and Russia do not have the hardware (military or economic power) to directly challenge the United States, they must resort to their software (soft power and norms) to indirectly counter American preferences and set the agenda to obtain their own interests. Neoclassical realism maintains that soft power is an extension of hard power and a reflection of the internal makeup of states. The dissertation uses the heuristic case study method to demonstrate the efficacy of soft balancing. Such case studies help to facilitate theory construction and are not necessarily the demonstrable final say on how states behave under given contexts. Nevertheless, it finds that China and Russia have increased their soft power to counterbalance the United States in certain regions of the world, Central Asia in particular. The conclusion explains how soft balancing can be integrated into the overall balance-of-power framework to explain Chinese and Russian responses to U.S. hegemony. It also suggests that an analysis of norms and soft power should be integrated into the study of grand strategy, including both foreign policy and military doctrine.

Does management capacity increase organizational performance? An empirical analysis of public housing agencies

Since the 1990s, scholars have paid special attention to public management’s role in theory and research under the assumption that effective management is one of the primary means for achieving superior performance. To some extent, this was influenced by popular business writings of the 1980s as well as the reinventing literature of the 1990s. A number of case studies but limited quantitative research papers have been published showing that management matters in the performance of public organizations. ^ My study examined whether or not management capacity increased organizational performance using quantitative techniques. The specific research problem analyzed was whether significant differences existed between high and average performing public housing agencies on select criteria identified in the Government Performance Project (GPP) management capacity model, and whether this model could predict outcome performance measures in a statistically significant manner, while controlling for exogenous influences. My model included two of four GPP management subsystems (human resources and information technology), integration and alignment of subsystems, and an overall managing for results framework. It also included environmental and client control variables that were hypothesized to affect performance independent of management action. ^ Descriptive results of survey responses showed high performing agencies with better scores on most high performance dimensions of individual criteria, suggesting support for the model; however, quantitative analysis found limited statistically significant differences between high and average performers and limited predictive power of the model. My analysis led to the following major conclusions: past performance was the strongest predictor of present performance; high unionization hurt performance; and budget related criterion mattered more for high performance than other model factors. As to the specific research question, management capacity may be necessary but it is not sufficient to increase performance. ^ The research suggested managers may benefit by implementing best practices identified through the GPP model. The usefulness of the model could be improved by adding direct service delivery to the model, which may also improve its predictive power. Finally, there are abundant tested concepts and tools designed to improve system performance that are available for practitioners designed to improve management subsystem support of direct service delivery.^

Small farmer market knowledge and specialty coffee commodity chains in Western Highlands Guatemala

For producers motivated by their new status as self-employed, landowning, capitalist coffee growers, specialty coffee presents an opportunity to proactively change the way they participate in the international market. Now responsible for determining their own path, many producers have jumped at the chance to enhance the value of their product and participate in the new "fair trade" market. But recent trends in the international coffee price have led many producers to wonder why their efforts to produce a certified Fair Trade and organic product are not generating the price advantage they had anticipated. My study incorporates data collected in eighteen months of fieldwork, including more than 45 interviews with coffee producers and fair trade roasters, 90 surveys of coffee growers, and ongoing participant observation to understand how fair trade certification, as both a market system and development program, meets the expectations of the coffee growers. By comparing three coffee cooperatives that have engaged the Fair Trade system to disparate ends, the results of this investigation are three case studies that demonstrate how global processes of certification, commodity trade, market interaction, and development aid effect social and cultural change within communities. This study frames several lessons learned in terms of (1) socioeconomic impacts of fair trade, (2) characteristics associated with positive development encounters, and (3) potential for commodity producers to capture value further along their global value chain. Commodity chain comparisons indicate the Fair Trade certified cooperative receives the highest per-pound price, though these findings are complicated by costs associate with certification and producers' perceptions of an "unjust" system. Fair trade-supported projects are demonstrated as more "successful" in the eyes of recipients, though their attention to detail can just as easily result in "failure". Finally, survey results reveal just how limited is the market knowledge of producers in each cooperative, though fair trade does, in fact, provide a rare opportunity for producers to learn about consumer demand for coffee quality. Though bittersweet, the fair trade experiences described here present a learning opportunity for a wide range of audiences, from the certified to the certifiers to the concerned public and conscientious consumer.

Linking Ecology and Economics for Ecosystem Management

This article outlines an approach, based on ecosystem services, for assessing the trade-offs inherent in managing humans embedded in ecological systems. Evaluating these trade-offs requires an understanding of the biophysical magnitudes of the changes in ecosystem services that result from human actions, and of the impact of these changes on human welfare. We summarize the state of the art of ecosystem services-based management and the information needs for applying it. Three case studies of Long Term Ecological Research (LTER) sites--coastal, urban, and agricultural-- illustrate the usefulness, information needs, quantification possibilities, and methods for this approach. One example of the application of this approach, with rigorously established service changes and valuations taken from the literature, is used to illustrate the potential for full economic valuation of several agricultural landscape management options, including managing for water quality, biodiversity, and crop productivity.

Organized labor and U.S. foreign policy: The Solidarity Center in historical context

During the Cold War the foreign policy of the American Federation of Labor and Congress of Industrial Organizations (AFL-CIO), was heavily criticized by scholars and activists for following the lead of the U.S. state in its overseas operations. In a wide range of states, the AFL-CIO worked to destabilize governments selected by the U.S. state for regime change, while in others the Federation helped stabilize client regimes of the U.S. state. In 1997 the four regional organizations that previously carried out AFL-CIO foreign policy were consolidated into the American Center for International Labor Solidarity (Solidarity Center). My dissertation is an attempt to analyze whether the foreign policy of the AFL-CIO in the Solidarity Center era is marked by continuity or change with past practices. At the same time, this study will attempt to add to the debate over the role of non-governmental organizations (NGOs) in the post-Cold War era, and its implications for future study. Using the qualitative "process-tracing" detailed by of Alexander George and Andrew Bennett (2005) my study examines a wide array of primary and secondary sources, including documents from the NED and AFL-CIO, in order to analyze the relationship between the Solidarity Center and the U.S. state from 2002-2009. Furthermore, after analyzing broad trends of NED grants to the Solidarity Center, this study examines three dissimilar case studies including Venezuela, Haiti, and Iraq and the Middle East and North African (MENA) region to further explore the connections between U.S. foreign policy goals and the Solidarity Center operations. The study concludes that the evidence indicates continuity with past AFL-CIO foreign policy practices whereby the Solidarity Center follows the lead of the U.S. state. It has been found that the patterns of NED funding indicate that the Solidarity Center closely tailors its operations abroad in areas of importance to the U.S. state, that it is heavily reliant on state funding via the NED for its operations, and that the Solidarity Center works closely with U.S. allies and coalitions in these regions. Finally, this study argues for the relevance of "top-down" NGO creation and direction in the post-Cold War era.