To see the other types of publications on this topic, follow the link: MFA Systems.

Dissertations / Theses on the topic 'MFA Systems'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'MFA Systems.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Cuevas, Santamaría Sergio Axel. "My MFA Experience." The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu1524073680662621.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sundqvist, Nicolas. "Can you trust your model? A showcase study of validation in 13C metabolic flux analysis." Thesis, Linköpings universitet, Institutionen för medicinsk teknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-156328.

Full text
Abstract:
Cellular metabolism is one of the most fundamental systems for any living organisms, involving thousands of metabolites and reactions that forms large interconnected metabolic networks. Proper and comprehensive understanding of the metabolism in human cells has been a field of research for a long time. One of the key parameters in understanding the metabolism are the metabolic fluxes, which are the rates of conversion of metabolic intermediates. Currently, one of the main approaches for determining these fluxes is metabolic flux analysis (MFA), in which isotope-labelled compounds are introduced into the system and measured. Mathematical models are then used to calculate a prediction of the systems flux configuration. However, the current paradigm of MFA lack established methods for validating that a model can accurately predict quantities for which there are no experimental data. In this study, a model for the central human metabolism was created and evaluated with regards to the model’s ability to predict a validation dataset. Further, an uncertainty analysis of these predictions were performed with a prediction profile likelihood analysis. This study has conclusively shown that MFA models can be validated against experimental data that the model has never seen before. Additionally, such model predictions were shown to be observable with a well determined prediction uncertainty. These results shows that a systematic validation of MFA models is possible. This in turn allows for a greater trust to be placed in the models, and in any conclusions that are based on such models.
APA, Harvard, Vancouver, ISO, and other styles
3

Volsky, Uladzimir. "Prepare Russia to meet IPCC 2050, based on dynamic MFA approach for greenhouse gas emissions." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for vann- og miljøteknikk, 2012. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-19217.

Full text
Abstract:
An integrated MFA (Material Flow Analyse) model was developed for Russia, based on the year 2009. Integration was done between MFA, energy and greenhouse gas (GHG).Technologies in all production related processes of aluminium cycle were analyzed. Energy consumption and emissions were calculated throughout the aluminium cycle. This technology information and calculations were used in my scenarios for possible reduction of emissions.After the agreement with my supervisor the historical in-use stock was not done. Assumption here is that demand will increase.A sensitivity analyze was not conducted due the fact that that type of analyze can not be used for large changes in the system.If all scenarios are implemented then the decrease of total GHG emissions in aluminium production in Russia will equal to 22.3% and decrease in the total energy consumption will equal to 38,4%.
APA, Harvard, Vancouver, ISO, and other styles
4

Gracey, Erik. "MFA of omega-3 fatty acids EPA & DHA from a Norwegian resource perspective : Implications for future growth in fisheries and aquaculture toward 2050." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for energi- og prosessteknikk, 2014. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-27240.

Full text
Abstract:
Much of the current research into the sustainability of the fisheries and aquaculture industry has focused on achieving continued growth. The report “Value creation from productive oceans,” makes annual growth predictions of 4% for aquaculture and 7% for the marine ingredients sector from 2010 to 2050. The Norwegian government incorporated these growth rates into a political vision presented to parliament as Meld.St.22 “the world’s foremost seafood nation.” Among many ambitions presented in Meld.St.22, three were chosen as being particularly relevant to industry ecology: import reliance, utilization of by-products and sustainable growth. These ambitions were tested along with the 4 and 7% growth rates from the “Value creation from productive oceans,” report using the industrial ecology methodology of material / substance flow analysis. The MFA/SFA model of the fisheries and aquaculture system used a multi-layered approach with a product weight layer as the base and EPA + DHA as the substance layer. Results for import reliance suggest that Norway is 88% reliant on imports (product weight) for aquaculture and 55% for marine ingredients (EPA + DHA). The model estimated that imported Peruvian Anchoveta represented approximately 50% of the EPA + DHA in Norwegian aquaculture feed and 55% for marine ingredients in 2012. By-product utilization was found to be nearly 100% for the aquaculture and pelagic sectors, 34% for whitefish species and nearly zero for macroalgae and marine mammals. The overall by-product utilization rate for Norway, including all Norwegian landed marine fish, zooplankton, macroalgae and marine mammals was 62% for product weight. Sustainability was assessed from an industry, consumer and general environmental perspective. Sustainability from an industry perspective was evaluated using a demand and supply forecast for EPA + DHA. Growth rates of 4% for aquaculture and 7% for marine ingredients were used to model the future supply and demand relative to the system calculated values in the base year (2012). Results suggest a shortage of EPA + DHA within two years and a 45% deficit in demand by 2020. The future EPA + DHA shortage was independently confirmed by a study performed by EWOS using similar parameters and assumptions. The whole fish FIFO for fish oil was calculated to be 1,3 kg of whole forage fish required for 1 kg of whole salmon. The efficiency of seafood deliverables indicator (ESD) was created to add an element of efficiency to the sustainability of seafood from a consumer perspective. The aquaculture industry was found to require 3,22 kg of EPA + DHA per kg of EPA + DHA delivered to consumers as seafood, while the wild fishery sector required 1,76 / kg. The overall findings suggest that EPA & DHA are critical nutrients for: Fish health, human health, industry growth and consumer preferences. The challenge posed by the worsening shortage of EPA & DHA will affect the sustainability of the industry and dialogue concerning realistic growth prospects is suggested.
APA, Harvard, Vancouver, ISO, and other styles
5

Soares, Inali Wisniewski. "PM-MDA: um método para o desenvolvimento de modelos de plataforma no contexto da MDA." Universidade Tecnológica Federal do Paraná, 2012. http://repositorio.utfpr.edu.br/jspui/handle/1/716.

Full text
Abstract:
Esta tese propõe um método denominado PM-MDA para o desenvolvimento de Modelos de Plataforma (Platform Model - PM) no contexto da abordagem Model Driven Architecture (MDA). O método PM-MDA tem como foco o desenvolvimento de projetos de Software embarcado baseados em Sistemas Operacionais em Tempo Real (Real-Time Operating System - RTOS). Adicionalmente, este estudo define um perfil UML 2.0 para modelagem da aplicação e plataforma de software embarcado denominado Profile for modeling Application and Platform of Embedded Software (PROAPES) que é usado no método PM-MDA. Tal perfil define um conjunto de estereótipos para descrever genericamente Modelos de Plataforma e Modelos Independentes de Plataforma (Platform Independent Model - PIM). Além disso, são definidas extensões desse perfil, tal como o perfil PROAPESX que permite a modelagem de PMs para versões do RTOS X Real-Time Kernel e hardware associados. Além disso, o perfil PROAPES possibilita vincular um PIM a um PM, permitindo que esses modelos sejam inseridos como atributos de entrada em uma Transformação de Modelos. No contexto da MDA, esse perfil constitui-se em um metamodelo de plataforma (um metamodelo de uma família de plataformas similares) para a construção de modelos de plataforma. Desse modo, um PM é usado como parte fundamental para o desenvolvimento de software embarcado na abordagem MDA, fornecendo meios de obter independência de plataforma. Em abordagens atuais de MDA, as transformações de modelos empregam implicitamente os modelos de plataforma. Como os interesses referentes à plataforma não são separados dos interesses referentes às transformações de modelos, para cada plataforma requerida deve existir uma ou mais transformações de modelos correspondentes que são configuradas especificamente para aquela plataforma. O resultado são processos de transformações de modelos difíceis de serem automatizados. No domínio de sistemas embarcados, o uso de MDA é ainda mais importante devido à heterogeneidade de plataformas e à complexidade destes sistemas. O método PM-MDA, que faz uso do perfil PROAPES, visa sistematizar o processo de criação e disponibilização de modelos de plataforma separados do processo de transformação de modelos, possibilitando a geração de processos de transformações de modelos eficientes e adaptáveis.<br>This thesis proposes a method called PM-MDA for the development of Platform Models in the context of Model Driven Architecture (MDA). The PM-MDA method focuses on the development of embedded software projects based on Real-Time Operating Systems (RTOS). Additionally, this study defines a UML 2.0 Profile for Modeling Application and Platform of Embedded Software (PROAPES), which is used in the PM-MDA method. Such profile defines a set of stereotypes to generically describe Platform Models (PMs) and Platform Independent Models (PIMs). Further, extensions are defined in this profile, e.g. the PROAPESX profile, allowing the modeling of PMs into versions of the X RTOS Real-Time Kernel and associated hardware. In its turn, the PROAPES profile enables the link of a PIM to a PM, allowing these models to be entered as input attributes in a Model Transformation. In the context of MDA, this profile is a platform metamodel for building PMs, i.e., a metamodel of a family of similar platforms. In this way, a PM is used as a fundamental part in the development of embedded software in the MDA approach by providing means of obtaining platform independence. In current MDA approaches, model transformations implicitly employ PMs. As the concerns regarding the platform are not separated from the concerns related to model transformations, for each required platform there must be one or more corresponding model transformations that are configured specifically for that platform. This results in model transformation processes that are expensive and difficult to be automated. In some application domains such as embedded systems, the use of MDA is more motivating because of the heterogeneity of platforms and the complexity of these systems. The PM-MDA method, which makes use of the PROAPES profile, aims to systematize the process of creating and providing platform models separated from the model transformation process, enabling the generation of efficient and adaptable model transformations.
APA, Harvard, Vancouver, ISO, and other styles
6

Ambraziūnas, Martas. "Enterprise model based MDA information systems engineering method." Doctoral thesis, Lithuanian Academic Libraries Network (LABT), 2014. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2014~D_20141111_114310-77387.

Full text
Abstract:
Although new methods of information systems engineering are being researched and developed, they are empirical in nature. The problem domain knowledge acquisition process relies heavily on the system analyst and user; therefore it is not clear whether the knowledge of the problem domain is comprehensive. This may lead to occurrence of logical gaps, misinterpretation of system requirements, thus causing issues for project. The research work is meant to develop new IS engineering method that will allow validation of the problem domain knowledge against formal criteria. In order to create such method basic principles of Knowledge Based ISE and Model Driven ISE were combined. By combining the two approaches Knowledge Based MDA method was created that extends traditional MDA with Enterprise Model. During the research Knowledge Based MDA tool’s prototype, that is capable of partly automating Knowledge Based MDA process, was created. The efficiency of Knowledge Based MDA method was validated by creating real life application for mobile devices. During the empirical research it was established that by using developed method software requirements quality is improved and comprehensive documentation is created (due to Enterprise Model based validation), occurrence of logical gaps between software development stakeholders is reduced, time consumption needed for creation of application for multiplatform systems is reduced (due to automated code generation and shorter testing stage).<br>Šiuolaikiniai IS inžinerijos metodai yra nuolat vystomi ir tobulinami, tačiau iš esmės jie yra grindžiami empiriniais procesais. Empiriškai išgautų žinių kokybė gali būti nepakankama sėkmingam projekto įgyvendinimui, nes netikslus vartotojo reikalavimų specifikavimas neigiamai įtakoja visus programinės įrangos kūrimo etapus, o tai didina projekto įgyvendinimo riziką. Disertacinis darbas skirtas sukurti IS inžinerijos metodą, kuris įgalintų empiriniais būdais surinktas dalykinės srities žinias patikrinti formalių kriterijų atžvilgiu. Metodui sukurti buvo apjungti žiniomis grindžiamos ir modeliais grindžiamos IS inžinerijos principai. Šiuo tikslu klasikinis MDA procesas buvo papildytas pagrindiniu žiniomis grindžiamos IS inžinerijos komponentu – veiklos modeliu. Darbo metu buvo sukurtas žiniomis grindžiamo MDA metodo dalykinės programos prototipas, kuris iš dalies automatizuoja siūlomo metodo procesą. Žiniomis grindžiamo MDA metodo efektyvumas buvo patikrintas jį taikant eksperimentinio tyrimo atlikimui, kurio metu buvo sukurta pašto siuntų stebėjimo programėlė. Tyrimo metu nustatyta, kad tikslinga taikyti žiniomis grindžiamą MDA metodą PĮ kūrime nes: 1) detaliau dokumentuojami vartotojo reikalavimai (tikrinami formalių kriterijų atžvilgiu); 2) sumažinama loginių trūkių atsiradimo galimybė (tarp programinės įrangos kūrimo dalyvių); 3) daugiaplatforminiuose sprendimuose sumažinamos projekto įgyvendinimo laiko sąnaudos (dėka automatinio kodo generavimo iš patikrintų modelių).
APA, Harvard, Vancouver, ISO, and other styles
7

MARIA, BEATRIZ ALVES DE. "MDA BASED APPROACH FOR DEVELOPING MULTI-AGENT SYSTEMS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2005. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=6593@1.

