On maximum norm contractivity of second order damped single step methods

In this paper we consider A(θ)-stable finite difference methods for numerical solutions of dissipative partial differential equations of parabolic type. Combining two rational approximation methods with different orders of accuracy, where the lower order method is applied n ₀ times (n ₀ fixed) at each time step, we prove the existence of a second order method which is contractive for all time steps. Moreover, we shed light on the conditions on the lower order method which are sufficient (and sometimes necessary) to obtain the optimal order of accuracy. For the one-dimensional heat equation we construct a family of numerical methods which are contractive in the maximum norm for all values of the discretization parameters. We also present numerical examples to illustrate our results. Received: May 2002 / Accepted: January 2003     

The thermal behavior of mechanically activated galena by thermogravimetry analysis

The thermal decompositions of mechanically activated and nonactivated galenas were studied by thermogravimetry analysis (TGA) at the heating rate of 10 K min⁻¹ in argon. Results indicate that the initial temperature of thermal decomposition (abbreviated as T _di) in the TGA curves for different galenas decreases gradually with increased grinding time. The specific granulometric surface area (S _G), the structural disorder, and the content of elemental sulfur of mechanically activated galenas were analyzed by an X-ray diffraction (XRD) laser particle-size analyzer, XRD analysis, and the gravimetric method, respectively, which shows that the specific granulometric surface area of mechanically activated galenas remains almost constant after a certain grinding time, but the lattice distortions (ε) rise, the crystallite sizes (D) decrease, and the elemental sulfur contents of mechanically activated galenas increase with increased grinding time. The results imply that the decrease of the initial temperature of thermal decomposition in the TGA curves for mechanically activated galenas is mainly caused by the increase of lattice distortions, and the formation of new dangling bonds resulted from the production of elemental sulfur of mechanically activated galenas with increased grinding time. Finally, the differences in the thermal-decomposition reactivity between nonactivated and mechanically activated galenas were also discussed.     

Case Study of an Aerosol Explosion and a Method to Determine Explosion Temperatures

A failure analysis case study is presented for a two-piece aerosol containing tetrafluoroethane, commonly referred to as Refrigerant 134a. A gentleman was preparing to recharge the air conditioning system of an automobile when the bottom exploded off the aerosol container, propelling the body of the aerosol container like a rocket, which hit the man in the eye and blinded him in that eye. The aerosol was never connected to the air conditioner, therefore backpressure from the air conditioner (AC) compressor was ruled out as a cause for the explosion. The objective of the study was to determine why the aerosol exploded. Several recently developed test methods were used, including two types of heat-to-burst tests and a puncture chamber to measure the pressure-versus-temperature behavior of aerosols. More common test methods were also used, such as water bath pressure tests, hydro pressure burst tests, pneumatic pressure burst tests, hardness measurements, weight measurements, metallography, scanning electron microscopy (SEM), energy-dispersive spectroscopy (EDS), and an accident scenario recreation. A semi-empirical correlation between the hardness and weights of the container bottoms was used to determine the explosion temperature and/or pressure. This semi-empirical correlation agrees in principle with an analysis of the explosion pressures using finite-element analysis (FEA). The root cause for the explosion was determined to be a lack of strength of the bottom of the two-piece aerosol coupled with heating the aerosol to temperatures significantly above room temperature.     

Kinetics of chlorination of tantalum pentoxide in mixture with sucrose carbon by chlorine gas

The mechanism and kinetics of β-Ta₂O₅ chlorination, mixed with sucrose carbon, have been studied by a thermogravimetric technique. The investigated temperature range was 500 °C to 850 °C. The reactants and reaction residues were analyzed by scanning electronic microscopy (SEM), X-ray diffraction (XRD), and Brunauer-Emmett-Teller method for surface area (BET). The effect of various experimental parameters was studied, such as carbon percentage, temperature, chlorine partial pressure, and flow, use of the multiple sample method, and carbon previous oxidation. The carbon percentage and previous treatment have an effect on the system reactivity. The temperature has a marked effect on the reaction rate. In the 500 °C to 600 °C temperature interval, the apparent activation energy is 144 kJ/mol of oxide, while at higher temperatures, the activation energy decreases. With high chorine partial pressures, the order of reaction is near zero. The kinetic contractile plate model, X=kt, considering carbon oxidation as the controlling stage, is the one with the best fit to the experimental data. A probable mechanism for the carbochlorination of β-Ta₂O₅ is proposed: (1) activation of chlorine on the carbon surface, (2) chlorination of Ta₂O₅, (3) oxidation of carbon, and (4) recrystallization of β-Ta₂O₅.     

Formal techniques for performance analysis: blending SAN and PEPA

In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, and the potential for reduction in the Markov process. Such careful comparison of modelling techniques allows us to appreciate the strengths and weaknesses of different approaches, and facilitates cross-fertilization between them. In the present case we take a characteristic of one formalism, functional rates in Stochastic Automata Networks, and introduce it to the other formalism, Performance Evaluation Process Algebra. We investigate the benefits of this cross-fertilization, particularly from the perspectives of Markov process generation and reduction.     

Simultaneous translation of lectures and speeches

With increasing globalization, communication across language and cultural boundaries is becoming an essential requirement of doing business, delivering education, and providing public services. Due to the considerable cost of human translation services, only a small fraction of text documents and an even smaller percentage of spoken encounters, such as international meetings and conferences, are translated, with most resorting to the use of a common language (e.g. English) or not taking place at all. Technology may provide a potentially revolutionary way out if real-time, domain-independent, simultaneous speech translation can be realized. In this paper, we present a simultaneous speech translation system based on statistical recognition and translation technology. We discuss the technology, various system improvements and propose mechanisms for user-friendly delivery of the result. Over extensive component and end-to-end system evaluations and comparisons with human translation performance, we conclude that machines can already deliver comprehensible simultaneous translation output. Moreover, while machine performance is affected by recognition errors (and thus can be improved), human performance is limited by the cognitive challenge of performing the task in real time.     

Safe and effective navigation of autonomous robots in hazardous environments

The development of autonomous mobile machines to perform useful tasks in real work environments is currently being impeded by concerns over effectiveness, commercial viability and, above all, safety. This paper introduces a case study of a robotic excavator to explore a series of issues around system development, navigation in unstructured environments, autonomous decision making and changing the behaviour of autonomous machines to suit the prevailing demands of users. The adoption of the Real-Time Control Systems (RCS) architecture (Albus, 1991) is proposed as a universal framework for the development of intelligent systems. In addition it is explained how the use of Partially Observable Markov Decision Processes (POMDP) (Kaelbling et al., 1998) can form the basis of decision making in the face of uncertainty and how the technique can be effectively incorporated into the RCS architecture. Particular emphasis is placed on ensuring that the resulting behaviour is both task effective and adequately safe, and it is recognised that these two objectives may be in opposition and that the desired relative balance between them may change. The concept of an autonomous system having “values” is introduced through the use of utility theory. Limited simulation results of experiments are reported which demonstrate that these techniques can create intelligent systems capable of modifying their behaviour to exhibit either ‘safety conscious’ or ‘task achieving’ personalities.