Drawing and use of auxiliary projection nets (the program STEGRAPH)

The development of an algorithm for the construction of auxiliary projection nets (conform, equivalent and orthographic), in the equatorial and polar versions, is presented. The algorithm for the drawing of the "IGAREA 220" counting net (ALYES & MENDES, 1972), is also presented. Those algorithms are the base of STEGRAPH program (vers. 2.0), for MS-DOS computers, which has other applications.

Geração automática de código ANSI C a partir de Redes de Petri IOPT - PNML2C -

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri

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 Electrotécnica e de Computadores

INSECTICIDE-TREATED BED NETS IN RONDÔNIA, BRAZIL: EVALUATION OF THEIR IMPACT ON MALARIA CONTROL

Mosquito nets treated with long-lasting insecticide (LLINs), when used in compliance with guidelines of the World Health Organization, may be effective for malaria vector control. In 2012, approximately 150,000 LLINs were installed in nine municipalities in the state of Rondônia. However, no studies have assessed their impact on the reduction of malaria incidence. This study analyzed secondary data of malaria incidence, in order to assess the impact of LLINs on the annual parasite incidence (API). The results showed no statistically significant differences in API one year after LLIN installation when compared to municipalities without LLINs. The adoption of measures for malaria vector control should be associated with epidemiological studies and evaluations of their use and efficiency, with the aim of offering convincing advantages that justify their implementation and limit malaria infection in the Amazon Region.

Hierarchical Reinforcement Learning in Behavior and the Brain

Dissertation presented to obtain the Ph.D degree in Biology, Neuroscience

Configurador de sistemas distribuídos de controlo especificados através de redes de Petri IOPT

O objetivo principal deste trabalho é desenvolver um protótipo de ferramenta que permita a geração de ficheiros de configuração de sistemas distribuídos de controlo em plataformas específicas permitindo a integração de um conjunto de componentes previamente definidos. Cada componente é caracterizado como um módulo, identificando-se o conjunto de sinais e eventos de entrada e saída, bem como o seu comportamento, normalmente especificado através de um modelo em redes de Petri IOPT – RdP-IOPT (Input-Output Place-Transitions). O formato PNML (Petri Net Markup Language) será utilizado para a representação de cada componente. Os componentes referidos poderão ser obtidos através de vários métodos, nomeadamente através de ferramentas em desenvolvimento, que se encontram disponíveis em http://gres.uninova.pt/IOPT-Tools/ e também através da sua edição no editor de IOPT, como resultado da partição de um modelo expresso em IOPT, utilizando o editor Snoopy-IOPT em conjugação com a ferramenta SPLIT. Serão considerados várias formas para interligação dos componentes, incluindo-se ligações diretas e wrappers assíncronos num contexto de sistemas Globalmente Assíncronos Localmente Síncronos - GALS bem como diferentes tipos de barramentos e ligações série, incluindo Network-On-Chip específicos. A descrição da interligação entre componentes é gerada automaticamente pela ferramenta desenvolvida, tendo em conta resultados de dissertações de mestrado anteriores. As plataformas especificas de suporte à implementação incluem FPGA’s da serie Xilinx Spartan3,3E e Xilinx Virtex, e várias placas de desenvolvimento.

Wave4IOPT - editor e visualizador web de formas de onda – aplicação a controladores digitais especificados com modelos de Redes de Petri IOPT

Este trabalho tem o objectivo de criar um Editor e Visualizador Web de Formas de Onda para controladores digitais especificados com modelos Redes de Petri Input-Output Place-Transition (IOPT). Após uma análise das ferramentas existentes e constatando-se a inexistência de uma ferramenta adequada a essa função, desenvolveu-se uma ferramenta denominada Wave4IOPT, que permite a visualização das formas de onda de sinais e eventos de entrada e de saída ao longo do tempo. A ferramenta permite também a visualização dos resultados do histórico de uma simulação de uma Rede de Petri IOPT, proveniente do Simulador das IOPT-Tools. Esta ferramenta incorpora funcionalidades de edição, modos de visualização e um módulo básico de identificação e correcção de erros dos valores das formas de onda. O Wave4IOPT está disponível a partir de um browser e prevê-se que venha a estar integrado no ambiente de ferramentas IOPT-Tools. Esta ferramenta foi construída utilizando tecnologias Web como HTML, JavaScript, CSS, SVG e JSON. Adicionalmente, o Wave4IOPT poderá também servir para a edição, visualização e análise de outros tipos de sinais digitais, desde que sejam preenchidos os requisitos da estrutura do ficheiro JSON que será lido pela ferramenta.

