134 resultados para Formal logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The regiochemistry of aza-annulation of enaminones with alpha,beta-unsaturated acid chlorides bearing hydrogen atoms on the gamma-carbon is reversed when triethylamine is used as mediator. When the reaction was carried out at lower temperatures as 3-acyl beta,gamma-unsaturated compound could be isolated which cyclised to the desired product under thermal or basic conditions. The nature of this intermediate strongly suggests that a vinyl ketene is the active acylating agent. (C) 1997 Elsevier Science Ltd.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we compare merging operators in possibilistic logic. We rst propose an approach to evaluating the discriminating power of a merging operator. After that, we analyze the computational complexity of existing possibilistic merging operators. Finally, we consider the compatibility of possibilistic merging operators with propositional merging operators.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Discrimination of different species in various target scopes within a single sensing platform can provide many advantages such as simplicity, rapidness, and cost effectiveness. Here we design a three-input colorimetric logic gate based on the aggregation and anti-aggregation of gold nanoparticles (Au NPs) for the sensing of melamine, cysteine, and Hg2+. The concept takes advantages of the highly specific coordination and ligand replacement reactions between melamine, cysteine, Hg2+, and Au NPs. Different outputs are obtained with the combinational inputs in the logic gates, which can serve as a reference to discriminate different analytes within a single sensing platform. Furthermore, besides the intrinsic sensitivity and selectivity of Au NPs to melamine-like compounds, the “INH” gates of melamine/cysteine and melamine/Hg2+ in this logic system can be employed for sensitive and selective detections of cysteine and Hg2+, respectively.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The recently-discovered ability of small logical molecules to recognize edges is exploited to achieve outline drawing from binary templates. Outlines of arbitrary curvature, several colours and thicknesses down to 1 mm are drawn in around 30 min or less by employing a common laboratory two-colour ultraviolet lamp. The outlines and the light dose-driven XOR logic with fluorescence output or ‘off-on-off’ action which is observed in the irradiated regions are modelled by combining foundational principles of photochemistry, acid-base neutralization and diffusion.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The fluorescence of molecules 1-3 is enhanced by factors of up to 67 in the presence of magnesium and calcium ions in neutral water which allows the selective monitoring of magnesium ions under simulated physiological conditions and permits the construction of truth tables with OR logic when these molecules are viewed as ion input-photon output molecuIar devices.