991 resultados para K-Valued Logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Irradiation of 4-aryl-4-alkylhex-5-en-2-ones (e.g. 1a) or 5-aryl-4-alkylhex-5-en-2-ones (e.g. 2a) adsorbed on montmorillonite K-10 in a commercial microwave oven furnishes the multialkylated naphthalenes (e.g. 3).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The structural state of K-feldspars in the quartzofeldspathic gneisses, charnockites, metapelites and pegmatites from the southern Kamataka, northern Tamil Nadu and southern Kerala high-grade regions of southern India has been characterized using petrographic and powder X-ray diffraction methods. The observed distribution pattern of structural state with a preponderance of disordered K-feldspar polymorphs in granulites compared to the ordered microclines in the amphibolite facies rocks is interpreted to reflect principally the varying H2O contents in the metamorphic-metasomatic fluids across metamorphic grade. The K-feldspars in the pegmatites of granitic derivation and in a pegmatite of inferred metamorphic origin also point to the important role of aqueous fluids in their structural state.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Cd(0.75)PS(3)A(0.5)(H2O)(y) [A = Na, K and Cs], synthesized by the ion-exchange intercalation reaction of the insulating layered CdPS3, exhibits interesting electrical properties. The electrical properties are strongly dependent on the extent of hydration of the alkali ion which resides in the interlamellar space. In the potassium and caesium ion-exchanged compounds, y = I, the lattice expansion is similar to 3 Angstrom and the electric response characteristic of a dielectric. In the as prepared A = Na compound, y = 2, the lattice expansion is 5.6 Angstrom, the compound is conducting with a DC conductance of 3 x 10(-5) S cm(-1) at 300 K. Cd0.75PS3Na0.5(H2O)(y), y = 2, on evacuation or on heating looses water, reversibly, to form a y = 1 phase with electrical properties similar to that of the K and Cs ion exchange intercalation compounds.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present experimental x-ray-absorption spectra at the oxygen and 3d transition-metal K edges of LaFeO3 and LaCoO3. We interpret the experimental results in terms of detailed theoretical calculations based on multiple-scattering theory. Along with providing an understanding of the origin of various experimental features, we investigate the effects of structural distortions and the core-hole potential in determining the experimental spectral shape. The results indicate that the core-hole potential as well as many-body effects within the valence electrons do not have any strong effect on the spectra suggesting that the spectral features can be directly interpreted in terms of the electronic structure of such compounds.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We describe the synthesis and structural characterization of new layered bismuth titanates, A[Bi3Ti4O13] and A[Bi3PbTi5O16]for A = K, Cs, corresponding to n = 4 and 5 members of the Dion-Jacobson series of layered perovskites of the general formula, A[A'n-1BnO3n+1]. These materials have been prepared by solid state reaction of the constituents containing excess alkali, which is required to suppress the formation of competitive Aurivillius phases. Unlike the isostructural niobates and niobium titanates of the same series, the new phases reported here are spontaneously hydrated-a feature which could make them potentially useful as photocatalysts for water splitting reaction. On hydration of the potassium compounds, the c axis expands by ca. 2 Angstrom and loses its doubling [for example, the tetragonal lattice parameters of K[Bi3Ti4O13] and its dihydrate are respectively a = 3900(1)Angstrom c 37.57(2) Angstrom; a 3.885(1) Angstrom, c = 20.82(4) Angstrom]; surprisingly, the cesium analogues do not show a similar change on hydration.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Quinones play a vital role in the process of electron transfer in bacterial photosynthetic reaction centers. It is of interest to investigate the photochemical reactions involving quinones with a view to elucidating the structure-function relationships in the biological processes. Resonance Raman spectra of radical anions and the time-resolved resonance Raman spectra of vitamin K-1 (model compound for Q(A) in Rhodopseudomonas viridis, a bacterial photosynthetic reception center) are presented. The photochemical intermediates of vitamin K-1, viz. radical anion, ketyl radical and o-quinone methide have been identified. The vibrational assignments of all these intermediates are made on the basis of comparison with our earlier TR3 studies on radical anions of naphthoquinone and menaquinone. (C) 1999 Elsevier Science B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The present investigation calculates the surface tension and adsorption functions of the Fe-S, Fe-N, and Fe-S-N melts at 1823 K using the modified form of Butler's equations and the derived values of the surface interaction parameters of the systems. The calculated values are found to be in good agreement with those of the experimental data of the systems. The present analysis indicates similar adsorption behavior of sulfur for the Fe-S and Fe-S-N systems at 1823 K. Although a linear adsorption behavior is observed in the Fe-N system, an inverse relationship in the adsorption behavior exists between sulur and nitrogen in the Fe-S-N system.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A chimeric channel, 4N/1, was generated from two outwardly rectifying K+ channels by linking the N-terminal cytoplasmic domain of hKv1.4 (N terminus ball and chain of hKv1.4) with the transmembrane body of hKvl.l (Delta 78N1 construct of hKvl.l). The recombinant channel has properties similar to the six transmembrane inward rectifiers and opens on hyperpolarization with a threshold of activation at -90 mV. Outward currents are seen on depolarization provided the channel is first exposed to a hyperpolarizing pulse of -100mV or more. Hyperpolarization at and beyond -130mV provides evidence of channel deactivation. Delta 78N1 does not show inward currents on hyperpolarization but does open on depolarizing from -80mV with characteristics similar to native hKvl.l. The outward currents seen in both Delta 78N1 and 4N/1 inactivate slowly at rates consistent with C-type inactivation. The inward rectification of the 4N/1 chimera is consistent with the inactivation gating mechanism. This implies that the addition of the N-terminus from hKv1.4 to hKvl.l shifts channel activation to hyperpolarizing potentials. These results suggest a mechanism involving the N-terminal cytoplasmic domain for conversion of outward rectifiers to inward rectifiers. (C) 1999 Lippincott Williams & Wilkins.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A framework based on the notion of "conflict-tolerance" was proposed in as a compositional methodology for developing and reasoning about systems that comprise multiple independent controllers. A central notion in this framework is that of a "conflict-tolerant" specification for a controller. In this work we propose a way of defining conflict-tolerant real-time specifications in Metric Interval Temporal Logic (MITL). We call our logic CT-MITL for Conflict-Tolerant MITL. We then give a clock optimal "delay-then-extend" construction for building a timed transition system for monitoring past-MITL formulas. We show how this monitoring transition system can be used to solve the associated verification and synthesis problems for CT-MITL.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Filtering methods are explored for removing noise from data while preserving sharp edges that many indicate a trend shift in gas turbine measurements. Linear filters are found to be have problems with removing noise while preserving features in the signal. The nonlinear hybrid median filter is found to accurately reproduce the root signal from noisy data. Simulated faulty data and fault-free gas path measurement data are passed through median filters and health residuals for the data set are created. The health residual is a scalar norm of the gas path measurement deltas and is used to partition the faulty engine from the healthy engine using fuzzy sets. The fuzzy detection system is developed and tested with noisy data and with filtered data. It is found from tests with simulated fault-free and faulty data that fuzzy trend shift detection based on filtered data is very accurate with no false alarms and negligible missed alarms.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A fuzzy logic intelligent system is developed for gas-turbine fault isolation. The gas path measurements used for fault isolation are exhaust gas temperature, low and high rotor speed, and fuel flow. These four measurements are also called the cockpit parameters and are typically found in almost all older and newer jet engines. The fuzzy logic system uses rules developed from a model of performance influence coefficients to isolate engine faults while accounting for uncertainty in gas path measurements. It automates the reasoning process of an experienced powerplant engineer. Tests with simulated data show that the fuzzy system isolates faults with an accuracy of 89% with only the four cockpit measurements. However, if additional pressure and temperature probes between the compressors and before the burner, which are often found in newer jet engines, are considered, the fault isolation accuracy rises to as high as 98%. In addition, the additional sensors are useful in keeping the fault isolation system robust as quality of the measured data deteriorates.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A fuzzy logic system is developed for helicopter rotor system fault isolation. Inputs to the fuzzy logic system are measurement deviations of blade bending and torsion response and vibration from a "good" undamaged helicopter rotor. The rotor system measurements used are flap and lag bending tip deflections, elastic twist deflection at the tip, and three forces and three moments at the rotor hub. The fuzzy logic system uses rules developed from an aeroelastic model of the helicopter rotor with implanted faults to isolate the fault while accounting for uncertainty in the measurements. The faults modeled include moisture absorption, loss of trim mass, damaged lag damper, damaged pitch control system, misadjusted pitch link, and damaged flap. Tests with simulated data show that the fuzzy system isolates rotor system faults with an accuracy of about 90-100%. Furthermore, the fuzzy system is robust and gives excellent results, even when some measurements are not available. A rule-based expert system based on similar rules from the aeroelastic model performs much more poorly than the fuzzy system in the presence of high levels of uncertainty.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-order logic that reduce the problem to a series of ground-level satisfiability problems. R. Jeroslow introduced a partial instantiation method of this kind that differs radically from the standard resolution-based methods. This paper lays the theoretical groundwork for an extension of his method that is general enough and efficient enough for general logic programming with indefinite clauses. In particular we improve Jeroslow's approach by (1) extending it to logic with functions, (2) accelerating it through the use of satisfiers, as introduced by Gallo and Rago, and (3) simplifying it to obtain further speedup. We provide a similar development for a "dual" partial instantiation approach defined by Hooker and suggest a primal-dual strategy. We prove correctness of the primal and dual algorithms for full first-order logic with functions, as well as termination on unsatisfiable formulas. We also report some preliminary computational results.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Thermodynamic properties of Li3N dissolved in the molten LiCl salt at 900 K were explored using electrochemical methods. It was difficult to determine precisely the decomposition voltage of Li3N dissolved in the molten salt by cyclic voltammetry. The oxidation wave of N3– ion could not be located with high accuracy. However, the lithium activity of the Pb-Li alloy in equilibrium with the molten salt containing dissolved Li3N under nitrogen atmosphere could be measured electrochemically with high accuracy using the Li/Li + reference electrode. Under the conditions used in this study, the potential of the Li-Pb electrode is equal to the decomposition voltage of Li3N. The activity of Li3N in molten LiCl was determined for anionic fractions of N3– ranging from xN3– = 10–4 to 0.028. The nitride ion concentration in the salt was determined by chemical titration. The activity coefficient of the Li3N at high dilution was found to be very low, around 10–4. The activity coefficient increases sharply with composition and has a value of 0.25 at xN3– = 0.028. ©2001 The Electrochemical Society. All rights reserved.