Updating of the hierarchical rock mass rating (HRMR) system and a new subsystem developed for weathered granite formations

The RMR system is still very much applied in rock mechanics engineering context. It is based on the evaluation of six weights to obtain a final rating. To obtain the final rating a considerable amount of information is needed concerning the rock mass which can be difficult to obtain in some projects or project stages at least with accuracy. In 2007 an alternative classification scheme based on the RMR, the Hierarchical Rock Mass Rating (HRMR) was presented. The main feature of this system was the adaptation to the level of knowledge existent about the rock mass to obtain the classification of the rock mass since it followed a decision tree approach. However, the HRMR was only valid for hard rock granites with low fracturing degrees. In this work, the database was enlarged with approximately 40% more cases considering other types of granite rock masses including weathered granites and based on this increased database the system was updated. Granite formations existent in the north of Portugal including Porto city are predominantly granites. Some years ago a light rail infrastructure was built in the city of Porto and surrounding municipalities whi h involved considerable challenges due to the high heterogeneity levels of the granite formations and the difficulties involved in their geomechanical characterization. In this work it is intended to provide also a contribution to improve the characterization of these formations with special emphasis to the weathered horizons. A specific subsystem applicable to the weathered formations was developed. The results of the validation of these systems are presented and show acceptable performances in identifying the correct class using less information than with the RMR system.

Multiphasic, multistructured and hierarchical strategies for cartilage regeneration

Cartilage tissue is a complex nonlinear, viscoelastic, anisotropic, and multiphasic material with a very low coefficient of friction, which allows to withstand millions of cycles of joint loading over decades of wear. Upon damage, cartilage tissue has a low self-reparative capacity due to the lack of neural connections, vascularization, and a latent pool of stem/chondroprogenitor cells. Therefore, the healing of articular cartilage defects remains a significant clinical challenge, affecting millions of people worldwide. A plethora of biomaterials have been proposed to fabricate devices for cartilage regeneration, assuming a wide range of forms and structures, such as sponges, hydrogels, capsules, fibers, and microparticles. In common, the fabricated devices were designed taking in consideration that to fully achieve the regeneration of functional cartilage it is mandatory a well-orchestrated interplay of biomechanical properties, unique hierarchical structures, extracellular matrix (ECM), and bioactive factors. In fact, the main challenge in cartilage tissue engineering is to design an engineered device able to mimic the highly organized zonal architecture of articular cartilage, specifically its spatiomechanical properties and ECM composition, while inducing chondrogenesis, either by the proliferation of chondrocytes or by stimulating the chondrogenic differentiation  of stem/chondro-progenitor cells. In this chapter we present the recent advances in the development of innovative and complex biomaterials that fulfill the required structural key elements for cartilage regeneration. In particular, multiphasic, multiscale, multilayered, and hierarchical strategies composed by single or multiple biomaterials combined in a welldefined structure will be addressed. Those strategies include biomimetic scaffolds mimicking the structure of articular cartilage or engineered scaffolds as models of research to fully understand the biological mechanisms that influence the regeneration of cartilage tissue.

Nonlinear behavior of gelatin networks reveals a hierarchical structure