Full text
Abstract:
Sistemas multi-agentes (SMA) diferem de sistemas que não são baseados em agentes devido ao fato dos agentes serem unidades autônomas capazes de ações flexíveis e inteligentes. Por este motivo é proposto na literatura um grande número de metodologias, frameworks e linguagens para dar apoio a construção deste tipo de sistema. Muitas dessas metodologias e suas ferramentas provêm da comunidade de inteligência artificial e estão focadas em uma arquitetura específica de agentes. Este trabalho propõe o uso da arquitetura Model Driven Architecture (MDA), descrita pela OMG, no processo de desenvolvimento de SMA. MDA é uma arquitetura para desenvolvimento de software estruturada em etapas de modelagem que dá suporte a todo o ciclo de desenvolvimento de um sistema. O processo de desenvolvimento proposto está dividido de acordo com as etapas apresentadas por MDA. Na etapa PIM, onde são especificados modelos independentes de plataforma, propomos a utilização da linguagem de modelagem MAS-ML para SMA. Na etapa PSM, onde são definidos modelos específicos de plataforma, propomos utilizar a linguagem de modelagem UML. Os modelos MAS-ML definidos na etapa PIM são transformados em modelos UML na etapa PSM com base em um framework para implementação de SMA utilizando orientação a objetos. Na ultima etapa do desenvolvimento, o código da aplicação é gerado a partir dos modelos UML. Este trabalho detalha as etapas PIM e PSM do processo de desenvolvimento de SMA e as transformações necessárias para a geração de código. Para demonstrar a aplicação do processo proposto são apresentadas duas aplicações de SMA desenvolvidas utilizando o mesmo. Ao final, apresenta-se a ferramenta MAS-ML Tool desenvolvida para dar apoio ao processo de desenvolvimento proposto. Esta ferramenta implementa todas as etapas presentes no processo, permitindo assim a implementação de SMA a partir de sua modelagem.<br>Multi-agent systems (MAS) differ from non-agent systems because agents are intended to be autonomous units capable of flexible and intelligent actions. For this reason it is proposed in the literature a great number of methodologies frameworks and languages to support the development of these systems. Several methodologies and their tools are come from artificial intelligent community and are focused in a specific agent architecture. This work proposes the use of the Model Driven Architecture (MDA), described by OMG, in the development process of MAS. MDA specifies a structured software development process in modeling stages that supports all system development life cycle. The proposed development process is divided according to the MDA stages. In PIM stage, where platform independent models are specified, we propose the use of MAS-ML modeling language for MAS. In PSM stage, where platform specific models are specified, we propose the use of UML modeling language. The MASML models defined on PIM stage are transformed in UML models at PSM stage, based on an object-oriented framework for implementing MAS. In the last development stage, the application code is generated from UML models. This work details the PIM and PSM stages of the MAS development process and the models transformations to generate source code. To exemplify the applicability of the proposed MAS development process, two different MAS applications were developed based on the process. Finally, a MAS-ML tool is presented. Such tool was developed to support the proposed development process. The tool implements all stages presented in the process, allowing the modeling and implementation of MAS.
APA, Harvard, Vancouver, ISO, and other styles
8

Reichelt, Toni. "A Model Driven Approach for Service Based System Design Using Interaction Templates." Doctoral thesis, Universitätsbibliothek Chemnitz, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-85986.

Full text
Abstract:
Based on the increasing complexity of modern avionics, the associated system design processes moved towards Model Driven Architecture (MDA) based processes. Additionally, the demand for higher system autonomy features requires means to further modularise mission systems and to define and establish interactions among the systems’ individual components. Therefore, the ideas of service-oriented computing are currently adapted to established, model driven design processes. With respect to modelling interactions for service components, current approaches are limited to only a fixed set of communication primitives, restricting a service designer’s expressiveness to specify service interaction. In consequence, interaction patterns not included in this basic set have to be reflected in application code, mangling application and communication logic. Furthermore, when service functionality relies on communication semantics which are not provided by the underlying set of primitives, additional emulation behaviour has to be added to the service which makes this mangling even worse. Platform independence is reduced as services can not easily be ported to platforms not natively supporting the selected primitives which contradicts the ideas of model-driven development. Addressing these limitations, this thesis proposes a new model-driven service development process based on Interaction Templates (ITs), promoting interactions among service participants to first class modelling entities. The process focuses on modelling the interactions among service participants. Interaction semantics are explicitly specified in models, beyond pure stereotyping, and gain increased platform independence for services with respect to communication. The process exploits automated Model-to-Model (M2M) and Model-to-Text (M2T) transformations to assist service implementation and to automatically derive interaction realisations on concrete target platforms. This allows for easy replacement and inter-mixing of communication middleware to realise a service’s interactions. This way, services become independent of the underlying communication primitives by only relying on ITs and not platform primitives which are hidden behind ITs. In turn, realising ITs on concrete platforms is not affected by their utilisation for service interaction. Beside the novel modelling process itself, the presented work defines a Unified Modeling Language (UML) profile, referred to as UML Profile for Interaction-centric Services (UP4IS), which directly supports the adaptation of standard UML language constructs and tools for the proposed modelling approach. The whole development process is demonstrated via the specification of a simple video recording systems consisting of two services. The services themselves are based on a representative IT library which forms an essential part of the presented case study. Using these service and IT models, the thesis emphasises the necessary model transformation and code generation steps to derive service implementations based on the abstract models.
APA, Harvard, Vancouver, ISO, and other styles
9

Gruszka, Robert. "MDA Approach in Real-Time Systems Development with Ada 2005." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5403.

Full text
Abstract:
Over the years, number of design methodologies were developed. One of the state-of-the-art modeling approaches is Model Driven Architecture. This thesis is an attempt to utilize the MDA in a specific and complex domain – real-time systems development. In MDA framework there are three levels of abstraction: computation independent, platform independent and platform specific. The target environment of the method presented in the thesis is Ada 2005 programming language which extended the old version of the language with several new object-oriented features making it suitable for using with the MDA. Application of the MDA in real-time systems domain targeted towards Ada 2005 implementation constitutes a new design method which benefits from the MDA, UML and Ada 2005 advantages. The thesis starts with presentation of the complexity of the real-time systems domain. A few real-time domain aspects are chosen as a main area for elaborating the design method. The utilizes UML Profile for Schedulability, Performance and Time for defining platform independent model. Additionally it provides its extension – the Ada UML profile – which constitutes the platform specific model. This is followed by specification of transformations between platform independent and specific model. The specification is used as a base for implementation of the transformations. Guidelines for code generation form the Ada UML profile are also provided. Finally, the thesis describes how the transformations can be implemented in Telelogic TAU tool.<br>gruszka.robert@gmail.com
APA, Harvard, Vancouver, ISO, and other styles
10

Wang, Xin. "Automatically Measuring Neuromuscular Jitter." Thesis, University of Waterloo, 2005. http://hdl.handle.net/10012/956.

Full text
Abstract:
The analysis of electromyographic (EMG) signals detected during muscle contraction provides important information to aid in the diagnosis and characterization of neuromuscular disorders. One important analysis measures neuromuscular jitter, which is the variability of the time intervals between two muscle fibre potentials (MFPs) belonging to the same motor unit over a set of discharges. Conventionally, neuromuscular jitter is measured using single fibre (SF) EMG techniques, which can identify individual MFPs by using a SF needle electrode. However, SF electrodes are expensive, very sensitive to needle movement and not easy to operate in practise. <br /><br /> A method is studied in this thesis for automatically measuring neuromuscular jitter in motor unit potentials (MUP), it measures jitter using routine EMG techniques, which detect MUPs using a concentric needle (CN) electrode. The method is based on the detection of near MFP contributions, which correspond to individual muscle fibre contributions to MUPs, and the identification of individual MFP pairs. The method was evaluated using simulated EMG data. After an EMG signal is decomposed into MUP trains, a second-order differentiator, McGill filter, is applied to detect near MFP contributions to MUPs. Then, using nearest neighbour clustering and minimum spanning tree algorithms, the sets of available filtered MUPs can be selected and individual MFPs can be identified according to the features of their shapes. Finally, individual MFP pairs are selected and neuromuscular jitter is measured. <br /><br /> Using the McGill filter, near MFP contributions to detected CN MUPs can be consistently detected across an ensemble of successive firings of a motor unit. The method is an extension of the work Sheng Ma, compared to previous works, more efficient algorithms are used which have demonstrated acceptable performance, and which can consistently measure neuromuscular jitter in a variety of EMG signals.
APA, Harvard, Vancouver, ISO, and other styles
11

De, Jode Martin L. "Optical nonlinear prism coupling to semiconductor-doped glass and organic MBA-NP waveguides." Thesis, University of Essex, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236452.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Filho, Roberto de Medeiros Farias. "Um gerador de sistemas embarcados a partir de modelo independente de plataforma baseado no perfil MARTE." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24072013-161420/.

Full text
Abstract:
O aumento da complexidade dos sistemas embarcados e a necessidade de um desenvolvimento cada vez mais acelerado têm motivado o uso de modelos abstratos que possibilitem maior flexibilidade e reusabilidade. Para isso, faz-se necessária a aceitação das linguagens e perfis mais abstratos, como o MARTE. Neste trabalho, foi desenvolvida uma ferramenta para conversão de sistemas embarcados independente de plataforma (PIM) em sistemas de uma plataforma específica (PSM), denominada I2S (Independente to Specific). O I2S é totalmente acoplável a novos desenvolvimentos e necessidades do projetista, capaz de modelar representações gráficas de sistemas embarcados, usando componentes do MARTE e permitindo uma implementação final em tecnologia reconfigurável. A partir de um modelo independente de plataforma faz-se a conversão para o padrão de projeto SOPC-Builder da Altera e XPS da Xilinx, possibilitando a exploração do espaço de projeto nessas duas tecnologias de modo automático. O trabalho faz análise de sistemas convertidos em diversas configurações e traz resultados relevantes para a área que validam o uso da proposta, atendendo aos requisitos de projeto<br>The growing of embedded systems complexity and the want for a quicker development has motivated the use of abstract models that improves flexibility and reusability. To these objective, we searched for the most adequate languages and profiles, like MARTE. In this work we developed a tool for conversion from platform independent models (PIM) to platfom specific models (PSM), named I2S (Independent to Specific). The I2S is totally acceptable to new developments and necessities of the designer, to open up modelling graphic representations of embedded systems using MARTE components and doing implementation in reconfigurable technology. A platform independent model is converted to the pattern of Alteras SOPC-Builder and Xilinxs XPS, making possible the exploitation of the project space in theses two tecnologies automatically. The work does analysis of systems converted in different configurations and shows relevant results to the area that validate the use of the proposal, meeting the project requirements
APA, Harvard, Vancouver, ISO, and other styles
13

Culfaz, Pinar Zeynep. "Synthesis Of Mfi Type Zeolite Membranes In A Continuous System." Master's thesis, METU, 2005. http://etd.lib.metu.edu.tr/upload/12606267/index.pdf.

Full text
Abstract:
MFI type zeolites, are the most widely studied zeolites for membrane separations. Conventionally, zeolite membranes are prepared in batch systems by hydrothermal synthesis in autoclaves. This method has several disadvantages for use in industrial scale for the synthesis of membranes with large areas and complex geometries that are commonly used in membrane modules. The objective of this study is to prepare MFI type zeolite membranes on tubular alumina supports in a continuous system where the synthesis solution is circulated through the tubular supports. Syntheses were carried out using clear solutions, at atmospheric pressure and at temperatures below 100&deg<br>C. The membranes were characterized by N2, SF6, n-butane and isobutane permeances, X-ray diffraction and scanning electron microscopy. A 2-&amp<br>#956<br>m membrane was synthesized using the composition 80SiO2: 16TPAOH: 1536H2O at 95&deg<br>C in the continuous system. The membrane showed N2 permeance of 4.4 x 10-7 mol/m2.s.Pa and N2/SF6 selectivity of 11. The membrane synthesized in the batch system showed a N2 permeance of 3.4 x 10-7 mol/m2.s.Pa and a N2/SF6 selectivity of 27. Both membranes showed n-butane/isobutane mixture (50%-50%) selectivities of about 6 at temperatures of 150 and 200&deg<br>C. Among many zeolite membranes reported in literature, these membranes are one of the few zeolite membranes synthesized in a flow system and the first MFI type membranes synthesized in a continuous flow system with circulation of the synthesis solution. The permeances and selectivities of the membranes synthesized in the continuous system are comparable with the MFI type membranes synthesized in batch systems in literature.
APA, Harvard, Vancouver, ISO, and other styles
14

Reichelt, Toni. "A Model Driven Approach for Service Based System Design Using Interaction Templates." Universitätsverlag Chemnitz, 2011. https://monarch.qucosa.de/id/qucosa%3A19696.

Full text
Abstract:
Based on the increasing complexity of modern avionics, the associated system design processes moved towards Model Driven Architecture (MDA) based processes. Additionally, the demand for higher system autonomy features requires means to further modularise mission systems and to define and establish interactions among the systems’ individual components. Therefore, the ideas of service-oriented computing are currently adapted to established, model driven design processes. With respect to modelling interactions for service components, current approaches are limited to only a fixed set of communication primitives, restricting a service designer’s expressiveness to specify service interaction. In consequence, interaction patterns not included in this basic set have to be reflected in application code, mangling application and communication logic. Furthermore, when service functionality relies on communication semantics which are not provided by the underlying set of primitives, additional emulation behaviour has to be added to the service which makes this mangling even worse. Platform independence is reduced as services can not easily be ported to platforms not natively supporting the selected primitives which contradicts the ideas of model-driven development. Addressing these limitations, this thesis proposes a new model-driven service development process based on Interaction Templates (ITs), promoting interactions among service participants to first class modelling entities. The process focuses on modelling the interactions among service participants. Interaction semantics are explicitly specified in models, beyond pure stereotyping, and gain increased platform independence for services with respect to communication. The process exploits automated Model-to-Model (M2M) and Model-to-Text (M2T) transformations to assist service implementation and to automatically derive interaction realisations on concrete target platforms. This allows for easy replacement and inter-mixing of communication middleware to realise a service’s interactions. This way, services become independent of the underlying communication primitives by only relying on ITs and not platform primitives which are hidden behind ITs. In turn, realising ITs on concrete platforms is not affected by their utilisation for service interaction. Beside the novel modelling process itself, the presented work defines a Unified Modeling Language (UML) profile, referred to as UML Profile for Interaction-centric Services (UP4IS), which directly supports the adaptation of standard UML language constructs and tools for the proposed modelling approach. The whole development process is demonstrated via the specification of a simple video recording systems consisting of two services. The services themselves are based on a representative IT library which forms an essential part of the presented case study. Using these service and IT models, the thesis emphasises the necessary model transformation and code generation steps to derive service implementations based on the abstract models.
APA, Harvard, Vancouver, ISO, and other styles
15

Aava, Kim. "Game Save : Game Save Incorporation in Game Design through a MDA Analysis." Thesis, Högskolan på Gotland, Institutionen för speldesign, teknik och lärande, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-204237.

Full text
Abstract:
This paper is about save systems and will analyze save functions in various games. Save systems in games are usually blamed for harming the suspension of disbelief as it is an act taking place outside the game and should only be used for its intended purpose: letting the players store their game data, and progress whenever they need. The game save function developed as rapid leaps of technology were made, with the beginning era of home consoles and home computers allowing players to spend more time playing, creating a demand for longer play sessions in games which lead to a need of methods for storing game data. The analysis of save systems is carried out in this paper by using MDA Framework (Mechanics, Dynamics, Aesthetics), a tool used for documenting game design. This framework can be used to analyze a game from a designer‟s or player‟s perspective. By reversing the framework ADM (Aesthetics, Dynamics and Mechanics) one can analyze the user experience, which is how the player perceives the game‟s aesthetics to be, depending on the dynamics and mechanics. This analysis aims to provide knowledge of how consistency in game design and the save system can be used to create a cohesive game world that facillitates the player's experience and immersion.
APA, Harvard, Vancouver, ISO, and other styles
16

