911 resultados para Symbolic and Algebraic Manipulation


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The 0.2% experimental accuracy of the 1968 Beers and Hughes measurement of the annihilation lifetime of ortho-positronium motivates the attempt to compute the first order quantum electrodynamic corrections to this lifetime. The theoretical problems arising in this computation are here studied in detail up to the point of preparing the necessary computer programs and using them to carry out some of the less demanding steps -- but the computation has not yet been completed. Analytic evaluation of the contributing Feynman diagrams is superior to numerical evaluation, and for this process can be carried out with the aid of the Reduce algebra manipulation computer program.

The relation of the positronium decay rate to the electronpositron annihilation-in-flight amplitude is derived in detail, and it is shown that at threshold annihilation-in-flight, Coulomb divergences appear while infrared divergences vanish. The threshold Coulomb divergences in the amplitude cancel against like divergences in the modulating continuum wave function.

Using the lowest order diagrams of electron-positron annihilation into three photons as a test case, various pitfalls of computer algebraic manipulation are discussed along with ways of avoiding them. The computer manipulation of artificial polynomial expressions is preferable to the direct treatment of rational expressions, even though redundant variables may have to be introduced.

Special properties of the contributing Feynman diagrams are discussed, including the need to restore gauge invariance to the sum of the virtual photon-photon scattering box diagrams by means of a finite subtraction.

A systematic approach to the Feynman-Brown method of Decomposition of single loop diagram integrals with spin-related tensor numerators is developed in detail. This approach allows the Feynman-Brown method to be straightforwardly programmed in the Reduce algebra manipulation language.

The fundamental integrals needed in the wake of the application of the Feynman-Brown decomposition are exhibited and the methods which were used to evaluate them -- primarily dis persion techniques are briefly discussed.

