Taludes rochosos. Metodologias de inspecção e de avalialição de segurança. Caso de estudo das vertentes rochosas de S. Simão

A instabilização de taludes rochosos, com consequências mais ou menos gravosas, repete-se com frequência no território nacional. Os enquadramentos destes incidentes são diversos, sendo mais comum e mais visível a sua ocorrência em taludes adjacentes a vias de comunicação. No entanto, o fenómeno repete-se também em vertentes naturais, geralmente em alturas de pluviosidade mais prolongada e intensa. No presente trabalho reveem-se conceitos associados a maciços rochosos, nomeadamente as principais classificações geotécnicas e as diferentes tipologias de instabilidade em taludes rochosos. Desenvolve-se um caso de estudo de uma vertente localizada em S. Simão, concelho de Amarante. Percorrem-se as sucessivas fases de estudo, incluindo a realização da fotografia aérea com recurso a um veículo não tripulado, a geração de um modelo 3D de elevada precisão da vertente e a caracterização e a classificação dos diferentes afloramentos rochosos. Desenvolve-se uma metodologia de inspeção com a criação de dois conjuntos de fichas e propõe-se o agravamento da classificação das anomalias perante a simultaneidade de ocorrência de anomalias de idêntica gravidade e a hierarquização dos blocos potencialmente instáveis, de acordo com os respetivos níveis de gravidade (NGB). Recorre-se ao programa de modelação da queda de blocos, “Rocfall (4.0”, da “Rocscience”, a partir de trajetórias definidas no modelo 3D gerado e propõem-se soluções de reforço e de proteção da vertente.

A colonoscopia virtual no rastreio do cancro colo rectal

O cancro colo - rectal (CCR) é um problema de saúde mundial, estando associadas elevadas taxas de mortalidade e morbilidade. A maioria de CCR deriva de pólipos adenomatosos.. Um estudo retrospectivo, efectuado no serviço de Radiologia, dos achados imagiológicos típicos e atípicos, entre Janeiro de 2008 e Junho 2010. A Colonoscopia Virtual, apresenta uma sensibilidade elevada na detecção de lesões, com dimensão superior a 10mm, permitindo um diagnóstico precoce, é um exame rápido, pouco invasivo, não há necessidade de sedação e é efectuada em ambulatório.

Extending access to remote labs from mobile devices in educational contexts

This paper describes how to extend the access to remote experiments from mobile devices, aiming to better engage digital native students who expect a more interactive and ubiquitous access mode. The extension is based on features of HTML5 and the jQuery Mobile framework, which allow accessing the experiments from different operating systems via the browser or native applications. As a result, users have a richer interaction mode with the experiments, which includes access from simple hand-held devices such as smartphones and PDAs. Extending the access to remote experiments, from simple devices, enables its use in other educational stages, such as high schools, where teachers struggle to engage students in STEM learning. By enabling students to use their everyday "technological companions", e.g. cellular phones, to access remote experiments, we seek to increase the educational value of this technology-enhanced learning resource.

A interação das marcas com o público através do Facebook: o mercado dos smartphones e as marcas Samsung e Apple

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Marketing Digital sob orientação de Sandrina Teixeira Anabela Ribeiro

Electrospun Polyaniline-Reduced Graphene Oxide Composite Nanofibers Based High Sensitive Ammonia Gas Sensor

Ammonia is an important gas in many power plants and industrial processes so its detection is of extreme importance in environmental monitoring and process control due to its high toxicity. Ammonia’s threshold limit is 25 ppm and the exposure time limit is 8 h, however exposure to 35 ppm is only secure for 10 min. In this work a brief introduction to ammonia aspects are presented, like its physical and chemical properties, the dangers in its manipulation, its ways of production and its sources. The application areas in which ammonia gas detection is important and needed are also referred: environmental gas analysis (e.g. intense farming), automotive-, chemical- and medical industries. In order to monitor ammonia gas in these different areas there are some requirements that must be attended. These requirements determine the choice of sensor and, therefore, several types of sensors with different characteristics were developed, like metal oxides, surface acoustic wave-, catalytic-, and optical sensors, indirect gas analyzers, and conducting polymers. All the sensors types are described, but more attention will be given to polyaniline (PANI), particularly to its characteristics, syntheses, chemical doping processes, deposition methods, transduction modes, and its adhesion to inorganic materials. Besides this, short descriptions of PANI nanostructures, the use of electrospinning in the formation of nanofibers/microfibers, and graphene and its characteristics are included. The created sensor is an instrument that tries to achieve a goal of the medical community in the control of the breath’s ammonia levels being an easy and non-invasive method for diagnostic of kidney malfunction and/or gastric ulcers. For that the device should be capable to detect different levels of ammonia gas concentrations. So, in the present work an ammonia gas sensor was developed using a conductive polymer composite which was immobilized on a carbon transducer surface. The experiments were targeted to ammonia measurements at ppb level. Ammonia gas measurements were carried out in the concentration range from 1 ppb to 500 ppb. A commercial substrate was used; screen-printed carbon electrodes. After adequate surface pre-treatment of the substrate, its electrodes were covered by a nanofibrous polymeric composite. The conducting polyaniline doped with sulfuric acid (H2SO4) was blended with reduced graphene oxide (RGO) obtained by wet chemical synthesis. This composite formed the basis for the formation of nanofibers by electrospinning. Nanofibers will increase the sensitivity of the sensing material. The electrospun PANI-RGO fibers were placed on the substrate and then dried at ambient temperature. Amperometric measurements were performed at different ammonia gas concentrations (1 to 500 ppb). The I-V characteristics were registered and some interfering gases were studied (NO2, ethanol, and acetone). The gas samples were prepared in a custom setup and were diluted with dry nitrogen gas. Electrospun nanofibers of PANI-RGO composite demonstrated an enhancement in NH3 gas detection when comparing with only electrospun PANI nanofibers. Was visible higher range of resistance at concentrations from 1 to 500 ppb. It was also observed that the sensor had stable, reproducible and recoverable properties. Moreover, it had better response and recovery times. The new sensing material of the developed sensor demonstrated to be a good candidate for ammonia gas determination.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.