Extended bisection method for parameter identification of the transient heat conduction equation for thermo-elastic deformations during drilling

A new interdisciplinary approach is discribed to identifying unknown parameters using an extended version of the known interval bisection method. This developed method is based on the use of finite elements for calibrating the simulation calculation. The resulting thermo-elastic deformations which occur in drilling processes with impaired cooling lubrication are to be used as correction values for tool positioning in the NC control. Based on the strong impact on workpiece temperature of machining, a simulation approach is presented for calculating the temperature fields and their thermo-elastic consequences. In addition, methods are presented to correct these effects. This paper particularly deals with the temperature fields of drilling operations. Special attention is paid to the technique employed for iterative numerical determination of the unknown heat flux η _w and heat transfer coefficient \(\bar {\gamma }\) values. Finally, the data obtained from experiments are compared with those achieved by numerical simulation in order to verify the efficiency of simulation and determination of parameters.     

On the mechanical performance of closed cell Al alloy foams

The mechanical properties of three different commercially available closed cell Al alloys all made by foam casting are examined. The objective is to assess the roles of cell morphology and of imperfections in governing the basic properties: stiffness, yield strength and fracture resistance. This assessment provides goals for manufacturing strategies that enable attainment of good mechanical performance with affordable process technologies. A prevalent role of curves and wiggles in the cell walls on stiffness and strength (anticipated by models) is affirmed by the present measurements. Systematically larger stiffnesses and yield strengths found in tension than in compression are consistent with a prominent role exerted by such imperfections. Moreover, foam casting is apparently capable of cell morphologies that impart properties approaching the best achievable values for an isotropic closed cell solid, devoid of imperfections. There are associated implications for performance and affordability. Fracture measurements indicate crack growth occurring along the cell walls by a mechanism analogous to the plastic tearing of thin sheets. The crack growth resistances are in the range of 1 kJm⁻². This mechanism infers a toughness that scales with the cell wall thickness and its yield strength.     

Ca15(CBN)6(C2)2O- a new cubic structure type containing CBN-anions together with acetylide and oxo anions

Ca₁₅(CBN)₆(C₂)₂O contains CBN⁴⁻ anions as well as C₂⁻ units and isolated O²⁻ anions. The compound is obtained by heating a stoichiometric mixture of CaO, C and BN with an excess of Ca in sealed niobium ampoules to 1270 K. It crystallizes in the space group Ia d with a = 1656.84(9) pm. Preparation, crystal structure, NMR and IR-spectroscopic properties are discussed.     

Filtering Multi‐Layer Shadow Maps for Accurate Soft Shadows

In this paper, we introduce a novel technique for pre‐filtering multi‐layer shadow maps. The occluders in the scene are stored as variable‐length lists of fragments for each texel. We show how this representation can be filtered by progressively merging these lists. In contrast to previous pre‐filtering techniques, our method better captures the distribution of depth values, resulting in a much higher shadow quality for overlapping occluders and occluders with different depths. The pre‐filtered maps are generated and evaluated directly on the GPU, and provide efficient queries for shadow tests with arbitrary filter sizes. Accurate soft shadows are rendered in real‐time even for complex scenes and difficult setups. Our results demonstrate that our pre‐filtered maps are general and particularly scalable.     

Displaying a boundary in graphic and symbolic “wait” displays: Duration estimates and users’ preferences

Two experiments assessed the effect of displaying a boundary on duration estimates and preference ratings for dynamic displays that were shown while users waited for the system's response. Displays were either symbolic (changing numbers) or graphic (increasing rectangles) and could contain a boundary that indicated when the interval was expected to be over. Duration estimates were similar for symbolic and graphic displays and for displays with and without a boundary. However, when the displays were encountered successively, participants assessed the graphic displays as having shorter durations than the symbolic displays. Faster rates of change in both types of displays led to increased duration estimates. Although displaying a boundary did not affect duration estimates, participants preferred displays in which a boundary was shown and preferred the graphic displays over the symbolic displays. Hence, bounded graphic displays are recommended as “wait” displays for computerized applications.     

Toward a programming theory for rational agents

An important problem in agent verification is a lack of proper understanding of the relation between agent programs on the one hand and agent logics on the other. Understanding this relation would help to establish that an agent programming language is both conceptually well-founded and well-behaved, as well as yield a way to reason about agent programs by means of agent logics. As a step toward bridging this gap, we study several issues that need to be resolved in order to establish a precise mathematical relation between a modal agent logic and an agent programming language specified by means of an operational semantics. In this paper, we present an agent programming theory that provides both an agent programming language as well as a corresponding agent verification logic to verify agent programs. The theory is developed in stages to show, first, how a modal semantics can be grounded in a state-based semantics, and, second, how denotational semantics can be used to define the mathematical relation connecting the logic and agent programming language. Additionally, it is shown how to integrate declarative goals and add precompiled plans to the programming theory. In particular, we discuss the use of the concept of higher-order goals in our theory. Other issues such as a complete axiomatization and the complexity of decision procedures for the verification logic are not the focus of this paper and remain for future investigation. Part of this research was carried out while the first author was affiliated with the Nijmegen Institute for Cognition and Information, Radboud University Nijmegen.     

