55 resultados para Logical necessity
Resumo:
Based on a report for the seminar Industrial Networks, at Goethe Universität Frankfurt am Main Dozent: Prof. Dr. Blättel-Mink, Prof. Dr. António Moniz SS 2011
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Informática
Resumo:
Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teaching English as a Second / Foreign Language.
Resumo:
Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.
Resumo:
Some countries producers of the aluminium, attempt to use other ores which, in the future, will gradually substitute the bauxite as a raw material. Portugal possesses an nephelinic syenite massif which may be utilized for this purpose because the nepheline offers some advantages above other poor ores which are being essayed now. By laboratorial processes, the author puts forward those advantages and calls the attention for the necessity of to accomplish essays about the nepheline (by the acid's method) and realize petrographic's detailed reconnaissances of the Monchique syenitic massif.
Resumo:
Dissertação apresentada na Faculdade de Ciências e Engenharia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores
Resumo:
Dissertation submitted to Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa for the achievement of Integrated Master´s degree in Industrial Management Engineering
Resumo:
Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies
Resumo:
Resumo Uma estratégia de avaliação e prevenção de riscos na exposição a agentes químicos deve ter sempre em conta que a vigilância do ambiente de trabalho e a da saúde dos trabalhadores são aspectos complementares de uma mesma realidade – os riscos resultantes da interacção entre um agente químico e os trabalhadores a ele expostos. Se à Vigilância Ambiental compete apreciar o risco, pela caracterização do agente no ambiente de trabalho, a Vigilância Biológica pronuncia-se sobre a interacção entre o tóxico e o organismo, avaliando a resposta à agressão química e a evolução das reacções de adaptação ou de desajuste face à absorção do tóxico. Os Indicadores Biológicos, deste modo, assumem um estatuto de instrumento privilegiado na vigilância da saúde dos trabalhadores expostos, na medida em que medem a quantidade de tóxico que efectivamente penetrou e foi absorvido, ou o resultado (efeito) determinado por essa mesma dose. O presente estudo procura contribuir para a definição de um quadro metodológico de utilização dos Indicadores Biológicos na avaliação/gestão da exposição profissional ao chumbo, designadamente apreciando a variação da protoporfirina-zinco (PPZ), indicador até ao presente ainda não utilizado em Portugal. O chumbo é um metal de ocorrência natural, cujos níveis nos diversos ecossistemas resultam, principalmente, das actividades antropogénicas de natureza doméstica e industrial. A sua capacidade poluente é assinalável, representando uma fonte de exposição permanente para o homem, demonstrável pela sua constante presença no organismo apesar de não desempenhar qualquer tipo de função fisiológica. São actualmente inúmeras as suas aplicações, tornando a exposição profissional ao chumbo uma realidade vasta: indústrias de acumuladores eléctricos, de vidros, de plásticos e de munições, construção civil, manutenção e reparação automóvel e de navios, fabrico de tintas, indústrias electrónicas, fundições e actividades de soldadura são, entre outras, situações onde é uma realidade a ter em conta. A penetração dos compostos inorgânicos de chumbo no organismo efectua-se principalmente por via respiratória, não sendo, no entanto, desprezável, a sua penetração por via digestiva. As partículas absorvidas são transportadas pelo sangue principalmente ligadas aos eritrocitos (95%), distribuem-se pelos tecidos moles e depositam-se essencialmente no tecido ósseo, onde representam mais de 90% da carga corporal do total absorvido e tendo aí um elevado tempo de semi-vida (mais de 20 anos). Não é metabolizado no organismo e a sua eliminação efectua-se essencialmente por via renal,sendo igualmente excretado, em menor escala, através das fezes, do suor, da saliva, das faneras e do leite materno. O conhecimento científico evidencia que concentrações sanguíneas de chumbo entre 20 e 50 mg/dL são susceptíveis de determinar efeitos adversos no homem, podendo ser afectados o sistema hematopoiético, o sistema nervoso, o sistema cardiovascular, o sistema reprodutor e o sistema imunitário. Contudo, ainda muito há a clarificar no âmbito da toxicidade do chumbo. Os níveis de exposição a que correspondem as alterações nos diversos órgãos e sistemas continuam a ser motivo de alguma controvérsia. As características carcinogénicas e mutagénicas do chumbo são, ainda, um campo de vasta exigência de investigação. A intoxicação por chumbo e seus sais (Saturnismo) de origem ocupacional é reconhecida em Portugal como doença profissional (grupo 1 - Doenças Provocadas por Agentes Químicos, da Lista das Doenças Profissionais). É uma intoxicação do tipo crónico, fruto da absorção contínua de doses relativamente pequenas durante longo período, evidenciando-se no seu início por sinais e sintomas vagos e difusos de grande inespecificidade, que podem incluir, nomeadamente, perda de apetite, sabor metálico na boca, palidez, mal-estar e fadiga, cefaleias, mialgias e artralgias, irritabilidade, tremores finos, obstipação, cólicas abdominais, insónias, déficit da memória de curto prazo e da capacidade de concentração. Um importante conjunto de indicadores biológicos pode ser utilizado na vigilância periódica da saúde de trabalhadores nestas condições de exposição. Tais indicadores (de dose ou de efeito), encerram diferentes significados e comportam distintas exigências, competindo ao Médico do Trabalho, no âmbito dos programas de prevenção dos efeitos adversos relacionados com a exposição profissional a chumbo, seleccionar a sua utilização e interpretar a sua informação, de modo a avaliar a interacção do tóxico com o organismo numa fase de reversibilidade. O presente estudo envolveu 180 trabalhadores dos quais 110 apresentavam plumbémias (Pb-S) iguais ou superiores a 40 mg/dL. Além da Pb-S, a todos foi doseada a protoporfirina-zinco (PPZ) e efectuado o Hemograma e a cerca de 25% foi determinada a concentração do ácido d-aminolevulínico urinário (ALA-U). Os doseamentos da PPZ efectuados em amostra de sangue capilar através de um hematofluorímetro portátil revelaram-se de total fiabilidade, dando significado a uma técnica de fácil execução e baixo custo. A avaliação do tipo de colheita urinária para doseamento do ALA-U concluiu pela necessidade de recurso a urinas de 24 horas.Os resultados do estudo evidenciaram uma elevada associação entre a PPZ e a Pb-S, com uma maior magnitude e de início mais precoce do que o que registado na associação da Pb-S com o ALA-U. Revelaram, ainda, fracos níveis de associação da hemoglobina (e outros parâmetros hematológicos) com a Pb-S. E demonstraram para um cut-off de 100 mg/ dL de PPZ, taxa de falsos negativos e falsos positivos, para plumbémias a partir de 70 mg/dL, inferiores a 20%. Assim, concluiu-se que, nos protocolos de vigilância de saúde de trabalhadores expostos a chumbo, o doseamento da PPZ por hematofluorímetro, em sangue de colheita capilar, é adequado, fiável e de realização preferencial em relação ao do ALA-U. Concluiu-se, também, que a realização do hemograma apenas se justifica em situações individuais que clinicamente o tornem aconselhável. E que estes protocolos devem incluir a realização da Pb-S e da PPZ, podendo, em situações de controlo rigoroso (ambiental, biológico e clínico), basear-se apenas na determinação da PPZ reservando os outros indicadores para aprofundar a investigação médica nos casos de taxas elevadas desta ou de situações limitantes. ■ Résumée Une stratégie d’évaluation et de prévention des risques d’exposition aux agents chimiques doit toujours tenir en considération que la vigilance du lieu de travail et de la santé des travailleurs sont des aspects complémentaires d’une même réalité – les risques résultant d’une interaction entre l’agent chimique et les travailleurs exposés. Si c’est à la Vigilance Ambiantale de juger le risque, par la caractérisation de l’agent dans le lieu de travail, la Vigilance Biologique, elle, se prononce sur l’interaction entre le toxique et l’organisme, évaluant la réponse à l’agression chimique et l’évolution des réactions d’adaptation ou de rupture face à l’absorption du toxique. Les Indicateurs Biologiques assument ainsi un statut d’instrument privilégié de vigilance de la santé des travailleurs exposés, dans la mesure où ils déterminent la quantité de toxique qui a effectivement été pénétré et absorbé, ou le résultat (effet) déterminé par cette dose. Cette étude-ci cherche à contribuer à la définition d’un cadre méthodologique d’utilisation des Indicateurs Biologiques dans l’évaluation/ gestion de l’exposition professionnelle au plomb inorganique, évaluant spécialement le comportement de la protoporphirine-zinc (PPZ), indicateur pas encore utilisé au Portugal.Le plomb est un métal d’occurrence naturelle dont les niveaux dans les différents écosystèmes en résultent, principalement, des activités anthropogéniques de nature domestique et industrielle. Sa capacité polluante peut être signalée, représentant une source d’exposition permanente pour l’homme, celle-ci démontrable par sa présence continue dans l’organisme, même si elle n’y accomplit aucune fonction physiologique. Actuellement ses applications sont innombrables, faisant de l’exposition professionnelle au plomb une réalité de grande ampleur : industries d’accumulateurs électriques, de verre, de plastique et de munitions, bâtiments, manutention et réparation automobile et navale, fabrication d’encres, industries électroniques, fontes et activités de soudure sont, entre autres, des situations réelles a en tenir compte. La pénétration du plomb inorganique dans l’organisme se fait principalement par voie respiratoire, pouvant se faire également par voie digestive. Les particules absorbées sont transportées par le sang, surtout liées aux érythrocytes (95%), se repartent à travers les tissus mous et se déposent essentiellement dans le tissu osseux, où elles représentent plus de 90% de la charge corporelle de ce qui a été absorbé et ont un temps de demi-vie élevé (plus de 20 ans). Le plomb n’est pas métabolisé dans l’organisme et son élimination se fait essentiellement par voie rénale, pouvant tout de même, à une moindre échelle, être excrété dans les fèces, de la sueur, de la salive, des ongles, des cheveux et du lait maternel. La connaissance scientifique met en évidence que des concentrations sanguines de plomb entre 20 et 50 mg/dL sont susceptibles de déterminer des effets adverses dans l’homme, pouvant les systèmes hématopoïétique, nerveux, cardiovasculaire, reproducteur et immunitaire en être affectés. Cependant, il en reste beaucoup à éclaircir dans le domaine de la toxicité du plomb. Les niveaux d’exposition auxquels correspondent les modifications des divers organes et systèmes, demeurent toujours sujet de quelque controverse. Les caractéristiques carcinogèniques et mutagèniques du plomb restent toujours un champ d’investigation d’une grande exigence. L’intoxication par le plomb et ses sels (Saturnisme) d’origine occupationnelle est reconnue, au Portugal, comme une maladie professionnelle (groupe 1- Maladies Provoquées par des Agents Chimiques, de la Liste des Maladies Professionnelles). C’est une intoxication du tipe chronique, due à l’absorption continue de doses relativement petites pendant une longue période, mise en évidence à travers des signes et des symptômes vagues et diffus sans grande spécificité, lesquels peuvent inclure, particulièrement, le manque d’appétit, goût métallique dans la bouche, pâleur, malaise et fatigue, céphalées, myalgies et arthralgies, irritabilité, tremblements fins, constipation, coliques abdominales, insomnies, déficit de la mémoire à court terme et de la capacité de concentration.Un ensemble important d’indicateurs biologiques peut être employé dans la vigilance périodique de la santé des travailleurs dans ces conditions d’exposition. Ces indicateurs (de dose ou d’effet) renferment différentes significations et comportent diverses exigences, devant le Médecin de Travail, dans le domaine des programmes de prévention des effets adverses qui sont en relation avec l’exposition professionnelle au plomb, sélectionner son utilisation et interpréter son information de façon à évaluer l’interaction de l’élément toxique avec l’organisme à un stade de réversibilité. L’étude ci-présent engloba 180 travailleurs desquels 110 présentaient des plombémies (Pb-S) égales ou supérieures à 40 mg/dL. À part la Pb-S, la protoporphyrine-zinc (PPZ) leur a été prise en dosage et un Hémogramme fut effectué et fut déterminé l’acide d- aminolévulinique urinaire (ALA-U) sur environ 25% des travailleurs. Le dosage de la PPZ efectué en échantillon de sang capillaire par un fluorimètre portable, s’est accomplit d’une fiabilité total, donnant du sgnificat à une téchnique de facile execution et bas prix. L’évaluation de la prise urinaire par dosage du ALA-U conclut au besoin d’un recours aux urines de 24 heures Les résultats de l’étude ont mis en évidence une association élevée entre la PPZ et la Pb- S, avec une intensité majeure et de début plus précoce par rapport à celui qui fut registré lors de l’association de la Pb-S avec la ALA-U. Ces résultats ont également montré de faibles niveaux d’association entre l’hémoglobine (et autres paramètres hématologiques) et la Pb-S. Ils ont démontré aussi, une valeur de cut-off de 100 mg/dL de PPZ, des taux de faux négatifs et faux positifs, pour des plombémies de 70 mg/dL, inférieurs à 20%. On peut donc conclure que dans les protocoles de vigilance de la santé des travailleurs exposés au plomb, le dosage de la PPZ par fluorimetrie dans le sang capillaire est adéquat, fiable et de réalisation préférentielle par rapport à celui du ALA-U. On peut également conclure que la réalisation de l’hémogramme ne se justifie que dans les cas individuels où, cliniquement, celui-ci est conseillé. De plus, ces protocoles doivent inclure la réalisation de la Pb-S et de la PPZ, pouvant, en cas de contrôle rigoureux (ambiantal, biologique et clinique), s’appuyer que dans la détermination de la PPZ réservant les autres indicateurs pour approfondir l’investigation médicale dans les cas où les taux de celle-ci sont élevés ou dans les cas de situations limitantes. ■ Summary Any strategy to evaluate and prevent the risks of chemical agents exposure must always regard the work environment and workers health as complementary aspects of one reality - the resulting risks from the interaction between the chemical agent and the exposed workers. It is the responsibility of Environmental Monitoring to evaluate the risks of exposure by the characterization of the chemical agent in the work environment. Biological Monitoring, on the other hand, pronounces itself over the toxin and body interaction, evaluating human response to the chemical aggression and the body adaptations to the toxic absorption. Biological Exposure Indices (BEI) assume, therefore, a privileged status among exposed workers' health monitoring instruments, as they measure the actual penetrated and absorbed toxic quantity and the effect it produces. This research study aims to contribute to the definition of a methodological strategy on the utilization of BEI’s in evaluating inorganic lead's occupational exposure, more specifically appreciating the zinc protoporphyrin (ZPP) variation, an index that has never been taken under consideration in Portugal until now. Lead is a natural metal whose ecosystem’s levels are mainly due to domestic and industrial anthropogenic activities. Its pollutant capacity is notable, representing a permanent exposure risk shown by its constant presence in the human body, although it has no physiologic function. Nowadays, lead's applications are countless, turning its professional exposure a huge reality: storage batteries industries, glass industries, plasterers and munitions industries, building construction, ships and motor car maintenance and repairing, ink manufacture, electronics industries, foundries and other soldering activities are, among so many other, realities to attend to. Respiration is the main cause of human body's inorganic lead absorption, although digestive pathway must not to be ignored. The absorbed particles are transported by blood, essentially bounded to erythrocytes (95%). It is distributed by soft tissues and settled mainly on bone tissues, where it represents approximately 90% of the total body charge and has a high half-life time (more than 20 years). It is not metabolized by the organism, its elimination being effectuated by renal activity and, in smaller scale, through lees, sweat, saliva, nails, hair and maternal milk.Scientific knowledge shows that concentrations of lead in blood between 20 e 50 mg/dL are susceptible to determine adverse effects in man and able to affect the hematopoietic system, the nervous system, the cardiovascular system, the reproductive system and the immunological system. Nevertheless, there's still much to be learned and clarified about lead's toxicity. The correlation between exposure levels and human's systems and organs alteration levels continues to be a centre of controversies. Still, lead's carcinogenic and mutagenic characteristics continue to be a high demanding research field. Intoxication by lead and its compounds (saturnism), from occupational origin, is recognized in Portugal as an occupational disease, included in Group 1 - Chemical Agents Caused Diseases, on the Occupational Diseases List. It is a chronic intoxication caused by a continuous absorption of small doses, throughout a long period of time. Its signs and symptoms are diffuse and imprecise, of great unspecificity, such as loss of appetite, metallic flavor in the mouth, paleness, ailment and fatigue, headaches, myalgia and arthralgia, irritability, thin tremors, constipation, abdominal pain, insomnias, short memory loses and inability to concentrate. A considered number of BEI’s can be used in Periodic Health Monitoring of workers in such exposure conditions. Such BEI (dose indices or effect indices) provide different meanings and imply different procedures, being Occupational Doctors responsibility, in the context of lead related adverse effects preventive programmes, to select and interpret its information, in order to evaluate the interaction between toxic and organism in a reversible phase of the toxic action. The present research study involved 180 workers, 110 of which presented blood lead levels (PbB) above or equal to 40 mg/dL. Besides PbB, all workers has been evaluated for zinc protoporphyrin levels (PPZ) and submitted to a haemogram. About 25% of the workers were selected for d-aminolevulinic urinary acid (ALA-U) determination. The evaluation of PPZ, by a portable hematofluorometer using capillary blood samples, turned out to be an easy procedure with low costs and total warrantability. As in regard for ALA- U procedure, it was concluded the necessity of 24 hours urine samples. This research results underlined a strong connection between ZPP and PbB, which was found to to be stringer and to begin earlier than it was registered for PbB and ALA-U association. The same study also revealed a low association level between PbB and hemoglobin or other hematological indices. It was also verified less than 20% of false negatives and false positives cases when admitted a ZPP 100 mg/dL cut off value for PbB³ 70 mg/dL. As in result it was concluded that in Health Monit
Resumo:
All every day activities take place in space. And it is upon this that all information and knowledge revolve. The latter are the key elements in the organisation of territories. Their creation, use and distribution should therefore occur in a balanced way throughout the whole territory in order to allow all individuals to participate in an egalitarian society, in which the flow of knowledge can take precedence over the flow of interests. The information society depends, to a large extent, on the technological capacity to disseminate information and, consequently, the knowledge throughout territory, thereby creating conditions which allow a more balanced development, from the both the social and economic points of view thus avoiding the existence of info-exclusion territories. Internet should therefore be considered more than a mere technology, given that its importance goes well beyond the frontiers of culture and society. It is already a part of daily life and of the new forms of thinking and transmitting information, thus making it a basic necessity essential, for a full socio-economic development. Its role as a platform of creation and distribution of content is regarded as an indispensable element for education in today’s society, since it makes information a much more easily acquired benefit.”…in the same way that the new technologies of generation and distribution of energy allowed factories and large companies to establish themselves as the organisational bases of industrial society, so the internet today constitutes the technological base of the organisational form that characterises the Information Era: the network” (CASTELLS, 2004:15). The changes taking place today in regional and urban structures are increasingly more evident due to a combination of factors such as faster means of transport, more efficient telecommunications and other cheaper and more advanced technologies of information and knowledge. Although their impact on society is obvious, society itself also has a strong influence on the evolution of these technologies. And although physical distance has lost much of the responsibility it had towards explaining particular phenomena of the economy and of society, other aspects such as telecommunications, new forms of mobility, the networks of innovation, the internet, cyberspace, etc., have become more important, and are the subject of study and profound analysis. The science of geographical information, allows, in a much more rigorous way, the analysis of problems thus integrating in a much more balanced way, the concepts of place, of space and of time. Among the traditional disciplines that have already found their place in this process of research and analysis, we can give special attention to a geography of new spaces, which, while not being a geography of ‘innovation’, nor of the ‘Internet’, nor even ‘virtual’, which can be defined as one of the ‘Information Society’, encompassing not only the technological aspects but also including a socio-economic approach. According to the last European statistical data, Portugal shows a deficit in terms of information and knowledge dissemination among its European partners. Some of the causes are very well identified - low levels of scholarship, weak investments on innovation and R&D (both private and public sector) - but others seem to be hidden behind socio-economical and technological factors. So, the justification of Portugal as the case study appeared naturally, on a difficult quest to find the major causes to territorial asymmetries. The substantial amount of data needed for this work was very difficult to obtain and for the islands of Madeira and Azores was insufficient, so only Continental Portugal was considered for this study. In an effort to understand the various aspects of the Geography of the Information Society and bearing in mind the increasing generalised use of information technologies together with the range of technologies available for the dissemination of information, it is important to: (i) Reflect on the geography of the new socio-technological spaces. (ii) Evaluate the potential for the dissemination of information and knowledge through the selection of variables that allow us to determine the dynamic of a given territory or region; (iii) Define a Geography of the Information Society in Continental Portugal.
Resumo:
The essential aspects of the conflict between the traditional extractive industry, particularly that related to ornamental stones, and the recent priorities of environmental protection required by the contemporary society are described. Within the legal framework of the problem, various criteria for evaluating environmental impacts in the ornamental rock sector are analyzed, as well as the landscape rehabilitations required to quarry owners,thus leading to a conclusion that harmonization of those tendencies with the Portuguese reality is an essential necessity.
Resumo:
From an early age Henri Tintant was conforted with the problematic relationships between Science and Faith. After a traditional religious education, he took responsabilities within groups of teenagers and adults through scouting and the J. E. C. (an organisation of catholic students). In 1940 he was at Montpellier distributing unauthorised leaflets defending religious faith. But more significant is his intellectual contribution. He was an active and inspiring member of several workshops and in one in particumar initiated by the Catholic University of Lyon entitled : "From Naturalist to Theologians" where he would start a very fruitful and compelling intellectual collaboration with Father Gustave Martelet a jesuit theologian and a strong supporter of a permanent dialog with the scientists. Throughout the years they will gradually come to the conclusion of a necessary synergy between the scientific and the theologic approach when dealing with the mystery of religious faith . Even in the last months of his life, Henri Tintant was writing to his friendon the subject, with the same profound religious faith that brought him the serenity and the open mindness he has showed throughout his teaching and scientific career. His legacy will remain in two of his last thoughts: "Almost 50 years of scientific research have brought me a lot of pleausures and satisfactions but no answer to the essential questions. In my personal case, science and researching have not driven me away from my religious faith, on the contrary the helped me in my awareness of its utmost necessity". "Faithful to my religious belief, I am convinced that with the death, the inevitable human destiny, not everything disapears completely but another form of live, unimaginable for our limited minds, emerges, bearing in itself the perfect realization of all our hopes and desires".
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática
Resumo:
Dissertação para a obtenção de Grau de Mestre em Engenharia e Gestão Industrial
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.