Geometric and algebraic errors in calculating a transducer'sspatial impulse response

Two types of errors resulting from the numerical evaluation of a transducer's spatial impulse response function have been identified, One is geometric and is due to the mismatch between the emulated piston surface (approximated using many small planar elements) and the true surface. The other error is algebraic and is due to the inexact formulation of the response of the emulated surface. The deviations from the true response were calculated for three different pistons. The results indicate that the shape and placement of the elements are important for the computational accuracy     

Long-term findings in patients with facial palsy and antibodies against Borrelia burgdorferi

Little is known about the long-term effects of Borrelia burgdorferi (Bb) infection in untreated patients with peripheral facial palsy. We investigated 12 patients with elevated serum Bb antibody levels, with a median follow-up time of 11 years, during which 3 of the 12 still exhibited intrathecal antibody production of antibodies against Bb flagellar antigen, and 2 of the 3 had normal serum Bb antibodies. Four of the 12 had elevated serum antibody titres at the late follow-up examination. Arthralgia, reported by 7 patients, was the single most common complaint. Four patients showed extensive oculomotor disturbances, which were not correlated to antibody titres or intrathecal antibody synthesis. In 1 of the patients with intrathecal Bb antibody production, most symptoms were eradicated by antibiotic treatment 6 years after the initial infection. We conclude that even several years after a Bb infection, intrathecal Bb antibody production can still occur in serum Bb IgG antibody negative patients with a history of facial palsy.     

Mobile robot localization: integrating measurements from atime-of-flight laser

This paper presents an algorithm for environment mapping by integrating scans from a time-of-flight laser and odometer readings from a mobile robot. The range weighted Hough transform (RWHT) is used as a robust method to extract lines from the range data. The resulting peaks in the RWHT are used as feature coordinates when these lines/walls are used as landmarks during navigation. The associations between observations over the time sequence are made in a systematic way using a decision directed classifier. Natural geometrical landmarks are described in the robot frame together with a covariance matrix representing the spatial uncertainty. The map is thus built up incrementally as the robot moves. If the map is given in advance, the robot can find its location and navigate relative to this a priori given map. Experimental results are presented for a mobile robot with a scanning range measuring laser having 2-cm resolution. The algorithm was also used for an autonomous plastering robot on a construction site. The sensor fusion algorithm makes few erroneous associations     

Optimization of thermodynamic properties of the K2O-SiO2 system at high temperatures

An optimized set of thermodynamic functions for the K₂O-SiO₂ system at 10⁵ Pa pressure was obtained by considering available phase diagram and thermodynamic data. KSi_0.25O and SiO₂ were selected as components for the liquid phase. With respect to these components, the highly non-ideal interactions of potassium oxide and silica could be described by using only three temperature-independent Redlich-Kister coefficients for the excess G of the liquid phase. The result is in good agreement with experimental data.     

An architecture modeling framework for probabilistic prediction

In the design phase of business and IT system development, it is desirable to predict the properties of the system-to-be. A number of formalisms to assess qualities such as performance, reliability and security have therefore previously been proposed. However, existing prediction systems do not allow the modeler to express uncertainty with respect to the design of the considered system. Yet, in contemporary business, the high rate of change in the environment leads to uncertainties about present and future characteristics of the system, so significant that ignoring them becomes problematic. In this paper, we propose a formalism, the Predictive, Probabilistic Architecture Modeling Framework (P²AMF), capable of advanced and probabilistically sound reasoning about business and IT architecture models, given in the form of Unified Modeling Language class and object diagrams. The proposed formalism is based on the Object Constraint Language (OCL). To OCL, P²AMF adds a probabilistic inference mechanism. The paper introduces P²AMF, describes its use for system property prediction and assessment and proposes an algorithm for probabilistic inference.     

A method for predicting the probability of business network profitability

In the design phase of business collaboration, it is desirable to be able to predict the profitability of the business-to-be. Therefore, techniques to assess qualities such as costs, revenues, risks, and profitability have been previously proposed. However, they do not allow the modeler to properly manage uncertainty with respect to the design of the considered business collaboration. In many real collaboration projects today, uncertainty regarding the business’ present or future characteristics is so significant that ignoring it becomes problematic. In this paper, we propose an approach based on the predictive, probabilistic architecture modeling framework (P²AMF), capable of advanced and probabilistically sound reasoning about profitability risks. The P²AMF-based approach for profitability risk prediction is also based on the e³-value modeling language and on the object constraint language. The paper introduces the prediction and modeling approach, and a supporting software tool. The use of the approach is illustrated by means of a case study originated from the Stockholm Royal Seaport smart city project.     

