<p>Landminor är ett stort problem både under och efter krigstid. De metoder som används för att detektera minor har inte ändrats mycket sedan 1940-talet. Forskning med mål att utvärdera olika elektro-optiska sensorer och metoder som skulle kunna användas för att skapa mer effektiv min-detektion genomförs på FOI. Försök som har gjorts med data från bland annat laser-radar och IR-sensorer har gett intressanta resultat.</p><p>I det här examensarbetet utvärderades olika fenomen och egenskaper i laser-radar- och IR-data. De testade egenskaperna var intensitet, IR, ytlikhet och höjd.</p><p>En metod som segmenterar intressanta objekt och bakgrundsdata utformades och implementerades. Metoden använde sig av expectation-maximization-skattning och ett minimum message length-kriterium. Ett scatter separability-kriterium användes för att bestämma kvalitén på de olika egenskaperna och på den resulterande segmenteringen.</p><p>Data insamlad under en mätkampanj av FOI användes för att testa metoden. Resultatet visade bland annat att ytlikhetsmåttet gav en bra segmentering för stora objekt med släta ytor, men var sämre för små objekt med skrovliga ytor. Vid jämförelse med en manuellt skapad mål-mask visade det sig att metoden klarade av att välja ut egenskaper som i många fall gav en godkänd segmentering.</p> / <p>Land mines are a huge problem in conflict time and after. Methods used to detect mines have not changed much since the 1940's. Research aiming to evaluate output from different electro-optical sensors and develop methods for more efficient mine detection is performed at FOI. Early experiments with laser radar sensors show promising results, as do analysis of data from infrared sensors.</p><p>In this thesis, an evaluation is made of features found in laser radar- and in infrared -sensor data. The tested features are intensity, infrared, a surfaceness feature extracted from the laser radar data and height above an estimated ground plane.</p><p>A method for segmenting interesting objects from background data using theexpectation-maximization algorithm and a minimum message length criterion is designed and implemented. A scatter separability criterion is utilized to determine the quality of the features and the resulting segmentation.</p><p>The method is tested on real data from a field trial performed by FOI. The results show that the surfaceness feature supports the segmentation of larger object with smooth surfaces but gives no contribution to small object with irregular surfaces. The method produces a decent result of selecting contributing features for different neighbourhoods of a scene. A comparison with a manually created target mask of the neighbourhood and the segmented components show that in most cases a high percentage separation of mine data and background data is possible.</p>

Landminor är ett stort problem både under och efter krigstid. De metoder som används för att detektera minor har inte ändrats mycket sedan 1940-talet. Forskning med mål att utvärdera olika elektro-optiska sensorer och metoder som skulle kunna användas för att skapa mer effektiv min-detektion genomförs på FOI. Försök som har gjorts med data från bland annat laser-radar och IR-sensorer har gett intressanta resultat. I det här examensarbetet utvärderades olika fenomen och egenskaper i laser-radar- och IR-data. De testade egenskaperna var intensitet, IR, ytlikhet och höjd. En metod som segmenterar intressanta objekt och bakgrundsdata utformades och implementerades. Metoden använde sig av expectation-maximization-skattning och ett minimum message length-kriterium. Ett scatter separability-kriterium användes för att bestämma kvalitén på de olika egenskaperna och på den resulterande segmenteringen. Data insamlad under en mätkampanj av FOI användes för att testa metoden. Resultatet visade bland annat att ytlikhetsmåttet gav en bra segmentering för stora objekt med släta ytor, men var sämre för små objekt med skrovliga ytor. Vid jämförelse med en manuellt skapad mål-mask visade det sig att metoden klarade av att välja ut egenskaper som i många fall gav en godkänd segmentering. / Land mines are a huge problem in conflict time and after. Methods used to detect mines have not changed much since the 1940's. Research aiming to evaluate output from different electro-optical sensors and develop methods for more efficient mine detection is performed at FOI. Early experiments with laser radar sensors show promising results, as do analysis of data from infrared sensors. In this thesis, an evaluation is made of features found in laser radar- and in infrared -sensor data. The tested features are intensity, infrared, a surfaceness feature extracted from the laser radar data and height above an estimated ground plane. A method for segmenting interesting objects from background data using theexpectation-maximization algorithm and a minimum message length criterion is designed and implemented. A scatter separability criterion is utilized to determine the quality of the features and the resulting segmentation. The method is tested on real data from a field trial performed by FOI. The results show that the surfaceness feature supports the segmentation of larger object with smooth surfaces but gives no contribution to small object with irregular surfaces. The method produces a decent result of selecting contributing features for different neighbourhoods of a scene. A comparison with a manually created target mask of the neighbourhood and the segmented components show that in most cases a high percentage separation of mine data and background data is possible.