Meyer, Horst. "The Modular Flighttest Instrumentation / MFI 90 A Helicopter Measuring System." International Foundation for Telemetering, 1989. http://hdl.handle.net/10150/614643.

Full text
Abstract:
International Telemetering Conference Proceedings / October 30-November 02, 1989 / Town & Country Hotel & Convention Center, San Diego, California<br>For investigations in the field of stability and control or handling qualities of helicopters, a Flighttest Instrumentation System is presented which combines some aspects of modern engineering. The aim was to create a system which is easy to understand and easy to handle, furthermore, allows the integration of future techniques and works with a maximum of performance under the given conditions. The system is modular. Good flexibility is guaranteed by the use of microprocessors combined with transducers in the front end modules. To avoid active or passive interference with the systems of the helicopter, the transportation of digital data is done by means of optical waveguides. The technique of processor control and data transmission is designed for future requirements like rising numbers of signals or bitrates. An "intelligent" transducer is shown together with its communication with the main onboard computer. On the other hand an overview is given of the onboard recording systems like Floppy Disc and Winchester, which have the advantage of readable computer data storage. For a quicklook telemetry a computer standardized protocol is also used as a method of online monitoring of digital data in the ground station.
APA, Harvard, Vancouver, ISO, and other styles
17

Seresinhe, R. "Impact of aircraft systems within aircraft operation : a MEA trajectory optimisation study." Thesis, Cranfield University, 2014. http://dspace.lib.cranfield.ac.uk/handle/1826/9261.

Full text
Abstract:
Air transport has been a key component of the socio-economic globalisation. The ever increasing demand for air travel and air transport is a testament to the success of the aircraft. But this growing demand presents many challenges. One of which is the environmental impact due to aviation. The scope of the environmental impact of aircraft can be discussed from many viewpoints. This research focuses on the environmental impact due to aircraft operation. Aircraft operation causes many environmental penalties. The most obvious is the fossil fuel based fuel burn and the consequent greenhouse gas emissions. Aircraft operations directly contribute to the CO2 and NOX emissions among others. The dependency on a limited natural resource such as fossil fuel presents the case for fuel optimised operation. The by-products of burning fossil fuel some of which are considered pollutants and greenhouse gases, presents the case for emissions optimised operations. Moreover, when considering the local impact of aircraft operation, aircraft noise is recognised as a pollutant. Hence noise optimised aircraft operation needs to be considered with regards to local impacts. It is clear whichever the objective is, optimised operation is key to improving the efficiency of the aircraft. The operational penalties have many different contributors. The most obvious of which is the way an aircraft is flown. This covers the scope of aircraft trajectory and trajectory optimisation. However, the design of the aircraft contributes to the operational penalties as well. For example the more-electric aircraft is an improvement over the conventional aircraft in terms of overall efficiency. It has been proven by many studies that the more-electric concept is more fuel efficient than a comparable conventional aircraft. The classical approach to aircraft trajectory optimisation does not account for the fuel penalties caused due to airframe systems operation. Hence the classical approach cannot define a conventional aircraft from a more-electric aircraft. With the more-electric aircraft expected to be more fuel efficient it was clear that optimal operation for the two concepts would be different. This research presents a methodology that can be used to study optimised trajectories for more-electric aircraft. The study present preliminary evidence of the environmental impact due to airframe systems operation and establishes the basis for an enhanced approach to aircraft trajectory optimisation which include airframe system penalties within the optimisation loop. It then presents a suite of models, the individual modelling approaches and the validation to conduct the study. Finally the research presents analysis and comparisons between the classical approach where the aircraft has no penalty due to systems, the conventional aircraft and the more-electric aircraft. When the case studies were optimised for the minimum fuel burn operation, the conventional airframe systems accounted for a 16.6% increase in fuel burn for a short haul flight and 6.24% increase in fuel burn for a long haul flight. Compared to the conventional aircraft, the more electric aircraft had a 9.9% lower fuel burn in the short haul flight and 5.35% lower fuel burn in the long haul flight. However, the key result was that the optimised operation for the moreelectric aircraft was significantly different than the conventional aircraft. Hence this research contributes by presenting a methodology to bridge the gap between theoretical and real aircraft-applicable trajectory optimisation.
APA, Harvard, Vancouver, ISO, and other styles
18

Torabzadeh-Tari, Mohsen. "Dimensioning Tools of MEA Actuator Systems, Including Modeling, Analysis and Technology Comparison." Doctoral thesis, Stockholm : Elektrotekniska system, Kungliga Tekniska högskolan, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-9727.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Tran, Nguyen Quynh Anh. "Characterization of domestic wastewater discharge and its impact on material flows in urban Hue, Vietnam." 京都大学 (Kyoto University), 2016. http://hdl.handle.net/2433/217214.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Ahlstedt, Magnus. "Implementation of an IT based Marketing information system in a high tech company: MBA-thesis in marketing : MBA-thesis in marketing." Thesis, University of Gävle, Department of Business Administration and Economics, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-259.

Full text
Abstract:
<p>Aim: The aim of this thesis has been to try to answer the question of how an IT based marketing information system support the formation of business and product related strategies and when and how such a system should be integrated in a company</p><p>Method: Analytical meta-study of published literature condensed through a SWOT analysis and combined with a qualitative evaluation of questionnaires directed to companies with experience of developing and implementing marketing information systems.</p><p>Result & Conclusion: Company size and market volatility decides the time of implementation of a marketing information system. Implementation should be initiated top-down in order to secure full organisational inertia. The approach should be holistic and tailor-made for each specific organisation. Users should fully integrated in development and implementation.</p><p>Suggestions for future research: Supplementary work could be carried out in trying to quantify how a marketing information system affect the new product time to market and the strategic mismatch to real market development, hence the efficiency of such a system. Another question of interest is the organisational inbound resistance to change, how this resistance affect the implementation of a marketing information system and how to overcome the boundaries it poses.</p><p>Contribution of the thesis:This thesis contributes with a general framework that sustains the implementation of a marketing information system. It answers the initial questions that a manager has, standing before the possible implementation of such a tool.</p>
APA, Harvard, Vancouver, ISO, and other styles
21

Agner, Luciane Telinski Wiedermann. "PI-MT: método para a criação de transformações de modelos no contexto da MDA." Universidade Tecnológica Federal do Paraná, 2012. http://repositorio.utfpr.edu.br/jspui/handle/1/717.

Full text
Abstract:
Esta tese aborda o problema de prover a independência de plataforma em transformações de modelos no contexto da MDA (Model Driven Architecture). A MDA é uma abordagem de desenvolvimento de software baseada na criação e na transformação de modelos. Assim, em MDA os modelos são os principais artefatos ao longo do ciclo de vida de desenvolvimento de software e as transformações desempenham um papel fundamental. No entanto, a maioria das iniciativas MDA são dedicadas, isto é, as características da plataforma são implicitamente especificadas nas regras de transformação. À medida que os aspectos ligados à plataforma não são separados das regras de transformação, para cada plataforma selecionada deve haver uma transformação de modelos correspondente. Por um lado, isto facilita o desenvolvimento de transformações de modelo. Por outro lado, a transformação torna-se limitada a uma plataforma específica, uma vez que os recursos da plataforma estão fortemente associados com as regras de transformação. Um dos desafios consiste em criar regras de transformação independentes das características da plataforma de implementação de sistemas de software. Esta tese propõe um método para a criação de transformações de modelo chamado PI-MT (Platform Independent - Model Transformations). O PI-MT é voltado ao desenvolvimento de software embarcado baseado em Sistemas Operacionais em Tempo-Real (RTOS - Real-Time Operating System). Além disso, o método permite a adaptação de transformações de modelos para diferentes plataformas baseadas em RTOS, por meio de modelos de plataforma explicitamente definidos. Como resultado, o método de PI-MT oferece independência entre as regras de transformação e as características da plataforma.<br>This thesis deals with the platform-independence matter in the Model Driven Architecture (MDA) context. MDA is an approach to software development based on the design and transformation of models. In the MDA approach models are the core artifacts throughout the entire software development lifecycle, and thus a key role is played by model transformations. Nevertheless, most MDA initiatives are dedicated, i.e., the platform features are implicitly employed in the transformation rules. As the aspects associated with the platform are not separated from the transformation rules, for each selected platform there must be a corresponding model transformation. On the one hand, this makes the model transformation development easier. On the other hand, model transformation becomes limited to a specific platform, once the platform features are strongly associated with the transformation rules. An open challenge consists of how to create transformation rules independently of the deployment platform features of software systems. This thesis proposes a method for creating model transformations, called PI-MT (Platform Independent - Model Transformations). The PI-MT is particularly applied to embedded software development based on Real-Time Operating Systems (RTOS). In addition, it allows the adaptation of the model transformation process to different RTOS-based platforms by means of Platform Models explicitly defined. As a result, the PI-MT method provides independence between the model transformation rules and the platform features.
APA, Harvard, Vancouver, ISO, and other styles
22

Matsusaki, Cristina Toshie Motohashi. "Redes F-MFG (Functional Mark Flow Graph) e sua aplicação no projeto de sistemas antropocêntricos." Universidade de São Paulo, 1998. http://www.teses.usp.br/teses/disponiveis/3/3132/tde-17122004-154654/.

Full text
Abstract:
Este trabalho introduz a formalização algébrica do F-MFG (Functional Mark Flow Graph) para a análise e simulação computacional de modelos de sistemas antropocêntricos de produção, onde são enfocadas a interação e a interface do elemento humano com o sistema produtivo. Abordando os sistemas antropocêntricos como uma classe de sistemas a eventos discretos, o F-MFG, que é uma técnica baseada nas redes de Petri, comprova ter potencial para descrever detalhadamente as ações e estados do sistema. O F-MFG, em conjunto com a Metodologia PFS/MFG (Production Flow Schema/ Mark Flow Graph), estabelece um procedimento eficiente para o projeto de sistemas antropocêntricos, tornando concisa a modelagem e a posterior avaliação estrutural e comportamental do sistema.<br>This work introduces an algebraic formalization of F-MFG (Functional-Mark Flow Graph). This formalization is effective for analysis and simulation of anthropocentric production systems, which is focused on the interaction and interface between human elements and production systems. When approaching anthropocentric systems as Discrete Event Dynamic Systems, the F-MFG, which is a Petri Net based technique, has been demonstrated its potential capabilities in describing detailed models of system actions and states. The PFS/MFG Methodology (Production Flow Schema/Mark Flow Graph Methodology) combined with F-MFG establishes an efficient procedure for the design of anthropocentric systems. This procedure results in concise modeling and analysis (system structural and behavioral evaluation) processes.
APA, Harvard, Vancouver, ISO, and other styles
23

Andzik, Rob. "Using the Ground Equipment Monitoring Service (GEMS) for Satellite Telemetry & Command Systems." International Foundation for Telemetering, 2008. http://hdl.handle.net/10150/606173.

Full text
Abstract:
ITC/USA 2008 Conference Proceedings / The Forty-Fourth Annual International Telemetering Conference and Technical Exhibition / October 27-30, 2008 / Town and Country Resort & Convention Center, San Diego, California<br>As satellite ground systems migrate toward network-centric, distributed architectures, controlling remote ground equipment becomes a central issue. While many protocols and approaches exist that address remote control and status, there is little agreement on a common solution. Device vendors and system integrators commonly find themselves integrating multiple protocols to meet a wide range of requirements. Technologies change and new protocols evolve that result in yet more options to be considered. However, the fundamental aspects of device control remain constant. The Ground Equipment Monitoring Service (GEMS) seeks to define a standard model for device control independent of the underlying protocols and technologies. Using this approach, a wide range of protocols can be mapped to the GEMS model. Systems using different protocols can then rely on the common mapping and utilize translators to connect heterogeneous components with little integration costs. This paper describes the state of the specification and potential uses of the GEMS specification in Satellite Ground Systems. Interactions between the GEMS specification and other standards such as the CCSDS SLE Complex Management services are also presented.
APA, Harvard, Vancouver, ISO, and other styles
24

Berge, Frank Terje. "Development of a spectrometer system to remotely sense mesospheric temperature." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for fysikk, 2011. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-14590.

Full text
Abstract:
At nighttime the strongest source of radiation is the hydroxyl night glow. By measuringthe different lines within a band it is possible to calculate the temperature of the mesosphere more than 85km above ground. In order to do this a spectrometer system hasbeen calibrated and software has been developed. The software include a program tocontrol the spectrometer and automatically take data spectra through the night, and aprogram to process the result and calculate the temperature. Two measurements weredone, the (3,1) and (4,2) bands the night of 31. march 2011 and the (7,4) and (8,5)bands the night of 6. may 2011. Both of them were done at NTNU Trondheim (latitude: 63.4 degrees and longitude: 10.4 degrees). The temperature found was 201.85K+/&amp;#8722; 3.55K for the (3,1) band, 205.11K +/&amp;#8722; 17.94K for the (4,2) band, 199.63K +/&amp;#8722;29.86K for the (7,4) band and 196.37K +/&amp;#8722; 8.41K for the (8,5) band. Since the (7,4)and (8,5) bands were measured later than the (3,1) and (4,2) bands, they should becolder. The predicted temperature was also calculated using a program developed atThe British Antarctic Survey that uses the MSIS-E-00 [Picone et al., 2003] model for thebackground atmosphere. The predicted temperatures were 202.3K for the (3,1) band,201.7K for the (4,2) band, 176.5K for the (7,4) band and 176.4K for the (8,5) band. Thepredicted temperature and measured temperature are almost the same for the (3,1) and(4,2) bands while it is about 20-25K lower for the (7,4) and (8,5) bands.
APA, Harvard, Vancouver, ISO, and other styles
25

Dannert, Sofia, and Josefin Norström. "Metod för bedömning och jämförelse av insamlings- och sorteringssystem för hushållsavfall : Utveckling av ett verktyg för multikriterieanalys med en- och fåfamiljshus i Linköpings kommun som fall." Thesis, Linköpings universitet, Industriell miljöteknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-148883.

