982 resultados para Logical Clocks
Resumo:
Esta pesquisa objetivou analisar metodologias para elaboração de índices de preços para o transporte de cargas. O estudo das principais fórmulas da Teoria Econômica culminou com a conclusão que os Índices de Fisher e Walsh são aqueles capazes de atender ao maior número de preceitos lógicos, estatísticos e econômicos. Em seguida, surgem os índices geométricos de Törnqvist, Vartia e Theil. Os Índices de Laspeyres e Paasche, apesar de apresentarem algumas limitações, acabam sendo amplamente utilizados, graças a maior capacidade de operacionalização. A pesquisa apresentou um estudo de caso para o transporte da soja em grão. Foram realizados quatro tratamentos. Obteve-se a variação acumulada no nível geral de preços para o transporte rodoviário de soja no Brasil, no período entre fevereiro de 1998 e março de 2002. De acordo com os resultados, essa variação acumulada teria sido de 76%.
Resumo:
A Epistemologia Genética defende que o indivíduo passa por várias etapas de desenvolvimento ao longo da sua vida. O desenvolvimento é observado pela sobreposição do equilíbrio entre a assimilação e a acomodação, resultando em adaptação. Assim, nesta formulação, o ser humano assimila os dados que obtém do exterior, mas uma vez que já tem uma estrutura mental que não está vazia, precisa adaptar esses dados à estrutura mental já existe. O processo de modificação de si próprio é chamado de acomodação. Este esquema revela que nenhum conhecimento chega do exterior sem que sofra alguma alteração pelo indivíduo, sendo que tudo o que se aprende é influenciado por aquilo que já havia sido aprendido. A assimilação ocorre quando a informação é incorporada às estruturas já pré-existentes nessa dinâmica estrutura cognitiva, enquanto que a adaptação ocorre quando o organismo se modifica de alguma maneira de modo a incorporar dinamicamente a nova informação. Por fim, de um pensamento moderno que, buscando a síntese inusitada entre o biológico e o lógico-matemático, parece encontrar seus limites na desconstrução ainda mais inusitada a que tende sistematicamente todo o pensamento na atualidade: a de si mesmo se construindo de modo essencialmente esclarecido
Resumo:
A Epistemologia Genética defende que o indivíduo passa por várias etapas de desenvolvimento ao longo da sua vida. O desenvolvimento é observado pela sobreposição do equilíbrio entre a assimilação e a acomodação, resultando em adaptação. Assim, nesta formulação, o ser humano assimila os dados que obtém do exterior, mas uma vez que já tem uma estrutura mental que não está vazia, precisa adaptar esses dados à estrutura mental já existe. O processo de modificação de si próprio é chamado de acomodação. Este esquema revela que nenhum conhecimento chega do exterior sem que sofra alguma alteração pelo indivíduo, sendo que tudo o que se aprende é influenciado por aquilo que já havia sido aprendido. A assimilação ocorre quando a informação é incorporada às estruturas já pré-existentes nessa dinâmica estrutura cognitiva, enquanto que a adaptação ocorre quando o organismo se modifica de alguma maneira de modo a incorporar dinamicamente a nova informação. Por fim, de um pensamento moderno que, buscando a síntese inusitada entre o biológico e o lógico-matemático, parece encontrar seus limites na desconstrução ainda mais inusitada a que tende sistematicamente todo o pensamento na atualidade: a de si mesmo se construindo de modo essencialmente esclarecido
Resumo:
Ethno-sciences study the logical behind the traditional population knowledge about environmental process. This case study aims at describing the ethno-knowledge of artisanal fishermen on the hydrodynamics of the estuary around Coreia community (Saco do Arraial), located in Dos Patos Lagoon, in southern Brazil, from an ethnooceangraphic perspective. For this purpose, mental maps, open-ended and in-depth semi-structured interviewing and participative research have been used. As well as scientific knowledge, rains and winds were had main hydrodynamic effort of Saco do Arraial, although astronomic influence in located hydrodynamic has been just a perception of traditional knowledge. Soon, these data have shown another important way to perceive the Patos Lagoon.
Resumo:
In this article are discussed some problems raised by T. S. Rukmani regarding the Yogasutra. According to Rukmani, yoga is not a coherent logical system. After stating the general goals of the yoga system, interpretations of some passages of the Yogasutra are formulated, and the defense is given that one must at least acknowledge the necessity of more exegetical investigation before judging the logical incoherence of the text. Finally, the problematic doctrine of living liberation in Yogasutra is exposed.
Resumo:
In this paper, we consider Meneghetti & Bicudo's proposal (2003) regarding the constitution of mathematical knowledge and analyze it with respect to the following two focuses: in relation to conceptions of mathematical knowledge following the fundamentalist crisis in mathematics; and in the educational context of mathematics. The investigation of the first focus is done analyzing new claims in mathematical philosophy. The investigation of the second focus is done firstly via a theoretical reflection followed by an examination of the implementation of the proposal in the process of development of didactic materials for teaching and learning Mathematics. Finally, we present the main results of the application of one of those materials.
Resumo:
The existence of quantum correlation (as revealed by quantum discord), other than entanglement and its role in quantum-information processing (QIP), is a current subject for discussion. In particular, it has been suggested that this nonclassical correlation may provide computational speedup for some quantum algorithms. In this regard, bulk nuclear magnetic resonance (NMR) has been successfully used as a test bench for many QIP implementations, although it has also been continuously criticized for not presenting entanglement in most of the systems used so far. In this paper, we report a theoretical and experimental study on the dynamics of quantum and classical correlations in an NMR quadrupolar system. We present a method for computing the correlations from experimental NMR deviation-density matrices and show that, given the action of the nuclear-spin environment, the relaxation produces a monotonic time decay in the correlations. Although the experimental realizations were performed in a specific quadrupolar system, the main results presented here can be applied to whichever system uses a deviation-density matrix formalism.
Resumo:
Background: Schistosomiasis continues to be a significant public health problem. This disease affects 200 million people worldwide and almost 800 million people are at risk of acquiring the infection. Although vaccine development against this disease has experienced more failures than successes, encouraging results have recently been obtained using membrane-spanning protein antigens from the tegument of Schistosoma mansoni. Our group recently identified Sm29, another antigen that is present at the adult worm tegument surface. In this study, we investigated murine cellular immune responses to recombinant (r) Sm29 and tested this protein as a vaccine candidate. Methods and Findings: We first show that Sm29 is located on the surface of adult worms and lung-stage schistosomula through confocal microscopy. Next, immunization of mice with rSm29 engendered 51%, 60% and 50% reduction in adult worm burdens, in intestinal eggs and in liver granuloma counts, respectively (p<0.05). Protective immunity in mice was associated with high titers of specific anti-Sm29 IgG1 and IgG2a and elevated production of IFN-gamma, TNF-alpha and IL-12, a typical Th1 response. Gene expression analysis of worms recovered from rSm29 vaccinated mice relative to worms from control mice revealed a significant (q<0.01) down-regulation of 495 genes and up-regulation of only 22 genes. Among down-regulated genes, many of them encode surface antigens and proteins associated with immune signals, suggesting that under immune attack schistosomes reduce the expression of critical surface proteins. Conclusion: This study demonstrates that Sm29 surface protein is a new vaccine candidate against schistosomiasis and suggests that Sm29 vaccination associated with other protective critical surface antigens is the next logical strategy for improving protection.
Resumo:
We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments. (C) 2007 Elsevier B.V. All rights reserved.
Resumo:
This article presents a systematic and logical study of the topology optimized design, microfabrication, and static/dynamic performance characterization of an electro-thermo-mechanical microgripper. The microgripper is designed using a topology optimization algorithm based on a spatial filtering technique and considering different penalization coefficients for different material properties during the optimization cycle. The microgripper design has a symmetric monolithic 2D structure which consists of a complex combination of rigid links integrating both the actuating and gripping mechanisms. The numerical simulation is performed by studying the effects of convective heat transfer, thermal boundary conditions at the fixed anchors, and microgripper performance considering temperature-dependent and independent material properties. The microgripper is fabricated from a 25 mm thick nickel foil using laser microfabrication technology and its static/dynamic performance is experimentally evaluated. The static and dynamic electro-mechanical characteristics are analyzed as step response functions with respect to tweezing/actuating displacements, applied current/power, and actual electric resistance. A microgripper prototype having overall dimensions of 1mm (L) X 2.5mm (W) is able to deliver the maximum tweezing and actuating displacements of 25.5 mm and 33.2 mm along X and Y axes, respectively, under an applied power of 2.32 W. Experimental performance is compared with finite element modeling simulation results.
Resumo:
Transmission and switching in digital telecommunication networks require distribution of precise time signals among the nodes. Commercial systems usually adopt a master-slave (MS) clock distribution strategy building slave nodes with phase-locked loop (PLL) circuits. PLLs are responsible for synchronizing their local oscillations with signals from master nodes, providing reliable clocks in all nodes. The dynamics of a PLL is described by an ordinary nonlinear differential equation, with order one plus the order of its internal linear low-pass filter. Second-order loops are commonly used because their synchronous state is asymptotically stable and the lock-in range and design parameters are expressed by a linear equivalent system [Gardner FM. Phaselock techniques. New York: John Wiley & Sons: 1979]. In spite of being simple and robust, second-order PLLs frequently present double-frequency terms in PD output and it is very difficult to adapt a first-order filter in order to cut off these components [Piqueira JRC, Monteiro LHA. Considering second-harmonic terms in the operation of the phase detector for second order phase-locked loop. IEEE Trans Circuits Syst [2003;50(6):805-9; Piqueira JRC, Monteiro LHA. All-pole phase-locked loops: calculating lock-in range by using Evan`s root-locus. Int J Control 2006;79(7):822-9]. Consequently, higher-order filters are used, resulting in nonlinear loops with order greater than 2. Such systems, due to high order and nonlinear terms, depending on parameters combinations, can present some undesirable behaviors, resulting from bifurcations, as error oscillation and chaos, decreasing synchronization ranges. In this work, we consider a second-order Sallen-Key loop filter [van Valkenburg ME. Analog filter design. New York: Holt, Rinehart & Winston; 1982] implying a third order PLL The resulting lock-in range of the third-order PLL is determined by two bifurcation conditions: a saddle-node and a Hopf. (C) 2008 Elsevier B.V. All rights reserved.
Resumo:
The distribution of clock signals throughout the nodes of a network is essential for several applications. in control and communication with the phase-locked loop (PLL) being the component for electronic synchronization process. In systems with master-slave (MS) strategies, the PLLs are the slave nodes responsible for providing reliable clocks in all nodes of the network. As PLLs have nonlinear phase detection, double-frequency terms appear and filtering becomes necessary. Imperfections in filtering process cause oscillations around the synchronous state worsening the performance of the clock distribution process. The behavior of one-way master-slave (OWMS) clock distribution networks is studied and performances of first- and second-order filter processes are compared, concerning lock-in ranges and responses to perturbations of the synchronous state. (c) 2007 Elsevier GmbH. All rights reserved.
Resumo:
In his last papers about deontic logic, von Wright sustained that there is no genuine logic of norms. We argue in this paper that this striking statement by the father of deontic logic should not be understood as a death sentence to the subject. Rather, it indicates a profound change in von Wright`s understanding about the epistemic and ontological role of logic in the field of norms. Instead of a logical constructivism of deontic systems revealing a necessary structure of prescriptive discourse, which marked his earlier efforts, he adopted the view that such systems should be seem as mere objects of comparison, i.e. as providing practical standards of rationality for norm-giving activity. Within such view he proposed an interpretation of standard deontic logic in such a way to free deontic logicians from the philosophical difficulties related to the so-called Jorgensen`s dilemma and deontic paradoxes. This effort, as we claim in the present paper, is an application of Wittgenstein`s therapeutic method to dissolve philosophical difficulties caused by the use of logical tools to model relations between norms.
Resumo:
This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-P\"orn account of organised interaction, which describes this interaction within a multi-modal logical setting. This work focuses in particular on the notions of counts-as link and on those of attempt and of personal and direct action to realise states of affairs. We show how standard Defeasible Logic can be extended to represent these concepts: the resulting system preserves some basic properties commonly attributed to them. In addition, the framework enjoys nice computational properties, as it turns out that the extension of any theory can be computed in time linear to the size of the theory itself.
Resumo:
According to Hugh Mellor in Real Time II (1998, Ch. 12), assuming the logical independence of causal facts and the 'law of large numbers', causal loops are impossible because if they were possible they would produce inconsistent sets of frequencies. I clarify the argument, and argue that it would be preferable to abandon the relevant independence assumption in the case of causal loops.