Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-03-27T16:22:07Z No. of bitstreams: 1 MarcellSantanaDeDeus_DISSERT.pdf: 1959225 bytes, checksum: 9aade90da1903b4271cccf44646e9381 (MD5) / Approved for entry into archive by Monica Paiva (monicalpaiva@hotmail.com) on 2017-03-27T16:27:05Z (GMT) No. of bitstreams: 1 MarcellSantanaDeDeus_DISSERT.pdf: 1959225 bytes, checksum: 9aade90da1903b4271cccf44646e9381 (MD5) / Made available in DSpace on 2017-03-27T16:27:05Z (GMT). No. of bitstreams: 1 MarcellSantanaDeDeus_DISSERT.pdf: 1959225 bytes, checksum: 9aade90da1903b4271cccf44646e9381 (MD5) Previous issue date: 2015-07-31 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Os reservat?rios de petr?leo possuem, na ?poca da sua descoberta, uma energia inicial, chamada de energia prim?ria. Quando a energia natural do reservat?rio n?o ? mais suficiente para fazer com que o ?leo escoe para os po?os, ainda h? um grande volume de ?leo retido no mesmo, portanto, para que esse volume chegue ? superf?cie, ? necess?ria a aplica??o de m?todos visando aumentar a produtividade do campo. Esses m?todos s?o denominados de M?todos de Recupera??o. Existem duas classes de m?todos de recupera??o: convencionais e especiais ou avan?ados. A utiliza??o de tensoativos e seus sistemas se enquadram na classe de m?todos de recupera??o avan?ada, sendo considerada uma alternativa eficiente dentre os m?todos atualmente aplicados. Os processos de produ??o de petr?leo e g?s geram grandes volumes de res?duos l?quidos, ?guas residuais ou ?gua produzida, que cont?m v?rios componentes org?nicos e inorg?nicos, e a sua descarga sem tratamento pode poluir o solo e as ?guas da superf?cie e do subsolo. Este trabalho tem como objetivo avaliar a viabilidade da utiliza??o da ?gua produzida como fase aquosa de sistemas de microemuls?o e sua aplica??o como m?todo de recupera??o avan?ada em reservat?rio carbon?tico. Foram obtidos diferentes sistemas microemulsionados com e sem ?gua produzida e realizadas as suas caracteriza??es (reologia, tens?o superficial e densidade). A rocha carbon?tica utilizada foi caracterizada por (microscopia eletr?nica de varredura, fluoresc?ncia de raios-X, difra??o de raios-X e termogravimetria). Para os ensaios de recupera??o foram utilizadas dois pontos de microemuls?o (micela direta e bicont?nua), variando a fase aquosa entre ?gua produzida sint?tica e ?gua de torneira. Os resultados obtidos apresentaram recupera??es de ?leo in place em torno de 90%, concluindo assim que o uso da ?gua produzida como fase aquosa da microemuls?o n?o prejudica a recupera??o e n?o reduz a efici?ncia do processo.

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. / gruszka.robert@gmail.com

No description available.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

This thesis describes a visual programming language designed to describe and generate Ada program unit specifications. The author first describes the foundations for the work, and gives a brief introduction to some of the features of the language. Most of the thesis is dedicated to describing the visual representation for each portion of an Ada package specification. The BNF grammar of an Ada package specification is used as a basis for organization. By organizing the thesis via the package specification, all program unit specifications i.e., package, task, subprogram and generic specifications) are described and given a representation in the language. Toward the end of the thesis, the design and reference of a package specification is demonstrated in a hypothetical implementation. / Master of Science

Master of Science / Department of Computing and Information Sciences / John Hatcliff / Medical devices are safety-critical systems whose failure may put human life in danger. They are becoming more advanced and thus more complex. This leads to bigger and more complicated code-bases that are hard to maintain and verify. Model-driven development provides high-level and abstract description of the system in the form of models that omit details, which are not relevant during the design phase. This allows for certain types of verification and hazard analysis to be performed on the models. These models can then be translated into code. However, errors that do not exist in the models may be introduced during the implementation phase. Automated translation from verified models to code may prevent to some extent. This thesis proposes approach for model-driven development and verification of medical devices. Models are created in AADL (Architecture Analysis & Design Language), a language for software and hardware architecture modeling. AADL models are translated to SPARK Ada, contract-based programming language, which is suitable for software verification. Generated code base is further extended by developers to implement internals of specific devices. Created programs can be verified using SPARK tools. A PCA (Patient Controlled Analgesia) pump medical device is used to illustrate the primary artifacts and process steps. The foundation for this work is "Integrated Clinical Environment Patient-Controlled Analgesia Infusion Pump System Requirements" document and AADL Models created by Brian Larson. In addition to proposed model-driven development approach, a PCA pump prototype was created using the BeagleBoard-xM device as a platform. Some components of PCA pump prototype were verified by SPARK tools and Bakar Kiasan.