Full text
Abstract:
En av de största globala utmaningarna idag är de negativa miljöeffekterna från den linjära ekonomin som världen bygger på, där produkter oupphörligt skapas från jungfruliga råvaror och efter användningstiden slutar som avfall utan nytta. Initiativ på flera nivåer; lokalt, regionalt, nationellt och globalt, krävs för att uppnå en cirkulär ekonomi där uppkomsten av avfall, samt utvinningen av jungfruliga råvaror, minskar. Europeiska unionens handlingsplan för cirkulär ekonomi säger att 75 % av alla förpackningar ska materialåtervinnas till år 2030. I Sverige materialåtervinns mellan 42,2 % (plastförpackningar) och 95 % (glas) och fastighetsnära insamlingssystem för förpackningar och tidningar är förhållandevis väl utbyggda, åtminstone för flerfamiljshus. Gällande småhus har utvecklingen gått något långsammare även om flera kommuner idag infört fastighetsnära insamling för hushållsavfall, inklusive förpacknings- och tidningsavfall. Att välja ett nytt, utökat avfallssystem till en kommun är ett stort och komplext beslut med många aspekter att ta hänsyn till. Flera tidigare utredningar inför denna typ av beslut har saknat en tydlig målbild, metodik och systematik i granskningen, varför syftet med denna studie varit att utveckla en metod för att genomföra en systematisk multikriterieanalys av ett antal avfallssystem för insamling och sortering av hushållsavfall från småhus i en kommun.  Innan multikriterieanalysen påbörjades gjordes en omfattande kartläggning av de aspekter som är kopplade till beslutet om ett nytt avfallssystem. Kartläggningen och det urval av aspekter som gjordes till multikriterieanalysen är värdefull kunskap för kommuner som står inför denna typ av beslut. Multikriterieanalysen har tagits fram med inspiration från den generiska formen av en multikriterieanalys där Linköpings kommun och Tekniska verken använts som fall. På grund av detta har även de system som utvärderats valts ut med hänsyn till intressanta avfallssystem för Linköpings kommun. Den framtagna multikriterieanalysen har paketerats i ett användarvänligt verktyg som kan användas av beslutsfattare i kommuner som önskar att utvärdera och jämföra avfallssystem för småhus.  Studien har resulterat i att det i huvudsak är följande sju kriterier som bör beaktas i en utredning gällande ett nytt insamlings- och sorteringssystem för småhus i en kommun, där resurseffektivitet är av hög prioritet i beslutet:  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="1" data-aria-level="1">Etablerbarhet &amp; flexibilitet  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="2" data-aria-level="1">Miljöpåverkan från materielbehov  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="3" data-aria-level="1">Kundperspektiv  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="4" data-aria-level="1">Arbetsmiljö  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="5" data-aria-level="1">Miljöpåverkan från energianvändning vid drift  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="1" data-aria-level="1">Insamlingsresultat  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="2" data-aria-level="1">Ekonomi  Dessa kriterier har brutits ned i mindre beståndsdelar, kallade indikatorer. När avfallssystem ska utvärderas och jämföras är det essentiellt att de bedöms inom dessa kriterier och indikatorer för att skapa bra underlag inför valet av system.   Studien har kunnat belysa att det i nuläget finns en hel del osäkerheter inom områdena Etablerbarhet &amp; flexibilitet samt Miljöpåverkan från energianvändning i drift som försvårar bedömning av system inom kriterierna. Även vissa avfallssystem saknas tillräcklig kunskap om som krävs för att kunna göra en rättvis bedömning av systemen, mycket till följd av att de är oetablerade i Sverige.<br>One of the greatest challenges the world is facing today is the negative environmental effects as a result from the linear economy used in societies, where products are constantly being produced from raw materials and end up as waste after the period of usage. Initiatives on many levels; local, regional, national and global are needed to create a circular economy which minimizes both the generation of waste and the extraction of raw materials. The European Union’s action plan for circular economy expresses that 75 % of all packaging waste should be recycled by 2030. In Sweden packaging waste is being recycled between 42,2 % (plastic waste) to 95 % (glass waste) and the curbside collection systems for packaging waste are quite well-developed, especially regarding waste systems for multi-family houses. For single-family houses the development has been slower, although several municipalities have introduced curbside collection systems for household waste including packaging and newspaper waste during the last years. It is a comprehensive and complex decision to invest in a new extended curbside collection and sorting system in a municipality and there are many aspects to consider. Since several previous inquiries regarding this type of decision lacks a systematic approach and clear objectives, the purpose of this study is to develop a method for conducting a systematic multi-criteria analysis of collection and sorting systems for single-family household waste in a municipality.  Prior to the multi-criteria analysis a substantial evaluation of aspects related to the decision of a new waste system was made. The mapping and selection of aspects that were made provide great knowledge for municipalities facing this kind of decision. The developed multi-criteria analysis is based on the generic form of a multi-criteria analysis, using the municipality of Linköping and Tekniska verken as case. As a result, the range of waste systems evaluated have been selected according to the preferences of Linköping municipality. The developed multi-criteria analysis has been transferred to a user-friendly tool for decision makers at municipalities who wish to assess and compare extended collection and sorting systems for single-family household waste.  The study has resulted in the following criteria which should be considered in an inquiry of waste systems for single-family houses in a municipality, where resource efficiency is highly prioritized:  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="1" data-aria-level="1">Establishment &amp; flexibility  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="2" data-aria-level="1">Environmental impact from usage of materiel  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="3" data-aria-level="1">Customer perspective  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="1" data-aria-level="1">Working standards  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="2" data-aria-level="1">Environmental impact from energy usage during operation  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="3" data-aria-level="1">Collection results  <li data-leveltext="" data-font="Symbol" data-listid="29" data-aria-posinset="4" data-aria-level="1">Economy  These criteria have been divided into smaller components, called indicators. When assessing and comparing waste systems, it is essential to evaluate systems within these criteria and indicators to ensure a thorough basis for this type of decision.  The study has been able to highlight some lack of knowledge within the criteria Establishment &amp; flexibility and Environmental impact from energy usage during operation, which complicates the assessment of waste systems within these areas. Sufficient knowledge regarding some waste systems are also missing, most likely due to the systems not being used in Sweden.
APA, Harvard, Vancouver, ISO, and other styles
26

Lu, Shourong. "Engineering of safety-related and embedded real-time systems." Waabs GCA-Verl, 2009. http://d-nb.info/999846760/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Meyer, Horst M. "Helicopter Testing Using the PC-Based MFI 90 Flight Test Instrumentation System." International Foundation for Telemetering, 1995. http://hdl.handle.net/10150/611606.

Full text
Abstract:
International Telemetering Conference Proceedings / October 30-November 02, 1995 / Riviera Hotel, Las Vegas, Nevada<br>DLR realizes flight testing under the rough environmental conditions on board of helicopters. Beside the necessary data about the behavior of the base helicopter the main interest concerns information about the rotor system. After explaining the measuring technique the computer integrated Rotor data acquisition system is presented which communicates with the Central computer inside the helicopter via serial data line. The Central computer that has to gather and process also the signals from the base is a modified PC-type computer. It is demonstrated how to use office PC components for this purpose. These have the advantage to be inexpensive and always and everywhere available. The Central computer is a 486er type now. Necessary modifications for airworthy certification are explained. This technique includes on board recording and telemetry. An intelligent LC display is presented which gives the test pilots the necessary information about their tasks. It is a simply modified notebook controlled only by handling cursor keys. In addition pilots have the chance to fly "head up" by using an LC display which origins from an LCD projection panel.
APA, Harvard, Vancouver, ISO, and other styles
28

Boghani, Hitesh Chandubhai. "Systems approaches to enhance performance and applicability of microbial fuel cells." Thesis, University of South Wales, 2014. https://pure.southwales.ac.uk/en/studentthesis/systems-approaches-to-enhance-performance-and-applicability-of-microbial-fuel-cells(80a19e1c-fd40-42de-90cd-8b6ebcbb73d7).html.

Full text
Abstract:
Wastewater treatment is an energy intensive process and sustainable processes/technologies for the treatment of wastewaters need to be considered. One such contender might be the microbial fuel cell (MFC), a subset of bioelectrochemical system (BES) which generates electricity in the process of electrogenic (generating electrons) degradation of soluble organic contaminants present in the water (or wastewater) by electrogens (electron producing bacteria) at the anode in absence of oxygen. Several issues related to the power performance (also somewhat linked to the cost) of MFCs exist causing barriers in the deployment of up-scaled MFC system and the continual research from a multitude of discipline is focusing on overcoming these issues. Implementation of an MFC system for wastewater treatment would require a large array of MFCs to meet the treatment capacity of the wastewater treatment plant. Commissioning and continual operation of such MFCs would require rapid and cost-effective start-up and improvement in their performance. Optimisation of the power performance is addressed through a systems approach in this study, where improvement in the performance is sought through the system design and control strategies applied to the MFCs. The start-up rate of MFCs has been reduced by 45% using maximum power point tracking (MPPT), which is believed to be cost-effective as exogenous energy (such as in the case of poised-potential) is not required for the rapid start-up. The control of MFC power would need to be considered when up-scaled MFC system is realised. The controller implementation benefits from linearised system models. The viability of such piecewise linearisation of the nonlinear MFC system was demonstrated and the data were shown to be reasonably represented by the 1st order process models throughout its operating range. The occurrence of voltage reversal during stack operation of MFCs is a concern in large arrays particularly, and has been shown to be avoidable by adopting the hybrid stack connectivity. Further enhancement of the performance was sought through the detailed design and fluid dynamics modeling to obtain highly mixed anolyte at low input power, using improved helical anodes which increased the MFC performance at all the tested flow rates (1, 3 and 8 mL min-1) compared to previously studied helical anodes. The up-scaling of MFCs by modularisation was demonstrated and it was shown that the use of improved helical anodes can increase the modular length of the MFC without compromising the power performance. Aggregated power produced from the multi-module MFC (containing 5 modules) was 28.05 ± 3.5 mW (19.75 ± 2.47 W m-3) with an PhD Thesis – Hitesh Chandubhai Boghani 2014 V individual MFC power of 5.61 ± 0.7 mW, when fed with 10 mM sodium acetate at 3 mL min-1 flow rate and at 22 ± 3 °C. So, this thesis presents the strategies for improvement in the performance of MFCs for their applications in wastewater treatment and such strategies may also be transferable to their other applications.
APA, Harvard, Vancouver, ISO, and other styles
29

Schaefer, Ina. "Integrating formal verification into the model-based development of adaptive embedded systems." München Verl. Dr. Hut, 2008. http://d-nb.info/992163064/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Pietrelli, Andrea. "Electrical valorization of MFC : application to monitoring." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSEC001/document.

Full text
Abstract:
Dans les dernières années, l'utilisation intensive des combustibles fossiles a déclenché une crise mondiale due à la forte production de polluants et à la réduction des stocks, en raison de sa nature de source d'énergie non renouvelable. Parce que l'utilisation généralisée des combustibles fossiles a entraîné la production de grandes quantités de CO2, ce qui est un facteur aggravant du réchauffement de la planète. Les piles à combustible microbiennes (MFC) représentent une technique de récupération d'énergie qui convertit l'énergie chimique des composés organiques en énergie électrique par le biais de réactions catalytiques de micro-organismes. La MFC peut être considérée comme un archétypique de système microbien bioélectrochimique (BES), qui exploite l’activité bio-électrocatalytique de micro-organismes vivants pour la génération de courant électrique. Durant la dernière décennie, l’évolution de l’électronique de faible consommation a rendu la technologie des MFC plus attrayante, car elle commence à pouvoir fournir une énergie comparable à celle consommée par des périphériques dit à faible consommation, comme un nœud de réseau de capteurs sans fil (WSN). En plus, les MFC ont gagné en intérêt car elles peuvent générer de l'énergie électrique tout en traitant des déchets. Contrairement aux autres piles à combustible, les MFC peuvent générer en permanence une énergie propre à une température ambiante, à la pression atmosphérique et à un pH neutre, sans entretien supplémentaire. Les seuls sous-produits sont le CO2 et H2O, qui ne nécessitent aucune manipulation supplémentaire, car le CO2 produit est biogénique, ce qui est inclus dans le cycle du carbone biogéochimique, évitant l'émission nette de carbone dans l'atmosphère. Ce manuscrit examine certains aspects liés à la technologie des piles à combustible microbiennes, depuis les réactions chimiques jusqu’aux systèmes de gestion de l'énergie requis pour exploiter la puissance fournie par les MFC. Une campagne expérimentale a été menée sur les MFCs concernant la caractérisation électrique, la connexion multiple des MFCs et l’influence des principaux paramètres qui affectent les performances de conversion de l’énergie. Le contexte de la pile à biocarburant est introduit et les principes de base de fonctionnement et les applications principales sont expliqués. L'enquête comprend une évaluation de l'impact des différents matériaux d'électrode, du substrat utilisé et des bactéries impliquées dans le processus chimique. Une perspective consiste à ajuster les paramètres afin de maximiser la production d'électricité. La conception spécifique de nos MFC de laboratoire est également présentée. Les essais expérimentaux ont été effectués sur deux types de réacteurs : la pile à combustible microbienne terrestre et la pile à combustible microbienne à eau usée. Un système de mesure approprié est présenté, il est spécialement conçu pour les tests sur les MFC. Il est capable d'assurer une mesure précise de toutes les valeurs et paramètres électriques nécessaires à la caractérisation électrique des réacteurs dans une configuration unique ou dans une connexion multiple. Les solutions utilisées pour alimenter les WWMFC étaient différentes et dans certains cas, on utilisait de vraies eaux usées, alors que dans d'autres, des solutions synthétisées appropriées étaient conçues à cet effet. Les méthodes de synthèse des solutions sont décrites. L'influence des principaux paramètres tels que le pH et la température a été analysée pour les deux types de cellules. La campagne expérimentale comprend des mesures de réacteurs en configuration unique ou disposées dans des connexions en série ou en parallèle. Les résultats confirment l'augmentation de la tension dans le cas de connexions en série et l'augmentation de la puissance dans le cas de connexions en parallèle. [...]<br>In recent years, the extensive use of fossil fuels has triggered into a global crisis due to high pollution and stock reduction, because of its nature of non-renewable source of energy. Because the wide use of fossil fuels has led to the production of high amounts of CO2, as a result is a trigger of the global warming issue. Microbial fuel cells (MFCs) is an energy harvesting technique that converts chemical energy from organic compounds to electrical energy through catalytic actions of microorganisms. MFC can be considered as archetypical microbial Bioelectrochemical Systems (BESs), that exploit the bio-electrocatalytic activity of living microorganisms for the generation of electric current. In the past decade, the evolution of low power electronics has made MFCs technology more attractive, because it has begun to be able to power low-power devices forming complete systems, such as the nodes of a wireless sensor network (WSN). Moreover, MFCs gained more interest because they can generate electric power while treating wastes. Unlike other fuel cells, MFCs can continuously generate clean energy at normal temperature, atmospheric pressure, and neutral pH value without any supplementary maintenance. The only by-products are CO2 and H2O, which do not require additional handling. The production of CO2 is part of a short duration carbon cycle. The CO2 produced is biogenic, which is included in the biogeochemical carbon cycle, avoiding net carbon emission into atmosphere. This manuscript examines many aspects related to microbial fuel cell technology from chemical reactions inside the cells to the energy management systems required to exploit energy delivered from MFCs for practical usage in autonomous sensors. Experimental campaign was performed on MFCs regarding electrical characterization, multiple connections of MFCs and influence of main parameters that affect energy conversion performances. The experimental tests were performed on two different lab-scale reactor typologies: terrestrial microbial fuel cell and waste water microbial fuel cell. A survey is presented about different proposed energy management systems and other devices able to build a node of a WSN powered by MFCs
APA, Harvard, Vancouver, ISO, and other styles
31

