Cavity-enhanced laser spectroscopic studies of vibrational overtones of acetylene

This thesis contains five experimental spectroscopic studies that probe the vibration-rotation energy level structure of acetylene and some of its isotopologues. The emphasis is on the development of laser spectroscopic methods for high-resolution molecular spectroscopy. Three of the experiments use cavity ringdown spectroscopy. One is a standard setup that employs a non-frequency stabilised continuous wave laser as a source. In the other two experiments, the same laser is actively frequency stabilised to the ringdown cavity. This development allows for increased repetition rate of the experimental signal and thus the spectroscopic sensitivity of the method is improved. These setups are applied to the recording of several vibration-rotation overtone bands of both H(12)C(12)CH and H(13)C(13)CH. An intra-cavity laser absorption spectroscopy setup that uses a commercial continuous wave ring laser and a Fourier transform interferometer is presented. The configuration of the laser is found to be sub-optimal for high-sensitivity work but the spectroscopic results are good and show the viability of this type of approach. Several ro-vibrational bands of carbon-13 substituted acetylenes are recorded and analysed. Compared with earlier work, the signal-to-noise ratio of a laser-induced dispersed infrared fluorescence experiment is enhanced by more than one order of magnitude by exploiting the geometric characteristics of the setup. The higher sensitivity of the spectrometer leads to the observation of two new symmetric vibrational states of H(12)C(12)CH. The precision of the spectroscopic parameters of some previously published symmetric states is also improved. An interesting collisional energy transfer process is observed for the excited vibrational states and this phenomenon is explained by a simple step-down model.

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Investigations of planetary boundary layer processes and particle formation in the atmosphere of planet Mars

The planet Mars is the Earth's neighbour in the Solar System. Planetary research stems from a fundamental need to explore our surroundings, typical for mankind. Manned missions to Mars are already being planned, and understanding the environment to which the astronauts would be exposed is of utmost importance for a successful mission. Information of the Martian environment given by models is already now used in designing the landers and orbiters sent to the red planet. In particular, studies of the Martian atmosphere are crucial for instrument design, entry, descent and landing system design, landing site selection, and aerobraking calculations. Research of planetary atmospheres can also contribute to atmospheric studies of the Earth via model testing and development of parameterizations: even after decades of modeling the Earth's atmosphere, we are still far from perfect weather predictions. On a global level, Mars has also been experiencing climate change. The aerosol effect is one of the largest unknowns in the present terrestrial climate change studies, and the role of aerosol particles in any climate is fundamental: studies of climate variations on another planet can help us better understand our own global change. In this thesis I have used an atmospheric column model for Mars to study the behaviour of the lowest layer of the atmosphere, the planetary boundary layer (PBL), and I have developed nucleation (particle formation) models for Martian conditions. The models were also coupled to study, for example, fog formation in the PBL. The PBL is perhaps the most significant part of the atmosphere for landers and humans, since we live in it and experience its state, for example, as gusty winds, nightfrost, and fogs. However, PBL modelling in weather prediction models is still a difficult task. Mars hosts a variety of cloud types, mainly composed of water ice particles, but also CO2 ice clouds form in the very cold polar night and at high altitudes elsewhere. Nucleation is the first step in particle formation, and always includes a phase transition. Cloud crystals on Mars form from vapour to ice on ubiquitous, suspended dust particles. Clouds on Mars have a small radiative effect in the present climate, but it may have been more important in the past. This thesis represents an attempt to model the Martian atmosphere at the smallest scales with high resolution. The models used and developed during the course of the research are useful tools for developing and testing parameterizations for larger-scale models all the way up to global climate models, since the small-scale models can describe processes that in the large-scale models are reduced to subgrid (not explicitly resolved) scale.

Investigations of Noise-Related Tinnitus

