991 resultados para K-Valued Logic
Resumo:
Solid solutions of the formula, A2–xLa2Ti3–xNbxO10(A = K, Rb), exist for the range 0[less-than-or-eq]x[less-than-or-eq]1.0, bridging n= 3 members of the Ruddlesden–Popper series (A2La2Ti3O10) and the Dion–Jacobson series (ALa2Ti2NbO10). For 0[less-than-or-eq]x[less-than-or-eq]0.75, the phases possess body-centred structures characteristic of the Ruddlesden–Popper phases, while the x= 1 members are isostructural with KCa2Nb3O10(A = K) and CsCa2Nb3O10(A = Rb). Protonated derivatives, H2–xLa2Ti3–xNbxO10, which are prepared by ion exchange, retain the structural difference of the parent phases. A difference in the Brønsted acidity of the protonated derivatives revealed by intercalation experiments with organic bases seems to be related to this structural difference.
Resumo:
Kocks' formalism for analysing steady state deformation data for the case where Cottrell-Stokes law is valid is extended to incorporate possible back stresses from solution and/or precipitation hardening, and dependence of pre-exponential factor on the applied stress. A simple graphical procedure for exploiting these equations is demonstrated by analyzing tensile steady state data for a type 316 austentic stainless steel for the temperature range 1023 to 1223 K. In this instance, the computed back stress values turned out to be negative, a physically meaningless result. This shows that for SS 316, deformation in this temperature regime can not be interpreted in terms of a mechanism that obeys Cottrell-Stokes law.
Resumo:
Ferrites of the formula MoxFe3-xO4, prepared by a soft-chemistry route, show mixed valence states of both iron and molybdenum cations. Mössbauer studies show that Fe2+ and Fe3+ ions are present on both the A and B sites, giving Fe an average oxidation state between 2+ and 3+. Molybdenum is present in the 3+ and the 4+ states on the B sites. The presence of Mo in the 3+ state has been established by determining the Mo3+-O distance (2.2 Å), for the first time, by Mo K-EXAFS. The mixed valence of Fe on both the A and B sites and of Mo on the B sites is responsible for the fast electron transfer between the cations. All the Mössbauer parameters including the line width show a marked change at a composition (x ? 0.3) above which the concentration of Fe2+A increases rapidly.
Resumo:
In order to further develop the logic of service, value creation, value co-creation and value have to be formally and rigorously defined, so that the nature, content and locus of value and the roles of service providers and customers in value creation can be unambiguously assessed. In the present article, following the underpinning logic of value-in-use, it is demonstrated that in order to achieve this, value creation is best defined as the customer’s creation of value-in-use. The analysis shows that the firm’s and customer’s processes and activities can be divided into a provider sphere, closed for the customer, and a customer sphere, closed for the firm. Value creation occurs in the customer sphere, whereas firms in the provider sphere facilitate value creation by producing resources and processes which represent potential value or expected value-in use for their customers. By getting access to the closed customer sphere, firms can create a joint value sphere and engage in customers’ value creation as co-creators of value with them. This approach establishes a theoretically sound foundation for understanding value creation in service logic, and enables meaningful managerial implications, for example as to what is required for co-creation of value, and also further theoretical elaborations.
Resumo:
Kinetics of random sequential, irreversible multilayer deposition of macromolecules of two different sizes on a one dimensional infinite lattice is analyzed at the mean field level. A formal solution for the corresponding rate equation is obtained. The Jamming limits and the distribution of gaps of exact sizes are discussed. In the absence of screening, the jamming limits are shown to be the same for all the layers. A detailed analysis for the components differing by one monomer unit is presented. The small and large time behaviors and the dependence of the individual jamming limits of the k mers and (k−1) mers on k and the rate parameters are analyzed.
Resumo:
An associative memory with parallel architecture is presented. The neurons are modelled by perceptrons having only binary, rather than continuous valued input. To store m elements each having n features, m neurons each with n connections are needed. The n features are coded as an n-bit binary vector. The weights of the n connections that store the n features of an element has only two values -1 and 1 corresponding to the absence or presence of a feature. This makes the learning very simple and straightforward. For an input corrupted by binary noise, the associative memory indicates the element that is closest (in terms of Hamming distance) to the noisy input. In the case where the noisy input is equidistant from two or more stored vectors, the associative memory indicates two or more elements simultaneously. From some simple experiments performed on the human memory and also on the associative memory, it can be concluded that the associative memory presented in this paper is in some respect more akin to a human memory than a Hopfield model.
Resumo:
Coastal lagoons are complex ecosystems exhibiting a high degree of non-linearity in the distribution and exchange of nutrients dissolved in the water column due to their spatio-temporal characteristics. This factor has a direct influence on the concentrations of chlorophyll-a, an indicator of the primary productivity in the water bodies as lakes and lagoons. Moreover the seasonal variability in the characteristics of large-scale basins further contributes to the uncertainties in the data on the physico-chemical and biological characteristics of the lagoons. Considering the above, modelling the distributions of the nutrients with respect to the chlorophyll-concentrations, hence requires an effective approach which will appropriately account for the non-linearity of the ecosystem as well as the uncertainties in the available data. In the present investigation, fuzzy logic was used to develop a new model of the primary production for Pulicat lagoon, Southeast coast of India. Multiple regression analysis revealed that the concentrations of chlorophyll-a in the lagoon was highly influenced by the dissolved concentrations of nitrate, nitrites and phosphorous to different extents over different seasons and years. A high degree of agreement was obtained between the actual field values and those predicted by the new fuzzy model (d = 0.881 to 0.788) for the years 2005 and 2006, illustrating the efficiency of the model in predicting the values of chlorophyll-a in the lagoon.
Resumo:
The increasing variability in device leakage has made the design of keepers for wide OR structures a challenging task. The conventional feedback keepers (CONV) can no longer improve the performance of wide dynamic gates for the future technologies. In this paper, we propose an adaptive keeper technique called rate sensing keeper (RSK) that enables faster switching and tracks the variation across different process corners. It can switch upto 1.9x faster (for 20 legs) than CONV and can scale upto 32 legs as against 20 legs for CONV in a 130-nm 1.2-V process. The delay tracking is within 8% across the different process corners. We demonstrate the circuit operation of RSK using a 32 x 8 register file implemented in an industrial 130-nm 1.2-V CMOS process. The performance of individual dynamic logic gates are also evaluated on chip for various keeper techniques. We show that the RSK technique gives superior performance compared to the other alternatives such as Conditional Keeper (CKP) and current mirror-based keeper (LCR).
Resumo:
Layered perovskite oxides of the formula ACa~,La,Nb3-,Ti,010 (A = K, Rb, Cs and 0 < x d 2) have been prepared. The members adopt the structures of the parent ACazNb3010. Interlayer alkali cations in the niobium-titanium oxide series can be ion-exchanged with Li+, Na+, NH4+, or H+ to give new derivatives. Intercalation of the protonated derivatives with organic bases reveals that the Bronsted acidity of the solid solution series, HC~ ~ , L ~ ,N~ ~ , T ~ ,dOep~eOnd, s on the titanium content. While the x = 1 member (HCaLaNbzTiOlo) is nearly as acidic as the parent HCazNb3010, the x = 2 member (HLazNbTizOlo) is a weak acid hardly intercalating organic bases with pKa - 11.3. The variation of acidity is probably due to an ordering of Nb/Ti atoms in the triple octahedral perovskite slabs, [Ca~,La,Nb~,Ti,0~0], such that protons are attached to NbO6 octahedra in the x = 1 member and to Ti06 octahedra in the x = 2 member.
Resumo:
Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas) of Indian philosophy, namely, Nyaya and Vaisesika. The generally accepted definition of Indian logic over the ages is the science which ascertains valid knowledge either by means of six senses or by means of the five members of the syllogism. In other words, perception and inference constitute the subject matter of logic. The science of logic evolved in India through three ages: the ancient, the medieval and the modern, spanning almost thirty centuries. Advances in Computer Science, in particular, in Artificial Intelligence have got researchers in these areas interested in the basic problems of language, logic and cognition in the past three decades. In the 1980s, Artificial Intelligence has evolved into knowledge-based and intelligent system design, and the knowledge base and inference engine have become standard subsystems of an intelligent system. One of the important issues in the design of such systems is knowledge acquisition from humans who are experts in a branch of learning (such as medicine or law) and transferring that knowledge to a computing system. The second important issue in such systems is the validation of the knowledge base of the system i.e. ensuring that the knowledge is complete and consistent. It is in this context that comparative study of Indian logic with recent theories of logic, language and knowledge engineering will help the computer scientist understand the deeper implications of the terms and concepts he is currently using and attempting to develop.
Resumo:
Formal specification is vital to the development of distributed real-time systems as these systems are inherently complex and safety-critical. It is widely acknowledged that formal specification and automatic analysis of specifications can significantly increase system reliability. Although a number of specification techniques for real-time systems have been reported in the literature, most of these formalisms do not adequately address to the constraints that the aspects of 'distribution' and 'real-time' impose on specifications. Further, an automatic verification tool is necessary to reduce human errors in the reasoning process. In this regard, this paper is an attempt towards the development of a novel executable specification language for distributed real-time systems. First, we give a precise characterization of the syntax and semantics of DL. Subsequently, we discuss the problems of model checking, automatic verification of satisfiability of DL specifications, and testing conformance of event traces with DL specifications. Effective solutions to these problems are presented as extensions to the classical first-order tableau algorithm. The use of the proposed framework is illustrated by specifying a sample problem.
Resumo:
In this paper the question of the extent to which truncated heavy tailed random vectors, taking values in a Banach space, retain the characteristic features of heavy tailed random vectors, is answered from the point of view of the central limit theorem.
Resumo:
Highly textured, as-deposited La0.6Pb0.4MnO3 thin films have been grown on LaAlO3 by pulsed laser deposition. The films are ferromagnetic metals below 300 K. Giant negative magnetoresistance of over 40% is observed at 300 K at 6 T.
Resumo:
Uniaxial compression tests were conducted on Ti-6Al-4V specimens in the strain-rate range df 0.001 to 1 s(-1) and temperature range of 298 to 673 K. The stress-strain curves exhibited a peak flow stress followed by flow softening. Up to 523 K, the specimens cracked catastrophically after the flow softening started. Adiabatic shear banding was observed in this regime. The fracture surface exhibited both mode I and II fracture features. The state of stress existing in a compression test specimen when bulging occurs is responsible for this fracture. The instabilities observed in the present tests are classified as ''geometric'' in nature and are state-of-stress dependant, unlike the ''intrinsic'' instabilities, which are dependant on the dynamic constitutive behavior of the material.