Surface patterning is a recent promising approach to promote performance of pressure-driven membranes in water treatment and desalination. Nevertheless, knowledge about foulant deposition mechanisms, especially at early stage of filtration, is still lacking. The applicability of particle imaging velocimetry to study fluid characteristics atop surface patterned thin-film composite membranes was investigated at different operating conditions. This work is an important first step toward reliable understanding of the impacts of topographical membrane surface modification on hydrodynamic conditions and foulant deposition mechanisms. 相似文献
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. 相似文献
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. 相似文献
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 (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. 相似文献
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. 相似文献
In light of the growing relevance of customer-oriented business strategies IT investments in the field of Customer Relationship Management have increased considerably. However, firms often could not realize sufficient returns on these IT investments. One major reason for this failure seems to be the lack of appropriate approaches to determine the economic impact of such investments ex ante. Therefore, we develop an economic model to determine the optimal level of Customer Relationship Management IT investments. Using this approach, firms can evaluate, to what extent investments in Customer Relationship Management IT are reasonable. One major result is that in most cases the “all or nothing strategy” pursued by many firms does not lead to the optimal level of investments. To illustrate the practical utility and applicability of the approach, we provide a real world example of a German financial services provider. 相似文献
IT systems pervade our society more and more, and we become heavily dependent on them. At the same time, these systems are increasingly targeted in cyberattacks, making us vulnerable. Enterprise and cybersecurity responsibles face the problem of defining techniques that raise the level of security. They need to decide which mechanism provides the most efficient defense with limited resources. Basically, the risks need to be assessed to determine the best cost-to-benefit ratio. One way to achieve this is through threat modeling; however, threat modeling is not commonly used in the enterprise IT risk domain. Furthermore, the existing threat modeling methods have shortcomings. This paper introduces a metamodel-based approach named Yet Another Cybersecurity Risk Assessment Framework (Yacraf). Yacraf aims to enable comprehensive risk assessment for organizations with more decision support. The paper includes a risk calculation formalization and also an example showing how an organization can use and benefit from Yacraf.
Autonomous Robots - This paper presents a novel system for autonomous, vision-based drone racing combining learned data abstraction, nonlinear filtering, and time-optimal trajectory planning. The... 相似文献