The design and construction of the CAD-1 airship

The background history, design philosophy and Computer application as related to the design of the envelope shape, stress calculations and flight trajectories of the CAD-1 airship, now under construction by Canadian Airship Development Corporation are reported. A three-phase proposal for future development of larger cargo carrying airships is included

Implications of the isotope effects on the magnetization, magnetic torque and susceptibility

We analyze the magnetization, magnetic torque and susceptibility data of La2-xSrxCu(16,18)O4 and YBa2(63,65)CuO7-x near Tc in terms of the universal 3D-XY scaling relations. It is shown that the isotope effect on Tc mirrors that on the anisotropy. Invoking the generic behavior of the anisotropy the doping dependence of the isotope effects on the critical properties, including Tc, correlation lengths and magnetic penetration depths are traced back to a change of the mobile carrier concentration.Comment: 5 pages, 3 figure

Evaluation of atomic constants for optical radiation, volume 1

Atomic constants for optical radiation are discussed which include transition probabilities, line strengths, and oscillator strengths for both dipole and quadrupole transitions, as well as the associated matrix elements needed for line broadening calculations. Atomic constants were computed for a wide selection of elements and lines. An existing computer program was used, with modifications to include, in an approximate manner, the effect of equivalent electrons, and to enable reordering and restructuring of the output for publication. This program is suitable for fast, low cost computation of the optical constants, using the Coulomb approximation formalism for LS coupling

Evidence for charged critical behavior in the pyrochlore superconductor RbOs2O6

We analyze magnetic penetration depth data of the recently discovered superconducting pyrochlore oxide RbOs2O6. Our results strongly suggest that in RbOs2O6 charged critical fuctuations dominate the temperature dependence of the magnetic penetration depth near Tc. This is in contrast to the mean-field behavior observed in conventional superconductors and the uncharged critical behavior found in nearly optimally doped cuprate superconductors. However, this finding agrees with the theoretical predictions for charged criticality and the charged criticality observed in underdoped YBa2Cu3O6.59.Comment: 5 pages, 4 figure

Three years of routine Raman lidar measurements of tropospheric aerosols: Backscattering, extinction, and residual layer height

We have performed a three-year series of routine lidar measurements at preselected times. The measurements were performed between 1 December 1997, and 30 November 2000, at Kühlungsborn, Germany (54°07' N, 11°46' E). Using a Rayleigh/Mie/Raman lidar system, we measured the aerosol backscatter coefficients at three wavelengths and the extinction coefficient at one wavelength. The present data analysis focuses on after-sunset Raman measurements obtained on cloud-free days. Aerosol backscatter profiles are available for altitudes above 100 m, while the majority of the extinction measurements has been restricted to heights above the residual layer. The residual layer shows an annual cycle with its maximum height in summer (2000 m) and minimum height in winter (850 m). The backscatter coefficients in the residual layer were found to be about 10 times higher than above. The mean aerosol optical depth above the residual layer and below 5 km is 0.3(±1.0) x10^-2 in summer, and 1.5(±1.0) x10^-2 in winter, which almost is negligible compared to values measured in during daytime in the planetary boundary layer. A cluster analysis of the backward trajectories yielded two major directions of air mass origin above the residual layer and 4 major directions inside. A marked difference between the aerosol properties dependent on the air mass origin could be found for air masses originating from the west and travelling at high wind speeds. Comparing the measured spectral dependence of the backscatter coefficients with data from the Global Aerosol Data Set, we found a general agreement, but only a few conclusions with respect to the aerosol type could be drawn due to the high variability of the measured backscatter coefficients

Finite-size and pressure effects in YBa_2Cu_4O_8 probed by magnetic field penetration depth measurements

We explore the combined pressure and finite-size effects on the in-plane penetration depth \lambda_{ab} in YBa_2Cu_4O_8. Even though this cuprate is stoichiometric the finite-size scaling analysis of \lambda_{ab}^{-2}(T) uncovers the granular nature and reveals domains with nanoscale size L_{c} along the c-axis. L_{c} ranges from 33.2 Angstrom to 28.9 Angstrom at pressures from 0.5 to 11.5 kbar. These observations raise serious doubts on the existence of a phase coherent macroscopic superconducting state in cuprate superconductors.Comment: 7 pages, 6 figure

Automated Termination Proofs for Logic Programs by Term Rewriting

There are two kinds of approaches for termination analysis of logic programs: "transformational" and "direct" ones. Direct approaches prove termination directly on the basis of the logic program. Transformational approaches transform a logic program into a term rewrite system (TRS) and then analyze termination of the resulting TRS instead. Thus, transformational approaches make all methods previously developed for TRSs available for logic programs as well. However, the applicability of most existing transformations is quite restricted, as they can only be used for certain subclasses of logic programs. (Most of them are restricted to well-moded programs.) In this paper we improve these transformations such that they become applicable for any definite logic program. To simulate the behavior of logic programs by TRSs, we slightly modify the notion of rewriting by permitting infinite terms. We show that our transformation results in TRSs which are indeed suitable for automated termination analysis. In contrast to most other methods for termination of logic programs, our technique is also sound for logic programming without occur check, which is typically used in practice. We implemented our approach in the termination prover AProVE and successfully evaluated it on a large collection of examples.Comment: 49 page