Visualization of communication system testing logs

During the past decades testing has matured from ad-hoc activity into being an integral part of the development process. The benefits of testing are obvious for modern communication systems, which operate in heterogeneous environments amongst devices from various manufacturers. The increased demand for testing also creates demand for tools and technologies that support and automate testing activities. This thesis discusses applicability of visualization techniques in the result analysis part of the testing process. Particularly, the primary focus of this work is visualization of test execution logs produced by a TTCN-3 test system. TTCN-3 is an internationally standardized test specification and implementation language. The TTCN-3 standard suite includes specification of a test logging interface and a graphical presentation format, but no immediate relationship between them. This thesis presents a technique for mapping the log events to the graphical presentation format along with a concrete implementation, which is integrated with the Eclipse Platform and the OpenTTCN Tester toolchain. Results of this work indicate that for majority of the log events, a visual representation may be derived from the TTCN-3 standard suite. The remaining events were analysed and three categories relevant in either log analysis or implementation of the visualization tool were identified: events indicating insertion of something into the incoming queue of a port, events indicating a mismatch and events describing the control flow during the execution. Applicability of the results is limited into the domain of TTCN-3, but the developed mapping and the implementation may be utilized with any TTCN-3 tool that is able to produce the execution log in the standardized XML format.

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.

Stress testing and risk evaluation of new capacity payment algorithm proposed by Market Council

In the Russian Wholesale Market, electricity and capacity are traded separately. Capacity is a special good, the sale of which obliges suppliers to keep their generating equipment ready to produce the quantity of electricity indicated by the System Operator. The purpose of the formation of capacity trading was the maintenance of reliable and uninterrupted delivery of electricity in the wholesale market. The price of capacity reflects constant investments in construction, modernization and maintenance of power plants. So, the capacity sale creates favorable conditions to attract investments in the energy sector because it guarantees the investor that his investments will be returned.

Automated, adaptive methods for forest inventory

Forest inventories are used to estimate forest characteristics and the condition of forest for many different applications: operational tree logging for forest industry, forest health state estimation, carbon balance estimation, land-cover and land use analysis in order to avoid forest degradation etc. Recent inventory methods are strongly based on remote sensing data combined with field sample measurements, which are used to define estimates covering the whole area of interest. Remote sensing data from satellites, aerial photographs or aerial laser scannings are used, depending on the scale of inventory. To be applicable in operational use, forest inventory methods need to be easily adjusted to local conditions of the study area at hand. All the data handling and parameter tuning should be objective and automated as much as possible. The methods also need to be robust when applied to different forest types. Since there generally are no extensive direct physical models connecting the remote sensing data from different sources to the forest parameters that are estimated, mathematical estimation models are of "black-box" type, connecting the independent auxiliary data to dependent response data with linear or nonlinear arbitrary models. To avoid redundant complexity and over-fitting of the model, which is based on up to hundreds of possibly collinear variables extracted from the auxiliary data, variable selection is needed. To connect the auxiliary data to the inventory parameters that are estimated, field work must be performed. In larger study areas with dense forests, field work is expensive, and should therefore be minimized. To get cost-efficient inventories, field work could partly be replaced with information from formerly measured sites, databases. The work in this thesis is devoted to the development of automated, adaptive computation methods for aerial forest inventory. The mathematical model parameter definition steps are automated, and the cost-efficiency is improved by setting up a procedure that utilizes databases in the estimation of new area characteristics.

COMPARISON BETWEEN WOOD DRYING DEFECT SCORES: SPECIMEN TESTING X ANALYSIS OF KILN-DRIED BOARDS

It is important to develop drying technologies for Eucalyptus grandis lumber, which is one of the most planted species of this genus in Brazil and plays an important role as raw material for the wood industry. The general aim of this work was to assess the conventional kiln drying of juvenile wood of three clones of Eucalyptus grandis. The specific aims were to compare the behavior between: i) drying defects indicated by tests with wood specimens and conventional kiln-dried boards; and ii) physical properties and the drying quality. Five 11-year-old trees of each clone were felled, and only flatsawn boards of the first log were used. Basic density and total shrinkage were determined, and the drying test with wood specimens at 100 °C was carried out. Kiln drying of boards was performed, and initial and final moisture content, moisture gradient in thickness, drying stresses and drying defects were assessed. The defect scoring method was used to verify the behavior between the defects detected by specimen testing and the defects detected in kiln-dried boards. As main results, the drying schedule was too severe for the wood, resulting in a high level of boards with defects. The behavior between the defects in the drying test with specimens and the defects of kiln-dried boards was different, there was no correspondence, according to the defect scoring method.

Determining the concrete stiffness matrix through ultrasonic testing

The determination of the modulus tangent (Eci ) and of the modulus secant (Ecs) of the concrete can be done using compression test but, to be simpler, it is used relations with characteristic strength (f ck). Relations are also used to determine the transversal modulus (Gc) and, in the case of the Poisson's ratio (ν), a fixed value 0.20 is established. The objective of this research was to evaluate the use of the ultrasonic propagation waves to determine these properties. For the tests were used specimens with f ck varying from 10 to 35 MPa. For the ultrasonic tests were used cylindrical and cubic specimens. The modulus of deformation obtained by ultrasound was statistically equivalent to the obtained by compression tests. The results of modules obtained using the relations with f ck was far away from those obtained by ultrasound or by compression tests. The Poisson's ratio obtained by ultrasound was superior to the fixed value. We can conclude that the concrete characterization by ultrasound is consistent and, to this characterization the cylindrical specimen, normally used to determine f ck, can be used.

Benefits of automated acclimatization during the pre-milking phase of lactating girolando cows

