995 resultados para Logic, Modern
Resumo:
Advances in technology have produced more and more intricate industrial systems, such as nuclear power plants, chemical centers and petroleum platforms. Such complex plants exhibit multiple interactions among smaller units and human operators, rising potentially disastrous failure, which can propagate across subsystem boundaries. This paper analyzes industrial accident data-series in the perspective of statistical physics and dynamical systems. Global data is collected from the Emergency Events Database (EM-DAT) during the time period from year 1903 up to 2012. The statistical distributions of the number of fatalities caused by industrial accidents reveal Power Law (PL) behavior. We analyze the evolution of the PL parameters over time and observe a remarkable increment in the PL exponent during the last years. PL behavior allows prediction by extrapolation over a wide range of scales. In a complementary line of thought, we compare the data using appropriate indices and use different visualization techniques to correlate and to extract relationships among industrial accident events. This study contributes to better understand the complexity of modern industrial accidents and their ruling principles.
Resumo:
Optimization methods have been used in many areas of knowledge, such as Engineering, Statistics, Chemistry, among others, to solve optimization problems. In many cases it is not possible to use derivative methods, due to the characteristics of the problem to be solved and/or its constraints, for example if the involved functions are non-smooth and/or their derivatives are not know. To solve this type of problems a Java based API has been implemented, which includes only derivative-free optimization methods, and that can be used to solve both constrained and unconstrained problems. For solving constrained problems, the classic Penalty and Barrier functions were included in the API. In this paper a new approach to Penalty and Barrier functions, based on Fuzzy Logic, is proposed. Two penalty functions, that impose a progressive penalization to solutions that violate the constraints, are discussed. The implemented functions impose a low penalization when the violation of the constraints is low and a heavy penalty when the violation is high. Numerical results, obtained using twenty-eight test problems, comparing the proposed Fuzzy Logic based functions to six of the classic Penalty and Barrier functions are presented. Considering the achieved results, it can be concluded that the proposed penalty functions besides being very robust also have a very good performance.
Resumo:
RESUMO: OS distúrbios mentais, neurológicos e devidos ao abuso de substâncias tem uma grande prevalência e peso em todo o Mundo. O objetivo principal deste estudo é contribuir para a melhoria dos direitos humanos das pessoas com deficiências mentais na Gâmbia, através de uma revisão e análise críticas de uma obsoleta legislação de saúde mental do País o "Lunatic Act Detention (LDA) de 1917".----- ABSTRACT: Mental, neurological, and substance use disorders are highly prevalente and burdensome worlwide. The violations of human rights directed towards people with this disorders compound the problam. This study mainly aims to contribute do the improvement of human rights of people with mental disabilities in Gambia by doing a critical review and analysis to the countries outdated mental health legislation - Lunatic Detention ct (LDA) from 1917.
Resumo:
The amorphous silicon photo-sensor studied in this thesis, is a double pin structure (p(a-SiC:H)-i’(a-SiC:H)-n(a-SiC:H)-p(a-SiC:H)-i(a-Si:H)-n(a-Si:H)) sandwiched between two transparent contacts deposited over transparent glass thus with the possibility of illumination on both sides, responding to wave-lengths from the ultra-violet, visible to the near infrared range. The frontal il-lumination surface, glass side, is used for light signal inputs. Both surfaces are used for optical bias, which changes the dynamic characteristics of the photo-sensor resulting in different outputs for the same input. Experimental studies were made with the photo-sensor to evaluate its applicability in multiplexing and demultiplexing several data communication channels. The digital light sig-nal was defined to implement simple logical operations like the NOT, AND, OR, and complex like the XOR, MAJ, full-adder and memory effect. A pro-grammable pattern emission system was built and also those for the validation and recovery of the obtained signals. This photo-sensor has applications in op-tical communications with several wavelengths, as a wavelength detector and to execute directly logical operations over digital light input signals.
Resumo:
A definição de pirataria ou a desmistificação da sua origem, no tempo e espaço, revela maiores dificuldades do que atualmente. Com este trabalho propusemo-nos a estudar como é que a pirataria era perpetrada e entendida no passado, bem como no presente. Também nos propomos a identificar limitações legais e as medidas operativas no combate à pirataria, como por exemplo: limites conceptuais, lacunas, estratégias, entre outros. Por outro lado, atendemos as soluções encontradas no combate à pirataria sem deixar de observar fraqueza da lei e conflitos entre jurisdições. Por fim, o curso da história dá-nos a seguinte percepção: a pirataria era tida como crime se fosse contra os interesses das nações. O desinteresse dos Estados para reprimir a pirataria possibilitou o seu aumento, proliferação, domínio e sofisticação em certas regiões do Mundo. O presente trabalho tem como objetivo trazer para o centro da discussão os direitos humanos numa perspetiva tripla: proibição da pirataria, supressão e raízes, aliando o estudo de possíveis respostas a dar a esta epidemia.
Resumo:
Although tissue engineering and cell therapies are becoming realistic approaches for medical therapeutics, it is likely that musculoskeletal applications will be among the first to benefit on a large scale. Cell sources for tissue engineering and cell therapies for tendon pathologies are reviewed with an emphasis on small defect tendon injuries as seen in the hand which could adapt well to injectable cell administration. Specifically, cell sources including tenocytes, tendon sheath fibroblasts, bone marrow or adipose-derived stem cells, amniotic cells, placenta cells and platelet-derivatives have been proposed to enhance tendon regeneration. The associated advantages and disadvantages for these different strategies will be discussed and evolving regulatory requirements for cellular therapies will also be addressed. Human progenitor tenocytes, along with their clinical cell banking potential, will be presented as an alternative cell source solution. Similar cell banking techniques have already been described with other progenitor cell types in the 1950's for vaccine production, and these "old" cell types incite potentially interesting therapeutic options that could be improved with modern innovation for tendon regeneration and repair.
Resumo:
I will argue that the doctrine of eternal recurrence of the same no better interprets cosmology than pink elephants interpret zoology. I will also argue that the eternal-reiurn-of-the-same doctrine as what Magnus calls "existential imperative" is without possibility of application and thus futile. To facilitate those arguments, the validity of the doctrine of the eternal recurrence of the same will be tested under distinct rubrics. Although each rubric will stand alone, one per chapter, as an evaluation of some specific aspect of eternal recurrence, the rubric sequence has been selected to accommodate the identification of what I shall be calling logic abridgments. The conclusions to be extracted from each rubric are grouped under the heading CONCLUSION and appear immediately following rubric ten. Then, or if, at the end of a rubric a reader is inclined to wonder which rubric or topic is next, and why, the answer can be found at the top of the following page. The question is usually answered in the very first sentence, but always answered in the first paragraph. The first rubric has been placed in order by chronological entitlement in that it deals with the evolution of the idea of eternal recurrence from the time of the ancient Greeks to Nietzsche's August, 1881 inspiration. This much-recommended technique is also known as starting at the beginning. Rubric 1 also deals with 20th. Century philosophers' assessments of the relationship between Nietzsche and ancient Greek thought. The only experience of E-R, Zarathustra's mountain vision, is second only because it sets the scene alluded to in following rubrics. The third rubric explores .ii?.ih T jc,i -I'w Nietzsche's evaluation of rationality so that his thought processes will be understood appropriately. The actual mechanism of E-R is tested in rubric four...The scientific proof Nietzsche assembled in support of E-R is assessed by contemporary philosophers in rubric five. E-R's function as an ethical imperative is debated in rubrics six and seven.. .The extent to which E-R fulfills its purpose in overcoming nihilism is measured against the comfort assured by major world religions in rubric eight. Whether E-R also serves as a redemption for revenge is questioned in rubric nine. Rubric ten assures that E-R refers to return of the identically same and not merely the similar. In addition to assemblage and evaluation of all ten rubrics, at the end of each rubric a brief recapitulation of its principal points concludes the chapter. In this essay I will assess the theoretical conditions under which the doctrine cannot be applicable and will show what contradictions and inconsistencies follow if the doctrine is taken to be operable. Harold Alderman in his book Nietzsche's Gift wrote, the "doctrine of eternal recurrence gives us a problem not in Platonic cosmology, but in Socratic selfreflection." ^ I will illustrate that the recurrence doctrine's cosmogony is unworkable and that if it were workable, it would negate self-reflection on the grounds that selfreflection cannot find its cause in eternal recurrence of the same. Thus, when the cosmology is shown to be impossible, any expected ensuing results or benefits will be rendered also impossible. The so-called "heaviest burden" will be exposed as complex, engrossing "what if speculations deserving no linkings to reality. To identify ^Alderman p. 84 abridgments of logic, contradictions and inconsistencies in Nietzsche's doctrine of eternal recurrence of the same, I. will examine the subject under the following schedule. In Chapter 1 the ancient origins of recurrence theories will be introduced. ..This chapter is intended to establish the boundaries within which the subsequent chapters, except Chapter 10, will be confined. Chapter 2, Zarathustra's vision of E-R, assesses the sections of Thus Spoke Zarathustra in which the phenomenon of recurrence of the same is reported. ..Nihilism as a psychological difficulty is introduced in this rubric, but that subject will be studied in detail in Chapter 8. In Chapter 2 the symbols of eternal recurrence of the same will be considered. Whether the recurrence image should be of a closed ring or as a coil will be of significance in many sections of my essay. I will argue that neither symbolic configuration can accommodate Nietzsche's supposed intention. Chapter 3 defends the description of E-R given by Zarathustra. Chapter 4, the cosmological mechanics of E-R, speculates on the seriousness with which Nietzsche might have intended the doctrine of eternal recurrence to be taken. My essay reports, and then assesses, the argument of those who suppose the doctrine to have been merely exploratory musings by Nietzsche on cosmological hypotheses...The cosmogony of E-R is examined. In Chapter 5, cosmological proofs tested, the proofs for Nietzsche's doctrine of return of the same are evaluated. This chapter features the position taken by Martin ' Heidegger. My essay suggests that while Heidegger's argument that recurrence of the same is a genuine cosmic agenda is admirable, it is not at all persuasive. Chapter 6, E-R is an ethical imperative, is in essence the reporting of a debate between two scholars regarding the possibility of an imperative in the doctrine of recurrence. Their debate polarizes the arguments I intend to develop. Chapter 7, does E-R of the same preclude alteration of attitudes, is a continuation of the debate presented in Chapter 6 with the focus shifted to the psychological from the cosmological aspects of eternal recurrence of the same. Chapter 8, Can E-R Overcome Nihilism?, is divided into two parts. In the first, nihilism as it applies to Nietzsche's theory is discussed. ..In part 2, the broader consequences, sources and definitions of nihilism are outlined. My essay argues that Nietzsche's doctrine is more nihilistic than are the world's major religions. Chapter 9, Is E-R a redemption for revenge?, examines the suggestion extracted from Thus Spoke Zarathustra that the doctrine of eternal recurrence is intended, among other purposes, as a redemption for mankind from the destructiveness of revenge. Chapter 10, E-R of the similar refuted, analyses a position that an element of chance can influence the doctrine of recurrence. This view appears to allow, not for recurrence of the same, but recurrence of the similar. A summary will recount briefly the various significant logic abridgments, contradictions, and inconsistencies associated with Nietzsche's doctrine of eternal recurrence of the same. In the 'conclusion' section of my essay my own opinions and observations will be assembled from the body of the essay.
Resumo:
RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.
Resumo:
In this study, I build upon my previous research in which I focus on religious doctrine as a gendered disciplinary apparatus, and examine the witch trials in early modem England and Italy in light of socio-economic issues relating to gender and class. This project examines the witch hunts/trials and early modem visual representations of witches, and what I suggest is an attempt to create docile bodies out of members of society who are deemed unruly, problematic and otherwise 'undesirable'; it is the witch's body that is deemed counternormative. This study demonstrates that it is neighbours and other acquaintances of accused witches that take on the role of the invisible guard of Bantham's Panoptic on. As someone who is trained in the study of English literature and literary theory, my approach is one that is informed by this methodology. It is my specialization in early modem British literature that first exposed me to witch-hunting manuals and tales of the supernatural, and it is for this reason that my research commences with a study of representations of witches and witchcraft in early modem England. From my initial exposure to such materials I proceed to examine the similarities and the differences of the cultural significance of the supernatural vis-a.-vis women's activities in early modem Italy. The subsequent discussion of visual representations of witches involves a predominance of Germanic artists, as the seminal work on the discernment of witches and the application of punishment known as the Malleus Meleficarum, was written in Germany circa 1486. Textual accounts of witch trials such as: "A Pitiless Mother (1616)," "The Wonderful Discovery of the Witchcrafts of Margaret and Philippa Flower (1619)," "Magic and Poison: The Trial ofChiaretta and Fedele (circa 1550)", and the "The Case of Benvegnuda Pincinella: Medicine Woman or Witch (1518),"and witchhunting manuals such as the Malleus Melejicarum and Strix will be put in direct dialogue with visual representations of witches in light of historical discourses pertaining to gender performance and gendered expectations. Issues relating to class will be examined as they pertain to the material conditions of presumed witches. The dominant group in any temporal or geographic location possesses the tools of representation. Therefore, it is not surprising that the physical characteristics, sexual habits and social material conditions that are attributed to suspected witches are attributes that can be deemed deviant by the ruling class. The research will juxtapose the social material conditions of suspected witches with the guilt, anxiety, and projection of fear that the dominant groups experienced in light of the changing economic landscape of the Renaissance. The shift from feudalism to primitive accumulation, and capitalism saw a rise in people living in poverty and therefore an increased dependence upon the good will of others. I will discuss the social material conditions of accused witches as informed by what Robyn Wiegman terms a "minoritizing discourse" (210). People of higher economic standing often blamed their social, medical, and/or economic difficulties on the less fortunate, resulting in accusations of witchcraft.
Resumo:
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.
Resumo:
Please consult the paper edition of this thesis to read. It is available on the 5th Floor of the Library at Call Number: Z 9999 P55 N48 2004
Resumo:
Exploring the new science of emergence allows us to create a very different classroom than how the modern classroom has been conceptualised under the mentality of efficiency and output. Working on the whole person, and not just the mind, we see a shift from the epistemic pillars of truth to more ontological concerns as regards student achievement in our post-Modern and critical discourses. It is important to understand these shifts and how we are to transition our own perception and mentality not only in our research methodologies but also our approach to conceptualisations of issues in education and sustainability. We can no longer think linearly to approach complex problems or advocate for education and disregard our interconnectedness insofar as it enhances our children’s education. We must, therefore, contemplate and transition to a world that is ecological and not mechanical, complex and not complicated—in essence, we must work to link mind-body with self-environment and transcend these in order to bring about an integration toward a sustainable future. A fundamental shift in consciousness and perception may implicate our nature of creating dichotomous entities in our own microcosms, yet postmodern theorists assume, a priori, that these dualities can be bridged in naturalism alone. I, on the other hand, embrace metaphysics to understand the implicated modern classroom in a hierarchical context and ask: is not the very omission of metaphysics in postmodern discourse a symptom from an education whose foundation was built in its absence? The very dereliction of ancient wisdom in education is very peculiar indeed. Western mindfulness may play a vital component in consummating pragmatic idealism, but only under circumstances admitting metaphysics can we truly transcend our limitations, thereby placing Eastern Mindfulness not as an ecological component, but as an ecological and metaphysical foundation.
Resumo:
My focus is on assessment criteria of language proficiency in community college education. To demand clear writing is an application of scientism; it seeks to keep separate the fact/value distinction of positivism. This dangerously undermines the democratizing possibilities of education, since clear writing, taken to its extreme, is ultimately anonymous and dehumanizing. The active student-as-citizen is, therefore, subsumed under the neoliberal dictate of the passive student-as-consumer. The process of language acquisition is reduced to a fictitious act of knowledge transmission and regurgitation, and, therefore, those subversive aspects of language learning, such as creativity and critical inquiry, are undermined. An initial overview of the tenets of modernity will provide a conceptual framework for this examination.