Paraconsistent transition systems

Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific residuated lattice. A category of these systems, and the corresponding algebra, is defined as providing a formal setting to model different application scenarios. One of them, dealing with the effect of quantum decoherence in quantum programs, is used for illustration purposes.publishe

O adolescente e o uso de drogas

Universidade Federal de São Paulo (UNIFESP) Departamento de Psicobiologia Unidade de Dependência de DrogasUniversidade Estadual do Rio de Janeiro Núcleo de Estudos e Pesquisas em Atenção ao Uso de DrogasUNIFESP, Depto. de Psicobiologia Unidade de Dependência de DrogasSciEL

Social dominance modulates eavesdropping in zebrafish

Group living animals may eavesdrop on signalling interactions between conspecifics and integrate it with their own past social experience in order to optimize the use of relevant information from others. However, little is known about this interplay between public (eavesdropped) and private social information. To investigate it, we first manipulated the dominance status of bystander zebrafish. Next, we either allowed or prevented bystanders from observing a fight. Finally, we assessed their behaviour towards the winners and losers of the interaction, using a custom-made video-tracking system and directional analysis. We found that only dominant bystanders who had seen the fight revealed a significant increase in directional focus (a measure of attention) towards the losers of the fights. Furthermore, our results indicate that information about the fighters' acquired status was collected from the signalling interaction itself and not from post-interaction status cues, which implies the existence of individual recognition in zebrafish. Thus, we show for the first time that zebrafish, a highly social model organism, eavesdrop on conspecific agonistic interactions and that this process is modulated by the eavesdroppers' dominance status. We suggest that this type of integration of public and private information may be ubiquitous in social learning processes.FCT PhD fellowship: (SFRH/BD/33280/2007), Champalimaud Neuroscience Programme

Achados metálicos do Vouga e do Baixo Mondego (Centro de Portugal): contributos para a sua contextualização e interpretação

O objetivo deste texto é a apresentação do contexto físico de cinco achados ou conjuntos metálicos da bacia do Vouga e do Baixo-Mondego resultantes de trabalhos de prospeção efetuados no âmbito do projeto Enardas. Referimo-nos aos achados ou depósitos designados por Coles de Samuel e Vale Centeio, ambos no concelho de Soure; ao de Travassos, no concelho da Mealhada e ao de Baralhas, no concelho de Vale de Cambra. No primeiro foi possível identificar o local e o contexto cultural do conjunto metálico e perceber que este correspondia a um depósito fechado; no caso de Vale Centeio foi apenas identificado, no terreno, o local genérico do achado; no caso de Travassos foi relocalizado o achado e nos casos de Baralhas foram descritos com mais acuidade os contextos físicos dos locais de achado. Apesar das particularidades todos os achados apresentam alguns denominadores comuns em termos físicos: conectam-se, direta ou indiretamente, com pequenas bacias de receção ou nascentes, com sítios relativamente depressionários e com visibilidades restritas. Apesar desta última característica, todos estes locais se vinculam com vales agrícolas que visualizam. A conjugação da localização destes achados no espaço, com a sua morfologia e as suas características técnicas possibilitam-nos algumas interpretações de ordem cultural sobre as comunidades da Idade do Bronze que as depositaram.The aim of this paper is the presentation of the physical context of five metallic finds and hoards found in the Vouga and Lower Mondego basins and resulting from surveys made under the pro-ject Enardas. We refer to the findings and hoards called Coles de Samuel and Vale Centeio, both in the municipality of Soure; to Travassos, in the municipality of Aveiro and to Baralhas, in the municipality of Vale de Cambra. At first, it was possible to identify the location and the cultural context of the metallic hoard and realize that this corresponded to a closed deposit; in the case of Vale Centeio has been only identified in the field, the general location of the find; in hoard of Travassos has been relocated and the gold hoard of Baralhas the physical contexts of the find have been described more precisely. Although the specifics, all findings have some common denominators in physical terms: they are directly or indirectly connect with small watersheds or springs and in sites with restricted visibility. Despite this last feature, all these places are bound with agricultural valleys that visualize.The combination of the location of the finds in space, with its morphology and its technical characteris-tics, allow us some interpretations of cultural features of the Bronze Age communities that deposited them.Este trabalho foi efetuado no âmbito do projeto Espaços Naturais, Arquiteturas, Arte Rupestre e Deposições na Pré-história Recente da Fachada Ocidental do Centro e Norte Português: das Ações aos Significados - ENARDAS (PTDC/HIS-ARQ/112983/2009), financiado pelo Programa Operacional Temático Factores de Com-petitividade (COMPETE) e comparticipado pelo Fundo Comunitário Europeu FEDER.info:eu-repo/semantics/publishedVersio

