In the present study, the optimal design of feeding system in steel sand-mold castings is considered. The first part of this research includes fundamental studies on the physics of shrinkage defect formation during the casting process. The results of these studies lead to new findings on the mechanism of shrinkage defect formation, effect of melt quality on the distribution of defects within the castings and the connection between shrinkage and gases defects. The theoretical analysis of thermal criterion functions for the prediction of shrinkage defects in castings and introducing new criterion function with fewer shortcomings can be accounted as the other finding of this part. A new model was introduced in the second part of this research for the purpose of optimal design of feeding system in the shape casting processes. In this model the optimal design problem is formulated as a point-wise constrained topology optimization problem. Unlike alternative methods, the presented method does not require any predesigned feeding system as an initial guess. Using the functional analysis on the infinite-dimensional function spaces, a numerically efficient method was introduced to solve the optimal design problem in this study. By using extensive numerical experiments, capabilities and limitations of the presented method were studied in the last part of this research.

Boolean functions are the main building blocks of most cipher systems. Various aspects of their cryptological characteristics are examined and investigated by many researchers from different fields. This thesis has no claim to obtain original results but consists in an attempt at giving a unified survey of the main results of the subject. In this thesis, the theory of boolean functions is presented in details, emphasizing some important cryptological properties such as balance, nonlinearity, strict avalanche criterion and propagation criterion. After presenting many results about these criteria with detailed proofs, two upper bounds and two lower bounds on the nonlinearity of a boolean function due to Zhang and Zheng are proved. Because of their importance in the theory of boolean functions, construction of Sylvester-Hadamard matrices are shown and most of their properties used in cryptography are proved. The Walsh transform is investigated in detail by proving many properties. By using a property of Sylvester-Hadamard matrices, the fast Walsh transform is presented and its application in finding the nonlinearity of a boolean function is demonstrated. One of the most important classes of boolean functions, so called bent functions, are presented with many properties and by giving several examples, from the paper of Rothaus. By using bent functions, relations between balance, nonlinearity and propagation criterion are presented and it is shown that not all these criteria can be simultaneously satisfied completely. For this reason, several constructions of functions optimizing these criteria which are due to Seberry, Zhang and Zheng are presented.

published_or_final_version / Education / Master / Master of Education

This paper intend to find the proper hypothesis and test statistic for testing existence of bilaterally contamination when there exists nuisance parameter. The test statistic is based on method of moments estimators. Union-Intersection test is used for testing if the distribution of population can be implemented by a bilaterally contaminated normal model with unknown variance. This paper also developed a hierarchical normal mixture model (HNM) and applied it to birth weight data. EM algorithm is employed for parameter estimation and a singular Bayesian information criterion (sBIC) is applied to choose the number components. We also proposed a singular flexible information criterion which in addition involves a data-driven penalty.

The main goal of this thesis is to develop Bayesian model for studying the influence of covariate on dependence between random variables. Conditional copula models are flexible tools for modelling complex dependence structures. We construct Bayesian inference for the conditional copula model adapted to regression settings in which the bivariate outcome is continuous or mixed (binary and continuous) and the copula parameter varies with covariate values. The functional relationship between the copula parameter and the covariate is modelled using cubic splines. We also extend our work to additive models which would allow us to handle more than one covariate while keeping the computational burden within reasonable limits. We perform the proposed joint Bayesian inference via adaptive Markov chain Monte Carlo sampling. The deviance information criterion and cross-validated marginal log-likelihood criterion are employed for three model selection problems: 1) choosing the copula family that best fits the data, 2) selecting the calibration function, i.e., checking if parametric form for copula parameter is suitable and 3) determining the number of independent variables in the additive model. The performance of the estimation and model selection techniques are investigated via simulations and demonstrated on two data sets: 1) Matched Multiple Birth and 2) Burn Injury. In which of interest is the influence of gestational age and maternal age on twin birth weights in the former data, whereas in the later data we are interested in investigating how patient’s age affects the severity of burn injury and the probability of death.

