published_or_final_version / Mechanical Engineering / Master / Master of Philosophy

Neuronal excitability is controlled by multiple ion channels at the plasma membrane of neurons. Recently, the Na+ leak channel, NCA in C. elegans and NALCN in M. Musculus, has been identified as the molecular entity responsible for the background Na+ leak at rest in neurons. In this thesis, I show that NLF-1 (NCA Localization Factor) and mouse NLF-1, a group of newly defined, uncharacterized proteins, are endoplasmic reticular proteins required for the trafficking of NCA-1 and NCA-2 to their target axonal membrane. In primary mouse cortical neurons, knockdown of mNLF-1 partially abolishes the background Na+ leak current. Furthermore, NLF-1 and mNLF-1 directly interact with domain II S5/P-loop/S6 of NALCN through a membrane yeast-two-hybrid assay. In C. elegans, this region is required in vivo in NCA-1 for it’s trafficking. Finally, I identify novel NLF-1 interacting partners through a MYTH assay.

Neuronal excitability is controlled by multiple ion channels at the plasma membrane of neurons. Recently, the Na+ leak channel, NCA in C. elegans and NALCN in M. Musculus, has been identified as the molecular entity responsible for the background Na+ leak at rest in neurons. In this thesis, I show that NLF-1 (NCA Localization Factor) and mouse NLF-1, a group of newly defined, uncharacterized proteins, are endoplasmic reticular proteins required for the trafficking of NCA-1 and NCA-2 to their target axonal membrane. In primary mouse cortical neurons, knockdown of mNLF-1 partially abolishes the background Na+ leak current. Furthermore, NLF-1 and mNLF-1 directly interact with domain II S5/P-loop/S6 of NALCN through a membrane yeast-two-hybrid assay. In C. elegans, this region is required in vivo in NCA-1 for it’s trafficking. Finally, I identify novel NLF-1 interacting partners through a MYTH assay.

In a lead-cooled fast reactor (LFR), small bubbles (in the order of one mm or less) may enter the coolant from a leaking steam generator. If such a leakage is undetected the small bubbles may eventually coalesce into a larger bubble in local stagnation zones under the active core. If such a bubble or void releases and passes through the core, it could drive the reactor into prompt criticality. It is therefore desirable to be able to detect the initial stages of such void formation. In this thesis, a methodology to detect such leaks is presented together with a study on void-induced reactivity effects in various LFR's. The methodology developed is based on information from two fission chambers positioned radially outside the core. The fissile content of the fission chambers consist either of 235U or 242Pu making them sensitive to different parts of the neutron spectrum. It is shown that the information from the fission chambers can be used to obtain an early indication of the presence of a small leak within typically a month. Furthermore, it is shown that for all but the smallest LFR’s, prompt criticality due to voids passing the core cannot be excluded. One conclusion is that the methodology may form an attractive complement to the general monitoring system of future LFR’s but, as is noted, it has potential for further developments.

The dual heap virtual implementation provided a new base for memory organization such that the heap storage can be virtually enlarged to include the extremely large disk space. Two simulation models were used to investigate aging in physical space as well as the dual heap implementation. The simulators generated results which measured the ability of each method to detect leaks generate false positives and false negatives. In comparison, the dual heap implementation showed a relatively better performance than the aging algorithm. The dual heap implementation is shown to produce less false positives and less false negatives. It has better capability of detecting memory leaks. Furthermore, dual heap implementation extends the space provide to the main heap such that programs with greedy memory consumption can also benefit from this implementation. The dual heap virtual model of the heap organization is a promising architecture, which at once masks the memory leak problem and extends the heap storage for greedy programs. The introduction and advancement of 64-bit address machine would not reduce the value of the dual virtual heap implementation, for the simple reasons that a large number of legacy programs will continue to run in a 32-bit environment, and for the fact that greedy programs and leaks will drain the heap storage of 64-bit machines as much as they did for the 32-bit machines.

