Short story

Digitoitu 14. 1. 2009

Aumento da resposta analítica por meio da otimização do sistema de injeção sem divisão de fluxo em cromatografia gasosa empregando a lei dos gases ideais

This paper reports the development of an easy, fast and effective procedure for the verification of the ideal gas law in splitless injection systems in order to improve the response. Results of a group of pesticides were used to demonstrate the suitability of the approach. The procedure helps establish experimental parameters through theoretical aspects. The improved instrumental response allowed extraction with lower sample volumes, the minimization of time and costs and the simplification of sample preparation.

Segmental Durations of Speech

This dissertation considers the segmental durations of speech from the viewpoint of speech technology, especially speech synthesis. The idea is that better models of segmental durations lead to higher naturalness and better intelligibility. These features are the key factors for better usability and generality of synthesized speech technology. Even though the studies are based on a Finnish corpus the approaches apply to all other languages as well. This is possibly due to the fact that most of the studies included in this dissertation are about universal effects taking place on utterance boundaries. Also the methods invented and used here are suitable for any other study of another language. This study is based on two corpora of news reading speech and sentences read aloud. The other corpus is read aloud by a 39-year-old male, whilst the other consists of several speakers in various situations. The use of two corpora is twofold: it involves a comparison of the corpora and a broader view on the matters of interest. The dissertation begins with an overview to the phonemes and the quantity system in the Finnish language. Especially, we are covering the intrinsic durations of phonemes and phoneme categories, as well as the difference of duration between short and long phonemes. The phoneme categories are presented to facilitate the problem of variability of speech segments. In this dissertation we cover the boundary-adjacent effects on segmental durations. In initial positions of utterances we find that there seems to be initial shortening in Finnish, but the result depends on the level of detail and on the individual phoneme. On the phoneme level we find that the shortening or lengthening only affects the very first ones at the beginning of an utterance. However, on average, the effect seems to shorten the whole first word on the word level. We establish the effect of final lengthening in Finnish. The effect in Finnish has been an open question for a long time, whilst Finnish has been the last missing piece for it to be a universal phenomenon. Final lengthening is studied from various angles and it is also shown that it is not a mere effect of prominence or an effect of speech corpus with high inter- and intra-speaker variation. The effect of final lengthening seems to extend from the final to the penultimate word. On a phoneme level it reaches a much wider area than the initial effect. We also present a normalization method suitable for corpus studies on segmental durations. The method uses an utterance-level normalization approach to capture the pattern of segmental durations within each utterance. This prevents the impact of various problematic variations within the corpora. The normalization is used in a study on final lengthening to show that the results on the effect are not caused by variation in the material. The dissertation shows an implementation and prowess of speech synthesis on a mobile platform. We find that the rule-based method of speech synthesis is a real-time software solution, but the signal generation process slows down the system beyond real time. Future aspects of speech synthesis on limited platforms are discussed. The dissertation considers ethical issues on the development of speech technology. The main focus is on the development of speech synthesis with high naturalness, but the problems and solutions are applicable to any other speech technology approaches.

Tuoteryhmän kehitysprojektin optimointi

Tämä diplomityö toteutettiin Sammet Dampers Oy:ltä saatuna toimeksiantona. Yritys haluaa yhä parempia tuloksia tuoteryhmien kehitysprojekteista, jolloin se asettaa vaatimuksia kehitysprojekteissa käytettävälle kehitysprosessille. Yrityksen täytyy optimoida ja systematisoida käytettävää menetelmää, jotta näihin parempiin tuloksiin voidaan päästä. Työn ensimmäisenä tavoitteena on optimoida yrityksen käytössä oleva tuoteryhmien kehitysprojekteissa käytettävä prosessimalli. Tavoitteen mukaisesti työssä luodaan uusi optimoitu tuoteryhmien kehitysprosessimalli, joka vastaa yrityksen tarpeisiin. Tämä uusi malli kirjataan osaksi yrityksen toiminnanohjausjärjestelmää. Työn toisena tavoitteena on käyttää uutta optimoitua prosessimallia kellopeltien tuoteryhmän kehitysprojektissa. Tätä kehitysprojektia käytetään samalla uuden prosessimallin sisäänajamiseen osaksi yrityksen toimintoja.Tämän diplomityön puitteissa kellopeltien kehitysprojektista käydään läpi kehitysprojektin ensimmäinen osio eli vaatimustenmäärittelyprosessi ja esitellään sen tuloksena syntynyt toteutussuunnitelma. Työn tuloksena syntyneen uuden tuoteryhmien kehitysprojektin prosessimallin avulla voidaan saavuttaa merkittäviä parannuksia tarkasteltaessa kehitysprojektin tuloksia ajankäytön, laadun ja kustannusten suhteen.

