946 resultados para Philosophy of logic


Relevância:

90.00% 90.00%

Publicador:

Resumo:

Autonomous mission control, unlike automatic mission control which is generally pre-programmed to execute an intended mission, is guided by the philosophy of carrying out a complete mission on its own through online sensing, information processing, and control reconfiguration. A crucial cornerstone of this philosophy is the capability of intelligence and of information sharing between unmanned aerial vehicles (UAVs) or with a central controller through secured communication links. Though several mission control algorithms, for single and multiple UAVs, have been discussed in the literature, they lack a clear definition of the various autonomous mission control levels. In the conventional system, the ground pilot issues the flight and mission control command to a UAV through a command data link and the UAV transmits intelligence information, back to the ground pilot through a communication link. Thus, the success of the mission depends entirely on the information flow through a secured communication link between ground pilot and the UAV In the past, mission success depended on the continuous interaction of ground pilot with a single UAV, while present day applications are attempting to define mission success through efficient interaction of ground pilot with multiple UAVs. However, the current trend in UAV applications is expected to lead to a futuristic scenario where mission success would depend only on interaction among UAV groups with no interaction with any ground entity. However, to reach this capability level, it is necessary to first understand the various levels of autonomy and the crucial role that information and communication plays in making these autonomy levels possible. This article presents a detailed framework of UAV autonomous mission control levels in the context of information flow and communication between UAVs and UAV groups for each level of autonomy.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

This study discusses legal interpretation. The question is how legal texts, for instance laws, statutes and regulations, can and do have meaning. Language makes interpretation difficult as it holds no definite meanings. When the theoretical connection between semantics and legal meaning is loosened and we realise that language cannot be a means of justifying legal decisions, the responsibility inherent in legal interpretation can be seen in full. We are thus compelled to search for ways to analyse this responsibility. The main argument of the book is that the responsibility of legal interpretation contains a responsibility towards the text that is interpreted (and through the mediation of the text also towards the legal system), but not only this. It is not simply a responsibility to read and read well, but it transcends on a broader scale. It includes responsibility for the effects of the interpretation in a particular situation and with regard to the people whose case is decided. Ultimately, it is a responsibility to do justice. These two aspects of responsibility are conceptualised here as the two dimensions of the ethics of legal interpretation: the textual and the situational. The basic conception of language presented here is provided by Ludwig Wittgenstein s later philosophy, but the argument is not committed to only one philosophical tradition. Wittgenstein can be counterpointed in interesting ways by Jacques Derrida s ideas on language and meaning. Derrida s work also functions as a contrast to hermeneutic theories. It is argued that the seed to an answer to the question of meaning lies in the inter-personal and situated activity of interpretation and communication, an idea that can be discerned in different ways in the works of Wittgenstein, Derrida and Hans-Georg Gadamer. This way the question of meaning naturally leads us to think about ethics, which is approached here through the philosophy of Emmanuel Levinas. His thinking, focusing on topics such as otherness, friendship and hospitality, provides possibilities for answering some of the questions posed in this book. However, at the same time we move inside a normativity where ethics and politics come together in many ways. The responsibility of legal interpretation is connected to the political and this has to be acknowledged lest we forget that law always implies force. But it is argued here that the political can be explored in positive terms as it does not have to mean only power or violence.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Using the recently developed model predictive static programming (MPSP) technique, a nonlinear suboptimal reentry guidance scheme is presented in this paper for a reusable launch vehicle (RLV). Unlike traditional RLV guidance, the problem considered over here is restricted only to pitch plane maneuver of the vehicle, which allows simpler mission planning and vehicle load management. The computationally efficient MPSP technique brings in the philosophy of trajectory optimization into the framework of guidance design, which in turn results in very effective guidance schemes in general. In the problem addressed in this paper, it successfully guides the RLV through the critical reentry phase both by constraining it to the allowable narrow flight corridor as well as by meeting the terminal constraints at the end of the reentry segment. The guidance design is validated by considering possible aerodynamic uncertainties as well as dispersions in the initial conditions. (C) 2010 Elsevier Masson SAS. All rights reserved.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