The main goal of this thesis is to develop Bayesian model for studying the influence of covariate on dependence between random variables. Conditional copula models are flexible tools for modelling complex dependence structures. We construct Bayesian inference for the conditional copula model adapted to regression settings in which the bivariate outcome is continuous or mixed (binary and continuous) and the copula parameter varies with covariate values. The functional relationship between the copula parameter and the covariate is modelled using cubic splines. We also extend our work to additive models which would allow us to handle more than one covariate while keeping the computational burden within reasonable limits. We perform the proposed joint Bayesian inference via adaptive Markov chain Monte Carlo sampling. The deviance information criterion and cross-validated marginal log-likelihood criterion are employed for three model selection problems: 1) choosing the copula family that best fits the data, 2) selecting the calibration function, i.e., checking if parametric form for copula parameter is suitable and 3) determining the number of independent variables in the additive model. The performance of the estimation and model selection techniques are investigated via simulations and demonstrated on two data sets: 1) Matched Multiple Birth and 2) Burn Injury. In which of interest is the influence of gestational age and maternal age on twin birth weights in the former data, whereas in the later data we are interested in investigating how patient’s age affects the severity of burn injury and the probability of death.

Boolean functions are accepted to be cryptographically strong if they satisfy some common pre-determined criteria. It is expected that any design criteria should remain invariant under a large group of transformations due to the theory of similarity of secrecy systems proposed by Shannon. One of the most important design criteria for cryptographically strong Boolean functions is the nonlinearity criterion. Meier and Staffelbach studied nonlinearity preserving transformations, by considering the invertible transformations acting on the arguments of Boolean functions, namely the pre-transformations. In this thesis, first, the results obtained by Meier and Staffelbach are presented. Then, the invertible transformations acting on the truth tables of Boolean functions, namely the post-transformations, are studied in order to determine whether they keep the nonlinearity criterion invariant. The equivalent counterparts of Meier and Staffelbach&rsquo / s results are obtained in terms of the post-transformations. In addition, the existence of nonlinearity preserving post-transformations, which are not equivalent to pre-transformations, is proved. The necessary and sufficient conditions for an affine post-transformation to preserve nonlinearity are proposed and proved. Moreover, the sufficient conditions for an non-affine post-transformation to keep nonlinearity invariant are proposed. Furthermore, it is proved that the smart hill climbing method, which is introduced to improve nonlinearity of Boolean functions by Millan et. al., is equivalent to applying a post-transformation to a single Boolean function. Finally, the necessary and sufficient condition for an affine pre-transformation to preserve the strict avalanche criterion is proposed and proved.

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)

