A calculus for modeling and analyzing conversations in service-oriented computing

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics

Electricity markets modeling considering complex contracts and aggregators

All over the world, the liberalization of electricity markets, which follows different paradigms, has created new challenges for those involved in this sector. In order to respond to these challenges, electric power systems suffered a significant restructuring in its mode of operation and planning. This restructuring resulted in a considerable increase of the electric sector competitiveness. Particularly, the Ancillary Services (AS) market has been target of constant renovations in its operation mode as it is a targeted market for the trading of services, which have as main objective to ensure the operation of electric power systems with appropriate levels of stability, safety, quality, equity and competitiveness. In this way, with the increasing penetration of distributed energy resources including distributed generation, demand response, storage units and electric vehicles, it is essential to develop new smarter and hierarchical methods of operation of electric power systems. As these resources are mostly connected to the distribution network, it is important to consider the introduction of this kind of resources in AS delivery in order to achieve greater reliability and cost efficiency of electrical power systems operation. The main contribution of this work is the design and development of mechanisms and methodologies of AS market and for energy and AS joint market, considering different management entities of transmission and distribution networks. Several models developed in this work consider the most common AS in the liberalized market environment: Regulation Down; Regulation Up; Spinning Reserve and Non-Spinning Reserve. The presented models consider different rules and ways of operation, such as the division of market by network areas, which allows the congestion management of interconnections between areas; or the ancillary service cascading process, which allows the replacement of AS of superior quality by lower quality of AS, ensuring a better economic performance of the market. A major contribution of this work is the development an innovative methodology of market clearing process to be used in the energy and AS joint market, able to ensure viable and feasible solutions in markets, where there are technical constraints in the transmission network involving its division into areas or regions. The proposed method is based on the determination of Bialek topological factors and considers the contribution of the dispatch for all services of increase of generation (energy, Regulation Up, Spinning and Non-Spinning reserves) in network congestion. The use of Bialek factors in each iteration of the proposed methodology allows limiting the bids in the market while ensuring that the solution is feasible in any context of system operation. Another important contribution of this work is the model of the contribution of distributed energy resources in the ancillary services. In this way, a Virtual Power Player (VPP) is considered in order to aggregate, manage and interact with distributed energy resources. The VPP manages all the agents aggregated, being able to supply AS to the system operator, with the main purpose of participation in electricity market. In order to ensure their participation in the AS, the VPP should have a set of contracts with the agents that include a set of diversified and adapted rules to each kind of distributed resource. All methodologies developed and implemented in this work have been integrated into the MASCEM simulator, which is a simulator based on a multi-agent system that allows to study complex operation of electricity markets. In this way, the developed methodologies allow the simulator to cover more operation contexts of the present and future of the electricity market. In this way, this dissertation offers a huge contribution to the AS market simulation, based on models and mechanisms currently used in several real markets, as well as the introduction of innovative methodologies of market clearing process on the energy and AS joint market. This dissertation presents five case studies; each one consists of multiple scenarios. The first case study illustrates the application of AS market simulation considering several bids of market players. The energy and ancillary services joint market simulation is exposed in the second case study. In the third case study it is developed a comparison between the simulation of the joint market methodology, in which the player bids to the ancillary services is considered by network areas and a reference methodology. The fourth case study presents the simulation of joint market methodology based on Bialek topological distribution factors applied to transmission network with 7 buses managed by a TSO. The last case study presents a joint market model simulation which considers the aggregation of small players to a VPP, as well as complex contracts related to these entities. The case study comprises a distribution network with 33 buses managed by VPP, which comprises several kinds of distributed resources, such as photovoltaic, CHP, fuel cells, wind turbines, biomass, small hydro, municipal solid waste, demand response, and storage units.

Mode-Controlled Data-Flow Modeling of Real-Time Memory Controllers

Accepted in 13th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2015), Amsterdam, Netherlands.

Chitosan/AuNPs Modified Graphene Electrochemical Sensor for Label-Free Human Chorionic Gonadotropin Detection

A new immunosensor is presented for human chorionic gonadotropin (hCG), made by electrodepositing chitosan/gold-nanoparticles over graphene screen-printed electrode (SPE). The antibody was covalently bound to CS via its Fc-terminal. The assembly was controlled by electrochemical Impedance Spectroscopy (EIS) and followed by Fourier Transformed Infrared (FTIR). The hCG-immunosensor displayed linear response against the logarithm-hCG concentration for 0.1–25 ng/mL with limit of detection of 0.016 ng/mL. High selectivity was observed in blank urine and successful detection of hCG was also achieved in spiked samples of real urine from pregnant woman. The immunosensor showed good detection capability, simplicity of fabrication, low-cost, high sensitivity and selectivity.

