Reducing Manufacturing Costs of the Screen Dryer’s Hot Section by Design

In this thesis, the purpose was to find the cost distribution of the screen dryer and the largest cost factors. The hot section of the screen dryer was revealed as the biggest cost factor, so composing new cost efficient solutions were directed to it. DFMA (Design for Manufacture and Assembly) was chosen to help the design process. DFMA is a product design strategy developed for taking manufacturing and assembly costs into account at the early stages of the design process. In the theory part of the thesis, other methods of economical design and tools needed for estimating manufacturing costs are introduced. In the empirical part, the hot section of the screen dryer was divided into sub-assemblies and their manufacturing costs were estimated. The design propositions were directed to the self-manufactured assemblies and parts. The new manufacturing costs were calculated for the developed propositions. Lastly, the most cost efficient solutions were summarized. The savings on the self-manufactured assemblies were about 40 %, which was about 13 % of the combined total costs of the hot section.

6-n-propyltiouracil (PROP) taster status in Brazilian adults

The objective of this study was to determine PROP (6-n-propyltiouracil) taster status in adults and its relationship with anthropometric variables and pleasantness of sugar, salt, and fat. A total of 123 subjects rated the intensity of PROP and sodium cloride (NaCl) solutions using the labeled magnitude scale. For pleasantness evaluation, it was used concentrated orange juice (sugar) and mashed potato (salt and fat). The subjects were classified as non-tasters (n = 35), medium-tasters (n = 33) and super-tasters (n = 55). In this study, no relationship was found between PROP taster status and age, sex, weight, body mass index, and pleasantness. Although genetic markers may influence the degree of liking of certain foods, one must consider that the mechanisms influencing eating behavior in humans are complex, and that psychological, social, and economic factors play a key role in response to food.

CBIR Using Local and Global Properties of Image Sub-blocks

This paper proposes a content based image retrieval (CBIR) system using the local colour and texture features of selected image sub-blocks and global colour and shape features of the image. The image sub-blocks are roughly identified by segmenting the image into partitions of different configuration, finding the edge density in each partition using edge thresholding, morphological dilation and finding the corner density in each partition. The colour and texture features of the identified regions are computed from the histograms of the quantized HSV colour space and Gray Level Co- occurrence Matrix (GLCM) respectively. A combined colour and texture feature vector is computed for each region. The shape features are computed from the Edge Histogram Descriptor (EHD). Euclidean distance measure is used for computing the distance between the features of the query and target image. Experimental results show that the proposed method provides better retrieving result than retrieval using some of the existing methods

Conflictes socioterriorials i participació pública en la gestió de l'aigua de la conca del riu Muga (Alt Empordà)