L'objectif de ce travail de thèse a été de modéliser avec une méthode aux éléments discrets la fracturation en tension, et plus particulièrement la fragmentation dynamique, sur des matériaux fragiles pour de hautes vitesses de déformation. La fragmentation est un phénomène irréversible, non linéaire et aléatoire. Elle intervient dans de nombreux domaines de la vie courante, quelque soit l'échelle considérée. La modélisation numérique de ce phénomène permettrait une prédiction de certains paramètres statistiques de la fragmentation, comme le nombre de fragments, la taille des fragments, la distribution de la taille des fragments, etc. Pour cette thèse, la Méthode des Éléments Discrets (DEM) s'est révélée être un excellent moyen pour simuler la fracturation en raison de sa nature discrète. Toutefois, une bonne méthode de simulation numérique ne suffit pas à elle seule pour modéliser la fragmentation dynamique. Un critère de rupture doit également être inséré, afin d'introduire un endommagement. Ce critère de rupture s'écrit au niveau d'un lien entre deux particules et il engendre un dommage, en faisant décroître la contrainte locale jusqu'à l'obtention d'une fissuration discrète. Dans un premier temps, un critère de rupture de Camacho-Ortiz |24| a été introduit dans une méthode aux éléments discrets. Ce critère se traduit par un endommagement en fonction d'une ouverture de fissure. Ce premier critère a donné de bons résultats comparé à ceux de |69, 88, 97, 143-147| sur la convergence des paramètres de la fragmentation sur des cas simples, mais nécessite un grand nombre de particules. Dans un second temps, afin d'envisager la modélisation de la fragmentation sur des cas plus complexes en trois dimensions à de hautes vitesses de déformation, un second critère de rupture a été introduit. Ce critère de rupture s'appuie sur une approche physique différente, qui prend en compte l'hétérogénéité des matériaux fragiles avec leurs défauts susceptibles d'évoluer et de provoquer une rupture locale. Pour cela, il fait intervenir une loi probabiliste de Weibull afin d'introduire des défauts par élément de volume. Ce critère a été développé par C. Denoual, P. Forquin et F. Hild |29, 33, 42-44|. Tout d'abord, ce second critère de rupture a été testé sur des cas simples en obtenant une convergence des paramètres statistiques de la fragmentation avec un nombre environ $10$ fois moins important de particules que pour la première méthode. Un cas plus complexe en trois dimensions de modélisation de barre d'Hopkinson en trois dimensions a permis de tester de manière « qualitative » la méthode. / The objective of this thesis work is to model the high-strain rate and dynamic fragmentation of brittle materials using the Discrete Element Method. Fragmentation is an irreversible, nonlinear and random phenomenon.It can be found in many practical applications in engineering and can take place at various length scales. This research work takes advantages of computer simulations to model this phenomenon and to predict a few statistical parameters related to fragmentation including number, size, and size distribution of fragments. To this effect, the Discrete Element Method was found to simulate efficiently fracturing, which is a discrete phenomenon by nature. However, an efficient computer simulation is not sufficient for representing fragmentation. It also needs to account for a rupture criterion and a damage criterion. This rupture criterion is defined at the contact points between particles where it generates a local damage that decreases the local stress until a discrete crack appears. In a first step, the rupture criterion of Camacho-Ortiz |24| has been introduced in the Discrete Element Method. This criterion expresses damage as a function of crack opening. When the local stress reaches a rupture threshold, it decreases linearly with the crack opening until the rupture is obtained. This first criterion gives good results on the convergence of fragmentation parameters in simple cases |69, 88, 97, 143-147|, but requires a great number of particles. In a second step, another rupture criterion has been introduced for simulating the fragmentation of more complex three-dimensional structures for high-strain rates. This rupture criterion is based on a different physical approach that accounts for heterogeneous brittle materials with defects. These defects can evolve and cause local failure. They are introduced per unit volume elementusing a Weibull probability distribution |29, 33, 42-44|. This distribution depends on the local stress until the local stress reaches an activation threshold. After that, the defects propagate and form areas of relaxation in which defect cannot evolve. The damage evolves as these areas of relaxation evolve. This second rupture criterion has been validated in simple cases by examining the convergence of the statistical parameters of fragmentation. Compared to the first criterion, the second criterion requires ten times fewer particles. After, a more complex three-dimensional case, dynamic tensile tests in Hopkinson bars, has been treated.

An ongoing debate within the field of Second Language Acquisition (SLA) discusses the possibility of universal developmental stages in the interlanguage of second language learners. Processability Theory (PT) is one of the theories that enhances this way of thinking about second language acquisition. The belief is that learners go through the same stages of development when learning a new language. An ongoing process in PT is the construction of these developmental stages for individual languages, but today there is still much work needed in this area. The purpose of this thesis is to construct the developmental stages for Dutch, based on an error analysis of second language learners’ interlanguage. The data was collected from Swedish students learning Dutch on a university level. The students were interviewed once per month, and three times in total, so that no developments in their interlanguage could be missed. The data is processed according to the emergence criterion, resulting in developmental tables of the learners’ progress. The result of these interviews provides for the outline on how one acquires Dutch, and together with a grammatical analysis of Dutch word order procedures and morphology, a developmental hierarchy for the acquisition of Dutch according to PT is constructed. / I den här studien undersökas den nederländska språkinlärningsprocessen inom ramen av Processbarhetsteorin (PT). PT antar att inlärningsprocessen sker genom universella stadier. Dessa har skapats och forskats för flera olika sprak, men inte för nederländska. I den här uppsatsen kommer den nederländska morfologin och ordföljden att analyseras enligt PT’s stadier, och skapas en hierarki för nederländska. Samtidigt blir hierarkin testad genom en longitudenell studie av inlärningsprocessen av svenska studenter som lär sig nederländska. Dessutom diskuteras frågan om möjlig transfer från både det första och andra språket. Sen debatteras frågan om emergence criterion och procentsatser, och därmed skillnaden mellan språkinlärning och språkbehärskning. Resultatet är en granskning av den egna skapade hierarkin, och möjliga förklarningar för deras inlärningsprocess.