Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Response programming in dementia of the Alzheimer type: A kinematic analysis

Although planning is important for the functioning of patients with dementia of the Alzheimer Type (DAT), little is known about response programming in DAT. This study used a cueing paradigm coupled with quantitative kinematic analysis to document the preparation and execution of movements made by a group of 12 DAT patients and their age and sex matched controls. Participants connected a series of targets placed upon a WACOM SD420 graphics tablet, in response to the pattern of illumination of a set of light emitting diodes (LEDs). In one condition, participants could programme the upcoming movement, whilst in another they were forced to reprogramme this movement on-line (i.e. they were not provided with advance information about the location of the upcoming target). DAT patients were found to have programming deficits, taking longer to initiate movements; particularly in the absence of cues. While problems spontaneously programming a movement might cause a greater reliance upon on-line guidance, when both groups were required to guide the movement on-line, DAT patients continued to show slower and less efficient movements implying declining sensori-motor function; these differences were not simply due to strategy or medication status. (C) 1997 Elsevier Science Ltd.

Isotopically resolved (B)over-tilde<-(X)over-tilde electronic spectrum of Ag-3 and calculation of its Jahn-Teller effects

Ag-3 was produced by pulsed-nozzle laser vaporisation and jet-cooled in a Ne supersonic expansion. One-color resonant two-photon ionisation (R2PI) spectra of the (B) over tilde(2) E '' <-- (X) over tilde(2) E' transition of Ag-3 were separately measured for all four isotopic combinations. Long vibrational progressions are observed, involving clearly resolved bands at low energy, merging into a dense but resolvable spectrum up to 1000 cm(-1) above the origin. Both the ground (X) over tilde(2) E' and excited (B) over tilde(2) E '' states of Ag-3 are susceptible to Jahn-Teller distortion along the degenerate e' bending coordinate. The Jahn-Teller analysis includes both linear and quadratic terms, simultaneously with the spin-orbit coupling. Following extensive parameter fitting, the absorption spectrum is calculated, and bands assigned. The spin-orbit splitting is quenched below the localization energy, but becomes observable approximate to 300 cm(-1) above the origin.

Twisted quantum affine superalgebra U-q[sl(2/2)((2))], U-q[osp(2/2)] invariant R-matrices and a new integrable electronic model

We describe the twisted affine superalgebra sl(2\2)((2)) and its quantized version U-q[sl(2\2)((2))]. We investigate the tensor product representation of the four-dimensional grade star representation for the fixed-point sub superalgebra U-q[osp(2\2)]. We work out the tensor product decomposition explicitly and find that the decomposition is not completely reducible. Associated with this four-dimensional grade star representation we derive two U-q[osp(2\2)] invariant R-matrices: one of them corresponds to U-q [sl(2\2)(2)] and the other to U-q [osp(2\2)((1))]. Using the R-matrix for U-q[sl(2\2)((2))], we construct a new U-q[osp(2\2)] invariant strongly correlated electronic model, which is integrable in one dimension. Interestingly this model reduces in the q = 1 limit, to the one proposed by Essler et al which has a larger sl(2\2) symmetry.

Spin-orbit mixing and nephelauxetic effects in the electronic spectra of nickel(II)-encapsulating complexes involving nitrogen and sulfur donors

A study of spin-orbit mixing and nephelauxetic effects in the electronic spectra of nickel(II)-encapsulating complexes involving mixed nitrogen and sulfur donors is reported. As the number of sulfur donors is systematically varied through the series [Ni(N6-xSx)](2+) (x = 0-6), the spin-forbidden (3)A(2)g --> E-1(g) and (3)A(2g) --> (1)A(1g) transitions undergo a considerable reduction in energy whereas the spin-allowed transitions are relatively unchanged. The [Ni(diAMN(6)sar)](2+) and [Ni(AMN(5)Ssar)](2+) complexes exhibit an unusual band shape for the (3)A(2g) --> T-3(2g) transition which is shown to arise from spin-orbit mixing of the E spin-orbit levels associated with the E-1(g) and T-3(2g) states. A significant differential nephelauxetic effect also arises from the covalency differences between the t(2g) and e(g) orbitals with the result that no single set of Racah B and C interelectron repulsion parameters adequately fit the observed spectra. Using a differential covalency ligand-field model, the spectral transitions are successfully reproduced with three independent variables corresponding to 10Dq and the covalency parameters f(t) and f(e), associated with the t(2g) and e(g) orbitals, respectively. The small decrease in f(t) from unity is largely attributed to central-field covalency effects whereas the dramatic reduction in f(e) with increasing number of sulfur donors is a direct consequence of the increased metal-ligand covalency associated with the sulfur donors. Covalency differences between the t(2g) and e(g) orbitals also result in larger 10Dq values than those obtained simply from the energy of the (3)A(2g) --> T-3(2g) spin-allowed transition.

Geometric and electronic information from the spectroscopy of six-coordinate copper(II) compounds

The ground and excited state geometry of the six-coordinate copper(II) ion is examined in detail using the CuF64- and Cu(H2O)(6)(2+) complexes as examples. A variety of spectroscopic techniques are used to illustrate the relations between the geometric and electronic properties of these complexes through the characterization of their potential energy surfaces.