Computing complete test graphs for hierarchical systems

Conformance testing focuses on checking whether an implementation. under test (IUT) behaves according to its specification. Typically, testers are interested it? performing targeted tests that exercise certain features of the IUT This intention is formalized as a test purpose. The tester needs a "strategy" to reach the goal specified by the test purpose. Also, for a particular test case, the strategy should tell the tester whether the IUT has passed, failed. or deviated front the test purpose. In [8] Jeron and Morel show how to compute, for a given finite state machine specification and a test purpose automaton, a complete test graph (CTG) which represents all test strategies. In this paper; we consider the case when the specification is a hierarchical state machine and show how to compute a hierarchical CTG which preserves the hierarchical structure of the specification. We also propose an algorithm for an online test oracle which avoids a space overhead associated with the CTG.

Bootstrapping the Error Correction Model Cointegration Test

This paper is concerned with using the bootstrap to obtain improved critical values for the error correction model (ECM) cointegration test in dynamic models. In the paper we investigate the effects of dynamic specification on the size and power of the ECM cointegration test with bootstrap critical values. The results from a Monte Carlo study show that the size of the bootstrap ECM cointegration test is close to the nominal significance level. We find that overspecification of the lag length results in a loss of power. Underspecification of the lag length results in size distortion. The performance of the bootstrap ECM cointegration test deteriorates if the correct lag length is not used in the ECM. The bootstrap ECM cointegration test is therefore not robust to model misspecification.

Fast versus slow response in climate change: implications for the global hydrological cycle

Recent studies have shown that changes in global mean precipitation are larger for solar forcing than for CO2 forcing of similar magnitude.In this paper, we use an atmospheric general circulation model to show that the differences originate from differing fast responses of the climate system. We estimate the adjusted radiative forcing and fast response using Hansen's ``fixed-SST forcing'' method.Total climate system response is calculated using mixed layer simulations using the same model. Our analysis shows that the fast response is almost 40% of the total response for few key variables like precipitation and evaporation. We further demonstrate that the hydrologic sensitivity, defined as the change in global mean precipitation per unit warming, is the same for the two forcings when the fast responses are excluded from the definition of hydrologic sensitivity, suggesting that the slow response (feedback) of the hydrological cycle is independent of the forcing mechanism. Based on our results, we recommend that the fast and slow response be compared separately in multi-model intercomparisons to discover and understand robust responses in hydrologic cycle. The significance of this study to geoengineering is discussed.

High-Resolution Magic Angle Spinning Nmr-Studies Of P-31 And B-11 In Fast Ion Conducting Agi-Ag2o-P2o5 And Agi-Ag2o-B2o3 Glasses

Silver iodide-based fast ion conducting glasses containing silver phosphate and silver borate have been studied. An attempt is made to identify the interaction between anions by studying the chemical shifts of31P and11B atoms in high resolution (HR) magic angle spinning (MAS) NMR spectra. Variation in the chemical shifts of31P or11B has been observed which is attributed to the change in the partial charge on the31P or11B. This is indicative of the change in the electronegativity of the anion matrix as a whole. This in turn is interpreted as due to significant interaction among anions. The significance of such interaction to the concept of structural unpinning of silver ions in fast ion conducting glasses is discussed.

Isobaric electrical resistance along the critical line in nickel: An experimental test of universality

High-precision measurement of the electrical resistance of nickel along its critical line, a first attempt of this kind, as a function of pressure to 47.5 kbar is reported. Our analysis yields the values of the critical exponents α=α’=-0.115±0.005 and the amplitude ratios ‖A/A’‖=1.17±0.07 and ‖D/D’‖=1.2±0.1. These values are in close agreement with those predicted by renormalization-group (RG) theory. Moreover, this investigation provides an unambiguous experimental verification to one of the key consequences of RG theory that the critical exponents and amplitudes ratios are insensitive to pressure variation in nickel, a Heisenberg ferromagnet.

Analysis,Insights and Generalization of a Fast Decentralized Relay Selection Mechanism