No

Program attacks are one of the oldest and fundamental cyber threats. They compromise the confidentiality of data, the integrity of program logic, and the availability of services. This threat becomes even severer when followed by other malicious activities such as data exfiltration. The integration of primitive attacks constructs comprehensive attack vectors and forms advanced persistent threats. Along with the rapid development of defense mechanisms, program attacks and data leak threats survive and evolve. Stealthy program attacks can hide in long execution paths to avoid being detected. Sensitive data transformations weaken existing leak detection mechanisms. New adversaries, e.g., semi-honest service provider, emerge and form threats. This thesis presents theoretical analysis and practical detection mechanisms against stealthy program attacks and data leaks. The thesis presents a unified framework for understanding different branches of program anomaly detection and sheds light on possible future program anomaly detection directions. The thesis investigates modern stealthy program attacks hidden in long program executions and develops a program anomaly detection approach with data mining techniques to reveal the attacks. The thesis advances network-based data leak detection mechanisms by relaxing strong requirements in existing methods. The thesis presents practical solutions to outsource data leak detection procedures to semi-honest third parties and identify noisy or transformed data leaks in network traffic. / Ph. D.

This thesis is focused on the application of cross-correlation technique for leak detection and location in medium density polyethylene (MDPE) pipes. A leaking water pipe generates noise that depends primarily on water pressure, pipe characteristics and the leak size and shape. This noise, commonly called leak signals, can be used for the purpose of leak detection and leak location in MDPE pipes. A correlation technique is typically employed to detect, position and characterise these water leaks and is proved to be very efficient for metallic pipes. However, the same is not true for MDPE pipes where the attenuation rate with distance of the leak/source signal is very high, and the generated leak signals are of low frequency and narrow bandwidth. In order to locate leak with good accuracy in MDPE pipes, the correlation process relies on the estimation of speed of leak signals in water/pipe and the time delay between leak signals measured at two locations. For time delay estimation, a correlation function is used. Its accuracy depends upon the sharpness of the correlation peak, type and positioning of sensor, and the processing of signals obtained, which in turn further depends upon the characteristics of leak signals. In MDPE pipes, leak signals are of low frequency and narrow bandwidth; however, their frequency response is not well characterised. Therefore, this thesis presents an analytical model to explain the acoustic characteristics of leak signals in MDPE pipes. The model is used to study the effects of the cut-off frequencies of low, high and band pass digital filters and the selection of acoustic/vibration sensors for the correlation technique. It detailed the importance of the cut-off frequency of the high pass filter and the insensitivity of the correlation function to the cut off frequency of the low pass filter.

There are many instances where fluid and particles traveling through a narrow passage, such as a crack in a window or door, have large but sometimes unseen effects on our daily lives. For instance, in the cold months of the year a pressure gradient can exists between the inside and outside of a building which causes cold, outdoor air to flow inside through any cracks; significantly decreasing heating efficiency. This inflow of atmospheric air can bring with it dangerous contaminant particles to the inside of a building. Pollution can also occur inside a structure from internal sources of contamination, such as smoke generation from a fire. This thesis represents a two-fold examination of these phenomena. The first part of the thesis showcases a method for local measurement of air leakage flow rate, which can be used to quickly assess leakage rates across a surface, such as a window. The method uses a small local enclosure with constant volume placed about a region on the structure under investigation, which is depressurized and injected with a small concentration of carbon dioxide as a tracer gas. The time variation of the pressure and carbon dioxide concentration inside the enclosure are monitored and used to quantify the leakage flow rate as a function of pressure difference. Because of the small size of the enclosure, advanced data processing techniques are necessary to reduce uncertainty in determination of the rate of change of the carbon dioxide concentration that arises from sensor variability. Results of a laboratory demonstration of the proposed leakage detection and characterization device are reported for the problem of leakage through a circular hole in a plate with prescribed pressure differences. Experimental results from the laboratory tests are found to be in excellent agreement with results of a numerical simulation of leakage flow through a hole, as well as predictions from a number of empirical equations for this problem found in the literature. The second part of the thesis is a numerical study of particle capture in the entrance region of a crack, which is a phenomenon previously not well understood or accounted for in empirical correlations. The computational domain for laminar flow through a crack consists of the crack channel and both inlet and exit reservoirs that are much larger than the channel width. The simulations examined different mechanisms for particle capture within the channel entrance region, including collision on the inlet reservoir wall just outside the crack channel, collision within the crack channel due to cross-stream inertia imparted by the entrance flow, collision induced by Brownian diffusion both on the inlet reservoir wall outside of the channel and within the channel, and gravitational collision within the channel. A detailed study of the variation of the entrance penetration factor with parameters such as the Stokes, Peclet, and Froude numbers was performed, and comparison of the numerical predictions with different theoretical expressions were made when the latter were available. Validity of the assumption of penetration factor independence was also examined for cases where both entrance region inertia and gravitational settling are significant.

