Análise da disponibilidade da instrumentação nuclear de um reator de pesquisa

The maintenance of systems and equipment is a central question related to Production Engineering. Although systems are not fully reliable, it is often necessary to minimize the failure occurrence likelihood. The failures occurrences can have disastrous consequences during a plane flight or operation of a nuclear power plant. The elaboration of a maintenance plan has as objective the prevention and recovery from system failures, increasing reliability and reducing the cost of unplanned shutdowns. It is also important to consider the issues related to organizations safety, especially those dealing with dangerous technologies. The objective of this thesis is to propose a method for maintenance analysis of a nuclear research reactor, using a socio-technical approach, and focused on existing conditions in Brazil. The research reactor studied belongs to the federal government and it is located in the city of Rio de Janeiro. The specific objective of this thesis is to develop the availability analysis of one of the principal systems of the research reactor, the nuclear instrumentation system. In this analysis, were taken into account not only the technical aspects of the modules related to nuclear instrumentation system, but also the human and organizational factors that could affect the availability of the nuclear instrumentation system. The results showed the influence of these factors on the availability of the nuclear instrumentation system.

Adaptive Crowd Algorithms for Open-Ended Problems

Thesis (Ph.D.)--University of Washington, 2016-06

The Inverse Jacobian Control Method Applied to a Four Degree of Freedom Confined Space Robot

