Simulation of nitrogen dynamics and biomass production in winter wheat using the Danish simulation model DAISY

A dynamic simulation model for the soil plant system is described. The model includes a number of main modules, viz., a hydrological model including a submodel for soil water dynamics, a soil temperature model, a soil nitrogen model including a submodel for soil organic matter dynamics, and a crop model including a submodel for nitrogen uptake. The soil part of the model has a one-dimensional vertical structure. The soil profile is divided into layers on the basis of physical and chemical soil characteristics. The simulation model was used to simulate soil nitrogen dynamics and biomass production in winter wheat grown at two locations at various levels of nitrogen fertilization. The simulated results were compared to experimental data including concentration of inorganic nitrogen in soil, crop yield, and nitrogen accumulated in the aboveground part of the crop. Based on this validation it is concluded that the overall performance of the model is satisfactory although some minor adjustments of the model may prove to be necessary.     

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.     

Improving active Mealy machine learning for protocol conformance testing

Using a well-known industrial case study from the verification literature, the bounded retransmission protocol, we show how active learning can be used to establish the correctness of protocol implementation I relative to a given reference implementation R. Using active learning, we learn a model M _R of reference implementation R, which serves as input for a model-based testing tool that checks conformance of implementation I to M _R . In addition, we also explore an alternative approach in which we learn a model M _I of implementation I, which is compared to model M _R using an equivalence checker. Our work uses a unique combination of software tools for model construction (Uppaal), active learning (LearnLib, Tomte), model-based testing (JTorX, TorXakis) and verification (CADP, MRMC). We show how these tools can be used for learning models of and revealing errors in implementations, present the new notion of a conformance oracle, and demonstrate how conformance oracles can be used to speed up conformance checking.     

Nature-Inspired Meta-Heuristics on Modern GPUs: State of the Art and Brief Survey of Selected Algorithms

Graphic processing units (GPUs) emerged recently as an exciting new hardware environment for a truly parallel implementation and execution of Nature and Bio-inspired Algorithms with excellent price-to-power ratio. In contrast to common multicore CPUs that contain up to tens of independent cores, the GPUs represent a massively parallel single-instruction multiple-data devices that can nowadays reach peak performance of hundreds and thousands of giga floating-point operations per second. Nature and Bio-inspired Algorithms implement parallel optimization strategies in which a single candidate solution, a group of candidate solutions (population), or multiple populations seek for optimal solution or set of solutions of given problem. Genetic algorithms (GA) constitute a family of traditional and very well-known nature-inspired populational meta-heuristic algorithms that have proved its usefulness on a plethora of tasks through the years. Differential evolution (DE) is another efficient populational meta-heuristic algorithm for real-parameter optimization. Particle swarm optimization (PSO) can be seen as nature-inspired multiagent method in which the interaction of simple independent agents yields intelligent collective behavior. Simulated annealing (SA) is global optimization algorithm which combines statistical mechanics and combinatorial optimization with inspiration in metallurgy. This survey provides a brief overview of the latest state-of-the-art research on the design, implementation, and applications of parallel GA, DE, PSO, and SA-based methods on the GPUs.     

Development of high‐definition aqueous polyvinylpyrrolidone photoresists for cathode ray tubes

Aqueous photoresists that are capable of higher resolutions than are currently employed by the cathode ray tube (CRT) industry were developed by combining photoactivators, which activate at shorter UV wavelengths with polyvinylpyrrolidone (PVP). Two photoactivators were synthesized: 4,4′‐diazido‐2,2′‐biphenyl disodium disulfonate (DABP), which has a maximum absorbance at 264 nm, and 4,4′‐diazido‐2,2′‐biphenylethane disodium disulfonate (DABPE), which has a maximum absorbance at 258 nm. The PVP/DABP and PVP/DABPE photoresists successfully imaged a pattern with resolution as small as 4.4 μm with photoactivator concentrations greater than 20% of the PVP concentration. Addition of silane and emulgen greatly improved the performance of the photoresists with more uniform coatings of thicknesses of up to 1.4 μm. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 102: 1637–1644, 2006     

