Proposal for shared services performance management model applied to portugueses public administration

Comunicação apresentada no 8º Congresso Nacional de Administração Pública - Desafios e Soluções, em Carcavelos de 21 a 22 de Novembro de 2011.

EcoTerra Model - application of environmental fiscal reform in local government financing in Portugal

Critical Issues in Environmental Taxation: International and Comparative Perspectives: Volume VI, 699-715

Preserving the validity of the two-Higgs-doublet model up to the Planck scale

We examine the constraints on the two Higgs doublet model (2HDM) due to the stability of the scalar potential and absence of Landau poles at energy scales below the Planck scale. We employ the most general 2HDM that incorporates an approximately Standard Model (SM) Higgs boson with a flavor aligned Yukawa sector to eliminate potential tree-level Higgs-mediated flavor changing neutral currents. Using basis independent techniques, we exhibit robust regimes of the 2HDM parameter space with a 125 GeV SM-like Higgs boson that is stable and perturbative up to the Planck scale. Implications for the heavy scalar spectrum are exhibited.

Unmixing hyperspectral data: independent and dependent component analysis

The development of high spatial resolution airborne and spaceborne sensors has improved the capability of ground-based data collection in the fields of agriculture, geography, geology, mineral identification, detection [2, 3], and classification [4–8]. The signal read by the sensor from a given spatial element of resolution and at a given spectral band is a mixing of components originated by the constituent substances, termed endmembers, located at that element of resolution. This chapter addresses hyperspectral unmixing, which is the decomposition of the pixel spectra into a collection of constituent spectra, or spectral signatures, and their corresponding fractional abundances indicating the proportion of each endmember present in the pixel [9, 10]. Depending on the mixing scales at each pixel, the observed mixture is either linear or nonlinear [11, 12]. The linear mixing model holds when the mixing scale is macroscopic [13]. The nonlinear model holds when the mixing scale is microscopic (i.e., intimate mixtures) [14, 15]. The linear model assumes negligible interaction among distinct endmembers [16, 17]. The nonlinear model assumes that incident solar radiation is scattered by the scene through multiple bounces involving several endmembers [18]. Under the linear mixing model and assuming that the number of endmembers and their spectral signatures are known, hyperspectral unmixing is a linear problem, which can be addressed, for example, under the maximum likelihood setup [19], the constrained least-squares approach [20], the spectral signature matching [21], the spectral angle mapper [22], and the subspace projection methods [20, 23, 24]. Orthogonal subspace projection [23] reduces the data dimensionality, suppresses undesired spectral signatures, and detects the presence of a spectral signature of interest. The basic concept is to project each pixel onto a subspace that is orthogonal to the undesired signatures. As shown in Settle [19], the orthogonal subspace projection technique is equivalent to the maximum likelihood estimator. This projection technique was extended by three unconstrained least-squares approaches [24] (signature space orthogonal projection, oblique subspace projection, target signature space orthogonal projection). Other works using maximum a posteriori probability (MAP) framework [25] and projection pursuit [26, 27] have also been applied to hyperspectral data. In most cases the number of endmembers and their signatures are not known. Independent component analysis (ICA) is an unsupervised source separation process that has been applied with success to blind source separation, to feature extraction, and to unsupervised recognition [28, 29]. ICA consists in finding a linear decomposition of observed data yielding statistically independent components. Given that hyperspectral data are, in given circumstances, linear mixtures, ICA comes to mind as a possible tool to unmix this class of data. In fact, the application of ICA to hyperspectral data has been proposed in reference 30, where endmember signatures are treated as sources and the mixing matrix is composed by the abundance fractions, and in references 9, 25, and 31–38, where sources are the abundance fractions of each endmember. In the first approach, we face two problems: (1) The number of samples are limited to the number of channels and (2) the process of pixel selection, playing the role of mixed sources, is not straightforward. In the second approach, ICA is based on the assumption of mutually independent sources, which is not the case of hyperspectral data, since the sum of the abundance fractions is constant, implying dependence among abundances. This dependence compromises ICA applicability to hyperspectral images. In addition, hyperspectral data are immersed in noise, which degrades the ICA performance. IFA [39] was introduced as a method for recovering independent hidden sources from their observed noisy mixtures. IFA implements two steps. First, source densities and noise covariance are estimated from the observed data by maximum likelihood. Second, sources are reconstructed by an optimal nonlinear estimator. Although IFA is a well-suited technique to unmix independent sources under noisy observations, the dependence among abundance fractions in hyperspectral imagery compromises, as in the ICA case, the IFA performance. Considering the linear mixing model, hyperspectral observations are in a simplex whose vertices correspond to the endmembers. Several approaches [40–43] have exploited this geometric feature of hyperspectral mixtures [42]. Minimum volume transform (MVT) algorithm [43] determines the simplex of minimum volume containing the data. The MVT-type approaches are complex from the computational point of view. Usually, these algorithms first find the convex hull defined by the observed data and then fit a minimum volume simplex to it. Aiming at a lower computational complexity, some algorithms such as the vertex component analysis (VCA) [44], the pixel purity index (PPI) [42], and the N-FINDR [45] still find the minimum volume simplex containing the data cloud, but they assume the presence in the data of at least one pure pixel of each endmember. This is a strong requisite that may not hold in some data sets. In any case, these algorithms find the set of most pure pixels in the data. Hyperspectral sensors collects spatial images over many narrow contiguous bands, yielding large amounts of data. For this reason, very often, the processing of hyperspectral data, included unmixing, is preceded by a dimensionality reduction step to reduce computational complexity and to improve the signal-to-noise ratio (SNR). Principal component analysis (PCA) [46], maximum noise fraction (MNF) [47], and singular value decomposition (SVD) [48] are three well-known projection techniques widely used in remote sensing in general and in unmixing in particular. The newly introduced method [49] exploits the structure of hyperspectral mixtures, namely the fact that spectral vectors are nonnegative. The computational complexity associated with these techniques is an obstacle to real-time implementations. To overcome this problem, band selection [50] and non-statistical [51] algorithms have been introduced. This chapter addresses hyperspectral data source dependence and its impact on ICA and IFA performances. The study consider simulated and real data and is based on mutual information minimization. Hyperspectral observations are described by a generative model. This model takes into account the degradation mechanisms normally found in hyperspectral applications—namely, signature variability [52–54], abundance constraints, topography modulation, and system noise. The computation of mutual information is based on fitting mixtures of Gaussians (MOG) to data. The MOG parameters (number of components, means, covariances, and weights) are inferred using the minimum description length (MDL) based algorithm [55]. We study the behavior of the mutual information as a function of the unmixing matrix. The conclusion is that the unmixing matrix minimizing the mutual information might be very far from the true one. Nevertheless, some abundance fractions might be well separated, mainly in the presence of strong signature variability, a large number of endmembers, and high SNR. We end this chapter by sketching a new methodology to blindly unmix hyperspectral data, where abundance fractions are modeled as a mixture of Dirichlet sources. This model enforces positivity and constant sum sources (full additivity) constraints. The mixing matrix is inferred by an expectation-maximization (EM)-type algorithm. This approach is in the vein of references 39 and 56, replacing independent sources represented by MOG with mixture of Dirichlet sources. Compared with the geometric-based approaches, the advantage of this model is that there is no need to have pure pixels in the observations. The chapter is organized as follows. Section 6.2 presents a spectral radiance model and formulates the spectral unmixing as a linear problem accounting for abundance constraints, signature variability, topography modulation, and system noise. Section 6.3 presents a brief resume of ICA and IFA algorithms. Section 6.4 illustrates the performance of IFA and of some well-known ICA algorithms with experimental data. Section 6.5 studies the ICA and IFA limitations in unmixing hyperspectral data. Section 6.6 presents results of ICA based on real data. Section 6.7 describes the new blind unmixing scheme and some illustrative examples. Section 6.8 concludes with some remarks.