Finally, it is pointed out that while the techniques discussed have permitted the computation of a fair number of the simpler integrals and diagrams contributing to the first order correction of the ortho-positronium annihilation rate, further progress with the more complicated diagrams and with the evaluation of traces is heavily contingent on obtaining access to adequate computer time and core capacity.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A marine fish cell line from the snout of red spotted grouper Epinephelus akaara, a protogynous hermaphrodite, was established, characterized, and subcultured with more than 60 passages. The grouper snout cell line (GSC) cells multiplied well in Dulbecco's modified Eagle's medium (DMEM) medium supplemented with 10% fetal bovine serum. The optimal growth temperature was 25 degrees C, and morphologically the cells were fibroblastic. Chromosome analysis revealed that the GSC cell line has a normal diploid karyotype with 2n = 8st + 40t. A virus titration study indicated that the cells were susceptible to turbot Scophthalmus Maximus rhabdovirus (SMRV) (10(8.5) TCID50 ml(-1)), while the viral titer of frog Rana grylio virus 9807 (RGV(9807)) reached 10(3.5) TCID50 ml-1. The infection was confirmed by cytopathic effect (CPE), immunofluorescence, and electron microscopy experiments, which detected the viral particles in the cytoplasm of virus-infected cells, respectively. Further, significant fluorescent signals were observed when the GSC cells were transfected with pEGFP vector DNA, indicating their potential utility for transgenic and genetic manipulation studies.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Phosphorus recoveries from selected inorganic and organic P-containing compounds after ignition with auxiliaries, such as MgSO4, Mg (NO3)(2), MgCl2, Mg (Ac)(2) and CaCl2 were studied. It was found that the phosphorus could not be completely recovered when most P-containing compounds were ignited with MgSO4 at temperature not higher than 500degreesC if the baked residue was extracted with 0.2 mol/L HCl for 30 min at 80degreesC or at room temperature. In contrast, MgCl2, Mg(Ac)(2) and CaCl2, as well as Mg(NO3)(2), could all yield complete P recoveries. We suggest that MgCl2 rather than MgSO4, which is usually used, should be utilized as ashing auxiliary agent in the P extraction by ignition method. Although Mg (NO3)(2) is a highly effective auxiliary agent, yet interference from MgSO4, danger of explosion, toxicity of nitrogen dioxide and more manipulation steps may limit its widespread utilization. It is suggested that if sediment is ignited with MgCl2, the extraction of residue with 0.2 mol/L HCl for 30 min at 80degreesC could give good result.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used in the choice of canonical expressions. It is shown that with an appropriate better-name relation an important engineering reasoning technique, propagation of constraints, can be implemented as a special case of this substitution process. Special purpose algebraic simplification procedures are embedded such that they interact effectively with the equality system. An electrical circuit analysis system is developed which relies upon constraint propagation and algebraic simplification as primary reasoning techniques. The reasoning is guided by a better-name relation in which referentially transparent terms are preferred to referentially opaque ones. Multiple description of subcircuits are shown to interact strongly with the reasoning mechanism.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The primary focus of this thesis was the asymmetric peroxidation of α,β-unsaturated aldehydes and the development of this methodology to include the synthesis of bioactive chiral 1,2-dioxane and 1,2-dioxalane rings. In Chapter 1 a review detailing the new and improved methods for the acyclic introduction of peroxide functionality to substrates over the last decade was discussed. These include a detailed examination of metal-mediated transformations, chiral peroxidation using organocatalytic means and the improvements in methodology of well-established peroxidation pathways. The second chapter discusses the method by which peroxidation of our various substrates was attempted and the optimisation studies associated with these reactions. The method by which the enantioselectivity of our β-peroxyaldehydes was determined is also reviewed. Chapters 3 and 4 focus on improving the enantioselectivity associated with our asymmetric peroxidation reaction. A comprehensive analysis exploring the effect of solvent, concentration and temperature on enantioselectivity was examined. The effect that different catalytic systems have on enantioselectivity and reactivity was also investigated in depth. Chapter 5 details the various transformations that β-peroxyaldehydes can undergo and the manipulation of these transformations towards the establishment of several routes for the formation of chiral 1,2-dioxane and 1,2-dioxalane rings. Chapter 6 details the full experimental procedures, including spectroscopic and analytical data for the compounds prepared during this research.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Of late, the magnetic properties of micro/nano-structures have attracted intense research interest both fundamentally and technologically particularly to address the question that how the manipulation in the different layers of nanostructures, geometry of a patterned structure can affect the overall magnetic properties, while generating novel applications such as in magnetic sensors, storage devices, integrated inductive components and spintronic devices. Depending on the applications, materials with high, medium or low magnetic anisotropy and their possible manipulation are required. The most dramatic manifestation in this respect is the chance to manipulate the magnetic anisotropy over the intrinsic preferential direction of the magnetization, which can open up more functionality particularly for device applications. Types of magnetic anisotropies of different nanostructured materials and their manipulation techniques are investigated in this work. Detail experimental methods for the quantitative determination of magnetic anisotropy in nanomodulated Ni45Fe55 thin film are studied. Magnetic field induced in-plane rotations within the nanomodulated Ni45Fe55 continuous films revealed various rotational symmetries of magnetic anisotropy due to dipolar interactions showing a crossover from lower to higher fold of symmetry as a function of modulation geometry. In a second approach, the control of exchange anisotropy at ferromagnetic (FM) – aniferomagnetic (AFM) interface in multifferoic nanocomposite materials, where two different phase/types of materials were simultaneously synthesized, was investigated. The third part of this work was to study the electroplated thin films of metal alloy nanocomposite for enhanced exchange anisotropy. In this work a unique observation of an anti-clock wise as well as a clock wise hysteresis loop formation in the Ni,Fe solid solution with very low coercivity and large positive exchange anisotropy/exchange bias have been investigated. Hence, controllable positive and negative exchange anisotropy has been observed for the first time which has high potential applications such as in MRAM devices.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Adult humans, infants, pre-school children, and non-human animals appear to share a system of approximate numerical processing for non-symbolic stimuli such as arrays of dots or sequences of tones. Behavioral studies of adult humans implicate a link between these non-symbolic numerical abilities and symbolic numerical processing (e.g., similar distance effects in accuracy and reaction-time for arrays of dots and Arabic numerals). However, neuroimaging studies have remained inconclusive on the neural basis of this link. The intraparietal sulcus (IPS) is known to respond selectively to symbolic numerical stimuli such as Arabic numerals. Recent studies, however, have arrived at conflicting conclusions regarding the role of the IPS in processing non-symbolic, numerosity arrays in adulthood, and very little is known about the brain basis of numerical processing early in development. Addressing the question of whether there is an early-developing neural basis for abstract numerical processing is essential for understanding the cognitive origins of our uniquely human capacity for math and science. Using functional magnetic resonance imaging (fMRI) at 4-Tesla and an event-related fMRI adaptation paradigm, we found that adults showed a greater IPS response to visual arrays that deviated from standard stimuli in their number of elements, than to stimuli that deviated in local element shape. These results support previous claims that there is a neurophysiological link between non-symbolic and symbolic numerical processing in adulthood. In parallel, we tested 4-y-old children with the same fMRI adaptation paradigm as adults to determine whether the neural locus of non-symbolic numerical activity in adults shows continuity in function over development. We found that the IPS responded to numerical deviants similarly in 4-y-old children and adults. To our knowledge, this is the first evidence that the neural locus of adult numerical cognition takes form early in development, prior to sophisticated symbolic numerical experience. More broadly, this is also, to our knowledge, the first cognitive fMRI study to test healthy children as young as 4 y, providing new insights into the neurophysiology of human cognitive development.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper responds to recent calls for more academic research and critical discussion on the relationship between spatial planning and city branding. Through the lens of Liverpool, the article analyses how key planning projects have delivered major transformations in the city's built environment and cultural landscape. More specifically, in concentrating on the performative nature of spatial planning it reveals the physical, symbolic and discursive re-imaging of Liverpool into a 'world class city'. Another aspect of the paper presents important socioeconomic datasets and offers a critical reading of the re-branding in showing how it presents an inaccurate representation of Liverpool. The evidence provided indicates that a more accurate label for Liverpool is a polarised and divided city, thereby questioning the fictive spectacle of city branding. Finally, the paper ends with some critical commentary on the role of spatial planning as an accessory to the sophistry of city branding.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A web-service is a remote computational facility which is made available for general use by means of the internet. An orchestration is a multi-threaded computation which invokes remote services. In this paper game theory is used to analyse the behaviour of orchestration evaluations when underlying web-services are unreliable. Uncertainty profiles are proposed as a means of defining bounds on the number of service failures that can be expected during an orchestration evaluation. An uncertainty profile describes a strategic situation that can be analyzed using a zero-sum angel-daemon game with two competing players: an angel a whose objective is to minimize damage to an orchestration and a daemon d who acts in a destructive fashion. An uncertainty profile is assessed using the value of its angel daemon game. It is shown that uncertainty profiles form a partial order which is monotonic with respect to assessment.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Physical Access Control Systems are commonly used to secure doors in buildings such as airports, hospitals, government buildings and offices. These systems are designed primarily to provide an authentication mechanism, but they also log each door access as a transaction in a database. Unsupervised learning techniques can be used to detect inconsistencies or anomalies in the mobility data, such as a cloned or forged Access Badge, or unusual behaviour by staff members. In this paper, we present an overview of our method of inferring directed graphs to represent a physical building network and the flows of mobility within it. We demonstrate how the graphs can be used for Visual Data Exploration, and outline how to apply algorithms based on Information Theory to the graph data in order to detect inconsistent or abnormal behaviour.