We investigate the strain hardening behavior of various gelatin networks-namely physical gelatin gel, chemically cross-linked gelatin gel, and a hybrid gel made of a combination of the former two-under large shear deformations using the pre-stress, strain ramp, and large amplitude oscillations shear protocols. Further, the internal structures of physical gelatin gels and chemically cross-linked gelatin gels were characterized by small angle neutron scattering (SANS) to enable their internal structures to be correlated with their nonlinear rheology. The Kratky plots of SANS data demonstrate the presence of small cross-linked aggregates within the chemically cross-linked network whereas, in the physical gelatin gels, a relatively homogeneous structure is observed. Through model fitting to the scattering data, we were able to obtain structural parameters, such as the correlation length (ξ), the cross-sectional polymer chain radius (Rc) and the fractal dimension (df) of the gel networks. The fractal dimension df obtained from the SANS data of the physical and chemically cross-linked gels is 1.31 and 1.53, respectively. These values are in excellent agreement with the ones obtained from a generalized nonlinear elastic theory that has been used to fit the stress-strain curves. The chemical cross-linking that generates coils and aggregates hinders the free stretching of the triple helix bundles in the physical gels.

Closed hybrid hierarchical reservoirs based on the deconstruction of the cellular native microenvironment

The stem cell niche organization and dynamics provide valuable cues for the development of mimetic environments that could have potential to stimulate the regenerative process. We propose the use of biodegradable biomaterials to produce closed miniaturised structures able to encapsulate different cell types or bioactive molecules. In particular, capsules are fabricated using the so-called layer-by-layer technology, where the consecutive (nano-sized) layers are well stabilized by electrostatic interactions or other weak forces. Using alginate-based spherical templates containing cells or other elements (e.g. proteins, magnetic nanoparticles, microparticles) it is possible to produce liquefied capsules that may entrap the entire cargo under mild conditions. The inclusion of liquefied micropcapsules may be used to produce hierarchical compartmentalised systems for the delivery of bioactive agents. The presence of solid microparticles inside such capsules offers adequate surface area for adherent cell attachment increasing the biological performance of these hierarchical systems, while maintain both permeability and injectability. We demonstrated that the encapsulation of distinct cell types (including mesenchymal stem cells and endothelial cells) enhances the osteogenic capability of this system, that could be useful in bone tissue engineering applications.

Superhydrophobic surfaces as a tool for the fabrication of hierarchical spherical polymeric carriers

Hierarchical polymeric carriers with high encapsulation efficiencies are fabricated via a biocompatible strategy developed using superhydrophobic (SH) surfaces. The carries are obtained by the incorporation of cell/BSA-loaded dextran-methacrylate (DEXT-MA) microparticles into alginate (ALG) macroscopic beads. Engineered devices like these are expected to boost the development of innovative and customizable systems for biomedical and biotechnological purposes.

Redes de Petri e VHDL na prototipagem rápida de sistemas digitais

O objectivo principal deste artigo é exemplificar a utilização de uma metodologia de especificação de sistemas digitais, baseada em Redes de Petri orientadas por objectos, para obter de uma forma rápida e simplificada um protótipo em VHDL do sistema pretendido. É considerado para exemplificação um sistema digital, para o qual se efectua a especificação no modelo RdP-shobi e a geração automática de código VHDL. Este exemplo permite concluir acerca da utilidade desta metodologia no projecto de sistemas digitais, suportado por princípios de orientação por objectos e por uma ferramenta de EDA desenvolvida propositadamente para o efeito.

Redes de Petri e VHDL na prototipagem rápida de sistemas digitais

O objectivo principal deste artigo é exemplificar a utilização de uma metodologia de especificação de sistemas digitais, baseada em Redes de Petri orientadas por objectos, para obter de uma forma rápida e simplificada um protótipo em VHDL do sistema pretendido. É considerado como exemplo um sistema digital, para o qual se efectua a especificação no modelo RdP-shobi e a partir da qual se pode gerar automaticamente código VHDL. Este exemplo permite demonstrar acerca da capacidade desta metodologia no projecto de sistemas digitais, suportado por princípios de orientação por objectos e por uma ferramenta de EDA concebida para o efeito.

Hierarchical modelling of timber reference properties using probabilistic methods: Maximum Likelihood Method, Bayesian Methods and Probability Networks

In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.