Kayani, Amina Josetta. "Critical determinants influencing employee reactions to multisource feedback systems." Thesis, Curtin University, 2009. http://hdl.handle.net/20.500.11937/150.

Full text
Abstract:
The current study examines the Multisource Feedback (MSF) system by investigating the impact several MSF design and implementation factors have on employees’ reaction towards the system. The fundamental goal of the research was to advance the understanding of what is currently known about effectively implementing multisource feedback systems to maximize employee favorable reaction, acceptance and perceptions of usefulness.Of the many management feedback trends that have swept organizations in the past decade, few have had the outstanding impact of MSF. Despite the numerous studies on MSF, perusal of empirical literature lacks overall cohesion in identifying critical factors influencing employees’ reactions to MSF. The constructs examined were delimited to those found to have inherent paradoxes, insufficient coverage, be inconclusive and/or have contradictory findings in the extant literature.A series of main research questions, underscoring the main goal of the study, were developed from the gaps identified in literature to establish which predictors were predominant in influencing the employees’ reactions, acceptance and perceptions of usefulness towards the MSF system. These research questions were formed into hypotheses for testing. The relationships to be tested were integrated into a hypothetical model which encompassed four sub-models to be tested. The models, named the Climate, Reaction, Reaction-Acceptance, Reaction-Perceptions of Usefulness and Acceptance-Perceptions of Usefulness Models were tested in parts using a combination of exploratory factor analysis, correlation analysis and multiple regressions. Further, key informants from each organization and HR managers in three large organizations provided post-survey feedback and information to assist with the elucidation of quantitative findings; this represented the pluralist approach taken in the study.Survey items were derived from extant literature as well as developed specifically for the study. Further, the items were refined using expert reviewers and a pilot study. A cross-sectional web-based survey was administered to employees from a range of managerial levels in three large Malaysian multinational organizations. A total of 420 useable surveys were received, representing a response rate of 47%.Self-report data was used to measure the constructs which were perceptions of the various facets of the MSF. An empirical methodology was used to test the hypotheses to enable the research questions to be answered and to suggest a final model of Critical Determinants Influencing Employee Reaction to MSF Systems.The study was conducted in six phases. In the first phase, a literature map was drawn highlighting the gaps in empirical research. In the second stage, a hypothetical model of employees’ reaction to MSF was developed from past empirical research and literature on MSF. The third phase involved drafting a survey questionnaire on the basis of available literature, with input from academics and practitioners alike. The fourth stage entailed pilot testing the survey instrument using both the ‘paper and pencil’ and web-based methods. The surveys were administered with the assistance of the key informants of the participant organizations in the fifth stage of the study; data received were analysed using a range of statistical tools within SPSS version 15. Content analysis was utilized to categorize themes that emerged from an open-ended question. In the sixth and final stage, empirical results from the quantitative analysis were presented to HR managers to glean first hand understanding over the patterns that emerged.Exploratory factor analysis and reliability analysis indicated that the surveyinstrument was sound in terms of validity and reliability. In the Climate model, itwas found that all the hypothesized predictors, feedback-seeking environment,control over organizational processes, understanding over organizational events,operational support and political awareness were positively associated withpsychological climate for MSF implementation. In terms of predictive power, controlover organizational processes failed to attain significance at the 5% level. In theReaction model, it was found that perceived purpose, perceived anonymity,complexity and rater assignment processes had significant associations withemployee reaction to MSF, but perceived anonymity indicated poor predictive powerfrom the regressions results. As hypothesized, employee reaction was found to be related to MSF acceptance and perceptions of usefulness, and results indicated thatthe two latter outcome constructs were related, but statistically distinct.The two-tier pluralist technique of collecting and examining data was a salient feature of the current study. Indeed, such a holistic approach to investigating the determinants of employee reaction to MSF allowed for better integration of its theory and practice. The study is believed to make a modest, but unique contribution to knowledge, advancing the body of knowledge towards a better understanding of MSF design and implementation issues.The results have implications for calibrating MSF systems and evaluating the needfor, and likely effectiveness of, what has been hailed as one of the powerful newmodels for management feedback in the past two decades. Suggestions were madeabout how the results could benefit academia and practitioners alike. Since mostorganizational and management research has a western ethnocentric bias, the current study encompassed eastern evidence, using cases in Malaysia.
APA, Harvard, Vancouver, ISO, and other styles
32

Ni, Qianfu. "Semantic modeling method for configurable enterprise information systems." Thesis, Queensland University of Technology, 2010. https://eprints.qut.edu.au/43695/1/Qianfu_Ni_Thesis.pdf.

Full text
Abstract:
Business practices vary from one company to another and business practices often need to be changed due to changes of business environments. To satisfy different business practices, enterprise systems need to be customized. To keep up with ongoing business practice changes, enterprise systems need to be adapted. Because of rigidity and complexity, the customization and adaption of enterprise systems often takes excessive time with potential failures and budget shortfall. Moreover, enterprise systems often drag business behind because they cannot be rapidly adapted to support business practice changes. Extensive literature has addressed this issue by identifying success or failure factors, implementation approaches, and project management strategies. Those efforts were aimed at learning lessons from post implementation experiences to help future projects. This research looks into this issue from a different angle. It attempts to address this issue by delivering a systematic method for developing flexible enterprise systems which can be easily tailored for different business practices or rapidly adapted when business practices change. First, this research examines the role of system models in the context of enterprise system development; and the relationship of system models with software programs in the contexts of computer aided software engineering (CASE), model driven architecture (MDA) and workflow management system (WfMS). Then, by applying the analogical reasoning method, this research initiates a concept of model driven enterprise systems. The novelty of model driven enterprise systems is that it extracts system models from software programs and makes system models able to stay independent of software programs. In the paradigm of model driven enterprise systems, system models act as instructors to guide and control the behavior of software programs. Software programs function by interpreting instructions in system models. This mechanism exposes the opportunity to tailor such a system by changing system models. To make this true, system models should be represented in a language which can be easily understood by human beings and can also be effectively interpreted by computers. In this research, various semantic representations are investigated to support model driven enterprise systems. The significance of this research is 1) the transplantation of the successful structure for flexibility in modern machines and WfMS to enterprise systems; and 2) the advancement of MDA by extending the role of system models from guiding system development to controlling system behaviors. This research contributes to the area relevant to enterprise systems from three perspectives: 1) a new paradigm of enterprise systems, in which enterprise systems consist of two essential elements: system models and software programs. These two elements are loosely coupled and can exist independently; 2) semantic representations, which can effectively represent business entities, entity relationships, business logic and information processing logic in a semantic manner. Semantic representations are the key enabling techniques of model driven enterprise systems; and 3) a brand new role of system models; traditionally the role of system models is to guide developers to write system source code. This research promotes the role of system models to control the behaviors of enterprise.
APA, Harvard, Vancouver, ISO, and other styles
33

Zou, Hanzheng. "Build an Inventory Tracking System." Thesis, Växjö University, School of Mathematics and Systems Engineering, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-1580.

Full text
Abstract:
<p>This thesis paper introduces you about the process of how to build an inventory tracking system in a local Swedish company. The related project is to support the thesis paper, and is also for the company’ using. The software product of this project is an application that works for managing various types’ instruments in the company of SWECO-Vaxjo. It will play an important role in the further management work of the company.</p><p>In this thesis paper, the candidate techniques and theories for implementing this system are discussed. And in the end a good solution for this problem will be presented in the paper.</p>
APA, Harvard, Vancouver, ISO, and other styles
34

Dölcü, Delil, and Marcus Andersson. "Understanding the Future of a Large Technical Systems : Trends and drivers of Swedish residential water usage." Thesis, KTH, Skolan för industriell teknik och management (ITM), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-299591.

Full text
Abstract:
Understanding the future of a Large Technical System (LTS) through a sociotechnical analysis is a complex notion. The authors will investigate the phenomenon by studying residential water consumption in Sweden. Although Sweden has great access to raw water, compared to many other countries, it does not justify the fact that consumption patterns have to be unsustainable. To perceive the future, one will need to have knowledge of history. Therefore, this thesis has identified 11 drivers that will affect future residential water consumption. From these 11 drivers, the authors have posed four future scenarios for residential water consumption. The top 3 identified drivers are connected to behaviour and awareness. Thus, implying individuals' responsibility and accountability will be of greater significance for the sustainable development of residential water consumption. For this research, the authors have adopted a framework based on the application of LTS, Multi-Level Perspective (MLP), Scenario building, PESTLE, and Multi-Criteria Analysis (MCA). The authors have conducted a qualitative study, gathering data through a literature study and semi-structured interviews. The 18 interviewees covered a broad spectrum of knowledge, experiences, and general interest in water. By understanding the dynamics of the system and drivers, the authors will be able to present the gathered knowledge to stakeholders for possible strategic decisions.<br>Att förstå framtiden för ett stort tekniskt system (LTS) genom en socioteknisk analys innebär stor komplexitet. Detta kommer att undersökas genom att studera hushållens vattenförbrukning i Sverige. Även om Sverige har stor tillgång till råvatten, jämfört med många andra länder, berättigar det inte förekommandet av ohållbara konsumtionsmönster. För att öka förståelsen av framtiden måste en ha kunskap om historien. Därför har denna avhandling identifierat 11 drivkrafter som kommer att påverka den framtida hushållens vattenförbrukning. Från dessa 11 drivkrafter har författarna formulerat fyra framtida scenarier för hushållens vattenförbrukning. De tre högst rankade identifierade drivkrafterna är kopplade till beteende och medvetenhet. Detta antyder på att individens enskilda ansvar och skyldigheter är av större betydelse för en hållbar utveckling av hushållens vattenförbrukning. För denna forskning har författarna använt sig av ett teoretiskt ramverk som bygger på tillämpningen av LTS, Multi-Level Perspective (MLP), Scenario building, PESTLE and Multi-Criteria Analysis (MCA). Författarna har genomfört en kvalitativ studie, där insamling av data härstammar från den genomförda litteraturstudien och 18 semi-strukturerade intervjuer. De 18 intervjukandidaterna täckte ett brett spektrum av kunskap, erfarenhet och intresse av vatten. Genom att skapa ett samband och förstå dynamiken i systemet och drivkrafterna, kommer författarna att kunna presentera den samlade kunskapen till intressenter för eventuella strategiska beslut.
APA, Harvard, Vancouver, ISO, and other styles
35

Boman, John. "Real-time Benchmarking with a Business Intelligence System : A Case Study of Aravind Eye Care System." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-193033.

Full text
Abstract:
39 million people in the world are blind and approximately 15 million of them live in India. Aravind Eye Care System is the biggest provider of eye care in India and the world and it continues to expand and spread medical understanding and best practice to improve ophthalmological care. Aravind Hospitals measure data of performance indicators for management and identify best practice. Currently, each department handles data of these parameters in locally stored excel sheets which limiting benchmarking in real-time. The main objective of this project has been to develop a user-friendly web platform that enables real time benchmarking across all of Aravind’s hospitals. A prototype of a web based business intelligence system has been developed as a proof of concept. The aim of this prototype has been to enable benchmarking across Aravind’s hospitals. The impact has been studied to analyse the extents to which the organization can become more efficient through continuous benchmarking. Initially, a database was developed containing data from the glaucoma clinics in Coimbatore, Madurai, Pondicherry and Tirunelveli. Subsequent was a web platform developed which presents the data dynamically with Google Charts. Interviews and analyses support the implementation of a business intelligence system at Aravind’s Hospitals. Testing and analysis have proven that a business intelligence system can improve value, create innovation and spread best practice at Aravind’s Hospitals.<br>39 miljoner personer i världen är blinda och uppskattningsvis 15 miljoner av dem bor i Indien. Aravind Eye Care System är de största leverantörerna av ögonsjukvård i Indien och i världen. De fortsätter att växa och sprida medicinsk kunskap och best practice för att förbättra ögonsjukvården. Aravinds sjukhus mäter data på nyckelparametrar av verksamheten för management och för att identifiera best practice. För närvarande så hanterar varje avdelning data av dessa parametrar i lokalt lagrade Excel dokument vilket begränsar benchmarking i realtid. Det huvudsakliga syftet med detta projekt har varit att utveckla en användarvänlig web plattform som möjliggör benchmarking mellan Aravinds sjukhus i realtid. En prototyp av ett web baserat business intelligence system har utvecklats i form av ett proof of concept. Syftet med denna prototyp har varit att möjliggöra benchmarking mellan Aravinds sjukhus. Dess påverkan har utvärderats och analyserats för att studera till vilken utsträckning organisationen kan bli mer effektiv genom kontinuerlig benchmarking. Till en början har en databas utvecklats för att hantera data från glaukom klinikerna i Coimbatore, Madurai, Pondicherry and Tirunelveli. Där efter har en web plattform utvecklats som presenterar dynamisk data med Google Charts. Intervjuer och analyser stödjer implementationen av ett business intelligence system på Aravinds sjukhus. Denna rapport har bevisat att det är genomförbart att utveckla en skalbar open-source webbplattform som möjliggör benchmarking i realtid. Tester och analyser har även visat att ett business intelligence kan vara värdeskapande, innovation skapande samt sprida kunskap på Aravinds sjukhus.
APA, Harvard, Vancouver, ISO, and other styles
36