A proposal for a repertoire of software testing methods

Nowadays software testing and quality assurance have a great value in software development process. Software testing does not mean a concrete discipline, it is the process of validation and verification that starts from the idea of future product and finishes at the end of product’s maintenance. The importance of software testing methods and tools that can be applied on different testing phases is highly stressed in industry. The initial objectives for this thesis were to provide a sufficient literature review on different testing phases and for each of the phases define the method that can be effectively used for improving software’s quality. Software testing phases, chosen for study are: unit testing, integration testing, functional testing, system testing, acceptance testing and usability testing. The research showed that there are many software testing methods that can be applied at different phases and in the most of the cases the choice of the method should be done depending on software type and its specification. In the thesis the problem, concerned to each of the phases was identified; the method that can help in eliminating this problem was suggested and particularly described.

Magnetic Resonance Experiments with Atomic Hydrogen

In this thesis three experiments with atomic hydrogen (H) at low temperatures T<1 K are presented. Experiments were carried out with two- (2D) and three-dimensional (3D) H gas, and with H atoms trapped in solid H2 matrix. The main focus of this work is on interatomic interactions, which have certain specific features in these three systems considered. A common feature is the very high density of atomic hydrogen, the systems are close to quantum degeneracy. Short range interactions in collisions between atoms are important in gaseous H. The system of H in H₂ differ dramatically because atoms remain fixed in the H₂ lattice and properties are governed by long-range interactions with the solid matrix and with H atoms. The main tools in our studies were the methods of magnetic resonance, with electron spin resonance (ESR) at 128 GHz being used as the principal detection method. For the first time in experiments with H in high magnetic fields and at low temperatures we combined ESR and NMR to perform electron-nuclear double resonance (ENDOR) as well as coherent two-photon spectroscopy. This allowed to distinguish between different types of interactions in the magnetic resonance spectra. Experiments with 2D H gas utilized the thermal compression method in homogeneous magnetic field, developed in our laboratory. In this work methods were developed for direct studies of 3D H at high density, and for creating high density samples of H in H₂. We measured magnetic resonance line shifts due to collisions in the 2D and 3D H gases. First we observed that the cold collision shift in 2D H gas composed of atoms in a single hyperfine state is much smaller than predicted by the mean-field theory. This motivated us to carry out similar experiments with 3D H. In 3D H the cold collision shift was found to be an order of magnitude smaller for atoms in a single hyperfine state than that for a mixture of atoms in two different hyperfine states. The collisional shifts were found to be in fair agreement with the theory, which takes into account symmetrization of the wave functions of the colliding atoms. The origin of the small shift in the 2D H composed of single hyperfine state atoms is not yet understood. The measurement of the shift in 3D H provides experimental determination for the difference of the scattering lengths of ground state atoms. The experiment with H atoms captured in H2 matrix at temperatures below 1 K originated from our work with H gas. We found out that samples of H in H2 were formed during recombination of gas phase H, enabling sample preparation at temperatures below 0.5 K. Alternatively, we created the samples by electron impact dissociation of H₂ molecules in situ in the solid. By the latter method we reached highest densities of H atoms reported so far, 3.5(5)x10¹⁹ cm^-3. The H atoms were found to be stable for weeks at temperatures below 0.5 K. The observation of dipolar interaction effects provides a verification for the density measurement. Our results point to two different sites for H atoms in H2 lattice. The steady-state nuclear polarizations of the atoms were found to be non-thermal. The possibility for further increase of the impurity H density is considered. At higher densities and lower temperatures it might be possible to observe phenomena related to quantum degeneracy in solid.

Virtuaalitekniikoiden ja riskianalyysin käyttö kivenmurskainten tuotekehityksessä

