16 resultados para optical logic
em Brock University, Canada
Resumo:
Polarized reflectance measurements of the quasi I-D charge-transfer salt (TMTSFh CI04 were carried out using a Martin-Puplett-type polarizing interferometer and a 3He refrigerator cryostat, at several temperatures between 0.45 K and 26 K, in the far infrared, in the 10 to 70 cm- 1 frequency range. Bis-tetramethyl-tetraselena-fulvalene perchlorate crystals, grown electrochemically and supplied by K. Behnia, of dimensions 2 to 4 by 0.4 by 0.2 mm, were assembled on a flat surface to form a mosaic of 1.5 by 3 mm. The needle shaped crystals were positioned parallel to each other along their long axis, which is the stacking direction of the planar TMTSF cations, exposing the ab plane face (parallel to which the sheets of CI04 anions are positioned). Reflectance measurements were performed with radiation polarized along the stacking direction in the sample. Measurements were carried out following either a fast (15-20 K per minute) or slow (0.1 K per minute) cooling of the sample. Slow cooling permits the anions to order near 24 K, and the sample is expected to be superconducting below 1.2 K, while fast cooling yields an insulating state at low temperatures. Upon the slow cooling the reflectance shows dependence with temperature and exhibits the 28 cm- 1 feature reported previously [1]. Thermoreflectance for both the 'slow' and 'fast' cooling of the sample calculated relative to the 26 K reflectance data indicates that the reflectance is temperature dependent, for the slow cooling case only. A low frequency edge in the absolute reflectance is assigned an electronic origin given its strong temperature dependence in the relaxed state. We attribute the peak in the absolute reflectance near 30 cm-1 to a phonon coupled to the electronic background. Both the low frequency edge and the 30 cm-1 feature are noted te shift towards higher frequcncy, upon cntering the superconducting state, by an amount of the order of the expected superconducting energy gap. Kramers-Kronig analysis was carried out to determine the optical conductivity for the slowly cooled sample from the measured reflectance. In order to do so the low frequency data was extrapolated to zero frequency using a Hagen-Ru bens behaviour, and the high frequency data was extended with the data of Cao et al. [2], and Kikuchi et al. [3]. The real part of the optical conductivity exhibits an asymmetric peak at 35 cm-1, and its background at lower frequencies seems to be losing spectral weight with lowering of the temperature, leading us to presume that a narrow peak is forming at even lower frequencies.
Resumo:
The perovskite crystal structure is host to many different materials from insulating to superconducting providing a diverse range of intrinsic character and complexity. A better fundamental description of these materials in terms of their electronic, optical and magnetic properties undoubtedly precedes an effective realization of their application potential. SmTiOa, a distorted perovskite has a strongly localized electronic structure and undergoes an antiferromagnetic transition at 50 K in its nominally stoichiometric form. Sr2Ru04 is a layered perovskite superconductor (ie. Tc % 1 K) bearing the same structure as the high-tem|>erature superconductor La2_xSrrCu04. Polarized reflectance measurements were carried out on both of these materials revealing several interesting features in the far-infrared range of the spectrum. In the case of SmTiOa, although insulating, evidence indicates the presence of a finite background optical conductivity. As the temperature is lowered through the ordering temperature a resonance feature appears to narrow and strengthen near 120 cm~^ A nearby phonon mode appears to also couple to this magnetic transition as revealed by a growing asymmetry in the optica] conductivity. Experiments on a doped sample with a greater itinerant character and lower Neel temperature = 40 K also indicate the presence of this strongly temperature dependent mode even at twice the ordering temperature. Although the mode appears to be sensitive to the magnetic transition it is unclear whether a magnon assignment is appropriate. At very least, evidence suggests an interesting interaction between magnetic and electronic excitations. Although Sr2Ru04 is highly anisotropic it is metallic in three-dimensions at low temperatures and reveals its coherent transport in an inter-plane Drude-like component to the highest temperatures measured (ie. 90 K). An extended Drude analysis is used to probe the frequency dependent scattering character revealing a peak in both the mass enhancement and scattering rate near 80 cm~* and 100 cm~* respectively. All of these experimental observations appear relatively consistent with a Fermi-liquid picture of charge transport. To supplement the optical measurements a resistivity station was set up with an event driven object oriented user interface. The program controls a Keithley Current Source, HP Nano-Voltmeter and Switching Unit as well as a LakeShore Temperature Controller in order to obtain a plot of the Resistivity as a function of temperature. The system allows for resistivity measurements ranging from 4 K to 290 K using an external probe or between 0.4 K to 295 K using a Helium - 3 Cryostat. Several materials of known resistivity have confirmed the system to be robust and capable of measuring metallic samples distinguishing features of several fiQ-cm.
Resumo:
I will argue that the doctrine of eternal recurrence of the same no better interprets cosmology than pink elephants interpret zoology. I will also argue that the eternal-reiurn-of-the-same doctrine as what Magnus calls "existential imperative" is without possibility of application and thus futile. To facilitate those arguments, the validity of the doctrine of the eternal recurrence of the same will be tested under distinct rubrics. Although each rubric will stand alone, one per chapter, as an evaluation of some specific aspect of eternal recurrence, the rubric sequence has been selected to accommodate the identification of what I shall be calling logic abridgments. The conclusions to be extracted from each rubric are grouped under the heading CONCLUSION and appear immediately following rubric ten. Then, or if, at the end of a rubric a reader is inclined to wonder which rubric or topic is next, and why, the answer can be found at the top of the following page. The question is usually answered in the very first sentence, but always answered in the first paragraph. The first rubric has been placed in order by chronological entitlement in that it deals with the evolution of the idea of eternal recurrence from the time of the ancient Greeks to Nietzsche's August, 1881 inspiration. This much-recommended technique is also known as starting at the beginning. Rubric 1 also deals with 20th. Century philosophers' assessments of the relationship between Nietzsche and ancient Greek thought. The only experience of E-R, Zarathustra's mountain vision, is second only because it sets the scene alluded to in following rubrics. The third rubric explores .ii?.ih T jc,i -I'w Nietzsche's evaluation of rationality so that his thought processes will be understood appropriately. The actual mechanism of E-R is tested in rubric four...The scientific proof Nietzsche assembled in support of E-R is assessed by contemporary philosophers in rubric five. E-R's function as an ethical imperative is debated in rubrics six and seven.. .The extent to which E-R fulfills its purpose in overcoming nihilism is measured against the comfort assured by major world religions in rubric eight. Whether E-R also serves as a redemption for revenge is questioned in rubric nine. Rubric ten assures that E-R refers to return of the identically same and not merely the similar. In addition to assemblage and evaluation of all ten rubrics, at the end of each rubric a brief recapitulation of its principal points concludes the chapter. In this essay I will assess the theoretical conditions under which the doctrine cannot be applicable and will show what contradictions and inconsistencies follow if the doctrine is taken to be operable. Harold Alderman in his book Nietzsche's Gift wrote, the "doctrine of eternal recurrence gives us a problem not in Platonic cosmology, but in Socratic selfreflection." ^ I will illustrate that the recurrence doctrine's cosmogony is unworkable and that if it were workable, it would negate self-reflection on the grounds that selfreflection cannot find its cause in eternal recurrence of the same. Thus, when the cosmology is shown to be impossible, any expected ensuing results or benefits will be rendered also impossible. The so-called "heaviest burden" will be exposed as complex, engrossing "what if speculations deserving no linkings to reality. To identify ^Alderman p. 84 abridgments of logic, contradictions and inconsistencies in Nietzsche's doctrine of eternal recurrence of the same, I. will examine the subject under the following schedule. In Chapter 1 the ancient origins of recurrence theories will be introduced. ..This chapter is intended to establish the boundaries within which the subsequent chapters, except Chapter 10, will be confined. Chapter 2, Zarathustra's vision of E-R, assesses the sections of Thus Spoke Zarathustra in which the phenomenon of recurrence of the same is reported. ..Nihilism as a psychological difficulty is introduced in this rubric, but that subject will be studied in detail in Chapter 8. In Chapter 2 the symbols of eternal recurrence of the same will be considered. Whether the recurrence image should be of a closed ring or as a coil will be of significance in many sections of my essay. I will argue that neither symbolic configuration can accommodate Nietzsche's supposed intention. Chapter 3 defends the description of E-R given by Zarathustra. Chapter 4, the cosmological mechanics of E-R, speculates on the seriousness with which Nietzsche might have intended the doctrine of eternal recurrence to be taken. My essay reports, and then assesses, the argument of those who suppose the doctrine to have been merely exploratory musings by Nietzsche on cosmological hypotheses...The cosmogony of E-R is examined. In Chapter 5, cosmological proofs tested, the proofs for Nietzsche's doctrine of return of the same are evaluated. This chapter features the position taken by Martin ' Heidegger. My essay suggests that while Heidegger's argument that recurrence of the same is a genuine cosmic agenda is admirable, it is not at all persuasive. Chapter 6, E-R is an ethical imperative, is in essence the reporting of a debate between two scholars regarding the possibility of an imperative in the doctrine of recurrence. Their debate polarizes the arguments I intend to develop. Chapter 7, does E-R of the same preclude alteration of attitudes, is a continuation of the debate presented in Chapter 6 with the focus shifted to the psychological from the cosmological aspects of eternal recurrence of the same. Chapter 8, Can E-R Overcome Nihilism?, is divided into two parts. In the first, nihilism as it applies to Nietzsche's theory is discussed. ..In part 2, the broader consequences, sources and definitions of nihilism are outlined. My essay argues that Nietzsche's doctrine is more nihilistic than are the world's major religions. Chapter 9, Is E-R a redemption for revenge?, examines the suggestion extracted from Thus Spoke Zarathustra that the doctrine of eternal recurrence is intended, among other purposes, as a redemption for mankind from the destructiveness of revenge. Chapter 10, E-R of the similar refuted, analyses a position that an element of chance can influence the doctrine of recurrence. This view appears to allow, not for recurrence of the same, but recurrence of the similar. A summary will recount briefly the various significant logic abridgments, contradictions, and inconsistencies associated with Nietzsche's doctrine of eternal recurrence of the same. In the 'conclusion' section of my essay my own opinions and observations will be assembled from the body of the essay.
Resumo:
This thesis explores the debate and issues regarding the status of visual ;,iferellces in the optical writings of Rene Descartes, George Berkeley and James 1. Gibson. It gathers arguments from across their works and synthesizes an account of visual depthperception that accurately reflects the larger, metaphysical implications of their philosophical theories. Chapters 1 and 2 address the Cartesian and Berkelean theories of depth-perception, respectively. For Descartes and Berkeley the debate can be put in the following way: How is it possible that we experience objects as appearing outside of us, at various distances, if objects appear inside of us, in the representations of the individual's mind? Thus, the Descartes-Berkeley component of the debate takes place exclusively within a representationalist setting. Representational theories of depthperception are rooted in the scientific discovery that objects project a merely twodimensional patchwork of forms on the retina. I call this the "flat image" problem. This poses the problem of depth in terms of a difference between two- and three-dimensional orders (i.e., a gap to be bridged by one inferential procedure or another). Chapter 3 addresses Gibson's ecological response to the debate. Gibson argues that the perceiver cannot be flattened out into a passive, two-dimensional sensory surface. Perception is possible precisely because the body and the environment already have depth. Accordingly, the problem cannot be reduced to a gap between two- and threedimensional givens, a gap crossed with a projective geometry. The crucial difference is not one of a dimensional degree. Chapter 3 explores this theme and attempts to excavate the empirical and philosophical suppositions that lead Descartes and Berkeley to their respective theories of indirect perception. Gibson argues that the notion of visual inference, which is necessary to substantiate representational theories of indirect perception, is highly problematic. To elucidate this point, the thesis steps into the representationalist tradition, in order to show that problems that arise within it demand a tum toward Gibson's information-based doctrine of ecological specificity (which is to say, the theory of direct perception). Chapter 3 concludes with a careful examination of Gibsonian affordallces as the sole objects of direct perceptual experience. The final section provides an account of affordances that locates the moving, perceiving body at the heart of the experience of depth; an experience which emerges in the dynamical structures that cross the body and the world.
Resumo:
/c-(BETS)2FeBr4 is the first antiferromagnetic organic superconductor with successive antiferromagnetic and superconducting transitions at Ta^=2.5K and Tc=l.lK respectively at ambient pressure. Polarized reflectance measurements were performed on three single crystalsamples of this material using a Briiker IFS66V/S Interferometer, and a Bolometer detector or an MCT detector, at seven temperatures between 4K and 300K, in both the far-infrared and mid-infrared frequency range. After the reflectance results were obtained, the Kramers-Kronig dispersion relation was apphed to determine the optical conductivity of /c-(BETS)2FeBr4 at these seven temperatures. Additionally, the optical conductivity spectra were fitted with a Drude/Lorentz Oscillator model in order to study the evolution of the optical conductivity with temperature along the a-axis and c-axis. The resistivities calculated from the Drude model parameters along the a-axis and c-axis agreed reasonably with previous transport measurements.
Resumo:
K-(BETS)2FeBr4 is a quasi-2D charge transfer organic metal with interesting electronic and magnetic properties. It undergoes a transition to an antiferromagnetic (AF) state at ambient pressure at the Neel temperature (T^^) = 2.5 K, as well as to a superconducting (SC) state at 1.1 K [1]. The temperature dependence of the electrical resistivity shows a small decrease at T;v indicating the resistivity drops as a result of the onset of the ordering of Fe'*''" spins. A sharp drop in the resistivity at 1.1 K is due to its superconducting transition. The temperature dependence of the susceptibility indicates an antiferromagnetic spin structure with the easy axis parallel to the a-axis. The specific heat at zero-field shows a large peak at about 2.4 K, which corresponds to the antiferromagnetic transition temperature (Tat) and no anomaly is observed around the superconducting transition temperature (1.1 K) demonstrating that the magnetically ordered state is not destroyed by the appearance of another phase transition (the superconducting transition) in the 7r-electron layers [1], [2]. This work presents an investigation of how the low frequency electromagnetic response is affected by the antiferromagnetic and superconducting states, as well as the onset of strong correlation. The location of the easy axis of three samples was determined and polarized thermal reflectance measurements of these «-(BETS)2FeBr4 samples oriented with their vertical axis along the a- and c axes were then carried out using a *He refrigerator cryostat and a Martin-Puplett type polarizing interferometer at various temperatures (T = 0.5 K, 1.4 K. 1.9 K, 2.8 K) above and below the superconducting state and/or antiferromagnetic state. Comparison of the SC state to the normal state along the o- and c-axes indicates a rising thermal reflectance at low frequencies (below 10 cm"' ) which may be a manifestation of the superconducting energy gap. A dip-Hke feature is detected at low frequencies (below 15 cm"') in the thermal reflectance plots which probe the antiferromagnetic state along the two axes, and may be due to the opening of a gap in the excitation spectrum as a result of the antiferromagnetism. In another set of experiments, thermal reflectance measurements carried out along the a- and c-axes at higher temperatures (10 K-80 K) show that the reflectivity decreases with increasing temperature to 60 K (the coherence temperature) above which it increases again. Comparison of the thermal reflectance plots along the a- and c-axes at higher temperatures reveals an anisotropy between these two axes. The Hagen-Rubens thermal reflectance plots corresponding to an average over the ac-plane were calculated using experimental hterature resistivity values. Comparison of the Hagen-Rubens plots with the experimental thermal reflectance along the a- and c-axes indicates that both exhibit the general trend of a decrease in thermal reflectance with increasing frequency, however the calculated Hagen-Rubens thermal reflectance at different temperatures is much lower than the experimental curves.
Resumo:
The far infrared reflectance of Sb2Te3 , Sbi.97Vo.o3Te3 and Sbi.94Cr .o6Te3 was measured near normal incidence at different temperatures (between 45K and 300K). The direct current resistivities of the above samples were also measured between the temperatures of 4K and 300K. Also Kramers Kronig (KK) analyses were performed on the reflectance spectra to obtain the optical conductivities. In the doped samples, it was observed that a phonon at 62cm-1 softens to about 55cm-1 on decreasing the temperature from 295K to 45K. Also, it was observed that the plasma frequency of the doped samples is independent of doping. The scattering rate for the vanadium doped sample was seen to be greater than that for the chromium doped sample despite the fact that vanadium impurity density is less than that of chromium. The Drude-Lorentz model fits to the KK optical conductivity show that the samples used in this work are conventional metals. Definitive measurements of the temperature dependence of the scattering rate across the ferromagnetic transition await equipment changes allowing measurements at low temperature using the mercury cadmium telluride (MCT) detector.
Resumo:
Using the Physical Vapor Transport method, single crystals of Cd2Re207 have been grown, and crystals of dimensions up to 8x6x2 mm have been achieved. X-ray diffraction from a single crystal of Cd2Re207 has showed the crystal growth in the (111) plane. Powder X-ray diffraction measurements were performed on ^^O and ^^O samples, however no difference was observed. Assigning the space group Fd3m to Cd2Re207 at room temperature and using structure factor analysis, the powder X-ray diffraction pattern of the sample was explained through systematic reflection absences. The temperatiure dependence of the resistivity measurement of ^^O has revealed two structural phase transitions at 120 and 200 K, and the superconducting transition at 1.0 K. Using Factor Group Analysis on three different structiures of Cd2Re207, the number of IR and Raman active phonon modes close to the Brillouin zone centre have been determined and the results have been compared to the temperature-dependence of the Raman shifts of ^^O and ^*0 samples. After scaling (via removing Bose-Einstein and Rayleigh scattering factors from the scattered light) all spectra, each spectrum was fitted with a number of Lorentzian peaks. The temperature-dependence of the FWHM and Raman shift of mode Eg, shows the effects of the two structurjil phase transitions above Tc. The absolute reflectance of Cd2Re207 - '^O single crystals in the far-infrared spectral region (7-700 cm~^) has been measured in the superconducting state (0.5 K), right above the superconducting state (1.5 K), and in the normal state (4.2 K). Thermal reflectance of the sample at 0.5 K and 1.5 K indicates a strong absorption feature close to 10 cm~^ in the superconducting state with a reference temperature of 4.2 K. By means of Kramers-Kronig analysis, the absolute reflectance was used to calculate the optical conductivity and dielectric function. The real part of optical conductivity shows five distinct active phonon modes at 44, 200, 300, 375, and 575 cm~' at all temperatures including a Drude-like behavior at low frequencies. The imaginary part of the calculated dielectric function indicates a mode softening of the mode 44 cm~' below Tc.
Resumo:
Modifications to the commercial hydride generator, manufactured by Spectrametrics, resulted in improved operating procedure and enhancement of the arsenic and germanium signals. Experiments with arsenic(III) and arsenic(V) showed that identical reiults could be produced from both oxidation states. However, since arsenic(V) is reduced more slowly than arsenic(III), peak areas and not peak heights must be measured when the arsine is immediately stripped from the system (approximately 5 seconds reaction). When the reduction is allowed to proceed for 20 seconds before the arsine is stripped, peak heights may be used. For a 200 ng/mL solution, the relative standard deviation is 2.8% for As(III) and 3.8% for As(V). The detection limit for arsenic using the modified system is 0.50 ng/mL. Studies performed on As(V) standards show that the interferences from 1000 mg/L of nickel(II), cobalt(II), iron(III), copper(II), cadmium(II), and zinc(II) can be eliminated with the aid of 5 M Hel and 3% L-cystine. Conditions for the reduction of germanium to the corresponding hydride were investigated. The effect of different concentrations of HCl on the reduction of germanium to the covalent hydride in aqueous media by means of NaBH 4 solutions was assessed. Results show that the best response is accomplished at a pH of 1.7. The use of buffer solutions was similarly characterized. In both cases, results showed that the element is best reduced when the final pH of the solution after reaction is almost neutral. In addition, a more sensitive method, which includes the use of (NH4)2S208' has been developed. A 20% increase in the germanium signal is registered when compared to the signal achieved with Hel alone. Moreover, under these conditions, reduction of germanium could be accomplished, even when the solution's pH is neutral. For a 100 ng/mL germanium standard the rsd is 3%. The detection limit for germanium in 0.05 M Hel medium (pH 1.7) is 0.10 ng/mL and 0.09 ng/mL when ammonium persulphate is used in conjunction with Hel. Interferences from 1000 mg/L of iron(III), copper(II), cobalt(II), nickel(II), cadmium(II), lead(II), mercury(II), aluminum(III), tin(IV), arsenic(III), arsenic(V) and zinc(II) were studied and characterized. In this regard, the use of (NH4)ZS20S and Hel at a pH of 1.7 proved to be a successful mixture in the sbppression of the interferences caused by iron, copper, aluminum, tin, lead, and arsenic. The method was applied to the determination of germanium in cherts and iron ores. In addition, experiments with tin(IV) showed that a 15% increase in the tin signal can be accomplished in the presence of 1 mL of (NH4)2S20S 10% (m/V).
Resumo:
The optical conductivity of the Anderson impurity mode l has been calculated by emp l oying the slave boson technique and an expansion in powers of l i N, where N is the d egeneracy o f the f electron level . This method has been used to find the effective mass of the conduction electrons for temperatures above and below the Kondo tempera ture. For low temperatures, the mass enhancement is f ound to be large while a t high t emperatures, the mass enhancement is sma ll. The conductivity i s f ound to be Drude like with frequency dependent effective mass and scattering time for low independent effective mass and temperatures and scattering time f requency for high t emperatures. The behavior of both the effective mass and the conductivity is in qualitative agreement with experimental r esul t s .
Resumo:
Temperature dependent resistivity, p, magnetic susceptibility, X, and far-infrared reflectance measurements were made on the low Tc superconductor UBe13. Two variants of UBe13 have been proposed, named 'L'- (for low Tc ) and 'H'-type (for high Tc ). Low temperature resistivity measurements confirmed that our sample was of H-type and that the transition temperature was at 0.9 K. This was further confirmed with the observation of this transition in the AC-susceptibility. Low temperature reflectance measurements showed a decrease in the reflectivity as the temperature is lowered from 300 to 10 K, which is in qualitative agreement with the increasing resistivity in this temperature range as temperature is lowered. No dramatic change in the reflectivity was observed between 10 and 0.75 K. A further decrease of the reflectance was observed for the temperature of 0.5 K. The calculated optical conductivity shows a broad minimum near 80 cm-1 below 45 K. Above 45 K the conductivity is relatively featureless. As the temperature is lowered, the optical conductivity decreases. The frequency dependent scattering rate was found to be flat for temperatures between 300 and 45 K. The development of a peak, at around 70 cm-1 was found for temperatures of 45 K and below. This peak has been associated with the energy at which the transition to a coherent state occurs from single impurity scattering in other heavy fermion systems. The frequency dependent mass enhancement coefficient was found to increase at low frequencies as the frequency decreases. Its' magnitude as frequency approaches zero also increased as the temperature decreased.
Resumo:
A system comprised of a Bomem interferometer and a LT3-110 Heli-Tran cryostat was set up to measure the reflectance of materials in the mid-infrared spectral region. Several tests were conducted to ensure the consistency and reliability of the system. Silicon and Chromium, two materials with well known optical properties were measured to test the accuracy of the system, and the results were found to be in good agreement with the literature. Reflectance measurements on pure SnTe and several Pb and Mn-doped alloys were carried out. These materials were chosen because they exhibit a strong plasma edge in the mid infrared region. The optical conductivity and several related optical parameters were calculated from the measured reflectance. Very low temperature measurements were carried out in the far-infrared on Sn9SMn2Te, and the results are indicative of a spin glass phase at 0.8 K. Resistivity measurements were made at room temperature. The resistivity values were found, as expected, to decrease with increasing carrier concentration and to increase with increasing manganese concentration.
Resumo:
The optical cross section of PS I in whole cells of Porphyridium cruentum (UTEX 161), held in either state 1 or state 2, was determined by measuring the change in absorbance at 820nm, an indication of P700+; the X-section of PS2 was determined by measuring the variable fluorescence, (Fv-Fo)/Fo, from PS2. Both cross-sections were 7 determined by fitting Poisson distribution equations to the light saturation curves obtained with single turnover laser flashes which varied in intensity from zero to a level where maximum yield occurred. Flash wavelengths of 574nm, 626nm, and 668nm were used, energy absorbed by PBS, by PBS and chla, and by chla respectively. There were two populations of both PSi and PS2. A fraction of PSi is associated with PBS, and a fraction of PS2 is free from PBS. On the transition S1->S2, only with PBS-absorbed energy (574nm) did the average X-section of PSi increase (27%), and that of PS2 decrease (40%). The fraction of PSi associated with PBS decreased, from 0.65 to 0.35, and the Xsection of this associated PS 1 increased, from 135±65 A2 to 400±300A2. The cross section of PS2 associated with PBS decreased from 150±50 A2 to 85±45 A2, but the fraction of PS2 associated with PBS, approximately 0.75, did not change significantly. The increase in PSi cross section could not be completely accounted for by postulating that several PSi are associated with a single PBS and that in the transition to state2, fewer PSi share the same number of PBS, resulting in a larger X-section. It is postulated that small changes occur in the attachment of PS2 to PBS causing energy to be diverted to the attached PSi. These experiments support neither the mobile-PBS model of state transitions nor that of spillover. From cross section changes there was no evidence of energy transfer from PS2 to PSi with 668nm light. The decrease in PS2 fluorescence which occurred at this wavelength cannot be explained by energy transfer; another explanation must be sought. No explanation was found for an observed decrease in PSi yield at high flash intensities.
Resumo:
RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.
Resumo:
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.