Flux line lattice states and pinning in niobium wire networks in high magnetic fields

The properties of the flux line lattice in the thin strands of superconducting niobium wire networks with thickness and width comparable to the penetration depth are investigated in the limit of very few flux lines. An angle dependent upper critical field is observed that is consistent with the existence of surface superconductivity. Our results indicate the existence of a flux line lattice in the complete field range B_c1 B B_c 1.4 B_c2. The flux line lattice undergoes a dimensional crossover when the transversal correlation length R_c is of the order of the strand width. The field dependence of the Labusch parameter due to surface pinning is determined and compared to a model for surface pinning by Bean-Livingston barriers.     

Non-functional properties in the model-driven development of service-oriented systems

Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published, requested and dynamically combined in the production of business applications. Service-oriented systems (SOSs) promise high flexibility, improved maintainability, and simple re-use of functionality. Achieving these properties requires an understanding not only of the individual artifacts of the system but also their integration. In this context, non-functional aspects play an important role and should be analyzed and modeled as early as possible in the development cycle. In this paper, we discuss modeling of non-functional aspects of service-oriented systems, and the use of these models for analysis and deployment. Our contribution in this paper is threefold. First, we show how services and service compositions may be modeled in UML by using a profile for SOA (UML4SOA) and how non-functional properties of service-oriented systems can be represented using the non-functional extension of UML4SOA (UML4SOA-NFP) and the MARTE profile. This enables modeling of performance, security and reliable messaging. Second, we discuss formal analysis of models which respect this design, in particular we consider performance estimates and reliability analysis using the stochastically timed process algebra PEPA as the underlying analytical engine. Last but not least, our models are the source for the application of deployment mechanisms which comprise model-to-model and model-to-text transformations implemented in the framework VIATRA. All techniques presented in this work are illustrated by a running example from an eUniversity case study.     

Review Paper: A critical review of the present and future prospects for electronic paper

Abstract— The commercial success of monochrome electronic paper (e‐Paper) is now propelling the development of next‐generation flexible, video, and color e‐Paper products. Unlike the early battles in the 1980s and 1990s between transmissive and emissive display technologies, there is a extraordinary diversity of technologies vying to become the next generation of e‐Paper. A critical review of all major e‐Paper technologies, including a technical breakdown of the performance limitations based on device physics and commentary on possible future breakthroughs, is presented. In addition, the visual requirements for color e‐Paper are provided and compared to standards used in conventional print. It is concluded that researchers have much work remaining in order to bridge the significant gap between reflective electronic displays and print‐on‐paper.     

Experimental test of a robust formation controller for marine unmanned surface vessels

Experiments with two formation controllers for marine unmanned surface vessels are reported. The formation controllers are designed using the nonlinear robust model-based sliding mode approach. The marine vehicles can operate in arbitrary formation configurations by using two leader-follower control schemes. For the design of these controller schemes 3 degrees of freedom (DOFs) of surge, sway, and yaw are assumed in the planar motion of the marine surface vessels. Each vessel only has two actuators; therefore, the vessels are underactuated and the lack of a kinematic constraint puts them into the holonomic system category. In this work, the position of a control point on the vessel is controlled, and the orientation dynamics is not directly controlled. Therefore, there is a potential for an oscillatory yaw motion to occur. It is shown that the orientation dynamics, as the internal dynamics of this underactuated system, is stable, i.e., the follower vehicle does not oscillate about its control point during the formation maneuvers. The proposed formation controller relies only on the state information obtained from the immediate neighbors of the vessel and the vessel itself. The effectiveness and robustness of formation control laws in the presence of parameter uncertainty and environmental disturbances are demonstrated by using both simulations and field experiments. The experiments were performed in a natural environment on a lake using a small test boat, and show robust performance to parameter uncertainty and disturbance. This paper reports the first experimental verification of the above mentioned approach, whose unique features are the use of a control point, the zero-dynamic stability analysis, the use of leader-follower method and a nonlinear robust control approach.     

Systems modelling for effective mine water management

Concerns about the difficulties in securing water have led the Australian coal mining industry to seek innovative ways to improve its water management and to adopt novel strategies that will lead to less water being used and more water being reused. Simulation tools are essential to assess current water management performance and to predict the efficiency of potential strategies. As water systems on coal mines are complex and consist of various inter-connected elements, a systems approach was selected, which views mine site water management as a system that obtains water from various sources (surface, groundwater), provides sufficient water of suitable quality to the mining tasks (coal beneficiation, dust suppression, underground operations) and maintains environmental performance. In this paper, the model is described and its calibration is illustrated. The results of applying the model for the comparison of the water balances of 7 coal mines in the northern Bowen Basin (Queensland, Australia) are presented. The model is used to assess the impact of applying specific water management strategies. Results show that a simple systems model is an appropriate tool for assessing site performance, for providing guidance to improve performance through strategic planning, and for guiding adoption of site objectives.     

Estimating body shape of dressed humans

The paper presents a method to estimate the detailed 3D body shape of a person even if heavy or loose clothing is worn. The approach is based on a space of human shapes, learned from a large database of registered body scans. Together with this database we use as input a 3D scan or model of the person wearing clothes and apply a fitting method, based on ICP (iterated closest point) registration and Laplacian mesh deformation. The statistical model of human body shapes enforces that the model stays within the space of human shapes. The method therefore allows us to compute the most likely shape and pose of the subject, even if it is heavily occluded or body parts are not visible. Several experiments demonstrate the applicability and accuracy of our approach to recover occluded or missing body parts from 3D laser scans.     

Color image segmentation in HSI space for automotive applications

This article presents a method for classifying color points for automotive applications in the Hue Saturation Intensity (HSI) Space based on the distances between their projections onto the SI plane. Firstly the HSI Space is analyzed in detail. Secondly the projection of image points from a typical automotive scene onto the SI plane is shown. The minimal classes relevant for driver assistance applications are derived. The requirements for the classification of the points into those classes are obtained. Several weighting functions are proposed and a fast form of an euclidean metric is investigated in detail. In order to improve the sensitivity of the weighting function, dynamic coefficients are introduced. It is shown how to compute them automatically in order to get optimal results for the classification. Finally some results of applying the metric to the sample images are shown and the conclusions are drawn.

Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines

Ordered binary decision diagrams are the state-of-the-art representation of switching functions. In order to keep the sizes of OBDDs tractable, heuristics and dynamic reordering algorithms are applied to optimize the underlying variable order. When finite state machines are represented by OBDDs the state encoding can be used as an additional optimization parameter. In this paper, we analyze local encoding transformations which can be applied dynamically. First, we investigate the potential of re-encoding techniques. We then propose the use of an XOR-transformation and show why this transformation is most suitable among the set of all encoding transformations. The presented theoretical framework establishes a new optimization technique for OBDDs.