Relay selection for cooperative communications has attracted considerable research interest recently. While several criteria have been proposed for selecting one or more relays and analyzed, mechanisms that perform the selection in a distributed manner have received relatively less attention. In this paper, we analyze a splitting algorithm for selecting the single best relay amongst a known number of active nodes in a cooperative network. We develop new and exact asymptotic analysis for computing the average number of slots required to resolve the best relay. We then propose and analyze a new algorithm that addresses the general problem of selecting the best Q >= 1 relays. Regardless of the number of relays, the algorithm selects the best two relays within 4.406 slots and the best three within 6.491 slots, on average. Our analysis also brings out an intimate relationship between multiple access selection and multiple access control algorithms.

Position-sensitive silicon strip detector characterization using particle beams

Silicon strip detectors are fast, cost-effective and have an excellent spatial resolution. They are widely used in many high-energy physics experiments. Modern high energy physics experiments impose harsh operation conditions on the detectors, e.g., of LHC experiments. The high radiation doses cause the detectors to eventually fail as a result of excessive radiation damage. This has led to a need to study radiation tolerance using various techniques. At the same time, a need to operate sensors approaching the end their lifetimes has arisen. The goal of this work is to demonstrate that novel detectors can survive the environment that is foreseen for future high-energy physics experiments. To reach this goal, measurement apparatuses are built. The devices are then used to measure the properties of irradiated detectors. The measurement data are analyzed, and conclusions are drawn. Three measurement apparatuses built as a part of this work are described: two telescopes measuring the tracks of the beam of a particle accelerator and one telescope measuring the tracks of cosmic particles. The telescopes comprise layers of reference detectors providing the reference track, slots for the devices under test, the supporting mechanics, electronics, software, and the trigger system. All three devices work. The differences between these devices are discussed. The reconstruction of the reference tracks and analysis of the device under test are presented. Traditionally, silicon detectors have produced a very clear response to the particles being measured. In the case of detectors nearing the end of their lifefimes, this is no longer true. A new method benefitting from the reference tracks to form clusters is presented. The method provides less biased results compared to the traditional analysis, especially when studying the response of heavily irradiated detectors. Means to avoid false results in demonstrating the particle-finding capabilities of a detector are also discussed. The devices and analysis methods are primarily used to study strip detectors made of Magnetic Czochralski silicon. The detectors studied were irradiated to various fluences prior to measurement. The results show that Magnetic Czochralski silicon has a good radiation tolerance and is suitable for future high-energy physics experiments.

Prediction of Specimen Strain from Extensometer Deflection Measurements in a Direct Stress Fatigue Test Specimen under Static Tensile Loading

The displacement between the ridges situated outside the filleted test section of an axially loaded unnotched specimen is computed from the axial load and shape of the specimen and compared with extensometer deflection data obtained from experiments. The effect of prestrain on the extensometer deflection versus specimen strain curve has been studied experimentally and analytically. An analytical study shows that an increase in the slope of the stress-strain curve in the inelastic region increases the slope of the corresponding computed extensometer deflection versus specimen strain curve. A mathematical model has been developed which uses a modified length ¯ℓef in place of the actual length of the uniform diameter test section of the specimen. This model predicts the extensometer deflection within 5% of the corresponding experimental value. This method has been successfully used by the authors to evolve an iterative procedure for predicting the cyclic specimen strain in axial fatigue tests on unnotched specimens.

A kinetic Ising model study of dynamical correlations in confined fluids: Emergence of both fast and slow time scales

Experiments and computer simulation studies have revealed existence of rich dynamics in the orientational relaxation of molecules in confined systems such as water in reverse micelles, cyclodextrin cavities, and nanotubes. Here we introduce a novel finite length one dimensional Ising model to investigate the propagation and the annihilation of dynamical correlations in finite systems and to understand the intriguing shortening of the orientational relaxation time that has been reported for small sized reverse micelles. In our finite sized model, the two spins at the two end cells are oriented in the opposite directions to mimic the effects of surface that in real system fixes water orientation in the opposite directions. This produces opposite polarizations to propagate inside from the surface and to produce bulklike condition at the center. This model can be solved analytically for short chains. For long chains, we solve the model numerically with Glauber spin flip dynamics (and also with Metropolis single-spin flip Monte Carlo algorithm). We show that model nicely reproduces many of the features observed in experiments. Due to the destructive interference among correlations that propagate from the surface to the core, one of the rotational relaxation time components decays faster than the bulk. In general, the relaxation of spins is nonexponential due to the interplay between various interactions. In the limit of strong coupling between the spins or in the limit of low temperature, the nature of relaxation of the spins undergoes a qualitative change with the emergence of a homogeneous dynamics where decay is predominantly exponential, again in agreement with experiments. (C) 2010 American Institute of Physics. doi: 10.1063/1.3474948]