Vikström, Patrich, and Timothy Levin. "Optimerad lokalisering av stationer i hyrcykelsystem : En GIS-baserad multikriterieanalys över Gävle." Thesis, Högskolan i Gävle, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-22254.

Full text
Abstract:
De senaste årens krav på hållbarhet, har tillsammans med en önskan att göra städerna renare, tystare och mer tillgängliga, resulterat i att cykeln kommit att prioriteras inom samhällsplaneringen. I syfte att främja en hållbar stadsutveckling och uppmuntra fler människor att cykla har allt fler städer valt att upprätta hyrcykelsystem. En av dessa städer är Gävle som under våren 2016 genomför en pilotstudie för att undersöka möjligheten att införa ett regionalt hyrcykelsystem riktat till pendlare. Syftet med denna studie är därför att applicera en metod för att optimera lokaliseringen av cykelstationer i ett hyrcykelsystem i Gävle. För att uppnå detta har en GIS-baserad multikriterieanalys (MKA) upprättats. Multikriterieanalysen resulterade i att ett antal platser pekades ut som lämpliga för etablering av hyrcykelsstationer. Genom vidare analys och diskussion av resultatet prioriterades antalet platser ned ytterligare. Detta mynnade ut i en rekommendation över de två lämpligaste platserna i Gävle för etablering av hyrcykelstationer. Dessa platser är Södermalm och Rådhustorget.<br>The desire to make our cities cleaner, quieter and more accessible has given the bicycle a higher priority in urban planning in recent years. In order to promote sustainable urban development and encourage people to cycle an increasing number of cities have chosen to set up bike-share systems. During the spring of 2016 the city of Gävle is conducting a pilot study to examine the possibility of introducing a bike-share system. The purpose of this study is therefore to apply a method to optimize the location of bike stations in a bike-share system in Gävle. To achieve this, a GIS-based multi-criteria analysis (MCA) was established. The MCA resulted in a number of sites identified as suitable for the establishment of bike-share stations. Through further analysis and discussion the number of stations was prioritized even further. This resulted in a recommendation of the two most suitable locations for establishment of bike-share stations in Gävle. These places are Södermalm and Rådhustorget.
APA, Harvard, Vancouver, ISO, and other styles
37

Li, Xiaokun. "Wireless Power Transfer Systems for Unmanned Aerial Vehicles." Thesis, Griffith University, 2022. http://hdl.handle.net/10072/413314.

Full text
Abstract:
In recent years,unmanned aerial vehicles (UAVUAVs) have been widely used in various fields of military and civilian, given that they are fast, convenient, discrete and multifunctional. HoweveHowever, the short cruising time limits the development of UAVs due to the lack of UAV batteries At present, UAVs are charged using plug-in AC and DC chargers. This charging manner may cause mechanical wear, joint heating and electric spark. In addition, this manner of charging requires manual operation and cannot work outdoors. Wireless power transfer (WPT) can solve these problems and avoid the loss and safety risk caused by the plug-in. Therefore, WPT is a good choice for UAV battery charging to enhance the cruising capability of UAVs. Moreover, because of the inherent nature of the wireless connection, UAVs can be charged using WPT regardless of the environment, which makes UAV charging convenient and safe. However, the applications for UAVs wireless charging warrant future investigation and improvement due to drawbacks, such as transfer power lever, efficiency, stability and safety. This thesis aims to investigate and optimise WPT systems for UAVs and mainly focuses on the key component magnetic coupler in WPT systems. Magnetic materials, magnetic core structures and a magnetic flux concentrator are investigated to obtain UAVs WPT systems with high transmission efficiency, stability, security and practicability. Various simulation models and experimental testing platforms are implemented to verify and analyse the proposed magnetic couplers. The main contributions of this thesis are summarised as follows. The first contribution is the investigation and comparison of magnetic materials. To investigate the influence of different magnetic materials on the performance of magnetic couplers, ferrite, amorphous and nanocrystalline are added to a receiving coil, respectively. Results show that using thinner amorphous and nanocrystalline alloys can obtain a similar coupling coefficient when thicker ferrite is used. To investigate the influence of ferrite thickness on the performance of magnetic couplers, different thicknesses of ferrites are added to the receiving coil, respectively. Results show that the coupling coefficient increases with an increased thickness of ferrites. To investigate the effect of magnetic material layer stacked on the performance of magnetic couplers, different layer numbers of amorphous and nanocrystalline alloys are added to the receiving coil, respectively. Results show that the coupling coefficient increases with an increased number of layers. Therefore, amorphous and nanocrystalline can be a good choice for magnetic couplers in WPT systems, because they can obtain a better magnetic coupling, are thin and light, which will greatly reduce the volume and weight of magnetic couplers. The second contribution is proposing an optimised plug-in magnetic coupler for WPT systems of UAVs with brackets. The transmitting part of the magnetic coupler comprises a vertical magnetic core structure with ferrites and a transmitting coil. Moreover, the receiving coil is installed on the UAVs bracket. Results show that the proposed plug-in magnetic coupler has a high coupling coefficient. The magnetic flux is concentrated in the magnetic coupler, and the low leakage magnetic flux can effectively reduce electromagnetic interference problems. The third contribution is proposing two types of magnetic couplers for WPT systems of small UAVs with flat bottoms. One type is a magnetic coupler comprising vertical spiral coils with ferrite PQI cores. The transmitting part comprises a vertical spiral coil and a ferrite PQ core, and the receiving part comprises a vertical spiral coil and a ferrite I core, which is installed on the abdomen of UAVs. This magnetic coupler can achieve tight coupling when the receiving coil is inserted into the transmitting coil given the small air gap. Results show that this magnetic coupler can provide strong magnetic flux densities, achieve a high coupling coefficient and maintain stable power transfer. Another type of magnetic coupler comprises sandwich coils with ferrite PQI cores. The transmitting part is constructed from two series-connected transmitting coils and a PQ core, and the receiving part comprises two series-connected transmitting coils and an I core. The transmitting and receiving coils are vertical spiral coils, which can concentrate the magnetic flux and reduce leakage magnetic flux. Results show that this kind of magnetic coupler can obtain a strong and stable magnetic field and improve the power transfer of WPT systems. The final contribution is the design of WPT systems using a planar magnetic flux concentrator (MFC). This planar MFC is a conductive metal plate with a centre hole and a slit in the radial direction. A switch connected to both sides of the slit. The MFC can achieve magnetic field concentration or magnetic shielding when the switch is off or on. The simulation results show that in the transmitting coil with an MFC, the magnetic flux density of the transmitting and receiving coils increase around the centre hole (which can increase power transfer) and reduces on the outer surface of the transmitting and receiving coils (which can reduce leakage magnetic field). Magnetic shielding can be obtained by a short-circuited MFC. Meanwhile, the power of the receiving coil increases by using a small size receiving coil in the transmitting coil with an MFC. The equivalent T-circuit for the coupling coils with an MFC is proposed on the basis of the impedance analysis. The MFC design is optimised to achieve an optimal result by using an MFC with a higher thickness and a smaller slit width. Moreover, the investigation in the case of coupling coils adding ferrite cores and with and without an MFC is carried out. Results show that using an MFC can enhance the magnetic field and increase the receiving power.<br>Thesis (PhD Doctorate)<br>Doctor of Philosophy (PhD)<br>School of Eng & Built Env<br>Science, Environment, Engineering and Technology<br>Full Text
APA, Harvard, Vancouver, ISO, and other styles
38

SINDICO, ANDREA. "Model driven development of context aware software systems." Doctoral thesis, Università degli Studi di Roma "Tor Vergata", 2009. http://hdl.handle.net/2108/1018.

Full text
Abstract:
In questa tesi viene descritto il lavoro svolto nella realizzazione di un framework model driven per la progettazione e lo sviluppo di sistemi software context aware ovvero capaci di adattare il proprio comportamento in funzione delle informazioni afferenti ad un "contesto" percepito. Il framework si basa su due linguaggi di modellazione e programmazione "domain specific", CAMEL (Context Aware ModEling Language) e JCOOL (Java COntext Oriented Language), appositamente definiti e per i quali sono stati sviluppati editor ed interpreti. L'obiettivo è quello di poter fornire al progettista strumenti che permettano di meglio gestire la progettazione di comportamenti dipendenti dal contesto anche rispetto a sistemi già esistenti.<br>With the aim to provide a contribute toward a major comprehension of the context awareness issues in software engineering in this thesis we present a modeling framework that can be used by engineers to model systems’ context aware characteristics independently of the possible implementation they could have. To this end we have appositely defined proper domain specific modeling and programming languages, respectively named CAMEL (Context Aware ModEling Language) and JCOOL (Java COntext Oriented Language), which allow the designer to be focused on the information related to the entities involved into the realization of a context aware behaviour making easy to share his/her understanding of such concern with other designers or developers. Moreover our modeling approach is based on aspect oriented modeling techniques so that it is possible to model context aware behaviours for already existing systems without having to modify their original models but only referring to their elements. Models based on this framework can be therefore object of transformation processes aimed at producing usefull artifacts such as: metrics or other measurments giving the designer feedbacks about his/her desigin choices; documentation which can be shared with the system’s stakeholders; code which actually implements them.
APA, Harvard, Vancouver, ISO, and other styles
39

Titze, Tobias, and Christian Chmelik. "Configurational entropy and intersection blocking effects in multicomponent systems in MFI-type zeolites studied by IR Microscopy." Universitätsbibliothek Leipzig, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-185456.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Titze, Tobias, and Christian Chmelik. "Configurational entropy and intersection blocking effects in multicomponent systems in MFI-type zeolites studied by IR Microscopy." Diffusion fundamentals 16 (2011) 58, S. 1-2, 2011. https://ul.qucosa.de/id/qucosa%3A13801.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Dede, Ozlem. "Pervaporation Of Organic/water Mixtures By Mfi Type Zeolite Membranes Synthesized In A Flow System." Master's thesis, METU, 2007. http://etd.lib.metu.edu.tr/upload/12608646/index.pdf.

Full text
Abstract:
Zeolite membrane synthesis is conventionally carried out in batch systems. Recently, several attempts have been performed to synthesize zeolite membranes in flow systems which can allow preparation of membranes with large specific surface areas. Membranes synthesized in the recirculating flow system had comparable N2/SF6 and n- C4H10/i-C4H10 ideal selectivities with the membranes prepared in the batch system, indicating that good quality membranes can be produced by this method. The objective of this study is to separate organic/water mixtures by pervaporation by using MFI type membranes synthesized in the flow system. Effect of number of synthesis steps and synthesis method on the separation factor and flux was investigated. Membranes were synthesized from clear solutions with a molar composition of 80SiO2:16TPAOH:1536H2O at 95oC and atmospheric pressure. The synthesis solution was recirculated through the tubular alumina support with a flow rate of 6 ml/min for 72 h. The membranes were characterized by X-ray diffraction for phase identification and scanning electron microscopy for morphology determination. Single gas permeances of N2, H2, CH4, CO2, n-C4H10 and i-C4H10 were measured between 25 and 200oC. Mixtures of 5 wt% ethanol/water, 2-propanol/water and acetone/water were separated by pervaporation at different temperatures. The single gas permeances decreased with increasing temperature for weakly adsorbed gases. For n-C4H10 the permeance passed through a maximum and i-C4H10 permeance was nearly constant. For a membrane synthesized by two consecutive synthesis steps, the ideal selectivity for n-C4H10/i-C4H10 was 132 at 200oC. The selectivity in the pervaporation separation of ethanol-water mixture was 43 with a permeate flux of 0.2 kg/m2h at 25oC. With increasing temperature, selectivity decreased but the flux increased, the selectivity was 23 and the flux was 1.9 kg/m2h at 85oC. 2-propanol/water and acetone/water separation factors were 36 and 1024 with 0.2 and 0.1 kg/m2h fluxes, respectively. The separation factors and fluxes for membranes synthesized in the flow system were comparable with membranes synthesized in the batch system.
APA, Harvard, Vancouver, ISO, and other styles
42

Wallace, Jamie Stuart. "Development of a Carbon Dioxide Continuous Scrubber (CDOCS) System for Alkaline Fuel Cells." Thesis, University of Canterbury. Mechanical Engineering, 2006. http://hdl.handle.net/10092/1077.

