Surface Modification of Ready-to-Use Hollow Fiber Ultrafiltration Modules for Oil/Water Separation

Reusing wastewater from oil-related industries is becoming increasingly important, especially in water-stressed oil-producing countries. Before oily wastewater can be discharged or reused, it must be properly treated, e.g., by membrane-based processes like ultrafiltration. A major issue of the applied membranes is their high fouling propensity. This paper reports on mitigating fouling inside ready-to-use ultrafiltration hollow-fiber modules used in a polishing step in oil/water separation. For this purpose, in-situ polyzwitterionic hydrogel coating was applied. The membrane performance was tested with oil nano-emulsions using a mini-plant system. The main factors influencing fouling were systematically investigated using statistical design of experiments.     

Electrical resistivities and phase transformations of lanthanum,cerium, praseodymium,and neodymium

The electrical resistivities of high purity lanthanum, cerium, praseodymium, and neodymium were investigated as a function of temperature over the range from room temperature to near the melting points of the metals. Transformation temperatures were observed in these metals which were confirmed by supplementary X-ray diffraction studies.     

A mixed integer programming approach to multi-skilled workforce scheduling

The potential benefits of using human resources efficiently in the service sector constitute an incentive for decision makers in this industry to intelligently manage the work shifts of their employees, especially those dealing directly with customers. In the long term, they should attempt to find the right balance between employing as few labor resources as possible and keeping a high level of service. In the short run (e.g., 1 week), however, contracted staff levels cannot be adjusted, and management efforts thus focus on the efficient assignment of shifts and activities to each employee. This article proposes a mixed integer program model that solves the short-term multi-skilled workforce tour scheduling problem, enabling decision makers to simultaneously design workers’ shifts and days off, assign activities to shifts and assign those to employees so as to maximize and balance coverage of a firm’s demand for on-duty staff across multiple activities. Our model is simple enough to be solved with a commercial MIP solver calibrated by default without recurring to complex methodologies, such as extended reformulations and exact and/or heuristic column generation subroutines. A wide computational testing over 1000 randomly generated instances suggests that the model’s solution times are compatible with daily use and that multi-skilling is a significant source of labor flexibility to improve coverage of labor requirements, in particular when such requirements are negatively correlated and part-time workers are a scarce resource.     

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

Given the strong increase in regulatory requirements for business processes the management of business process compliance becomes a more and more regarded field in IS research. Several methods have been developed to support compliance checking of conceptual models. However, their focus on distinct modeling languages and mostly linear (i.e., predecessor-successor related) compliance rules may hinder widespread adoption and application in practice. Furthermore, hardly any of them has been evaluated in a real-world setting. We address this issue by applying a generic pattern matching approach for conceptual models to business process compliance checking in the financial sector. It consists of a model query language, a search algorithm and a corresponding modelling tool prototype. It is (1) applicable for all graph-based conceptual modeling languages and (2) for different kinds of compliance rules. Furthermore, based on an applicability check, we (3) evaluate the approach in a financial industry project setting against its relevance for decision support of audit and compliance management tasks.     

Summary Maps for Lifelong Visual Localization

Robots that use vision for localization need to handle environments that are subject to seasonal and structural change, and operate under changing lighting and weather conditions. We present a framework for lifelong localization and mapping designed to provide robust and metrically accurate online localization in these kinds of changing environments. Our system iterates between offline map building, map summary, and online localization. The offline mapping fuses data from multiple visually varied datasets, thus dealing with changing environments by incorporating new information. Before passing these data to the online localization system, the map is summarized, selecting only the landmarks that are deemed useful for localization. This Summary Map enables online localization that is accurate and robust to the variation of visual information in natural environments while still being computationally efficient. We present a number of summary policies for selecting useful features for localization from the multisession map, and we explore the tradeoff between localization performance and computational complexity. The system is evaluated on 77 recordings, with a total length of 30 kilometers, collected outdoors over 16 months. These datasets cover all seasons, various times of day, and changing weather such as sunshine, rain, fog, and snow. We show that it is possible to build consistent maps that span data collected over an entire year, and cover day‐to‐night transitions. Simple statistics computed on landmark observations are enough to produce a Summary Map that enables robust and accurate localization over a wide range of seasonal, lighting, and weather conditions.     

Free material optimization for laminated plates and shells

Free Material Optimization (FMO) is a powerful approach for conceptual optimal design of composite structures. The design variable in FMO is the entire elastic material tensor which is allowed to vary almost freely over the design domain. The imposed requirements on the tensor are that it is symmetric and positive semidefinite. Most of today’s studies on FMO focus on models for two- and three-dimensional structures. The objective of this article is to extend existing FMO models and methods to laminated plate and shell structures, which are used in many engineering applications. In FMO, the resulting optimization problem is generally a non convex semidefinite program with many matrix inequalities which requires special-purpose optimization methods. The FMO problems are efficiently solved by a primal-dual interior point method developed and implemented by the authors. The quality of the proposed FMO models and the method are supported by several large-scale numerical experiments.     

Specification-driven model transformation testing

Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches for the generation of input models ensure a certain coverage of the source meta-model or the transformation implementation code, whereas oracle functions are frequently defined using query or graph languages. However, these two tasks are usually performed independently regardless of their common purpose, and sometimes, there is a gap between the properties exhibited by the generated input models and those considered by the transformations. Recently, we proposed a formal specification language for the declarative formulation of transformation properties (by means of invariants, pre-, and postconditions) from which we generated partial oracle functions used for transformation testing. Here, we extend the usage of our specification language for the automated generation of input test models by SAT solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the transformation requirements. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions. A set of experiments is presented, aimed at measuring the efficacy of our technique.