Guidelines for the incremental identification of aspects in requirements specifications

The desired principle of separation of concerns in software development can be jeopardized by the so-called crosscutting concerns, which tend to be scattered over (and tangled with) the functionality of the modular units of a system. The correct identification of such concerns (and their encapsulation into separate artifacts) is thereby considered a way to improve software understanding and evolution. Pursuing a proper management of concerns from the requirements engineering stage can greatly benefit the entire software life-cycle. In this paper, we propose conceptual guidelines on how to perform the identification of crosscutting concerns in the process of building requirements specifications. We argue that the identification must be carried out in an incremental way, to encapsulate apart the crosscutting concerns even if they have not emerged completely yet.

On a quasiorder on the class of monounary algebras

In the paper we introduce a relation on the class of monounary algebras by means of -homomorphisms. It is a quasiorder. We take a subclass of containing monounary algebras satisfying the property We characterize algebras in by the notions of a degree and properties of their -endomorphisms. We apply the results to finite monounary algebras. Supported by grant VEGA 1/0161/03     

Free binary decision diagrams for the computation of EAR n

Free binary decision diagrams (FBDDs) are graph-based data structures representing Boolean functions with the constraint (additional to binary decision diagram) that each variable is tested at most once during the computation. The function EAR_n is the following Boolean function defined for n × n Boolean matrices: EAR_n(M) = 1 iff the matrix M contains two equal adjacent rows. We prove that each FBDD computing EAR_n has size at least and we present a construction of such diagrams of size approximately .     

Progressive volume rendering of large unstructured grids

We describe a new progressive technique that allows real-time rendering of extremely large tetrahedral meshes. Our approach uses a client-server architecture to incrementally stream portions of the mesh from a server to a client which refines the quality of the approximate rendering until it converges to a full quality rendering. The results of previous steps are re-used in each subsequent refinement, thus leading to an efficient rendering. Our novel approach keeps very little geometry on the client and works by refining a set of rendered images at each step. Our interactive representation of the dataset is efficient, light-weight, and high quality. We present a framework for the exploration of large datasets stored on a remote server with a thin client that is capable of rendering and managing full quality volume visualizations.     

Interactive visual analysis of families of function graphs

The analysis and exploration of multidimensional and multivariate data is still one of the most challenging areas in the field of visualization. In this paper, we describe an approach to visual analysis of an especially challenging set of problems that exhibit a complex internal data structure. We describe the interactive visual exploration and analysis of data that includes several (usually large) families of function graphs f_i(x, t). We describe analysis procedures and practical aspects of the interactive visual analysis specific to this type of data (with emphasis on the function graph characteristic of the data). We adopted the well-proven approach of multiple, linked views with advanced interactive brushing to assess the data. Standard views such as histograms, scatterplots, and parallel coordinates are used to jointly visualize data. We support iterative visual analysis by providing means to create complex, composite brushes that span multiple views and that are constructed using different combination schemes. We demonstrate that engineering applications represent a challenging but very applicable area for visual analytics. As a case study, we describe the optimization of a fuel injection system in diesel engines of passenger cars     

Unexpected products of the allyldiethylamine hydroformylation homogeneously catalyzed by rhodium complexes

Attempts to carry out the hydroformylation of allyldiethylamine homogeneously catalyzed by rhodium complexes led to unexpected formation of N,N,N,N-tetraethyl-1,4-diaminobutane and 4-(diethylamino)-1-butanole as final products. The role of the catalyst on the product formation and the reaction mechanism are briefly discussed.     

Characteristic measure of the departure from the eddy-viscosity model

Summary There is presented a direct evaluation of the departure from the eddy-viscosity model. This, widely used, concept of a clear physical meaning has usually been tested experimentally via simultaneous turbulence modelling of an eddy-viscosity coefficient _T . Hence, the effect of the basic model assumption remains more or less latent. In the following we propose a characteristic measure for a direct determination of the departure from the eddy-viscosity model, i.e. independently from the choice of _T -modelling from a great variety of available forms.     

Hypoxic ventilatory responsiveness in Tibetan compared with Han residents of 3,658 m

Lifelong high-altitude residents of North and South America acquire blunted hypoxic ventilatory responses and exhibit decreased ventilation compared with acclimatized newcomers. The ventilatory characteristics of Himalayan high-altitude residents are of interest in the light of their reportedly lower hemoglobin levels and legendary exercise performance. Until recently, Sherpas have been the only Himalayan population available for study. To determine whether Tibetans exhibited levels of ventilation and hypoxic ventilatory drives that were as great as acclimatized newcomers, we compared 27 lifelong Tibetan residents of Lhasa, Tibet, China (3,658 m) with 30 acclimatized Han ("Chinese") newcomers matched for age, body size, and extent of exercise training. During room air breathing, minute ventilation was greater in the Tibetan than in the Han young men because of an increased respiratory frequency, but arterial O2 saturation and end-tidal PCO2 did not differ, indicating similar levels of effective alveolar ventilation. The Tibetan subjects had higher hypoxic ventilatory response shape parameter A values and hypercapnic ventilatory responsiveness than the Han subjects. Among the Han subjects, duration of high-altitude residence correlated with the degree of blunting of the hypoxic ventilatory drive. Paradoxically, hyperoxia (inspired O2 fraction 0.70) increased minute ventilation and decreased end-tidal PCO2 in the Tibetan but not in the Han men. We concluded that lifelong Tibetan residents of high altitude neither hypoventilated nor exhibited blunted hypoxic ventilatory responses compared with acclimatized Han newcomers, suggesting that the effects of lifelong high-altitude residence on ventilation and ventilatory response to hypoxia differ in Tibetan compared with other high-altitude populations.     

Changes in hemocoagulation in children with cranio-cerebral trauma

The authors monitored in children with craniocerebral injuries hospitalized in their department in the course of the more than one-year existence of the child ARO ward in addition to other vital parameters also changes of the haemocoagulation system. They describe the majority of commonly observed abnormalities as "latent consumption coagulopathy", where laboratory findings are not associated with clinical signs of coagulopathy. On the other end of the spectrum of coagulopathies after head injuries is the unit of disseminated consumption coagulopathy which is generally evaluated as a secondary phenomenon or as an intermediary mechanism of the disease which complicates various pathological conditions incl. craniocerebral injuries. The authors discuss the pathophysiology, diagnostic possibilities and their experience with the treatment of the mentioned disorders.     

Effects of humidity changes on damping and stress relaxation in wood

Mechanical damping (tan ) and stress relaxation on pine veneer samples under stepwise humidity changes were investigated. The loss factor shows a transient peak every time the relative humidity (RH) of the surrounding atmosphere is changed. The effect appears to be associated with the diffusion of water molecules into or out of the material, the peaks being observed both when the sample is humidified (5%–85% RH) or subjected to drying. The results are supplemented by stress relaxation data obtained on similar specimens. Also in this case a higher relaxation rate is observed when the RH level around the sample is changed, the total stress decrease after several cycles being significantly larger than the corresponding value observed after the same period at the higher RH level.