Tinnitus is a frequent consequence of noise trauma. Usually, however, the main focus regarding the consequences of noise trauma is placed on hearing loss, instead of tinnitus. The objectives of the present study were to assess various aspects of noise-related tinnitus in Finland, such as to determine the main causes of conscript acute acoustic traumas (AAT) in the military, assess tinnitus prevalence after noise trauma, characterize long-term AAT-related tinnitus prevalence and characteristics, assess occupational tinnitus, and evaluate the efficacy of hearing protection regulations in preventing hearing loss and tinnitus. The study comprised several independent noise-exposed groups: conscripts performing their military duty, former conscripts who suffered an AAT over a decade earlier, bomb explosion victims, and retired army personnel. Tinnitus questionnaires were used to assess tinnitus prevalence and characteristics. For occupational tinnitus, occupational noise-induced hearing loss (NIHL) reports to the Finnish Institute of Occupational Health were reviewed. Tinnitus is a common result of AAT, blast exposure and long-term noise exposure. Despite hearing protection regulations, up to hundreds of AATs occur annually among conscripts in the Finnish Defence Forces (FDF). The most common cause is an accidental shot, accounting for approximately half of the cases. Conscript AATs are mainly due to accidental shots, while the ear is unprotected. Only seldom is an AAT due to negligence. The most common causative weapon of conscript AATs is the assault rifle, accounting for 81% of conscript AATs. After AAT, the majority of tinnitus cases resolve during military service and become asymptomatic. However, in one-fifth of the cases, tinnitus persists, causing problems such as sleeping and concentration difficulties in many. In Finland, occupational tinnitus often remains unreported in conjunction with NIHL reports. In a survey of occupational NIHL cases, tinnitus was mentioned in only four per cent. However, a subsequent inquiry revealed that almost 90% in fact had tinnitus, indicating that most cases remained undetected and unreported. The best way to prevent noise-related tinnitus is prevention of noise trauma. In the military, hearing protection guidelines have been revised several times over the years. These regulations have been effective in reducing hearing loss of professional soldiers. There has also been a reduction in cases with tinnitus, but the decrease was not significant. However, with improved hearing protection regulations, a significant reduction in the risk of more serious, disturbing tinnitus was observed.

Dental identification and aspects of medico-legal investigations of the Finnish victims of the Sumatra-Andaman earthquake on 26 December 2004

Tsunami waves of the Sumatra-Andaman earthquake on 26 December 2004 claimed approximately 230 000 lives and started the biggest identification operation in Interpol's history. The aim of this study was to resolve methods of the identification and results received. The viewpoint is mainly that of forensic odontology, but also includes other means of identification and results of the medico-legal examination performed in Finland. Of the 5395 victims in Thailand, approximately 2 400 were foreigners from 36 nations including 177 Finnish nationals. Additionally, a Finnish woman perished in Sri Lanka and a severely injured man after the evacuation in a hospital. The final numbers of missing persons and dead bodies registered in the Information Management Centre in Phuket,Thailand, were 3 574 ante-mortem (AM) and 3 681 post-mortem (PM) files. The number of identifications by December 2006 was 3 271 or 89% of the victims registered. Of Finnish victims, 172 have been identified in Thailand and 163 repatriated to Finland. One adult and four children are still missing. For AM data, a list of Finnish missing persons including 178 names was published on 30 December 2004. By February 2005 all useful dental AM data were available. Five persons on the list living in Finland lacked records. Based on the AM database, for the children under age 18 years (n=60) dental identification could be established for 12 (20%). The estimated number for adults (n=112) was 96 (86%). The final identification rate, based on PM examinations in Finland, was 14 (25%) for children (n= 56) and 98 (90%) for adults (n= 109). The number of Finnish victims identified by dental methods, 112 (68%), was high compared to all examined in Thailand (43%). DNA was applied for 26 Finnish children and for 6 adults, fingerprints for 24 and 7, respectively. In 12 cases two methods were applied. Every victim (n=165) underwent in Finland a medico-legal investigation including an autopsy with sampling specimens for DNA, the toxicological and histological investigation. Digital radiographs and computed tomography were taken of the whole body to verify autopsy findings and bring out changes caused by trauma, autolysis, and sampling for DNA in Thailand. Data for identification purposes were also noted. Submersion was the cause of death for 101 of 109 adults (92.7%), and trauma for 8 (7.3%). Injuries were 33 times contributing factors for submersion and 3 times for trauma-based death. Submersion was the cause of death for 51 (92.7%) children and trauma for 4 (7.3%). Injuries were in 3 cases contributing factors in submersion and once in trauma-based death. The success of the dental identification of Finnish victims is mainly based on careful registration of dental records, and on an education program from 1999 in forensic odontology.