| 1. |
- Engström, Hans, et al.
(författare)
-
High power laser welding of thick construction steels
- 2000
-
Ingår i: Proceedings of the Laser Materials Processing Conference.. - Orlando, Fla : Laser institute of America. - 0912035609 ; , s. A42-A51
-
Konferensbidrag (refereegranskat)abstract
- Experimental results are reported from an investigation to develop a laser welding technique for welding thick (greater than 5 mm) construction steels. The construction steels investigated were: three grades of high strength Domex steels (6-8 mm thickness), high strength Weldox 500 (6 mm thickness) and wear resistant Hardox 400 (10-15 mm thickness). The following tests were performed to evaluate the laser welded joints: visual inspection, radiographic examination, macrophotographs, hardness, bending and tensile tests, and impact toughness tests. Three types of joint were studied: autogenous butt joints, filler welded butt joints and corner joints. Design opportunities for this process are also discussed.
|
|
| 2. |
- Engström, Hans, et al.
(författare)
-
Laser welding of thick structural steels
- 2001
-
Ingår i: 8th NOLAMP, Proceedings. - Lyngby : Technical University of Denmark. - 8790855329 ; , s. 93-104
-
Konferensbidrag (refereegranskat)abstract
- Experiments to determine process conditions for laser welding of thick structural steels are reported. Materials tested were: Domex 355, 460, 600 and 390, high strength, cold forming, microalloyed steels, 8-12 mm thickness; Weldox 960 high strength structural steel, 10 mm thickness; and Hardox 400 wear resistant steel, 10-15 mm thickness. Tests were performed using 12 and 17 kW lasers, with milled or laser cut edge preparation, various butt joint preparations, using autogenous and filler wire welding. Weld shape, microstructure and hardness, torsion fatigue strength, process envelopes for avoidance of solidification defects and laser optics requirements are reported.
|
|
| 3. |
|
|
| 4. |
- Engström, Hans, et al.
(författare)
-
Utveckling av lasersvetsteknik för detaljer i tjockt konstruktionsstål : ett projekt inom RACER - ett industristyrt utvecklingsprogram för laserbearbetning av abrasiv vattenstråleskärning
- 2000
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Svetsning med högeffektslaser erbjuder många fördelar jämfört med konventionella svetsmetoder; hög svetshastighet, låg eller oftast ingen förbrukning av tillsatsmaterial, lätt automatiserad, mycket hög svetskvalitet och framför allt liten värmepåverkan med liten, vanligen försumbar, formändring av arbetsstycket. CO2-lasrar med uteffekter på 20 kW samt den snabba utvecklingen av högeffekts Nd:YAG-laser kombinerad med fiberoptik erbjuder potentiellt stora utvecklingsmöjligheter för industriell användning inom området svetsning av tjocka material. F&U inom området lasersvetsning av tjock plåt pågår i Europa och är främst riktad mot varvsindustrin. I Sverige har ett initiativ tagits för att introducera tekniken hos tung fordons- och verkstadsindustri. Målet med projektet, som finansierats av NUTEK och deltagande projektpartners från industrin, har varit att vidareutveckla tekniken att lasersvetsa höghållfasta konstruktionsstål och introducera tekniken till i första hand tung fordons- och verkstadsindustri. Projektet har omfattat F&U av lasersvetsning av tjock plåt 8 - 15 mm i hållfasthetsområdet 280 - 960 MPa . Verkstadsindustriföretag och ståltillverkare har aktivt deltagit i projektet. Mekanisk hållfasthetsprovning och metallografiska studier av utförda svetsar har visat på mycket goda resultat i de flesta fall bättre än med konventionella svetsmetoder. Fortsatta försök med svetsade lådbalkar som tidigare provats avseende statisk hållfasthet och utmattningshållfasthet har uppvisat testresultat som överträffar de som svetsats med konventionella metoder. Svetsresultaten visar att lasersvetsning ger produktionsmässiga parameterfönster upp till plåttjocklek = 10 mm för de undersökta stålen. Från 12 mm och uppåt är resultaten hittills inte helt entydiga varför fortsatt utvecklingsarbete krävs för att öka förståelsen hos processen och för att vidareutveckla tekniken.
|
|
| 5. |
- Nilsson, Henrik, et al.
(författare)
-
Photon pathlength determination based on spatially resolved diffuse reflectance
- 2002
-
Ingår i: Journal of Biomedical Optics. - : SPIE-Intl Soc Optical Eng. - 1083-3668 .- 1560-2281. ; 7:3, s. 478-485
-
Tidskriftsartikel (refereegranskat)abstract
- A method for the prediction of the average photon pathlength in turbid media has been developed. The method is based on spatially resolved diffuse reflectance with discrete source detector distances up to 2 mm. Light reflectance was simulated using a Monte Carlo technique with a one-layer model utilizing a wide range of optical properties, relevant to human skin. At a source detector separation of 2 mm, the pathlength can vary sixfold due to differences in optical properties. By applying various preprocessing and prediction techniques, the pathlength can be predicted with a root-mean-square error of approximately 5%. Estimation of the photon pathlength can be used, e.g., to remove the influence of optical properties on laser Doppler flowmetry perfusion readings, which are almost linearly related to the average photon pathlength.
|
|
| 6. |
|
|
| 7. |
- Abdulla, Parosh Aziz, et al.
(författare)
-
Algorithmic Improvements in Regular Model Checking
- 2003
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Regular model checking is a form of symbolic model checking for parameterized and infinite-state systems, whose states can be represented as finite strings of arbitrary length over a finite alphabet, in which regular sets of words are used to represent sets of states. In earlier papers, we have developed methods for computing the transitive closure (or the set of reachable states) of the transition relation, represented by a regular length-preserving transducer. In this paper, we present several improvements of these techniques, which reduce the size of intermediate approximations of the transitive closure: One improvement is to pre-process the transducer by \em bi-determinization, another is to use a more powerful equivalence relation for identifying histories (columns) of states in the transitive closure. We also present a simplified theoretical framework for showing soundness of the optimization, which is based on commuting simulations. The techniques have been implemented, and we report the speedups obtained from the respective optimizations.
|
|
| 8. |
- Abdulla, Parosh Aziz, et al.
(författare)
-
Regular Model Checking for LTL(MSO)
- 2004
-
Ingår i: Proc. 16th Int. Conf. on Computer Aided Verification, LNCS.
-
Tidskriftsartikel (refereegranskat)
|
|
| 9. |
|
|
| 10. |
- Abdulla, Parosh, et al.
(författare)
-
A Survey of Regular Model Checking.
- 2004
-
Ingår i: CONCUR 2004 - Concurrency Theory. - 354022940X ; , s. 35-48
-
Konferensbidrag (refereegranskat)abstract
- Regular model checking is being developed for algorithmic verification of several classes of infinite-state systems whose configurations can be modeled as words over a finite alphabet. Examples include parameterized systems consisting of an arbitrary number of homogeneous finite-state processes connected in a linear or ring-formed topology, and systems that operate on queues, stacks, integers, and other linear data structures. The main idea is to use regular languages as the representation of sets of configurations, and finite-state transducers to describe transition relations. In general, the verification problems considered are all undecidable, so the work has consisted in developing semi-algorithms, and decidability results for restricted cases. This paper provides a survey of the work that has been performed so far, and some of its applications.
|
|
