Siga este enlace para ver otros tipos de publicaciones sobre el tema: Localization analysis.
Tesis sobre el tema "Localization analysis"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores tesis para su investigación sobre el tema "Localization analysis".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
1
Baah, George Kofi. "Statistical causal analysis for fault localization". Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/45762.
Texto completoResumen
The ubiquitous nature of software demands that software is released without faults. However, software developers inadvertently introduce faults into software during development. To remove the faults in software, one of the tasks developers perform is debugging. However, debugging is a difficult, tedious, and time-consuming process. Several semi-automated techniques have been developed to reduce the burden on the developer during debugging. These techniques consist of experimental, statistical, and program-structure based techniques. Most of the debugging techniques address the part of the debugging process that relates to finding the location of the fault, which is referred to as fault localization. The current fault-localization techniques have several limitations. Some of the limitations of the techniques include (1) problems with program semantics, (2) the requirement for automated oracles, which in practice are difficult if not impossible to develop, and (3) the lack of theoretical basis for addressing the fault-localization problem.
The thesis of this dissertation is that statistical causal analysis combined with program analysis is a feasible and effective approach to finding the causes of software failures. The overall goal of this research is to significantly extend the state of the art in fault localization. To extend the state-of-the-art, a novel probabilistic model that combines program-analysis information with statistical information in a principled manner is developed. The model known as the probabilistic program dependence graph (PPDG) is applied to the fault-localization problem. The insights gained from applying the PPDG to fault localization fuels the development of a novel theoretical framework for fault localization based on established causal inference methodology. The development of the framework enables current statistical fault-localization metrics to be analyzed from a causal perspective. The analysis of the metrics show that the metrics are related to each other thereby allowing the unification of the metrics. Also, the analysis of metrics from a causal perspective reveal that the current statistical techniques do not find the causes of program failures instead the techniques find the program elements most associated with failures. However, the fault-localization problem is a causal problem and statistical association does not imply causation. Several empirical studies are conducted on several software subjects and the results (1) confirm our analytical results, (2) demonstrate the efficacy of our causal technique for fault localization. The results demonstrate the research in this dissertation significantly improves on the state-of-the-art in fault localization.
2
Shah, Zubin. "SIMULATION AND ANALYSIS OF RFID LOCALIZATION ALGORITHMS". Wright State University / OhioLINK, 2006. http://rave.ohiolink.edu/etdc/view?acc_num=wright1164732791.
Texto completo
3
Schubert, Roman. "Semiclassical localization in phase space". Ulm : Universität Ulm, Fakultät für Naturwissenschaften, 2001. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB10028611.
Texto completo
4
Liu, Guanxiong. "Modeling and Performance Analysis of Hybrid Localization Using Inertial Sensor, RFID and Wi-Fi Signal". Digital WPI, 2015. https://digitalcommons.wpi.edu/etd-theses/514.
Texto completoResumen
The development in wireless technology, mobile smart devices and Internet of Things has gave birth to a booming era or the wireless indoor geolocation. This technology have been increasingly used within our daily life and help people to build up the tracking system which could be used by fulfillment centers and grocery stores. To achieve higher localization accuracy with wireless geolocation, we need a higher density of deployment which involves high deployment and maintenance cost. To balance the accuracy and the cost, people have begun using wireless localization employing inertial navigation system (INS) which provide speed and direction of movement. When we combine Radio Frequency (RF) localization with INS, we have a hybrid INS/RF localization system which can achieve high localization accuracy with low cost. In this thesis, we use accelerometers and magnetometers in an Android smart phone to build a hybrid INS/RF system and use two different technologies for RF localization: Radio Frequency Identification Device (RFID) and Wi-Fi. Using this system, we conducted measurements of the hybrid localization system and evaluate its performance. The specific contributions of the thesis are: (1)Empirical performance evaluation of the INS/RFID localization system. It relates the localization error to the number and position of RFID tags. (2)Model the effect of metallic objects on accuracy of magnetometer. The model shows the relation between direction error and distance to metallic component. (3)Model shadow fading in close proximity of RF transmitter. It builds a distance dependent shadow fading model. (4)Model based performance evaluation of hybrid localization. The test bench uses our models to simulate the hybrid localization data.
5
Ali, Andreas Mantik. "Distributed acoustic localization and tracking design and analysis". Diss., Restricted to subscribing institutions, 2010. http://proquest.umi.com/pqdweb?did=2023768071&sid=1&Fmt=2&clientId=1564&RQT=309&VName=PQD.
Texto completo
6
Hu, Peifeng. "Automated fault localization a statistical predicate analysis approach /". Click to view the E-thesis via HKUTO, 2006. http://sunzi.lib.hku.hk/hkuto/record/B38838035.
Texto completo
7
Hu, Peifeng y 胡佩鋒. "Automated fault localization: a statistical predicate analysis approach". Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2006. http://hub.hku.hk/bib/B38838035.
Texto completo
8
Zahran, Saeed. "Source localization and connectivity analysis of uterine activity". Thesis, Compiègne, 2018. http://www.theses.fr/2018COMP2469.
Texto completoResumen
La technique d'EHGI permet une reconstruction non invasive du potentiel électrique à la surface de l’utérus à partir du potentiel électrique mesuré à la surface du corps et des données anatomiques du torse. L’EHGI fournit des informations très précieuses sur l'état de l’utérus car il est capable de fournir une description spatiale raffinée de la voie et de l’amplitude des ondes électriques à la surface de l'utérus. Cela peut aider beaucoup dans différentes interventions cliniques. Les algorithmes scientifiques derrière tout outil EHGI sont capables de prétraiter les données anatomiques du patient afin de fournir un maillage informatique, de filtrer les mesures bruitées du potentiel électrique et de résoudre un problème inverse. Le problème inverse en électrohystérographie utérine (imagerie électrohystérographique (EHGI)) est une technique de diagnostic nouvelle et puissante. Cette technologie non invasive intéresse de plus en plus les industries médicales. Le succès de cette technologie serait considéré comme une percée dans le diagnostic de l'utérus. Cependant, dans de nombreux cas, la qualité du potentiel électrique reconstruit n’est pas suffisamment précise. La difficulté vient du fait que le problème inverse en électrohystérographie utérine est bien connu comme un problème mathématiquement mal posé. Différentes méthodes basées sur la régularisation de Thikhnov ont été utilisées afin de régulariser le problème. Nous avons mené notre analyse en utilisant un modèle d’utérus réaliste et avons cherché à identifier l’étendue spatiale des sourcesThe technique of EHGI allows a noninvasive reconstruction of the electrical potential on the uterus surface based on electrical potential measured on the body surface and anatomical data of the torso. EHGI provides very precious information about the uterus condition since it is able to provide refined spatial description of the electrical wave pathway and magnitude on the uterus surface. This may help a lot in different clinical interventions. The scientific algorithms behind any EHGI tool are able to preprocess the anatomical data of the patient in order to provide a computational mesh, filter noisy measurements of the electrical potential and solve an inverse problem. The inverse problem in uterus electrohysterography (electrohysterography imaging (EHGI)) is a new and a powerful diagnosis technique. This non-invasive technology interests more and more medical industries. The success of this technology would be considered as a breakthrough in the uterus diagnosis. However, in many cases the quality of reconstructed electrical potential is not accurate enough. The difficulty comes from the fact that the inverse problem in uterus electrohysterography is well known as a mathematically ill-posed problem. Different methods based on Thikhnov regularization have been used in order to regularize the problem. We have conducted our analysis by using a realistic uterus model and have aimed at identifying the spatial extent of the sources
9
Bäck, Viktor. "Localization of Multiscale Screened Poisson Equation". Thesis, Uppsala universitet, Algebra och geometri, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-180928.
Texto completo
10
Liu, Changlin. "Root Cause Localization for Unreproducible Builds". Case Western Reserve University School of Graduate Studies / OhioLINK, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=case1595524817828183.
Texto completo
11
Ezanno, Philippe. "Vibration localization and statistical energy analysis in coupled systems". Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06112009-063056/.
Texto completo
12
Balakrishnan, Arjun. "Integrity Analysis of Data Sources in Multimodal Localization System". Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG060.
Texto completoResumen
Les véhicules intelligents sont un élément clé pour des systèmes de transport plus sûrs, efficaces et accessibles à travers le monde. En raison de la multitude de sources de données et de processus associés aux véhicules intelligents, la fiabilité de l'ensemble du système dépend fortement de la possibilité d'erreurs ou de mauvaises performances observées dans ses composants. Dans notre travail, nous nous intéressons à la tâche critique de localisation des véhicules intelligents et relevons les défis de la surveillance de l'intégrité des sources de données utilisées dans la localisation. La contribution clé de notre recherche est la proposition d'un nouveau protocole d'intégrité en combinant les concepts d'intégrité des systèmes d'information et les concepts d'intégrité existants dans les Systèmes de Transport Intelligents (STI). Un cadre de surveillance de l'intégrité basé sur le protocole d'intégrité proposé qui peut gérer les problèmes de localisation multimodale est développé. Dans la première étape, une preuve de concept pour ce cadre est développée sur la base d'une estimation de cohérence croisée des sources de données à l'aide de modèles polynomiaux. Sur la base des observations de la première étape, une représentation des données «Feature Grid» est proposée dans la deuxième étape et un prototype généralisé pour le cadre est mis en œuvre. Le cadre est testé sur les autoroutes ainsi que dans des scénarios urbains complexes pour démontrer que le cadre proposé est capable de fournir des estimations d'intégrité continue des sources de données multimodales utilisées dans la localisation intelligente des véhiculesIntelligent vehicles are a key component in humanity’s vision for safer, efficient, and accessible transportation systems across the world. Due to the multitude of data sources and processes associated with Intelligent vehicles, the reliability of the total system is greatly dependent on the possibility of errors or poor performances observed in its components. In our work, we focus on the critical task of localization of intelligent vehicles and address the challenges in monitoring the integrity of data sources used in localization. The primary contribution of our research is the proposition of a novel protocol for integrity by combining integrity concepts from information systems with the existing integrity concepts in the field of Intelligent Transport Systems (ITS). An integrity monitoring framework based on the theorized integrity protocol that can handle multimodal localization problems is formalized. As the first step, a proof of concept for this framework is developed based on cross-consistency estimation of data sources using polynomial models. Based on the observations from the first step, a 'Feature Grid' data representation is proposed in the second step and a generalized prototype for the framework is implemented. The framework is tested in highways as well as complex urban scenarios to demonstrate that the proposed framework is capable of providing continuous integrity estimates of multimodal data sources used in intelligent vehicle localization
13
HAYASHI, HISAO, TOSHIKUNI TAKIKAWA, NOBUO SAKAMOTO y MOTOYOSHI YANO. "Intrahepatocellular Localization of Copper in Wilson's Disease". Nagoya University School of Medicine, 1993. http://hdl.handle.net/2237/17543.
Texto completo
14
Zhu, Yuntao. "A stochastic localization strategy for wireless sensor networks". Online access for everyone, 2006. http://www.dissertations.wsu.edu/Thesis/Fall2006/y_zhu_120906.pdf.
Texto completo
15
Tau, Sieskul Bamrung [Verfasser]. "NLoS Localization and UWB Channel Capacity Analysis / Bamrung Tau Sieskul". Aachen : Shaker, 2010. http://d-nb.info/1080766995/34.
Texto completo
16
ANDRADE, CHRISTIANE AGUIAR DE. "ANALYSIS OF THE TAX INCENTIVES IMPACT IN DISTRIBUTION CENTERS LOCALIZATION". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2008. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=30288@1.
Texto completoResumen
Atualmente, uma das estratégias adotadas pelas empresas para reduzir seus custos e se manterem competitivas passa pela Logística Tributária, que vislumbra as oportunidades de redução de impostos na Logística por meio de incentivos fiscais ou financeiros. Como conseqüência do avanço tecnológico, os produtos são cada vez mais equivalentes, no que diz respeito à sua qualidade e funcionalidade e, de uma forma geral, as boas práticas são absorvidas muito rapidamente pelo mercado, restando às organizações a redução da margem de lucro e a minimização dos custos, mais especificamente, do custo logístico. A maioria dos incentivos fiscais e financeiros oferecidos no Brasil se concentra longe dos principais centros consumidores, tornando-se necessário associar o planejamento tributário aos métodos de localização e considerar os trade-offs entre benefícios e custos operacionais. Analisar a infra-estrutura oferecida pelo Estado é outra forma de evitar perdas no nível de serviço logístico, que podem gerar consequências imensuráveis em curto prazo. O presente trabalho é uma análise da influência dos incentivos fiscais sobre a decisão de localização de centros de distribuição e pressupõe o caso de uma empresa fictícia que se instalou no Estado do Espírito Santo, com o objetivo de se beneficiar do Fundap, um incentivo às importações, oferecido por aquele estado.In the present days, one of the strategies adopted by companies to reduce their costs and hold their competitiveness involves the tributary logistics, which considers the opportunities of taking into account the taxes advantages derived from locating distribution centers in certain areas or states that offer financial incentives. As a consequence of the technology improvement, products tend to be even more equivalents regarding their quality and functionality. In a general way, good practices are very rapidly absorbed by the market, so that the organizations have to face the reduction of the profit margin and the minimization of costs, in particular the logistics costs. The majority of taxes and financial incentives offered in Brazil is concentrated away from the main consumer centers, becoming necessary to associate the tax planning with the location methods, in order to consider the trade-offs between benefits and the operational costs. Analyzing the public infrastructure offered by the government is another way to avoid the losses at the level of logistics services. It may generate immeasurable consequences in the short term. The present work is an analysis of the influence of the tax incentives in the decision of locating distribution centers and assumes the case of a hypothetical company that was installed in the state of Espírito Santo, in order to take advantage of benefits granted by Fundap, the local state agency that offers incentive for imported goods.
17
Tan, Joo Lee Denise. "An analysis of protein localization dynamics during Wnt/Wingless signaling". Thesis, University of Cambridge, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.612188.
Texto completo
18
Bian, Feng. "Molecular analysis of subcellular mRNA localization in cerebellar purkinje cells /". The Ohio State University, 1998. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487948807588657.
Texto completo
19
Watanabe, Keiko. "The localization and functional analysis of two-pore channel proteins". Thesis, University of Oxford, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.558363.
Texto completoResumen
Nicotinic acid adenine dinucleotide phosphate (NAADP) is the most recently characterized Ca2+ mobilizing second messenger, joining inositol 1,4,5-trisphosphate (IP3) and cyclic ADP-ribose (cAD PR). Previous pharmacological and biochemical studies have suggested that NAADP targets acidic Ca2+ stores rather than the ER, which releases Ca2+ in response to IP3 or cAD PR. Although NAADP receptors are proposed to be distinct from those for IP3 and cADPR, the molecular identity of NAADP receptors has remained elusive. This study focuses on establishing whether two-pore channels (TPCs), a family of intracellular Ca2+-release channels, function as NAADP receptors. In this thesis, TPC proteins have been investigated as potential NAADP receptors in the sea urchin, Strongylocentrotus purpuratus, whose genome encodes three potential TPC proteins, namely SpTPCl, SpTPC2 and SpTPC3, and in the social amoeba, Dictyostelium discoideum, which encodes only one TPC2 (DdTPC2). These channels were analyzed in multiple model systems namely the sea urchin egg, human cell lines (HEK cells and HeLa cells), an insect cell line (sf9) and Dictyostelium. Analytical approaches including the generation of anti- TPC antibodies, localization studies, ligand binding assays and Ca2+ release studies were employed. SpTPCl and SpTPC2 were predominantly localized to the ER and the lysosome, respectively. Endogenous sea urchin protein immunoprecipitated with anti-SpTPC3 antibody showed enhanced NAADP binding. However, no correlation between NAADP binding and expression levels of TPCs in HEK cells or Sf9 cells was detectable. In Dictyostelium, TPC2 was localized to the contractile vacuole and the ER, whereas DdTPC2 localized to the lysosome and Golgi apparatus when expressed in HeLa cells. Protein expression of DdTPC2 is regulated developmentally, reaching a peak in the late stages of development. A tpc2 null strain exhibited abnormal post- aggregative development, consistent with a role for DdTPC2 at later stages of development. No high affmity NAADP binding sites or NAADP-induced Ca2+ release were detected in Dictyostelium membranes isolated either at the early or late development stages in these studies. However, NAADP-induced Ca2+ release from vesicle fractions prepared from vegetatively growing cells was observed. On the other hand, arachidonic acid (AA) induced Ca2+ release from vesicles prepared from growing cells and from cells developed for 4 hours or 20 hours. AA-induced Ca2+ release was altered in tpc2 null cells. In sea urchin egg homogenate, AA also elicited Ca2+ release with an ECso value of approximately 8 f.!M. Low concentrations of AA effectively inhibited NAADP-induced Ca2+ release. It was not possible to produce evidence of TPCs being NAADP-sensitive Ca2+ channels in the systems investigated. In Dictyostelium, TPC2 does not appear to be responsible for NAADP-induce Ca2+ release. However, TPC2 may play a role in AA- induced ci+ release.
20
Jin, Craig T. "Spectral analysis and resolving spatial ambiguities in human sound localization". Connect to full text, 2001. http://hdl.handle.net/2123/1342.
Texto completoResumen
Thesis (Ph. D.)--School of Electrical and Information Engineering, Faculty of Engineering, University of Sydney, 2001.Title from title screen (viewed 13 January 2009). Submitted in fulfilment of the requirements for the degree of Doctor of Philosophy to the School of Electrical and Information Engineering, Faculty of Engineering. Includes bibliographical references. Also available in print form.
21
Denson, D. Paul. "Modeling and performance analysis for mobile group localization and formation". Laramie, Wyo. : University of Wyoming, 2008. http://proquest.umi.com/pqdweb?did=1594486491&sid=1&Fmt=2&clientId=18949&RQT=309&VName=PQD.
Texto completo
22
Jin, Craig. "Spectral analysis and resolving spatial ambiguities in human sound localization". Thesis, The University of Sydney, 2001. http://hdl.handle.net/2123/1342.
Texto completoResumen
This dissertation provides an overview of my research over the last five years into the spectral analysis involved in human sound localization. The work involved conducting psychophysical tests of human auditory localization performance and then applying analytical techniques to analyze and explain the data. It is a fundamental thesis of this work that human auditory localization response directions are primarily driven by the auditory localization cues associated with the acoustic filtering properties of the external auditory periphery, i.e., the head, torso, shoulder, neck, and external ears. This work can be considered as composed of three parts. In the first part of this work, I compared the auditory localization performance of a human subject and a time-delay neural network model under three sound conditions: broadband, high-pass, and low-pass. A “black-box” modeling paradigm was applied. The modeling results indicated that training the network to localize sounds of varying center-frequency and bandwidth could degrade localization performance results in a manner demonstrating some similarity to human auditory localization performance. As the data collected during the network modeling showed that humans demonstrate striking localization errors when tested using bandlimited sound stimuli, the second part of this work focused on human sound localization of bandpass filtered noise stimuli. Localization data was collected from 5 subjects and for 7 sound conditions: 300 Hz to 5 kHz, 300 Hz to 7 kHz, 300 Hz to 10 kHz, 300 Hz to 14 kHz, 3 to 8 kHz, 4 to 9 kHz, and 7 to 14 kHz. The localization results were analyzed using the method of cue similarity indices developed by Middlebrooks (1992). The data indicated that the energy level in relatively wide frequency bands could be driving the localization response directions, just as in Butler’s covert peak area model (see Butler and Musicant, 1993). The question was then raised as to whether the energy levels in the various frequency bands, as described above, are most likely analyzed by the human auditory localization system on a monaural or an interaural basis. In the third part of this work, an experiment was conducted using virtual auditory space sound stimuli in which the monaural spectral cues for auditory localization were disrupted, but the interaural spectral difference cue was preserved. The results from this work showed that the human auditory localization system relies primarily on a monaural analysis of spectral shape information for its discrimination of directions on the cone of confusion. The work described in the three parts lead to the suggestion that a spectral contrast model based on overlapping frequency bands of varying bandwidth and perhaps multiple frequency scales can provide a reasonable algorithm for explaining much of the current psychophysical and neurophysiological data related to human auditory localization.
23
Jin, Craig. "Spectral analysis and resolving spatial ambiguities in human sound localization". University of Sydney, 2001. http://hdl.handle.net/2123/1342.
Texto completoResumen
Doctor of PhilosophyThis dissertation provides an overview of my research over the last five years into the spectral analysis involved in human sound localization. The work involved conducting psychophysical tests of human auditory localization performance and then applying analytical techniques to analyze and explain the data. It is a fundamental thesis of this work that human auditory localization response directions are primarily driven by the auditory localization cues associated with the acoustic filtering properties of the external auditory periphery, i.e., the head, torso, shoulder, neck, and external ears. This work can be considered as composed of three parts. In the first part of this work, I compared the auditory localization performance of a human subject and a time-delay neural network model under three sound conditions: broadband, high-pass, and low-pass. A “black-box” modeling paradigm was applied. The modeling results indicated that training the network to localize sounds of varying center-frequency and bandwidth could degrade localization performance results in a manner demonstrating some similarity to human auditory localization performance. As the data collected during the network modeling showed that humans demonstrate striking localization errors when tested using bandlimited sound stimuli, the second part of this work focused on human sound localization of bandpass filtered noise stimuli. Localization data was collected from 5 subjects and for 7 sound conditions: 300 Hz to 5 kHz, 300 Hz to 7 kHz, 300 Hz to 10 kHz, 300 Hz to 14 kHz, 3 to 8 kHz, 4 to 9 kHz, and 7 to 14 kHz. The localization results were analyzed using the method of cue similarity indices developed by Middlebrooks (1992). The data indicated that the energy level in relatively wide frequency bands could be driving the localization response directions, just as in Butler’s covert peak area model (see Butler and Musicant, 1993). The question was then raised as to whether the energy levels in the various frequency bands, as described above, are most likely analyzed by the human auditory localization system on a monaural or an interaural basis. In the third part of this work, an experiment was conducted using virtual auditory space sound stimuli in which the monaural spectral cues for auditory localization were disrupted, but the interaural spectral difference cue was preserved. The results from this work showed that the human auditory localization system relies primarily on a monaural analysis of spectral shape information for its discrimination of directions on the cone of confusion. The work described in the three parts lead to the suggestion that a spectral contrast model based on overlapping frequency bands of varying bandwidth and perhaps multiple frequency scales can provide a reasonable algorithm for explaining much of the current psychophysical and neurophysiological data related to human auditory localization.
24
TENCONI, MARINA. "Localization for Riesz Means on compact Riemannian manifolds". Doctoral thesis, Università degli Studi di Milano-Bicocca, 2016. http://hdl.handle.net/10281/101979.
Texto completoResumen
This thesis deals with the problem of localization for the Riesz means for eigenfunction expansions of the Laplace-Beltrami operator. The classical Riemann localization principle states that if an integrable function of one variable vanishes in an open set, then its trigonometric Fourier expansion converges to zero in this set. This localization principle fails in R^d with d>=2. In order to recover localization one has to use suitable summability methods, such as the Bochner-Riesz means. In the first chapter of the thesis we focus on the compact rank one symmetric spaces case. While in the second chapter we show how some of the results obtained in the first chapter can be generalize to smooth compact and connected Riemannian manifolds.
Consider a d-dimensional compact rank one symmetric space. To every square integrable function, and more generally tempered distribution, one can associate a Fourier series, i.e. an eigenfunction expansion of the Laplace-Beltrami operator. These Fourier series converge in the metric of L^2 and in the topology of distributions, but in general one cannot ensure the pointwise convergence. For this reason we introduce the summability method of Bochner-Riesz means: S_R^\alpha f(x). When \alpha=0 one obtains the spherical partial sums, which are a natural analogue of the partial sums of one-dimensional Fourier series in the Euclidean space. There are examples of the failure of localization in Holder, Lebesgue and Sobolev spaces. Despite the negative results, it has been proved by A.I. Basatis and C. Meaney that there is an almost everywhere localization principle for square integrable functions on compact rank one symmetric spaces; that is, if a square integrable function vanishes almost everywhere in an open set, then its Fourier series is equal to zero for almost every point in this open set. On the other hand, it is known that for square integrable functions localization holds everywhere above the so-called critical index \alpha=(d-1)/2, while for integrable functions the critical index is \alpha=d-1. In this work we continue this line of research in the area of exceptional sets in harmonic analysis. In particular we prove that for Bochner-Riesz means of order \alpha of p-integrable functions on compact rank one symmetric spaces localization holds, with a possible exception in a set of point of suitable Hausdorff dimension. More generally we consider localization for distributions in Sobolev spaces. Some of the result on compact rank one symmetric spaces can be generalize to a general smooth, connected and compact Riemannian manifold without boundary.
25
Sookyoi, Thiti. "Experimental Analysis of Indoor Positioning System Based on Ultra-Wideband Measurements". Thesis, Linköpings universitet, Kommunikationssystem, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-133177.
Texto completoResumen
Localization is one of the most interesting research areas in wireless networks. It is mostly used for tracking and monitoring applications such as traffic monitoring, search and rescue, navigation and so on. A good quality system can be defined from its accuracy when operating in severe interference environments that contaminate the signals and therefore reduce the system performance. The main issue for localization is channel propagation, e.g., line of sight or non-line of sight channel which should be studied in order to improve the system efficiency. In order to perform a localization, most algorithms use two steps: ranging and positioning. For ranging, the two popular techniques that are widely used for distance measurement are received signal strength (RSS) and time of arrival (TOA). RSS ranging technique uses the power of the received signals to identify the distance between a transmitter and a receiver. TOA ranging technique uses time of the signal traveling between a transmitter and a receiver to identify the distance, thus it requires synchronization. The measurements are processed by using a localization algorithm afterwards. However, these techniques suffer from multipath fading and other errors, so there always exists error in the estimated position. In this thesis, TOA ranging technique is used for different estimation methods. Simulation results are performed using MATLAB, while the real results are obtained from Pozyx indoor positioning platform. Several estimation algorithms comprising of maximum likelihood (ML), linearized least square (LLS), weighted centroid (WC), and fingerprinting (FP) are studied in detail. The testing area is indoor environment which is suitable for LOS, NLOS and combined situations. The measured data is then used for ranging and localization. We concentrate on comparing and discussing these results in this thesis.
26
Moody, Sarah Jean. "Automated Data Type Identification And Localization Using Statistical Analysis Data Identification". DigitalCommons@USU, 2008. https://digitalcommons.usu.edu/etd/9.
Texto completoResumen
This research presents a new and unique technique called SÁDI, statistical analysis data identification, for identifying the type of data on a digital device and its storage format based on data type, specifically the values of the bytes representing the data being examined. This research incorporates the automation required for specialized data identification tools to be useful and applicable in real-world applications. The SÁDI technique utilizes the byte values of the data stored on a digital storage device in such a way that the accuracy of the technique does not rely solely on the potentially misleading metadata information but rather on the values of the data itself. SÁDI provides the capability to identify what digitally stored data actually represents. The identification of the relevancy of data is often dependent upon the identification of the type of data being examined. Typical file type identification is based upon file extensions or magic keys. These typical techniques fail in many typical forensic analysis scenarios, such as needing to deal with embedded data, as in the case of Microsoft Word files or file fragments. These typical techniques for file identification can also be easily circumvented, and individuals with nefarious purposes often do so.
27
Vajaria, Himanshu. "Diarization, localization and indexing of meeting archives". [Tampa, Fla] : University of South Florida, 2008. http://purl.fcla.edu/usf/dc/et/SFE0002581.
Texto completo
28
Sun, Hao. "Analysis of Myosin XI Localization During Cell Division in Physcomitrella patens". Digital WPI, 2015. https://digitalcommons.wpi.edu/etd-theses/783.
Texto completoResumen
Cell division is an important biological process, thus it is always an active field in biological research. To complete cell division, plant cells form a new cell wall that separates the two new cells. In contrast to the contractile ring of animal cells, plant cells form the new cell wall from their interior. Vesicles containing the new cell wall fuse at the cell plate between the two cells. The formation of the cell plate is guided by the phragmoplast, a microtubule and filamentous actin-containing structure. Because vesicles are known to be transported by myosin motors during interphase and little is known about the role of myosin XI during cell division, I investigated the participation of the plant specific myosin XI in cell division. For this work I used the moss Physcomitrella patens as a model organisms because of its simple cytology and powerful genetics. Using a fluorescent protein fusion of myosin XI, I found that this molecule associates with the mitotic spindle immediately after nuclear envelope breakdown. Myosin XI stays associated with the spindle during mitosis, and when the phragmoplast is formed, it concentrates at the cell plate, forming a fine line. Using an actin polymerization inhibitor, latrunculin B, I found that the associations of myosin XI with the mitotic spindle and the phragmoplast are independent of the presence of filamentous actin. After using double-labeled lines for myosin XI the endoplasmic reticulum and vesicle markers, I found the myosin XI on the spindle is not colocalized with the endoplasmic reticulum and two types of vesicle markers. Furthermore, I also found the vesicle trafficking inhibitor, brefeldin A, does not inhibit the localization of myosin XI at the mitotic spindle and the phragmoplast. These observations suggest a new actin-independent behavior of myosin XI during cell division, and provide novel insights to our understanding of the function of myosin XI during plant cell division.
29
Scucchia, Matteo. "Simultaneous Localization And Mapping for robots: an experimental analysis using ROS". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2022. http://amslaurea.unibo.it/25354/.
Texto completoResumen
The field of robotics has seen major improvements in the past few decades. One of the most important problem researchers all around the world tried to solve is how to make a mobile robot completely autonomous. One important step to achieve this goal is to create robots that can navigate an unknown environment and, using several sensors, build a map of it, locating themselves on the map. This particular problem takes the name of Simultaneous Localization And Mapping (SLAM) and it is very important for different scenarios, such as a mobile robot that navigates an indoor environment, where GPS location cannot perform well. Theoretically, this problem can be considered solved, since several solutions have been proposed in the literature, but in practice these solutions perform sufficiently well only under particular condition, such as when the environment is static and its dimension is limited. In real world instead, the environment can change, objects can be moved, and external factors can modify the appearance of a place, making the localization of the robot very uncertain. Therefore, in practice, a long-term SLAM is an unsolved problem and it is an open field of research. A practical problem for which a definitive solution hasn’t been proposed yet is the Loop Closure Detection (LCD) issue, that is necessary to achieve a real long-term SLAM, and it is the ability of the robot to recognize places previously visited. There are many solutions proposed in the literature, but it is very challenging for a robot to recognize the same place at different time in the day, or in different seasons, or again when the particular location is not visited for long time. During the years, several practice SLAM solutions have been implemented, but a really long-term SLAM hasn’t been reached yet. In this thesis a comparison is made between two mature SLAM approaches, highlighting their criticalities and possible improvements in view of a long-term SLAM.
30
Hirata, Takashi. "Analysis of molecular mechanisms controlling subcellular localization of ABCG5 and ABCG8". Kyoto University, 2011. http://hdl.handle.net/2433/142331.
Texto completoResumen
Kyoto University (京都大学)0048
新制・課程博士
博士(農学)
甲第16133号
農博第1869号
新制||農||990(附属図書館)
学位論文||H23||N4603(農学部図書室)
28712
京都大学大学院農学研究科応用生命科学専攻
(主査)教授 植田 和光, 教授 阪井 康能, 教授 矢﨑 一史
学位規則第4条第1項該当
31
GARRAFFA, Giovanni. "Real Time Localization Systems for autonomous navigation: Modelling, Analysis and Control". Doctoral thesis, Università degli Studi di Palermo, 2021. http://hdl.handle.net/10447/514955.
Texto completoResumen
Questo lavoro di tesi riguarda la derivazione di osservatori ibridi dello stato, analisi e controllo, di sistemi di localizzazione e navigazione in tempo reale (RTLS). In particolare, il framework dei sistemi ibridi è stato utilizzato per tener conto delle dinamiche continue e discrete coinvolte nel processo di stima e della natura sporadica e tempo randomica delle misure provenienti da vari sensori di distanza e/o inerziali. Analisi di convergenza sono state effettuate per dimostrare la stabilità delle soluzioni proposte e la capacità di filtraggio dei rumori presenti nelle misure. Il presente lavoro è corredato dai risultati delle prove sperimentali di laboratorio a conferma della validità delle soluzioni proposte.This thesis work concerns the derivation of hybrid state observers, analysis and control, of real-time localization and navigation systems (RTLS). In particular, the hybrid systems framework was used to take into account the continuous and discrete dynamics involved in the estimation process and the sporadic and time-random nature of the measurements from various distance and / or inertial sensors. Convergence analyzes were carried out to demonstrate the stability of the proposed solutions and the filtering capacity of the noises present in the measurements. This work is accompanied by the results of the experimental laboratory tests confirming the validity of the proposed solutions.
32
El-Guendy, Nadia M. "STRUCTURE AND FUNCTION ANALYSIS OF PAR-4". UKnowledge, 2002. http://uknowledge.uky.edu/gradschool_diss/391.
Texto completoResumen
Par-4 is a leucine zipper domain protein that induces apoptosis on its own in certain cancer cells and in Ras-transformed cells, but not in normal or immortalized cells. Par-4 induces apoptosis by activation of the Fas death receptor pathway and co-parallel inhibition of NF-B transcription activity. Cells that are resistant to apoptosis by Par-4 alone, however, are greatly sensitized by Par-4 to the action of other pro-apoptotic insults such as growth factor withdrawal, TNF, ionizing radiation, intracellular calcium elevation, or those involved in neuronal degeneration such as Alzheimer's, Parkinson's, Huntington's and Stroke. Previous studies have suggested that the apoptosis-sensitization potential of Par-4 is dependent upon inhibition of PKC or WT1 cell survival function by direct interaction between the leucine zipper domain at the carboxy-terminus of Par-4 and the zinc finger domains of PKC or WT1. In this study, I performed structure-function analysis using GFP-fusion proteins and deletion mutants to identify the functional localization and domains of Par-4 that are essential for apoptosis induction. My findings suggest that apoptosis by Par-4 is dependent on its translocation to the nucleus for induction of apoptosis. A bipartite nuclear localization signal sequence corresponding to amino acids 137-155 was necessary for nuclear translocation of Par-4. Importantly, the core residues 137-204 in the center part of Par-4 were necessary and sufficient to induce Fas pathway activation, inhibition of nuclear NF-B transcription activity and apoptosis. These findings imply that binding of Par-4 via its leucine zipper domain to other proteins is dispensable for apoptosis by Par-4.
33
Marin, Luciano Heitor Gallegos. "Statistical decision making for stochastic damage localization approaches". Thesis, Rennes 1, 2013. http://www.theses.fr/2013REN1S059/document.
Texto completoResumen
Les systèmes mécaniques soumis et excités par vibrations sont les candidats naturels à être modélisé par des systèmes linéaires invariables dans le temps. La localisation de dommages utilisant les paramètres modaux évalués à partir de données de vibration ambiantes mesurées grâce à de capteurs est possible notamment par l'approche nommée Stochastic Dynamic Damage Location Vector (SDDLV), où l'emplacement des dommages est empiriquement relié aux positions où le stress est proche de zéro. La première contribution dans cette thèse montre comment l'incertitude sur les paramètres du système d'état peut être utilisée pour déduire des bornes d'incertitude sur les résidus de localisation de dommages, ceci afin de décider de l'emplacement de dommage utilisant un test d'hypothèse. Dans la deuxième contribution, la méthode de localisation de dommages est étendue pour être robuste au choix des variables de Laplace utilisées dans cette méthode. Ceci est obtenue en agrégeant statistiquement les résultats à valeurs différentes dans le domaine de Laplace. L'influence Line Damage Location (ILDL) est une approche complémentaire du SDDLV où l'angle entre les sous-espaces principaux est calculé et les dommages sont empiriquement localisés aux points près du zéro. L'approche développée pour la SDDLV est étendue à cette nouvelle approche, l'ILDL. Les méthodes proposées sont validées et appliquées avec succès pour la localisation de dommages dans des structures civilesMechanical systems under vibration excitation are prime candidate for being modeled by linear time invariant systems. Damage localization using both finite element information and modal parameters estimated from ambient vibration data collected from sensors is possible by the Stochastic Dynamic Damage Location Vector (SDDLV) approach, where the damage location is empirically related to positions where the stress is close to zero. The first contribution in this thesis shows how the uncertainty in the estimates of the state space system can be used to derive uncertainty bounds on the damage localization residuals to decide about the damage location with a hypothesis test using one chosen Laplace value. In the second contribution, the damage localization method is extended with a statistical framework and robustness of the localization information is achieved by aggregating results at different values in the Laplace domain. The Influence Line Damage Location (ILDL) is a complementary approach of the SDDLV where the subspace angle is computed and damage is empirically located at points near zero. The last contribution describes how robustness of the localization information is achieved by aggregating results at different values in the Laplace domain based on the previous two contributions. The proposed methods are validated and successfully applied to damage localization of several applications in civil structures
34
Gallegos, Marin Luciano Heitor. "Statistical decision making for stochastic damage localization approaches". Phd thesis, Université Rennes 1, 2013. http://tel.archives-ouvertes.fr/tel-00904087.
Texto completoResumen
Mechanical systems under vibration excitation are prime candidate for being modeled by linear time invariant systems. Damage localization using both finite element information and modal parameters estimated from ambient vibration data collected from sensors is possible by the Stochastic Dynamic Damage Location Vector (SDDLV) approach, where the damage location is empirically related to positions where the stress is close to zero. The first contribution in this thesis shows how the uncertainty in the estimates of the state space system can be used to derive uncertainty bounds on the damage localization residuals to decide about the damage location with a hypothesis test using one chosen Laplace value. In the second contribution, the damage localization method is extended with a statistical framework and robustness of the localization information is achieved by aggregating results at different values in the Laplace domain. The Influence Line Damage Location (ILDL) is a complementary approach of the SDDLV where the subspace angle is computed and damage is empirically located at points near zero. The last contribution describes how robustness of the localization information is achieved by aggregating results at different values in the Laplace domain based on the previous two contributions. The proposed methods are validated and successfully applied to damage localization of several applications in civil structures.
35
Workman, Scott. "Leveraging Overhead Imagery for Localization, Mapping, and Understanding". UKnowledge, 2018. https://uknowledge.uky.edu/cs_etds/64.
Texto completoResumen
Ground-level and overhead images provide complementary viewpoints of the world. This thesis proposes methods which leverage dense overhead imagery, in addition to sparsely distributed ground-level imagery, to advance traditional computer vision problems, such as ground-level image localization and fine-grained urban mapping. Our work focuses on three primary research areas: learning a joint feature representation between ground-level and overhead imagery to enable direct comparison for the task of image geolocalization, incorporating unlabeled overhead images by inferring labels from nearby ground-level images to improve image-driven mapping, and fusing ground-level imagery with overhead imagery to enhance understanding. The ultimate contribution of this thesis is a general framework for estimating geospatial functions, such as land cover or land use, which integrates visual evidence from both ground-level and overhead image viewpoints.
36
Rosen, Gail L. "Signal processing for biologically-inspired gradient source localization and DNA sequence analysis". Diss., Available online, Georgia Institute of Technology, 2006, 2006. http://etd.gatech.edu/theses/available/etd-07102006-123527/.
Texto completoResumen
Thesis (Ph. D.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2007.Oliver Brand, Committee Member ; James H. McClellan, Committee Member ; Paul Hasler, Committee Chair ; Mark T. Smith, Committee Member ; David Anderson, Committee Member.
37
Sarikaya, Tevfik Bahadir. "A Comparative Analysis Of Matched Field Processors For Underwater Acoustic Source Localization". Master's thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/12612578/index.pdf.
Texto completoResumen
In this thesis, localization of the underwater sound sources using matched field processing technique is considered. Localization of the underwater sound sources is one of the most important problems encountered in underwater acoustics and signal processing. Many techniques were developed to localize sources in range, depth and bearing angle. However, most of these techniques do not consider or only slightly takes into
account the environmental factors that dramatically effect the propagation of underwater sound. Matched field processing has been developed as a technique that fully considers the environmental factors. Matched field processing has proven to be successful in many applications such as localization of sources in range and depth, the determination of environmental parameters, and the evaluation of model accuracies. In this study, first a comparative analysis of narrowband matched field processors is given. Namely four main processors: Bartlett processor, Minimum Variance Distortionless Response (MVDR) processor, MVDR with neighboring location constraints and MVDR with environmental perturbation constraints are compared in terms of their probability of correct localization under certain environmental conditions. Secondly, a performance assesment for the most common broadband matched field processors
is made. The correct localization performances for incoherent broadband matched field processor, Tolstoy/Michalopoulo's coherent matched field processor and broadband matched field processor with environmental perturbation constraints is given for certain environmental conditions. Finally, a new weighting approach to combine data for broadband matched field processing is introduced. The fact that information from different frequencies may have different reliability depending on the environmental conditions is considered to develop a weighting scheme. It is shown that a performance gain compared to existing processors can be achieved by using the weighting scheme introduced in this study.
38
Seki, Wataru. "Analysis of strain localization in hyperelastic materials, using assumed stress hybrid elements". Diss., Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/19088.
Texto completo
39
Englot, Brendan J. "Stability and robustness analysis tools for marine robot localization and mapping applications". Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/54880.
Texto completoResumen
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2009.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student submitted PDF version of thesis.
Includes bibliographical references (p. 114-118).
The aim of this analysis is to explore the fundamental stability issues of a robotic vehicle carrying out localization, mapping, and feedback control in a perturbation-filled environment. Motivated by the application of an ocean vehicle performing an autonomous ship hull inspection, a planar vehicle model performs localization using point features from a given map. Cases in which the agent must update the map are also considered. The stability of the marine robot controller and estimator duo is investigated using a pair of theorems requiring boundedness and convergence of the transition matrix Euclidean norm. These theorems yield a stability test for the feedback controller. Perturbations are then considered using a theorem on the convergence on the perturbed system transition matrix, yielding a robustness test for the estimator. Together, these tests form a set of tools which can be used in planning and evaluating the robustness of marine vehicle survey trajectories, which is demonstrated through experiment. An augmented A* kinodynamic path-planning algorithm is then implemented to search the control input space for the globally robustness-optimal survey trajectory.
by Brendan J. Englot.
S.M.
40
Rogers, Lynette K. "Mechanisms of nuclear localization of glutathione reductase, subnuclear colocalization with thioredoxin, and genetic analysis of a chemically induced glutathione reductase knockout". Connect to this title online, 2004. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1091194762.
Texto completoResumen
Thesis (Ph. D.)--Ohio State University, 2004.Title from first page of PDF file. Document formatted into pages; contains xiv, 133 p.; also includes graphics (some col.). Includes bibliographical references (p. 124-133).
41
Wang, Zhan. "Guaranteed Localization and Mapping for Autonomous Vehicles". Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS395.
Texto completoResumen
Avec le développement rapide et les applications étendues de la technologie de robot, la recherche sur le robot mobile intelligent a été programmée dans le plan de développement de haute technologie dans beaucoup de pays. La navigation autonome joue un rôle de plus en plus important dans le domaine de recherche du robot mobile intelligent. La localisation et la construction de cartes sont les principaux problèmes à résoudre par le robot pour réaliser une navigation autonome. Les techniques probabilistes (telles que le filtre étendu de Kalman et le filtre de particules) ont longtemps été utilisées pour résoudre le problème de localisation et de cartographie robotisées. Malgré leurs bonnes performances dans les applications pratiques, ils pourraient souffrir du problème d'incohérence dans les scénarios non linéaires, non gaussiens. Cette thèse se concentre sur l'étude des méthodes basées sur l'analyse par intervalles appliquées pour résoudre le problème de localisation et de cartographie robotisées. Au lieu de faire des hypothèses sur la distribution de probabilité, tous les bruits de capteurs sont supposés être bornés dans des limites connues. Sur la base d'une telle base, cette thèse formule le problème de localisation et de cartographie dans le cadre du problème de satisfaction de contraintes d'intervalle et applique des techniques d'intervalles cohérentes pour les résoudre de manière garantie. Pour traiter le problème du "lacet non corrigé" rencontré par les approches de localisation par ICP (Interval Constraint Propagation), cette thèse propose un nouvel algorithme ICP traitant de la localisation en temps réel du véhicule. L'algorithme proposé utilise un algorithme de cohérence de bas niveau et est capable de diriger la correction d'incertitude. Par la suite, la thèse présente un algorithme SLAM basé sur l'analyse d'intervalle (IA-SLAM) dédié à la caméra monoculaire. Une paramétrisation d'erreur liée et une initialisation non retardée pour un point de repère naturel sont proposées. Le problème SLAM est formé comme ICSP et résolu par des techniques de propagation par contrainte d'intervalle. Une méthode de rasage pour la contraction de l'incertitude historique et une méthode d'optimisation basée sur un graphique ICSP sont proposées pour améliorer le résultat obtenu. L'analyse théorique de la cohérence de la cartographie est également fournie pour illustrer la force de IA-SLAM. De plus, sur la base de l'algorithme IA-SLAM proposé, la thèse présente une approche cohérente et peu coûteuse pour la localisation de véhicules en extérieur. Il fonctionne dans un cadre en deux étapes (enseignement visuel et répétition) et est validé avec un véhicule de type voiture équipé de capteurs de navigation à l'estime et d'une caméra monoculaireWith the rapid development and extensive applications of robot technology, the research on intelligent mobile robot has been scheduled in high technology development plan in many countries. Autonomous navigation plays a more and more important role in the research field of intelligent mobile robot. Localization and map building are the core problems to be solved by the robot to realize autonomous navigation. Probabilistic techniques (such as Extented Kalman Filter and Particle Filter) have long been used to solve the robotic localization and mapping problem. Despite their good performance in practical applications, they could suffer the inconsistency problem in the non linear, non Gaussian scenarios. This thesis focus on study the interval analysis based methods applied to solve the robotic localization and mapping problem. Instead of making hypothesis on the probability distribution, all the sensor noises are assumed to be bounded within known limits. Based on such foundation, this thesis formulates the localization and mapping problem in the framework of Interval Constraint Satisfaction Problem and applied consistent interval techniques to solve them in a guaranteed way. To deal with the “uncorrected yaw” problem encountered by Interval Constraint Propagation (ICP) based localization approaches, this thesis proposes a new ICP algorithm dealing with the real-time vehicle localization. The proposed algorithm employs a low-level consistency algorithm and is capable of heading uncertainty correction. Afterwards, the thesis presents an interval analysis based SLAM algorithm (IA-SLAM) dedicates for monocular camera. Bound-error parameterization and undelayed initialization for nature landmark are proposed. The SLAM problem is formed as ICSP and solved via interval constraint propagation techniques. A shaving method for landmark uncertainty contraction and an ICSP graph based optimization method are put forward to improve the obtaining result. Theoretical analysis of mapping consistency is also provided to illustrated the strength of IA-SLAM. Moreover, based on the proposed IA-SLAM algorithm, the thesis presents a low cost and consistent approach for outdoor vehicle localization. It works in a two-stage framework (visual teach and repeat) and is validated with a car-like vehicle equipped with dead reckoning sensors and monocular camera
42
Hays, Mark A. "A Fault-Based Model of Fault Localization Techniques". UKnowledge, 2014. http://uknowledge.uky.edu/cs_etds/21.
Texto completoResumen
Every day, ordinary people depend on software working properly. We take it for granted; from banking software, to railroad switching software, to flight control software, to software that controls medical devices such as pacemakers or even gas pumps, our lives are touched by software that we expect to work. It is well known that the main technique/activity used to ensure the quality of software is testing. Often it is the only quality assurance activity undertaken, making it that much more important.
In a typical experiment studying these techniques, a researcher will intentionally seed a fault (intentionally breaking the functionality of some source code) with the hopes that the automated techniques under study will be able to identify the fault's location in the source code. These faults are picked arbitrarily; there is potential for bias in the selection of the faults. Previous researchers have established an ontology for understanding or expressing this bias called fault size. This research captures the fault size ontology in the form of a probabilistic model. The results of applying this model to measure fault size suggest that many faults generated through program mutation (the systematic replacement of source code operators to create faults) are very large and easily found. Secondary measures generated in the assessment of the model suggest a new static analysis method, called testability, for predicting the likelihood that code will contain a fault in the future.
While software testing researchers are not statisticians, they nonetheless make extensive use of statistics in their experiments to assess fault localization techniques. Researchers often select their statistical techniques without justification. This is a very worrisome situation because it can lead to incorrect conclusions about the significance of research. This research introduces an algorithm, MeansTest, which helps automate some aspects of the selection of appropriate statistical techniques. The results of an evaluation of MeansTest suggest that MeansTest performs well relative to its peers. This research then surveys recent work in software testing using MeansTest to evaluate the significance of researchers' work. The results of the survey indicate that software testing researchers are underreporting the significance of their work.
43
Lv, Xiaowei. "Indoor localization in wireless sensor networks". Thesis, Troyes, 2015. http://www.theses.fr/2015TROY0009/document.
Texto completoResumen
Ce manuscrit est dédié à la résolution du problème de localisation dans les réseaux de capteurs sans fil mobiles. Les méthodes développées se basent principalement sur des caractéristiques de fingerprints ainsi que sur des informations de mobilité. Les premières s'attaquent aux valeurs de RSSI entre capteurs tandis que les deuxièmes prennent en considération la mobilité des capteurs mesurée à l'aide d'accéléromètres et de gyroscopes. La combinaison des données collectées est effectuée dans le cadre de l'analyse par intervalles, ou bien du filtrage de Kalman. Les travaux proposés introduisent des modèles de mobilité d'ordres un, deux ou trois, permettant d'approximer au mieux les trajectoires des capteurs à l'aide des accélérations mesurées. Ceux-là sont couplés à l'algorithme des K plus proches voisins, d'abord dans un système centralisé. Ensuite, les modèles de mobilités sont améliorés pour prendre en compte les rotations des nœuds. Une méthode de localisation décentralisée est également proposée dans ce qui suit, s'adaptant au mécanisme fonctionnel des réseaux de capteurs de grande échelle. Enfin, ce manuscrit propose une méthode de zonage visant à déterminer les zones dans lesquelles les capteurs résident. La méthode proposée aborde le problème de zonage en utilisant à la fois la théorie des fonctions de croyance et l'analyse par intervallesThis thesis is dedicated to solve the localization problem in mobile wireless sensor networks. It works mainly with fingerprints features and inertial movements information. The former tackles the RSSIs values between sensors while the latter deals with the objets movement attitude by using accelerometer and gyroscope. The combination of both information is performed in terms of interval analysis, or Kalman filtering. The proposed work introduces three orders mobility models to approximate nodes trajectories using accelerations, combined then to the weighted K nearest neighbors algorithm in a centralized scheme. Then the mobility models are extended up to the inertial information taking into consideration the rotations of the nodes. A decentralized localization method is also proposed in the following in view of the working mechanism of large scale sensor networks. Finally, this thesis proposes a zoning localization method aiming at determining the zones in which the nodes reside. The proposed method addresses the zoning problem by using both the belief functions theory and the interval analysis
44
Stevens, John Boyet. "Finite Element Analysis of Adiabatic Shear Bands in Impact and Penetration Problems". Thesis, Virginia Tech, 1996. http://hdl.handle.net/10919/36650.
Texto completoResumen
We study axisymmetric deformations of depleted uranium (DU) and tungsten heavy alloy (WHA) rods impacting at normal incidence both a rigid, planar target and a thick, deformable steel target. Each deformable material is modeled as elastic thermoviscoplastic; the flow stress increases with an increase in the effective plastic strain and effective plastic strain-rate but decreases with a rise in the temperature. An objective of this work is to ascertain when and where a shear band, defined as a narrow region of rapid, intense plastic deformation, forms in each material subject to impact loading. The Taylor impact simulations show that shear bands form earlier in WHA than in DU for the material parameters used. In the penetration simulations, shear bands form continuously in the ejecta of the DU penetrator while only one shear band occurs in the WHA ejecta followed by more uniform deformations.
Note: In order to view the computer animations referenced in this thesis, one must have a QuickTime movie player and download the files named Ujce.mov Uz2e.mov Uz3e.mov Wjce.mov Wz2e.mov and Wz3e.mov from the same directory the "pdf" file resides in.Master of Science
45
Rohr, Matthias [Verfasser]. "Workload-sensitive Timing Behavior Analysis for Fault Localization in Software Systems / Matthias Rohr". Kiel : Universitätsbibliothek Kiel, 2015. http://d-nb.info/1066644896/34.
Texto completo
46
Maiti, Arpita. "Analysis of components responsible for the cellular localization and adhesive properties of CD44". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape4/PQDD_0017/NQ48657.pdf.
Texto completo
47
Arslan, Haydar. "Localization analysis of granular materials in Cosserat elastoplasticity: Formulation and finite element implementation". Diss., Connect to online resource, 2006. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3239421.
Texto completo
48
Tonn, Evelyn. "Globalization versus Localization: A Comparative Global Analysis of the Attitudes of University Students". Honors in the Major Thesis, University of Central Florida, 2007. http://digital.library.ucf.edu/cdm/ref/collection/ETH/id/1194.
Texto completoResumen
This item is only available in print in the UCF Libraries. If this is your Honors Thesis, you can help us make it available online for use by researchers around the world by following the instructions on the distribution consent form at http://library.ucf.edu/Systems/DigitalInitiatives/DigitalCollections/InternetDistributionConsentAgreementForm.pdf You may also contact the project coordinator, Kerri Bottorff, at kerri.bottorff@ucf.edu for more information.Bachelors
Sciences
Political Science
49
Fidjeland, Leo. "Construction and analysis of a GPS and localization system for sounding rocket experiment". Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199317.
Texto completo
50
Zhang, Wenyi. "Microphone array processing for speech dual channel localization, robust beamforming, and ICA analysis /". Diss., [La Jolla] : University of California, San Diego, 2010. http://wwwlib.umi.com/cr/ucsd/fullcit?p3390394.
Texto completoResumen
Thesis (Ph. D.)--University of California, San Diego, 2010.Title from first page of PDF file (viewed February 18, 2010). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references (p. 162-176).