automatic construction of finite algebras

This paper deals withmodel generation for equational theories, i.e., automatically generating (finite) models of a given set of (logical) equations. Our method of finite model generation and a tool for automatic construction of finite algebras is described. Some examples are given to show the applications of our program. We argue that, the combination of model generators and theorem provers enables us to get a better understanding of logical theories. A brief comparison between our tool and other similar tools is also presented.

constructing finite algebras with falcon

The generation of models and counterexamples is an important form of reasoning. In this paper, we give a formal account of a system, called FALCON, for constructing finite algebras from given equational axioms. The abstract algorithms, as well as some implementation details and sample applications, are presented. The generation of finite models is viewed as a constraint satisfaction problem, with ground instances of the axioms as constraints. One feature of the system is that it employs a very simple technique, called the least number heuristic, to eliminate isomorphic (partial) models, thus reducing the size of the search space. The correctness of the heuristic is proved. Some experimental data are given to show the performance and applications of the system.

GAAS/GAALAS GRADED INDEX SEPARATE CONFINEMENT SINGLE QUANTUM-WELL SINGLE-MODE WAVE-GUIDE ELECTROABSORPTION LIGHT-MODULATOR

A GaAs/GaAlAs graded-index separate confinement single quantum well heterostructure single-mode ridge waveguide electroabsorption modulator was fabricated and investigated. For the modulator with a quantum well width of 100 angstrom and device length of 700-mu-m, an on/off ratio of 29.7 dB and estimated absorption insertion loss of 3 dB were obtained for TE polarised light with wavelength 8650 angstrom, and for TM polarisation the on/off ratio was 28.5 dB. With a switching voltage of 1 V, an on/off ratio of 15 dB was achieved. Photocurrent spectra exhibited a red shift of 600 angstrom of the absorption edge when the voltage applied to the PIN diode was varied from 0.5 to -7 V. The corresponding shift of the room temperature exciton peak energy was 96 meV.

Coupling coefficients of gratings with graded refractive index waveguides

In this paper, the effective coupling coefficient k(eff) and the self-coupling coefficient zeta(1) are introduced to describe the characteristic of gratings in a resonant situation when the effects of radiation and other partial waves coupling are considered. The dependence of these two coupling coefficients on grating tooth shapes and depths and the dimensions of graded refractive index (GRIN) waveguides is numerically analysed. The results show that the gratings with linear GRIN waveguides have the largest \k(eff)\. The possibility of realizing a complex-coupled DFB laser, even a pure gain or loss coupled DFB laser, employing only a real refractive index coupled grating is also discussed.

A Broadband Long-Wavelength Superluminescent Diode Based on Graded Composition Bulk InGaAs

A novel unselective regrowth buried heterostructure long-wavelength superluminescent diode （SLD） with a graded composition bulk InGaAs active region is developed by metalorganic vapor phase epitaxy （MOVPE）. At a 150mA injection current, the full width at half maximum of the emission spectrum of the SLD is about 72nm, ranging from 1602 to 1674nm. The emission spectrum is smooth and flat. The ripple of the spectrum is less than 0.3dB at any wavelength from 1550 to 1700nm. An output power of 4.3mW is obtained at a 200mA injection current under continuous-wave operation at room temperature. This device is suitable for the applications of light sources for gas detectors and L-band optical fiber communications.

Graded tensile-strained bulk InGaAs/InP superluminescent diode with very wide emission spectrum

A kind of novel broad-band superluminescent diodes (SLDs) using graded tensile-strained bulk InGaAs is developed. The graded tensile-strained bulk InGaAs is obtained by changing only group-III trimethyl-gallium source flow during low-pressure metal organic vapor-phase epitaxy. At the injection current of 200 mA, the fabricated SLDs with such structure demonstrate full-width at half-maximum spectral width of 106 nm and the output light power of 13.6 mW, respectively.

The main factor influencing the tensile properties of surface nano-crystallized graded materials

The improved mechanical properties of surface nano-crystallized graded materials produced by surface severe plastic deformation ((SPD)-P-2) are generally owing to the effects of the refined structure, work-hardened region and compressive residual stress. However, during the (SPD)-P-2 process, residual stress is produced simultaneously with work-hardened region, the individual contribution of these two factors to the improved mechanical properties remains unclear. Numerical simulations are carried out in order to answer this question. It is found that work hardening predominates in improving the yield strength and the ultimate tensile strength of the surface nano-crystallized graded materials, while the influence of the residual stress mainly emerges at the initial stage of deformation and decreases the apparent elastic modulus of the surface nano-crystallized graded materials, which agrees well with the experimental results. (C) 2010 Elsevier B.V. All rights reserved.

Nanoadhesion of a Power-Law Graded Elastic Material

The Dugdale-Barenblatt model is used to analyze the adhesion of graded elastic materials at the nanoscale with Young's modulus E varying with depth z according to a power law E = E-0(z/c(0))(k) (0 < k < 1) while Poisson's ratio v remains a constant, where E-0 is a referenced Young's modulus, k is the gradient exponent and c(0) is a characteristic length describing the variation rate of Young's modulus. We show that, when the size of a rigid punch becomes smaller than a critical length, the adhesive interface between the punch and the graded material detaches due to rupture with uniform stresses, rather than by crack propagation with stress concentration. The critical length can be reduced to the one for isotropic elastic materials only if the gradient exponent k vanishes.

Colloidal photonic crystals with a graded lattice-constant distribution

In this work, a gradient polystyrene colloidal photonic crystal was fabricated by annealing in a graded temperature field. The lattice constant of the gradient crystal gradually varied along the temperature-gradient direction. The positional bandgap wavelength as well as the attenuation of the bandgap wavelength could be tuned dependent on the position of the gradient colloidal crystal along the gradient direction because of the lattice-constant variation.