New modified electrochemical conductive paper support for BSA detection

Chemical sensors and biosensors are widely used to detect various kinds of protein target biomolecules. Molecularly Imprinted Polymers (MIPs) have raised great interest in this area, because these act as antibody-like recognition materials, with high affinity to the template molecule. Compared to natural antibodies, these are also of lower cost and higher stability. There are different types of supports used to carry MIP materials, mostly of these made of gold, favourably assembled on a Screen Printed Electrode (SPE) strategy. For this work a new kind of support for the sensing layer was developed: conductive paper. This support was made by modifying first cellulose paper with paraffin wax (to make it waterproof), and casting a carbon-ink on it afterwards, to turn it conductive. The SPAM approach previously reported in1 was employed herein to assemble to MIP sensing material on the conductive paper. The selected charged monomers were (vinylbenzyl) trimethlammonium chloride (positive charge) or vinylbenzoic acid (negative charge), used to generate binding positions with single-type charge (positive or negative). The non-specific binding area of the MIP layer was assembled by chronoamperometry-assisted polymerization (at 1 V, for 60, 120 or 180 seconds) of vinylbenzoate, cross-linked with ethylene glycol vinyl ether. The BSA biomolecules lying within the polymeric matrix were removed by Proteinase K action. All preparation stages of the MIP assembly were followed by FTIR, Raman spectroscopy and, electrochemical analysis. In general, the best results were obtained for longer polymerization times and positively charged binding sites (which was consistent with a negatively-charged protein under physiological pH, as BSA). Linear responses against BSA concentration ranged from 0.005 to 100 mg/mL, in PBS buffer standard solutions. The sensor was further calibrated in standard solutions that were prepared in synthetic or real urine, and the analytical response became more sensitive and stable. Compared to the literature, the detection capability of the developed device is better than most of the reported electrodes. Overall, the simplicity, low cost and good analytical performance of the BSA SPE device, prepared with positively charged binding positions, seems a suitable approach for practical application in clinical context. Further studies with real samples are required, as well as gathering with electronic-supporting devices to allow on-site readings.

Electrochemical biosensor based on biomimetic material for myoglobin detection

A novel reusable molecularly imprinted polymer (MIP) assembled on a polymeric layer of carboxylated poly(vinyl chloride) (PVCsingle bondCOOH) for myoglobin (Myo) detection was developed. This polymer was casted on the gold working area of a screen printed electrode (Au-SPE), creating a novel disposable device relying on plastic antibodies. Electrochemical impedance spectroscopy (EIS), cyclic voltammetry (CV) and Fourier transform infrared spectroscopy (FTIR) studies confirmed the surface modification. The MIP/Au-SPE devices displayed a linear behaviour in EIS from 0.852 to 4.26 μg mL−1, of positive slope 6.50 ± 1.48 (kΩ mL μg−1). The limit of detection was 2.25 μg mL−1. Square wave voltammetric (SWV) assays were made in parallel and showed linear responses between 1.1 and 2.98 μg mL−1. A current decrease was observed against Myo concentration, producing average slopes of −0.28 ± 0.038 μA mL μg−1. MIP/Au-SPE also showed good results in terms of selectivity. The error% found for each interfering species were 7% for troponin T (TnT), 11% for bovine serum albumin (BSA) and 2% for creatine kinase MB (CKMB), respectively. Overall, the technical modification over the Au-SPE was found a suitable approach for screening Myo in biological fluids.

Surface Imprinting Approach on Screen Printed Electrodes Coated with Carboxylated PVC for Myoglobin detection with Electrochemical Transduction

A novel surface molecularly-imprinted (MI) material to detect myoglobin (Myo) using gold screen printed electrodes (SPE) was developed. The sensitive detection was carry out by introducing a carboxylic polyvinyl chloride (PVC-COOH) layer on gold SPE surface. Myo was attached to the surface of gold SPE/PVC-COOH and the vacant spaces around it were filled by polymerizing acrylamide and N,N-methylenebisacrylamide (cross-linker). This polymerization was initiated by ammonium persulphate. After removing the template, the obtained material was able to rebind Myo and discriminate it among other interfering species. Various characterization techniques including electrochemical impedance spectroscopy (EIS) and cyclic voltammetry (CV) confirmed the surface modification. This sensor seemed a promising tool for screening Myo in point-of-care.

Development of electrochemical nitrite biosensors using cytochrome c nitrite reductase from Desulfovibrio desulfuricans ATCC 27774

