893 resultados para Logic, Symbolic and mathematical.
Resumo:
Mechanical properties of food products and biological materials are greatly affected by the drying process and are considered one of the most important quality attributes of dehydrated products. The aim of this work was to review theoretical principles and mathematical modeling, analyzing the measurement techniques and major experimental results that exist in the literature about rheological properties of dehydrated foods and biological materials. Different methods of measuring rheological parameters (fundamental and empiric or imitative) are discussed and major experimental results, as well as the rheological models used in their analysis, published in recent years are presented.
Resumo:
We prove the equivalence of many-gluon Green's functions in the Duffin-Kemmer-Petieu and Klein-Gordon-Fock statistical quantum field theories. The proof is based on the functional integral formulation for the statistical generating functional in a finite-temperature quantum field theory. As an illustration, we calculate one-loop polarization operators in both theories and show that their expressions indeed coincide.
Resumo:
In this paper I discuss the version of predicative analysis put forward by Hermann Weyl in Das Kontinuum. I try to establish how much of the underlying motivation for Weyl's position may be due to his acceptance of a phenomenological philosophical perspective. More specifically, I analyze Weyl's philosophical ideas in connexion with the work of Husserl, in particular Logische Untersuchungen and Ideen I.I believe that this interpretation of Weyl can clarify the views on mathematical existence and mathematical intuition which are implicit in Das Kontinuum.
Resumo:
The recipe used to compute the symmetric energy-momentum tensor in the framework of ordinary field theory bears little resemblance to that used in the context of general relativity, if any. We show that if one stal ts fi om the field equations instead of the Lagrangian density, one obtains a unified algorithm for computing the symmetric energy-momentum tensor in the sense that it can be used for both usual field theory and general relativity.
Resumo:
A strict proof of the equivalence of the Duffin-Kemmer-Petiau and Klein-Gordon Fock theories is presented for physical S-matrix elements in the case of charged scalar particles minimally interacting with an external or quantized electromagnetic field. The Hamiltonian canonical approach to the Duffin - Kemmer Petiau theory is first developed in both the component and the matrix form. The theory is then quantized through the construction of the generating functional for the Green's functions, and the physical matrix elements of the S-matrix are proved to be relativistic invariants. The equivalence of the two theories is then proved for the matrix elements of the scattered scalar particles using the reduction formulas of Lehmann, Symanzik, and Zimmermann and for the many-photon Green's functions.
Resumo:
Variational inequalities and related problems may be solved via smooth bound constrained optimization. A comprehensive discussion of the important features involved with this strategy is presented. Complementarity problems and mathematical programming problems with equilibrium constraints are included in this report. Numerical experiments are commented. Conclusions and directions of future research are indicated.
Resumo:
In the book Conceptual Spaces: the Geometry of Thought [2000] Peter Gärdenfors proposes a new framework for cognitive science. Complementary to symbolic and subsymbolic [connectionist] descriptions, conceptual spaces are semantic structures constructed from empirical data representing the universe of mental states. We argue that Gärdenfors' modeling can be used in consciousness research to describe the phenomenal conscious world, its elements and their intrinsic relations. The conceptual space approach affords the construction of a universal state space of human consciousness, where all possible kinds of human conscious states could be mapped. Starting from this approach, we discuss the inclusion of feelings and emotions in conceptual spaces, and their relation to perceptual and cognitive states. Current debate on integration of affect/emotion and perception/cognition allows three possible descriptive alternatives: emotion resulting from basic cognition; cognition resulting from basic emotion, and both as relatively independent functions integrated by brain mechanisms. Finding a solution for this issue is an important step in any attempt of successful modeling of natural or artificial consciousness. After making a brief review of proposals in this area, we summarize the essentials of a new model of consciousness based on neuro-astroglial interactions. © 2011 World Scientific Publishing Company.
Resumo:
In this study, we used data from both experiments and mathematical simulations to analyze the consequences of the interacting effects of intraguild predation (IGP), cannibalism and parasitism occurring in isolation and simultaneously in trophic interactions involving two blowfly species under shared parasitism. We conducted experiments to determine the short-term response of two blowfly species to these interactions with respect to their persistence. A mathematical model was employed to extend the results obtained from these experiments to the long-term consequences of these interactions for the persistence of the blowfly species. Our experimental results revealed that IGP attenuated the strength of the effects of cannibalism and parasitism between blowfly host species, increasing the probability of persistence of both populations. The simulations obtained from the mathematical model indicated that IGP is a key interaction for the long-term dynamics of this system. The presence of different species interacting in a tri-trophic system relaxed the severity of the effects of a particular interaction between two species, changing species abundances and promoting persistence through time. This pattern was related to indirect interactions with a third species, the parasitoid species included in this study. © 2012 The Society of Population Ecology and Springer Japan.
Resumo:
Este trabalho oferece um método para a predição da intensidade de campo elétrico para TV Digital utilizando a Função de Green diádica. A Diádica é uma ferramenta matemática eficiente que tem simplicidade simbólica e robustez permitindo, assim, que algumas características do meio (como permissividade, condutividade e permeabilidade, por exemplo) sejam consideradas na elaboração do modelo de campo elétrico, bem como levar em conta a anisotropia do meio. Na maior parte dos trabalhos correlatos, que utilizam as funções de Green diádicas, estão relacionados na faixa de VHF. Este trabalho irá apresentar desde os conceitos básicos das diádicas, desenvolvendo-a para o cálculo de um modelo que permita predizer o campo elétrico para a faixa de UHF, na qual os sistemas de TV Digital se encontram. Uma explanação teórica e um desenvolvimento matemático serão feitos de forma que um entendimento claro e objetivo sejam alcançados no estudo das funções de Green diádicas, numa parte da teoria do eletromagnetismo. Testes foram realizados para confirmar a aplicabilidade da formulação sugerida, fazendo simulações que realizem uma comparação entre os dados medidos, de duas emissoras de TV situadas na cidade de Belém, e o modelo de Okumura-Hata modificado, mostrando resultados satisfatórios, tanto para frequências na faixa de VHF e UHF.
Resumo:
This paper is the result of a research project on the subject of youth, violence and school. The purpose of this project was to investigate the understanding of the young people on the violence in society, at school and in their own lives. The assumption is that knowing the aggressors' and victims' perspective about their experiences of violence helps to clarify the symbolic and the normative universes that rule violent conducts and the possible ways to reduce the incidence of violence. Data were collected through focus groups. One of the groups was composed by students qualified by their school's board as protagonists in situations of violence. The other group was consisted by those considered as good students. Data analysis shows the differences between the logic of violence at school, the school violence and violence against the school.
Resumo:
Over the past several decades, the topic of child development in a cultural context has received a great deal of theoretical and empirical investigation. Investigators from the fields of indigenous and cultural psychology have argued that childhood is socially and historically constructed, rather than a universal process with a standard sequence of developmental stages or descriptions. As a result, many psychologists have become doubtful that any stage theory of cognitive or socialemotional development can be found to be valid for all times and places. In placing more theoretical emphasis on contextual processes, they define culture as a complex system of common symbolic action patterns (or scripts) built up through everyday human social interaction by means of which individuals create common meanings and in terms of which they organize experience. Researchers understand culture to be organized and coherent, but not homogenous or static, and realize that the complex dynamic system of culture constantly undergoes transformation as participants (adults and children) negotiate and re-negotiate meanings through social interaction. These negotiations and transactions give rise to unceasing heterogeneity and variability in how different individuals and groups of individuals interpret values and meanings. However, while many psychologists—both inside and outside the fields of indigenous and cultural psychology–are now willing to give up the idea of a universal path of child development and a universal story of parenting, they have not necessarily foreclosed on the possibility of discovering and describing some universal processes that underlie socialization and development-in-context. The roots of such universalities would lie in the biological aspects of child development, in the evolutionary processes of adaptation, and in the unique symbolic and problem-solving capacities of the human organism as a culture-bearing species. For instance, according to functionalist psychological anthropologists, shared (cultural) processes surround the developing child and promote in the long view the survival of families and groups if they are to demonstrate continuity in the face of ecological change and resource competition, (e.g. Edwards & Whiting, 2004; Gallimore, Goldenberg, & Weisner, 1993; LeVine, Dixon, LeVine, Richman, Leiderman, Keefer, & Brazelton, 1994; LeVine, Miller, & West, 1988; Weisner, 1996, 2002; Whiting & Edwards, 1988; Whiting & Whiting, 1980). As LeVine and colleagues (1994) state: A population tends to share an environment, symbol systems for encoding it, and organizations and codes of conduct for adapting to it (emphasis added). It is through the enactment of these population-specific codes of conduct in locally organized practices that human adaptation occurs. Human adaptation, in other words, is largely attributable to the operation of specific social organizations (e.g. families, communities, empires) following culturally prescribed scripts (normative models) in subsistence, reproduction, and other domains [communication and social regulation]. (p. 12) It follows, then, that in seeking to understand child development in a cultural context, psychologists need to support collaborative and interdisciplinary developmental science that crosses international borders. Such research can advance cross-cultural psychology, cultural psychology, and indigenous psychology, understood as three sub-disciplines composed of scientists who frequently communicate and debate with one another and mutually inform one another’s research programs. For example, to turn to parental belief systems, the particular topic of this chapter, it is clear that collaborative international studies are needed to support the goal of crosscultural psychologists for findings that go beyond simply describing cultural differences in parental beliefs. Comparative researchers need to shed light on whether parental beliefs are (or are not) systematically related to differences in child outcomes; and they need meta-analyses and reviews to explore between- and within-culture variations in parental beliefs, with a focus on issues of social change (Saraswathi, 2000). Likewise, collaborative research programs can foster the goals of indigenous psychology and cultural psychology and lay out valid descriptions of individual development in their particular cultural contexts and the processes, principles, and critical concepts needed for defining, analyzing, and predicting outcomes of child development-in-context. The project described in this chapter is based on an approach that integrates elements of comparative methodology to serve the aim of describing particular scenarios of child development in unique contexts. The research team of cultural insiders and outsiders allows for a look at American belief systems based on a dialogue of multiple perspectives.
Resumo:
The use of stone and its types of processing have been very important in the vernacular architecture of the cross-border Carso. In Carso this represents an important legacy of centuries and has a uniform typological characteristic to a great extent. The stone was the main constituent of the local architecture, setting and shaping the human environment, incorporating the history of places through their specific symbolic and constructive language. The primary aim of this research is the recognition of the constructive rules and the values embedded in the Carso rural architecture by use and processing of stone. Central to this investigation is the typological reading, aimed to analyze the constructive language expressed by this legacy, through the analysis of the relationship between type, technique and material.
Resumo:
This thesis is divided in three chapters. In the first chapter we analyse the results of the world forecasting experiment run by the Collaboratory for the Study of Earthquake Predictability (CSEP). We take the opportunity of this experiment to contribute to the definition of a more robust and reliable statistical procedure to evaluate earthquake forecasting models. We first present the models and the target earthquakes to be forecast. Then we explain the consistency and comparison tests that are used in CSEP experiments to evaluate the performance of the models. Introducing a methodology to create ensemble forecasting models, we show that models, when properly combined, are almost always better performing that any single model. In the second chapter we discuss in depth one of the basic features of PSHA: the declustering of the seismicity rates. We first introduce the Cornell-McGuire method for PSHA and we present the different motivations that stand behind the need of declustering seismic catalogs. Using a theorem of the modern probability (Le Cam's theorem) we show that the declustering is not necessary to obtain a Poissonian behaviour of the exceedances that is usually considered fundamental to transform exceedance rates in exceedance probabilities in the PSHA framework. We present a method to correct PSHA for declustering, building a more realistic PSHA. In the last chapter we explore the methods that are commonly used to take into account the epistemic uncertainty in PSHA. The most widely used method is the logic tree that stands at the basis of the most advanced seismic hazard maps. We illustrate the probabilistic structure of the logic tree, and then we show that this structure is not adequate to describe the epistemic uncertainty. We then propose a new probabilistic framework based on the ensemble modelling that properly accounts for epistemic uncertainties in PSHA.
Resumo:
In this work I reported recent results in the field of Statistical Mechanics of Equilibrium, and in particular in Spin Glass models and Monomer Dimer models . We start giving the mathematical background and the general formalism for Spin (Disordered) Models with some of their applications to physical and mathematical problems. Next we move on general aspects of the theory of spin glasses, in particular to the Sherrington-Kirkpatrick model which is of fundamental interest for the work. In Chapter 3, we introduce the Multi-species Sherrington-Kirkpatrick model (MSK), we prove the existence of the thermodynamical limit and the Guerra's Bound for the quenched pressure together with a detailed analysis of the annealed and the replica symmetric regime. The result is a multidimensional generalization of the Parisi's theory. Finally we brie y illustrate the strategy of the Panchenko's proof of the lower bound. In Chapter 4 we discuss the Aizenmann-Contucci and the Ghirlanda-Guerra identities for a wide class of Spin Glass models. As an example of application, we discuss the role of these identities in the proof of the lower bound. In Chapter 5 we introduce the basic mathematical formalism of Monomer Dimer models. We introduce a Gaussian representation of the partition function that will be fundamental in the rest of the work. In Chapter 6, we introduce an interacting Monomer-Dimer model. Its exact solution is derived and a detailed study of its analytical properties and related physical quantities is performed. In Chapter 7, we introduce a quenched randomness in the Monomer Dimer model and show that, under suitable conditions the pressure is a self averaging quantity. The main result is that, if we consider randomness only in the monomer activity, the model is exactly solvable.
Resumo:
The Scilla rock avalanche occurred on 6 February 1783 along the coast of the Calabria region (southern Italy), close to the Messina Strait. It was triggered by a mainshock of the Terremoto delle Calabrie seismic sequence, and it induced a tsunami wave responsible for more than 1500 casualties along the neighboring Marina Grande beach. The main goal of this work is the application of semi-analtycal and numerical models to simulate this event. The first one is a MATLAB code expressly created for this work that solves the equations of motion for sliding particles on a two-dimensional surface through a fourth-order Runge-Kutta method. The second one is a code developed by the Tsunami Research Team of the Department of Physics and Astronomy (DIFA) of the Bologna University that describes a slide as a chain of blocks able to interact while sliding down over a slope and adopts a Lagrangian point of view. A wide description of landslide phenomena and in particular of landslides induced by earthquakes and with tsunamigenic potential is proposed in the first part of the work. Subsequently, the physical and mathematical background is presented; in particular, a detailed study on derivatives discratization is provided. Later on, a description of the dynamics of a point-mass sliding on a surface is proposed together with several applications of numerical and analytical models over ideal topographies. In the last part, the dynamics of points sliding on a surface and interacting with each other is proposed. Similarly, different application on an ideal topography are shown. Finally, the applications on the 1783 Scilla event are shown and discussed.