975 resultados para first-order logic


Relevância:

100.00% 100.00%

Publicador:

Resumo:

We present a detailed numerical study on the effects of adding quenched impurities to a three dimensional system which in the pure case undergoes a strong first order phase transition (specifically, the ferromagnetic/paramagnetic transition of the site-diluted four states Potts model). We can state that the transition remains first-order in the presence of quenched disorder (a small amount of it) but it turns out to be second order as more impurities are added. A tricritical point, which is studied by means of Finite-Size Scaling, separates the first-order and second-order parts of the critical line. The results were made possible by a new definition of the disorder average that avoids the diverging-variance probability distributions that arise using the standard methodology. We also made use of a recently proposed microcanonical Monte Carlo method in which entropy, instead of free energy, is the basic quantity.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Stability of the first-order neutral delay equation x’ (t) + ax’ (t – τ) = bx(t) + cx(t – τ) with complex coefficients is studied, by analyzing the existence of stability switches.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Starting from the idea that European elections cannot be considered as purely second order elections, the author gathers some proposals in order to encourage a more effective electoral process. According to the author, if political leaders adopt these reforms, it could transform gradually the European elections into genuine ‘first-order supranational elections’.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Starting from the idea that European elections cannot be considered as purely second order elections, the author gathers some proposals in order to encourage a more effective electoral process. According to the author, if political leaders adopt these reforms, it could transform gradually the European elections into genuine ‘first-order supranational elections’.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

"UILU-ENG 79 1726."

Relevância:

100.00% 100.00%

Publicador:

Resumo:

"From Proceedings of the American Academy of Arts and Sciences, v.38, no. 9, Oct. 1902."

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the refinement calculus for logic programs to include higher-order programming capabilities in specifications and programs, such as procedures as terms and lambda abstraction. We use a higher-order type and term system to describe programs, and provide a semantics for the higher-order language and refinement. The calculus is illustrated by refinement examples.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The influence of the fiber geometry on the point-by-point inscription of fiber Bragg gratings using a femtosecond laser is highlighted. Fiber Bragg gratings with high spectral quality and strong first-order Bragg resonances within the C-band are achieved by optimizing the inscription process. Large birefringence (1.2×10-4) and high degree of polarizationdependent index modulation are observed in these gratings. Potential applications of these gratings in resonators are further illustrated.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The fabrication of sub-micron periodic structures beyond diffraction limit is a major motivation for the present paper. We describe the fabrication of the periodic structure of 25 mm long with a pitch size of 260 nm which is less than a third of the wavelength used. This is the smallest reported period of the periodic structure inscribed by direct point-by-point method. A prototype of the add-drop filter, which utilizes such gratings, was demonstrated in one stage fabrication process of femtosecond inscription, in the bulk fused silica.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The fabrication of sub-micron periodic structures beyond diffraction limit is a major motivation for the present paper. We describe the fabrication of the periodic structure of 25 mm long with a pitch size of 260 nm which is less than a third of the wavelength used. This is the smallest reported period of the periodic structure inscribed by direct point-by-point method. A prototype of the add-drop filter, which utilizes such gratings, was demonstrated in one stage fabrication process of femtosecond inscription, in the bulk fused silica.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

An analytical first order calculation of the impact of Gaussian white noise on a novel single Mach-Zehnder Interferometer demodulation scheme for DQPSK reveals a constant Q factor ratio to the conventional scheme.