Dissertação apresentada para a obtenção do Grau de Doutor em Química Sustentável pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Modeling Vegetable Fractals by means of Fractional-order Equations

This paper characterizes four ‘fractal vegetables’: (i) cauliflower (brassica oleracea var. Botrytis); (ii) broccoli (brassica oleracea var. italica); (iii) round cabbage (brassica oleracea var. capitata) and (iv) Brussels sprout (brassica oleracea var. gemmifera), by means of electrical impedance spectroscopy and fractional calculus tools. Experimental data is approximated using fractional-order models and the corresponding parameters are determined with a genetic algorithm. The Havriliak-Negami five-parameter model fits well into the data, demonstrating that classical formulae can constitute simple and reliable models to characterize biological structures.

Fractional Calculus: Application in modeling and control

This contribution introduces the fractional calculus (FC) fundamental mathematical aspects and discuses some of their consequences. Based on the FC concepts, the chapter reviews the main approaches for implementing fractional operators and discusses the adoption of FC in control systems. Finally are presented some applications in the areas of modeling and control, namely fractional PID, heat diffusion systems, electromagnetism, fractional electrical impedances, evolutionary algorithms, robotics, and nonlinear system control.

Modeling and Control of a Dragonfly-Like Robot

Dragonflies demonstrate unique and superior flight performances than most of the other insect species and birds. They are equipped with two pairs of independently controlled wings granting an unmatchable flying performance and robustness. In this paper it is studied the dynamics of a dragonfly-inspired robot. The system performance is analyzed in terms of time response and robustness. The development of computational simulation based on the dynamics of the robotic dragonfly allows the test of different control algorithms. We study different movement, the dynamics and the level of dexterity in wing motion of the dragonfly. The results are positive for the construction of flying platforms that effectively mimic the kinematics and dynamics of dragonflies and potentially exhibit superior flight performance than existing flying platforms.

System Modeling and Control Through Fractional-Order Algorithms

The theory of fractional calculus goes back to the beginning of thr throry of differential calculus but its inherent complexity postponed the applications of the associated concepts. In the last decade the progress in the areas of chaos and fractals revealed subtle relationships with the fractional calculus leading to an increasing interest in the development of the new paradigm. In the area of automaticcontrol preliminary work has already been carried out but the proposed algorithms are restricted to the frequency domain. The paper discusses the design of fractional-order discrete-time controllers. The algorithms studied adopt the time domein, which makes them suited for z-transform analusis and discrete-time implementation. The performance of discrete-time fractional-order controllers with linear and non-linear systems is also investigated.

Environmental modeling with precision navigation using ROAZ autonomous surface vehicle

The use of robotic vehicles for environmental modeling is discussed. This paper presents diverse results in autonomous marine missions with the ROAZ autonomous surface vehicle. The vehicle can perform autonomous missions while gathering marine data with high inertial and positioning precision. The underwater world is an, economical and environmental, asset that need new tools to study and preserve it. ROAZ is used in marine environment missions since it can sense and monitor the surface and underwater scenarios. Is equipped with a diverse set of sensors, cameras and underwater sonars that generate 3D environmental models. It is used for study the marine life and possible underwater wrecks that can pollute or be a danger to marine navigation. The 3D model and integration of multibeam and sidescan sonars represent a challenge in nowadays. Adding that it is important that robots can explore an area and make decisions based on their surroundings and goals. Regard that, autonomous robotic systems can relieve human beings of repetitive and dangerous tasks.

Detection of Arah1 (a major peanut allergen) in food using an electrochemical gold nanoparticle-coated screen-printed immunosensor

A gold nanoparticle-coated screen-printed carbon electrode was used as the transducer in the development of an electrochemical immunosensor for Ara h 1 (a major peanut allergen) detection in food samples. Gold nanoparticles (average diameter=32 nm) were electrochemically generated on the surface of screen-printed carbon electrodes. Two monoclonal antibodies were used in a sandwich-type immunoassay and the antibody–antigen interaction was electrochemically detected through stripping analysis of enzymatically (using alkaline phosphatase) deposited silver. The total time of the optimized immunoassay was 3 h 50 min. The developed immunosensor allowed the quantification of Ara h 1 between 12.6 and 2000 ng/ml, with a limit of detection of 3.8 ng/ml, and provided precise (RSD <8.7%) and accurate (recovery >96.6%) results. The immunosensor was successfully applied to the analysis of complex food matrices (cookies and chocolate), being able to detect Ara h 1 in samples containing 0.1% of peanut.