The aim of this paper was to evaluate the automated acclimatization effects during pre-milking of cows on thermal conditioning, physiology, milk production and cost-benefit of the automated adiabatic evaporative cooling system (AECS). The treatments 20; 30; 40 min and control consisted of exposure time of pre-milking cows to the automated AECS. Sixteen cows were used with an average daily milk yield of 19 kg, distributed in a 4 x 4 Latin square design. The Tukey's test (P<0.05) was used to compare the means. The environmental variables, dry bulb temperature (DBT, ºC) and relative humidity (RH, %), were recorded every minute, which allowed the determination of the system efficiency through the Temperature and Humidity Index (THI). The respiratory rate (RR), rectal temperature (RT) and temperature of the coat (TC) were measured before and after the acclimatization. The 40 min treatment kept the environmental variables and the comfort indexes within recommended limits. The physiological variables (RR, RT and TC) were lower in the 40 min treatment and reflected positively on milk production, which increased 3.66% compared to the control treatment. The system was profitable, having a 43 days return on investment and a monthly revenue increase of R$ 1,992.67.

Development of an automated bench top electronic penetrometer

The aim of this study was to develop a an automated bench top electronic penetrometer (ABEP) that allows performing tests with high rate of data acquisition (up to 19,600 Hz) and with variation of the displacement velocity and of the base area of cone penetration. The mechanical components of the ABEP are: a supporting structure, stepper motor, velocity reducer, double nut ball screw and six penetration probes. The electronic components of ABEP are: a "driver" to control rotation and displacement, power supply, three load cells, two software programs for running and storing data, and a data acquisition module. This penetrometer presented in compact size, portable and in 32 validation tests it proved easy to operate, and showed high resolution, high velocity in reliability in data collection. During the validation tests the equipment met the objectives, because the test results showed that the ABEP could use different sizes of cones, allowed work at different velocities, showed for velocity and displacement, were only 1.3% and 0.7%, respectively, at the highest velocity (30 mm s-1) and 1% and 0.9%, respectively for the lowest velocity (0.1 mm s-1).

Genetically Determined Hypometabolism in Alzheimer’s Disease and Midlife Risk Factors for Cognitive Impairment

The role of genetic factors in the pathogenesis of Alzheimer’s disease (AD) is not completely understood. In order to improve this understanding, the cerebral glucose metabolism of seven monozygotic and nine dizygotic twin pairs discordant for AD was compared to that of 13 unrelated controls using positron emission tomography (PET). Traditional region of interest analysis revealed no differences between the non-demented dizygotic co-twins and controls. In contrast, in voxel-level and automated region of interest analyses, the non-demented monozygotic co-twins displayed a lower metabolic rate in temporal and parietal cortices as well as in subcortical grey matter structures when compared to controls. Again, no reductions were seen in the non-demented dizygotic co-twins. The reductions seen in the non-demented monozygotic co-twins may indicate a higher genetically mediated risk of AD or genetically mediated hypometabolism possibly rendering them more vulnerable to AD pathogenesis. With no disease modifying treatment available for AD, prevention of dementia is of the utmost importance. A total of 2 165 at least 65 years old twins of the Finnish Twin Cohort with questionnaire data from 1981 participated in a validated telephone interview assessing cognitive function between 1999 and 2007. Those subjects reporting heavy alcohol drinking in 1981 had an elevated cognitive impairment risk over 20 years later compared to light drinkers. In addition, binge drinking was associated with an increased risk even when total alcohol consumption was controlled for, suggesting that binge drinking is an independent risk factor for cognitive impairment. When compared to light drinkers, also non-drinkers had an increased risk of cognitive impairment. Midlife hypertension, obesity and low leisure time physical activity but not hypercholesterolemia were significant risk factors for cognitive impairment. The accumulation of risk factors increased cognitive impairment risk in an additive manner. A previously postulated dementia risk score based on midlife demographic and cardiovascular factors was validated. The risk score was found to well predict cognitive impairment risk, and cognitive impairment risk increased significantly as the score became higher. However, the risk score is not accurate enough for use in the clinic without further testing.

Testing Futures Market Efficiency and Optimal Hedge Ratio Estimation: Evidence from Futures and Options on RTS

This study investigates futures market efficiency and optimal hedge ratio estimation. First, cointegration between spot and futures prices is studied using Johansen method, with two different model specifications. If prices are found cointegrated, restrictions on cointegrating vector and adjustment coefficients are imposed, to account for unbiasedness, weak exogeneity and prediction hypothesis. Second, optimal hedge ratios are estimated using static OLS, and time-varying DVEC and CCC models. In-sample and out-of-sample results for one, two and five period ahead are reported. The futures used in thesis are RTS index, EUR/RUB exchange rate and Brent oil, traded in Futures and options on RTS.(FORTS) For in-sample period, data points were acquired from start of trading of each futures contract, RTS index from August 2005, EUR/RUB exchange rate March 2009 and Brent oil October 2008, lasting till end of May 2011. Out-of-sample period covers start of June 2011, till end of December 2011. Our results indicate that all three asset pairs, spot and futures, are cointegrated. We found RTS index futures to be unbiased predictor of spot price, mixed evidence for exchange rate, and for Brent oil futures unbiasedness was not supported. Weak exogeneity results for all pairs indicated spot price to lead in price discovery process. Prediction hypothesis, unbiasedness and weak exogeneity of futures, was rejected for all asset pairs. Variance reduction results varied between assets, in-sample in range of 40-85 percent and out-of sample in range of 40-96 percent. Differences between models were found small, except for Brent oil in which OLS clearly dominated. Out-of-sample results indicated exceptionally high variance reduction for RTS index, approximately 95 percent.