Fast- and drift-ice communities in the Bothnian Bay and the impact of UVA radiation on the Baltic Sea ice ecology

The aim of this thesis was to study ecology of Baltic Sea ice from two perspectives. In the first two studies, sea-ice ecology from riverine-influenced fast ice to drift ice in the Bothnian Bay was investigated, whereas the last two studies focus on the sensitivity of sea-ice bacteria and algae to UVA examined in situ. The seasonal sea ice cover is one of the main characteristics of the Baltic Sea, and despite the brackish parental water, the ice structure is similar to polar ice with saline brine inclusions, the sea ice habitat. The decreasing seawater salinity from the northern Baltic Sea to the Bothnian Bay translates to decreasing brine volumes along the gradient, governing the size and community structure of the food webs in ice. However, the drift and fast ice in the Bothnian Bay may differ greatly in this sense, as drift ice may have been formed at more southern locations. Rafting and the formation of snow ice are common processes in the ice field of the Bothnian Bay. As evidenced in this thesis, rafting altered the vertical distribution of organisms and snow-ice formation provided habitable space in the better-illuminated, nitrogen-rich surface layer. The divergence between fast and drift ice became apparent at the more advanced stages, and chlorophyte biomass decreased from fast to drift ice, while the opposite held true for protozoan and metazoan biomass. The brine volumes affected the communities somewhat, and a higher percentage of flagellate species was generally linked to lower brine volumes, whereas chain-forming diatoms were mostly concentrated in layers with larger brine volumes. These results add to knowledge of the ecological significance of the ice cover lasting up to 7 months per year in this area. Sea-ice food webs are generally light-limited, but while increasing light irradiances typically enhance the primary production and further, the secondary production in sea ice, any increase in solar radiation also includes an increase in harmful UVA radiation. The Baltic Sea ice microbial communities were clearly sensitive to UVA and the responses were strongly linked to the earlier light history, as well as to the solar irradiances they were exposed to. The increased biomass of chlorophytes and pennate diatoms, when UVA was excluded, indicates that their normally minor contribution to the biomass in the upper layers of sea ice might be partly dictated by UVA. The effects of UVA on bacterial production in Baltic Sea ice mostly followed the responses in algal growth, but occasionally the exposure to UVA even enhanced the bacterial production. The dominant bacterial class, Flavobacteria, seemed to be UVA-tolerant, whereas all the Alpha-, Beta- and Gammaproteobacteria present in the surface layer showed UVA sensitivity. These results indicate that changes in the light field of ice may alter the community structure and affect the functioning of ice food webs, and are of importance when the effects of thinning of the ice cover are assessed.

Using a botanic garden collection to test a bioclimatic vegetation scheme