We examine institutional work from a discursive perspective and argue that reasonability, the existence of acceptable justifying reasons for beliefs and practices, is a key part of legitimation. Drawing on philosophy of language, we maintain that institutional work takes place in the context of ‘space of reasons’ determined by widely held assumptions about what is reasonable and what is not. We argue that reasonability provides the main contextual constraint of institutional work, its major outcome, and a key trigger for actors to engage in it. We draw on Hilary Putnam’s concept ‘division of linguistic labor’ to highlight the specialized distribution of knowledge and authority in defining valid ways of reasoning. In this view, individuals use institutionalized vocabularies to reason about their choices and understand their context with limited understanding of how and why these structures have become what they are. We highlight the need to understand how professions and other actors establish and maintain the criteria of reasoning in various areas of expertise through discursive institutional work.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Energy-based direct methods for transient stability analysis are potentially useful both as offline tools for planning purposes as well as for online security assessment. In this paper, a novel structure-preserving energy function (SPEF) is developed using the philosophy of structure-preserving model for the system and detailed generator model including flux decay, transient saliency, automatic voltage regulator (AVR), exciter and damper winding. A simpler and yet general expression for the SPEF is also derived which can simplify the computation of the energy function. The system equations and the energy function are derived using the centre-of-inertia (COI) formulation and the system loads are modelled as arbitrary functions of the respective bus voltages. Application of the proposed SPEF to transient stability evaluation of power systems is illustrated with numerical examples.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

In the thesis I study various quantum coherence phenomena and create some of the foundations for a systematic coherence theory. So far, the approach to quantum coherence in science has been purely phenomenological. In my thesis I try to answer the question what quantum coherence is and how it should be approached within the framework of physics, the metatheory of physics and the terminology related to them. It is worth noticing that quantum coherence is a conserved quantity that can be exactly defined. I propose a way to define quantum coherence mathematically from the density matrix of the system. Degenerate quantum gases, i.e., Bose condensates and ultracold Fermi systems, form a good laboratory to study coherence, since their entropy is small and coherence is large, and thus they possess strong coherence phenomena. Concerning coherence phenomena in degenerate quantum gases, I concentrate in my thesis mainly on collective association from atoms to molecules, Rabi oscillations and decoherence. It appears that collective association and oscillations do not depend on the spin-statistics of particles. Moreover, I study the logical features of decoherence in closed systems via a simple spin-model. I argue that decoherence is a valid concept also in systems with a possibility to experience recoherence, i.e., Poincaré recurrences. Metatheoretically this is a remarkable result, since it justifies quantum cosmology: to study the whole universe (i.e., physical reality) purely quantum physically is meaningful and valid science, in which decoherence explains why the quantum physical universe appears to cosmologists and other scientists very classical-like. The study of the logical structure of closed systems also reveals that complex enough closed (physical) systems obey a principle that is similar to Gödel's incompleteness theorem of logic. According to the theorem it is impossible to describe completely a closed system within the system, and the inside and outside descriptions of the system can be remarkably different. Via understanding this feature it may be possible to comprehend coarse-graining better and to define uniquely the mutual entanglement of quantum systems.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

