Thesis (doctoral)--Lund University, 1994.

Thesis (doctoral)--Lund University, 1994.

Nous avons étudié expérimentalement la mise en suspension de particules lorsque l’on injecte du gaz à la base d’une couche de grains immergée dans un liquide, en géométrie confinée (cellule de Hele-Shaw). En configuration verticale, le système atteint toujours un régime stationnaire résultant de la compétition entre l’entraînement des grains par la remontée des bulles, et leur sédimentation. Un modèle phénoménologique permet d’expliquer les propriétés de la suspension ainsi formée, et du lit granulaire non affecté par la remontée de gaz. L’effet de la gravité effective dans le système est ensuite considérée. Lorsqu’un état stationnaire existe, la taille du lit granulaire présente un maximum pour un angle d’inclinaison de la cellule de 30-40 degrés environ. Cette observation s’explique par un phénomène particulier de sédimentation, l’effet Boycott. Les propriétés statistiques de la suspension (densité, homogénéité) et des bulles (taille, forme, orientation) ont été caractérisées. On montre en particulier que l’on atteint un plateau pour l’aire de contact entre les trois phases (gaz/liquide/solide) en fonction du débit, indépendamment de la gravité effective – résultat important dans le cadre d’applications à des réactions catalytiques. Enfin, une large exploration de la gamme des paramètres montre, pour des cellules inclinées et certaines valeurs de débit de gaz, l’existence d’un régime oscillant : la taille du lit granulaire varie entre un état « creusé » (suspension très dense) et un état « comblé » (suspension peu concentrée). Une explication est proposée pour les temps de montée et de descente de ces oscillations. / We have studied experimentally particle suspension when injecting a gas at the bottom of an immersed granular layer, in confined geometry (Hele-Shaw cell). In a vertical setup, the system always reaches a stationary state resulting from the competition between grains entrainment by bubble rise, and sedimentation. A phenomenological model makes it possible to explain the properties of the suspension thus formed, and of the granular bed not affected by the gas rise. The influence of the effective gravity in the system is then considered. When a stationary state is reached, the size of the granular bed displays a maximum for a cell inclination angle of about 30-40 degrees. This observation can be explained by referring to a peculiar sedimentation process, the Boycott effect. Statistical properties of the suspension (density, homogeneity) and bubbles (size, shape, orientation) have been characterized. In particular, we show that the contact surface between the three phases (gas/liquid/solid) reaches a plateau when increasing the gas flow-rate, independent of the effective gravity. This result is important in the frame of possible applications to catalytic reactors. Finally, exploring a large range of parameters, we point out the existence of an oscillatory regime for inclined cells in a given range of gas flow-rates: the granular bed size oscillates between an "excavated" state (dense suspension) and a "filled" state: (dilute suspension). An explanation for the rising and falling time of these oscillations is proposed.

Thesis (MTech (Mechanical Engineering))--Peninsula Technikon, 2003 / Injection moulding is a process by which molten polymer is forced into an empty cavity of the desired shape. At its melting point, polymers undergo a volumetric expansion when heated, and volumetric contraction when cooled. This volumetric contraction is called shrinkage. Once the mould cavity is filled, more pressure is applied and additional polymer is packed into the cavity and held to compensate for the anticipated shrinkage as the polymer solidifies. The cooling takes place via the cooling channels where the polymer is cooled until a specific ejection criterion is met. Heat from the polymer is lost to the surrounding mould, a part of this heat reaches the cooling channel surfaces, which in turn exchange heat with the circulating cooling fluid. Due to the complexity of injection moulded parts and the cooling channel layout, it is difficult to achieve balanced cooling of parts. Asymmetric mould temperature distribution causes contractions of• the polymer as it cools from its melting temperature to room temperature. This results in residual stresses, which causes the part to warp after ejection. Given the understanding of the mathematical model describing the heat transfer process during the cooling stage, the objectives of this study were three fold. Firstly, an alternative numerical model for the heat transfer process was developed. The proposed model was used to investigate the cooling stress build-up during the injection moulding process.

京都大学 / 0048 / 新制・課程博士 / 博士(エネルギー科学) / 甲第22552号 / エネ博第403号 / 新制||エネ||77(附属図書館) / 京都大学大学院エネルギー科学研究科エネルギー変換科学専攻 / (主査)教授 石山 拓二, 教授 川那辺 洋, 教授 今谷 勝次 / 学位規則第4条第1項該当 / Doctor of Energy Science / Kyoto University / DGAM

Order was given for the prodiction of 20 000 pieces of fixing washers. In this case was chosen injection moulding technology. Based on the research, a structural design of the mold was prepared together with the drawing documentation. From the range of materials, it was chosen polypropilene MOSTEN GB218, which is suitable for the given produstion. The simulation verified the reliability and quality of production. The parameters of injection moulding were determined by calculations, and the machine J180ADS – 180U was selected base of them. In the economic evaluation, the total costs for the production of the entire series were established on Nc=19626,43€.

