992 resultados para Lambda calculus
Resumo:
MSC 2010: 49K05, 26A33
Resumo:
The single spin asymmetry, ALT ′, and the polarized structure function, σ LT′, for the p( e&ar; , e′K +)Λ reaction in the resonance region have been measured and extracted using the CEBAF Large Acceptance Spectrometer (CLAS) at Jefferson Lab. Data were taken at an electron beam energy of 2.567 GeV. The large acceptance of CLAS allows for full azimuthal angle coverage over a large range of center-of-mass scattering angles. Results were obtained that span a range in Q 2 from 0.5 to 1.3 GeV2 and W from threshold up to 2.1 GeV and were compared to existing theoretical calculations. The polarized structure function is sensitive to the interferences between various resonant amplitudes, as well as to resonant and non-resonant amplitudes. This measurement is essential for understanding the structure of nucleons and searching for previously undetected nucleon excited states (resonances) predicted by quark models. The W dependence of the σ LT′ in the kinematic regions dominated by s and u channel exchange (cos qcmk = −0.50, −0.167, 0.167) indicated possible resonance structures not predicted by theoretical calculations. The σLT ′ behavior around W = 1.875 GeV could be the signature of a resonance predicted by the quark models and possibly seen in photoproduction. In the very forward angles where the reaction is dominated by the t-channel, the average σLT ′ was zero. There was no indication of the interference between resonances or resonant and non-resonant amplitudes. This might be indicating the dominance of a single t-channel exchange. Study of the sensitivity of the fifth structure function data to the resonance around 1900 MeV showed that these data were highly sensitive to the various assumptions of the models for the quantum number of this resonance. This project was part of a larger CLAS program to measure cross sections and polarization observables for kaon electroproduction in the nucleon resonance region. ^
Resumo:
The E01-011 experiment at Jefferson Laboratory (JLab) studied light-to-medium mass Λ hypernuclei via the AZ + e → [special characters omitted] + e' + K+ electroproduction reaction. Precise measurement of hypernuclear ground state masses and excitation energies provides information about the nature of hyperon-nucleon interactions. Until recently, hypernuclei were studied at accelerator facilities with intense π+ and K- meson beams. The poor quality of these beams limited the resolution of the hypernuclear excitation energy spectra to about 1.5 MeV (FWHM). This resolution is not sufficient for resolving the rich structure observed in the excitation spectra. By using a high quality electron beam and employing a new high resolution spectrometer system, this study aims to improve the resolution to a few hundred keV with an absolute precision of about 100 keV for excitation energies. In this work the high-resolution excitation spectra of [special characters omitted], and [special characters omitted] hypernuclei are presented. In an attempt to emphasize the presence of the core-excited states we introduced a novel likelihood approach to particle identification (PID) to serve as an alternative to the commonly used standard hard-cut PID. The new method resulted in almost identical missing mass spectra as obtained by the standard approach. An energy resolution of approximately 400–500 keV (FWHM) has been achieved, an unprecedented value in hypernuclear reaction spectroscopy. For [special characters omitted] the core-excited configuration has been clearly observed with significant statistics. The embedded Λ hyperon increases the excitation energies of the 11B nuclear core by 0.5–1 MeV. The [special characters omitted] spectrum has been observed with significant statistics for the first time. The ground state is bound deeper by roughly 400 keV than currently predicted by theory. Indication for the core-excited doublet, which is unbound in the core itself, is observed. The measurement of [special characters omitted] provides the first study of a d-shell hypernucleus with sub-MeV resolution. Discrepancies of up to 2 MeV between measured and theoretically predicted binding energies are found. Similar disagreement exists when comparing to the [special characters omitted] mirror hypernucleus. Also the core-excited structure observed between the major s-, p- and d-shell Λ orbits is not consistent with the available theoretical calculations. In conclusion, the discrepancies found in this study will provide valuable input for the further development of theoretical models.
Resumo:
The CLAS Collaboration is using the p(e, e&feet; K+ p)π- reaction to perform a measurement of the induced polarization of the electroproduced Λ(1116). The parity-violating weak decay of the Λ into pπ- (64%) allows extraction of the recoil polarization of the Λ. The present study uses the CEBAF Large Acceptance Spectrometer (CLAS) to detect the scattered electron, the kaon, and the decay proton. CLAS allows for a large kinematic acceptance in Q2 (0.8 ≤ Q2 ≤ 3.5 GeV2 ), W (1.6 ≤ W ≤ 3.0 GeV), as well as the kaon scattering angle. In this experiment a 5.499 GeV electron beam was incident upon an unpolarized liquid-hydrogen target. The goal is to map out the kinematic dependencies for this polarization observable to provide new constraints for theoretical models of the electromagnetic production of kaon-hyperon final states. Along with previously published photo- and electroproduction cross sections and polarization observables from CLAS, SAPHIR, and GRAAL, these data are needed in a coupled-channel analysis to identify previously unobserved s-channel resonances.^
Resumo:
We theoretically study the resonance fluorescence spectrum of a three-level quantum emitter coupled to a spherical metallic nanoparticle. We consider the case that the quantum emitter is driven by a single laser field along one of the optical transitions. We show that the development of the spectrum depends on the relative orientation of the dipole moments of the optical transitions in relation to the metal nanoparticle. In addition, we demonstrate that the location and width of the peaks in the spectrum are strongly modified by the exciton-plasmon coupling and the laser detuning, allowing to achieve controlled strongly subnatural spectral line. A strong antibunching of the fluorescent photons along the undriven transition is also obtained. Our results may be used for creating a tunable source of photons which could be used for a probabilistic entanglement scheme in the field of quantum information processing.
Resumo:
Os sensores lambda resistivos possuem as vantagens de simplicidade e menor custo relativamente à utilização generalizada de sensores potenciométricos de oxigénio. Nesse sentido, os titanatos de estrôncio têm sido alvo de diversos estudos. Para a produção de uma relação inequívoca entre a condutividade destes materiais e a pressão parcial de oxigénio é necessária a adição de um dopante dador que suprime a condução eletrónica do tipo-p na região de pressões parciais de oxigénio próximas de ar. Contudo, a adição de um dopante dador produz respostas lentas destes materiais quando densos a variações da pressão parcial de oxigénio. Além da preparação usual dos pós por reação do estado sólido, foram preparadas diversas composições por mecanossíntese. Tal relaciona-se com o fato exaustivamente reportado de as amostras destes materiais, especialmente quando dopados com dadores, apresentarem comportamentos dependentes das condições de processamento. Teve ainda o intuito de avaliar a viabilidade da sua preparação por este método, e consequentemente verificar se este método de preparação, que presumivelmente produzirá pós com composição mais homogénea e mais reativos, permite alterar/manipular a resposta obtida por amostras com eles produzidas. Foram preparados diversos filmes, tipologia muito usada na produção de sensores resistivos, e amostras porosas com diversas composições à base de titanato de estrôncio produzidos com variadas condições de processamento. Foram realizadas diversas caracterizações sobre estes espécimes numa tentativa de melhor compreender as propriedades destes materiais e a dependência destas com parâmetros microestruturais como o tamanho de grão e a porosidade. Foi verificado que os exemplares de titanato de estrôncio não dopado, quer em filmes quer em amostras porosas, apresentam um comportamento elétrico semelhante ao apresentado por amostras densas deste material. Apurou-se ainda, que as suas características apresentam uma variação ténue com a alteração das condições de processamento. Já espécimes de titanato de estrôncio dopados com dador revelam uma forte dependência das suas propriedades com as condições de processamento utilizadas, nomeadamente, a temperatura de sinterização e o tempo de permanência a essa temperatura. Para o fabrico de sensores resistivos de oxigénio poderá ser preferível o recurso a amostras porosas pelo facto de mais facilmente se manipularem as suas características microestruturais e devido à exclusão dos problemas associados à interação entre o substrato de alumina e o filme. As composições não dopadas são as indicadas para esta função se a gama de pressões de oxigénio a avaliar for relativamente pouco extensa sendo aconselhadas as composições dopadas com dador se for pretendida uma medição da pressão parcial de oxigénio em zonas mais extensas correspondentes à queima com deficiência ou excesso de oxigénio. Mesmo em amostras de elevada porosidade poderá ocorrer resposta transiente do material dopado com dador.
Resumo:
We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms. We use this framework to motivate the comparison of three recent proof planning systems, lclam, OMEGA and IsaPlanner, and demonstrate how the framework allows us to discuss and illustrate both their similarities and differences in a consistent fashion. This analysis reveals that proof control and the use of contextual information in planning states are key areas in need of further investigation.
Resumo:
Nos dias que correm a eficiência energética está na ordem do dia, havendo um esforço significativo para obter-se equipamentos cada vez mais eficientes. Uma parte significativa do consumo global de energia, bem como da emissão de gases nocivos e de efeito de estufa, está associado à climatização, quer doméstica quer industrial. Assim, é importante desenvolver tecnologias mais eficientes neste domínio. O principal objetivo deste trabalho consiste no desenvolvimento de um módulo de interface a uma sonda lambda para monitorização de combustão em caldeiras de biomassa. Este módulo permitirá medir a concentração de oxigénio presente na saída das caldeiras, possibilitando o ajuste dinâmico dos parâmetros de combustão por forma a maximizar o seu rendimento e minimizar a emissão de gases poluentes. O módulo desenvolvido é de baixo custo e apresenta uma interface bastante simples, facilitando a sua incorporação em equipamentos já existentes. Os resultados obtidos revelaram-se consistentes com os valores teóricos fornecidos pelo fabricante da sonda utilizada, podendo assim concluir-se que o trabalho foi realizado com sucesso.
Resumo:
The Iota, Kappa and Lambda commercial carrageenans are rarely pure and normally contain varying amounts of the other types of carrageenans. The exact amount of impurity depends on the seaweed source and extraction procedure. Then, different analysis methods have been applied for determination of the main constituents of carrageenans because these three carrageenans are extensively used in food, cosmetic and pharmaceutical industry. The electrophoresis of these compounds proved that the carrageenans are constituted by sulfated polysaccharides. These compounds were characterized by colorimetric methods and was observed that the Lambda carrageenan shown the greater value (33.38%) of sulfate. These polymers were examined by means of 13C NMR spectroscopy and infrared spectra. The polysaccharides consisted mainly of units alternating of sulfated galactoses and anhydrogalactoses. The aim of the study was also to test the inflammatory action of these different polysaccharides. A suitable model of inflammation is acute sterile inflammation of the rat hind limb induced by carrageenan. Paw edema was induced by injecting carrageenans (κ, ι and λ) in saline into the hind paw of a male Wistar rats (175–200 g). The pathway to acute inflammation by carrageenan (kappa, iota and lambda) were expressed as time-edema dependence and measured by paw edema volume. For this purpose, was used an apparatus (pakymeter), which makes it possible to measure the inflammation (swelling of the rat foot) with sufficient accuracy. The results showed that κ-carrageenan (1%) have an edema of 3.7 mm and the paw edema increase was time and dose dependent; the ι-carrageenan (0.2%) caused an edema of 4 mm and the λ-carrageenan (1%) caused an edema of 3.6 mm. Other model was used in this study based in the inflammation of pleura for comparatives studies. Injection of carrageenans into the pleural cavity of rat induced an acute inflammatory response characterized by fluid accumulation in the pleural cavity, a large number of neutrophils and raised NO production. The levels of NO were measured by Griess reactive. The ι-carrageenan caused the greater inflammation, because it has high concentration of nitrite/nitrate (63.478 nmoles/rat), exudato volume (1.52 ml) and PMNs (4902 x 103 cells). Quantitative evaluation of inflammations of rats is a useful and important parameter for the evaluation of the efficacy of anti-inflammatory drugs
Resumo:
As one of the newest members in Articial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to the eld of anomaly detection. However, real-time detection, a new challenge to anomaly detection, requires improvement on the real-time capability of the DCA. To assess such capability, formal methods in the research of real-time systems can be employed. The ndings of the assessment can provide guideline for the future development of the algorithm. Therefore, in this paper we use an interval logic based method, named the Duration Calcu- lus (DC), to specify a simplied single-cell model of the DCA. Based on the DC specications with further induction, we nd that each individual cell in the DCA can perform its function as a detector in real-time. Since the DCA can be seen as many such cells operating in parallel, it is potentially capable of performing real-time detection. However, the analysis process of the standard DCA constricts its real-time capability. As a result, we conclude that the analysis process of the standard DCA should be replaced by a real-time analysis component, which can perform periodic analysis for the purpose of real-time detection.
Resumo:
In this thesis, I study the notion of program equivalences, i.e. proving that two programs can be used interchangeably without altering the overall observable behaviour. This definition is highly dependent on the contexts in which these programs can be used; does the context have exceptions, parallelism, etc... So proofs also need to be adapted according to the expressiveness of those contexts. This thesis presents on the pi-calculus – a concurrent programming language – under various typing constraints. Types allows us to impose different disciplines like forcing a sequential execution, or ensuring linearity, meaning an object can be used once. In each case, the bisimulation, a standard proof technique for the pi-calculus, needs to be adapted accordingly to obtain a suitable equivalence. We then test how using the modified bisimulations can be used to reason about a language with higher-order functions and references, which once translated into the pi-calculus satisfies the typing constraints.
Resumo:
A comparison of the oral health of elderly people with and without a cognitive handicap was assessed. The cognitive condition, the indices of decayed, missing, filled teeth (DMFT), decayed, filled roots (DFR), the need for dental treatment, the presence of plaque (P), calculus (C), the community periodontal index (CPI), the rate of periodontal attachment loss (PAL), edentulism, prosthetic use and the need for prosthetics were evaluated in a complex probabilistic sample by conglomerates of the elderly (65-74 years). PASW(r) 17.0 was used for the statistical analyses with correction for the design effect, applying the Mann Whitney and chi-square test with 95% reliability. A total of 736 elderly individuals were interviewed and examined. Those with cognitive impairment had higher average DMFT, DFR and lower average healthy sextant CPI, a lower prevalence of sextants without plaque/calculus, use of prosthetics and higher prevalence of edentulism and need for prosthetics. Elderly individuals with a cognitive handicap had poorer oral health.
Resumo:
The chemical amount values vary in a discrete or continuous form, depending on the approach used to describe the system. In classical sciences, the chemical amount is a property of the macroscopic system and, like any other property of the system, it varies continuously. This is neither inconsistent with the concept of indivisible particles forming the system, nor a mere approximation, but it is a sound concept which enables the use of differential calculus, for instance, in chemical thermodynamics. It is shown that the fundamental laws of chemistry are absolutely compatible to the continuous concept of the chemical amount.
Resumo:
The importance of medicinal plants and their use in industrial applications is increasing worldwide, especially in Brazil. Phyllanthus species, popularly known as quebra-pedras in Brazil, are used in folk medicine for treating urinary infections and renal calculus. This paper reports an authenticity study, based on herbal drugs from Phyllanthus species, involving commercial and authentic samples using spectroscopic techniques: FT-IR, ¹H HR-MAS NMR and ¹H NMR in solution, combined with chemometric analysis. The spectroscopic techniques evaluated, coupled with chemometric methods, have great potential in the investigation of complex matrices. Furthermore, several metabolites were identified by the NMR techniques.