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.

Solution conformation of a tetradecapeptide stabilized by two di-n-propyl glycine residues

The solution conformation of a designed tetradecapeptide Boc-Val-Ala-Leu-Dpg-Val-Ala-Leu-Val-Ala-Leu-Dpg-Val-Ala-Leu-OMe (Dpg-14) containing two di-n-propyl glycine (Dpg) residues has been investigated by H-1 NMR and circular dichroism in organic solvents. The peptide aggregates formed at a concentration of 3 mm in the apolar solvent CDCl3 were broken by the addition of 12% v/v of the more polar solvent DMSO-d(6). Successive NiH <-> Ni+1H NOEs observed over the entire length of the sequence in this solvent mixture together with the observation of several characteristic medium-range NOEs support a major population of continuous helical conformations for Dpg-14. Majority of the observed coupling constants ((3)(alpha)(JNHC)(H)) also support phi values in the helical conformation. Circular dichroism spectra recorded in methanol and propan-2-ol give further support in favor of helical conformation for Dpg-14 and the stability of the helix at higher temperature. Copyright (C) 2010 European Peptide Society and John Wiley & Sons, Ltd.

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.

Structural and spectral perspectives of a novel thiosemicarbazone synthesized from di-2-pyridyl ketone and 4-phenyl-3-thiosemicarbazide

A new thiosemicarbazone, HL is synthesized from di-2-pyridyl ketone and 4-phenyl-3-thiosemicarbazide and structurally and spectrochemically characterized. H-1 NMR, C-13 NMR, COSY, HMQC and IR spectra of the compound are studied and the proton magnetic resonance spectrum reveals some unprecedented observations. The thione form is predominant in the solid state, as supported by the crystal structure and IR data, while a thiol-thione equilibrium is proposed in the solution state by NMR studies. The compound crystallizes into a monoclinic lattice with space group C2/c and the ZE conformation is exhibited by the thiosemicarbazone. Intra- and intermolecular hydrogen-bonding interactions give rise to a two-dimensional packing in the crystal lattice

Nota sullo status della gallina prataiola (Tetrax tetrax) nella Zona di Protezione Speciale Piana di Semestene, Bonorva, Macomer e Bortigali (Sardegna), 2007-2009

The little bustard Tetrax tetrax is a bird of agro-pastoral landscapes rapidly disappearing from most of Western Europe due to agricultural intensification. In Italy, the species is virtually extinct from the mainland but still occurs in Sardinia, where four Special Protection Areas (SPAs) have been designated in 2007 to protect the bustard and related habitat. In this note, we document a steep decline (between 50 and 87,5%) of the species during the last decade in one of those four SPAs, Plains of Semestene, Bonorva, Macomer and Bortigali. However, during summer 2009, a group of 17 individuals was found within the SPA, confirming that the species, although at low numbers (5-15 displaying males), still breeds successfully in the area. Potential limiting factors are also discussed. We urge to undertake conservation measures based on solid scientific evidence if the local population is to be saved from probable extinction in the near future.

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.

Structural and spectral perspectives of a novel thiosemicarbazone synthesized from di-2-pyridyl ketone and 4-phenyl-3-thiosemicarbazide

A new thiosemicarbazone, HL is synthesized from di-2-pyridyl ketone and 4-phenyl-3-thiosemicarbazide and structurally and spectrochemically characterized. H-1 NMR, C-13 NMR, COSY, HMQC and IR spectra of the compound are studied and the proton magnetic resonance spectrum reveals some unprecedented observations. The thione form is predominant in the solid state, as supported by the crystal structure and IR data, while a thiol-thione equilibrium is proposed in the solution state by NMR studies. The compound crystallizes into a monoclinic lattice with space group C2/c and the ZE conformation is exhibited by the thiosemicarbazone. Intra- and intermolecular hydrogen-bonding interactions give rise to a two-dimensional packing in the crystal lattice. (c) 2005 Elsevier B.V. All rights reserved.

Studies in nonlinear optical materials: structure of di-2-menthyl 2-(N,N'-dimethyl-2-imidazolidinylidene)malonate monohydrate

C28H48N2Oa.H2 O, Mr=494.7, orthorhombic,P2~2~2~, a = 7.634 (2), b = 11.370 (2), c=34. 167 (4) A, V = 2966 (2) A 3, Z = 4, D m = 1.095,D x -- 1. 108 g cm -3, Mo Kct, 2 -- 0.7107 ,/k, ~ =0.43 cm -~, F(000) = 1088.0, T= 293 K, R = 0.061 for 1578 significant reflections. The second-harmonicgeneration (SHG) efficiency of this compound is negligible (1/100th of the urea standard). The observed low second-order nonlinear response has been attributed to the unfavourable packing of the molecules in the crystal lattice.

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.

Correlation of helicopter rotor aeroelastic response with HART-II wind tunnel test data

Purpose - This paper aims to validate a comprehensive aeroelastic analysis for a helicopter rotor with the higher harmonic control aeroacoustic rotor test (HART-II) wind tunnel test data. Design/methodology/approach - Aeroelastic analysis of helicopter rotor with elastic blades based on finite element method in space and time and capable of considering higher harmonic control inputs is carried out. Moderate deflection and coriolis nonlinearities are included in the analysis. The rotor aerodynamics are represented using free wake and unsteady aerodynamic models. Findings - Good correlation between analysis and HART-II wind tunnel test data is obtained for blade natural frequencies across a range of rotating speeds. The basic physics of the blade mode shapes are also well captured. In particular, the fundamental flap, lag and torsion modes compare very well. The blade response compares well with HART-II result and other high-fidelity aeroelastic code predictions for flap and torsion mode. For the lead-lag response, the present analysis prediction is somewhat better than other aeroelastic analyses. Research limitations/implications - Predicted blade response trend with higher harmonic pitch control agreed well with the wind tunnel test data, but usually contained a constant offset in the mean values of lead-lag and elastic torsion response. Improvements in the modeling of the aerodynamic environment around the rotor can help reduce this gap between the experimental and numerical results. Practical implications - Correlation of predicted aeroelastic response with wind tunnel test data is a vital step towards validating any helicopter aeroelastic analysis. Such efforts lend confidence in using the numerical analysis to understand the actual physical behavior of the helicopter system. Also, validated numerical analyses can take the place of time-consuming and expensive wind tunnel tests during the initial stage of the design process. Originality/value - While the basic physics appears to be well captured by the aeroelastic analysis, there is need for improvement in the aerodynamic modeling which appears to be the source of the gap between numerical predictions and HART-II wind tunnel experiments.

Evaluation of ductile-brittle transition temperature (DBTT) of aluminide bond coats by micro-tensile test method

A method has been suggested to accurately determine the DBTT of diffusion aluminide bond coats. Micro-tensile testing of free-standing coating samples has been carried out. The DBTT was determined based on the variation of plastic strain-to-fracture with temperature. The positive features of this method over the previously reported techniques are highlighted. (C) 2010 Elsevier B.V. All rights reserved.