Asnas tradicionais de madeira: evolução, comportamento e reforço com materiais compósitos

O presente trabalho pretende realçar a importância da manutenção, conservação e reforço de coberturas de madeira, particularmente das suas ligações. Numa primeira fase expõe-se a evolução da geometria das asnas de madeira e das suas ligações. Segue-se uma síntese das anomalias mais comuns nestas estruturas e um resumo dos possíveis métodos de reforço, analisando-se em detalhe os reforços com materiais compósitos. Finalmente, são apresentados os resultados de uma análise experimental de ligações tradicionais de madeira reforçadas com materiais compósitos.This work intends to enhance the importance of the maintenance, conservation and strengthening of timber roofs, particularly of their joints. An evolution of the geometry of timber trusses and their joints followed by a summary of common pathologies and possible methods of strengthening in these structures is exposed. The strengthening technique using composite materials is also emphasized. Finally the results of an experimental analysis of strengthened timber joints with composite materials are presented

A estação arqueológica de Nossa Senhora da Penha, Guimarães (Norte de Portugal): notícia preliminar das escavações de 2002

Com este texto, pretende-se relatar os trabalhos de escavação arqueológica, realizados durante o mês de Julho d e 2002, na estação arqueológica d a Senhora da Penha, no âmbito do projecto "The Entre-Douro-e -Minho landscape since middle of III to the end of II millenium BC". Este local, profundamente destruído, desde, pelo menos, os inícios do séc. XX. Forneceu inúmero e importante espólio arqueológico, hoje depositado nos Museus da Sociedade Martins Sarmento, em Guimarães, e Nacional de Arqueologia, em Lisboa. As escavações actuais, apesar de não terem fornecido os resultados esperados, permitiram, pelos menos, identificar um nível de ocupação calcolítica, conectável, genericamente, com grande parte do espólio depositado nos referidos museus. Tal, contribuirá para uma melhor contextualização cronológico-cultural do sítio, assim como para a sua reconstituição paleoambiental.info:eu-repo/semantics/publishedVersio

Achados metálicos de cobre no Baixo Vouga (Centro-Norte de Portugal)

