953 resultados para component isolation, system call interpositioning, hardware virtualization, application isolation


Relevância:

100.00% 100.00%

Publicador:

Resumo:

O presente relatório de Dissertação surge no âmbito da unidade curricular Dissertação/Projeto/Estágio do 2º ano do Mestrado em Engenharia Mecânica – Ramo Gestão Industrial do Instituto Superior de Engenharia do Porto. O objetivo principal do projeto foi a aplicação das metodologias Kaizen-Lean no departamento de logística do Hospital Geral de Santo António, tendo em vista a melhoria contínua nestas duas áreas distintas: - gestão do produto farmacêutico, desde que é identificada a sua necessidade no armazém central até à reposição pelo fornecedor e respetiva distribuição e entrega nos serviços clínicos utilizadores. Aqui estão também incluídos os processos de negociação e encomenda. - gestão do serviço de transportes incluindo os transportes de doentes, produtos e profissionais de saúde. Este projeto surgiu no seguimento de projetos anteriores desenvolvidos pelo Kaizen Institute Portugal, empresa de consultoria de melhoria contínua, no Centro Hospitalar do Porto – Hospital Geral de Santo António. Durante o trabalho recorreu-se à aplicação de ferramentas Kaizen Lean nomeadamente metodologias e ferramentas associadas ao TFM – Total Flow Management e ao TSM – Total Service Management, ferramentas estas integradas no Kaizen Management System. De salientar também a aplicação do Kaizen Change Management, com uma componente muito forte de aplicação do Kaizen Diário. O resultado final da aplicação destas ferramentas resultou na concretização dos objectivos traçados que foram propostos. Tais como o desenvolvimento de uma cultura de melhoria contínua nas equipas de trabalho, organização dos postos de trabalho e redução dos stocks nos produtos farmacêuticos do Armazém de Produtos Farmacêuticos (APF).

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Modeling Extract-Transform-Load (ETL) processes of a Data Warehousing System has always been a challenge. The heterogeneity of the sources, the quality of the data obtained and the conciliation process are some of the issues that must be addressed in the design phase of this critical component. Commercial ETL tools often provide proprietary diagrammatic components and modeling languages that are not standard, thus not providing the ideal separation between a modeling platform and an execution platform. This separation in conjunction with the use of standard notations and languages is critical in a system that tends to evolve through time and which cannot be undermined by a normally expensive tool that becomes an unsatisfactory component. In this paper we demonstrate the application of Relational Algebra as a modeling language of an ETL system as an effort to standardize operations and provide a basis for uncommon ETL execution platforms.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The following article describes an approach covering the variety of opinions and uncertainties of estimates within the chosen technique of decision support. Mathematical operations used for assessment of options are traced to operations of working with functions that are used for assessment of possible options of decision-making. Approach proposed could be used within any technique of decision support based on elementary mathematical operations. In this article the above-mentioned approach is described under analytical hierarchy process.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Aeromonas hydrophila és un bacil gram-negatiu, patogen oportunista d’animal i humans. La patogènesi d’A. Hydrophila és multifactorial. A fi d'identificar gens implicats en la virulència de la soca PPD134/91 d’A. hydrophila, vam realitzar experiments de substracció gènica, que van dur a la detecció de 22 fragments d’ADN que codificaven 19 potencials factors de virulencia, incloent un gen que codificava una proteïna de sistema de secreció de tipus III (T3SS). La importància creixent del T3SS en la patogènesi de diversos bacteris, ens va dur a identificar i analitzar l'agrupació gènica del T3SS de les soques AH-1 i AH-3 d’A. hydrophila. La inactivació dels gens de T3SS aopB i aopD d’A. hydrophila AH-1, i ascV d’A. hydrophila AH-3, comporta una disminució de la citotoxicitat, un increment de la fagocitosi, i una reducció de la virulència en diferents models animals. Aquests resultats demostren que el T3SS és necessari per a la patogenicitat. També vam clonar i seqüenciar una ADP-ribosiltransferasa (AexT) a la soca AH-3 d’A. hydrophila, i vam demostrar que aquesta toxina és translocada via el T3SS, sistema que al seu torn sembla ser induïble in vitro en condicions de depleció de calci. El mutant en el gen aexT de la soca AH-3 d’A. hydrophila va mostrar una lleugera reducció de la virulència, assajada amb diferents mètodes. Mitjançant l'ús de diferents sondes d’ADN, vam determinar la presència del T3SS en soques tant clíniques com ambientals de diferents espècies del gènere Aeromonas: A. hydrophila, A. veronii, i A. caviae, i la codistribució d'aquesta agrupació gènica i el gen aexT. Finalment, amb la finalitat d'estudiar la regulació transcripcional de l'agrupació gènica de T3SS i de l’efector AexT A. hydrophila AH-3, vam aïllar els promotors predits per l’operó aopN-aopD i el gen aexT, i els vam fusionar amb el gen reporter gfp (Green Fluorescence Protein). A més, vam demostrar que l'expressió d'ambdós promotors depèn de diferents components bacterians, com per exemple el sistema de dos components PhoP/PhoQ, el sistema de quorum sensing AhyI/AhyR, o el complex piruvat deshidrogenasa.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