Vertex component analysis: a geometric-based approach to unmix hyperspectral data

Hyperspectral remote sensing exploits the electromagnetic scattering patterns of the different materials at specific wavelengths [2, 3]. Hyperspectral sensors have been developed to sample the scattered portion of the electromagnetic spectrum extending from the visible region through the near-infrared and mid-infrared, in hundreds of narrow contiguous bands [4, 5]. The number and variety of potential civilian and military applications of hyperspectral remote sensing is enormous [6, 7]. Very often, the resolution cell corresponding to a single pixel in an image contains several substances (endmembers) [4]. In this situation, the scattered energy is a mixing of the endmember spectra. A challenging task underlying many hyperspectral imagery applications is then decomposing a mixed pixel into a collection of reflectance spectra, called endmember signatures, and the corresponding abundance fractions [8–10]. Depending on the mixing scales at each pixel, the observed mixture is either linear or nonlinear [11, 12]. Linear mixing model holds approximately when the mixing scale is macroscopic [13] and there is negligible interaction among distinct endmembers [3, 14]. If, however, the mixing scale is microscopic (or intimate mixtures) [15, 16] and the incident solar radiation is scattered by the scene through multiple bounces involving several endmembers [17], the linear model is no longer accurate. Linear spectral unmixing has been intensively researched in the last years [9, 10, 12, 18–21]. It considers that a mixed pixel is a linear combination of endmember signatures weighted by the correspondent abundance fractions. Under this model, and assuming that the number of substances and their reflectance spectra are known, hyperspectral unmixing is a linear problem for which many solutions have been proposed (e.g., maximum likelihood estimation [8], spectral signature matching [22], spectral angle mapper [23], subspace projection methods [24,25], and constrained least squares [26]). In most cases, the number of substances and their reflectances are not known and, then, hyperspectral unmixing falls into the class of blind source separation problems [27]. Independent component analysis (ICA) has recently been proposed as a tool to blindly unmix hyperspectral data [28–31]. ICA is based on the assumption of mutually independent sources (abundance fractions), which is not the case of hyperspectral data, since the sum of abundance fractions is constant, implying statistical dependence among them. This dependence compromises ICA applicability to hyperspectral images as shown in Refs. [21, 32]. In fact, ICA finds the endmember signatures by multiplying the spectral vectors with an unmixing matrix, which minimizes the mutual information among sources. If sources are independent, ICA provides the correct unmixing, since the minimum of the mutual information is obtained only when sources are independent. This is no longer true for dependent abundance fractions. Nevertheless, some endmembers may be approximately unmixed. These aspects are addressed in Ref. [33]. Under the linear mixing model, the observations from a scene are in a simplex whose vertices correspond to the endmembers. Several approaches [34–36] have exploited this geometric feature of hyperspectral mixtures [35]. Minimum volume transform (MVT) algorithm [36] determines the simplex of minimum volume containing the data. The method presented in Ref. [37] is also of MVT type but, by introducing the notion of bundles, it takes into account the endmember variability usually present in hyperspectral mixtures. The MVT type approaches are complex from the computational point of view. Usually, these algorithms find in the first place the convex hull defined by the observed data and then fit a minimum volume simplex to it. For example, the gift wrapping algorithm [38] computes the convex hull of n data points in a d-dimensional space with a computational complexity of O(nbd=2cþ1), where bxc is the highest integer lower or equal than x and n is the number of samples. The complexity of the method presented in Ref. [37] is even higher, since the temperature of the simulated annealing algorithm used shall follow a log( ) law [39] to assure convergence (in probability) to the desired solution. Aiming at a lower computational complexity, some algorithms such as the pixel purity index (PPI) [35] and the N-FINDR [40] still find the minimum volume simplex containing the data cloud, but they assume the presence of at least one pure pixel of each endmember in the data. This is a strong requisite that may not hold in some data sets. In any case, these algorithms find the set of most pure pixels in the data. PPI algorithm uses the minimum noise fraction (MNF) [41] as a preprocessing step to reduce dimensionality and to improve the signal-to-noise ratio (SNR). The algorithm then projects every spectral vector onto skewers (large number of random vectors) [35, 42,43]. The points corresponding to extremes, for each skewer direction, are stored. A cumulative account records the number of times each pixel (i.e., a given spectral vector) is found to be an extreme. The pixels with the highest scores are the purest ones. N-FINDR algorithm [40] is based on the fact that in p spectral dimensions, the p-volume defined by a simplex formed by the purest pixels is larger than any other volume defined by any other combination of pixels. This algorithm finds the set of pixels defining the largest volume by inflating a simplex inside the data. ORA SIS [44, 45] is a hyperspectral framework developed by the U.S. Naval Research Laboratory consisting of several algorithms organized in six modules: exemplar selector, adaptative learner, demixer, knowledge base or spectral library, and spatial postrocessor. The first step consists in flat-fielding the spectra. Next, the exemplar selection module is used to select spectral vectors that best represent the smaller convex cone containing the data. The other pixels are rejected when the spectral angle distance (SAD) is less than a given thresh old. The procedure finds the basis for a subspace of a lower dimension using a modified Gram–Schmidt orthogonalizati on. The selected vectors are then projected onto this subspace and a simplex is found by an MV T pro cess. ORA SIS is oriented to real-time target detection from uncrewed air vehicles using hyperspectral data [46]. In this chapter we develop a new algorithm to unmix linear mixtures of endmember spectra. First, the algorithm determines the number of endmembers and the signal subspace using a newly developed concept [47, 48]. Second, the algorithm extracts the most pure pixels present in the data. Unlike other methods, this algorithm is completely automatic and unsupervised. To estimate the number of endmembers and the signal subspace in hyperspectral linear mixtures, the proposed scheme begins by estimating sign al and noise correlation matrices. The latter is based on multiple regression theory. The signal subspace is then identified by selectin g the set of signal eigenvalue s that best represents the data, in the least-square sense [48,49 ], we note, however, that VCA works with projected and with unprojected data. The extraction of the end members exploits two facts: (1) the endmembers are the vertices of a simplex and (2) the affine transformation of a simplex is also a simplex. As PPI and N-FIND R algorithms, VCA also assumes the presence of pure pixels in the data. The algorithm iteratively projects data on to a direction orthogonal to the subspace spanned by the endmembers already determined. The new end member signature corresponds to the extreme of the projection. The algorithm iterates until all end members are exhausted. VCA performs much better than PPI and better than or comparable to N-FI NDR; yet it has a computational complexity between on e and two orders of magnitude lower than N-FINDR. The chapter is structure d as follows. Section 19.2 describes the fundamentals of the proposed method. Section 19.3 and Section 19.4 evaluate the proposed algorithm using simulated and real data, respectively. Section 19.5 presents some concluding remarks.