Conflictes socioterritorials i participació pública en la gestió de l'aigua de la conca del riu Muga (Alt Empordà) és un treball que incideix sobre la conflictivitat en la gestió dels rius mediterranis i prospecta en la participació pública -activa i vinculant- per a la resolució de conflictes i la planificació i gestió dels recursos hídrics. En concret, s'ha intentat donar resposta a cinc objectius: Objectius del marc teòric - Comprovar l'existència de dos discursos antagònics (radicalment oposats) en l'esfera social, científica i de gestió dels rius que generen conflicte i que són insostenibles per a una gestió integral dels recursos fluvials: el discurs antropocèntric i el discurs ecocèntric. Matèria d'estudi: L'excepcionalisme humà i l'ecologia profunda en la societat; Les disciplines de la regulació de l'aigua i de l'ecologia fluvial en la ciència; El contracte antropocèntric i el balanç ecocèntric en la gestió; El discurs ambiental (el riu antròpic i ecosistemàtic). - Valorar si les estratègies de participació pública (que involucren als agents socials) gaudeixen -respecte els processos de decisió unilaterals (siguin autoritàries o arbitràries)- de més garanties per corregir i prevenir conflictes desconstructius relacionats amb l'aigua i els recursos fluvials. Matèria d'estudi: Definició de conflicte en positiu; L'estratègia de cooperació i consens en la Resolució Alternativa de Disputes (Alternative Dispute Resolution) i 13 casos resolts de conflictes per l'aigua a l'Oest dels Estats Units; Bases d'un pla de gestió integral, adaptatiu i participatiu i el cas del San Joaquin River Management Plan (Califòrnia, Estats Units). Objectius del marc pràctic. Conca del riu Muga (Alt Empordà) - Contextualitzar la diversificació i intensificació dels usos de l'aigua dins un procés de canvi dels usos del sòl, particularment accelerat a partir de la dècada de 1960 i objecte de problemàtiques socioterritorials d'ençà de la dècada de 1980. Cartografia i matriu de canvi dels usos del sòl de la conca anys 1993 i 1957. Matèria d'estudi: Cartografia i estadística dels usos del sòl de la conca del riu Muga (49 municipis altempordanesos, 1.050 km2), anys 1957 i 1993. Retrospectiva dels espais forestals, d'aigua, conreats i urbanitzats. - Identificar i descriure les tensions i conflictes en l'ús de l'aigua, així com les característiques de les solucions adoptades en el període 1980-2000. Constatar si determinades solucions estructurals han esdevingut problemàtiques a mig o llarg termini, i estimar la probabilitat de conflictes futurs. Matèria d'estudi: 50 incidents problemàtics en abastament d'aigua (26 tensions i 24 conflictes) i 53 mesures per fer-hi front (12 d'adaptació de la demanda i 41 d'adaptació de l'oferta d'aigua) entre els anys 1980 i 2000, i diferenciant dues unitats territorials de la conca (la Muga interior i la plana de la Muga). - Caracteritzar quins són els temes en matèria d'aigua que no disposen de consens entre els agents socioeconòmics, tècnics i polítics locals reunits en les sessions de discussió del projecte MUGA. Determinar si les estratègies participatives poden prosperar perquè són factibles i idònies. Matèria d'estudi: Projecte MUGA: Gestión del recurso agua con participación de agentes. Estudio para la cuenca del río Muga (Girona), 2000-2003 - UAB i UdG; La dissensió d'opinions dels 30 participants a les 4 sessions de discussió entorn l'ús i gestió de l'aigua de la conca de la Muga; 6 temes de conflicte, 14 subtemes i 31 punts de discussió, 9 dels quals punts calents de conflicte (destructius i indicadors de punts de disfunció en la gestió de l'aigua de la conca).

National and sub-national assessments of soil organic carbon stocks and changes: The GEFSOC modelling system

Soil organic carbon (SOC) plays a vital role in ecosystem function, determining soil fertility, water holding capacity and susceptibility to land degradation. In addition, SOC is related to atmospheric CO, levels with soils having the potential for C release or sequestration, depending on land use, land management and climate. The United Nations Convention on Climate Change and its Kyoto Protocol, and other United Nations Conventions to Combat Desertification and on Biodiversity all recognize the importance of SOC and point to the need for quantification of SOC stocks and changes. An understanding of SOC stocks and changes at the national and regional scale is necessary to further our understanding of the global C cycle, to assess the responses of terrestrial ecosystems to climate change and to aid policy makers in making land use/management decisions. Several studies have considered SOC stocks at the plot scale, but these are site specific and of limited value in making inferences about larger areas. Some studies have used empirical methods to estimate SOC stocks and changes at the regional scale, but such studies are limited in their ability to project future changes, and most have been carried out using temperate data sets. The computational method outlined by the Intergovernmental Panel on Climate Change (IPCC) has been used to estimate SOC stock changes at the regional scale in several studies, including a recent study considering five contrasting eco regions. This 'one step' approach fails to account for the dynamic manner in which SOC changes are likely to occur following changes in land use and land management. A dynamic modelling approach allows estimates to be made in a manner that accounts for the underlying processes leading to SOC change. Ecosystem models, designed for site scale applications can be linked to spatial databases, giving spatially explicit results that allow geographic areas of change in SOC stocks to be identified. Some studies have used variations on this approach to estimate SOC stock changes at the sub-national and national scale for areas of the USA and Europe and at the watershed scale for areas of Mexico and Cuba. However, a need remained for a national and regional scale, spatially explicit system that is generically applicable and can be applied to as wide a range of soil types, climates and land uses as possible. The Global Environment Facility Soil Organic Carbon (GEFSOC) Modelling System was developed in response to this need. The GEFSOC system allows estimates of SOC stocks and changes to be made for diverse conditions, providing essential information for countries wishing to take part in an emerging C market, and bringing us closer to an understanding of the future role of soils in the global C cycle. (C) 2007 Elsevier B.V. All rights reserved.

Nebular gas drag and planetary accretion with eccentric high-mass planets

Aims.We investigate the dynamics of pebbles immersed in a gas disk interacting with a planet on an eccentric orbit. The model has a prescribed gap in the disk around the location of the planetary orbit, as is expected for a giant planet with a mass in the range of 0.1-1 Jupiter masses. The pebbles with sizes in the range of 1 cm to 3 m are placed in a ring outside of the giant planet orbit at distances between 10 and 30 planetary Hill radii. The process of the accumulation of pebbles closer to the gap edge, its possible implication for the planetary accretion, and the importance of the mass and the eccentricity of the planet in this process are the motivations behind the present contribution. Methods. We used the Bulirsch-Stoer numerical algorithm, which is computationally consistent for close approaches, to integrate the Newtonian equations of the planar (2D), elliptical restricted three-body problem. The angular velocity of the gas disk was determined by the appropriate balance between the gravity, centrifugal, and pressure forces, such that it is sub-Keplerian in regions with a negative radial pressure gradient and super-Keplerian where the radial pressure gradient is positive. Results. The results show that there are no trappings in the 1:1 resonance around the L 4 and L5 Lagrangian points for very low planetary eccentricities (e2 < 0.07). The trappings in exterior resonances, in the majority of cases, are because the angular velocity of the disk is super-Keplerian in the gap disk outside of the planetary orbit and because the inward drift is stopped. Furthermore, the semi-major axis location of such trappings depends on the gas pressure profile of the gap (depth) and is a = 1.2 for a planet of 1 MJ. A planet on an eccentric orbit interacts with the pebble layer formed by these resonances. Collisions occur and become important for planetary eccentricity near the present value of Jupiter (e 2 = 0.05). The maximum rate of the collisions onto a planet of 0.1 MJ occurs when the pebble size is 37.5 cm ≤ s < 75 cm; for a planet with the mass of Jupiter, it is15 cm ≤ s < 30 cm. The accretion stops when the pebble size is less than 2 cm and the gas drag dominates the motion. © 2013 ESO.

Adsorção de molibdato em minerais de argilas naturais e modificadas com ácido sulfúrico, ácido húmico e uréia

Sedimentos argilosos provenientes do município Assis Brasil, Acre, foram lixiviados com soluções de ácido sulfúrico, ácido húmico e uréia, visando avaliar a capacidade de retenção de molibdato nesses materiais e investigar a viabilidade do processo de adsorção na interface sólido-solução. Os materiais foram caracterizados a partir de dados de difração de raios X, espectros FTIR, cargas superficiais e composição química. Os modelos de isotermas de Langmuir, Freundlich e Sips foram usados no ajuste dos dados experimentais de adsorção. Os minerais identificados nos sedimentos argilosos foram esmectita, caulinita, ilita, quartzo, albita, microclineo e calcita. A modificação química promoveu a amorfização da amostra modificada com ácido sulfúrico e delaminação ao longo do plano 001 da amostra modificada com uréia. Os ajustes matemáticos definidos pelos parâmetros (K_L,K_f) das isotermas de adsorção, avaliação de C_e vs. Q_e, pH vs. Q_e ,Qmáx (sips) e Kd indicaram que a amostra S10H15 é a mais eficiente na adsorção de MoO₄^2-, com q_Max = 6,83 mg.L^-1.

Simulação de propriedades espectroscópicas e estruturais de materiais orgânicos para a aplicação em dispositivos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Análise ambiental simplificada no entorno de águas superficiais na bacia do rio Corumbataí (SP)

The basin of the Corumbataí river is of vital importance to over 600 thousand people, who depend on its waters for consumption. The Simplified Analisys of Environmental Impacts in the Areas Surrounding the Surface Waters of the Drainage Basin of the Corumbataí River (SP) is aimed at defining the areas which are most susceptible to degradation or already damaged and propose engineering solutions according to the environmental problems identified. Using a questionnaire to indicate possible impacts in the surroundings, I related human actions to these damage and quantified them. Having studied the basin extensively and selected 42 areas - generically identified as points and grouped as sub-basins and according to the soil usage -, I was able to identify the main environmental impacts in the basin as: sugar cane monoculture, lack of riparian forest, damaged areas due to mining, the bad state of rural roads and bridges, rubbish disposal alongside roads or directly into the river, accelerated and unplanned expansion of residential and industrial areas into the rural areas and river sources, and Rio Claro's untreated city wastewater

Avaliação ambiental simplificada dos recursos hídricos na bacia hidrográfica do Ribeirão Preto, São Paulo

The objective of this study was to evaluate environmental impacts on the Ribeirão Preto basin in order to define the most degraded areas and their causes and to propose solutions and management strategies for them. An impacts indicator questionnaire was designed, that allowed us to establish a direct relationship between reactions achieved and environmental factors by attributing value to some impacting parameters obtained by simple visualization in the field. The questionnaire was applied at 22 points, based on the influence area of the sub-basin and variability in land use. It was determined that the main environmental impacts that affect the basin are in nature effluent wastewater released into water bodies, the disposal of waste and deforestation. These factors were mainly noticed near to Ribeirão Preto city (State of São Paulo), the most populated region. Such information provides subsidies necessary to environmental management in this basin to decreasing environmental degradation. Among the management strategies suggested, it is possible to highlight that related to the accomplishment of environmental legislation, recuperation of degraded areas and adequate treatment and disposal of effluents.

A novel XML document structure comparison framework based-on sub-tree commonalities and label semantics

XML similarity evaluation has become a central issue in the database and information communities, its applications ranging over document clustering, version control, data integration and ranked retrieval. Various algorithms for comparing hierarchically structured data, XML documents in particular, have been proposed in the literature. Most of them make use of techniques for finding the edit distance between tree structures, XML documents being commonly modeled as Ordered Labeled Trees. Yet, a thorough investigation of current approaches led us to identify several similarity aspects, i.e., sub-tree related structural and semantic similarities, which are not sufficiently addressed while comparing XML documents. In this paper, we provide an integrated and fine-grained comparison framework to deal with both structural and semantic similarities in XML documents (detecting the occurrences and repetitions of structurally and semantically similar sub-trees), and to allow the end-user to adjust the comparison process according to her requirements. Our framework consists of four main modules for (i) discovering the structural commonalities between sub-trees, (ii) identifying sub-tree semantic resemblances, (iii) computing tree-based edit operations costs, and (iv) computing tree edit distance. Experimental results demonstrate higher comparison accuracy with respect to alternative methods, while timing experiments reflect the impact of semantic similarity on overall system performance.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Institutional Infrastructure to Support 'Super Growth' in Kenya: Governance Thresholds, Reversion Rates and Economic Development

Kenya Growth Vision 2030 proposes policy and institutional reforms that make it possible for the country to achieve development status of a middle income country by 2030. This paper outlines the institutional framework necessary to achieve ÈSuper Growth,É which describes the character of growth required to meet targets stipulated in the Vision. The paper provides evidence confirming the importance of improving the quality of governance to the achievement of the Vision. The paper also demonstrates that the country is characterized by a high probability of reverting to poor governance. It is argued that, to achieve super growth, the country must attain an institutional tipping point which associates with low reversion rates to weaker institutions. The paper provides suggestions for institutional reforms that result in the achievement of an institutional tipping point and super growth.

The power of language and the language of power in M. T. Anderson’s Feed and Gary Stheyngart’s Super Sad True Love Story. A comparative analysis

The aim of my dissertation is to analyze how selected elements of language are addressed in two contemporary dystopias, Feed by M. T. Anderson (2002) and Super Sad True Love Story by Gary Shteyngart (2010). I chose these two novels because language plays a key role in both of them: both are primarily focused on the pervasiveness of technology, and on how the use/abuse of technology affects language in all its forms. In particular, I examine four key aspects of language: books, literacy, diary writing, as well as oral language. In order to analyze how the aforementioned elements of language are dealt with in Feed and Super Sad True Love Story, I consider how the same aspects of language are presented in a sample of classical dystopias selected as benchmarks: We by Yevgeny Zamyatin (1921), Brave New World by Aldous Huxley (1932), Animal Farm (1945) and Nineteen Eighty-Four (1949) by George Orwell, Fahrenheit 451 by Ray Bradbury (1952), and The Handmaid's Tale by Margaret Atwood (1986). In this way, I look at how language, books, literacy, and diaries are dealt with in Anderson’s Feed and in Shteyngart’s Super Sad True Love Story, both in comparison with the classical dystopias as well as with one another. This allows for an analysis of the similarities, as well as the differences, between the two novels. The comparative analysis carried out also takes into account the fact that the two contemporary dystopias have different target audiences: one is for young adults (Feed), whereas the other is for adults (Super Sad True Love Story). Consequently, I also consider whether further differences related to target readers affect differences in how language is dealt with. Preliminary findings indicate that, despite their different target audiences, the linguistic elements considered are addressed in the two novels in similar ways.

Methylomic and Transcriptomic Insights Linking Air Pollution and Atherosclerosis

Thesis (Ph.D.)--University of Washington, 2016-06