Contract-based verification of discrete-time multi-rate Simulink models

This paper presents an approach to modular contract-based verification of discrete-time multi-rate Simulink models. The verification approach uses a translation of Simulink models to sequential programs that can then be verified using traditional software verification techniques. Automatic generation of the proof obligations needed for verification of correctness with respect to contracts, and automatic proofs are also discussed. Furthermore, the paper provides detailed discussions about the correctness of each step in the verification process. The verification approach is demonstrated on a case study involving control software for prevention of pressure peaks in hydraulics systems.     

Measurements of indoor and outdoor nitrogen dioxide concentrations using a diffusive sampler

The Willems badge, a short-term diffusion sampler, was used to measure nitrogen dioxide concentrations inside and outside the homes of participants in the European study "PEACE' (Pollution Effects on Asthmatic Children in Europe). The main aim of the study was to determine levels of nitrogen dioxide concentrations both outside and inside children's homes, and to estimate the indoor/outdoor ratios for nitrogen dioxide in an urban area, in comparison with a less urbanized control area. We conducted measurements in 23 homes in Ume?, a city of about 100,000 inhabitants in the northern part of Sweden, in addition to 20 homes in a less urbanized control area situated about 20 km from Ume?. Measurements were made on two different occasions in each home during the period January-March, 1994. The houses were not equipped with any gas appliances. The mean outdoor 24-h concentration in Ume? was 28 micrograms m-3 and the mean indoor concentration was 11 micrograms m-3. The mean indoor: outdoor ratio was 0.44 (s = 0.23). The highest outdoor value, measured in the city centre of Ume?, was 54 micrograms m-3. In the control area the mean ambient 24-h concentration was 12 micrograms m-3, approximately half as high as in the urban area, and the mean indoor concentration was 6 micrograms m-3. The mean indoor: outdoor ratio was 0.67 (s = 0.55). The correlation coefficient between indoor and outdoor concentrations was higher in the control area, r = 0.79 (p < 0.001), in comparison with the urban area, r = 0.43 (p < 0.01). It is concluded that the outdoor as well as the indoor concentrations of nitrogen dioxide were approximately twice as high in Ume? as in the control area. This could be explained by heavier traffic density in Ume?. The mean 24-h concentration outside homes in Ume? was, however, below the 24-h national standard level of 75 micrograms m-3. The higher correlation between indoor and outdoor concentrations, combined with higher indoor: outdoor ratio, in the control area is interpreted as a sign of a lower level of penetration of outdoor air into the houses in the urban area. This was not explained by differences in types of buildings between the two areas, but possibly by differences in air-exchange rates and in habits of ventilating rooms with open windows.     

Architecture analysis of enterprise systems modifiability - Models, analysis, and validation

Enterprise architecture (EA) models can be used in order to increase the general understanding of enterprise systems and to perform various kinds of analysis. This paper presents instantiated architectural models based on a metamodel for enterprise systems modifiability analysis, i.e. for assessing the cost of making changes to enterprise-wide systems. The instantiated architectural models detailed are based on 21 software change projects conducted at four large Nordic companies. Probabilistic relational models (PRMs) are used for formalizing the EA analysis approach. PRMs enable the combination of regular entity-relationship modeling aspects with means to perform enterprise architecture analysis under uncertainty. The modifiability metamodel employed in the analysis is validated with survey and workshop data (in total 110 experts were surveyed) and with the data collected in the 21 software change projects. Validation indicates that the modifiability metamodel contains the appropriate set of elements. It also indicates that the metamodel produces estimates within a 75% accuracy in 87% of the time and has a mean accuracy of 88% (when considering projects of 2000 man-hours or more).     

Architecture analysis of enterprise systems modifiability: a metamodel for software change cost estimation

Enterprise architecture models can be used in order to increase the general understanding of enterprise systems and specifically to perform various kinds of analysis. The present paper proposes a metamodel for enterprise systems modifiability analysis, i.e. assessing the cost of making changes to enterprise-wide systems. The enterprise architecture metamodel is formalized using probabilistic relational models, which enables the combination of regular entity-relationship modeling aspects with means to perform enterprise architecture analysis. The content of the presented metamodel is validated based on survey and workshop data and its estimation capability is tested with data from 21 software change projects. To illustrate the applicability of the metamodel an instantiated architectural model based on a software change project conducted at a large Nordic transportation company is detailed.