Terapêuticas antigénio-especificas no tratamento das doenças desmielinizantes: estudos sobre a vacinação com ADN e a descoberta de um novo alvo antigénico

RESUMO A Esclerose Múltipla (EM) é uma doença desmielinizante crónica do Sistema Nervoso Central (SNC), provocada, em grande parte, por um ataque imuno-mediado contra diversos elementos da bainha de mielina. Dentro dos alvos antigénicos desta resposta autoimune, vários componentes proteicos e lipídicos da mielina têm vindo a ser identificados ao longo dos anos, entre os quais se destacam a proteína básica de mielina(MBP), glicoproteína ligodendrocitária da mielina (MOG), proteína proteolipídica (PLP) e glicoproteína associada à mielina (MAG). Com o desenvolvimento do modelo animal de Encefalomielite Autoimune Experimental (EAE), diversas terapias antigénio-específicas foram desenhadas, baseadas na modificação benéfica da resposta autoimune contra a mielina, tais como a administração de mielina ou seus componentes, os copolímeros terapêuticos, os ligandos peptídeos alterados e, recentemente, a vacinação com ácido desoxirribonucleico (ADN) codificador de proteínas de mielina, integrado em plasmídeos e purificado para administração parentérica. Neste trabalho, apresentamos os resultados de um extenso conjunto de experiências, subordinadas a dois temas fundamentais: 1) avaliação do potencial terapêutico, e dos mecanismos de acção, da vacinação tolerizadora com ADN codificador de proteínas de mielina (MBP, MOG, PLP, MAG) na EAE, e da associação desta vacinação com a administração de ADN de citocinas Th2, ou de oligonucleótidos imunomoduladores; 2) identificação e caracterização da resposta imune contra um novo componente da mielina com potencial antigénico, a proteína inibidora do recrescimento axonal, Nogo-A. No que respeita à vacinação com ADN, os nossos resultados comprovam a eficácia desta terapêutica antigénio-específica na prevenção e tratamento da EAE. Os seus mecanismos de acção incluem, entre outros, a supressão anérgica da proliferação antigénioespecífica dos linfócitos T anti-mielina (no modo de prevenção da doença), o enviesamento Th2 da resposta imune (quando co-administrada com a vacina de ADN codificadora da citocina IL-4, funcionando como terapia génica local), e a redução da diversificação de epítopos da resposta humoral anti-mielina, avaliada através de myelin spotted arrays. A associação das vacinas de ADN com oligonucleótidos imunomoduladores GpG, desenvolvidos para contrariar as sequências CpG imunoestimuladoras presentes no vector de vacinação, levou à melhoria da sua eficácia terapêutica, devida, provavelmente, ao efeito estimulador preferencial dos oligonucleótidos GpG sobre linfócitos Th2 e sobre células reguladoras NK-T. Com base nestes resultados a vacinação com ADN foi desenvolvida para o tratamento da EM em humanos, com ensaios clínicos a decorrerem neste momento. Em relação à proteína Nogo-A, estudos de estrutura primária e de previsão de antigenicidade identificaram a região Nogo-66 como alvo antigénico potencial para a EAE. Nas estirpes de ratinho SJL/J e C57BL/6, fomos capazes de induzir sinais clínicos e histológicos de EAE após imunização com os epítopos encefalitogénicos Nogo1-22, Nogo23- 44 e Nogo45-66, utilizando protocolos de quebra de tolerância imune. Ao mesmo tempo, identificámos e caracterizámos uma resposta linfocitária T específica contra os antigénios contidos na região Nogo-66, e uma resposta linfocitária B com diversificação intra e intermolecular a vários determinantes presentes noutras proteínas da mielina. A transferência adoptiva de linhas celulares Th2 anti-Nogo45-66, levou à melhoria clínica e histológica da EAE em animais recipientes induzidos com outros antigénios de mielina, após migração destas células para o SNC. Estes dados comprovam a importância da Nogo-66 como antigénio na EAE, e a eficácia de terapias antigénio-específicas nela baseadas. No seu conjunto, os nossos resultados confirmam o potencial terapêutico das vacinas de ADN codificadoras de proteínas de mielina, bem como a importância dos encefalitogénios contidos na proteína Nogo-A para a fisiopatologia da EAE e da EM, com eventual relevância para o desenvolvimento de novas terapias antigénio-específicas. O aperfeiçoamento futuro destas terapias poderá levar, eventualmente, a uma capacidade de manipulação da resposta imune que permita o tratamento eficaz das doenças inflamatórias desmielinizantes, como a Esclerose Múltipla. ABSTRACT Multiple Sclerosis (MS) is a chronic demyelinating disease of the Central Nervous System (CNS), caused, mainly, by an immune-mediated attack against several elements of the myelin sheath. Among the antigenic targets for this autoimmune response, several proteic and lipidic myelin components have been identified throughout the years, of which myelin basic protein (MBP), myelin oligodendrocyte glycoprotein (MOG), proteolipidic protein (PLP), and myelin associated glycoprotein (MAG) are the best characterized. With the development of the animal model for MS, Experimental Autoimmune Encephalomyelitis (EAE), several antigen-specific therapies have been designed, based on beneficial modifications of the autoimmune response against myelin. These have included myelin and myelin component administration, therapeutic copolymers, altered peptide ligands and, more recently, vaccination with myelin-protein encoding deoxyribonucleic acid (DNA), integrated into plasmids and purified for parenteral administration. In this work we present the results of an extensive series of experiments, subordinate to two fundamental areas: 1) evaluating the therapeutic potential, and mechanisms of action, of tolerizing myelin protein (MBP, MOG, PLP, MAG) DNA vaccination in EAE, alone and in association with Th2 cytokine DNA administration, or immunomodulatory oligonucleotides; 2) identifying and characterizing the immuneresponse against a new myelin component with antigenic potential, the axonal regrowth inhibitor Nogo-A. Regarding DNA vaccination, our results prove the efficacy of this antigen-specific therapy for the prevention and treatment of EAE. Its mechanisms of action include, among others, anergic suppression of antigen-specific T-cell proliferation against myelin (in prevention mode), Th2 biasing of the immune response (when co-administered with the IL- 4 codifying DNA vaccine, acting as local gene therapy), and reduction of epitope spreading of the anti-myelin antibody response, assessed by myelin spotted arrays. The combination of myelin DNA vaccination with the administration of GpG immunomodulatory oligonucleotides, designed to counteract immunostimulatory CpG motifs present in the vaccination vector, led to an improvement in therapeutic efficacy, probably due to the preferential stimulatory effect of GpG oligonucleotides on Th2 lymphocytes and on regulatory NK-T cells. Based on these results, tolerizing DNA vaccination is being developed for human use, with ongoing clinical trials. As concerns the Nogo-A protein, based on studies of primary structure and prediction of antigenicity, we identified the Nogo-66 region (responsible for the most of the inhibitory capacity of this protein) as a potential antigenic target for EAE. In the SJL/Jand C57BL/6 mouse strains, we were able to induce clinical and histological signs of EAE,after immunization with the encefalitogenic epitopes Nogo1-22, Nogo23-44 and Nogo45-66,using a tolerance breakdown protocol. Concomitantly, we identified and characterized a specific T cell response against these antigens, together with a B cell response which showed extensive intra and intermolecular epitope spread to several determinants present in other myelin proteins. Adoptive transfer of nti-Nogo45-66 Th2 cell lines resulted in clinical and histological improvement of EAE in recipient animals induced with other myelin antigens, after intraparenchymal CNS migration of anti-Nogo cells. These data confirm the relevance of Nogo-66 as an antigen in EAE, as well as the efficacy of antigenspecific therapies based on the response against this protein.In conclusion, our results substantiate the therapeutic potential of myelin-encoding DNA vaccination, as well as the importance of encefalitogenic epitopes present in the Nogo-A protein for the pathophysiology of EAE and MS, with potential relevance for the creation of new antigen specific-therapies. The future development of these therapies may eventually lead to a degree of manipulation of the immune response that allows the effective treatment of autoimmune, inflammatory, demyelinating diseases, such as Multiple Sclerosis.