Fundamentado na mecânica da fratura, o conceito do Leak-Before-Break (LBB) \"Vazamento Antes da Falha\" considera que um vazamento proveniente de uma trinca pode ser detectado antes de alcançar um tamanho crítico que implique na falha da tubulação, ou seja, a análise do LBB demostra através de uma justificativa técnica que a probabilidade de ruptura da tubulação é extremamente baixa. Dentre os aspectos que envolvem a aplicação do LBB, os principais são: a definição das propriedades do material, que são extraídos através de ensaios à tração e à fratura; a análise do vazamento, que determina a taxa de vazamento devido à presença de uma trinca passante; e a análise que verifica se a trinca é estável considerando os modos de falha por rasgamento dúctil e por colapso plástico. Os materiais SA-508 Cl. 3, SA-106 Gr. B e SA-376-TP304 foram avaliados quanto aos seus desempenhos para o LBB. Utilizaram-se dados extraídos de casos da literatura para as propriedades dos materiais, e para a geometria e carregamentos da tubulação, todos correspondentes ao circuito primário de um reator PWR. Após aplicação do LBB, constatou-se que todos os três materiais atenderam os limites do estabelecidos na metodologia. Verificou-se que os materiais SA-508 Cl. 3 e SA-376-TP304 mostraram o melhor desempenho para falha por rasgamento dúctil e falha por colapso plástico, respectivamente, e o material SA-106 Gr. B teve o menor desempenho em ambos. Todos os três materiais apresentaram o colapso plástico como modo de falha mais provável. De uma forma generalizada, o material SA-376-TP304 obteve o melhor desempenho para o LBB dentre os três materiais avaliados neste trabalho. / Based on the fracture mechanics, the Leak-Before-Break (LBB) concept considers that a leakage from a crack can be detected before reaching a critical size that implies the pipe failure, that is, the LBB analysis demonstrates through a technical justification that the probability of pipe rupture is extremely low. Among the aspects that involve the application of LBB, the main ones are: the definition of the material properties, which are obtained through tensile and fracture tests; the leakage analysis, which determines the rate of leakage due to the presence of a through-wall crack; and the analysis that verifies if the crack is stable considering the failure modes by ductile tearing and plastic collapse. The materials SA-508 Cl. 3, SA-106 Gr. B and SA-376-TP304 were evaluated in relation to their performances for LBB. Data obtained from literature cases were used for the materials properties, and for the geometry and loadings of the pipe, all corresponding to the primary circuit of a PWR reactor. After application of the LBB, it was verified that all three materials met the limits established in the methodology. The materials SA-508 Cl. 3 and SA-376-TP304 showed the best performance for ductile tearing failure and plastic collapse failure, respectively, and the material SA-106 Gr. B material had the lowest performance in both. All three materials presented plastic collapse as the most likely failure mode. In general, the material SA-376-TP304 obtained the best performance for the LBB among the three materials evaluated in this work.