Markovo proceso tikimybinio mato absoliutaus tolydumo nesudėtingos sąlygos leidžia gauti atitinkamų statistinių eksperimentų tikėtinumo santykio pavidalą, kurio asimptotinės savybės susijusios su dviejų paprastų hipotezių asimptotiniais atskyrimo uždaviniais, kai yra taikomas maksimalaus tikėtinumo arba minimakso kriterijus. Tų paprastų hipotezių asimptotinis atskyrimas yra charakterizuojamas 1-os ir 2-os rūšies klaidos tikimybėmis, kurių asimptotinis elgesys priklausomai nuo optimalaus statistinio kriterijaus parinkimo užsirašo dvejomis formulėmis. Maksimalaus kriterijaus atveju tokia formulė buvo gauta bendriausiu atveju, tik nebuvo pritaikyta Markovo procesui su dideliu būsenų skaičiumi. Šiame darbe kaip tik parodyti šie taikymai. Taikant maksimalaus tikėtinumo kriterijų (Neimono-Pirsono) atitinkamas rezultatas buvo gautas tik tuo atveju, kai stebėjimai yra nepriklausomi ir vienodai pasiskirstę. Analogiškas rezultatas gautas bendriausiu atveju – gautos sąlygos, kada galioja atitinkama asimptotinė formulė. Kartu, pavyzdžiuose yra parodyti šios asimptotinės formulės taikymai, kai stebimas Markovo procesas su dideliu būsenų skaičiumi. / Absolute continuity simple conditions of probabilistic measure of Markov process allows you to get relevand statistical experiments likelihood ratio form, which asymptotic properties is associated with the asymptotic separation of the two simple hypotheses tasks, when is applied maximum likelihood (Neiman-Pirson) or minimax criterion. That asymptotic separation of the two simple hypothesis is characterized by type I and type II errors of probability, which asymptotic behavior depending on the optimal statistical criterion selection note down by two formulas. In maximum likelihood criterion case, formula was obtained on a very general case, not only been applied of the Markov process with a large number of states. These applications are shown at this work. Using maximum likelihood criterion (Neiman-Pirson) corresponding result was obtained only in that case, when observations are independent and identically distributed. Analogous result were obtained on a very general case – from conditions, when is valid the asymptotic formula. In examples of this work are shown that asymptotic formula applications, when is observed Markov process with a large number of states.

In this paper, we provide a complete survey of the important criteria for permutation polynomials over finite fields, including the classical Hermite-Dickson's Criterion and the recent Wan-Turnwald's Criterion. We review the various proofs of these criteria and give new proofs of them.

L'adhérence moléculaire est une technique d’assemblage basée sur la mise en contact directe de deux surfaces sans utiliser aucune colle ou produit spécifique à l’interface. Une telle opération nécessite que les surfaces à coller soient suffisamment lisses et qu’elles soient suffisamment rapprochées pour provoquer l’adhérence moléculaire. La caractérisation de la tenue mécanique de ce type d’assemblage par des essais mécaniques classiques de type pelage, clivage ou double cisaillement présentent des dispersions de mesures très importantes.Le premier objectif de ce travail concerne la conception et le développement d’un nouvel essai pour l’analyse de l’amorçage de fissure permettant d’obtenir des résultats moins dispersés que les essais classiques notamment pour des colles fragiles de faible épaisseur comme l’adhésion moléculaire. Seul le mode I a été étudié et un montage de type DCB modifié a été proposé pour étudier l’amorçage pour différentes géométries de bord (homogène, concentration de contrainte élevée, …).Le second objectif se propose, en partant des différents résultats expérimentaux obtenues, de comparer des approches (PSC, CC, MZC) qui permettent de prédire l’amorçage de la fissure pour des colles fragiles et en particulier pour l’adhérence moléculaire. L’idée est de proposer une solution simple aux ingénieurs souhaitant prédire la rupture dans un assemblage collé avec une épaisseur de colle tendant vers zéro. / Direct bonding by molecular adhesion is a bonding technique based on joining two surfaces into direct contact without the use of any adhesives or additional material. Such an operation requires the surfaces that are to be bonded to be sufficiently smooth and for them to be sufficiently close together to allow contact to be initiated. Mechanical characterization of this type of assembly with classical mechanical test as for instance wedge test, cleavage test or double shear test present a highly defects sensitivity on mechanical results.The first objective of this work concerns the design and the development of a new test for the analysis of crack initiation in order to obtain results less dispersed than conventional tests particularly for fragile adhesives with small thickness as molecular bonding. Only the mode I was investigated and an experimental device based on modified DBC classical test is proposed to study crack initiation with different edge geometries (homogeneous, high stress concentration).The second objective proposed, in starting from the different experimental results obtained, to compare some approaches (PSC, CC, MZC) to predict crack initiation for fragile adhesives and in particular for molecular bonding. The idea is to propose a simple methodology for engineers in order to predict fracture in an assembly bonded with an adhesive thickness close to zero.