Flucytosine + fluconazole association in the treatment of a murine experimental model of cryptococcosis

The efficacy of flucytosine (5-FC) and fluconazole (FLU) association in the treatment of a murine experimental model of cryptococcosis, was evaluated. Seven groups of 10 Balb C mice each, were intraperitoneally inoculated with 10(7) cells of Cryptococcus neoformans. Six groups were allocated to receive 5-FC (300 mg/kg) and FLU (16 mg/ kg), either combined and individually, by daily gavage beginning 5 days after the infection, for 2 and 4 weeks. One group received distilled water and was used as control. The evaluation of treatments was based on: survival time; macroscopic examination of brain, lungs, liver and spleen at autopsy; presence of capsulated yeasts in microscopic examination of wet preparations of these organs and cultures of brain homogenate. 5-FC and FLU, individually or combined, significantly prolonged the survival time of the treated animals with respect to the control group (p<0.01). Animals treated for 4 weeks survived significantly longer than those treated for 2 weeks (p<0.01). No significant differences between the animals treated with 5-FC and FLU combined or separately were observed in the survival time and morphological parameters. The association of 5-FC and FLU does not seem to be more effective than 5-FC or FLU alone, in the treatment of this experimental model of cryptococcosis.

Iberian peninsula ecosystem carbon fluxes: a model-data integration study

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia do Ambiente pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