Full text
Abstract:
Alkaline fuel cells (AFC's) using renewable fuels are a developing technology capable of meeting market niches in standby, standalone and distributed power generation. AFC's generate electricity, heat and water using hydrogen and oxygen as fuels. While AFC's have been known and the principles demonstrated for over sixty years, their use has been restricted primarily to space applications. Recent technological developments have seen the cost of AFC stacks fall considerably; this together with several other advantages over competing fuel cell technology, has rekindled interest in commercial systems. The main deterrent to wide spread commercialisation of AFC systems is susceptibility to carbon dioxide (CO2) in atmospheric air used as the oxygen supply. AFC's require a low cost, low energy, continuous scrubbing device to reduce CO2 in air from approximately 380 parts per million (ppm) atmospheric concentration to below 50 ppm. Current technology to overcome this problem, a solid expendable absorbent called soda lime, is not viable for commercial systems. The project scope included concept generation of a device to remove CO2 from air, the development of a CO2 measurement technique, investigation of chemistry and flow phenomena to determine design relations, and product design and embodiment. The scrubber system conceived specifically for AFC systems uses the temperature swing chemistry of a liquid chemical absorbent, monoethanolamine, and a packed bubble column apparatus to provide intimate gas-liquid interaction. Prototype development proved the Carbon Dioxide Continuous Scrubber (CDOCS) concept and a Patent Cooperation Treaty (PCT) patent was granted, followed by a full American patent. A gas chromatographic measurement technique was developed to measure low ppm concentration CO2 in air, enabling regular monitoring of scrubbed gas. Carbon dioxide was separated from a small sample of scrubbed air by chromatographic columns, and the gases analysed with a thermal conductivity detector. The GC system was capable of measuring to 10 ppm with good resolution and accuracy. Experimental studies were carried out to characterise the flow dynamics and absorption phenomena in the packed bubble column absorber. The relationship between absorption performance and gas-liquid contact time, an important operating parameter for use with AFC's, was theoretically determined and later confirmed by experiment. The regeneration process was studied and the optimal regenerator design determined to be second, smaller packed bubble column. Experiments were conducted to establish design relations for regeneration temperature, flush gas flow rate and the effect of multiple regeneration cycles. A prototype CDOCS system was built to enable experimental characterisation of scrubbing performance as a function of primary design and operating parameters including liquid depth, regenerator operating temperature and solution composition. This resulted in a good understanding of the system, and an optimised experimental run was performed for cost and performance comparison to existing scrubbing technology. The CDOCS was capable of reducing CO2 in air from 380 to 80 ppm for thirty days, providing low cost, low maintenance scrubbing compared to soda lime. The capital cost of the CDOCS is considerably more than for soda lime scrubbers, and the penalty for extended operation is parasitic power consumption by the CDOCS system totalling less than 7% of fuel cell output. It is suggested that a combination of the two technologies be used initially to provide effective, low cost scrubbing for AFC and CDOCS co-development. Future work on the CDOCS project should include reduction of chemical vapour carry over to the fuel cell, followed by integration with an AFC system. This would allow further development, refinement and design for production to reduce capital cost.
APA, Harvard, Vancouver, ISO, and other styles
43

Lindberg, Oskar, and Alfred Birging. "Solbruksplan för effektiv utbyggnad av solcellsparker : Kartering genom elnätssimulering och geografisk analys." Thesis, Uppsala universitet, Institutionen för teknikvetenskaper, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-401501.

Full text
Abstract:
One of the major challenges that the energy system is facing is how 100% renewable electricity generation should be designed and controlled. So far, utility-scale solar photovoltaic (PV) parks, have dominated the international market and is expected to grow in Sweden. In order for this expansion to thrive it needs to be done in a resource and system-efficient way. In this study, a methodology for a utility-scale solar guide (from Swedish 'Solbruksplan') is developed. This is done through electrical grid simulations and geographical analysis in order to find strategic locations for PV parks, without grid reinforcements, using Herrljunga municipality as a case study. The electrical grid is analyzed through power flow simulations and the geographical assessment is done using multi-criteria analysis (MCA) with a Boolean approach. Three different sizes of PV parks, 1, 3, and 5 MW, were simulated and assessed. The results show that 8.6% of the total area in the municipality, or 78,500 square meters per substation, is suitable for locating 1 MW PV parks. The majority of the grid’s substations (about 90%) also have enough capacity for a PV park of 1 MW. Furthermore, parts of the grid can host PV parks of 3 and 5 MW, but limited to the proximity of the urban areas. However, 3 and 5 MW PV parks are not suitable due to limited land availability in urban areas. The results highlight that a utility-scale solar guide can be used to effectively identify possible areas for PV parks, considering geography and grid capacity. Hence, it can function as a tool for utility companies, municipalities, PV companies and land-owners to find resource and system-efficient locations for PV parks.<br>Solbruksplaner för system- och resurseffektiv utbyggnad av solelproduktion
APA, Harvard, Vancouver, ISO, and other styles
44

Grobbelaar, Loreen. "Treatment of biodiesel wastewater in a hybrid anaerobic baffled reactor microbial fuel cell (ABR-MFC) system." Thesis, Cape Peninsula University of Technology, 2019. http://hdl.handle.net/20.500.11838/2812.

Full text
Abstract:
Thesis (Master of Engineering in Chemical Engineering)--Cape Peninsula University of Technology, 2019.<br>The biodiesel industry produces large volumes of biodiesel wastewater (BDWW) during the purification of crude biodiesel. This wastewater is characterised by high concentrations of chemical oxygen demand (COD), biological oxygen demand (BOD), total suspended solids (TSS), and fats, oils and greases (FOG) which in turn defines BDWW as a highly polluted effluent. The low nitrogen and phosphorous content of BDWW creates an unfavourable environment for the growth of microorganisms, thereby making it difficult to degrade naturally. Biodiesel companies discharge untreated non-compliant wastewater directly to the municipal sewer system. Treatment prior to discharge is a necessity since the disposal of untreated BDWW may raise serious environmental concerns (i.e. disturbance of biological ecosystems) resulting in penalties liable by non-compliant companies due to the implementation of the waste discharge charge system (WDCS) which is regulated by the industrial waste discharge standard limits in South Africa (SA). This study aimed to combine the advantages of the conventional anaerobic baffled reactor (ABR) system with microbial fuel cell (MFC) technology resulting in an innovative technology used to treat high strength industrial BDWW at ambient conditions. Many studies have reported effective treatment of BDWW, however to date literature implementing an ABR equipped with MFC technology has not been reported. The main objectives of the study were to determine which parameters do not meet the industrial wastewater discharge standard limits, whether pH and carbon:nitrogen:phosphorous (C:N:P) ratio adjustments will suffice prior to treatment with the ABR-MFC, the maximum power density (PD) as well as to determine the treatment efficiency of the ABR-MFC.
APA, Harvard, Vancouver, ISO, and other styles
45

Ström-Olsen, Sverre. "Kan IT lösningar effektivisera operationsverksamheter på svenska sjukhus? : MBA-uppsats med inriktning mot elektroniska affärer." Thesis, University of Gävle, Department of Business Administration and Economics, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-367.

Full text
Abstract:
<p>Mitt examensarbete behandlar möjligheterna att effektivisera operationsverksamheterna på svenska sjukhus med hjälp av IT lösningar.</p><p>Information har samlats in genom intervjuer av sjukvårsdspersonal och genom sökning på Internet. Operationsprocessen beskrivs och analyseras med hjälp av värdeanalysmetoden och flaskhalsanalysmetoden.</p><p>Min slutsats är att svenska sjukhus bör effektivisera sina operationsprocesser i en strävan efter att skapa rätt värde för sina patienter. De bör försöka utnyttja möjligheterna med operationsplaneringssystem för att eliminera onödigt arbete och utveckla patientvärde. De fåtal svenska sjukhus som ännu inte gjort det bör införa operationsplaneringssystem.</p><p>Det är inte IT system i sig själva som tillför nytta och som effektiviserar verksamheter. Det är den förändring i arbetssätt och processer som kan stimuleras och realiseras med hjälp av IT systemen som tillför nytta.</p><p>Det räcker inte med att införa IT system och effektivisera arbetssätt för att effektivisera operationsverksamheterna. Det är viktigt att den politiska ledningen och förvaltningsledningen vill effektivisera och att de inför styrmekanismer och finansieringsmodeller som stimulerar till detta. För att förmå personal att engagera sig i förändringsarbete så krävs en kultur som uppmuntrar och främjar förändringsinitiativ. Det handlar om ett starkt ledarskap som förmedlar tydliga visioner, uppmuntrar personligt engagemang och ger individer ansvar och befogenhet att agera och förändra. Det gäller inte minst inom sjukvården.</p>
APA, Harvard, Vancouver, ISO, and other styles
46

Soydas, Belma. "Characterization Of Zeolite Membranes By Gas Permeation." Phd thesis, METU, 2009. http://etd.lib.metu.edu.tr/upload/12610603/index.pdf.

Full text
Abstract:
Zeolite membranes are attractive materials to separate gas and liquid mixtures. MFI is a widely studied zeolite type due to its ease of preparation and comparable pore size with the molecular size of many substances. In this study MFI type membranes were synthesized over porous &amp<br>#945<br>-Al2O3 supports and characterized with XRD, SEM and gas permeation measurements. In the first part of this study the effect of soda concentration of the synthesis solution on the membrane morphology and crystal orientation was investigated. The synthesis was carried out from solutions with a molar composition of (0- 6.5)Na2O:25SiO2:6.9TPABr:1136H2O at 150oC. At soda concentrations between 0.45 and 1.8 the membrane layers with (h0h)/c-directed orientation were obtained. At lower and higher soda concentrations membrane layer formed from randomly oriented crystals. The (h0h)/c-oriented membranes showed H2/n-C4H10 ideal selectivities of 478 and 36 at 25&deg<br>C and 150&deg<br>C, respectively.In the second part, MFI membranes were synthesized from mixtures with different concentrations of template molecules. Tetrapropylammonium hydroxide, tetrapropylammonium bromide or mixture of both types were used as template. The nucleation period, the size of MFI crystals, membrane thickness decreased as the tetrapropylammonium hydroxide concentration increased. Besides conversion of SiO2 in the synthesis solution to MFI passed through a maximum with increasing concentration of tetrapropylammonium hydroxide in the synthesis solution. When tetrapropylammonium bromide was used as template thicker membranes were obtained. In the third part MFI type membranes with a thickness of 1.5-2 &amp<br>#956<br>m were synthesized by mid-synthesis addition of silica to the synthesis medium. The membranes synthesized with and without mid-synthesis addition of silica have n-C4H10/i-C4H10 ideal selectivities of 47 and 8 at 100oC, respectively. The change of composition during the synthesis increases the crystal growth rate and the size of the crystals forming the membrane, thus better quality membranes can be obtained by mid-synthesis addition of silica to the synthesis medium. In the last part of this study, thin MFI type zeolite membranes were synthesized in a recirculating flow system at 95&deg<br>C on the inner side of the tubular &amp<br>#945<br>- alumina supports. A membrane synthesized by two consecutive synthesis steps had a separation selectivity of 38 and 86 for equimolar mixtures of n- C4H10/CH4 and n-C4H10/N2 at 25oC, respectively. The membrane selectively permeated large n-C4H10 over small CH4 and N2, suggesting that the separation is essentially adsorption-based and the membrane has few nonselective intercrystalline pores.
APA, Harvard, Vancouver, ISO, and other styles
47

Mili, Saoussen. "Approche de vérification formelle des exigences de sécurité pour les systèmesembarqués communicants." Thesis, CY Cergy Paris Université, 2020. http://www.theses.fr/2020CYUN1062.

Full text
Abstract:
La maîtrise de la sécurité dans les systèmes embarqués communicants se heurte àun certain nombre de difficultés, dues à leur nature qui est le plus souvent complexe. Adopter une approche basée sur les modèles pour la vérification des exigences du système dès la phase de conception peut apporter un gain important en matière de coût et de temps.Dans ce travail de thèse, nous proposons une approche centrée sur les modèlespour la vérification formelle de la satisfaisabilité d’un scénario d’attaque pour un système embarqué communicant. L’approche proposée est composée de trois étapes : i) la modélisation conceptuelle du système, ii) la modélisation conceptuelle de l’attaque, iii) la transformation des modèles conceptuels en modèles formels en vue de vérification. Le langage SysML a été choisi pour la modélisation structurelle et comportementale du système en raison de son adaptabilité et son extensibilité par profilage. Afin de personnaliser la modélisation des flux de données, nous avons stéréotypé les ports et les connecteurs suivant les technologies et leurs propriétés. Cettepersonnalisation nous a permis de suivre les traces de la circulation des flux entre les différents sous-systèmes communicants. Une ébauche de la documentation du profil de connectivité a été proposée. Pour la structuration de l’attaque, un profil de l’arbre d’attaque étendu nommé ExtAttTree a été proposé. À la différence des arbres d’attaque classiques, ce profil parvient à assurer l’aspect formel et temporel de l’attaque, grâce à l’insertion des opérateurs de la logique temporelle dans ses nœuds.Dans le cadre ainsi défini, la conduite d’une étude de transformation de modèlesest introduite dans la troisième partie. Elle a pu se dérouler d’une manière assez optimale en s’appuyant sur le paradigme Model-Drivent Architecture. Nous avons engagé deux processus de transformation, le premier visant à générer du code NuSMV à partir des modèles SysML en utilisant une transformation par template (Acceleo). Le second assure le passage de l’attaque ExtAttTree vers la formule Computational Tree Logic en utilisant une transformation par programmation (Java). Les modèles générés sont simulés sur le model checker NuSMV. Le système est caractérisé par des attributs ; pour faire des tests de satisfaisabilité, une variation de la valeur de vérité des attributs est effectuée. À cet effet, nous pouvons détecter avec exactitude les conditions qui ont mené à une attaque. En complément de cette approche, deux cas d’étude de voitures connectées ont été proposés (la Jeep Cherokee et la Tesla model S). Des scénarios d’attaque inspirés du réel ont été analysés afin de valider l’approche<br>Due to their most often complex nature, the control of the security in commu-nicating embedded systems comes up against major difficulties. The adoption of amodel-based approach for verifying system requirements at the earliest stage, i.e. in the design phase, may bring about substantial cost cutting and time saving. In this doctoral thesis, we propose a design-centric approach for the formal verification of an attack scenario satisfiability for embedded communicating systems. Thus, we propose a three-stage approach : i) conceptual modelling of the system, ii) conceptual modelling of the attack, iii) transformation of conceptual models into formal models for verification. For the structural and behavioural modelling of the system, we opted for the SysML language as it offers the best adaptability and extensibility by profiling. In order to personalize the modelling of data flows, we stereotyped ports and connectors according to their technologies and properties. This extension allowed us to monitor the circulation traces of flows between the differentcommunicating subsystems. A documentation of the connectivity profile was pro-posed. For structuring the attack, we put forward an extended attack tree profile termed ExtAttTree. Unlike conventional attack trees, this profile manages to ensure both formal and temporal aspects of the attack, through the insertion of operators of temporal logic in its nodes.We introduce, in the third part, a study of models’ transformation, carried outwithin this predefined framework. The transformation proceeded in a substantially optimized way, based on the Model-Driven Architecture paradigm. We implemented two transformation processes. The first aimed to generate NuSMV code from SysML models by using a transformation by template paradigm with Acceleo. The second ensures the transition from the ExtAttTree attack to the Computational Tree Logic formula using a programming language transformation paradigm with Java. The generated models are simulated on the NuSMV model checker. The system is characterized by attributes ; to achieve satisfiability tests, a variation in the attributes truth-value is carried out. This scheme allows to accurately detect the conditions that led to an attack. As a complement to this approach, we proposed two case studies of connected cars remote attacks (the Jeep Cherokee and the Tesla Model S). The attack scenarios inspired from real-life are analyzed in order to validate the approach
APA, Harvard, Vancouver, ISO, and other styles
48

