A feasibility-based algorithm for Computer Aided Molecular and Process Design of solvent-based separation systems

Computer-aided molecular and product design (CAMPD) can in principle be used to find simultaneously the optimal conditions in separation processes and the structure of the optimal solvents. In many cases, however, the solution of CAMPD problems is challenging. In this paper, we propose a solution approach for the CAMPD of solvent-based separation systems in which implicit constraints on phase behaviour in process models are used to test the feasibility of the process and solvent domains. The tests not only eliminate infeasible molecules from the search space but also infeasible combinations of solvent molecules and process conditions. The tests also provide bounds for the optimization of the process model (primal problem) for each solvent, facilitating numerical solution. This is demonstrated on a prototypical natural gas purification process

Unbiased taxonomic annotation of metagenomic samples

The classification of reads from a metagenomic sample using a reference taxonomy is usually based on first mapping the reads to the reference sequences and then classifying each read at a node under the lowest common ancestor of the candidate sequences in the reference taxonomy with the least classification error. However, this taxonomic annotation can be biased by an imbalanced taxonomy and also by the presence of multiple nodes in the taxonomy with the least classification error for a given read. In this article, we show that the Rand index is a better indicator of classification error than the often used area under thereceiver operating characteristic (ROC) curve andF-measure for both balanced and imbalanced reference taxonomies, and we also address the second source of bias by reducing the taxonomic annotation problem for a whole metagenomic sample to a set cover problem, for which a logarithmic approximation can be obtained in linear time and an exact solution can be obtained by integer linear programming. Experimental results with a proof-of-concept implementation of the set cover approach to taxonomic annotation in a next release of the TANGO software show that the set cover approach further reduces ambiguity in the taxonomic annotation obtained with TANGO without distorting the relative abundance profile of the metagenomic sample.Peer ReviewedPostprint (published version

LibiD: Reliable identification of obfuscated third-party android libraries

Third-party libraries are vital components of Android apps, yet they can also introduce serious security threats and impede the accuracy and reliability of app analysis tasks, such as app clone detection. Several library detection approaches have been proposed to address these problems. However, we show these techniques are not robust against popular code obfuscators, such as ProGuard, which is now used in nearly half of all apps. We then present LibID, a library detection tool that is more resilient to code shrinking and package modification than state-of-the-art tools. We show that the library identification problem can be formulated using binary integer programming models. LibID is able to identify specific versions of third-party libraries in candidate apps through static analysis of app binaries coupled with a database of third-party libraries. We propose a novel approach to generate synthetic apps to tune the detection thresholds. Then, we use F-Droid apps as the ground truth to evaluate LibID under different obfuscation settings, which shows that LibID is more robust to code obfuscators than state-of-the-art tools. Finally, we demonstrate the utility of LibID by detecting the use of a vulnerable version of the OkHttp library in nearly 10% of 3,958 most popular apps on the Google Play Store.The Boeing Company, China Scholarship Council, Microsoft Researc

Optimized synthesis of cost-effective, controllable oil system architectures for turbofan engines

Turbofan oil systems are used to provide lubrication and cooling in the engine . There is an increasing interest in oil system architectures which utilize electric pumps and/or valves to give optimized control of flows to individual oil chambers, leading to improved thermal management of oil and lubrication efficiency. The challenges here lie in the trade-off between increasing controllability and minimizing the addition of new components, which adds unwanted production and maintenance costs. This paper formulates the oil system architecture design as a constrained, multiobjective optimization problem. An architecture is described using a graph with nodes representing components and edges representing interconnections between components. A fixed set of nodes called the architecture template is provided as an input and the edges are optimized for a multicriteria objective function. A heuristic method for determining similarities between the different oil chamber flow requirements is presented. This is used in the optimization to evaluate the controllability objective based on the structure of the valve architecture. The methodology provides benefits to system designers by selecting cheaper architectures with fewer valves when the need to control oil chambers separately is small. The effect of manipulating the cost/controllability criteria weightings is investigated to show the impact on the resulting architecture

Development of a Framework to Compare Low-Altitude Unmanned Air Traffic Management Systems

Presented at the AIAA SciTech 2021 ForumSeveral reports forecast a very high demand for Urban Air Mobility services such as package delivery and air taxi. This would lead to very dense low-altitude operations which cannot be safely accommodated by the current air traffic management system. Many different architectures for low-altitude air traffic management have been proposed in the literature, however, the lack of a common framework makes it difficult to compare strategies. The work presented here establishes efficiency, safety and capacity metrics, defines the components of an automated traffic management system architecture and introduces a preliminary framework to compare different alternatives. This common framework allows for the evaluation and comparison of different alternatives for unmanned traffic management. The framework is showcased on different strategies with different architectures. The impact of algorithmic choices and airspace architectures is evaluated. A decoupled approach to 4D trajectory planning is shown to scale poorly with agents density. The impact of segregating traffic by heading is shown to be very different depending on the algorithms and airspace access rules chosen