The aim of logic synthesis is to produce circuits which satisfy the given boolean function while meeting timing constraints and requiring the minimum silicon area. Logic synthesis involves two steps namely logic decomposition and technology mapping. Existing methods treat the two as separate operation. The traditional approach is to minimize the number of literals without considering the target technology during the decomposition phase. The decomposed expressions are then mapped on to the target technology to optimize the area, Timing optimization is carried out subsequently, A new approach which treats logic decomposition and technology maping as a single operation is presented. The logic decomposition is based on the parameters of the target technology. The area and timing optimization is carried out during logic decomposition phase itself. Results using MCNC circuits are presented to show that this method produces circuits which are 38% faster while requiring 14% increase in area.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Use of dipolar and quadrupolar couplings for quantum information processing (QIP) by nuclear magnetic resonance (NMR) is described. In these cases, instead of the individual spins being qubits, the 2(n) energy levels of the spin-system can be treated as an n-qubit system. It is demonstrated that QIP in such systems can be carried out using transition-selective pulses, in (CHCN)-C-3, (CH3CN)-C-13, Li-7 (I = 3/2) and Cs-133 (I = 7/2), oriented in liquid crystals yielding 2 and 3 qubit systems. Creation of pseudopure states, implementation of logic gates and arithmetic operations (half-adder and subtractor) have been carried out in these systems using transition-selective pulses.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecidability. In this article, we study a linear-time temporal logic with past-time operators such that the freeze operator is only used to express that some value from an infinite set is repeated in the future or in the past. Such a restriction has been inspired by a recent work on spatio-temporal logics that suggests such a restricted use of the freeze operator. We show decidability of finitary and infinitary satisfiability by reduction into the verification of temporal properties in Petri nets by proposing a symbolic representation of models. This is a quite surprising result in view of the expressive power of the logic since the logic is closed under negation, contains future-time and past-time temporal operators and can express the nonce property and its negation. These ingredients are known to lead to undecidability with a more liberal use of the freeze quantifier. The article also contains developments about the relationships between temporal logics with the freeze operator and counter automata as well as reductions into first-order logics over data words.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Gujarat is one of the fastest-growing states of India with high industrial activities coming up in major cities of the state. It is indispensable to analyse seismic hazard as the region is considered to be most seismically active in stable continental region of India. The Bhuj earthquake of 2001 has caused extensive damage in terms of causality and economic loss. In the present study, the seismic hazard of Gujarat evaluated using a probabilistic approach with the use of logic tree framework that minimizes the uncertainties in hazard assessment. The peak horizontal acceleration (PHA) and spectral acceleration (Sa) values were evaluated for 10 and 2 % probability of exceedance in 50 years. Two important geotechnical effects of earthquakes, site amplification and liquefaction, are also evaluated, considering site characterization based on site classes. The liquefaction return period for the entire state of Gujarat is evaluated using a performance-based approach. The maps of PHA and PGA values prepared in this study are very useful for seismic hazard mitigation of the region in future.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

A new partial integrated guidance and control design approach is proposed in this paper, which combines the benefits of both integrated guidance and control as well as the conventional guidance and control design philosophies. The proposed technique essentially operates in a two-loop structure. In the outer loop, an optimal guidance problem is formulated considering the nonlinear six degrees-of-freedom equation of motion of the interceptor. From this loop, the required pitch and yaw rates are generated by solving a nonlinear suboptimal guidance formulation in a computationally efficient manner while simultaneously assuring roll stabilization. Next, the inner loop tracks these outer loop body rate commands. This manipulation of the six degrees-of-freedom dynamics in both loops preserves the inherent time scale separation property between the translational and rotational dynamics, while retaining the philosophy of integrated guidance and control design as well. Because of this, the tuning process is quite straightforward and nontedious as well. Extensive six degrees-of-freedom simulations studies have been carried out, considering three-dimensional engagement geometry, to demonstrate the effectiveness of the proposed new design approach engaging high-speed ballistic targets. A variety of comparison studies have also been carried out to demonstrate the effectiveness of the proposed approach.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Qual a Filosofia da Natureza que podemos inferir da Física Contemporânea? Para Werner Karl Heisenberg, prêmio Nobel de Física de 1932, a ontologia da Ciência Moderna, estruturada no materialismo, no mecanicismo e no determinismo já não pode servir de fundamento para a nova Física. Esta requer uma nova base ontológica, onde o antirrealismo, seguido de um formalismo puro, aparece como o princípio basilar de uma nova Filosofia Natural. Este trabalho visa investigar o pensamento filosófico, a ontologia antirrealista, formalista, a abordagem da tradição filosófica e da história da ciência de Werner Heisenberg e sua contribuição para a interpretação da mecânica quântica.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Este trabalho problematiza a experiência migratória do estudante de pós-graduação participante de programas de intercâmbio internacional, entendendo que este é um trabalhador cognitivo que sofre a extração de sua força de trabalho segundo os mesmos padrões sofridos pelos demais trabalhadores, regulado pela universidade que tem sido atravessada por uma lógica administrativa repleta de imperativos de normatizações, padrões de eficiência e modelos bem-sucedidos. A partir da articulação entre a Análise Institucional, Filosofia da Diferença e Autonomia das Migrações, discute analisadores que atravessam a formação, como o efeito lattes, que incita o produtivismo; a tara contemporânea que nos impele a um estado permanente de formação; o aumento de programas de intercâmbio internacional, que tornam-se mais uma griffe em busca do status de excelência, e o processo de êxodo de cérebros, caracterizado pela migração de trabalhadores qualificados que não encontram, em suas cidades ou países, oportunidades para canalizar sua qualificação. Estes processos são analisadores de uma política que incita o processo de circulação, e também a delimita e a esquadrinha, como pode ser percebido pelas experiências dos sete estudantes que compuseram as travessias em estudo, cujos vestígios deixados pelos fragmentos das histórias/ modos de funcionamento encarnaram os personagens conceituais, conforme Deleuze. As experiências de intercâmbio internacional exprimem o mais alto grau da exigência do atual modo de subjetivação acadêmico por sua característica de se dar como longa imersão e em país estranho capaz de graves efeitos positivos e negativos em sua subjetivação, denotando que o paradoxo e o sofrimento são constitutivos da migração e da formação.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