Tässä työssä keskitytään Metso Mineralsin valmistamien tuotteiden suunnitteluympäristöön ja erityisesti sen kehittämismahdollisuuksiin uusien teknologioiden avulla. Käyttövarmuuden parantamiseksi yksi potentiaalisimmista keinoista on parantaa laitteiden huollettavuutta. Tyypillisesti huollettavuuden verifiointi tapahtuu vasta prototyyppien testauksessa työmaaolosuhteissa, jolloin havaittujen ongelmien muuttaminen on hankalaa. Siksi huollettavuuteen tulisi kiinnittää enemmän huomiota jo tuotekehitysvaiheessa. Tässä työssä selvitetään virtuaalitekniikoiden tarjoamia mahdollisuuksia em. asioiden parantamiseksi. Työn toisena osakokonaisuutena tutkitaan riskianalyysien kehittämismahdollisuuksia. Tavoitteena on kehittää toimiva menetelmä riskianalyysin suorittamiseen virtuaaliprototyyppien avulla ja testata kaupallisten riskianalyysiin tarkoitettujen sovellusten käyttöä. Lopuksi tarkastellaan vielä uusien menetelmien integrointia osaksi tuotekehitysprosessia. Tehtyjen Case-tutkimusten perusteella havaittiin, että virtuaaliympäristöjen ja -tekniikoiden avulla saavutetaan hyötyä tuotekehityksen varhaisessa vaiheessa. Kyselytutkimuksesta saadun palautteen perusteella virtuaalitekniikoiden sovelluksille annettiin asteikolla 1–5 yleisarvosanaksi keskimäärin kolme. Virtuaalitekniikoiden ja riskianalyysien yhteiskäyttöä testattiin onnistuneesti, mutta tämä vaatii vielä kehittämistä.

Necessary truth and proof

What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett's, that verification-truth is not compatible with the theory of meaning, are mistaken. The answer is that what we can conceive and construct far outstrips our actual abilities. I conclude by proposing a proof-theoretic account of modality, rejecting a claim of Armstrong's that modality can reside in non-modal truthmakers.

The relativity of evaluative sentences: disagreeing over disagreement

Evaluative sentences (moral judgments, expressions of taste, epistemic modals) are relative to the speaker's standards. Lately, a phenomenon has challenged the traditional explanation of this relativity: whenever two speakers disagree over them they contradict each other without being at fault. Hence, it is thought that the correction of the assertions involved must be relative to an unprivileged standard not necessarily the speaker's. I will claim instead that so far, neither this nor any other proposal has provided an explanation of the phenomenon. I will point out several problems presented by them and I will hint to how this phenomenon could be explained by making minor adjustments to our semantic theory.

Effect of hydrodynamics on modelling, monitoring and control of crystallization

Crystallization is a purification method used to obtain crystalline product of a certain crystal size. It is one of the oldest industrial unit processes and commonly used in modern industry due to its good purification capability from rather impure solutions with reasonably low energy consumption. However, the process is extremely challenging to model and control because it involves inhomogeneous mixing and many simultaneous phenomena such as nucleation, crystal growth and agglomeration. All these phenomena are dependent on supersaturation, i.e. the difference between actual liquid phase concentration and solubility. Homogeneous mass and heat transfer in the crystallizer would greatly simplify modelling and control of crystallization processes, such conditions are, however, not the reality, especially in industrial scale processes. Consequently, the hydrodynamics of crystallizers, i.e. the combination of mixing, feed and product removal flows, and recycling of the suspension, needs to be thoroughly investigated. Understanding of hydrodynamics is important in crystallization, especially inlargerscale equipment where uniform flow conditions are difficult to attain. It is also important to understand different size scales of mixing; micro-, meso- and macromixing. Fast processes, like nucleation and chemical reactions, are typically highly dependent on micro- and mesomixing but macromixing, which equalizes the concentrations of all the species within the entire crystallizer, cannot be disregarded. This study investigates the influence of hydrodynamics on crystallization processes. Modelling of crystallizers with the mixed suspension mixed product removal (MSMPR) theory (ideal mixing), computational fluid dynamics (CFD), and a compartmental multiblock model is compared. The importance of proper verification of CFD and multiblock models is demonstrated. In addition, the influence of different hydrodynamic conditions on reactive crystallization process control is studied. Finally, the effect of extreme local supersaturation is studied using power ultrasound to initiate nucleation. The present work shows that mixing and chemical feeding conditions clearly affect induction time and cluster formation, nucleation, growth kinetics, and agglomeration. Consequently, the properties of crystalline end products, e.g. crystal size and crystal habit, can be influenced by management of mixing and feeding conditions. Impurities may have varying impacts on crystallization processes. As an example, manganese ions were shown to replace magnesium ions in the crystal lattice of magnesium sulphate heptahydrate, increasing the crystal growth rate significantly, whereas sodium ions showed no interaction at all. Modelling of continuous crystallization based on MSMPR theory showed that the model is feasible in a small laboratoryscale crystallizer, whereas in larger pilot- and industrial-scale crystallizers hydrodynamic effects should be taken into account. For that reason, CFD and multiblock modelling are shown to be effective tools for modelling crystallization with inhomogeneous mixing. The present work shows also that selection of the measurement point, or points in the case of multiprobe systems, is crucial when process analytical technology (PAT) is used to control larger scale crystallization. The thesis concludes by describing how control of local supersaturation by highly localized ultrasound was successfully applied to induce nucleation and to control polymorphism in reactive crystallization of L-glutamic acid.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Convergence and divergence in global economy and social development : global perspectives on the contents of economic and soical development policy and its effects on rich and poor countries