The purpose of this study was to determine the degree to which existing aquatic facilities in the North Texas metroplex complied with the 1991 Americans with Disabilities Act Accessibility Guidelines (ADAAG) and the proposed Americans with Disabilities Act Accessibility Guidelines: Recreation Facilities (ADAAG supplement). Fifty-two aquatic facilities were evaluated based on: parking lot, ticket counter, gate/entry, restroom, dressing area, drinking fountain, pathway, and pool entry method structural domains. Physical measurements and a few direct observations were recorded on the survey instrument. Surveys were then reviewed and facility scores were tabulated. No facility was found to be 100% compliant with ADAAG and the ADAAG supplement. Aquatic facilities are already struggling to catch up with the 1991 ADAAG, but when the United States Department of Justice approves the proposed ADAAG supplement, aquatic facilities will fall even further behind.

4 ABSTRACT Interleukin-1α (IL-1α) is a pleiotropic cytokine and a key mediator of host immune response. It is synthesised as a 31-kDa precursor, that is cleaved by the cysteine protease calpain into the 17-kDa mature IL-1α and the 16-kDa N- terminal peptide of IL-1α (IL-1αNTP). Although IL-1α can be secreted, act on target cells through the surface receptor IL-1RI and trigger the signal transduction pathway, increasing evidence points toward the involvement of IL-1α in certain nuclear processes. IL-1αNTP is highly conserved among higher eukaryotes and contains a nuclear localisation sequence; indeed, both the precursor and IL-1αNTP are found in the cell nucleus. Previously, a genetic interaction of IL-1α with nuclear histone acetyltransferase (HAT) complexes has been reported from mammalian cells and, interestingly, also from the heterologous yeast model. This thesis extends the research of the nuclear function of IL-1α and demonstrates that IL-1α physically associates with the HAT/Core module of yeast SAGA and ADA HAT complexes. Results of the HAT subunit gene knock-out experiments followed by a set of co-immunoprecipitations also suggest a novel model of the yeast SAGA complex assembly, in which ADA appears to represent only a partly functional HAT complex. In its natural milieu of mammalian cells, IL-1α...

<div>Airlines are legally required to provide adequate service to passengers with disabilities; this research examines the quality of service provided based on the analysis of airline complaint data and the results of a survey of passengers with disabilities. The provision of adequate service to airline passengers is challenging since passenger counts continue to rise and passengers are increasingly diverse. Airline passengers with disabilities are protected by federal legislation under the Air Carrier Access Act (ACAA), 49 U.S. Code § 41705, which prohibits discriminatory treatment of people with disabilities in air transportation. Regulations outlined in 14 CFR Part 382, Nondiscrimination on the Basis of Disability in Air Travel, require that airlines and airports are accessible, and require that airline, airport and contract personnel provide appropriate accommodations and services to people with disabilities.</div><div><br></div><div>To track operational efficiency and compliance with the ACAA, the Department of Transportation collects data on airline performance. Data are published in monthly and annual reports. One component of these reports is complaint data. Complaints are an important metric because they identify deficiencies in service.</div><div><br></div><div>Individual complaints are forwarded to airport and airline service providers for investigation; however, complaint data do not appear to be used to systematically assess the adequacy of service, as evidenced by a disproportionately high and rising number of disability complaints.</div><div><br></div><div>The objective of this research is to investigate the provision of air service for passengers with disabilities. This investigation includes identification of the regulations that affect commercial air travel for passengers with disabilities, an examination of disability-related complaints, specifically the number and rate of these complaints compared to complaints for all travelers, and an assessment of service based on a survey of passengers with disabilities.</div><div><br></div>

Dissertation submitted for obtain the degree of Doctor in Electrical and Computer Engineering, at the Faculdade de Engenharia da Universidade do Porto