En aquest estudi es pretenia assolir la pràctica d'un sistema que només s'ha plantejat teòricament, doncs l'experiència acumulada, ja abans de la reforma orgànica de 2003, parteix de la figura dels serveis comuns, amb un criteri d'eficiència, racionalitat i economia per invertir en l'Administració de justícia catalana. Assumir i donar resposta jurídica concreta a tots els reptes tècnics pot fer-se des d'una perspectiva dogmàtica, tot i que el temps transcorregut també permet advertir exigències pràctiques a l'àmbit de la dogmàtica processal, el context socio-cultural i, naturalment, les necessitats laborals. En aquest sentit, els objectius s'introdueixen cap a la garantia d'un apropament material, conceptual i quotidià de l'Administració de justícia al ciutadà, establert com a eix inextricable del sistema, tenint present la de vegades despesa incomprensible en una realitat històricament menystinguda i deficitària, malgrat l'esforç pressupostari fet els darrers anys que, malgrat tot, no ha evitat discordances greus per manca de racionalitat i eficiència en el consum diari dels operadors implicats. Es pretén aconseguir, per mitjà del nou sistema d'oficina judicial estructurat, un avenç efectiu i econòmic a l'estat de la Justícia al país, especialment envers la dilació dels tràmits, a més de reclamar reformes legals, de caire processal especialment, que no es prestin a mers paràmetres d'ajust formal, sinó que incideix substantivament en millores per altre part reclamades fa temps per la doctrina científica. S'han aconseguit les fites definides des del punt de vista teòric, així com s'ha afrontat tots el problemes conceptuals i hipòtesis pràctiques més significatives, establint pautes de resposta sota la prèvia determinació de les qüestions debatudes i els conflictes habituals que correspon enfrontar. D'aquesta manera, s'ha estudiat la normativa en presència i la jurisprudència que hi dona actualitat pràctica, sense oblidar la doctrina d'autors. S'ha repassat el funcionament existent a l'oficina judicial i les previsions de la mateixa en un futur immediat, remarcant les noves tecnologies en ús i projectades, de igual manera que les bondats i crítiques de tots els operador jurídics actuants.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Computer chips implementation technologies evolving to obtain more performance are increasing the probability of transient faults. As this probability grows and on-chip solutions are expensive or tend to degrade processor performance, the efforts to deal with these transient faults in higher levels (such as the operating system or even at the application level) are increasing. Mostly, these efforts are trying to avoid silent data corruptions using hardware, software and hybrid based techniques to add redundancy to detect the errors generated by the transient faults. This work presents our proposal to improve the robustness of applications with source code based transformation adding redundancy. Also, our proposal takes account of the tradeoff between the improved robustness and the overhead generated by the added redundancy.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Schistosoma mansoni adult worms with genital anomalies isolated from Nectomys squamipes (Muridae: Sigmodontinae) were studied by confocal laser scanning microscopy under the reflected mode. One male without testicular lobes (testicular agenesia/anorchism) and two females, one with an atrophied ovary and another with 17 uterine eggs, were identified. The absence of testicular lobes occurred in a worm presenting otherwise normal male adult characteristics: tegument, tubercles and a gynaecophoric canal with spines. In both female specimens the digestive tube showed a vacuolated appearance, and the specimen with supernumerary uterine eggs exhibited a developing miracidium and an egg with a formed shell. The area of the ventral sucker was similar in both specimens however the tegument thickness, ovary and vitelline glands of the specimen with the atrophied ovary were smaller than those of the one with supernumerary eggs. These reported anomalies in the reproductive system call attention to the need to improve our understanding of genetic regulation and the possible role of environmental influences upon trematode development.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the context of the CompMusic project we are developing methods to automatically describe/annotate audio music recordings pertaining to various music cultures. As away to demonstrate the usefulness of the methods we are also developing a system to browse and interact with specific audio collections. The system is an online web application that interfaces with all the data gathered (audio, scores plus contextual information) and all the descriptions that are automatically generated with the developed methods. In this paper we present the basic architecture of the proposed system, the types of data sources that it includes,and we mention some of the culture specific issues that we are working on for its development. The system is in a preliminary stage but it shows the potential that MIR technologies can have in browsing and interacting with musiccollections of various cultures.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Thesis gives a decision support framework that has significant impact on the economic performance and viability of a hydropower company. The studyaddresses the short-term hydropower planning problem in the Nordic deregulated electricity market. The basics of the Nordic electricity market, trading mechanisms, hydropower system characteristics and production planning are presented in the Thesis. The related modelling theory and optimization methods are covered aswell. The Thesis provides a mixed integer linear programming model applied in asuccessive linearization method for optimal bidding and scheduling decisions inthe hydropower system operation within short-term horizon. A scenario based deterministic approach is exploited for modelling uncertainty in market price and inflow. The Thesis proposes a calibration framework to examine the physical accuracy and economic optimality of the decisions suggested by the model. A calibration example is provided with data from a real hydropower system using a commercial modelling application with the mixed integer linear programming solver CPLEX.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Les bactéries du genre Pseudomonas ont la capacité étonnante de s'adapter à différents habitats et d'y survivre, ce qui leur a permis de conquérir un large éventail de niches écologiques et d'interagir avec différents organismes hôte. Les espèces du groupe Pseudomonas fluorescens peuvent être facilement isolées de la rhizosphère et sont communément connues comme des Pseudomonas bénéfiques pour les plantes. Elles sont capables d'induire la résistance systémique des plantes, d'induire leur croissance et de contrer des phytopathogènes du sol. Un sous-groupe de ces Pseudomonas a de plus développé la capacité d'infecter et de tuer certaines espèces d'insectes. Approfondir les connaissances sur l'interaction de ces bactéries avec les insectes pourraient conduire au développement de nouveaux biopesticides pour la protection des cultures. Le but de cette thèse est donc de mieux comprendre la base moléculaire, l'évolution et la régulation de la pathogénicité des Pseudomonas plante-bénéfiques envers les insectes. Plus spécifiquement, ce travail a été orienté sur l'étude de la production de la toxine insecticide appelée Fit et sur l'indentification d'autres facteurs de virulence participant à la toxicité de la bactérie envers les insectes. Dans la première partie de ce travail, la régulation de la production de la toxine Fit a été évaluée par microscopie à épifluorescence en utilisant des souches rapportrices de Pseudomonas protegens CHA0 qui expriment la toxine insecticide fusionnée à une protéine fluorescente rouge, au site natif du gène de la toxine. Celle-ci a été détectée uniquement dans l'hémolymphe des insectes et pas sur les racines des plantes, ni dans les milieux de laboratoire standards, indiquant une production dépendante de l'hôte. L'activation de la production de la toxine est contrôlée par trois protéines régulatrices dont l'histidine kinase FitF, essentielle pour un contrôle précis de l'expression et possédant un domaine "senseur" similaire à celui de la kinase DctB qui régule l'absorption de carbone chez les Protéobactéries. Il est donc probable que, durant l'évolution de FitF, un réarrangement de ce domaine "senseur" largement répandu ait contribué à une production hôte-spécifique de la toxine. Les résultats de cette étude suggèrent aussi que l'expression de la toxine Fit est plutôt réprimée en présence de composés dérivés des plantes qu'induite par la perception d'un signal d'insecte spécifique. Dans la deuxième partie de ce travail, des souches mutantes ciblant des facteurs de virulence importants identifiés dans des pathogènes connus ont été générées, dans le but d'identifier ceux avec une virulence envers les insectes atténuée. Les résultats ont suggéré que l'antigène O du lipopolysaccharide (LPS) et le système régulateur à deux composantes PhoP/PhoQ contribuent significativement à la virulence de P. protegens CHA0. La base génétique de la biosynthèse de l'antigène O dans les Pseudomonas plante-bénéfiques et avec une activité insecticide a été élucidée et a révélé des différences considérables entre les lignées suite à des pertes de gènes ou des acquisitions de gènes par transfert horizontal durant l'évolution de certaines souches. Les chaînes latérales du LPS ont été montrées comme vitales pour une infection des insectes réussie par la souche CHA0, après ingestion ou injection. Les Pseudomonas plante-bénéfiques, avec une activité insecticide sont naturellement résistants à la polymyxine B, un peptide antimicrobien modèle. La protection contre ce composé antimicrobien particulier dépend de la présence de l'antigène O et de la modification du lipide A, une partie du LPS, avec du 4-aminoarabinose. Comme les peptides antimicrobiens cationiques jouent un rôle important dans le système immunitaire des insectes, l'antigène O pourrait être important chez les Pseudomonas insecticides pour surmonter les mécanismes de défense de l'hôte. Le système PhoP/PhoQ, connu pour contrôler les modifications du lipide A chez plusieurs bactéries pathogènes, a été identifié chez Pseudomonas chlororaphis PCL1391 et P. protegens CHA0. Pour l'instant, il n'y a pas d'évidence que des modifications du lipide A contribuent à la pathogénicité de cette bactérie envers les insectes. Cependant, le senseur-kinase PhoQ est requis pour une virulence optimale de la souche CHA0, ce qui suggère qu'il régule aussi l'expression des facteurs de virulence de cette bactérie. Les découvertes de cette thèse démontrent que certains Pseudomonas associés aux plantes sont de véritables pathogènes d'insectes et donnent quelques indices sur l'évolution de ces microbes pour survivre dans l'insecte-hôte et éventuellement le tuer. Les résultats suggèrent également qu'une recherche plus approfondie est nécessaire pour comprendre comment ces bactéries sont capables de contourner ou surmonter la réponse immunitaire de l'hôte et de briser les barrières physiques pour envahir l'insecte lors d'une infection orale. Pour cela, les futures études ne devraient pas uniquement se concentrer sur le côté bactérien de l'interaction hôte-microbe, mais aussi étudier l'infection du point de vue de l'hôte. Les connaissances gagnées sur la pathogénicité envers les insectes des Pseudomonas plante-bénéfiques donnent un espoir pour une future application en agriculture, pour protéger les plantes, non seulement contre les maladies, mais aussi contre les insectes ravageurs. -- Pseudomonas bacteria have the astonishing ability to survive within and adapt to different habitats, which has allowed them to conquer a wide range of ecological niches and to interact with different host organisms. Species of the Pseudomonas fluorescens group can readily be isolated from plant roots and are commonly known as plant-beneficial pseudomonads. They are capable of promoting plant growth, inducing systemic resistance in the plant host and antagonizing soil-borne phytopathogens. A defined subgroup of these pseudomonads evolved in addition the ability to infect and kill certain insect species. Profound knowledge about the interaction of these particular bacteria with insects could lead to the development of novel biopesticides for crop protection. This thesis thus aimed at a better understanding of the molecular basis, evolution and regulation of insect pathogenicity in plant-beneficial pseudomonads. More specifically, it was outlined to investigate the production of an insecticidal toxin termed Fit and to identify additional factors contributing to the entomopathogenicity of the bacteria. In the first part of this work, the regulation of Fit toxin production was probed by epifluorescence microscopy using reporter strains of Pseudomonas protegens CHAO that express a fusion between the insecticidal toxin and a red fluorescent protein in place of the native toxin gene. The bacterium was found to express its insecticidal toxin only in insect hemolymph but not on plant roots or in common laboratory media. The host-dependent activation of Fit toxin production is controlled by three local regulatory proteins. The histidine kinase of this regulatory system, FitF, is essential for the tight control of toxin expression and shares a sensing domain with DctB, a sensor kinase regulating carbon uptake in Proteobacteria. It is therefore likely that shuffling of a ubiquitous sensor domain during the evolution of FitF contributed to host- specific production of the Fit toxin. Findings of this study additionally suggest that host-specific expression of the Fit toxin is mainly achieved by repression in the presence of plant-derived compounds rather than by induction upon perceiving an insect-specific signal molecule. In the second part of this thesis, mutant strains were generated that lack factors previously shown to be important for virulence in prominent pathogens. A screening for attenuation in insect virulence suggested that lipopolysaccharide (LPS) O-antigen and the PhoP-PhoQ two-component regulatory system significantly contribute to virulence of P. protegens CHAO. The genetic basis of O-antigen biosynthesis in plant-beneficial pseudomonads displaying insect pathogenicity was elucidated and revealed extensive differences between lineages due to reduction and horizontal acquisition of gene clusters during the evolution of several strains. Specific 0 side chains of LPS were found to be vital for strain CHAO to successfully infect insects by ingestion or upon injection. Insecticidal pseudomonads with plant-beneficial properties were observed to be naturally resistant to polymyxin B, a model antimicrobial peptide. Protection against this particular antimicrobial compound was dependent on the presence of O-antigen and modification of the lipid A portion of LPS with 4-aminoarabinose. Since cationic antimicrobial peptides play a major role in the immune system of insects, O-antigenic polysaccharides could be important for insecticidal pseudomonads to overcome host defense mechanisms. The PhoP-PhoQ system, which is well-known to control lipid A modifications in several pathogenic bacteria, was identified in Pseudomonas chlororaphis PCL1391 and P. protegens CHAO. No evidence was found so far that lipid A modifications contribute to insect pathogenicity in this bacterium. However, the sensor kinase PhoQ was required for full virulence of strain CHAO suggesting that it additionally regulates the expression of virulence factors in this bacterium. The findings of this thesis demonstrate that certain plant-associated pseudomonads are true insect pathogens and give some insights into how these microbes evolved to survive within and eventually kill the insect host. Results however also point out that more in-depth research is needed to know how exactly these fascinating bacteria manage to bypass or overcome host immune responses and to breach physical barriers to invade insects upon oral infection. To achieve this, future studies should not only focus on the bacterial side of the microbe-host interactions but also investigate the infection from a host-oriented view. The knowledge gained about the entomopathogenicity of plant-beneficial pseudomonads gives hope for their future application in agriculture to protect plants not only against plant diseases but also against insect pests.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this paper we discuss our research in developing general and systematic method for anomaly detection. The key ideas are to represent normal program behaviour using system call frequencies and to incorporate probabilistic techniques for classification to detect anomalies and intrusions. Using experiments on the sendmail system call data, we demonstrate that we can construct concise and accurate classifiers to detect anomalies. We provide an overview of the approach that we have implemented

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Manufacturing has evolved to become a critical element of the competitive skill set of defense aerospace firms. Given the changes in the acquisition environment and culture; traditional “thrown over the wall” means of developing and manufacturing products are insufficient. Also, manufacturing systems are complex systems that need to be carefully designed in a holistic manner and there are shortcomings with available tools and methods to assist in the design of these systems. This paper outlines the generation and validation of a framework to guide this manufacturing system design process.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Manufacturing has evolved to become a critical element of the competitive skill set of defense aerospace firms. Given the changes in the acquisition environment and culture; traditional “thrown over the wall” means of developing and manufacturing products are insufficient. Also, manufacturing systems are complex systems that need to be carefully designed in a holistic manner and there are shortcomings with available tools and methods to assist in the design of these systems. This paper outlines the generation and validation of a framework to guide this manufacturing system design process.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Despite their surprising similarities – in size and their housing booms – Ireland and the American state of Nevada sharply parted company when it came to who bore responsibility for bailing out their failed banks when the booms turned to bust. This latest Commentary by Daniel Gros vividly illustrates the importance of that difference and thus the shock-absorbing capacity of an integrated banking system and a banking union.