Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Ethical leadership and unethical pro-organizational behavior: A moderated mediation model of affective commitment and authenticity at work

Recently, unethical conduct in the workplace has been a focus of literature and media. Unethical pro-organizational behavior (UPB) refers to unethical conduct that employees engage in to benefit the organization. Given the complexity of UPB, there is an increasing need to understand how and under what conditions this attitude originates within organizations. Based on a sample of 167 employees and seven organizations, results support the moderated mediation model. An ethical leader increases employees’ organizational affective commitment which increases the likelihood to engage in UPB. However, the indirect relationship diminishes when employees feel authentic at work.

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.

Platelet lysate-based pro-angiogenic nanocoatings

Human platelet lysate (PL) is a cost-effective and human source of autologous multiple and potent pro-angiogenic factors, such as vascular endothelial growth factor A (VEGF A), fibroblast growth factor b (FGF b) and angiopoietin-1. Nanocoatings previously characterized were prepared by layer-by-layer assembling incorporating PL with marine-origin polysaccharides and were shown to activate human umbilical vein endothelial cells (HUVECs). Within 20 h of incubation, the more sulfated coatings induced the HUVECS to the form tube-like structures accompanied by an increased expression of angiogenicassociated genes, such as angiopoietin-1 and VEGF A. This may be a cost-effective approach to modify 2D/3D constructs to instruct angiogenic cells towards the formation of neo-vascularization, driven by multiple and synergistic stimulations from the PL combined with sulfated polysaccharides. Statement of Significance The presence, or fast induction, of a stable and mature vasculature inside 3D constructs is crucial for new tissue formation and its viability. This has been one of the major tissue engineering challenges, limiting the dimensions of efficient tissue constructs. Many approaches based on cells, growth factors, 3D bioprinting and channel incorporation have been proposed. Herein, we explored a versatile technique, layer-by-layer assembling in combination with platelet lysate (PL), that is a cost-effective source of many potent pro-angiogenic proteins and growth factors. Results suggest that the combination of PL with sulfated polyelectrolytes might be used to introduce interfaces onto 2D/3D constructs with potential to induce the formation of cell-based tubular structures.

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.

Genetic regulatory mechanisms by means of extended interactive Petri nets

In our work we have chosen to integrate formalism for knowledge representation with formalism for process representation as a way to specify and regulate the overall activity of a multi-cellular agent. The result of this approach is XP,N, another formalism, wherein a distributed system can be modeled as a collection of interrelated sub-nets sharing a common explicit control structure. Each sub-net represents a system of asynchronous concurrent threads modeled by a set of transitions. XP,N combines local state and control with interaction and hierarchy to achieve a high-level abstraction and to model the complex relationships between all the components of a distributed system. Viewed as a tool XP,N provides a carefully devised conflict resolution strategy that intentionally mimics the genetic regulatory mechanism used in an organic cell to select the next genes to process.

An evolutionary approach to the use of Petri net based models: from parallel controllers to HW/SW co-design

"A workshop within the 19th International Conference on Applications and Theory of Petri Nets - ICATPN’1998"

Enumeratio plantarum : in Japonia sponte crescentium hucusque rite cognitarum, adjectis descriptionibus specierum pro regione novarum, quibus accedit determinatio herbarum in libris japonicis So mokou zoussetz xylographice delineatarum /

Volumen Primum [v.1]

Enumeratio plantarum : in Japonia sponte crescentium hucusque rite cognitarum, adjectis descriptionibus specierum pro regione novarum, quibus accedit determinatio herbarum in libris japonicis So mokou zoussetz xylographice delineatarum /

Volumen Secundum [v.2]

Dosagem dos níveis de NT pro-BNP nas afecções pericárdicas e sua utilidade como método complementar de avaliação de restrição diastólica. Experiência inicial de 25 casos: 25 cases

OBJETIVO: Determinar se os níveis de NT pro-BNP encontram-se elevados em pacientes com afecções pericárdicas e avaliar a sua relação com medidas ecocardiográficas de disfunção diastólica. MÉTODOS: Vinte e cinco pacientes foram divididos em dois grupos: 1) derrame pericárdico (DP), 15 pacientes; 2) pericardite constritiva (PC), 10 pacientes. Foi constituído um grupo controle de 30 indivíduos sem doença cardíaca. O grau de derrame pericárdico foi avaliado pelo ecocardiograma bidimensional e a restrição avaliada pelo Doppler pulsátil do fluxo mitral. O diagnóstico de PC foi confirmado por meio da ressonância magnética. Os níveis de NT pro-BNP foram medidos por imunoensaio com detecção por eletroquimioluminescência. RESULTADOS: Dos 15 pacientes com DP, 14 apresentavam DP importante e apenas 1, moderado. Log NT pro-BNP esteve aumentado no DP (p <0,05), com média de log 2,31 pg/ml e PC (p <0,05), com média de log 2,67 pg/ml, quando comparados ao grupo controle, média de log 1,32 pg/ml. Não houve diferença entre DP e PC (p = 0,149). O log NT pro-BNP correlacionou-se com o pico de velocidade da onda E (r = 0,845; p = 0,001) e com a relação E/A (r=0,717; p= 0,003). CONCLUSÃO: O NT pro-BNP encontra-se aumentado nas afecções pericárdicas e apresenta relação com o grau de disfunção diastólica, podendo servir como método adicional na quantificação de restrição.

Estudio de las respuestas neurofisiológicas y conductuales integradas en el sistema límbico: participación de los neuropéptidos derivados de la pre pro MCH y Angiotensina II

Numerosos estudios indican que la amígdala, se encuentra estrechamente ligada a la generación y modulación de los procesos emocionales. Aunque el complejo de la amígdala generalmente se define por varios grupos distintos de células, los núcleos de la amígdala basolateral que se conectan con el núcleo central y el núcleo de la estría terminal son los que proyectan a las áreas del sistema nervioso central involucradas en el control de las respuestas autónomas, los procesos cognitivos y la respuesta emocional. Además de los ampliamente estudiados sistemas glutamatérgico, gabaérgico, endorfinérgico, CRH, CCK entre otros, en estas áreas de la amígdala se encuentran receptores AT1 del sistema renina-angiotensina cerebral y llegan fibras del sistema de la pre-pro-hormona MCH (ppMCH) de la que se derivan la hormona concentradora de melanina (MCH) y otros dos péptidos biológicamente activos: el neuropéptido glicina (G)-ácido glutámico (E) (NGE) y el neuropéptido glutamina (E)- isoleucina (I) (NEI). Entre las áreas a las que se proyectan los núcleos de la amígdala se destaca la inervación de núcleos dopaminérgicos a través del área tegmental ventral y su influencia sobre la función del eje hipotálamo-hipófiso-adrenal (HHA) por la modulación de la descarga de ACTH a través de la inervación del núcleo hipotalámico paraventricular. Este proyecto tiene como objetivo evaluar los efectos de los neuropéptidos derivados de la ppMCH y Angiotensina II en la amígdala basolateral, sobre: el estado de ansiedad, conducta de exploración, activación del eje HHA y la trasmisión dopaminérgica en las áreas de proyección de la amígdala. Se empleará un modelo de miedo potenciado en ratas, que provoca una mayor activación de la amígdala y el establecimiento de un estado de ansiedad por la exposición previa a una situación de estrés. En este modelo se desencadenan respuestas similares a las encontradas en pacientes que sufren desórdenes de ansiedad, lo que nos permite estudiar el rol de los neuromoduladores en su fisiopatogenia.