The study of convergence and divergence in global economy and social development utilises comparative indicators to investigate the contents of economic and social development policy and their effects on the global samples that represent the rich industrial, semi-industrial and the poor developing nations. The study searchesfor answers to questions such as "what are the objectives of economic growth policies in globalisation under the imperatives of convergence and divergence, and how do these affect human well-being in consideration to the objectives of social policy in various nations?" The empirical verification of data utilises the concepts of the `logic of industrialism´ for comparative analysis that focuses mainly on identifying the levels of well-being in world nations after the Second World War. The perspectives of convergence and divergence in global economy and social development critically examine the stages of early development processes in global economy, distinguish the differences between economy and social development, illustrate the contents of economic and social development policies, their effects on rich and poor countries, and the nature of convergence and divergence in propelling economic growth and unequal social development in world nations. The measurement of convergence and divergence in global economy and social development utilised both economic and social data that were combined into an index that measures the precise levels of the effects of economic and social development policies on human well-being in the rich and poor nations. The task of finding policy solutions to resolve the controversies are reviewed through empirical investigations and the analyses of trends indicated within economic and social indicators and data. These revealed how the adoption of social policy measures in translating the gains from economic growth, towards promoting education, public health, and equity, generate social progress and longer life expectancy, higher economic growth, and sustain more stable macro economy for the nations. Social policy is concerned with the translation of benefits from objectives of global economic growth policies, to objectives of social development policy in nation states. Social policy, therefore, represents an open door whereby benefits of economic growth policies are linked with the broader objectives of social development policy, thereby enhancing the possibility of extending benefits from economic growth to all human being in every nation.

Suljetun jäähdytysvesiverkon mallinnus

Työssä selvitettiin Neste Oil Porvoon jalostamon tuotantolinja 2 jäähdytysvesiverkon tilaa. Jäähdytysvesiverkon hydraulinen malli päivitettiin ja verifioitiin painemittauksin. Mallia tarkennettiin säätöventtiilien mallinnuksen sekä virhelähteiden tarkastelun perusteella havaituin muutoksin. Mallin verifioinnissa havaittiin huomattavia eroja mallin ja mitattujen paineiden välillä. Tämä johti mallin tarkempaan tarkasteluun, sekä virhelähteiden ja niiden vaikutusten selvittämiseen. Putkivarusteiden mallinnusmenetelmiä, sekä mallinnusperiaatteita vertailtiin keskenään. Koska jäähdytysveden kokonaiskierto oli riittämätön, tarkasteltiin kolmea vaihtoehtoa riittävän kiertovesimäärän aikaansaamiseksi. Nykyisten kiertovesipumppujen rinnanoperointi, sekä riittävän suureksi skaalatun pumpun käyttö simuloitiin. Kolmantena tapauksena arvioitiin lämmönvaihdinkohtaisen kuristussuunnitelman vaikutus putkiston painehäviöön, sekä putkistolle sopiva kiertovesipumppu. Vaihtoehdoille laskettiin suuntaa-antavat investointi- ja käyttökustannukset. Tarkastelun perusteella riittävän suureksi skaalattu pumppu todettiin kannattavimmaksi pienen hintaeron, sekä luotettavamman jäähdytysvesikierron käyttövarmuuden vuoksi. Työssä onnistuttiin tuottamaan yleispätevää tietoa suljetun jäähdytysvesiverkon hydrauliseen mallinnukseen vaikuttavista tekijöistä, sekä niiden vaikutuksesta mallin tarkkuuteen. Selvityksen perusteella tarkasteltua mallia saatiin tarkemmaksi.

Sähköisten hankintamenettelyjen taloudelliset yritysvaikutukset

Pro gradu -tutkielmassa tutkitaan julkisissa hankinnoissa käyttöön otettavien uusien sähköisten menettelyjen, sähköisen huutokaupan ja dynaamisen hankintajärjestelmän, yritysvaikutuksia. Ydintutkimustehtävänä on tutkia, millaisia taloudellisia vaikutuksia sähköisillä menettelyillä tulee olemaan yrityksiin niiden tarjotessa palveluita tai tavaroita julkiselle sektorille ja mitkä ovat sähköisten menettelyjen käytön motiivit. Tutkielman teoriaosa on pohja empiiriselle tutkimukselle, jossa aineistona on käytetty suppeaa kyselytutkimusta, haastatteluja ja lisäksi materiaalia on tuotettu analysoimalla hallinnollisten kustannusten määrää sähköisissä hankintamenettelyissä. Yritysvaikutusten arvioinnissa tarkasteltiin sähköisten hankintamenettelyjen käytön motiiveja. Motiiveiksi tunnistettiin tehokkuuden tavoittelu, kustannussäästöt, ajankäytön ja henkilöresurssien käytön tehostaminen sekä avoimuus. Tutkimuksessa onnistuttiin todentamaan edellä mainittuja tekijöitä taloudellisilla malleilla. Määrälliset ja laadulliset tutkimustulokset osoittavat kokonaisuudessaan tuloksellisella tavalla sähköisten hankintamenettelyjen käytön motiiveita ja vaikutuksia yrityksiin. Sähköisillä hankintamenettelyillä voidaan perustellusti tehostaa hankintaprosessia ja saavuttaa kustannussäästöjä. Monia yleisiä yritysten julkisiin hankintoihin pääsyn esteinä pitämiä seikkoja voitaisiin vähentää tai poistaa käyttämällä sähköisiä hankintoja. Sähköistä huutokauppaa ja dynaamista hankintajärjestelmää koskevan lainsäädännön luodessa puitteet menettelyiden käytölle, tulee menettelyjen käyttöönoton motiivien ja kannustimien riittävyyttä seurata. Hallinnollisten kustannusten väheneminen ja muiden esteiden pieneneminen ei välttämättä synnytä pysyvää kannustinvaikutusta, vaan hankintaprosessia tulee pyrkiä sähköistämään kokonaisvaltaisesti myös muissa hankintalain mukaisissa hankintamenettelyissä ja kilpailuttamisen ulkopuolisissa hankinnan osa-alueissa kuten laskuttaminen, maksatus ja tilaus.

Defects in Persistent Luminescence Materials

Persistent luminescence materials can store energy from solar radiation or artificial lighting and release it over a period of several hours without a continuous excitation source. These materials are widely used to improve human safety in emergency and traffic signalization. They can also be utilized in novel applications including solar cells, medical diagnostics, radiation detectors and structural damage sensors. The development of these materials is currently based on methods based on trial and error. The tailoring of new materials is also hindered by the lack of knowledge on the role of their intrinsic and extrinsic lattice defects in the appropriate mechanisms. The goal of this work was to clarify the persistent luminescence mechanisms by combining ab initio density functional theory (DFT) calculations with selected experimental methods. The DFT approach enables a full control of both the nature of the defects and their locations in the host lattice. The materials studied in the present work, the distrontium magnesium disilicate (Sr₂MgSi₂O₇) and strontium aluminate (SrAl₂O₄) are among the most efficient persistent luminescence hosts when doped with divalent europium Eu²⁺ and co-doped with trivalent rare earth ions R³⁺ (R: Y, La-Nd, Sm, Gd-Lu). The polycrystalline materials were prepared with the solid state method and their structural and phase purity was confirmed by X-ray powder diffraction. Their local crystal structure was studied by high-resolution transmission electron microscopy. The crystal and electronic structure of the nondoped as well as Eu²⁺, R^2+/3+ and other defect containing materials were studied using DFT calculations. The experimental trap depths were obtained using thermoluminescence (TL) spectroscopy. The emission and excitation of Sr₂MgSi₂O₇:Eu²+,Dy³⁺ were also studied. Significant modifications in the local crystal structure due to the Eu²⁺ ion and lattice defects were found by the experimental and DFT methods. The charge compensation effects induced by the R³⁺ co-doping further increased the number of defects and distortions in the host lattice. As for the electronic structure of Sr₂MgSi₂O₇ and SrAl₂O₄, the experimental band gap energy of the host materials was well reproduced by the calculations. The DFT calculated Eu²⁺ and R^2+/3+ 4fn as well as 4f^n-15d¹ ground states in the Sr₂MgSi₂O₇ band structure provide an independent verification for an empirical model which is constructed using rather sparse experimental data for the R³⁺ and especially the R²⁺ ions. The intrinsic and defect induced electron traps were found to act together as energy storage sites contributing to the materials’ efficient persistent luminescence. The calculated trap energy range agreed with the trap structure of Sr₂MgSi₂O₇ obtained using TL measurements. More experimental studies should be carried out for SrAl₂O₄ to compare with the DFT calculations. The calculated and experimental results show that the electron traps created by both the rare earth ions and vacancies are modified due to the defect aggregation and charge compensation effects. The relationships between this modification and the energy storage properties of the solid state materials are discussed.