911 resultados para Symbolic and Algebraic Manipulation


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tese (doutorado)—Universidade de Brasília, Instituto de Física, 2015.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work aims to investigate the relationship between the Bunraku theater and the film Dolls (2002), by the Japanese director Takeshi Kitano. To do so, it was initially done a theoretical study of this theater, detailing its key elements, and thus allowing a direct analysis of the film to be made. The main objective here was to reveal the film‟s connections with the Bunraku. The Sangyo refers to the simultaneous presence of three arts in the Bunraku theater: the narrative, the music and the manipulation of puppets. In Dolls, the director Takeshi Kitano presents a narrative through three different stories, all built with references to the Bunraku. As in the theater the three distinct arts harmonize on stage, in Dolls three separate stories will perform in harmony within the film. By confronting the Bunraku Theater with the film Dolls, the intention is to establish the connections between the scenic language of the Bunraku, the dramaturgy of Chikamatsu and also the cinema of Kitano. These connections allow to the understanding of how characteristics of a secular art, governed by strong rules and conventions, can be presented again through another language: the cinematic language and its particular set of codes and conventions

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The present study provides a methodology that gives a predictive character the computer simulations based on detailed models of the geometry of a porous medium. We using the software FLUENT to investigate the flow of a viscous Newtonian fluid through a random fractal medium which simplifies a two-dimensional disordered porous medium representing a petroleum reservoir. This fractal model is formed by obstacles of various sizes, whose size distribution function follows a power law where exponent is defined as the fractal dimension of fractionation Dff of the model characterizing the process of fragmentation these obstacles. They are randomly disposed in a rectangular channel. The modeling process incorporates modern concepts, scaling laws, to analyze the influence of heterogeneity found in the fields of the porosity and of the permeability in such a way as to characterize the medium in terms of their fractal properties. This procedure allows numerically analyze the measurements of permeability k and the drag coefficient Cd proposed relationships, like power law, for these properties on various modeling schemes. The purpose of this research is to study the variability provided by these heterogeneities where the velocity field and other details of viscous fluid dynamics are obtained by solving numerically the continuity and Navier-Stokes equations at pore level and observe how the fractal dimension of fractionation of the model can affect their hydrodynamic properties. This study were considered two classes of models, models with constant porosity, MPC, and models with varying porosity, MPV. The results have allowed us to find numerical relationship between the permeability, drag coefficient and the fractal dimension of fractionation of the medium. Based on these numerical results we have proposed scaling relations and algebraic expressions involving the relevant parameters of the phenomenon. In this study analytical equations were determined for Dff depending on the geometrical parameters of the models. We also found a relation between the permeability and the drag coefficient which is inversely proportional to one another. As for the difference in behavior it is most striking in the classes of models MPV. That is, the fact that the porosity vary in these models is an additional factor that plays a significant role in flow analysis. Finally, the results proved satisfactory and consistent, which demonstrates the effectiveness of the referred methodology for all applications analyzed in this study.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