Thesis (Master's)--University of Washington, 2016-06

A finite-volume computational mechanics framework for multi-physics coupled fluid-stress problems

Abstract not available

Comparison of three algorithms for nonlinear metal cutting problems

This paper compares three alternative numerical algorithms applied to a nonlinear metal cutting problem. One algorithm is based on an explicit method and the other two are implicit. Domain decomposition (DD) is used to break the original domain into subdomains, each containing a properly connected, well-formulated and continuous subproblem. The serial version of the explicit algorithm is implemented in FORTRAN and its parallel version uses MPI (Message Passing Interface) calls. One implicit algorithm is implemented by coupling the state-of-the-art PETSc (Portable, Extensible Toolkit for Scientific Computation) software with in-house software in order to solve the subproblems. The second implicit algorithm is implemented completely within PETSc. PETSc uses MPI as the underlying communication library. Finally, a 2D example is used to test the algorithms and various comparisons are made.

Exact Solution of Bayes and Minimax Change-Detection Problems

The challenge of detecting a change in the distribution of data is a sequential decision problem that is relevant to many engineering solutions, including quality control and machine and process monitoring. This dissertation develops techniques for exact solution of change-detection problems with discrete time and discrete observations. Change-detection problems are classified as Bayes or minimax based on the availability of information on the change-time distribution. A Bayes optimal solution uses prior information about the distribution of the change time to minimize the expected cost, whereas a minimax optimal solution minimizes the cost under the worst-case change-time distribution. Both types of problems are addressed. The most important result of the dissertation is the development of a polynomial-time algorithm for the solution of important classes of Markov Bayes change-detection problems. Existing techniques for epsilon-exact solution of partially observable Markov decision processes have complexity exponential in the number of observation symbols. A new algorithm, called constellation induction, exploits the concavity and Lipschitz continuity of the value function, and has complexity polynomial in the number of observation symbols. It is shown that change-detection problems with a geometric change-time distribution and identically- and independently-distributed observations before and after the change are solvable in polynomial time. Also, change-detection problems on hidden Markov models with a fixed number of recurrent states are solvable in polynomial time. A detailed implementation and analysis of the constellation-induction algorithm are provided. Exact solution methods are also established for several types of minimax change-detection problems. Finite-horizon problems with arbitrary observation distributions are modeled as extensive-form games and solved using linear programs. Infinite-horizon problems with linear penalty for detection delay and identically- and independently-distributed observations can be solved in polynomial time via epsilon-optimal parameterization of a cumulative-sum procedure. Finally, the properties of policies for change-detection problems are described and analyzed. Simple classes of formal languages are shown to be sufficient for epsilon-exact solution of change-detection problems, and methods for finding minimally sized policy representations are described.

Evolution feature oriented model driven product line engineering approach for synergistic and dynamic service evolution in clouds: A04BPEL3.0 proposal.

Model Driven based approach for Service Evolution in Clouds will mainly focus on the reusable evolution patterns' advantage to solve evolution problems. During the process, evolution pattern will be driven by MDA models to pattern aspects. Weaving the aspects into service based process by using Aspect-Oriented extended BPEL engine at runtime will be the dynamic feature of the evolution.

Case-Based Reasoning as a Heuristic Selector in a Hyper-Heuristic for Course Timetabling Problems

This paper studies Knowledge Discovery (KD) using Tabu Search and Hill Climbing within Case-Based Reasoning (CBR) as a hyper-heuristic method for course timetabling problems. The aim of the hyper-heuristic is to choose the best heuristic(s) for given timetabling problems according to the knowledge stored in the case base. KD in CBR is a 2-stage iterative process on both case representation and the case base. Experimental results are analysed and related research issues for future work are discussed.

Life cycle management of TVO nuclear power plant

Tämä diplomityö tutkii eri elinkaarihallinnan menetelmiä ja vertaa niitä TVO:n menetelmiin. Lisäksi TVO:n prosessin ongelmakohdat tunnistetaan ja niihin esitetään ratkaisuja. Vertailukohteina toimii ydinvoimateollisuuden lisäksi vesivoima, fossiiliset voimalaitokset sekä paperiteollisuus. Sähkön hinnan jatkaessa laskuaan on elinkaariajattelusta tullut ajankohtaista myös ydinvoimayhtiöille. Ydinvoimalaitoksien pitkän suunnitellun käyttöiän ansiosta laitoksen elinkaaren aikana voi tapahtua useita asioita, jotka vaikuttavat laitoksen investointitarpeisiin. Turvallisen sähköntuotannon varmistamiseksi eri laitososia on joko muokattava tai uusittava. Elinkaariajatteluun kuuluu tehokas laitoksen kunnon valvonta, laitoksen ikääntymiseen vaikuttavien ilmiöiden tunnistaminen, sekä ikääntymistä hillitsevien toimenpiteiden pitkän tähtäimen suunnittelu. Hyvällä ennakkosuunnittelulla pyritään varmistamaan se, että laitoksella voidaan tuottaa sähköä koko sen jäljellä olevan käyttöiän aikana. Kun tarpeiden tunnistus ja suunnittelu tehdään hyvissä ajoin mahdollistetaan myös investointien optimointi. Paras hyöty pyritään saamaan ajoittamalla oikeat investoinnit oikeaan aikaan.

Utilisation d’un modèle de co-culture cellulaire pour l’évaluation in vitro du transport inverse du cholestérol

De nouveaux modèles cellulaires in vitro par transfert de milieu et par coculture ont été mis au point afin d’évaluer la capacité des HDL à éliminer l’excès de cholestérol des tissus périphériques et de le transporter vers le foie afin d’être excrété par le foie, un processus nommé le transport inverse du cholestérol (TIC). Le système cellulaire par transfert in vitro où des macrophages J774 sont gorgés de LDL acétylées et marqués au 3H-cholestérol a été préalablement établi afin de mesurer par scintillation l’efflux de cholestérol marqué vers le milieu de culture contenant des accepteurs de cholestérol. Ce milieu conditionné est transféré sur des cellules HepG2 afin d’étudier l’influx du cholestérol marqué. Ce dernier nous permet d’observer un transport de cholestérol de 25 % hors des J774 et un transport de 39 000 cpm dans les HepG2 en utilisant un milieu contenant 2 % de sérums humains mis en commun. Une stimulation des cellules J774 par l’AMPc augmente l’efflux et l’influx d’environ 45 %. Des tests de preuve de concept ont été effectués sur le système cellulaire par co-culture qui utilise des chambres de Boyden où les J774 sont localisées au fond d’un puits et les HepG2 dans un insert, et où le milieu est partagé entre les deux types cellulaires. On a déterminé qu’une confluence densité de 60 000 cellules/cm2 sur un insert constitué d’une membrane de polyester avec des pores de 3,0 μm, sans autre revêtement, permet d’observer un influx spécifique au sérum d’environ 6 000 cpm associés aux cellules HepG2, où 50 % des comptes radioactifs sont dans les cellules et l’autre moitié présente à la surface cellulaire.

Utilização do mapa espacial de radiação e dose acumulada como ferramenta para otimização de doses em pacientes e trabalhadores nas clínicas de medicina nuclear

This study has as general aim to propose a spatial map of doses as an auxiliary tool in assessing the need for optimization of the workplace in nuclear medicine services. As specific aims, we assessed the workers individual dosimetry; we analyzed the facilities of the nuclear medicine services; and we evaluated environment exposure rates. The research is characterized as a case study, with an exploratory and explanatory nature. It was conducted in three Nuclear Medicine Services, all established in the Northwest of the Paraná State. Results indicated that the evaluated dose rates and workers dosimetry, in all the dependencies of the surveyed services, are within the limits of annual doses. However some exceeded the limits recommended in the standard CNEN-NN 3:01 (2014). It was concluded that the spatial map dose is an important tool for nuclear medicine services because it facilitates the visualization of areas with highest concentration of radiation, and also helps in the constant review of these measures and resources, aiding in the identification of any failures and shortcomings, providing resources to correct any issues and prevent their repetition. The spatial map dose is also important for the regular inspection, evaluating if the radiation protection objectives are being met.

Development of radiotracers for nuclear imaging of poly(ADP-ribose) polymerase-1 and the translocator protein in glioblastoma.

Glioblastoma (GBM) is a highly aggressive and fatal brain cancer that is associated with a number of diagnostic, therapeutic, and treatment monitoring challenges. At the time of writing, inhibition of a protein called poly (ADP-ribose) polymerase-1 (PARP-1) in combination with chemotherapy was being investigated as a novel approach for the treatment of these tumours. However, human studies have encountered toxicity problems due to sub-optimal PARP-1 inhibitor and chemotherapeutic dosing regiments. Nuclear imaging of PARP-1 could help to address these issues and provide additional insight into potential PARP-1 inhibitor resistance mechanisms. Furthermore, nuclear imaging of the translocator protein (TSPO) could be used to improve GBM diagnosis, pre-surgical planning, and treatment monitoring as TSPO is overexpressed by GBM lesions in good contrast to surrounding brain tissue. To date, relatively few nuclear imaging radiotracers have been discovered for PARP-1. On the other hand, numerous tracers exist for TSPO many of which have been investigated in humans. However, these TSPO radiotracers suffer from either poor pharmacokinetic properties or high sensitivity to human TSPO polymorphism that can affect their binding to TSPO. Bearing in mind the above and the high attrition rates associated with advancement of radiotracers to the clinic, there is a need for novel radiotracers that can be used to image PARP-1 and TSPO. This thesis reports the pre-clinical discovery programme that led to the identification of two potent PARP-1 inhibitors, 4 and 17, that were successfully radiolabelled to generate the potential SPECT and PET imaging agents [123I]-4 and [18F]-17 respectively. Evaluation of these radiotracers in mice bearing subcutaneous human GBM xenografts using ex vivo biodistribution techniques revealed that the agents were retained in tumour tissue due to specific PARP-1 binding. This thesis also describes the pre-clinical in vivo evaluation of [18F]-AB5186, which is a novel radiotracer discovered previously within the research group with potential for PET imaging of TSPO. Using ex vivo autoradiography and PET imaging the agent was revealed to accumulate in intracranial human GBM tumour xenografts in good contrast to surrounding brain tissue, which was due to specific binding to TSPO. The in vivo data for all three radiolabelled compounds warrants further pre-clinical investigations with potential for clinical advancement in mind.

Software engineering: methods, modeling and teaching

Since the emergence of software engineering in the late 1960's as a response to the software crisis, researchers throughout the world are trying to give theoretical support to this discipline. Several points of view have to be reviewed in order to complete this task. In the middle 70's Frederick Brooks Jr. coined the term "silver bullet" suggesting the solution to several problems rela-ted to software engineering and, hence, we adopted such a metaphor as a symbol for this book. Methods, modeling, and teaching are the insights reviewed in this book. Some work related to these topies is presented by software engineering researchers, led by Ivar Jacobson, one of the most remarkable researchers in this area. We hope our work will contribute to advance in giving the theoretieal support that software engineering needs.

Inverse identification of the bending stiffness of a braided polyethylene twine subject to large deformation: application to the identification of the mesh opening rigidity of fishing nets.

The evaluation of the mesh opening stiffness of fishing nets is an important issue in assessing the selectivity of trawls. It appeared that a larger bending rigidity of twines decreases the mesh opening and could reduce the escapement of fish. Nevertheless, netting structure is complex. A netting is made up of braided twines made of polyethylene or polyamide. These twines are tied with non-symmetrical knots. Thus, these assemblies develop contact-friction interactions. Moreover, the netting can be subject to large deformation. In this study, we investigate the responses of netting samples to different types of solicitations. Samples are loaded and unloaded with creep and relaxation stages, with different boundary conditions. Then, two models have been developed: an analytical model and a finite element model. The last one was used to assess, with an inverse identification algorithm, the bending stiffness of twines. In this paper, experimental results and a model for netting structures made up of braided twines are presented. During dry forming of a composite, for example, the matrix is not present or not active, and relative sliding can occur between constitutive fibres. So an accurate modelling of the mechanical behaviour of fibrous material is necessary. This study offers experimental data which could permit to improve current models of contact-friction interactions [4], to validate models for large deformation analysis of fibrous materials [1] on a new experimental case, then to improve the evaluation of the mesh opening stiffness of a fishing net

Interrupted searches in the BBMCSFilter context for MINLP problems

The BBMCSFilter method was developed to solve mixed integer nonlinear programming problems. This kind of problems have integer and continuous variables and they appear very frequently in process engineering problems. The objective of this work is to analyze the performance of the method when the coordinate searches are interrupted in the context of the multistart strategy. From the numerical experiments, we observed a reduction on the number of function evaluations and on the CPU time.