An integer programming model for the minimum interval graph completion problem

The minimum interval graph completion problem consists of, given a graph G = ( V, E ), finding a supergraph H = ( V, E ∪ F ) that is an interval graph, while adding the least number of edges |F| . We present an integer programming formulation for solving the minimum interval graph completion problem recurring to a characteri- zation of interval graphs that produces a linear ordering of the maximal cliques of the solution graph.

A mathematical model for supermarket order picking

Order picking consists in retrieving products from storage locations to satisfy independent orders from multiple customers. It is generally recognized as one of the most significant activities in a warehouse (Koster et al, 2007). In fact, order picking accounts up to 50% (Frazelle, 2001) or even 80% (Van den Berg, 1999) of the total warehouse operating costs. The critical issue in today’s business environment is to simultaneously reduce the cost and increase the speed of order picking. In this paper, we address the order picking process in one of the Portuguese largest companies in the grocery business. This problem was proposed at the 92nd European Study Group with Industry (ESGI92). In this setting, each operator steers a trolley on the shop floor in order to select items for multiple customers. The objective is to improve their grocery e-commerce and bring it up to the level of the best international practices. In particular, the company wants to improve the routing tasks in order to decrease distances. For this purpose, a mathematical model for a faster open shop picking was developed. In this paper, we describe the problem, our proposed solution as well as some preliminary results and conclusions.

