Brooksʼ Theorem for generalized dart graphs

The well-known Brooks? Theorem says that each graph G of maximum degree $k?3$ is k-colorable unless $G=K_{k+1}$. We generalize this theorem by allowing higher degree vertices with prescribed types of neighborhood.     

Request redirection paradigm in medical image archive implementation

It is widely recognized that the JPEG2000 facilitates issues in medical imaging: storage, communication, sharing, remote access, interoperability, and presentation scalability. Therefore, JPEG2000 support was added to the DICOM standard Supplement 61. Two approaches to support JPEG2000 medical image are explicitly defined by the DICOM standard: replacing the DICOM image format with corresponding JPEG2000 codestream, or by the Pixel Data Provider service, DICOM supplement 106. The latest one supposes two-step retrieval of medical image: DICOM request and response from a DICOM server, and then JPIP request and response from a JPEG2000 server. We propose a novel strategy for transmission of scalable JPEG2000 images extracted from a single codestream over DICOM network using the DICOM Private Data Element without sacrificing system interoperability. It employs the request redirection paradigm: DICOM request and response from JPEG2000 server through DICOM server. The paper presents programming solution for implementation of request redirection paradigm in a DICOM transparent manner.     

Analysis for a class of singularly perturbed hybrid systems via averaging

A class of singularly perturbed hybrid dynamical systems is analyzed. The fast states are restricted to a compact set a priori. The continuous-time boundary layer dynamics produce solutions that are assumed to generate a well-defined average vector field for the slow dynamics. This average, the projection of the jump map in the direction of the slow states, and flow and jump sets from the original dynamics define the reduced, or average, hybrid dynamical system. Assumptions about the average system lead to conclusions about the original, higher-dimensional system. For example, forward pre-completeness for the average system leads to a result on closeness of solutions between the original and average system on compact time domains. In addition, global asymptotic stability for the average system implies semiglobal, practical asymptotic stability for the original system. We give examples to illustrate the averaging concept and to relate it to classical singular perturbation results as well as to other singular perturbation results that have appeared recently for hybrid systems. We also use an example to show that our results can be used as an analysis tool to design hybrid feedbacks for continuous-time plants implemented by fast but continuous actuators.     

The investigation of metastable ζ-hcp phase in the Ag-rich f c c region of Ag-In alloys rapidly quenched from the melt

Stacking faults, which were detected in the Ag-In system, have been examined by transmission electron microscopy and electron diffraction. An enhanced concentration of stacking faults in splat cooled specimens as well as the formation of a metastable hexagonal phase in the f c c region of the alloy was observed. As far as we know this is the first case of the terminal solid solubility being reduced by rapid quenching. Terminal solid solubility is reduced because of the high concentration of structural defects introduced by quenching, e.g. dislocations and stacking faults, which serve as the nuclei for the transformation from the f c c to the h c p structure. Our measurements and calculations show that the stacking fault energy minimum is shifted to lower electron concentrations with respect to the stacking fault energy minimum corresponding to the equilibrium phase boundary for the f c c-h c p transformation. The new metastable phase boundary for this transformation was confirmed by X-ray examinations. We explain this earlier h c p phase appearance in rapid quenched specimens as the consequence of enhanced interaction of the Fermi surface and contracted Brillouin zone. The Brillouin zone contraction we attributed to quenched-in vacancies.     

Oxidation of formic acid at a high surface area supported platinum modified by foreign metal adatoms

The anodic oxidation of formic acid was studied on platinum distributed in the form of small particles in a porous substrate modified by metal adatoms deposited at underpotentials. The rate of the reaction was greatly enhanced on the commercial catalyst Powercat 3000 (PC 3000). The hydrogen adsorption and the underpotential deposition of several metals at PC 3000 were shown to be dissimilar to that at smooth polycrystalline Pt. Steady-state and long-term experiments were performed to determine the stability of this electrode.     

Mechanical and fracture behavior of powder metalurgy processed Ti3Al-based alloys

This work considers structural and compression mechanical properties of three Ti₃Al-based alloys processed by powder metallurgy. Mechanically alloyed powders were compacted by hot-pressing to non-porous homogenous compacts. Prior to compression tests, all compacts were homogenized by a solution treatment at 1050°C (α + β region) for 1h, followed by water quenching. The compression tests were performed from room temperature to 500°C in vacuum at a strain rate of 2.4 × 10⁻³ s⁻¹. Detailed microstructural characterization has been evaluated by scanning electron microscopy (SEM), followed by electron dispersive spectroscopy (EDS) and X-ray diffraction analysis. Fracture topography was examined by SEM. The Ti₃Al-Nb alloy exhibits the highest ductility in the whole temperature range, whereas addition of Mo to Ti₃Al-Nb alloy yields the highest ultimate compression strength. A correlation between ductility and the fracture mode exists for all materials.     

Maximizing Reward in a Non-Stationary Mobile Robot Environment

The ability of a robot to improve its performance on a task can be critical, especially in poorly known and non-stationary environments where the best action or strategy is dependent upon the current state of the environment. In such systems, a good estimate of the current state of the environment is key to establishing high performance, however quantified. In this paper, we present an approach to state estimation in poorly known and non-stationary mobile robot environments, focusing on its application to a mine collection scenario, where performance is quantified using reward maximization. The approach is based on the use of augmented Markov models (AMMs), a sub-class of semi-Markov processes. We have developed an algorithm for incrementally constructing arbitrary-order AMMs on-line. It is used to capture the interaction dynamics between a robot and its environment in terms of behavior sequences executed during the performance of a task. For the purposes of reward maximization in a non-stationary environment, multiple AMMs monitor events at different timescales and provide statistics used to select the AMM likely to have a good estimate of the environmental state. AMMs with redundant or outdated information are discarded, while attempting to maintain sufficient data to reduce conformation to noise. This approach has been successfully implemented on a mobile robot performing a mine collection task. In the context of this task, we first present experimental results validating our reward maximization performance criterion. We then incorporate our algorithm for state estimation using multiple AMMs, allowing the robot to select appropriate actions based on the estimated state of the environment. The approach is tested first with a physical robot, in a non-stationary environment with an abrupt change, then with a simulation, in a gradually shifting environment.     

Automatic reconstruction of 3D human arm motion from a monocular image sequence

A model-based approach to reconstruction of 3D human arm motion from a monocular image sequence taken under orthographic projection is presented. The reconstruction is divided into two stages. First, a 2D shape model is used to track the arm silhouettes and second-order curves are used to model the arm based on an iteratively reweighted least square method. As a result, 2D stick figures are extracted. In the second stage, the stick figures are backprojected into the scene. 3D postures are reconstructed using the constraints of a 3D kinematic model of the human arm. The motion of the arm is then derived as a transition between the arm postures. Applications of these results are foreseen in the analysis of human motion patterns. Received: 26 January 1996 / Accepted: 17 July 1997