Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Data in Voice — In-Band Short Messaging Service (SMS) für den analogen Flugfunk

6. Zusammenfassung  In diesem Artikel wurde die Data in Voice-Technologie vorgestellt. DiV ist eine Methode, die es erlaubt, kurze Daten-Messages gemeinsam mit der Sprache im analogen Flugfunkkanal zu übertragen. Man ist bei FREQUENTIS überzeugt, dass man mit dieser Methode viele Nachteile des vorhandenen analogen Flugfunks beseitigen und dadurch die Flugsicherheit wesentlich erh?hen k?nnte.     

Finite elements in the analysis of pressure vessels and piping-a bibliography (1976–1996)

The paper gives a bibliographical review of the finite element methods (FEMs) applied for the analysis of pressure vessel structures/components and piping from the theoretical as well as practical points of view. The range of applications of FEMs in this area is wide and cannot be presented in a single paper; therefore the aim of this review is to give the reader an encyclopaedic view of the differnt possibilities that exist today for the finite element analysis in the fields of pressure vessels and piping. The bibliography at the end of the paper contains approximately 1900 references to papers, conference proceedings and theses/dissertations on the subject that were published in 1976–1996. These are classified in the following categories: linear and non-linear, static and dynamic, stress and deflection analysis; stability problems; thermal problems; fracture mechanics problems; contact problems; fluid-structure interaction problems; manufacturing of pipes and tubes; welded pipes and pressure vessel components; development of special finite elements for pressure vessels and pipes; finite element software; and other topics. Also finite element software, general purpose and special purpose codes, used for the analysis of pressure vessels and pipes are briefly discussed and presented.     

Telephone booster sessions for optimizing smoking cessation for patients in rehabilitation centers.

Smokers with smoking-related diseases who are hospitalized in rehabilitation centers should be offered smoking cessation. This is the first study evaluating whether telephone booster sessions after intensive inpatient treatment are an effective strategy. The present study was conducted in 13 rehabilitation centers for somatic disorders as a prospective multicenter study with a randomized treatment-control group design. We compared abstinence rates after hospital discharge from treatment that included a group smoking cessation program with (treatment group) and without telephone booster sessions (control group). Data from 290 smokers were analyzed. After 6 and 12 months the treatment group achieved abstinence rates twice as high as those of the control group. Men profited more from telephone booster sessions than did women. Results indicated that telephone booster sessions were highly effective (even) after an inherently intensive group program during a hospital stay. Further research should focus on the special needs of women receiving telephone counseling.     

Bending and free vibration analysis of shear deformable laminated composite beams by finite element method

In the present investigation a higher-order shear deformation theory and the conventional first-order theory are used to develop a finite element method to analyse accurately the bending and free vibration behaviour of laminated composite beams, using nine-noded isoparametric elements. The higher-order theory assumes all the displacement components, u, v and w, which contain variation up to a cubic power of z. The effects of various parameters such as fibre orientation, stacking sequence, span-to-thickness ratio and support condition on the non-dimensionalised deflections, stresses and fundamental frequencies are investigated. Cases where only the higher-order theory is likely to yield accurate results are highlighted.     

Laser irradiation of oligosiloxane copolymer thin films functionalized with side chain bulky carbosilane moieties

Linear oligosiloxanes functionalized with bulky side chain tris(trimethylsilyl)hexyl (TTSH) substituents were transformed into cross-linked materials by UV 193 nm excimer pulsed laser ablation. The process occurred without any catalyst, by reactions of radicals formed in UV laser induced photolysis of side tris(trimethylsilyl)hexyl groups. Chemical changes were monitored by FTIR, LC/UV, GC/MS and solubility tests.