Principle and analysis of the moving-optical-wedge interferometer

A new type of interferometer, the moving-optical-wedge interferometer, is presented, and its principle and properties are studied. The novel interferometer consists of one beam splitter, two flat fixed mirrors, two fixed compensating plates, one fixed optical wedge, and one moving optical wedge. The optical path difference (OPD) as a function of the displacement of the moving optical wedge from the zero path difference position is accomplished by the straight reciprocating motion of the moving optical wedge. A large physical shift of the moving optical wedge corresponds to a very short OPD value of the new interferometer if the values of the wedge angle and the refractive index of the two optical wedges are given properly. The new interferometer is not so sensitive to the velocity variation of the moving optical wedge and the mechanical disturbances compared with the Michelson interferometer, and it is very applicable to low-spectral-resolution application for any wavenumber region from the far infrared down to the ultraviolet. (C) 2008 Optical Society of America.

Principle of the moving-mirror-pair interferometer and the tilt tolerance of the double moving mirror

A novel type of interferometer, the moving-mirror-pair interferometer, is presented, and its principle and properties are studied. The new interferometer is built with three flat mirrors, which include two flat moving mirrors fixed as a single moving part by a rigid structure and one flat fixed mirror. The optical path difference (OPD) is obtained by the straight reciprocating motion of the double moving mirror, and the OPD value is four times the physical shift value of the double moving mirror. The tilt tolerance of the double moving mirror of the novel interferometer is systematically analyzed by means of modulation depth and phase error. Where the square aperture is concerned, the formulas of the tilt tolerance were derived. Due to the novel interferometer's large OPD value and low cost, it is very applicable to the high-spectral-resolution Fourier-transform spectrometers for any wavenumber region from the far infrared to the ultraviolet. (C) 2008 Optical Society of America.

THE MODULATION PRINCIPLE OF VACUUM ON THE SUPERCONDUCTIVITY OF YBCO

By neutron diffraction and other experiments, we have found that oxygen ions in YBCO can diffuse out of the sample in vacuo at room and low temperature, while the T(c) decreases greatly. We have also found that if the vacuum-deoxidation process lasts for several days there will be a damping oscillation of T(c) with time (t), and higher vacuum corresponds to a greater amplitude and a shorter period. We tentatively think that T(c) should satisfy the following function: T(c0) is-proportional-to T(c)e(-betat)cos (omegat + phi); it may be due to the diffusion of oxygen and the saturation of the valence state.

1ST PRINCIPLE CALCULATIONS OF QUASI-PARTICLE ENERGIES FOR BAND STRUCTURES OF SI AND GAAS

We have applied the Green function theory in GW approximation to calculate the quasiparticle energies for semiconductors Si and GaAs. Good agreements of the calculated excitation energies and fundamental energy gaps with the experimental band structures were achieved. We obtained the calculated fundamental gaps of Si and GaAs to be 1.22 and 1.42 eV in comparison to the experimental values of 1.17 and 1.52 eV, respectively. Ab initio pseudopotential method has been used to generate basis wavefunctions and charge densities for calculating dielectric matrix elements and electron self-energies.

1ST PRINCIPLE CALCULATIONS OF QUASI-PARTICLE ENERGIES FOR BAND STRUCTURES OF SEMICONDUCTORS

We successfully applied the Green function theory in GW approximation to calculate the quasiparticle energies for semiconductors Si and GaAs. Ab initio pseudopotential method was adopted to generate basis wavefunctions and charge densities for calculating dielectric matrix elements and electron self-energies. To evaluate dynamical effects of screened interaction, GPP model was utilized to extend dieletric matrix elements from static results to finite frequencies. We give a full account of the theoretical background and the technical details for the first principle pseudopotential calculations of quasiparticle energies in semiconductors and insulators. Careful analyses are given for the effective and accurate evaluations of dielectric matrix elements and quasiparticle self-energies by using the symmetry properties of basis wavefunctions and eigenenergies. Good agreements between the calculated excitation energies and fundamental energy gaps and the experimental band structures were achieved.

2-DELTA-FUNCTION GENERALIZED PLASMA POLE MODEL FOR 1ST PRINCIPLE CALCULATIONS OF QUASI-PARTICLE ENERGIES IN MANY-ELECTRON SYSTEMS

To evaluate the dynamical effects of the screened interaction in the calculations of quasiparticle energies in many-electron systems a two-delta-function generalized plasma pole model (GPP) is introduced to simulate the dynamical dielectric function. The usual single delta-function GPP model has the drawback of over simplifications and for the crystals without the center of symmetry is inappropriate to describe the finite frequency behavior for dielectric function matrices. The discrete frequency summation method requires too much computation to achieve converged results since ab initio calculations of dielectric function matrices are to be carried out for many different frequencies. The two-delta GPP model is an optimization of the two approaches. We analyze the two-delta GPP model and propose a method to determine from the first principle calculations the amplitudes and effective frequencies of these delta-functions. Analytical solutions are found for the second order equations for the parameter matrices entering the model. This enables realistic applications of the method to the first principle quasiparticle calculations and makes the calculations truly adjustable parameter free.

The Use of Equality in Deduction and Knowledge Representation

This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used in the choice of canonical expressions. It is shown that with an appropriate better-name relation an important engineering reasoning technique, propagation of constraints, can be implemented as a special case of this substitution process. Special purpose algebraic simplification procedures are embedded such that they interact effectively with the equality system. An electrical circuit analysis system is developed which relies upon constraint propagation and algebraic simplification as primary reasoning techniques. The reasoning is guided by a better-name relation in which referentially transparent terms are preferred to referentially opaque ones. Multiple description of subcircuits are shown to interact strongly with the reasoning mechanism.

A Multiple-Context Equality-Based Reasoning System

Expert systems are too slow. This work attacks that problem by speeding up a useful system component that remembers facts and tracks down simple consequences. The redesigned component can assimilate new facts more quickly because it uses a compact, grammar-based internal representation to deal with whole classes of equivalent expressions at once. It can support faster hypothetical reasoning because it remembers the consequences of several assumption sets at once. The new design is targeted for situations in which many of the stored facts are equalities. The deductive machinery considered here supplements stored premises with simple new conclusions. The stored premises include permanently asserted facts and temporarily adopted assumptions. The new conclusions are derived by substituting equals for equals and using the properties of the logical connectives AND, Or, and NOT. The deductive system provides supporting premises for its derived conclusions. Reasoning that involves quantifiers is beyond the scope of its limited and automatic operation. The expert system of which the reasoning system is a component is expected to be responsible for overall control of reasoning.

Getting Constitutional Theory into Proportion: A Matter of Interpretation?

Gibbs, N., Getting Constitutional Theory into Proportion: A Matter of Interpretation?, Oxford Journal of Legal Studies, 27 (1), 175-191. RAE2008

A European Perspective on the Precautionary Principle, Food Safety and the Free Trade Imperative of the WTO

A European Perspective on the Precautionary Principle, Food Safety and the Free Trade Imperative of the WTO. European Law Review, Vol.27, No.2. April 2002, pp.138-155. RAE2008

Rethinking cognition as the sole basis for determining Criminal Liability under the Manifest Illegality Principle

Olusanya, Olaoluwa, Rethinking cognition as the sole basis for determining Criminal Liability under the Manifest Illegality Principle, In: 'Rethinking International Criminal Law: The Substantive Part', Europa Law Publishing, pp.67-87, 2007. RAE2008

The Principle of Double Effect and Terminal Sedation

Williams, Glenys, 'The Principle of Double Effect and Terminal Sedation', Medical Law Review, 9 (2001), pp.41-53 RAE2008