Magnebike: A magnetic wheeled robot with high mobility for inspecting complex‐shaped structures

This paper describes the Magnebike robot, a compact robot with two magnetic wheels in a motorbike arrangement, which is intended for inspecting the inner casing of ferromagnetic pipes with complex‐shaped structures. The locomotion concept is based on an adapted magnetic wheel unit integrating two lateral lever arms. These arms allow for slight lifting off the wheel in order to locally decrease the magnetic attraction force when passing concave edges, as well as laterally stabilizing the wheel unit. The robot has the main advantage of being compact (180 × 130 × 220 mm) and mechanically simple: it features only five active degrees of freedom (two driven wheels each equipped with an active lifter stabilizer and one steering unit). The paper presents in detail design and implementation issues that are specific to magnetic wheeled robots. Low‐level control functionalities are addressed because they are necessary to control the active system. The paper also focuses on characterizing and analyzing the implemented robot. The high mobility is shown through experimental results: the robot not only can climb vertical walls and follow circumferential paths inside pipe structures but it is also able to pass complex combinations of 90‐deg convex and concave ferromagnetic obstacles with almost any inclination regarding gravity. It requires only limited space to maneuver because turning on the spot around the rear wheel is possible. This high mobility enables the robot to access any location in the specified environment. Finally the paper analyzes the maximum payload for different types of environment complexities because this is a key feature for climbing robots and provides a security factor about the risk of falling and slipping. © 2009 Wiley Periodicals, Inc.     

Preparative scale synthesis ofO-glycosides and of a disaccharide by electrochemical oxidation of phenylS-glycosides

Summary O-glycosides were synthesized by electrochemical oxidation of phenylS-glycosides in the presence of primary alcohols in acetonitrile. Similarly, a -linked disaccharide was obtained selectively by oxidation of phenylS-glycoside in the presence of a sugar alcohol. Electrosyntheses were performed under controlled potential or at constant current, in an undivided cell, on a large scale. 1 to 60 g of phenylS-glycosides in 0.5 to 1 dm³ of acetonitrile were converted with chemical yields in the range of 65–75%.     

Molecular structures and conformational studies of triarylcyclopropyl and related nonsteroidal antiestrogens

Molecular structures and conformational characteristics of a series of 1,1-dichloro-2,2,3-triarylcyclopropanes (DTACs), which were reported previously to be distinctly antiestrogenic and inhibitors of the estrogen-receptor-positive MCF-7 human breast cancer cells in culture, are reported. In addition, structural and conformational features of the DTACs were compared to the first-known nonsteroidal antiestrogen, MER25, and the clinically useful antiestrogen Tamoxifen. The molecular structures of four DTAC compounds were determined by X-ray diffraction. Crystallographic structures show that the DTAC molecules have nearly the same relative conformation for the three aryl rings which is designated as a "nonpropeller" conformation in contrast to the observed "propeller" conformation for the three rings in all known triarylethylenes. Systematic conformational searches were performed to find the conformational preferences of DTACs, MER25, and Tamoxifen using idealized model compounds built from their respective crystal structure. Energy-minimization and conformational-search studies demonstrated that all DTAC molecules have a common, single global minimum energy conformer for their central core containing the dichlorotriarylcyclopropyl system, which is similar to that found in their crystal structures. Conformational search of MER25 showed that the molecule can assume a number of low-energy conformers of which two, one anti (A1) and one gauche (G1A), have about the same energy. The anti conformation is similar to the one observed in its crystal structure and resembles the estrogenic E-isomer of Tamoxifen, while the lowest energy gauche conformer of MER25 resembles more closely the antiestrogenic Z-isomer of Tamoxifen. NMR spectroscopic analysis of MER25 showed that the molecule exists predominantly in the anti conformation in solution. A comparative review of the structural features and bioactivities of Tamoxifen, DTACs, and MER25 provides a possible explanation for their low estrogen receptor binding affinity which is common to these compounds together with their antiestrogenic activity.     

The necessity of conducting to the end the activities of vector control in the onchocerciasis control program in west Africa: recall of the stakes and proposal of a minimum budget for the period 1998-2002

After a brief presentation of the Onchocerciasis Control Programme in West Africa (OCP), the authors realize the health and socioeconomic consequences that could follow a cessation of larvicide treatment before 2002 in the south-eastern and western extensions of the Programme. Taking into account that OCP activities are theoretically supported until 1997, but aware of financial constraints that will probably increase from now to 2002, this paper proposes an a minima estimation of the residual vector control activities for a "phasing out" spread out for five years (1998-2002). These estimations essentially concern the larvicide coverage, the insecticides used, the entomological surveillance, the logistical support and their financial aspects. As far as 48 U.S. $ million amount for 5 years are concerned, the budget allocated for vector control activities should not exceed the third of the global amount allocated to OCP for the actual fourth financial phase of the Programme (1992-1997).