Vegetation maps and bioclimatic zone classifications communicate the vegetation of an area and are used to explain how the environment regulates the occurrence of plants on large scales. Many practises and methods for dividing the world’s vegetation into smaller entities have been presented. Climatic parameters, floristic characteristics, or edaphic features have been relied upon as decisive factors, and plant species have been used as indicators for vegetation types or zones. Systems depicting vegetation patterns that mainly reflect climatic variation are termed ‘bioclimatic’ vegetation maps. Based on these it has been judged logical to deduce that plants moved between corresponding bioclimatic areas should thrive in the target location, whereas plants moved from a different zone should languish. This principle is routinely applied in forestry and horticulture but actual tests of the validity of bioclimatic maps in this sense seem scanty. In this study I tested the Finnish bioclimatic vegetation zone system (BZS). Relying on the plant collection of Helsinki University Botanic Garden’s Kumpula collection, which according to the BZS is situated at the northern limit of the hemiboreal zone, I aimed to test how the plants’ survival depends on their provenance. My expectation was that plants from the hemiboreal or southern boreal zones should do best in Kumpula, whereas plants from more southern and more northern zones should show progressively lower survival probabilities. I estimated probability of survival using collection database information of plant accessions of known wild origin grown in Kumpula since the mid 1990s, and logistic regression models. The total number of accessions I included in the analyses was 494. Because of problems with some accessions I chose to separately analyse a subset of the complete data, which included 379 accessions. I also analysed different growth forms separately in order to identify differences in probability of survival due to different life strategies. In most analyses accessions of temperate and hemiarctic origin showed lower survival probability than those originating from any of the boreal subzones, which among them exhibited rather evenly high probabilities. Exceptionally mild and wet winters during the study period may have killed off hemiarctic plants. Some winters may have been too harsh for temperate accessions. Trees behaved differently: they showed an almost steadily increasing survival probability from temperate to northern boreal origins. Various factors that could not be controlled for may have affected the results, some of which were difficult to interpret. This was the case in particular with herbs, for which the reliability of the analysis suffered because of difficulties in managing their curatorial data. In all, the results gave some support to the BZS, and especially its hierarchical zonation. However, I question the validity of the formulation of the hypothesis I tested since it may not be entirely justified by the BZS, which was designed for intercontinental comparison of vegetation zones, but not specifically for transcontinental provenance trials. I conclude that botanic gardens should pay due attention to information management and curational practices to ensure the widest possible applicability of their plant collections.

Nikotiinireseptoreiden kautta vaikuttavat lääkeaineet nikotiiniriippuvuuden ja neurologisten sairauksien hoidossa