El presente trabajo analiza la presencia de la Plataforma de Afectados por la Hipoteca, de sus acciones y reivindicaciones en la agenda mediática y en la agenda política en España en el año 2014. Tras describir el papel de la plataforma como movimiento social en nuestro país, trata, en primer lugar, de analizar la cobertura que los tres principales medios impresos (El País, El Mundo y ABC) han hecho del mismo a lo largo del año, desde la perspectiva del Framing o Teoría del Enfoque, observando el tratamiento valorativo que realizan los tres diarios de la plataforma. Por otro lado, se lleva a cabo un análisis de la agenda política, en cuanto a las menciones a la PAH y a sus acciones en el debate parlamentario en el Congreso de los Diputados, diferenciando la pertenencia a la agenda simbólica y sustancial. Los datos muestran, por un lado, un tratamiento diverso del movimiento social por parte de los tres medios, que se correspondería con el diferente posicionamiento ideológico de cada periódico. Por otro, las formaciones políticas presentes en el hemiciclo incluyen de manera cuantitativamente distinta a la PAH en sus discursos –siendo Izquierda Plural el grupo que más menciones ha realizado– y la mayoría de éstos pertenece a la agenda simbólica. La distribución temporal de las dos agendas no muestra una influencia clara entre ambas.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Souvent conçues comme le vecteur de changements majeurs, les pratiques numériques constituent une occasion de mieux comprendre le fait littéraire en faisant apparaître de manière plus explicite que jamais des aspects ontologiques qui, en tant que tels, ont une valeur atemporelle. En particulier, et c’est l’objet de cet article, le fait numérique donne l’occasion de réinvestir une problématique qui parcourt l’ensemble de la réflexion sur le statut de la littérature depuis Platon et Aristote : celle du rapport entre littérature et réalité, dont Sartre et Derrida avaient déjà œuvré à déconstruire l’opposition au XXe siècle. Selon nous, le numérique souligne l’absence de séparation entre symbolique et non-symbolique, nous empêchant de penser une rupture entre imaginaire et réel. Pour rendre compte de cette structure, nous nous appuierons sur le concept d’éditorialisation, qui vient désigner l’ensemble des dispositifs permettant la production de contenus dans l’espace numérique en tenant compte de la fusion entre espace numérique et espace non numérique. À travers des exemples littéraires – Traque Traces de Cécile Portier et Laisse venir d’Anne Savelli et Pierre Ménard – nous démontrerons comment la littérature participe aujourd’hui à l’éditorialisation du monde, enterrant ainsi définitivement le dualisme imaginaire-réel pour lui préférer une structure anamorphique.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Souvent conçues comme le vecteur de changements majeurs, les pratiques numériques constituent une occasion de mieux comprendre le fait littéraire en faisant apparaître de manière plus explicite que jamais des aspects ontologiques qui, en tant que tels, ont une valeur atemporelle. En particulier, et c’est l’objet de cet article, le fait numérique donne l’occasion de réinvestir une problématique qui parcourt l’ensemble de la réflexion sur le statut de la littérature depuis Platon et Aristote : celle du rapport entre littérature et réalité, dont Sartre et Derrida avaient déjà œuvré à déconstruire l’opposition au XXe siècle. Selon nous, le numérique souligne l’absence de séparation entre symbolique et non-symbolique, nous empêchant de penser une rupture entre imaginaire et réel. Pour rendre compte de cette structure, nous nous appuierons sur le concept d’éditorialisation, qui vient désigner l’ensemble des dispositifs permettant la production de contenus dans l’espace numérique en tenant compte de la fusion entre espace numérique et espace non numérique. À travers des exemples littéraires – Traque Traces de Cécile Portier et Laisse venir d’Anne Savelli et Pierre Ménard – nous démontrerons comment la littérature participe aujourd’hui à l’éditorialisation du monde, enterrant ainsi définitivement le dualisme imaginaire-réel pour lui préférer une structure anamorphique.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A cartografia temática surge como um aliado indispensável ao estudo e conhecimento do estado da paisagem e dos ecossistemas terrestres. Angola é um país com uma enorme lacuna em termos de informação cartográfica para suporte a diversas actividades desenvolvidas em várias áreas. É por isso necessária informação sobre a superfície terrestre que registe as alterações temporais ocorridas nos ecossistemas e identifique os factores que estão na sua origem de forma a implementar medidas que permitam uma gestão mais sustentável do seu enorme território. O presente estudo foi realizado no sector Sudoeste de Angola, abrangendo os municípios do Lubango, Humpata e Chibia, com uma área aproximada de 9600 km2. Os objectivos foram: a) cartografar o coberto do solo e monitorizar as alterações ocorridas na área de estudo no período 1990-2010, b) analisar e interpretar as alterações da estrutura da paisagem nos últimos 20 anos usando cartografia de ocupação do solo, produzida recorrendo a imagens de satélite, e métricas da paisagem, e c) quantificar e examinar a relação entre a fragmentação da paisagem e os factores geradores. A metodologia utilizada no estudo é composta por duas partes, sendo a primeira dedicada às operações de processamento e interpretação de imagens de satélite Landsat e, a segunda dedicada à produção de novas métricas de fragmentação da paisagem com recurso à ferramenta SIG utilizando operações de álgebra de mapas. O comportamento da fragmentação é analisado, à luz do efeito dos fatores ambientais e socioeconómicas ao nível da região. Os resultados obtidos, através da aplicação de técnicas de deteção remota e usando imagens Landsat TM e ETM+, permitiram a elaboração de mapas de coberto do solo, onde se distinguiram 8 classes temáticas e espectralmente diferentes. Verificou-se em termos globais que aproximadamente 38% da área sofreu algum tipo de alteração no período estudado, sendo as classes de miombo e áreas cultivadas as que mais alterações sofreram. A fragmentação da paisagem foi avaliada através da implementação de novas métricas, mostrando os resultados, que no período 1990-2000, a fragmentação foi superior à que se verificou entre 2000-2010. A nível espacial, a dinâmica de fragmentação foi mais acentuada, entre 1990-2000, na Humpata e, entre 2000-2010, no Lubango; ANALYSIS OF LANDSCAPE AND LAND USE LAND COVER CHANGE IN LUBANGO AND SURROUNDINGS ABSTRACT: Thematic cartography shows up as an essential ally in the study and knowledge of the state of landscapes and terrestrial ecosystems. Angola is a country with an enormous lack of cartographic information to support the several activities carried out in a variety of areas. This is the reason information on the earth’s surface is necessary, registering alterations which occur over time in ecosystems and identifying the associated factors in its origin, so as to implement metrics that allow a more sustainable management of its enormous territory. This study was carried out in the Southeast of Angola in the Lubango, Humpata and Chibia Municipalities, with an area of approximately 9600 km2. Our objectives were the following: a) land cover mapping and land cover changes monitoring over the period 1990 to 2010 using Landsat images, b) to analyze and interpret landscape structures changes using land cover maps, and landscapes metrics, and c) to quantify and to examine the relationship between landscape fragmentation and its drivers. The methodology developed in the study has two parts, the first includes Landsat satellite images processing and interpretation and, the second the production of new landscape fragmentation metrics with support to a GIS tool and algebraic mapping operations. The fragmentation behavior is analyzed, taking into account the effect of environmental and socioeconomic factors at a regional level. The results allowed obtaining land cover maps, in which 8 spectrally different thematic classes were distinguished. It was observed that 38% of the area suffered some type of alteration in the studied period, with higher changes observed in the classes of miombo and agriculture. Landscapes fragmentation results, evaluated through the implementation of new metrics, show that, values are greater in the period 1990-2000 than in 2000-2010. At municipality level, fragmentation dynamics were more accentuated in Humpata between 1990 -2000 and in Lubango between 2000 -2010.

