991 resultados para K-Valued Logic
Resumo:
Phase relations in the system Ca-Ti-O have been established by equilibration of several samples at 1200 K for prolonged periods and identification of phases in quenched samples by optical and scanning electron microscopy, XRD and EDS. Samples representing 20 compositions in the ternary system were analyzed. There was negligible solid solubility of Ca in the phases along the binary Ti-O, and of Ti in CaO. Four ternary oxides were identified: CaTiO3, Ca4Ti3O10 and Ca3Ti2O7 containing tetravalent titanium, and CaTi2O4 containing trivalent titanium. Tie-lines link calcium titanite (CaTi2O4) with the three calcium titanates (CaTiO3, Ca4Ti3O10 and Ca3Ti2O7), CaO, oxygen excess TiO1+delta and stoichiometric TiO. Tie-lines connect CaTiO3 with TiO2-x, Magneli phases TinO2n-1 (28 >= n >= 4), Ti3O5, Ti2O3 and TiO1+delta. CaO was found to coexist with TiO, and Ti-O solid solutions alpha and beta. The phase diagram is useful for understanding the mechanisms and kinetics of direct calciothermic reduction of TiO2 to metal and electrochemical reduction of TiO2 using graphite anode and molten CaCl2 electrolyte.
Resumo:
Birds represent the most diverse extant tetrapod clade, with ca. 10,000 extant species, and the timing of the crown avian radiation remains hotly debated. The fossil record supports a primarily Cenozoic radiation of crown birds, whereas molecular divergence dating analyses generally imply that this radiation was well underway during the Cretaceous. Furthermore, substantial differences have been noted between published divergence estimates. These have been variously attributed to clock model, calibration regime, and gene type. One underappreciated phenomenon is that disparity between fossil ages and molecular dates tends to be proportionally greater for shallower nodes in the avian Tree of Life. Here, we explore potential drivers of disparity in avian divergence dates through a set of analyses applying various calibration strategies and coding methods to a mitochondrial genome dataset and an 18-gene nuclear dataset, both sampled across 72 taxa. Our analyses support the occurrence of two deep divergences (i.e., the Palaeognathae/Neognathae split and the Galloanserae/Neoaves split) well within the Cretaceous, followed by a rapid radiation of Neoaves near the K-Pg boundary. However, 95% highest posterior density intervals for most basal divergences in Neoaves cross the boundary, and we emphasize that, barring unreasonably strict prior distributions, distinguishing between a rapid Early Paleocene radiation and a Late Cretaceous radiation may be beyond the resolving power of currently favored divergence dating methods. In contrast to recent observations for placental mammals, constraining all divergences within Neoaves to occur in the Cenozoic does not result in unreasonably high inferred substitution rates. Comparisons of nuclear DNA (nDNA) versus mitochondrial DNA (mtDNA) datasets and NT- versus RY-coded mitochondrial data reveal patterns of disparity that are consistent with substitution model misspecifications that result in tree compression/tree extension artifacts, which may explain some discordance between previous divergence estimates based on different sequence types. Comparisons of fully calibrated and nominally calibrated trees support a correlation between body mass and apparent dating error. Overall, our results are consistent with (but do not require) a Paleogene radiation for most major clades of crown birds.
Resumo:
In this paper the static noise margin for SET (single electron transistor) logic is defined and compact models for the noise margin are developed by making use of the MIB (Mahapatra-Ionescu-Banerjee) model. The variation of the noise margin with temperature and background charge is also studied. A chain of SET inverters is simulated to validate the definition of various logic levels (like VIH, VOH, etc.) and noise margin. Finally the noise immunity of SET logic is compared with current CMOS logic.
Resumo:
Although Pb(Zr1-XTiX)O-3 solid solution is the cornerstone of the piezoelectric ceramics, there is no information in the literature on thermodynamic activities of the component phases in the solid solution. Using inter-crystalline ion exchange equilibria between Pb(Zr1-XTiX)O-3 solid solution with cubic perovskite structure and (Zr1-YTiY)O-2 solid solutions with monoclinic and tetragonal structures, activities of PbTiO3 and PbZrO3 in the perovskite solid solution have been derived at 1373 K using the modified Gibbs-Duhem integration technique of Jacob and Jeffes. Tie-lines from the cubic solid solution are skewed towards the ZrO2 corner. Activities in the zirconia-rich (Zr1-YTiY)02 solid solutions are taken from a recent emf study. The results for the perovskite solid solution at 1373 K can be represented by a sub-regular solution model: Delta G(E.M) (J mol(-1)) = X-PbTiO3 X-PbZrO3(5280X(PbTiO3) - 1980X(PbZrO3)) where Delta G(E.M) is the excess Gibbs energy of mixing of the cubic solid solution and Xi represents the mole fraction of component i. There is a significant positive deviation from ideality for PbTiO3-rich compositions and mild negative deviation near the PbZrO3 corner. The cubic solid solution is intrinsically stable against composition fluctuations at temperatures down to 840 K. The results contrast sharply with the recent calorimetric data on enthalpy of mixing which signal instability of the cubic perovskite solid solution. (C) 2007 Elsevier B.V. All rights reserved.
Resumo:
The Ball-Larus path-profiling algorithm is an efficient technique to collect acyclic path frequencies of a program. However, longer paths -those extending across loop iterations - describe the runtime behaviour of programs better. We generalize the Ball-Larus profiling algorithm for profiling k-iteration paths - paths that can span up to to k iterations of a loop. We show that it is possible to number suchk-iteration paths perfectly, thus allowing for an efficient profiling algorithm for such longer paths. We also describe a scheme for mixed-mode profiling: profiling different parts of a procedure with different path lengths. Experimental results show that k-iteration profiling is realistic.
Resumo:
The tie-lines representing the inter-crystalline ion exchange equilibria between the NiCr2O4-NiAl2O4 spinet solid solution and Cr2O3-Al2O3 corundum solid solution are determined by electron microprobe andEDAX pointcountanalysis of the oxide phases equilibrated with metallic Ni at 1373 K. The component activities in the spinet solid solution are derived from the tie-lines and thermodynamic data for Cr2O3-Al2O3 solid solution available in the literature. The Gibbs energy of mixing of the spinet solid solution calculated from the experimental data is discussed in relation to the values derived from the cation distribution models which assume random mixing of cations on both tetrahedral and octahedral sites. Positive deviation from the models is observed indicating significant positive enthalpy contribution arising form the size mismatch between Al+3 and Ni+2 ions on the tetrahedral site and Al+3, Ni+2 and Cr+3 on the octahedral site. Variation of the oxygen potential for threephase equilibrium involving metallic nickel, spinet solid solution and corundum solid solution is computed as a function of composition of the solid solutions at 1373 K. The oxygen potential exhibits a minimum at aluminum cationic fraction eta(Al)/(eta(Al) + eta(Cr)) = 0.524 in the oxide solid solutions.
Resumo:
The evolutionary success of beetles and numerous other terrestrial insects is generally attributed to co-radiation with flowering plants but most studies have focused on herbivorous or pollinating insects. Non-herbivores represent a significant proportion of beetle diversity yet potential factors that influence their diversification have been largely unexamined. In the present study, we examine the factors driving diversification within the Scarabaeidae, a speciose beetle family with a range of both herbivorous and non-herbivorous ecologies. In particular, it has been long debated whether the key event in the evolution of dung beetles (Scarabaeidae: Scarabaeinae) was an adaptation to feeding on dinosaur or mammalian dung. Here we present molecular evidence to show that the origin of dung beetles occurred in the middle of the Cretaceous, likely in association with dinosaur dung, but more surprisingly the timing is consistent with the rise of the angiosperms. We hypothesize that the switch in dinosaur diet to incorporate more nutritious and less fibrous angiosperm foliage provided a palatable dung source that ultimately created a new niche for diversification. Given the well-accepted mass extinction of non-avian dinosaurs at the Cretaceous-Paleogene boundary, we examine a potential co-extinction of dung beetles due to the loss of an important evolutionary resource, i.e., dinosaur dung. The biogeography of dung beetles is also examined to explore the previously proposed "out of Africa" hypothesis. Given the inferred age of Scarabaeinae as originating in the Lower Cretaceous, the major radiation of dung feeders prior to the Cenomanian, and the early divergence of both African and Gondwanan lineages, we hypothesise that that faunal exchange between Africa and Gondwanaland occurred during the earliest evolution of the Scarabaeinae. Therefore we propose that both Gondwanan vicariance and dispersal of African lineages is responsible for present day distribution of scarabaeine dung beetles and provide examples.
Resumo:
The k-means algorithm is an extremely popular technique for clustering data. One of the major limitations of the k-means is that the time to cluster a given dataset D is linear in the number of clusters, k. In this paper, we employ height balanced trees to address this issue. Specifically, we make two major contributions, (a) we propose an algorithm, RACK (acronym for RApid Clustering using k-means), which takes time favorably comparable with the fastest known existing techniques, and (b) we prove an expected bound on the quality of clustering achieved using RACK. Our experimental results on large datasets strongly suggest that RACK is competitive with the k-means algorithm in terms of quality of clustering, while taking significantly less time.
Resumo:
Hard Custom, Hard Dance: Social Organisation, (Un)Differentiation and Notions of Power in a Tabiteuean Community, Southern Kiribati is an ethnographic study of a village community. This work analyses social organisation on the island of Tabiteuea in the Micronesian state of Kiribati, examining the intertwining of hierarchical and egalitarian traits, meanwhile bringing a new perspective to scholarly discussions of social differentiation by introducing the concept of undifferentiation to describe non-hierarchical social forms and practices. Particular attention is paid to local ideas concerning symbolic power, abstractly understood as the potency for social reproduction, but also examined in one of its forms; authority understood as the right to speak. The workings of social differentiation and undifferentiation in the village are specifically studied in two contexts connected by local notions of power: the meetinghouse institution (te maneaba) and traditional dancing (te mwaie). This dissertation is based on 11 months of anthropological fieldwork in 1999‒2000 in Kiribati and Fiji, with an emphasis on participant observation and the collection of oral tradition (narratives and songs). The questions are approached through three distinct but interrelated topics: (i) A key narrative of the community ‒ the story of an ancestor without descendants ‒ is presented and discussed, along with other narratives. (ii) The Kiribati meetinghouse institution, te maneaba, is considered in terms of oral tradition as well as present-day practices and customs. (iii) Kiribati dancing (te mwaie) is examined through a discussion of competing dance groups, followed by an extended case study of four dance events. In the course of this work the community of close to four hundred inhabitants is depicted as constructed primarily of clans and households, but also of churches, work co-operatives and dance groups, but also as a significant and valued social unit in itself, and a part of the wider island district. In these partly cross-cutting and overlapping social matrices, people are alternatingly organised by the distinct values and logic of differentiation and undifferentiation. At different levels of social integration and in different modes of social and discursive practice, there are heightened moments of differentiation, followed by active undifferentiation. The central notions concerning power and authority to emerge are, firstly, that in order to be valued and utilised, power needs to be controlled. Secondly, power is not allowed to centralize in the hands of one person or group for any long period of time. Thirdly, out of the permanent reach of people, power/authority is always, on the one hand, left outside the factual community and, on the other, vested in community, the social whole. Several forms of differentiation and undifferentiation emerge, but these appear to be systematically related. Social differentiation building on typically Austronesian complementary differences (such as male:female, elder:younger, autochtonous:allotochtonous) is valued, even if eventually restricted, whereas differentiation based on non-complementary differences (such as monetary wealth or level of education) is generally resisted, and/or is subsumed by the complementary distinctions. The concomitant forms of undifferentiation are likewise hierarchically organised. On the level of the society as a whole, undifferentiation means circumscribing and ultimately withholding social hierarchy. Potential hierarchy is both based on a combination of valued complementary differences between social groups and individuals, but also limited by virtue of the undoing of these differences; for example, in the dissolution of seniority (elder-younger) and gender (male-female) into sameness. Like the suspension of hierarchy, undifferentiation as transformation requires the recognition of pre-existing difference and does not mean devaluing the difference. This form of undifferentiation is ultimately encompassed by the first one, as the processes of the differentiation, whether transformed or not, are always halted. Finally, undifferentiation can mean the prevention of non-complementary differences between social groups or individuals. This form of undifferentiation, like the differentiation it works on, takes place on a lower level of societal ideology, as both the differences and their prevention are always encompassed by the complementary differences and their undoing. It is concluded that Southern Kiribati society be seen as a combination of a severely limited and decentralised hierarchy (differentiation) and of a tightly conditional and contextual (intra-category) equality (undifferentiation), and that it is distinctly characterised by an enduring tension between these contradicting social forms and cultural notions. With reference to the local notion of hardness used to characterise custom on this particular island as well as dance in general, it is argued in this work that in this Tabiteuean community some forms of differentiation are valued though strictly delimited or even undone, whereas other forms of differentiation are a perceived as a threat to community, necessitating pre-emptive imposition of undifferentiation. Power, though sought after and displayed - particularly in dancing - must always remain controlled.
Resumo:
A constant switching frequency current error space vector-based hysteresis controller for two-level voltage source inverter-fed induction motor (IM) drives is proposed in this study. The proposed controller is capable of driving the IM in the entire speed range extending to the six-step mode. The proposed controller uses the parabolic boundary, reported earlier, for vector selection in a sector, but uses simple, fast and self-adaptive sector identification logic for sector change detection in the entire modulation range. This new scheme detects the sector change using the change in direction of current error along the axes jA, jB and jC. Most of the previous schemes use an outer boundary for sector change detection. So the current error goes outside the boundary six times during sector change, in one cycle,, introducing additional fifth and seventh harmonic components in phase current. This may cause sixth harmonic torque pulsations in the motor and spread in the harmonic spectrum of phase voltage. The proposed new scheme detects the sector change fast and accurately eliminating the chance of introducing additional fifth and seventh harmonic components in phase current and provides harmonic spectrum of phase voltage, which exactly matches with that of constant switching frequency voltage-controlled space vector pulse width modulation (VC-SVPWM)-based two-level inverter-fed drives.
Resumo:
This thesis studies the nature and logic of collective doxastic attitudes, or what is referred to in ordinary language as "group beliefs". Beliefs and other intentional attitudes are attributed to groups and collections of people, and such attributions are used to explain and predict the actions of groups. The thesis develops an understanding of group beliefs as voluntarily adopted views or acceptances rather than as ordinary beliefs. Such an understanding can provide new answers to questions concerning collective knowledge and justification of group beliefs, and it allows developing modal logics with collective doxastic and epistemic notions. The thesis consists of six articles. The first three articles are philosophical studies concerned with the nature of group beliefs. The last three articles are logical studies that aim at developing proof-theoretical calculi for reasoning about collective doxastic attitudes.
Resumo:
Hole-doped perovskites such as La1-xCaxMnO3 present special magnetic and magnetotransport properties, and it is commonly accepted that the local atomic structure around Mn ions plays a crucial role in determining these peculiar features. Therefore experimental techniques directly probing the local atomic structure, like x-ray absorption spectroscopy (XAS), have been widely exploited to deeply understand the physics of these compounds. Quantitative XAS analysis usually concerns the extended region [extended x-ray absorption fine structure (EXAFS)] of the absorption spectra. The near-edge region [x-ray absorption near-edge spectroscopy (XANES)] of XAS spectra can provide detailed complementary information on the electronic structure and local atomic topology around the absorber. However, the complexity of the XANES analysis usually prevents a quantitative understanding of the data. This work exploits the recently developed MXAN code to achieve a quantitative structural refinement of the Mn K-edge XANES of LaMnO3 and CaMnO3 compounds; they are the end compounds of the doped manganite series LaxCa1-xMnO3. The results derived from the EXAFS and XANES analyses are in good agreement, demonstrating that a quantitative picture of the local structure can be obtained from XANES in these crystalline compounds. Moreover, the quantitative XANES analysis provides topological information not directly achievable from EXAFS data analysis. This work demonstrates that combining the analysis of extended and near-edge regions of Mn K-edge XAS spectra could provide a complete and accurate description of Mn local atomic environment in these compounds.
Resumo:
1. 1. Colon lysosome were separated by differential centrifugation and lysosomes with three different densities, probably arising from the three layers of colon, were found. 2. 2. Hypervitaminosis A resulted in a significant increase in prothrombin time which was restored to normal on vitamin K1 (20) supplementation. 3. 3. There was no appreciable change in the liver storage of vitamin A between hypervitaminotic rats receiving vitamin A and those rats receiving vitamin K1 (20) in addition to excess vitamin A. 4. 4. The colon lysosomes were unstable in hypervitaminosis A, showing an increased free activity of lysosomal enzymes like β-glucuronidase, acid phosphatase and arylsulphatase. This increase of free activity of lysoso3al enzymes in hypervitaminosis A could be prevented by oral supplementation of vitamin K1 (20). 5. 5. In "mild" vitamin A deficiency the release of arylsulphatase was significantly retarded, whereas the decreased free acid phosphatase activity was not significant. 6. 6. "Severe" vitamin A deficiency resulted in a significantly increased free activity of arylsulphatase and acid phosphatase, thus showing the instability of the lysosomal particles in this condition. 7. 7. Addition of vitamin K1 (20) to the incubation medium in vitro could prevent the vitamin A-induced release of arylsulphatase from liver lysosomes, whereas α-tocopherol was inactive. 8. 8. Retinol and retinoic acid were nearly twice as active as ethanol in the release of arylsulphatase from lysosomes in vitro, whereas 5,6-monoepoxyretinoic acid was inactive. 9. 9. The role of vitamins A and K on the lysosomal membrane structure is discussed.