Computing surfaces invariant under subdivision

In this paper, we propose a general subdivision algorithm for generating surfaces. The algorithm has as motivation our earlier work on the design of free form curves where similar ideas were investigated. Here we describe some properties of uniform refinement algorithms for surface generation. A detail analysis of their properties will be given later by one of us.     

Apparatus for steady-state kinetic measurements of the catalytic reduction of nitric oxide by ammonia on iron oxide

The reduction of nitric oxide with ammonia on an unsupported iron oxide catalyst has been studied in a continuous-flow recycle reactor using simulated flue gas. The responses of the employed reactor system to step and pulse inputs of tracer indicate that the system could be regarded as a continuous stirred tank reactor (CSTR). Preliminary tests were carried out to determine the effect of temperature and particle size on the measured reaction rates. Additional experiments were performed in order to study the influence of oxygen and water concentration on these rates. A gas chromatographic system has been developed to analyze the gas components NO, N₂O, NO₂, NH₃, H₂O, O₂, CO₂ and N₂. In addition, the concentrations of NO and NO₂ were measured with a nondisperse infrared (NDUV/NDIR) analyzer.     

Numerical characterization and experimental verification of an in-plane MEMS-actuator with thin-film aluminum heater

In this paper, a novel concept of a thermo-mechanical MEMS actuator using aluminum thin-film heaters on a thermal oxide for electrical insulation is presented. The actuator is part of an universal tensile testing platform for thermo-mechanical material characterization of one dimensional materials on a micro- and nano-scopic scale under different environmental conditions, as varying temperatures, pressure, moisture or even vacuum and is realised in BDRIE technology. It is shown, that the actuator concept fulfills the requirements for the use in a tensile loading stage along with heterogeneously integrated nanofunctional elements, following a specimen centered approach in line with bottom-up self-assembly processes. Simulation and experiment agree very well in the thermal and mechanical domain and allow subsequent optimisation of the actuator performance.     

Energieinformatik

Due to the increasing importance of producing and consuming energy more sustainably, Energy Informatics (EI) has evolved into a thriving research area within the CS/IS community. The article attempts to characterize this young and highly dynamic field of research by describing current EI research topics and methods and provides an outlook of how the field might evolve in the future. It is shown that two general research questions have received the most attention so far and are likely to dominate the EI research agenda in the coming years: How to leverage information and communication technology (ICT) to (1) improve energy efficiency, and (2) to integrate decentralized renewable energy sources into the power grid. Selected EI streams are reviewed, highlighting how the respective research questions are broken down into specific research projects and how EI researchers have made contributions based on their individual academic background.     

Adaptive training interfaces for less-experienced,elderly users of electronic devices

A great number of complex electronic devices are now part of our everyday lives. While many of us learn to handle these products by trial and error; others, especially older users with little experience in using electronic devices, need support. In order to allow the user maximum flexibility in terms of learning time and location, a training programme is presented which is implemented as part of the software embedded in the product itself. Particular focus is placed on the effect of adaptive training on learning. In this study, the training versions differed in their ability to adjust their complexity to the user's experience (adaptive user interface complexity) and their capability to support the learner by prompting them during the learning process (adaptive training advice). The results show that the adjustment of complexity had a positive effect on users’ experience: elderly users who trained with an adaptive interface were more successful in learning to use a mobile phone. Adaptive training advice, however, was found to have no significant effects on learners’ success and reduced their self-efficacy. This work offers guidelines on how to design integrated training applications for electronic devices that successfully help elderly users with little prior experience.     

Impoverishment of YOY‐fish assemblages by intense commercial navigation in a large Lowland river

Navigation‐induced physical forces have been suggested to modify the structure of riverine fish assemblages by impeding especially the recruitment of littoral bound species. To investigate the effect of vessel frequency on fish, we compared the composition and seasonal succession of young‐of‐the‐year (YOY) fish assemblages in three similarly degraded river reaches differing in average vessel passages (2, 6 and 41 per day). Fish were caught by electrofishing biweekly between May and September. Multivariate tests were used to analyse differences between YOY‐fish assemblages and hurdle regression models applied to determine abiotic factors predicting fish occurrence and abundance. Roach (Rutilus rutilus) and perch (Perca fluviatilis) densities were compared. Roach larvae remain in the littoral zone while perch larvae shift to the pelagic zone immediately after hatch. YOY‐fish assemblage structure substantially changed along the traffic intensity gradient. In the high traffic intensity reach, species number and total fish density were markedly reduced compared to the other reaches. Roach densities were lowest in the high traffic intensity reach whereas perch densities did not decline along the gradient. Hurdle regressions confirmed a stronger effect of commercial navigation traffic intensity on roach than on perch. The total zooplankton biomass was highest in the high traffic intensity reach. Our results provide empirical evidence that intensive commercial navigation impoverishes fish assemblages in width‐restricted waterways. They underlined that in particular those species that have their first nursery habitats in shoreline areas were more affected by intensive commercial navigation than species whose larvae live predominantly pelagic. The results indicate that the negative effect of intensive navigation on riverine fish results primarily from the navigation‐induced hydraulic disturbances along the banks. Therefore, mitigation of navigation‐induced hydraulic forces is required to prevent degradation of fish communities in waterways. Copyright © 2010 John Wiley & Sons, Ltd.     

Reasoning with graph constraints

Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicability of transformation rules. However, we believe that graph constraints may also play a significant role in the area of visual software modelling or in the specification and verification of semi-structured documents or websites (i.e. HTML or XML sets of documents). In this sense, after some discussion on these application areas, we concentrate on the problem of how to prove the consistency of specifications based on this kind of constraints. In particular, we present proof rules for two classes of graph constraints and show that our proof rules are sound and (refutationally) complete for each class. In addition, we study clause subsumption in this context as a form to speed up refutation.