New and used temporal models: An issue of time

TheSpecial Issue on Applications of Temporal Models raises many issues of time: What are the important properties of time? How can time be best represented? How can one reason about time-dependent properties? What are the important directions of temporal research? This introductory piece very briefly surveys the current wide variety of temporal models, temporal reasoning methods, and applications to time-varying phenomena. Promising areas of investigation such as the verification of concurrent systems, knowledge-base representation methods, and dealing with theFrame Problem pass in fleeting review. Brief introductions to each of the works in the volume close the section.     

Modular synchronization in distributed, multiversion databases:version control and concurrency control

A version control mechanism is proposed that enhances the modularity and extensibility of multiversion concurrency control algorithms. The multiversion algorithms are decoupled into two components: version control and concurrency control. This permits modular development of multiversion protocols and simplifies the task of proving the correctness of these protocols. A set of procedures for version control is described that defines the interface with the version control component. It is shown that the same interface can be used by the database actions of both two-phase locking and time-stamp concurrency control protocols to access multiversion data. An interesting feature of the framework is that the execution of read-only transactions becomes completely independent of the underlying concurrency control implementation. Unlike other multiversion algorithms, read-only transactions in this scheme do not modify any version-related information, and therefore do not interfere with the execution of read-write transactions. The extension of the multiversion algorithms to a distributed environment becomes very simple     

Early detection of ageing in solder joints through laser probe thermal analysis of the peltier effect

We have recently developed an optical contactless method for testing the quality of solder joints during accelerated thermal cycling ageing processes.¹ The method was based upon the measurement of the dynamic thermal behaviour of the joint to short bursts of Joule heating. It has proved to be efficient in revealing the formation of cracks at the lead-solder interface. We present a method to evaluate ageing at a much earlier stage in the cycling process. We have observed in earlier work,¹ that before cracks appear, structural changes occur in the solder at the lead-solder interface. The thermal response of the solder joint is recorded over time to a Peltier heat perturbation produced by flowing a current pulse through the interface where structural changes occur. The key point in this method is to discriminate the Peltier effect from the Joule thermal response because both effects generate heat. The variation of the early Peltier response in the thermal cycling ageing tests is seen as a quantitative signature of the structural changes in the lead-solder interface.     

Effect of air gap on cylindrical dielectric resonator antenna operating in TM/sub 01/ mode

The results of a numerical study on the effect of an air gap on the input impedance and resonance frequency of a cylindrical dielectric resonator (CDR) antenna operating in the TM/sub 01/ mode as a function of dielectric constant are presented. The CDR resides on a conducting ground plane and is excited by a coaxial probe through the bottom of the ground plane. Some of the numerical results are validated experimentally.<>     

Dislocations in strained layers: The Ge-Si system

The Ge-Si on Si epilayer system, besides being an interesting technological system in its own right, is a superb model for strained-layer studies. The point defect and symmetry defect structures associated with compound semiconductors can be avoided, allowing a focus on the mechanics of the system. Dislocation sources, glide behavior, and performance effects have been examined for strained-layer systems. Surprises have appeared along the way, but these materials are now becoming characterized well enough for industrial device applications.     

Directions in processing of Tengizsk crude

Translated from Khimiya i Tekhnologiya Topliv i Masel, No. 5, pp. 2–3, May, 1992.     

Effect of the method of activation on properties of zeolite-containing hydrotreatment catalysts

Translated from Khimiya i Tekhonologiy Topliv i Masel, No. 3, pp. 33–34, March, 1992.