Relevância:

50.00% 50.00%

Publicador:

Resumo:

Even research models of helicopter dynamics often lead to a large number of equations of motion with periodic coefficients; and Floquet theory is a widely used mathematical tool for dynamic analysis. Presently, three approaches are used in generating the equations of motion. These are (1) general-purpose symbolic processors such as REDUCE and MACSYMA, (2) a special-purpose symbolic processor, DEHIM (Dynamic Equations for Helicopter Interpretive Models), and (3) completely numerical approaches. In this paper, comparative aspects of the first two purely algebraic approaches are studied by applying REDUCE and DEHIM to the same set of problems. These problems range from a linear model with one degree of freedom to a mildly non-linear multi-bladed rotor model with several degrees of freedom. Further, computational issues in applying Floquet theory are also studied, which refer to (1) the equilibrium solution for periodic forced response together with the transition matrix for perturbations about that response and (2) a small number of eigenvalues and eigenvectors of the unsymmetric transition matrix. The study showed the following: (1) compared to REDUCE, DEHIM is far more portable and economical, but it is also less user-friendly, particularly during learning phases; (2) the problems of finding the periodic response and eigenvalues are well conditioned.

Relevância:

50.00% 50.00%

Publicador:

Resumo:

The identification of chemical mechanism that can exhibit oscillatory phenomena in reaction networks are currently of intense interest. In particular, the parametric question of the existence of Hopf bifurcations has gained increasing popularity due to its relation to the oscillatory behavior around the fixed points. However, the detection of oscillations in high-dimensional systems and systems with constraints by the available symbolic methods has proven to be difficult. The development of new efficient methods are therefore required to tackle the complexity caused by the high-dimensionality and non-linearity of these systems. In this thesis, we mainly present efficient algorithmic methods to detect Hopf bifurcation fixed points in (bio)-chemical reaction networks with symbolic rate constants, thereby yielding information about their oscillatory behavior of the networks. The methods use the representations of the systems on convex coordinates that arise from stoichiometric network analysis. One of the methods called HoCoQ reduces the problem of determining the existence of Hopf bifurcation fixed points to a first-order formula over the ordered field of the reals that can then be solved using computational-logic packages. The second method called HoCaT uses ideas from tropical geometry to formulate a more efficient method that is incomplete in theory but worked very well for the attempted high-dimensional models involving more than 20 chemical species. The instability of reaction networks may lead to the oscillatory behaviour. Therefore, we investigate some criterions for their stability using convex coordinates and quantifier elimination techniques. We also study Muldowney's extension of the classical Bendixson-Dulac criterion for excluding periodic orbits to higher dimensions for polynomial vector fields and we discuss the use of simple conservation constraints and the use of parametric constraints for describing simple convex polytopes on which periodic orbits can be excluded by Muldowney's criteria. All developed algorithms have been integrated into a common software framework called PoCaB (platform to explore bio- chemical reaction networks by algebraic methods) allowing for automated computation workflows from the problem descriptions. PoCaB also contains a database for the algebraic entities computed from the models of chemical reaction networks.

