High-level Petri nets modules for embedded controllers design

Modular design is crucial to manage large-scale systems and to support the divide-and-conquer development approach. It allows hierarchical representations and, therefore, one can have a system overview, as well as observe component details. Petri nets are suitable to model concurrent systems, but lack on structuring mechanisms to support abstractions and the composition of sub-models, in particular when considering applications to embedded controllers design. In this paper we present a module construct, and an underlying high-level Petri net type, to model embedded controllers. Multiple interfaces can be declared in a module, thus, different instances of the same module can be used in different situations. The interface is a subset of the module nodes, through which the communication with the environment is made. Module places can be annotated with a generic type, overridden with a concrete type at instance level, and constants declared in a module may have a new value in each instance.

Hydrogen peroxide sensing, signaling and regulation of transcription factors

The regulatory mechanisms by which hydrogen peroxide (H2O2) modulates the activity of transcription factors in bacteria (OxyR and PerR), lower eukaryotes (Yap1, Maf1, Hsf1 and Msn2/4) and mammalian cells (AP-1, NRF2, CREB, HSF1, HIF-1, TP53, NF-κB, NOTCH, SP1 and SCREB-1) are reviewed. The complexity of regulatory networks increases throughout the phylogenetic tree, reaching a high level of complexity in mammalians. Multiple H2O2 sensors and pathways are triggered converging in the regulation of transcription factors at several levels: (1) synthesis of the transcription factor by upregulating transcription or increasing both mRNA stability and translation; (ii) stability of the transcription factor by decreasing its association with the ubiquitin E3 ligase complex or by inhibiting this complex; (iii) cytoplasm-nuclear traffic by exposing/masking nuclear localization signals, or by releasing the transcription factor from partners or from membrane anchors; and, (iv) DNA binding and nuclear transactivation by modulating transcription factor affinity towards DNA, co-activators or repressors, and by targeting specific regions of chromatin to activate individual genes. We also discuss how H2O2 biological specificity results from diverse thiol protein sensors, with different reactivity of their sulfhydryl groups towards H2O2, being activated by different concentrations and times of exposure to H2O2. The specific regulation of local H2O2 concentrations is also crucial and results from H2O2 localized production and removal controlled by signals. Finally, we formulate equations to extract from typical experiments quantitative data concerning H2O2 reactivity with sensor molecules. Rate constants of 140 M-1s−1 and ≥ 1.3 × 103 M-1s−1 were estimated, respectively, for the reaction of H2O2 with KEAP1 and with an unknown target that mediates NRF2 protein synthesis. In conclusion, the multitude of H2O2 targets and mechanisms provides an opportunity for highly specific effects on gene regulation that depend on the cell type and on signals received from the cellular microenvironment.

An SEM investigation of the pozzolanic activity of a waste catalyst oil refinery

The most active phase of the fluid catalytic cracking (FCC) catalyst, used in oil refinery, is zeolite-Y which is an aluminosilicate with a high internal and external surface area responsible for its high reactivity. Waste FCC catalyst is potentially able to be reused in cement-based materials - as an additive - undergoing a pozzolanic reaction with calcium hydroxide (Ca(OH)2) formed during cement hydration [1-3]. This reaction produces additional strength-providing reaction products i.e., calcium silicate hydrate (C-S-H) and hydrous calcium aluminates (C-A-H) which exact chemical formula and structure are still unknown. Partial replacement of cement by waste FCC catalyst has two key advantages: (1) lowering of cement production with the associated pollution reduction as this industry represents one of the largest sources of man-made CO2 emissions, and (2) improving the mechanical properties and durability of cement-based materials. Despite these advantages, there is a lack of fundamental knowledge on pozzolanic reaction mechanisms as well as spatial distribution of porosity and solid phases interactions at the microstructural level and consequently their relationship with macroscopical engineering properties of catalyst/cement blends. Within this scope, backscattered electron (BSE) images acquired in a scanning electron microscope (SEM) equipped with Energy-Dispersive Spectroscopy (EDS) and by X-ray diffraction were used to investigate chemical composition of hydration products and to analyse spatial information of the microstructure of waste FCC catalyst blended cement mortars. For this purpose mortars with different levels of cement substitution by waste catalyst as well as with different hydration ages, were prepared. The waste FCC catalyst used is produced by the Portuguese refinery company Petrogal S.A.

ECO-betão com adição de resíduo da indústria petrolífera

Dissertação de natureza Científica para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Edificações

Reactores a tório: o futuro da energia nuclear de fissão

Dissertação para a obtenção do grau de mestre em Engenharia Electrotécnica Ramo de Energia