Axiomatizing the Monodic Fragment of

As we can show that the two-variable monadic fragment of thefull first-order extension of the propositional branching time logic is not recursively enumerable, we show in thisarticle that the monodic fragment of can be axiomatized.     

The Synchronous Approach to Designing Reactive Systems

Synchronous programming is available through several formally defined languages having very different characteristics: Esterel is imperative, while Lustre and Signal are declarative in style; Statecharts and Argos are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design paradigm further, integrating imperative, declarative (or dataflow), and graphical programming styles, is that real systems typically have components that match each of these profiles. This paper motivates our interest in the mixed language programming of embedded software around a number of examples, and sketches the semantical foundation of the Synchronie toolset which ensures a coherent computational model. This toolset supports a design trajectory that incorporates rapid prototyping and systematic testing for early design validation, an object oriented development methodology for long term software management, and formal verification at the level of automatically generated object code.     

Suppression of boron penetration through thin gate oxides by nitrogen implantation into the gate electrode of PMOS devices

PMOS devices with different amounts of nitrogen implanted into the gate electrode before doping with BF₂ implantation and implant anneal were manufactured. The thicknesses of the gate oxides grown in dry oxygen by RTP were 4.1 down to 2.8 nm. The implant anneal was also performed by RTP. The influence of the nitrogen on the penetration of boron ions through the ultra-thin gate oxides into the channel region was investigated by electrical and SIMS measurements. Boron was effectively prevented from diffusion by high nitrogen concentrations at the polysilicon/gate oxide interface without degrading the reliability. In return, increased sheet resistivities and gate depletion have to be taken into account by high nitrogen concentrations within the polysilicon gate electrode.     

A novel PWM control for a bi-directional full-bridge DC–DC converter with smooth conversion mode transitions

A novel CMOS integrated pulse-width modulation (PWM) control circuit allowing smooth transitions between conversion modes in full-bridge based bi-directional DC–DC converters operating at high switching frequencies is presented. The novel PWM control circuit is able to drive full-bridge based DC–DC converters performing step-down (i.e. buck) and step-up (i.e. boost) voltage conversion in both directions, thus allowing charging and discharging of the batteries in mobile systems. It provides smooth transitions between buck, buck-boost and boost modes. Additionally, the novel PWM control loop circuit uses a symmetrical triangular carrier, which overcomes the necessity of using an output phasing circuit previously required in PWM controllers based on sawtooth oscillators. The novel PWM control also enables to build bi-directional DC–DC converters operating at high switching frequencies (i.e. up to 10?MHz and above). Finally, the proposed PWM control circuit also allows the use of an average lossless inductor-current sensor for sensing the average load current even at very high switching frequencies. In this article, the proposed PWM control circuit is modelled and the integrated CMOS schematic is given. The corresponding theory is analysed and presented in detail. The circuit simulations realised in the Cadence Spectre software with a commercially available 0.18?µm mixed-signal CMOS technology from UMC are shown. The PWM control circuit was implemented in a monolithic integrated bi-directional CMOS DC–DC converter ASIC prototype. The fabricated prototype was tested experimentally and has shown performances in accordance with the theory.     

New Aspects in Ferroelectric Energy Sources for Impact Fuzes

In order to find materials with increased specific electrical energy, especially for impact fuzes, the irreversible conversion of mechanical to electrical energy in ferroelectric ceramics of the Pb(Zr₁-_xTi_x) O₃ type with a considerable proportion of zirconium is studied. The depolarization of the ceramics is measured for shock compressions between 0 and 30 kbar. The maximum electrical energy, obtained at about 18 kbar, is of the order of 1.8 J/cm³ with Pb(Zr_0.965Ti_0.035)0³ + 1% Nb₂O₅ and of the order of 0.8 J/cm³ with a Pb(Zr_0.54Ti_0.46)0³ + 1% Nb₂0₅. As an example for application, the initiation of a 3.5 ω bridge wire PETN detonator is described.     

The virtual production simulation platform: from collaborative distributed simulation to integrated visual analysis

Computational simulations are used for the optimization of production processes in order to significantly reduce the need for costly experimental optimization approaches. Yet individual simulations can rarely describe more than a single production step. A set of simulations has to be coupled to each other to form a contiguous representation of a process chain. Eventually, simulated results have to be analyzed by domain experts to gather insight from the preformed computations. In this paper, we propose an IT infrastructure and software tools that aim at a rather non-intrusive way of coupling resources and domain expert’s knowledge to enable the collaborative setup, execution and analysis of distributed simulation chains. We illustrate the approach in the domain of materials processing. Beyond means originating from the domain of GRID computing for resource management, a data integration component assures semantic data integrity between the simulation steps and stores simulation data in an application independent way. Thus, we can transform this data into native formats for each simulation tool, and finally into a format that allows for contiguous visualizations and an intuitive, comprehensive analysis of complete simulated process chains.     

Recrystallization kinetics of ultrafine-grained Ni studied by dilatometry

The release of excess volume upon recrystallization of ultrafine-grained Ni deformed by high-pressure torsion was measured with a high-precision difference-dilatometer employing constant heating rates in the range from 0.3 to 10 K min^?1. The kinetics of the recrystallization process was analyzed according to the Johnson–Mehl–Avrami–Kolmogorov theory adapted to the case of constant heating rates. An effective Avrami exponent of 2 and a value of 1.20 eV for the activation energy of recrystallization was determined. Analysis by the Kissinger method yielded the same result for the activation energy.     

The Kinetics of the Precipitation of Co from Supersaturated Cu-Co Alloy

The kinetics of the precipitation of Co from a supersaturated solid solution of Cu-0.95 at. pct Co was investigated by isochronal annealing applying differential scanning calorimetry (DSC) with heating rates in the range 5 to 20 K min^–1. The corresponding microstructural evolution was investigated by high-resolution transmission electron microscopy (HRTEM) in combination with electron energy loss spectroscopy (EELS). Upon isochronal annealing, spherical Co precipitates of fcc crystal structure form. Kinetic analysis by fitting of a modular phase transformation model to, simultaneously, all DSC curves of variable heating rate measured for Cu-0.95 at. pct Co showed that the precipitation-process mechanism can be described within the framework of this general phase transformation model by continuous nucleation and diffusion-controlled growth. By introducing additional microstructural information (here, the precipitate-particle density), for the first time, values for the separate activation energies of nucleation and growth could be deduced from the transformation kinetics.