Scheduling aircraft’s engines repair process: a mathematical model

In this talk, we discuss a scheduling problem that originated at TAP - Maintenance & Engineering - the maintenance, repair and overhaul organization of Portugal’s leading airline. In the repair process of aircrafts’ engines, the operations to be scheduled may be executed on a certain workstation by any processor of a given set, and the objective is to minimize the total weighted tardiness. A mixed integer linear programming formulation, based on the flexible job shop scheduling, is presented here, along with computational experiment on a real instance, provided by TAP-ME, from a regular working week. The model was also tested using benchmarking instances available in literature.

A new model for EEZ surveillance and management in Portugal

Management Information Systems 2000, p. 103-111

Cost Allocation Model for Distribution Networks Considering High Penetration of Distributed Energy Resources

The high penetration of distributed energy resources (DER) in distribution networks and the competitiveenvironment of electricity markets impose the use of new approaches in several domains. The networkcost allocation, traditionally used in transmission networks, should be adapted and used in the distribu-tion networks considering the specifications of the connected resources. The main goal is to develop afairer methodology trying to distribute the distribution network use costs to all players which are usingthe network in each period. In this paper, a model considering different type of costs (fixed, losses, andcongestion costs) is proposed comprising the use of a large set of DER, namely distributed generation(DG), demand response (DR) of direct load control type, energy storage systems (ESS), and electric vehi-cles with capability of discharging energy to the network, which is known as vehicle-to-grid (V2G). Theproposed model includes three distinct phases of operation. The first phase of the model consists in aneconomic dispatch based on an AC optimal power flow (AC-OPF); in the second phase Kirschen’s andBialek’s tracing algorithms are used and compared to evaluate the impact of each resource in the net-work. Finally, the MW-mile method is used in the third phase of the proposed model. A distributionnetwork of 33 buses with large penetration of DER is used to illustrate the application of the proposedmodel.

Using perspective schema and a reference model to design the ETL process

Dissertação apresentada para a obtenção do Grau de Doutor em Informática

Building information model - avaliação do seu potencial como solução para os principais atrasos e desperdícios na construção portuguesa

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Civil – perfil de Construção