La robustesse est un attribut spécifique de la fiabilité qui caractérise la réaction d’un système aux fautes externes. Par conséquent, le test de robustesse consiste à tester un système en présence de fautes ou dans des conditions environnementales stressantes afin d’étudier son comportement lorsqu’il évolue dans un environnement hostile. Le test de robustesse peut être soit empirique ou formel. Les méthodes d’injection de fautes sont très communément utilisées pour évaluer le degré de robustesse d’un système. Cependant, elles ne se basent sur aucun oracle de test pour valider leurs résultats. D’autre part, les méthodes formelles de test de robustesse formalisent et la génération de fautes et le processus d’analyse. Elles présentent cependant quelques limitations par rapport aux types de fautes considérées qui dépendent fortement du modèle fonctionnel du système testé. Le travail que nous présentons dans cette thèse, consiste en un ensemble de propositions qui ont pour objectif de répondre aux défis auxquels font face les approches de test de robustesse existantes. D’abord, nous proposons une approche formelle pour la spécification et la vérification du processus d’injection de fautes. Cette approche consiste à formaliser les fautes injectées par un ensemble de triplet de Hoare et ensuite d’utiliser cette spécification pour vérifier la bonne exécution des campagnes d’injections. Notre seconde contribution concerne la spécification et la vérification des propriétés de robustesse. Nous proposons de formaliser les propriétés de robustesse en utilisant une extension de la logique temporelle linéaire qui permet la spécification de contraintes temps réel (XCTL) et nous proposons un algorithme de test passif qui permet de tester la satisfiabilité de ce type de contraintes sur des traces d’exécution finies. Nous contribuons aussi par une nouvelle approche de test de robustesse. Nous proposons une approche hybride basée sur l’injection de fautes et le test passif. L’injection de fautes est utilisée pour créer des conditions environnementales stressantes, et le test passif permet de vérifier la satisfiabilité des propriétés de robustesse sur les traces d’exécution collectées. Les fautes injectées ainsi que les propriétés de robustesse sont formellement spécifiées. Nous utilisons la logique de Hoare pour la spécification des fautes et la logique XCTL pour la formalisation des propriétés de robustesse. Ce qui nous permet de vérifier à la fois le processus d’injection et les exigences de robustesse en appliquant les approches de test passives proposées dans nos contributions précédentes. Finalement, nous proposons une plateforme de modélisation et de vérification de la robustesse des services Web. Cette plateforme est en réalité une instanciation de notre approche de test de robustesse, adaptée aux services Web. Le choix des services Web est motivé par l’émergence de cette technologie qui tend progressivement à s’imposer comme un standard du paradigme de communication programme-à-programme. Ils fournissent aussi un excellent exemple de systèmes hétérogènes fortement distribués. / Robustness is a specialized dependability attribute, characterizing a system reaction with respect to external faults. Accordingly, robustness testing involves testing a system in the presence of faults or stressful environmental conditions to study its behavior when facing abnormal conditions. Testing system robustness can be done either empirically or formally. Fault injection techniques are very suitable for assessing the robustness degree of the tested system. They do not rely however, on formal test oracles for validating their test. On the other hand, existing formal approaches for robustness testing formalize both the fault generation and the result analysis process. They have however some limitations regarding the type of the handled faults as well as the kind of systems on which they can be applied. The work presented in this thesis manuscript aims at addressing some of the issues of the existing robustness testing methods. First, we propose a formal approach for the specification and the verification of the fault injection process. This approach consists in formalizing the injected faults as a set of Hoare triples and then, verifying the good execution of the injection campaigns, based on a passive testing algorithm that checks the fault specification against a collected injection trace. Our second contribution focuses on providing a test oracle for verifying real time constraints. We propose a passive testing algorithm to check real time requirements, specified as a set of XCTL (eXplicit Clock Temporal Logic) formulas, on collected execution traces. Then, we propose a new robustness testing approach. It is a complementary approach that combines fault injection and passive testing for testing system robustness. The injected faults are specified as a set of Hoare triples and verified against the injection trace to validate the injection process. The robustness requirements are formalized as a set of XCTL formulas and are verified on collected execution traces. This approach allows one to inject a wide range of faults and can be used to test both simple and distributed systems. Finally, we propose an instantiation of our robustness testing approach for Web services. We chose Web services technology because it supports widely distributed and heterogeneous systems. It is therefore, a very good application example to show the efficiency of our approach.

Yes / An ultrasound sensor system has been applied to the mould of both the water and gas assisted injection moulding processes. The mould has a cavity wall mounted pressure sensor and instrumentation to monitor the injection moulding machine. Two ultrasound sensors are used to monitor the arrival of the fluid (gas or water) bubble tip through the detection of reflected ultrasound energy from the fluid polymer boundary and the fluid bubble tip velocity through the polymer melt is estimated. The polymer contact with the cavity wall is observed through the reflected ultrasound energy from that boundary. A theoretically based estimation of the residual wall thickness is made using the ultrasound reflection from the fluid (gas or water) polymer boundary whilst the samples are still inside the mould and a good correlation with a physical measurement is observed.

No description available.

No description available.