MIM零件烧结过程中收缩和变形的数值模拟

为描述金属粉末注射成形坯件在烧结过程中的收缩和变形行为,基于连续介质力学原理建立了符合粘塑性本构关系的宏观烧结模型。该模型通过有限元软件Abaqus的用户子程序实现,进行烧结过程的数值模拟。分析了由于坯件重力、非均匀初始密度分布以及坯件支承体之间的摩擦力等因素而引起的非均匀收缩和变形。通过与试验结果的比较,验证了烧结模型和数值方法的正确性。     

Nanometric Scale Investigation of Phase Transformations in Advanced Steels for Automotive Application

The current trend toward producing lighter vehicles in the automotive industry is driven by the need to conform to the new exhaust emission control regulations. This objective presents a challenge to steel manufacturers. The difficulty lies in designing new alloys with an optimum strength/formability/cost balance for the various components. Here, the key to success lies in controlling the steel microstructure and especially the phase transformations at the smallest possible scale. Among the different alloying elements, light elements such as carbon and boron are of prime importance due to their major effects on the kinetics of phase transformations. Characterization tools combining high spatial and analytical resolution such as secondary ion mass spectrometry (SIMS) and field emission gun-transmission electron microscopy (TEM) were used. In this article, the examples presented are as follows. (1) Boron segregation and precipitation effects to control hardenability in martensitic steels. (2) Local carbon distribution in advanced high-strength steels, with a specific emphasis on martensite tempering. Links have been established between the boron and carbon distribution and the formability.     

Modelling and predicting partial orders from pairwise belief functions

In this paper, we introduce a generic way to represent and manipulate pairwise information about partial orders (representing rankings, preferences, ...) with belief functions. We provide generic and practical tools to make inferences from this pairwise information and illustrate their use on the machine learning problems that are label ranking and multi-label prediction. Our approach differs from most other quantitative approaches handling complete or partial orders, in the sense that partial orders are here considered as primary objects and not as incomplete specifications of ideal but unknown complete orders.     

Intergranular Oxidation of Nickel-Base Alloys: Potentialities of Focused Ion Beam Tomography

Oxidation of Metals - The present work focuses on the intergranular oxidation of Alloy 600 and its weld material Alloy 82 after exposure in simulated primary water at 340–360 °C...     

Motorcyclists’ speed and “looked-but-failed-to-see” accidents

Previous research on motorcycle crashes has shown the frequency and severity of accidents in which a non-priority road user failed to give way to an approaching motorcyclist without seeing him/her, even though the road user had looked in the approaching motorcycle's direction and the motorcycle was visible. These accidents are usually called “looked-but-failed-to-see” (LBFS) accidents. This article deals with the effects that the motorcyclist's speed has in these accidents. It is based on the in-depth study and precise kinematic reconstruction of 44 accident cases involving a motorcyclist and another road user, all occurring in intersections. The results show that, in urban environments, the initial speeds of motorcyclists involved in “looked-but-failed-to-see” accidents are significantly higher than in other accidents at intersections. In rural environments, the difference in speed between LBFS accidents and other accidents is not significant, but further investigations would be necessary to draw any conclusions. These results suggest that speed management, through road design or by other means, could contribute to preventing “looked-but-failed-to-see” motorcycle accidents, at least in urban environments.     

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

We propose algorithms for the synthesis of state-feedback controllers with partial observation of infinite state discrete event systems modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both for potentially deadlocking and deadlock free controlled systems. The termination of the algorithms solving these problems is ensured using abstract interpretation techniques which provide an overapproximation of the transitions to disable. We then extend our algorithms to controllers with memory and to online controllers. We also propose improvements in the synthesis of controllers in the finite case which, to our knowledge, provide more permissive solutions than what was previously proposed in the literature. Our tool SMACS gives an empirical validation of our methods by showing their feasibility, usability and efficiency.     

Benchmarking flexible job-shop scheduling and control systems

Benchmarking is comparing the output of different systems for a given set of input data in order to improve the system’s performance. Faced with the lack of realistic and operational benchmarks that can be used for testing optimization methods and control systems in flexible systems, this paper proposes a benchmark system based on a real production cell. A three-step method is presented: data preparation, experimentation, and reporting. This benchmark allows the evaluation of static optimization performances using traditional operation research tools and the evaluation of control system's robustness faced with unexpected events.     

Provably safe navigation for mobile robots with limited field-of-views in dynamic environments

This paper addresses the problem of navigating in a provably safe manner a mobile robot with a limited field-of-view placed in a unknown dynamic environment. In such a situation, absolute motion safety (in the sense that no collision will ever take place whatever happens in the environment) is impossible to guarantee in general. It is therefore settled for a weaker level of motion safety dubbed passive motion safety: it guarantees that, if a collision takes place, the robot will be at rest.