Relevância:

50.00% 50.00%

Publicador:

Resumo:

We have been investigating the cryptographical properties of in nite families of simple graphs of large girth with the special colouring of vertices during the last 10 years. Such families can be used for the development of cryptographical algorithms (on symmetric or public key modes) and turbocodes in error correction theory. Only few families of simple graphs of large unbounded girth and arbitrarily large degree are known. The paper is devoted to the more general theory of directed graphs of large girth and their cryptographical applications. It contains new explicit algebraic constructions of in finite families of such graphs. We show that they can be used for the implementation of secure and very fast symmetric encryption algorithms. The symbolic computations technique allow us to create a public key mode for the encryption scheme based on algebraic graphs.

Relevância:

50.00% 50.00%

Publicador:

Resumo:

An algorithm is produced for the symbolic solving of systems of partial differential equations by means of multivariate Laplace–Carson transform. A system of K equations with M as the greatest order of partial derivatives and right-hand parts of a special type is considered. Initial conditions are input. As a result of a Laplace–Carson transform of the system according to initial condition we obtain an algebraic system of equations. A method to obtain compatibility conditions is discussed.

Relevância:

50.00% 50.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 13N15, 13A50, 13F20.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Two studies were conducted to investigate empirical support for two models relating to the development of self-concepts and self-esteem in upper-primary school children. The first study investigated the social learning model by examining the relationship between mothers' and fathers' self-reported self-concepts and self-esteem and the self-reported self-concepts and self-esteem of their children. The second study investigated the symbolic interaction model by examining the relationship between children's perception of the frequency of positive and negative statements made by parents and their self-reported self-concepts and self-esteem. The results of these studies suggested that what parents say to their children and how they interact with them is more closely related to their children's self-perceptions than the role of modelling parental attitudes and behaviours. The findings highlight the benefits of parents talking positively to their children.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Oberon-2 is an object-oriented language with a class structure based on type extension. The runtime structure of Oberon-2 is described and the low-level mechanism for dynamic type checking explained. It is shown that the superior type-safety of the language, when used for programming styles based on heterogeneous, pointer-linked data structures, has an entirely negligible cost in runtime performance.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Bananas are susceptible to a diverse range of biotic and abiotic stresses, many of which cause serious production constraints worldwide. One of the most destructive banana diseases is Fusarium wilt caused by the soil-borne fungus, Fusarium oxysporum f. sp. cubense (Foc). No effective control strategy currently exists for this disease which threatens global banana production. Although disease resistance exists in some wild bananas, attempts to introduce resistance into commercially acceptable bananas by conventional breeding have been hampered by low fertility, long generation times and association of poor agronomical traits with resistance genes. With the advent of reliable banana transformation protocols, molecular breeding is now regarded as a viable alternative strategy to generate disease-resistant banana plants. Recently, a novel strategy involving the expression of anti-apoptosis genes in plants was shown to result in resistance against several necrotrophic fungi. Further, the transgenic plants showed increased resistance to a range of abiotic stresses. In this thesis, the use of anti-apoptosis genes to generate transgenic banana plants with resistance to Fusarium wilt was investigated. Since water stress is an important abiotic constraint to banana production, the resistance of the transgenic plants to water stress was also examined. Embryogenic cell suspensions (ECS) of two commercially important banana cultivars, Grand Naine (GN) and Lady Finger (LF), were transformed using Agrobacterium with the anti-apoptosis genes, Bcl-xL, Bcl-xL G138A, Ced-9 and Bcl- 2 3’ UTR. An interesting, and potentially important, outcome was that the use of anti-apoptosis genes resulted in up to a 50-fold increase in Agrobacterium-mediated transformation efficiency of both LF and GN cells over vector controls. Regenerated plants were subjected to a complete molecular characterisation in order to detect the presence of the transgene (PCR), transcript (RT-PCR) and gene product (Western blot) and to determine the gene copy number (Southern blot). A total of 36 independently-transformed GN lines (8 x Bcl-xL, 5 x Bcl-xL G138A, 15 x Ced-9 and 8 x Bcl-2 3’ UTR) and 41 independently-transformed LF lines (8 x Bcl-xL, 7 x BclxL G138A, 13 x Ced-9 and 13 x Bcl-2 3’ UTR) were identified. The 41 transgenic LF lines were multiplied and clones from each line were acclimatised and grown under glasshouse conditions for 8 weeks to allow monitoring for phenotypic abnormalities. Plants derived from 3 x Bcl-xL, 2 x Ced-9 and 5 x Bcl-2 3’ UTR lines displayed a variety of aberrant phenotypes. However, all but one of these abnormalities were off-types commonly observed in tissue-cultured, non-transgenic banana plants and were therefore unlikely to be transgene-related. Prior to determining the resistance of the transgenic plants to Foc race 1, the apoptotic effects of the fungus on both wild-type and Bcl-2 3’ UTR-transgenic LF banana cells were investigated using rapid in vitro root assays. The results from these assays showed that apoptotic-like cell death was elicited in wild-type banana root cells as early as 6 hours post-exposure to fungal spores. In contrast, these effects were attenuated in the root cells of Bcl-2 3’ UTR-transgenic lines that were exposed to fungal spores. Thirty eight of the 41 transgenic LF lines were subsequently assessed for resistance to Foc race 1 in small-plant glasshouse bioassays. To overcome inconsistencies in rating the internal (vascular discolouration) disease symptoms, a MatLab-based computer program was developed to accurately and reliably assess the level of vascular discolouration in banana corms. Of the transgenic LF banana lines challenged with Foc race 1, 2 x Bcl-xL, 3 x Ced-9, 2 x Bcl-2 3’ UTR and 1 x Bcl-xL G138A-transgenic line were found to show significantly less external and internal symptoms than wild-type LF banana plants used as susceptible controls at 12 weeks post-inoculation. Of these lines, Bcl-2 3’ UTR-transgenic line #6 appeared most resistant, displaying very mild symptoms similar to the wild-type Cavendish banana plants that were included as resistant controls. This line remained resistant for up to 23 weeks post-inoculation. Since anti-apoptosis genes have been shown to confer resistance to various abiotic stresses in other crops, the ability of these genes to confer resistance against water stress in banana was also investigated. Clonal plants derived from each of the 38 transgenic LF banana plants were subjected to water stress for a total of 32 days. Several different lines of transgenic plants transformed with either Bcl-xL, Bcl-xL G138A, Ced-9 or Bcl-2 3’ UTR showed a delay in visual water stress symptoms compared with the wild-type control plants. These plants all began producing new growth from the pseudostem following daily rewatering for one month. In an attempt to determine whether the protective effect of anti-apoptosis genes in transgenic banana plants was linked with reactive oxygen species (ROS)-associated programmed cell death (PCD), the effect of the chloroplast-targeting, ROS-inducing herbicide, Paraquat, on wild-type and transgenic LF was investigated. When leaf discs from wild-type LF banana plants were exposed to 10 ìM Paraquat, complete decolourisation occurred after 48 hours which was confirmed to be associated with cell death and ROS production by trypan blue and 3,3-diaminobenzidine (DAB) staining, respectively. When leaf discs from the transgenic lines were exposed to Paraquat, those derived from some lines showed a delay in decolourisation, suggesting only a weak protective effect from the transgenes. Finally, the protective effect of anti-apoptosis genes against juglone, a ROS-inducing phytotoxin produced by the causal agent of black Sigatoka, Mycosphaerella fijiensis, was investigated. When leaf discs from wild-type LF banana plants were exposed to 25 ppm juglone, complete decolourisation occurred after 48 hours which was again confirmed to be associated with cell death and ROS production by trypan blue and DAB staining, respectively. Further, TdT-mediated dUTP nick-end labelling (TUNEL) assays on these discs suggested that the cell death was apoptotic. When leaf discs from the transgenic lines were exposed to juglone, discs from some lines showed a clear delay in decolourisation, suggesting a protective effect. Whether these plants are resistant to black Sigatoka is unknown and will require future glasshouse and field trials. The work presented in this thesis provides the first report of the use of anti-apoptosis genes as a strategy to confer resistance to Fusarium wilt and water stress in a nongraminaceous monocot, banana. Such a strategy may be exploited to generate resistance to necrotrophic pathogens and abiotic stresses in other economically important crop plants.