Yousefian, Narek. "The three-component multidrug MFS-type efflux pump EmrAB-TolC from Escherichia coli : from cloning to structural analysis." Thesis, Bordeaux, 2020. http://www.theses.fr/2020BORD0065.

Full text
Abstract:
A l’heure actuelle, suite à une mauvaise utilisation des antibiotiques, nous faisons face à un problème majeur de santé publique. En effet la résistance aux antibiotiques de certaines souches bactériennes rend le traitement des infections très complexe. Dans ce contexte, le présent projet de thèse concerne l'étude d'un complexe d'efflux bactérien capable de transporter des antibiotiques du cytoplasme vers l'extérieur de la cellule. Ce complexe est composé d'un transporteur de la membrane interne appartenant à la Major Facilitator Superfamily (MFS) (EmrB, E. coli multidrug resistance), d'un canal de la membrane externe TolC (Tolerance to Colicin E1) et d'un adaptateur périplasmique (EmrA, E. coli multidrug resistance). Contrairement aux systèmes d'efflux de type RND (tels que AcrAB-TolC), peu de choses sont connues sur le système EmrAB-TolC de type MFS. Il est donc important d'étudier l'ensemble du complexe sur le plan structurale et fonctionnel afin d'identifier les différences entre ces deux types de systèmes d’efflux. L'objectif de mon projet de thèse était d'étudier au moins un complexe EmrAB-TolC d'un point de vue structurale. Ainsi durant mes études, le but était d'isoler le complexe directement des bactéries surexprimant les trois partenaires protéiques. Dans un premier temps, 15 systèmes homologues EmrAB-TolC ont été identifiés et leurs gènes correspondants amplifiés à partir de l'ADN génomique de différentes bactéries à Gram négatif. Parmi les gènes des 15 systèmes, les gènes codant pour les systèmes d’E. coli et de V. cholerae ont été étudiés plus en détail. Les vecteurs d'expression codaient pour des marqueurs fluorescents pour la mesure des niveaux d'expression de différentes protéines et pour l'étude de la formation des complexes. Dans un premier temps, les différents niveaux d'expression des protéines (EmrB-mRFP1 et EmrA-sfGFP) ont été étudiés pour plusieurs souches d'expression d'E. coli en mesurant les niveaux de fluorescence rouge et verte et par Western blot (anti-His, Myc et Strep pour EmrB, EmrA et TolC). La souche d'E. coli C41(DE3) était la mieux adaptée pour la co-expression d’EmrAB-TolC. Dans un deuxième temps, la méthodologie FSEC (Fluorescence detection Size Exclusion Chromatography) a été utilisée pour identifier un complexe adapté à l'étude structurale. Ainsi, cette méthode a permis d'observer que le complexe EmrAB-TolC d'E. coli était produit en plus grande quantité que celui de V. cholerae. Le protocole final de co-purification consiste à effectuer une lyse douce des bactéries à l'aide du lysozyme, puis après solubilisation avec le DDM, la purification est débutée par une étape de chromatographie d'affinité Ni2+-NTA suivie d'une étape de chromatographie d'exclusion stérique. Enfin, les fractions contenant les trois partenaires protéiques sont utilisées pour l'échange de détergent par l'amphipol A8-35 avant l'étude structurale par microscopie électronique. Les images de microscopie électronique en coloration négative montrent des objets allongés d'une longueur de 33 nm en vue de côté. Une image moyenne d'EmrAB-TolC montre des similitudes avec celle du complexe AcrAB-TolC observé dans des conditions similaires. Les similitudes concernent les densités caractéristiques de TolC. Des différences ont été trouvées pour la partie inférieure d'EmrAB qui est plus fine que la partie inférieure d'AcrAB. Les densités visibles au-dessus de l'anneau d'amphipol correspondent à EmrA, qui présente une structure en forme de canal comme observé avec AcrA. Le canal semble cependant s'étendre plus loin vers la ceinture d'amphipol. Comme EmrB n'a pas de domaine périplasmique étendu présent dans le cas des protéines RND, ces densités sont donc uniquement attribuées à EmrA. EmrA, de l'autre côté, contacte TolC de manière similaire à l'interaction d'AcrA/MexA avec leurs canaux de la membrane externe respectifs (TolC/OprM) de façon «tip-to-tip»<br>Currently, due to the misuse of antibiotics, we are facing a major public health problem. The resistance to antibiotics of certain bacterial strains makes the treatment of infections very complex. In this context, the present thesis project concerns the study of a bacterial efflux complex capable of transporting antibiotics from the cytoplasm to the outside of the cell. This complex is composed of an inner-membrane Major Facilitator Superfamily (MFS) transporter (EmrB, E. coli multidrug resistance), a channel of the outer membrane TolC (Tolerance to Colicin E1) and a periplasmic adapter (EmrA, E. coli multidrug resistance). Unlike RND-type efflux systems (such as AcrAB-TolC), little is known about the MFS-type EmrAB-TolC system. It is therefore important to study the entire complex on a structural and functional level, to analyse the marked differences between these two types of transport systems. The goal of my thesis project was to study at least one EmrAB-TolC complex from a structural point of view. For my studies the aim was to isolate the complex directly from bacteria overexpressing the three protein partners. In a first step, 15 homologous EmrAB-TolC systems were identified and their corresponding genes amplified from genomic DNA of different Gram-negative bacteria. Among the genes of the 15 systems, the genes coding for the E. coli and V. cholerae systems were further studied. The expression vectors encoded fluorescent markers for the monitoring of the expression levels of different proteins and for studying the formation of complexes. In a first step, the different protein expression levels (EmrB-mRFP1 and EmrA-sfGFP) were studied for several expression strains of E. coli by measuring the red and green fluorescence levels and by Western blot (anti-His, Myc, and Strep for EmrB, EmrA, and TolC). The E. coli strain C41(DE3) was best suited for co-expression of EmrAB-TolC. In a second step, the FSEC (Fluorescence detection Size Exclusion Chromatography) methodology was used to identify a complex suitable for structural study. Thus this method enabled the observation that the EmrAB-TolC complex of E. coli was produced in higher amount than that of V. cholerae. The final co-purification protocol consists in perfoming a gentle lysis of the bacteria using lysozyme, then after solubilization with DDM, the purification is started by a Ni2+-NTA affinity chromatography step followed by a size exclusion chromatography step. Finally, the fractions containing the three protein partners are used for the detergent-exchange by amphipol A8-35 before the structural study by electron microscopy. Negative stain EM-micrographs displayed elongated objects with a length of 33 nm in side view. An average image of EmrAB-TolC shows similarities to that of the AcrAB-TolC complex observed under similar conditions. Similarities included the characteristic densities of TolC. Whereas differences were found in the lower part of EmrAB which is thinner than the lower part of AcrAB. The densities visible above the amphipol-ring correspond to EmrA, which displays a channel-like structure as in AcrA. The channel however seems to extend further towards the amphipol belt. Since EmrB does not have an extended periplasmic domain as the RND proteins have, these densities are therefore solely assigned to EmrA. EmrA, on the other side, contacts TolC akin to the interaction of AcrA/MexA to their cognate outer membrane channels (TolC/OprM) in a ‘tip-to-tip’ fashion<br>Aufgrund des Missbrauchs von Antibiotika stehen wir derzeit vor einem großen Problem deröffentlichen Gesundheit. Die Antibiotikaresistenz bestimmter Bakterienstämme macht die Behandlungvon Infektionen sehr komplex.In diesem Zusammenhang befasst sich diese Arbeit mit der Untersuchung eines bakteriellenEffluxkomplexes, der Antibiotika vom Zytoplasma zur Außenseite der Zelle transportieren kann. DieserKomplex besteht aus einem Major Facilitator Superfamily (MFS) Transporter der inneren Membran(EmrB, E. coli multidrug resistance), einem Kanal der äußeren Membran TolC (Tolerance to Colicin E1)und einem periplasmatischen Adapter (EmrA, E. coli multidrug resistance).Im Gegensatz zu Effluxsystemen vom RND-Typ (wie AcrAB-TolC) ist über das EmrAB-TolCSystemvom MFS-Typ wenig bekannt. Es ist daher wichtig, den gesamten Komplex auf struktureller undfunktioneller Sicht zu untersuchen, um die deutlichen Unterschiede zwischen diesen beiden Arten vonEffluxsystemen zu analysieren.Ziel meiner Doktorarbeit war es, mindestens einen EmrAB-TolC-Komplex aus struktureller Sichtzu untersuchen. Ziel meiner Studien war es, den Komplex direkt aus Bakterien, die die dreiProteinpartner überexprimieren, zu isolieren. In einem ersten Schritt wurden 15 homologe EmrAB-TolCSystemeidentifiziert und ihre entsprechenden Gene aus der genomischen DNA verschiedenergramnegativer Bakterien amplifiziert. Unter den Genen der 15 Systeme wurden die Gene, die für die E.coli und V. cholerae Systeme kodieren, weiter untersucht. Die Expressionsvektoren codiertenfluoreszierende Marker zur Untersuchung der Expression verschiedener Proteine und zur Untersuchungder Komplexbildung. In einem ersten Schritt wurden die verschiedenen Niveaus der Proteinexpression(EmrB-mRFP1 und EmrA-sfGFP) für mehrere E. coli Expressionsstämme untersucht durch Messen derroten und grünen Fluoreszenzniveaus und durch Western Blot (Anti-His, Myc und Strep für EmrB, EmrAund TolC). Der Stamm von E. coli C41(DE3) war am besten für die Koexpression von EmrAB-TolC14 geeignet. In einem zweiten Schritt wurde die FSEC-Methode (Fluorescence Detection Size ExclusionChromatography) verwendet, um einen für Strukturuntersuchungen geeigneten Komplex zuidentifizieren. Somit konnte mit dieser Methode festgestellt werden, dass der EmrAB-TolC-Komplex vonE. coli in größerer Menge als der von V. cholerae produziert wurde.Das endgültige Ko-Reinigungsprotokoll besteht darin, eine sanfte Lyse der Bakterien unterVerwendung von Lysozym durchzuführen. Nach der Solubilisierung mit DDM wird die Reinigung durcheinen Ni2+-NTA Affinitätschromatographieschritt gefolgt von einemGrößenausschlusschromatographieschritt gestartet. Schließlich werden die Fraktionen, die die dreiProteinpartner enthalten, für den Detergensaustausch durch Amphipol A8-35 vor derStrukturuntersuchung durch Elektronenmikroskopie verwendet.EM-Aufnahmen mit negativer Kontrastierung zeigten längliche Objekte mit einer Länge von 33nm in Seitenansicht. Ein durch Mittlung der Partikel erhaltenes Bild von EmrAB-TolC zeigt Ähnlichkeitenmit dem des AcrAB-TolC-Komplexes, der unter ähnlichen Bedingungen beobachtet wurde.Ähnlichkeiten schlossen die charakteristischen Dichten von TolC ein. Während im unteren Teil vonEmrAB Unterschiede festgestellt wurden, der dünner ist als der untere Teil von AcrAB. Die über demAmphipolring sichtbaren Dichten entsprechen EmrA, das wie bei AcrA eine kanalartige Strukturaufweist. Der Kanal scheint sich jedoch weiter in Richtung des Amphipolgürtels zu erstrecken. Da EmrBkeine erweiterte periplasmatische Domäne aufweist wie die RND-Proteine, werden diese Dichten daherausschließlich EmrA zugeordnet. Auf der anderen Seite kontaktiert EmrA TolC, ähnlich der Interaktionvon AcrA/MexA mit ihren jeweiligen Außenmembrankanälen (TolC/OprM), von “tip-to-tip”
APA, Harvard, Vancouver, ISO, and other styles
49

Chinenyeze, Samuel Jaachimma. "Mango : a model-driven approach to engineering green Mobile Cloud Applications." Thesis, Edinburgh Napier University, 2017. http://researchrepository.napier.ac.uk/Output/976572.

Full text
Abstract:
With the resource constrained nature of mobile devices and the resource abundant offerings of the cloud, several promising optimisation techniques have been proposed by the green computing research community. Prominent techniques and unique methods have been developed to offload resource/computation intensive tasks from mobile devices to the cloud. Most of the existing offloading techniques can only be applied to legacy mobile applications as they are motivated by existing systems. Consequently, they are realised with custom runtimes which incur overhead on the application. Moreover, existing approaches which can be applied to the software development phase, are difficult to implement (based on manual process) and also fall short of overall (mobile to cloud) efficiency in software qualityattributes or awareness of full-tier (mobile to cloud) implications. To address the above issues, the thesis proposes a model-driven architecturefor integration of software quality with green optimisation in Mobile Cloud Applications (MCAs), abbreviated as Mango architecture. The core aim of the architecture is to present an approach which easily integrates software quality attributes (SQAs) with the green optimisation objective of Mobile Cloud Computing (MCC). Also, as MCA is an application domain which spans through the mobile and cloud tiers; the Mango architecture, therefore, takesinto account the specification of SQAs across the mobile and cloud tiers, for overall efficiency. Furthermore, as a model-driven architecture, models can be built for computation intensive tasks and their SQAs, which in turn drives the development – for development efficiency. Thus, a modelling framework (called Mosaic) and a full-tier test framework (called Beftigre) were proposed to automate the architecture derivation and demonstrate the efficiency of Mango approach. By use of real world scenarios/applications, Mango has been demonstrated to enhance the MCA development process while achieving overall efficiency in terms of SQAs (including mobile performance and energy usage compared to existing counterparts).
APA, Harvard, Vancouver, ISO, and other styles
50

Fenn, Ashley M. "Mechanisms and Consequences of Microglial Priming and Dysregulated M2a Responses with Age and Central Nervous System Injury." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1397304170.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography