A dinâmica dos sistemas de produção praticados em uma unidade de conservação de uso direto na Amazônia - a Reserva Extrativista do Rio Cajari no estado do Amapá.

Este trabalho aborda um tipo específico de extrativismo: o extrativismo da castanha-do-brasil realizado na Reserva Extrativista do rio Cajari no Estado do Amapá (RESEX/CA). O trabalho é uma continuidade de pesquisas realizadas no ano de 2000, e tem como foco principal compreender a dinâmica dos sistemas de produção praticados na RESEX/CA. Neste trabalho percebemos que as mudanças ocorridas nos sistemas de produção praticados na RESEX/CA de 2000 para 2005, evidenciam que além de fatores de ordem econômica, a permanência das práticas agrícolas com o extrativismo da castanha se rege por outros fatores. A relação histórica de uso da floresta com o extrativismo e as agriculturas é bem mais complexa, não podendo ser avaliada apenas do prisma econômico. Os dados demonstram que as unidades de produção extrativistas são aquelas de menor desempenho econômico, e, apesar disso, não há um movimento das famílias em acabar com esse sistema. Ao contrário, o tipo extrativista não apenas se manteve, mas aumentou de representatividade de 2000 para 2005, indicando atratividade deste tipo para as famílias da RESEX/CA. Entretanto, os sistemas agroextrativistas também cresceram, indicando que algumas famílias procuram alcançar melhores níveis de qualidade de vida, através da agricultura. Em se tratando de uma unidade de conservação de uso direto, para esta reserva extrativista deveria ser direcionada ações de apoio aos castanheiros da RESEX/CA, para que eles pudessem ter melhores condições de vida, sem ter que investir em outras atividades, que não o extrativismo.

Remodelamento parenquimatoso pulmonar em dois modelos experimentais de fibrose

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Avaliação de força de preensão manual e teste de usabilidade em embalagens com tampas de segurança: parâmetros para o design ergonômico

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Caracterização físico-química e estrutural de complexos amido-monoestearato de glicerol em amidos de cereais e a influência da β-ciclodextrina

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

Estudo morfométrico do canal do hipoglosso

The hypoglossal nerve (HN) is responsible for the intrinsic and extrinsic muscles of the tongue. Knowledge of this is extremely important because this nerve is responsible for tongue movement. HN paralysis can be associated to the disease itself in various zones in which the NH travels, mainly the hypoglossal canal (HC). Variations in shape of the hypoglossal canal have been pointed to as the cause of HN paralysis in several studies. Four hundred dried intact human skulls without sex or race identification, belonging to the Discipline of Anatomy of ICTSJC – UNESP were studied. Each canal was classified into types: type I (without division in the HC), type II (HC with low bone spike), type III (HC more than two projections bone), type IV (presence of complete bony bridge without dividing HC into two distinct canals) and type V (presence of bone bridge by dividing into two HC canals). HC was found in 100% of skulls studied in both side. Regarding types, we found 538 (67.25%) hypoglossal canal of type I (34%, right side and 33.25%, left side), 108 (13.5%) of type II (7.38%, right side, and 6.13%, left side), 60 (7.5%) hypoglossal canal of type III (3.5%, right side and 4.0%, left side) 84 (10.5%) of type IV (4.75%, right side and 5.75%, left side) and 5 (0.63%) of the type V (0.13%, right side and 0.5%, left side). We found 5 (0,63%) different HC and classified ourselves in type VI, VII and VIII. The average angle was 51,3º on right side and 50,25º on left side. Detailed knowledge of the anatomy of the CH supports professionals in interventions of bloody skull base and also in giving the correct diagnosis of the probable causes of paralysis of the hypoglossal nerve

Cariótipo, comportamento dos cromossomos na meiose e região organizadora de nucléolo de aranhas pertencentes às famílias Oxyopidae e theridiidae (Araneomorphae, entelegynae)

No presente trabalho, seis espécies de aranhas pertencentes às famílias Oxyopidae e Theridiidae foram examinadas citogeneticamente, através de técnicas de coloração convencional e impregnação pelo íon prata. A análise de células mitóticas e meióticas coradas com Giemsa de quatro espécies de Oxyopidae, Hamataliwa sp., Peucetia flava, Peucetia rubrolineata e Oxyopes salticus revelou informações citogenéticas inéditas para a família. Metáfases espermatogoniais de Hamataliwa sp. mostraram o cariótipo 2n=26+X1X2, o qual corresponde ao maior número diplóide já descrito para a família. Células mitóticas de P. flava e P. rubrolineata exibiram 2n♂=20+X1X2 e 2n♂=20+X, respectivamente, indicando a ocorrência de uma variabilidade cariotípica dentro desse gênero. Os cromossomos dessas três espécies apresentaram morfologia acro/telocêntrica. Os resultados obtidos em O. salticus foram surpreendentes, pois revelaram 2n♂=10+X, o menor número cromossômico encontrado para Oxyopidae e o segundo menor registrado para aranhas do grupo Entelegynae, bem como morfologia meta/submetacêntrica da maioria dos cromossomos. Além disso, um indivíduo da amostra de O. salticus examinada apresentou um heteromorfismo nos elementos que constituem o primeiro par do cariótipo e um cromossomo B em algumas células. Em Hamataliwa sp. e O. salticus, as regiões organizadoras de nucléolo estavam localizadas sobre dois e três pares autossômicos, respectivamente. Em relação às duas espécies de Theridiidae, Argyrodes elevatus apresentou um cariótipo totalmente discrepante, quando comparado com aqueles já descritos para a família, uma vez que mostrou o número diplóide 2n♂=21, sistema cromossômico sexual do tipo X/XX e morfologia cromossômica meta/submetacêntrica. No entanto, as características cariotípicas verificadas na maioria dos exemplares de Nesticodes rufipes foram semelhantes aquelas mais freqüentes em aranhas ...

Algoritmo tabu search especializado para o problema de planejamento da expansao de sistemas de transmissão

Pós-graduação em Engenharia Elétrica - FEIS

Avaliação da alteração dimensional de modelos obtidos a partir de moldagens com alginato tradicional e outro com desinfetante

The present study aims at evaluating dimensional alteration of stone casts made from impressions with a standard irreversible hydrocolloid and an antimicrobial one. For this, an alginate without disinfectant (Type II Jeltrate) and other containing chlorhexidine (Type II Avagel) were used, which rose by the same regime of treatment: without disinfection; immersion; and spraying. A 1% sodium hypochlorite solution was used for 10 minutes. To obtain the impressions, a perforated impression tray was made from a standard metal model. After molding, the molds were washed in running water for 30 seconds to simulate removal of saliva. Then, with the exception of the control group, these molds were subjected to disinfection treatment. After 10 minutes they were washed again. 60 samples poured with type V special gypsum (Durone) were obtained, that were measured 3 times in a stereomicroscope (SZX12, Olympus) to record the average of dimensional alterations. The disinfection treatment did not bring significant changes in the models obtained from both alginate tested (standard p = 0.7102; with chlorhexidine p = 0.5832). The results showed a statistically significant and additional advantage of the traditional alginate on alginate with chlorhexidine, with respect to dimensional alteration (p < 0.05).

Uma nova abordagem branch and cut aplicada ao problema de planejamento da expansão de redes de transmissão de grande porte

Neste artigo propomos um algoritmo branch and cut com novas inequações específicas ao problema de planejamento da expansão de redes de transmissão de energia elétrica. Todas as inequações propostas neste trabalho são válidas tanto para os modelos lineares como para os modelos não lineares do problema. Os testes computacionais têm mostrado a eficiência do método proposto neste trabalho quando aplicado a subsistemas reais brasileiros e ao sistema colombiano.

Contagem de células somáticas e produção leiteira em cabras Saanen estressadas via aplicação de ACTH

Avaliou-se neste estudo o efeito do estresse, via administração de ACTH (hormônio adrenocorticotrófico), sobre a quantidade e qualidade do leite produzido e a indicação de estresse pela alteração no nível de cortisol. Assim, 12 cabras lactantes foram distribuídas em dois grupos: seis animais receberam aplicação de 0,06 UI de ACTH/kg de PV (desafiadas) e seis receberam solução placebo (controle), todas via intravenosa. O desafio ocorreu ao longo da lactação, com aplicação do protocolo aos 30, 60, 120 e 180 dias do início da lactação, avaliando-se em cada data os níveis de cortisol 30 minutos antes, no ato da aplicação, 60, 120 e 300 minutos depois. A produção leiteira foi mensurada diariamente durante 270 dias e, a cada 20 dias, o leite foi colhido para contagem de células somáticas (CCS) pelo método direto. Os teores de cortisol mensurados em -30 e 0 minuto antes da aplicação de ACTH foram baixos e semelhantes entre os grupos. Entretanto, a partir de 60 minutos, constatou-se efeito da aplicação de ACTH, com teor de cortisol de 61,37±6,65 versus 5,47±1,21 ng/mL e de 51,17±10,21 versus 4,67±1,21 ng/mL aos 120 minutos. Aos 300 minutos, o cortisol retornou ao nível basal. Não houve diferença na produção de leite, no teor de proteína e de gordura do leite, cujos valores nos grupos ACTH e Placebo foram 1,37±0,59 e 1,38±0,63 kg de leite, respectivamente. A contagem de células somáticas não foi influenciada pelo estresse e apresentou valores situados na faixa indicada para animais sadios. Constatou-se estresse pontual em decorrência da aplicação de ACTH, porém sem alterações de natureza quantitativa e qualitativa do leite produzido, e isso indica que atividades de manejo que estressam os animais pontualmente não trazem prejuízos ao sistema produtivo.

Gestione Efficiente di Eventi Complessi su Piattaforma IoT ThingWorx

Nella prima parte di questa tesi viene introdotto il concetto di Internet of Things. Vengono discussi gli elementi costituitivi fondamentali di tale tecnologia, le differenti architetture proposte nel corso degli anni e le sfide che devono ancora essere affrontate per vedere realizzato l’IoT. Questa prima parte si conclude inoltre con due esempi di applicazione dell’IoT. Questi due esempi, Smart City e Smart Healthcare, hanno l’obbiettivo di evidenziare quali sono i vantaggi ed i servizi che possono essere offerti all’utente finale una volta applicato l’IoT. Nel secondo capitolo invece, vengono presentate le funzionalità della piattaforma IoT ThingWorx, la quale mette a disposizione un ambiente di sviluppo per applicazioni IoT con l’obbiettivo di ridurre i tempi e quindi anche i costi di sviluppo delle stesse. Questa piattaforma cerca di ridurre al minimo la necessità di scrivere codice, utilizzando un sistema di sviluppo di tipo “Drag and Drop”. ThingWorx mette anche a disposizione degli SDK per facilitare la programmazione dei device, gestendo soprattutto la parte di comunicazione nodo – piattaforma. Questo argomento viene trattato ampiamente nella parte finale di questo capitolo dopo aver visto quali sono i concetti fondamentali di modellazione e rappresentazione dei dati sui quali si basa la piattaforma. Nel terzo e ultimo capitolo di questa tesi viene presentato innanzitutto il tutorial Android di ThingWorx. Svolgere e successivamente estendere il tutorial ha evidenziato alcune limitazioni del modello iniziale e questo ci ha portato a progettare e sviluppare il componente Aggregated & Complex Event Manager per la gestione di eventi complessi e che permette di sgravare parzialmente la piattaforma da tale compito. La tesi si conclude evidenziando, tramite dei test, alcune differenze fra la situazione iniziale nella quale il componente non viene utilizzato e la situazione finale, nella quale invece viene usato.

EPIC (Entorno de Páncreas Artificial con Interfaz Clínica)

La Diabetes Mellitus se define como el trastorno del metabolismo de los carbohidratos, resultante de una producción insuficiente o nula de insulina en las células beta del páncreas, o la manifestación de una sensibilidad reducida a la insulina por parte del sistema metabólico. La diabetes tipo 1 se caracteriza por la nula producción de insulina por la destrucción de las células beta del páncreas. Si no hay insulina en el torrente sanguíneo, la glucosa no puede ser absorbida por las células, produciéndose un estado de hiperglucemia en el paciente, que a medio y largo plazo si no es tratado puede ocasionar severas enfermedades, conocidos como síndromes de la diabetes. La diabetes tipo 1 es una enfermedad incurable pero controlable. La terapia para esta enfermedad consiste en la aplicación exógena de insulina con el objetivo de mantener el nivel de glucosa en sangre dentro de los límites normales. Dentro de las múltiples formas de aplicación de la insulina, en este proyecto se usará una bomba de infusión, que unida a un sensor subcutáneo de glucosa permitirá crear un lazo de control autónomo que regule la cantidad optima de insulina aplicada en cada momento. Cuando el algoritmo de control se utiliza en un sistema digital, junto con el sensor subcutáneo y bomba de infusión subcutánea, se conoce como páncreas artificial endocrino (PAE) de uso ambulatorio, hoy día todavía en fase de investigación. Estos algoritmos de control metabólico deben de ser evaluados en simulación para asegurar la integridad física de los pacientes, por lo que es necesario diseñar un sistema de simulación mediante el cual asegure la fiabilidad del PAE. Este sistema de simulación conecta los algoritmos con modelos metabólicos matemáticos para obtener una visión previa de su funcionamiento. En este escenario se diseñó DIABSIM, una herramienta desarrollada en LabViewTM, que posteriormente se trasladó a MATLABTM, y basada en el modelo matemático compartimental propuesto por Hovorka, con la que poder simular y evaluar distintos tipos de terapias y reguladores en lazo cerrado. Para comprobar que estas terapias y reguladores funcionan, una vez simulados y evaluados, se tiene que pasar a la experimentación real a través de un protocolo de ensayo clínico real, como paso previo al PEA ambulatorio. Para poder gestionar este protocolo de ensayo clínico real para la verificación de los algoritmos de control, se creó una interfaz de usuario a través de una serie de funciones de simulación y evaluación de terapias con insulina realizadas con MATLABTM (GUI: Graphics User Interface), conocido como Entorno de Páncreas artificial con Interfaz Clínica (EPIC). EPIC ha sido ya utilizada en 10 ensayos clínicos de los que se han ido proponiendo posibles mejoras, ampliaciones y/o cambios. Este proyecto propone una versión mejorada de la interfaz de usuario EPIC propuesta en un proyecto anterior para gestionar un protocolo de ensayo clínico real para la verificación de algoritmos de control en un ambiente hospitalario muy controlado, además de estudiar la viabilidad de conectar el GUI con SimulinkTM (entorno gráfico de Matlab de simulación de sistemas) para su conexión con un nuevo simulador de pacientes aprobado por la JDRF (Juvenil Diabetes Research Foundation). SUMMARY The diabetes mellitus is a metabolic disorder of carbohydrates, as result of an insufficient or null production of insulin in the beta cellules of pancreas, or the manifestation of a reduced sensibility to the insulin from the metabolic system. The type 1 diabetes is characterized for a null production of insulin due to destruction of the beta cellules. Without insulin in the bloodstream, glucose can’t be absorbed by the cellules, producing a hyperglycemia state in the patient and if pass a medium or long time and is not treated can cause severe disease like diabetes syndrome. The type 1 diabetes is an incurable disease but controllable one. The therapy for this disease consists on the exogenous insulin administration with the objective to maintain the glucose level in blood within the normal limits. For the insulin administration, in this project is used an infusion pump, that permit with a subcutaneous glucose sensor, create an autonomous control loop that regulate the optimal insulin amount apply in each moment. When the control algorithm is used in a digital system, with the subcutaneous senor and infusion subcutaneous pump, is named as “Artificial Endocrine Pancreas” for ambulatory use, currently under investigate. These metabolic control algorithms should be evaluates in simulation for assure patients’ physical integrity, for this reason is necessary to design a simulation system that assure the reliability of PAE. This simulation system connects algorithms with metabolic mathematics models for get a previous vision of its performance. In this scenario was created DIABSIMTM, a tool developed in LabView, that later was converted to MATLABTM, and based in the compartmental mathematic model proposed by Hovorka that could simulate and evaluate several different types of therapy and regulators in closed loop. To check the performance of these therapies and regulators, when have been simulated and evaluated, will be necessary to pass to real experimentation through a protocol of real clinical test like previous step to ambulatory PEA. To manage this protocol was created an user interface through the simulation and evaluation functions od therapies with insulin realized with MATLABTM (GUI: Graphics User Interface), known as “Entorno de Páncreas artificial con Interfaz Clínica” (EPIC).EPIC have been used in 10 clinical tests which have been proposed improvements, adds and changes. This project proposes a best version of user interface EPIC proposed in another project for manage a real test clinical protocol for checking control algorithms in a controlled hospital environment and besides studying viability to connect the GUI with SimulinkTM (Matlab graphical environment in systems simulation) for its connection with a new patients simulator approved for the JDRF (Juvenil Diabetes Research Foundation).

El régimen de humedad de los suelos de la España peninsular

El objeto de la Tesis es el régimen de humedad de los suelos de la España Peninsular, cuya determinación a partir de datos climáticos se ha realizado de acuerdo con la metodología incluida en la taxonomía norteamericana de suelos (Soil Survey StafF 1975, 1994). Esta metodología presenta algunas indefiniciones, que se pretenden solventar. La investigación ha consistido en la clasificación de los regímenes de humedad del suelo de la España Peninsular y su representación cartográfica. Se han considerado varios métodos de determinación de la evapotranspiración y varios modelos de estimación del régimen de humedad. La clasificación numérica de los regímenes de 467 localidades ha permitido su agrupamiento en clases y su subdivisión natural. El contraste de esta información con la aportada por la cartografía de series de vegetación, mediante un sistema de información geográfica tipo reticular, ha servido para afinar los mapas. El resultado revela que un modelo modificado sirve para subsanar las indefiniciones y posibilita la adaptación de los grupos a las condiciones naturales. SUMMARY The soil moisture regime defined by the Soil Taxonomy (Soil Survey StafF, 1975, 1994) has been determined by Newhall's simulation model from climatic data. This classification presents some diffículties as gaps and overlaps in the definitions, that we have tried to solve. The soil moisture regimes have been determined by different methods and the results have been classified and mapped. We have compared differents methods of evapotranspiration estimation. A simple modification of Newhall's model matchs better the natural conditions of Spain when comparing with the potential vegatation. A ráster geographical information system has been used to overlay the information layers. As result of the numerical classification of soil moistures regimes of 467 sites, the regimes have been grouped in classes adapted to the natural conditions of Spain. We have compared the results with the potential vegetation map in order to tune the soil moisture regime boundaries. We propose a new soil moisture regimes classification divided in two categories. This classification is adapted to Spanish natural conditions.

Condicionantes de la adherencia y anclaje en el refuerzo de muros de fábrica con elementos de fibras

Es cada vez más frecuente la rehabilitación de patrimonio construido, tanto de obras deterioradas como para la adecuación de obras existentes a nuevos usos o solicitaciones. Se ha considerado el estudio del refuerzo de obras de fábrica ya que constituyen un importante número dentro del patrimonio tanto de edificación como de obra civil (sistemas de muros de carga o en estructuras principales porticadas de acero u hormigón empleándose las fábricas como cerramiento o distribución con elementos autoportantes). A la hora de reparar o reforzar una estructura es importante realizar un análisis de las deficiencias, caracterización mecánica del elemento y solicitaciones presentes o posibles; en el apartado 1.3 del presente trabajo se refieren acciones de rehabilitación cuando lo que se precisa no es refuerzo estructural, así como las técnicas tradicionales más habituales para refuerzo de fábricas que suelen clasificarse según se trate de refuerzos exteriores o interiores. En los últimos años se ha adoptado el sistema de refuerzo de FRP, tecnología con origen en los refuerzos de hormigón tanto de elementos a flexión como de soportes. Estos refuerzos pueden ser de láminas adheridas a la fábrica soporte (SM), o de barras incluidas en rozas lineales (NSM). La elección de un sistema u otro depende de la necesidad de refuerzo y tipo de solicitación predominante, del acceso para colocación y de la exigencia de impacto visual. Una de las mayores limitaciones de los sistemas de refuerzo por FRP es que no suele movilizarse la resistencia del material de refuerzo, produciéndose previamente fallo en la interfase con el soporte con el consecuente despegue o deslaminación; dichos fallos pueden tener un origen local y propagarse a partir de una discontinuidad, por lo que es preciso un tratamiento cuidadoso de la superficie soporte, o bien como consecuencia de una insuficiente longitud de anclaje para la transferencia de los esfuerzos en la interfase. Se considera imprescindible una caracterización mecánica del elemento a reforzar. Es por ello que el trabajo presenta en el capítulo 2 métodos de cálculo de la fábrica soporte de distintas normativas y también una formulación alternativa que tiene en cuenta la fábrica histórica ya que su caracterización suele ser más complicada por la heterogeneidad y falta de clasificación de sus materiales, especialmente de los morteros. Una vez conocidos los parámetros resistentes de la fábrica soporte es posible diseñar el refuerzo; hasta la fecha existe escasa normativa de refuerzos de FRP para muros de fábrica, consistente en un protocolo propuesto por la ACI 440 7R-10 que carece de mejoras por tipo de anclaje y aporta valores muy conservadores de la eficacia del refuerzo. Como se ha indicado, la problemática principal de los refuerzos de FRP en muros es el modo de fallo que impide un aprovechamiento óptimo de las propiedades del material. Recientemente se están realizando estudios con distintos métodos de anclaje para estos refuerzos, con lo que se incremente la capacidad última y se mantenga el soporte ligado al refuerzo tras la rotura. Junto con sistemas de anclajes por prolongación del refuerzo (tanto para láminas como para barras) se han ensayado anclajes con llaves de cortante, barras embebidas, o anclajes mecánicos de acero o incluso de FRP. Este texto resume, en el capítulo 4, algunas de las campañas experimentales llevadas a cabo entre los años 2000 y 2013 con distintos anclajes. Se observan los parámetros fundamentales para medir la eficacia del anclajes como son: el modo de fallo, el incremento de resistencia, y los desplazamientos que permite observar la ductilidad del refuerzo; estos datos se analizan en función de la variación de: tipo de refuerzo incluyéndose el tipo de fibra y sistema de colocación, y tipo de anclaje. Existen también parámetros de diseño de los propios anclajes. En el caso de barras embebidas se resumen en diámetro y material de la barra, acabado superficial, dimensiones y forma de la roza, tipo de adhesivo. En el caso de anclajes de FRP tipo pasador la caracterización incluye: tipo de fibra, sistema de fabricación del anclajes y diámetro del mismo, radio de expansión del abanico, espaciamiento longitudinal de anclajes, número de filas de anclajes, número de láminas del refuerzo, longitud adherida tras el anclaje; es compleja la sistematización de resultados de los autores de las campañas expuestas ya que algunos de estos parámetros varían impidiendo la comparación. El capítulo 5 presenta los ensayos empleados para estas campañas de anclajes, distinguiéndose entre ensayos de modo I, tipo tracción directa o arrancamiento, que servirían para sistemas NSM o para cuantificar la resistencia individual de anclajes tipo pasador; ensayos de modo II, tipo corte simple, que se asemeja más a las condiciones de trabajo de los refuerzos. El presente texto se realiza con objeto de abrir una posible investigación sobre los anclajes tipo pasador, considerándose que junto con los sistemas de barra embebida son los que permiten una mayor versatilidad de diseño para los refuerzos de FRP y siendo su eficacia aún difícil de aislar por el número de parámetros de diseño. Rehabilitation of built heritage is becoming increasingly frequent, including repair of damaged works and conditioning for a new use or higher loads. In this work it has been considered the study of masonry wall reinforcement, as most buildings and civil works have load bearing walls or at least infilled masonry walls in concrete and steel structures. Before repairing or reinforcing an structure, it is important to analyse its deficiencies, its mechanical properties and both existing and potential loads; chapter 1, section 4 includes the most common rehabilitation methods when structural reinforcement is not needed, as well as traditional reinforcement techniques (internal and external reinforcement) In the last years the FRP reinforcement system has been adopted for masonry walls. FRP materials for reinforcement were initially used for concrete pillars and beams. FRP reinforcement includes two main techniques: surface mounted laminates (SM) and near surface mounted bars (NSM); one of them may be more accurate according to the need for reinforcement and main load, accessibility for installation and aesthetic requirements. One of the main constraints of FRP systems is not reaching maximum load for material due to premature debonding failure, which can be caused by surface irregularities so surface preparation is necessary. But debonding (or delamination for SM techniques) can also be a consequence of insufficient anchorage length or stress concentration. In order to provide an accurate mechanical characterisation of walls, chapter 2 summarises the calculation methods included in guidelines as well as alternative formulations for old masonry walls as historic wall properties are more complicated to obtain due to heterogeneity and data gaps (specially for mortars). The next step is designing reinforcement system; to date there are scarce regulations for walls reinforcement with FRP: ACI 440 7R-10 includes a protocol without considering the potential benefits provided by anchorage devices and with conservative values for reinforcement efficiency. As noted above, the main problem of FRP masonry walls reinforcement is failure mode. Recently, some authors have performed studies with different anchorage systems, finding that these systems are able to delay or prevent debonding . Studies include the following anchorage systems: Overlap, embedded bars, shear keys, shear restraint and fiber anchors. Chapter 4 briefly describes several experimental works between years 2000 and 2013, concerning different anchorage systems. The main parameters that measure the anchorage efficiency are: failure mode, failure load increase, displacements (in order to evaluate the ductility of the system); all these data points strongly depend on: reinforcement system, FRP fibers, anchorage system, and also on the specific anchorage parameters. Specific anchorage parameters are a function of the anchorage system used. The embedded bar system have design variables which can be identified as: bar diameter and material, surface finish, groove dimensions, and adhesive. In FRP anchorages (spikes) a complete design characterisation should include: type of fiber, manufacturing process, diameter, fan orientation, anchor splay width, anchor longitudinal spacing and number or rows, number or FRP sheet plies, bonded length beyond anchorage devices,...the parameters considered differ from some authors to others, so the comparison of results is quite complicated. Chapter 5 includes the most common tests used in experimental investigations on bond-behaviour and anchorage characterisation: direct shear tests (with variations single-shear and double-shear), pullout tests and bending tests. Each of them may be used according to the data needed. The purpose of this text is to promote further investigation of anchor spikes, accepting that both FRP anchors and embedded bars are the most versatile anchorage systems of FRP reinforcement and considering that to date its efficiency cannot be evaluated as there are too many design uncertainties.

Modelo de concurrencia de ADA: implementación y sus implicaciones en el interfaz con el entorno

El principal problema que impide actualmente una mayor utilización de las máquinas paralelas es la falta de herramientas de programación que permitan generar programas transportables a máquinas con diferentes prestaciones. En este trabajo se ha estudiado si los lenguajes con paralelismo explícito cumplen este requisito y son, por lo tanto, adecuados para programar este tipo de máquinas. El exceso de paralelismo, esto es, el uso de mayor paralelismo en el programa que el proporcionado por la máquina para esconder la latencia en la comunicación, se presenta en este trabajo como una solución a los problemas de eficiencia de los programas con paralelismo explícito cuando se ejecutan en máquinas que no tienen una granularidad adecuada. Con esta técnica, por lo tanto, los programas escritos con estos lenguajes pueden transportarse con eficiencia a diferentes máquinas. Para llevar a cabo el estudio de los lenguajes con paralelismo explícito, se ha desarrollado un modelo abstracto de paralelismo, en el cual un sistema está formado por una jerarquía de máquinas virtuales paralelas. Este modelo permite realizar un análisis genérico de la implementación de este tipo de lenguajes, ya sea sobre una máquina con sistema operativo o directamente sobre la máquina física. Este análisis genérico se ha aplicado a un lenguaje de este tipo, el lenguaje Ada. Se han estudiado las características específicas de Ada que pueden influir en la implementación eficiente del lenguaje, analizando también la propuesta de modificación del lenguaje correspondiente al proceso de revisión Ada 9X. Dentro del marco del modelo de paralelismo, se analiza también la problemática específica de las implementaciones del lenguaje sobre el sistema operativo. En este tipo de implementaciones, las interacciones de un programa con el entorno externo pueden causar ciertos problemas, como el bloqueo del proceso correspondiente del sistema operativo, que disminuyen el rendimiento del programa. Se analizan estos problemas y se proponen soluciones a los mismos. Se desarrolla en profundidad un ejemplo de este tipo de problemas: El acceso al estándar gráfico GKS desde Ada.---ABSTRACT---The major obstacle to the widespread utilization of the parallel machines is the lack of programming tools allowing the development of software portable between machines with different performance. This dissertation analyzes whether languages with explicit parallelism fulfil this requirement. The approach of using programs with more parallelism than available on the machine (parallel slackness) is presented. This technique can solve the efficiency problems appearing in the execution of programs with explicit parallelism over machines with a too coarse granularity. Therefore, with this approach programs can run efficiently on different machines. A new abstract model of parallelism allowing the generic study of the implementation of languages with explicit parallelism is developed. In this model, a parallel system is described by a hierarchy of parallel virtual machines. This generic analysis is applied to Ada language. Ada specific features with problematic implementation are identified and analyzed. The change proposals to Ada language in the frame of Ada 9X revisión process are also analyzed. The specific problematic of the language implementation on top of the operating system is studied under the scope of the parallelism model. With this kind of implementation, program interactions with extemal environments can lead to problems, like the blocking of the corresponding operating system process, decreasing the program execution performance. A practical example of this kind of problems, the access to GKS (Graphic Kernel System) from Ada programs, is analyzed and the implemented solution is described.