Dynamic mechanical behavior of chlorosubstituted derivatives of poly(ethyl methacrylate) and poly(ethyl acrylate)

A freely oscillating torsional pendulum was used in the investigation of the influence of trichloroethyl, tetrachloroethyl, trichloromethoxyethyl, and trichloroethoxyethyl side groups on the molecular mobility in the glassy state and on the glass transition temperature of poly(meth)acrylates. All the polymers under study, which may be used as fire retardants, exhibit a simple relaxation behavior. While the parameters of the low-temperature and secondary relaxation process in the glassy state are not noticeably affected by the substituents used, the glass transition temperature T_g, increases with rising polarity and volume of side chains. The increase is larger in the series of polyacrylates, so that differences in the softening temperatures of polymethacrylates and polyacrylates having the same side chains decrease considerably with growing substitution.     

Experiments on the suspension of spheres in inclined tubes—II. Suspension by air

Data are presented on the suspension of single spheres by air, in inclined tubes ranging in diameter from 0·97 to 5·13 cm. The angle of inclination of the tubes to the horizontal axis varied from 0 to 90°. The data, which relate the pressure drop and suspending velocity to the geometric and physical parameters of the system, are compared with data generated previously using water as the suspending fluid. Dimensionless expressions are presented which correlate both sets of data for pressure drop and suspending velocity in terms of sphere/tube diameter ratio, tube diameter, density of solid and fluid and angle of inclination of the tube.     

On Floridi’s Method of Levels of Abstraction

Abstraction is arguably one of the most important methods in modern science in analysing and understanding complex phenomena. In his book The Philosophy of Information, Floridi (The philosophy of information. Oxford University Press, Oxford, 2011) presents the method of levels of abstraction as the main method of the Philosophy of Information. His discussion of abstraction as a method seems inspired by the formal methods and frameworks of computer science, in which abstraction is operationalised extensively in programming languages and design methodologies. Is it really clear what we should understand by levels of abstraction? How should they be specified? We will argue that levels of abstraction should be augmented with annotations, in order to express semantic information for them and reconcile the method of level of abstraction (LoA’s) with other approaches. We discuss the extended method when applied e.g. to the analysis of abstract machines. This will lead to an example in which the number of LoA’s is unbounded.     

Battery State-Of-Charge Based Altitude Controller for Small, Low Cost Multirotor Unmanned Aerial Vehicles

Small unmanned aerial vehicles (UAV) are typically driven by Lithium polymer batteries. The batteries have their own dynamics, which changes during discharge. Classical approaches to altitude control assume a time-invariant system and therefore fail. Adaptive controllers require an identified system model which is often unavailable. Battery dynamics can be characterized and used for a battery model-based controller. This controller is useful in situations when no feedback from actuators (such as RPM or thrust) is available. After measuring the battery dynamics for two distinct types of batteries, a controller is designed and experimentally verified, showing a consistent performance during entire discharge test and a consequent flight verification.     

Geschäftsmodelle

The business model concept, although a relatively new topic for research, has garnered growing attention over the past decade. Whilst it has been robustly defined, the concept has so far attracted very little substantive research. In the context of the wide-spread digitization of businesses and society at large, the logic inherent in a business model has become critical for business success and, hence, a focus for academic inquiry. The business model concept is identified as the missing link between business strategy, processes, and Information Technology (IT). The authors argue that the BISE community offers distinct and unique competencies (e.g., translating business strategies into IT systems, managing business and IT processes, etc.) that can be harnessed for significant research contributions to this field. Within this research gap three distinct streams are delineated, namely, business models in IT industries, IT enabled or digital business models, and IT support for developing and managing business models. For these streams, the current state of the art, suggest critical research questions, and suitable research methodologies are outlined.