William Francis Thompson (1888–1965), an early fishery biologist, joined the California Fish and Game Commission in 1917 with a mandate to investigate the marine fisheries of the state. He initiated studies on the albacore tuna, Thunnus alalunga, and the Pacific sardine, Sardinops sagax, as well as studies on other economically important marine organisms. Thompson built up a staff of fishery scientists, many of whom later attained considerable renown in their field, and he helped develop, and then direct, the commission’s first marine fisheries laboratory. During his tenure in California, he developed a personal philosophy of research that he outlined in several publications. Thompson based his approach on the yield-based analysis of the fisheries as opposed to large-scale environmental studies. He left the state agency in 1925 to direct the newly formed International Fisheries Commission (now the International Pacific Halibut Commission). William Thompson became a major figure in fisheries research in the United States, and particularly in the Pacific Northwest and Alaska, during the first half of the 20th cent

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Traditionally, language speakers are categorised as mono-lingual, bilingual, or multilingual. It is traditionally assumed in English language education that the ‘lingual’ is something that can be ‘fixed’ in form, written down to be learnt, and taught. Accordingly, the ‘mono’-lingual will have a ‘fixed’ linguistic form. Such a ‘form’ differs according to a number of criteria or influences including region or ‘type’ of English (for example, World Englishes) but is nevertheless assumed to be a ‘form’. ‘Mono-lingualism’ is defined and believed, traditionally, to be ‘speaking one language’; wherever that language is; or whatever that language may be. In this chapter, grounded in an individual subjective philosophy of language, we question this traditional definition. Viewing language from the philosophical perspectives such as those of Bakhtin and Voloshinov, we argue that the prominence of ‘context’ and ‘consciousness’ in language means that to ‘fix’ the form of a language goes against the very spirit of how it is formed and used. We thus challenge the categorisation of ‘mono’-lingualism; proposing that such a categorisation is actually a category error, or a case ‘in which a property is ascribed to a thing that could not possibly have that property’ (Restivo, 2013, p. 175), in this case the property of ‘mono’. Using this proposition as a starting point, we suggest that more time be devoted to language in its context and as per its genuine use as a vehicle for consciousness. We theorise this can be done through a ‘literacy’ based approach which fronts the context of language use rather than the language itself. We outline how we envision this working for teachers, students and materials developers of English Language Education materials in a global setting. To do this we consider Scotland’s Curriculum for Excellence as an exemplar to promote conscious language use in context.