O objetivo deste trabalho é o de dar a conhecer dois objetos metálicos, à base de cobre, encontrados em contextos arqueológicos distintos do curso inferior do rio Vouga e desta forma contribuir para o estudo das primeiras produções metalúrgicas na fachada ocidental do Centro-Norte português. O primeiro artefacto, um punhal com chanfraduras na zona de encaixe, foi detetado no sítio da Tapada do Espinheiro, freguesia de Sepins, concelho de Cantanhede, num terraço localizado a NW da plataforma de Murtede-Cordinhã, sobranceira à Vala Real/rio da Tapada (rio da Ponte), tributária do rio Cértima, afluente da margem sul do Vouga. O achado, detetado em trabalhos de prospeção, inseria-se numa área com cerca de 1.000 m2 onde ocorriam manchas de terra escura, concentração de cerâmica, de artefactos em pedra polida e talhada e alguns calhaus e blocos calcários resultantes da destruição de estruturas pétreas. A segunda peça, um machado plano, foi encontrado no topo da referida plataforma, a norte da freguesia de Sepins, concelho de Cantanhede, numa estação arqueológica de grandes dimensões sobranceira ao rio da Ponte, afluente do Cértima. Em ambos os contextos há fragmentos cerâmicos profusamente decorados com decorações incisas metopadas de tipo Penha, típicos do Calcolítico do Noroeste português, assim como decorações penteadas e espinhadas, comuns no Calcolítico do Nordeste e no Calcolítico e Inícios da Idade do Bronze do Alto Douro e da Beira Alta, balizas cronológicas onde estas peças se poderão inserir. Ao contrário do acervo cerâmico que indicia contactos com o Noroeste Peninsular e áreas mais interiores da bacia do Mondego, o punhal de chanfradura, de tradição meridional calcolítica, permite admitir que o curso inferior da bacia do Vouga foi uma zona charneira no encontro de diferentes tradições culturais, durante o III milénio a.C. A composição química dos objectos metálicos, determinada por espectrometria de fluorescência de raios X, contribui para a caracterização das primeiras produções metalúrgicas na fachada ocidental Centro – Norte do país, bem como a sua contextualização na arqueometalurgia peninsular.Fundação para a Ciência e a Tecnologia (FCT

Estudio y análisis de un nuevo dispositivo para la rehabilitación de la articulación tibiotarsal

Introduction: Currently, there are several types of devices and techniques for the rehabilitation of the tibiotarsal joint. However, complete and effective rehabilitation still falls short of expectations, since the existing devices are not adaptable to the level of torque and the number of repetitions and sessions to be performed, as these depend on each patient and on the stage at which he is finds. Objetives: To improve a mechatronic device for the rehabilitation of the tibiotarsal joint, the Therapheet. Methods: This study presents a review of the tibiotarsal joint rehabilitation protocols, as well as the classification of devices used for this purpose. Thus, the purpose is to improve the Therapheet, developed at the Department of Mechanical Engineering of the University of Minho, obtaining a viable, functional and safe rehabilitation device, standing out from the rest on the market, since it allows the execution of the six rehabilitation exercises. Results: It was obtained a prototype of equipment for rehabilitation of the tibiotarsal joint was obtained, proposing changes for improvement according to the specificities and requirements for such a device, having been subjected to a series of preliminary tests to verify its functionality, performance and suitability. The equipment proved to be functional, in terms of executing the ankle rehabilitation movements, however, it still manifests some flaws in terms of the user's stability, sudden movements, and above all dysfunctions arising from excess mass that make up its structure and limitations pneumatic technology adopted. Conclusions: The control of the amplitude of the characteristic angles of the movements of the foot is still done manually, so it would be significant to implement an automated system that would allow the control of the range of amplitude, according to the patient's rehabilitation phase. One option would be the implementation of a new technology, such as the insertion of servomotors.Introdução: Atualmente existem vários tipos de dispositivos e técnicas para a reabilitação da articulação tibiotársica. No entanto, a reabilitação completa e eficaz ainda está aquém das expectativas, uma vez que os dispositivos existentes não são adaptáveis ao nível do binário e do número de repetições e sessões a executar, pois estas dependem de cada paciente e do estádio em que este se encontra. Objetivos: Melhorar um dispositivo mecatrónico, de reabilitação da articulação tibiotársica, o Therapheet. Métodos: Neste estudo é apresentada uma revisão dos protocolos de reabilitação da articulação tibiotársica, assim como a classificação dos dispositivos utilizados para este propósito. Assim, a finalidade é aperfeiçoar o Therapheet, desenvolvido no Departamento de Engenharia Mecânica da Universidade do Minho, obtendo-se um dispositivo de reabilitação viável, funcional e seguro, destacando-se dos restantes no mercado, uma vez que permite a executação dos seis exercícios de reabilitação. Resultados: Foi obtido um protótipo de equipamento para reabilitação da articulação tibiotársica, propondo alterações de melhoria de acordo com as especificidades e os requisitos necessários para um dispositivo deste tipo, tendo sido submetido a uma série de testes preliminares para verificar a sua funcionalidade, desempenho e adequabilidade. O equipamento demonstrou ser funcional, a nível de execução dos movimentos de reabilitação do tornozelo, no entanto, ainda manifesta algumas falhas ao nível da estabilidade do utilizador, movimentos bruscos, e sobretudo disfunções provenientes de excesso de massa que compõe a sua estrutura e de limitações da tecnologia pneumática adotada. Conclusões: O controlo da amplitude dos ângulos característicos dos movimentos do pé ainda é feito manualmente, pelo que seria significativa a implementação de um sistema automatizado que possibilitasse o controlo da graduação da amplitude, de acordo com a fase de reabilitação do paciente. Uma opção seria a implementação de uma nova tecnologia, como a inserção de servomotores.Introducción: Actualmente, existen varios tipos de dispositivos y técnicas para la rehabilitación de la articulación tibiotarsal. Sin embargo, la rehabilitación completa y efectiva aún no cumple con las expectativas, ya que los dispositivos existentes no son adaptables al nivel de torque y al número de repeticiones y sesiones a realizar, ya que dependen de cada paciente y la etapa en la que se encuentra. Objetivos: Mejorar un dispositivo mecatrónico para la rehabilitación de la articulación tibiotarsal, el Therapheet. Métodos: Este estudio presenta una revisión de los protocolos de rehabilitación de la articulación tibiotarsal, así como la clasificación de los dispositivos utilizados para este propósito. Por lo tanto, el propósito es mejorar un dispositivo mecatrónico desarrollado en el Departamento de Ingeniería Mecánica de la Universidad de Minho, el Therapheet, obteniendo un dispositivo de rehabilitación viable, funcional y seguro, que se destaque del resto en el mercado, ya que permite la ejecución de los seis ejercicios de rehabilitación. Resultados: Se obtuvo un prototipo de equipo para la rehabilitación de la articulación tibiotarsal, proponiendo cambios para mejorar de acuerdo con las especificidades y requisitos de dicho dispositivo, habiendo sido sometido a un serie de pruebas preliminares para verificar su funcionalidad, rendimiento e idoneidad. El equipo demostró ser funcional, en términos de ejecución de los movimientos de rehabilitación de tobillo, sin embargo, todavía presenta algunos defectos en términos de estabilidad del usuario, movimientos bruscos y, sobre todo, disfunciones derivadas del exceso de masa que conforman su estructura y limitaciones. Tecnología neumática adoptada. Conclusións: El control de la amplitud de los ángulos característicos de los movimientos del pie todavía se realiza manualmente, por lo que sería importante implementar un sistema automatizado que permita el control del rango de amplitud, de acuerdo con la fase de rehabilitación del paciente. Una opción sería la implementación de una nueva tecnología, como la inserción de servomotores.This work has been supported by FCT – Fundação para a Ciência e Tecnologia with-in the R&D Units Project Scope: UIDP/04077/2020. It has been also supported by FCT – Fundação para a Ciência e Tecnologia within the R&D Units Project Scope: UIDB/00319/2020

A estação Arqueológica da Tapada da Venda, Pedroso, Celorico de Basto (Norte de Portugal): primeiras impressões das escavações de 2001

Este trabalho dá a conhecer os resultados obtidos no decurso das escavações arqueológicas realizadas na Tapada da Venda, freguesia de Pedroso, Celorico de Basto. O local foi interpretado como um povoado de fossas, de grandes dimensões, ocupado durante o Bronze Médio e Final, associado a solos bem irrigados e com potencialidades agro-pastoris no seio do planalto da Lameira.This article draws upon the recent archaeological excavations at the site of Tapado da Venda (Celorico de Basto). This site was excavated in the seventies, being the results yet unpublished to date. This is an open settlement site dating to the 2nd millennium BC. This site, which appear to have had short live, was occupied by a farming community