No description available.

With increasing fuel costs and the current drive to reduce greenhouse gas emissions and fuel consumption, a need to reduce vehicle weight is apparent. Weight reduction can be achieved by replacing conventionally stamped structural members with hydroformed parts. The weight reduction can be further enhanced by reducing the thickness of the hydroformed members through the use of advanced high strength steel (AHSS). A primary limitation in hydroforming AHSS, is the limited ductility or formability of these materials. This limitation becomes acute in multi-stage forming operations in which strain path changes become large making it difficult to predict formability. Thus, the focus of the current work is to study the effects of pre-bending on the subsequent hydroformability of Dual-Phase DP600 steel tubes. As part of this effort, the effect of key bending and hydroforming process parameters, bending boost and hydroforming end-feed, have been studied in a parametric fashion. <br /><br /> Multi-step pre-bending and hydroforming experiments were performed on 76. 2 mm (3. 0") OD tubes with a wall-thickness of 1. 85mm (DP600). Experiments were also performed on 1. 74mm Interstitial Free (IF) steel tube, which provided a low strength, high formability baseline material for comparison purposes. A fully instrumented servo-hydraulic mandrel-rotary draw tube bender was used in the pre-bending experiments in which various levels of boost were applied. The results showed that increased boost reduced the major (tensile) strain and thinning at the outside of the bend. At the inside of the bend, the compressive minor strain became larger and thickening increased. <br /><br /> Hydroforming of the straight and pre-bent tubes was conducted using various levels of load-control end-feed (EF). For both straight and pre-bend tube hydroforming, an increase in hydroforming EF resulted in increased burst pressure and corner-fill expansion (CFE). The effect of bending boost on CFE was also measured. For a given hydroforming EF case, a tube bent with greater boost achieved a higher burst pressure and consequently a greater CFE which increased the hydroformability of the material. Pre-bending was shown to consume a considerable amount of the formability of the tube in the hydroforming experiments. For the same EF case, the pre-bent tubes could only achieve a fraction of the straight tube CFE at burst. <br /><br /> The pre-bending and hydroforming experiments were complimented by finite element simulation in the hope of providing additional insight into these processes. The finite element (FE) models were able to accurately predict the strain and thickness changes imposed during pre-bending. The models were able to accurately predict the CFE, EF displacement, and strain and thickness distributions after hydroforming. <br /><br /> The extended stress-based forming limit curve (XSFLC) failure criterion was applied to predict failure (onset of necking) during hydroforming, which was measured as the burst pressure in the experiments. For straight tube hydroforming, the XSFLC predicted the correct failure pressure versus hydroforming EF load trend, but over predicted the failure pressures. In pre-bend hydroforming, the models were able to capture the effect of bending boost and hydroforming EF on the hydroformability of the tubes. The XSFLC was able to capture the drop in formability for bending versus straight tube hydroforming, but was unable to capture the failure pressure versus hydroforming EF load trend or magnitude. Further work is required to make the XSFLC applicable to straight and pre-bend hydroforming.

With increasing fuel costs and the current drive to reduce greenhouse gas emissions and fuel consumption, a need to reduce vehicle weight is apparent. Weight reduction can be achieved by replacing conventionally stamped structural members with hydroformed parts. The weight reduction can be further enhanced by reducing the thickness of the hydroformed members through the use of advanced high strength steel (AHSS). A primary limitation in hydroforming AHSS, is the limited ductility or formability of these materials. This limitation becomes acute in multi-stage forming operations in which strain path changes become large making it difficult to predict formability. Thus, the focus of the current work is to study the effects of pre-bending on the subsequent hydroformability of Dual-Phase DP600 steel tubes. As part of this effort, the effect of key bending and hydroforming process parameters, bending boost and hydroforming end-feed, have been studied in a parametric fashion. <br /><br /> Multi-step pre-bending and hydroforming experiments were performed on 76. 2 mm (3. 0") OD tubes with a wall-thickness of 1. 85mm (DP600). Experiments were also performed on 1. 74mm Interstitial Free (IF) steel tube, which provided a low strength, high formability baseline material for comparison purposes. A fully instrumented servo-hydraulic mandrel-rotary draw tube bender was used in the pre-bending experiments in which various levels of boost were applied. The results showed that increased boost reduced the major (tensile) strain and thinning at the outside of the bend. At the inside of the bend, the compressive minor strain became larger and thickening increased. <br /><br /> Hydroforming of the straight and pre-bent tubes was conducted using various levels of load-control end-feed (EF). For both straight and pre-bend tube hydroforming, an increase in hydroforming EF resulted in increased burst pressure and corner-fill expansion (CFE). The effect of bending boost on CFE was also measured. For a given hydroforming EF case, a tube bent with greater boost achieved a higher burst pressure and consequently a greater CFE which increased the hydroformability of the material. Pre-bending was shown to consume a considerable amount of the formability of the tube in the hydroforming experiments. For the same EF case, the pre-bent tubes could only achieve a fraction of the straight tube CFE at burst. <br /><br /> The pre-bending and hydroforming experiments were complimented by finite element simulation in the hope of providing additional insight into these processes. The finite element (FE) models were able to accurately predict the strain and thickness changes imposed during pre-bending. The models were able to accurately predict the CFE, EF displacement, and strain and thickness distributions after hydroforming. <br /><br /> The extended stress-based forming limit curve (XSFLC) failure criterion was applied to predict failure (onset of necking) during hydroforming, which was measured as the burst pressure in the experiments. For straight tube hydroforming, the XSFLC predicted the correct failure pressure versus hydroforming EF load trend, but over predicted the failure pressures. In pre-bend hydroforming, the models were able to capture the effect of bending boost and hydroforming EF on the hydroformability of the tubes. The XSFLC was able to capture the drop in formability for bending versus straight tube hydroforming, but was unable to capture the failure pressure versus hydroforming EF load trend or magnitude. Further work is required to make the XSFLC applicable to straight and pre-bend hydroforming.

This dissertation aims to study the benefit of rail grinding on service life of railroad rails, focusing on failures due to rolling contact fatigue (RCF) at the rail head. Assuming a tangent rail with one-point contact at the running surface, a finite element analysis of a full-scale wheel-rail rolling contact with a nonlinear isotropic kinematic hardening material model is performed to simulate the accumulation of residual stresses and strains in the rail head. Using rolling stress and strain results from the sixth loading cycle, in which residual stresses and strains are at their steady-state, as input, two critical plane fatigue criteria are proposed for fatigue analyses. The first fatigue criterion is the stress-based approach—namely the Findley fatigue criterion. It suggests an important role of tensile residual stresses on subsurface crack nucleation and early growth in the rail head, but applications of the criterion to the near-running-surface region are limited because of plastic deformation from wheel-rail contact. The second fatigue criterion is the strain-based approach—namely the Fatemi-Socie fatigue criterion. Contributed mainly from shear strain amplitudes and factorized by normal stress components, the criterion also predicts fatigue crack nucleation at the subsurface as a possible failure mode as well as fatigue crack nucleation at the near-surface, while maintaining its validity in both regions. A collection of fatigue test data of various types of rail steel from literature is analyzed to determine a relationship between fatigue damages and number of cycles to failure. Considering a set of wheel loads with their corresponding number of rolling passage as a loading unit (LU), optimizations of grinding schedules with genetic algorithm (GA) show that fatigue life of rail increases by varying amount when compared against that from the no-grinding case. Results show that the proposed grinding schedules, optimized with the exploratory and local-search genetic algorithms, can increase fatigue life of rail by 240 percent. The optimization framework is designed to be able to determine a set of optimal grinding schedules for different types of rail steel and different contact configurations, i.e. two-point contact occurred when cornering.

This dissertation deals with the moral permissibility of abortion. It is argued that abortion is morally justifiable when the pregnancy is a result of rape (but only during the first trimester of pregnancy), when the pregnancy threatens the woman's life or long-term health, or when tests indicate to a high degree of scientific certainty that the foetus will be abnormal to such an extent, so as never to be capable of acquiring any human characteristics other than basic biological properties. Potential is adopted as a suitable criterion by which a being acquires a serious right to life. Rationality is examined closely, but shown to be inadequate since it leads to inconsistencies and does not accord with our general belief and sentiments. It is argued that all living beings have some right to life, but that sentient beings have more moral standing than nonsentient ones. Potential is argued to be the suitable comparison criterion when comparing beings of different species, and sentience when comparing beings of the same species. The dissertation is rights-oriented and reasons are given why this approach was adopted in favour of a virtue-oriented one. It is argued that a rights-oriented approach is more precise. / Philosophy, Practical and Systemic Theology / M.A. (Philosophy)