Neuronaaliset nikotiinireseptorit liittyvät tupakkariippuvuuden lisäksi moniin neurologisiin sairauksiin, kuten Alzheimerin tautiin, skitsofreniaan, masennukseen ja tarkkaavaisuus- ja ylivilkkaushäiriöön. Nikotiinireseptorien stimulaation on tutkimuksissa havaittu parantavan kognitiota. Useat lääkeyritykset tutkivat nikotiinireseptoriagonisteja ja -antagonisteja eri neurologisten sairauksien hoidossa. Ongelmana nikotiinireseptori-agonisteja käytettäessä on reseptorissa tapahtuva desensitisaatio. Tällöin reseptori sulkeutuu, eikä aktivoidu vaikka agonistia olisi tarjolla tai sitoutuneena reseptoriin. Varsinkin alfa7-reseptori desensitoituu hyvin nopeasti agonistialtistuksen seurauksena. Reseptorien desensitoituminen voi kliinisessä käytössä aiheuttaa lääkeaineen tehon menetyksen. Perinteisen agonistin sitoutumiskohdan lisäksi nikotiinireseptorissa sijaitsee myös muita sitoutumiskohtia, joita kutsutaan allosteerisiksi sitoutumispaikoiksi. Tutkimuksissa on havaittu, että eräät allosteerisesti sitoutuvat aineet, kuten PNU-120596, voivat vahvistaa agonistin aikaansaamaa vastetta ja/tai estää reseptorin desensitoitumista. Näitä aineita kutsutaan positiivisiksi allosteerisiksi modulaattoreiksi ja niiden ajatellaan olevan vaihtoehto desensitoitumisen aiheuttamaan tehon menetyksen ongelmaan. Nikotiinireseptorien positiivisten allosteeristen modulaattorien tarkkaa vaikutusta ja sitoutumiskohtaa reseptoriin ei vielä tarkkaan tiedetä. Tutkimuksen aiheena oli karakterisoida positiivisten allosteeristen modulaattoreiden vaikutuksia alfa7-nikotiinireseptoriin. Tutkimuksessa tarkoituksena oli käyttää hyväksi laboratoriossa aiemmin tehtyä havaintoa, jonka mukaan alfa7-nikotiinireseptorin transmembraaniosan aminohappoon tehdyn mutaation L247T seurauksena positiiviset allosteeriset modulaattorit muuttuvat agonisteiksi. Haluttiin selvittää, kuinka agonistin sitoutumiskohtaan kohdennettua mutageneesiä käyttäen tehty mutaatio W149M tai W149F vaikuttavat PNU-120596:n kykyyn toimia agonistina alfa7L247T reseptoriin. Asetyylikoliini toimi konventionaalisen agonistin mallina tutkimuksessa. Tutkimuksen toinen tavoite oli tehdä mutaatio M253Lalfa7-reseptorin transmembraaniosaan. Mutaation on todettu estävän allosteeristen potentiaattoreiden kykyä voimistaa agonistin aikaansaamaa vastetta. Tarkoitus oli tutkia millaisia vaikutuksia M253L-mutaatiolla on allosteerisen potentiaattorin kykyyn toimia agonistina L247T-mutaation sisältävään reseptoriin. Mutatoidun reseptorin mRNA mikroinjektoitiin oosyyttiin ja elektrofysiologian avulla tutkittiin ilmennettyjen reseptorien toimintaa käyttäen kahden elektrodin jännitelukitus -menetelmää. Kaikki suunnitellut mutaatiot saatiin tehtyä onnistuneesti alfa7- ja alfa7L247T-reseptoreihin. Ortosteerisen sitoutumiskohdan mutaatio villin tyypin Į7-reseptorissa vaikutti hyvin voimakkaasti joko asetyylikoliinin sitoutumiseen reseptoriin tai reseptorin toimintaan, sillä asetyylikoliinilla ei reseptorista saatu mitattua vasteita. Myöskään PNU-120596 yksinään ei saanut aikaan vasteita alfa7W149M-reseptorissa. Kaksoismutatoidussa alfa7W149M/L247T-reseptorissa puolestaan havaittiin, että asetyylikoliinin annos-vaste -kuvaaja siirtyi huomattavasti enemmän oikealle kuin PNU-120596:n, kun verrattiin annos-vaste –kuvaajia alfa7L247T ja alfa7W149M/L247T–reseptoreiden välillä. Transmembraaniosan mutaatio M253L ei vaikuttanut PNU-120596:n kykyyn toimia agonistina alfa7L247T-reseptoriin, eikä sillä ollut vaikutusta asetyylikoliinin annosvaste-kuvaajiin. Tutkimus tukee aiempia havaintoja siitä, että positiivisten allosteeristen modulaattoreiden sitoutumiskohta nikotiinireseptorissa sijaitsisi transmembraaniosassa. M253L-mutaation osalta tulokset ovat hieman ristiriidassa aiempien tulosten kanssa. L247T-mutaatio vaikuttaa hyvin voimakkaasti nikotiinireseptorin toimintaan sekä sijaitsee aminohapon M253 läheisyydessä. On mahdollista, että se peittää M253L-mutaation vaikutuksen. Toisaalta voi olla, että M253 on aminohappo, joka vaikuttaa vain reseptorivasteiden voimistumiseen eikä allosteeristen potentiaattoreiden sitoutumiseen.

Evaluation of the profitability of fast-growing tropical trees.

The profitability of fast-growing trees was investigated in the northeastern and eastern provinces of Thailand. The financial, economic, and tentative environmental-economic profitability was determined separately for three fast-growing plantation tree species and for three categories of plantation managers: the private industry, the state (the Royal Forest Department) and the farmers. Fast-growing tree crops were also compared with teak (Tectona grandis), a traditional medium or long rotation species, and Para rubber (Hevea brasiliensis) which presently is the most common cultivated tree in Thailand. The optimal rotation for Eucalyptus camaldulensis pulpwood production was eight years. This was the most profitable species in pulpwood production. In sawlog production Acacia mangium and Melia azedarach showed a better financial profitability. Para rubber was more profitable and teak less profitable than the three fast-growing species. The economic profitability was higher than the financial one, and the tentative environmental-economic profitability was slightly higher than the economic profitability. The profitability of tree growing is sensitive to plantation yields and labour cost changes and especially to wood prices. Management options which aim at pulpwood production are more sensitive to input or output changes than those options which include sawlog production. There is an urgent need to improve the growth and yield data and to study the environmental impacts of tree plantations for all species and plantation types.