Matching Items (3)
Filtering by
- All Subjects: Methodology
- Creators: Creath, Richard
Description
This thesis is concerned with the methodological role of intuitions in metaphysics. It is divided into two main parts. Part I argues that an academic field can only employ a method of gathering evidence if it has established some agreed-upon standards regarding how to evaluate uses of this method. Existing meta-philosophical disputes take the nature of intuitions to be their starting point. This is a mistake. My concern is not the epistemic status of intuitions, but rather how metaphysicians appeal to intuitions as a form of evidence. In order for intuitions to play a viable role in research they must be subject to certain constraints, regardless of whether they allow individual researchers to know that their theories are true. Metaphysicians are not permitted to use intuitions as arbitrarily having different evidential status in different circumstances, nor should they continue to use intuitions as evidence in certain disputes when there is disagreement amongst disputants about whether intuitions should have this evidential status.
Part II is dedicated to showing that metaphysicians currently use intuitions in precisely the sort of inconsistent manner that was shown to be impermissible in Part I. I first consider several competing theories of how intuitions function as evidence and argue that they all fail. As they are currently used in metaphysics, intuitions are analogous to instruments in the sciences in that they are taken to be a substantial non-inferential source of evidence for theories. I then analyze several major metaphysical disputes and show that the source of controversy in these disputes boils down to inconsistencies in how the different parties treat intuitions as evidence. I conclude that metaphysicians must abandon appeals to intuition as evidence--at least until the field can agree upon some general standards that can resolve these inconsistencies.
Part II is dedicated to showing that metaphysicians currently use intuitions in precisely the sort of inconsistent manner that was shown to be impermissible in Part I. I first consider several competing theories of how intuitions function as evidence and argue that they all fail. As they are currently used in metaphysics, intuitions are analogous to instruments in the sciences in that they are taken to be a substantial non-inferential source of evidence for theories. I then analyze several major metaphysical disputes and show that the source of controversy in these disputes boils down to inconsistencies in how the different parties treat intuitions as evidence. I conclude that metaphysicians must abandon appeals to intuition as evidence--at least until the field can agree upon some general standards that can resolve these inconsistencies.
ContributorsMusgrave, Shea (Author) / Creath, Richard (Thesis advisor) / Pinillos, Nestor A. (Committee member) / Kobes, Bernard W. (Committee member) / Arizona State University (Publisher)
Created2014
Description
The space environment comprises cosmic ray particles, heavy ions and high energy electrons and protons. Microelectronic circuits used in space applications such as satellites and space stations are prone to upsets induced by these particles. With transistor dimensions shrinking due to continued scaling, terrestrial integrated circuits are also increasingly susceptible to radiation upsets. Hence radiation hardening is a requirement for microelectronic circuits used in both space and terrestrial applications.
This work begins by exploring the different radiation hardened flip-flops that have been proposed in the literature and classifies them based on the different hardening techniques.
A reduced power delay element for the temporal hardening of sequential digital circuits is presented. The delay element single event transient tolerance is demonstrated by simulations using it in a radiation hardened by design master slave flip-flop (FF). Using the proposed delay element saves up to 25% total FF power at 50% activity factor. The delay element is used in the implementation of an 8-bit, 8051 designed in the TSMC 130 nm bulk CMOS.
A single impinging ionizing radiation particle is increasingly likely to upset multiple circuit nodes and produce logic transients that contribute to the soft error rate in most modern scaled process technologies. The design of flip-flops is made more difficult with increasing multi-node charge collection, which requires that charge storage and other sensitive nodes be separated so that one impinging radiation particle does not affect redundant nodes simultaneously. We describe a correct-by-construction design methodology to determine a-priori which hardened FF nodes must be separated, as well as a general interleaving scheme to achieve this separation. We apply the methodology to radiation hardened flip-flops and demonstrate optimal circuit physical organization for protection against multi-node charge collection.
Finally, the methodology is utilized to provide critical node separation for a new hardened flip-flop design that reduces the power and area by 31% and 35% respectively compared to a temporal FF with similar hardness. The hardness is verified and compared to other published designs via the proposed systematic simulation approach that comprehends multiple node charge collection and tests resiliency to upsets at all internal and input nodes. Comparison of the hardness, as measured by estimated upset cross-section, is made to other published designs. Additionally, the importance of specific circuit design aspects to achieving hardness is shown.
This work begins by exploring the different radiation hardened flip-flops that have been proposed in the literature and classifies them based on the different hardening techniques.
A reduced power delay element for the temporal hardening of sequential digital circuits is presented. The delay element single event transient tolerance is demonstrated by simulations using it in a radiation hardened by design master slave flip-flop (FF). Using the proposed delay element saves up to 25% total FF power at 50% activity factor. The delay element is used in the implementation of an 8-bit, 8051 designed in the TSMC 130 nm bulk CMOS.
A single impinging ionizing radiation particle is increasingly likely to upset multiple circuit nodes and produce logic transients that contribute to the soft error rate in most modern scaled process technologies. The design of flip-flops is made more difficult with increasing multi-node charge collection, which requires that charge storage and other sensitive nodes be separated so that one impinging radiation particle does not affect redundant nodes simultaneously. We describe a correct-by-construction design methodology to determine a-priori which hardened FF nodes must be separated, as well as a general interleaving scheme to achieve this separation. We apply the methodology to radiation hardened flip-flops and demonstrate optimal circuit physical organization for protection against multi-node charge collection.
Finally, the methodology is utilized to provide critical node separation for a new hardened flip-flop design that reduces the power and area by 31% and 35% respectively compared to a temporal FF with similar hardness. The hardness is verified and compared to other published designs via the proposed systematic simulation approach that comprehends multiple node charge collection and tests resiliency to upsets at all internal and input nodes. Comparison of the hardness, as measured by estimated upset cross-section, is made to other published designs. Additionally, the importance of specific circuit design aspects to achieving hardness is shown.
ContributorsShambhulingaiah, Sandeep (Author) / Clark, Lawrence (Thesis advisor) / Holbert, Keith E. (Committee member) / Seo, Jae sun (Committee member) / Allee, David (Committee member) / Arizona State University (Publisher)
Created2015
Description
I began this thesis because I was confused about economics. I wondered why there were so many different models. I didn't understand how they fit together. I was also confused by the assumptions being made. For instance, the assumption that humans are rational utility-maximizers did not seem to agree with my own experiences. With my director Dr. Edward Schlee's help, my thesis has become an inquiry into the state of economic methodology, both in theory and in practice. The questions that drive this paper are: How do economists choose between theories? What is the purpose of economic theory? What is the role of empirical data in assessing models? What role do assumptions play in theory evaluation, and should assumptions make sense? Part I: Methodology is the theoretical portion of the paper. I summarize the essential arguments of the two main schools of thought in economic methodology, and argue for an updated methodology. In Part II: A case study: The expected utility hypothesis, I examine methodology in practice by assessing a handful of studies that seek to test the expected utility hypothesis. Interestingly, I find that there is a different between what economists say they are doing, and what they actually seem to be doing. Throughout this paper, I restrict my analysis to microeconomic theory, simply because this is the area with which I am more familiar. I intend this paper to be a guide for my fellow students and rising economists, as well as for already practicing economists. I hope it helps the reader better understand methodology and improve her own practice.
ContributorsKang, Dominique (Author) / Schlee, Edward (Thesis director) / Schoellman, Todd (Committee member) / Boerner, Rochus (Committee member) / Barrett, The Honors College (Contributor)
Created2013-05