Operational specification for FCA using Z

We present an outline of a process by which operational software requirements specifications can be written for Formal Concept Analysis (FCA). The Z notation is used to specify the FCA model and the formal operations on it. We posit a novel approach whereby key features of Z and FCA can be integrated and put to work in contemporary software development, thus promoting operational specification as a useful application of conceptual structures.</p

In-Close, a fast algorithm for computing formal concepts

This paper presents an algorithm, called In-Close, that uses incremental closure and matrix searching to quickly compute all formal concepts in a formal context. In-Close is based, conceptually, on a well known algorithm called Close-By-One. The serial version of a recently published algorithm (Krajca, 2008) was shown to be in the order of 100 times faster than several well-known algorithms, and timings of other algorithms in reviews suggest that none of them are faster than Krajca. This paper compares In-Close to Krajca, discussing computational methods, data requirements and memory considerations. From experiments using several public data sets and random data, this paper shows that In-Close is in the order of 20 times faster than Krajca. In-Close is small, straightforward, requires no matrix pre-processing and is simple to implement.</p

Fatigue load spectra for upwind and downwind rotors

Effect of both alternating and mean load on the fatigue life of an upwind and downwind MOD-2 wind turbine system is presented. It was shown that the fatigue damage varies as the product of the stress range cubed and the maximum stress. Hence, the alternating flapwise load caused by tower shadow and wind gradient is an important factor in determining rotor blade life

Engaging new dimensions in nonlinear optical spectroscopy using auxiliary beams of light

By applying a sufficiently intense beam of off-resonant light, simultaneously with a conventional excitation source beam, the efficiencies of one- and two-photon absorption processes may be significantly modified. The nonlinear mechanism that is responsible, known as laser modified absorption, is fully described by a quantum electrodynamical analysis. The origin of the process, which involves stimulated forward Rayleigh-scattering of the auxiliary beam, relates to higher order terms which are secured by a time-dependent perturbation treatment. These terms, usually inconsequential when a single beam of light is present, become prominent under the secondary optical stimulus – even with levels of intensity that are moderate by today’s standards. Distinctive kinds of behaviour may be observed for chromophores fixed in a static arrangement, or for solution- or gas-phase molecules whose response is tempered by a rotational average of orientations. In each case the results exhibit an interplay of factors involving the beam polarisations and the molecular electronic response. Special attention is given to interesting metastable states that are symmetry forbidden by one- or two-photon absorption. Such states may be accessible, and thus become populated, on input of the auxiliary beam. For example, in the one-photon absorption case, terms arise that are more usually associated with three-photon processes, corresponding to very different selection rules. Other kinds of metastable state also arise in the two-photon process, and measuring the effect of applying the stimulus beam to absorbances of such character adds a new dimension to the information content of the associated spectroscopy. Finally, based on these novel forms of optical nonlinearity, there may be new possibilities for quantum non-demolition measurements

A case study of argumentation at undergraduate level in history

This article examines two essays by undergraduate students in the first year of study in History at a university in the UK. It also draws on documentary evidence from the department in question and interviews with the students themselves to paint a picture of the way argumentation operates at this level. While no firm conclusions can be drawn, the evidence suggests a department with a high degree of awareness of the importance of argument and argumentation in studying History; and students who are aware and articulate about the problem facing them in constructing essays in the discipline. Suggestions are made about induction into the epistemological and argumentative demands of undergraduate study

On the detection of characteristic optical emission from electronically coupled nanoemitters

Optical emission from an electronically coupled pair of nanoemitters is investigated, in a new theoretical development prompted by experimental work on oriented semiconductor polymer nanostructures. Three physically distinct mechanisms for photon emission by such a pair, positioned in the near-field, are identified: emission from a pairdelocalized exciton state, emission that engages electrodynamic coupling through quantum interference, and correlated photon emission from the two components of the pair. Each possibility is investigated, in detail, by examination of the emission signal via explicit coupling of the nanoemitter pair with a photodetector, enabling calculations to give predictive results in a form directly tailored for experiment. The analysis incorporates both near- and far-field properties (determined from the detector-pair displacement), so that the framework is applicable not only to a conventional remote detector, but also a near-field microscope setup. The results prove strongly dependent on geometry and selection rules. This work paves the way for a broader investigation of pairwise coupling effects in the optical emission from structured nanoemitter arrays

All-optical control of molecular fluorescence

We present a quantum electrodynamical procedure to demonstrate the all-optical control of molecular fluorescence. The effect is achieved on passage of an off-resonant laser beam through an optically activated system; the presence of a surface is not required. Following the derivation and analysis of the all-optical control mechanism, calculations are given to quantify the significant modification of spontaneous fluorescent emission with input laser irradiance. Specific results are given for molecules whose electronic spectra are dominated by transitions between three electronic levels, and suitable laser experimental methods are proposed. It is also shown that the phenomenon is sensitive to the handedness of circularly polarized throughput, producing a conferred form of optical activity