O Portal do docente é uma ferramenta de apoio que permite a cada Professor da FCT NOVA criar autonomamente a sua página pessoal e aí inserir o seu curriculum, divulgar artigos científicos, apresentar as disciplinas leccionadas, partilhar feeds, etc.
Barbosa, Paulo E. S., João Paulo Barros, Franklin Ramalho, Lu{\'ı}s Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, and André Aranha. "SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design." Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings. 2011. 256-265. Abstract
The relative populations of the 1H- and 2H-tautomer of gas-phase 5-methyltetrazole (5MTZ) have been assessed through core-level photoelectron spectroscopy, and compared with the results obtained from Gaussian-n (Gn, n = 1, 2 and 3) and Complete Basis Set methods (CBS-4M and CBS-Q). The C 1s and N 1s core–electron binding energies (CEBEs) for each ionization site of both tautomers have been computed using the Δself-consistent-field (ΔSCF) approach. The C 1s and N 1s XPS spectra, obtained at 313 K, yield a 1H/2H tautomer ratio of ca. 0.16/0.84 and 0.21/0.79, respectively.
The relative populations of the 1H- and 2H-tautomer of gas-phase 5-methyltetrazole (5MTZ) have been assessed through core-level photoelectron spectroscopy, and compared with the results obtained from Gaussian-n (Gn, n = 1, 2 and 3) and Complete Basis Set methods (CBS-4M and CBS-Q). The C 1s and N 1s core‚Äìelectron binding energies (CEBEs) for each ionization site of both tautomers have been computed using the Œîself-consistent-field (ŒîSCF) approach. The C 1s and N 1s XPS spectra, obtained at 313 K, yield a 1H/2H tautomer ratio of ca. 0.16/0.84 and 0.21/0.79, respectively.
An ultrasonic assisted solid–liquid extraction method was developed to determine the level of lead in the brain and urine of rats. Lead was determined by electrothermal atomic absorption spectrometry with longitudinal-Zeeman background correction. Several analytical drawbacks were addressed and overcome, namely small brain sample mass and the formation of precipitate in the urine samples. Utrasonication provided by an ultrasonic probe succeeded in extracting lead from brain samples. Furthermore, it was demonstrated that the formation of a precipitate lowered the lead content in the liquid phase of the urine. Lead was back extracted from the precipitate to the liquid phase with the aid of ultrasonic energy and acidifying the urine with 10% v/v nitric acid. A microwave-assisted acid digestion protocol was used to check the completeness of the lead extraction. The within bath and between bath precision was 5% (n = 9) and 7% (n = 3) respectively. The limit of quantification was 1.05 μg g−1 for brain samples and 2.1 μg L−1 for urine samples. A total of 6 samples of urine and 12 samples of brain from control rats and another 6 samples of urine and 12 samples of brain from rats fed with tap water rich in lead acetate were used in this research. Lead levels in brain and urine from exposed rats ranged from1.9 ± 0.2 μg g−1 to 3.5 ± 0.2 μg g−1 and from 752 ± 56 μg L−1 to 60.9 ± 1.2 mg L−1 respectively. Statistically significant differences of levels of lead in brain and urine were found between exposed and non exposed rats.
An ultrasonic assisted solid‚Äìliquid extraction method was developed to determine the level of lead in the brain and urine of rats. Lead was determined by electrothermal atomic absorption spectrometry with longitudinal-Zeeman background correction. Several analytical drawbacks were addressed and overcome, namely small brain sample mass and the formation of precipitate in the urine samples. Utrasonication provided by an ultrasonic probe succeeded in extracting lead from brain samples. Furthermore, it was demonstrated that the formation of a precipitate lowered the lead content in the liquid phase of the urine. Lead was back extracted from the precipitate to the liquid phase with the aid of ultrasonic energy and acidifying the urine with 10% v/v nitric acid. A microwave-assisted acid digestion protocol was used to check the completeness of the lead extraction. The within bath and between bath precision was 5% (n = 9) and 7% (n = 3) respectively. The limit of quantification was 1.05 Œºg g‚àí1 for brain samples and 2.1 Œºg L‚àí1 for urine samples. A total of 6 samples of urine and 12 samples of brain from control rats and another 6 samples of urine and 12 samples of brain from rats fed with tap water rich in lead acetate were used in this research. Lead levels in brain and urine from exposed rats ranged from1.9 ¬± 0.2 Œºg g‚àí1 to 3.5 ¬± 0.2 Œºg g‚àí1 and from 752 ¬± 56 Œºg L‚àí1 to 60.9 ¬± 1.2 mg L‚àí1 respectively. Statistically significant differences of levels of lead in brain and urine were found between exposed and non exposed rats.
During electric polarization charge is injected into the material. The structure is decorated with space charge and during the subsequent heating an apparent peak and the genuine peaks that are related to dipole randomization and charge detrapping are observed. The method is used here to analyze the molecular movements in polyimide in the temperature range from 293 to 623K. Two weak relaxations have been observed around 337K and around 402K. The electrical conductivity changes with temperature in agreement with the Arrhenius law only below (W=(0.84±0.03) eV ) and above ( W=(0.82±0.03) eV) the temperature range where the β relaxation is observed. The variation of the electrical conductivity with temperature, in the range of the β relaxation, is controlled by the variation of the charge currier mobility with temperature and it shows a non-Arrhenius behavior. We suggest that the β1 sub-glass relaxation is related to the rotation or oscillation of phenyl groups and the β2 sub-glass relaxation is related to the rotation or oscillation of the imidic ring. At higher temperatures an apparent peak was observed. The relaxation time of the trapped charge, at 573K, is high than 8895s.
{We deduce a shallow water model, describing the motion of the fluid in a lake, assuming inflow-outflow effects across the bottom. This model arises from the asymptotic analysis of the 3D dimensional Navier-Stokes equations. We prove the global in time existence result for this model in a bounded domain taking the nonlinear slip/friction boundary conditions to describe the inflows and outflows of the porous coast and the rivers. The solvability is shown in the class of solutions with L(p)-bounded vorticity for any given p is an element of (1, infinity). Copyright (C) 2009 John Wiley & Sons, Ltd.}
In this paper we present an amorphous silicon device that can be used in two operation modes to measure the concentration of ions in solution. While crystalline devices present a higher sensitivity, their amorphous counterpart present a much lower fabrication cost, thus enabling the production of cheap disposable sensors for use, for example, in the food industry. The devices were fabricated on glass substrates by the PECVD technique in the top gate configuration, where the metallic gate is replaced by an electrolytic solution with an immersed Ag/AgCl reference electrode. Silicon nitride is used as gate dielectric enhancing the sensitivity and passivation layer used to avoid leakage and electrochemical reactions. In this article we report on the semiconductor unit, showing that the device can be operated in a light-assisted mode, where changes in the pH produce changes on the measured ac photocurrent. In alternative the device can be operated as a conventional ion selective field effect device where changes in the pH induce changes in the transistor's threshold voltage.
In this paper we present an amorphous silicon device that can be used in two operation modes to measure the concentration of ions in solution. While crystalline devices present a higher sensitivity, their amorphous counterpart present a much lower fabrication cost, thus enabling the production of cheap disposable sensors for use, for example, in the food industry. The devices were fabricated on glass substrates by the PECVD technique in the top gate configuration, where the metallic gate is replaced by an electrolytic solution with an immersed Ag/AgCl reference electrode. Silicon nitride is used as gate dielectric enhancing the sensitivity and passivation layer used to avoid leakage and electrochemical reactions. In this article we report on the semiconductor unit, showing that the device can be operated in a light-assisted mode, where changes in the pH produce changes on the measured ac photocurrent. In alternative the device can be operated as a conventional ion selective field effect device where changes in the pH induce changes in the transistor's threshold voltage.