Parallel model validation with epsilon

Traditional model management programs, such as transformations, often perform poorly when dealing with very large models. Although many such programs are inherently parallelisable, the execution engines of popular model management languages were not designed for concurrency. We propose a scalable data and rule-parallel solution for an established and feature-rich model validation language (EVL). We highlight the challenges encountered with retro-fitting concurrency support and our solutions to these challenges. We evaluate the correctness of our implementation through rigorous automated tests. Our results show up to linear performance improvements with more threads and larger models, with significantly faster execution compared to interpreted OCL

Robust Multi-Objective Sustainable Reverse Supply Chain Planning: An Application in the Steel Industry

In the design of the supply chain, the use of the returned products and their recycling in the production and consumption network is called reverse logistics. The proposed model aims to optimize the flow of materials in the supply chain network (SCN), and determine the amount and location of facilities and the planning of transportation in conditions of demand uncertainty. Thus, maximizing the total profit of operation, minimizing adverse environmental effects, and maximizing customer and supplier service levels have been considered as the main objectives. Accordingly, finding symmetry (balance) among the profit of operation, the environmental effects and customer and supplier service levels is considered in this research. To deal with the uncertainty of the model, scenario-based robust planning is employed alongside a meta-heuristic algorithm (NSGA-II) to solve the model with actual data from a case study of the steel industry in Iran. The results obtained from the model, solving and validating, compared with actual data indicated that the model could optimize the objectives seamlessly and determine the amount and location of the necessary facilities for the steel industry more appropriately.This article belongs to the Special Issue Uncertain Multi-Criteria Optimization Problem

Experimental and simulation Studies of a Two Seater Light Aircraft

This paper presents the aerodynamic studies carried out on a three-dimensional aircraft model. The test model is a 15% scaled down from a two-seater light aircraft that close to the Malaysian made SME MD3-160 aircraft. The aircraft model is equipped with control surfaces such as flaps, aileron, rudder and elevator and it is designed for pressure measurement testing and direct force measurement using a 6-components balance system. This aircraft model has been tested at two different low speed tunnels, at Universiti Teknologi Malaysia tunnel sized 1.5 x 2.0 meter2 test section, and at Institute Aerodynamic Research, National Research Council of Canada sized 3 x 2 meter2 tunnel. The speed during testing at UTM and IAR/NRC tunnels was up to 70 meter/second, which is corresponds to Reynolds numbers of 1.3 x 106.The longitudinal and lateral directional aerodynamic characteristics of the aircraft such as coefficients of pressure, forces (lift, drag, side) and moments (roll, pitch and yaw) have been experimentally measured either using direct force measurement or pressure measurement method. The data reduction methods include the strut support interference factor using dummy image and the blockage correction have been applied in this project. The results showed that for the undeployed flap configuration, the stalling angle of this aircraft is 160 at CLMax = 1.05 measured by UTM - LST, compared to CLMax =1.09 at stalling angle 150 by IAR- NRC. Beside the experimental study, simulation also be performed by using a commercial Computational Fluid Dynamics (CFD) code, FLUENT Version 5.3. Experimental works at UTM and IAR – NRC tunnel show that the aerodynamic characteristics of this light aircraft are in a good agreement with each other. Simultaneously, the aerodynamic forces obtained from experimental works and CFD simulations have been compared. The results proved that they are agreeable especially at a low angle of attack

Mesocale approach for fluidized beds

Fluid-particle flows are frequently encountered in industrial facilities and especially in chemical engineering processes. In this work, we focus on fluidized beds, which involve a fluid flow passing upward through a pack of particles with such a velocity that the fluid force acting on particles is larger than their weight

Practical Block-wise Neural Network Architecture Generation

Convolutional neural networks have gained a remarkable success in computer vision. However, most usable network architectures are hand-crafted and usually require expertise and elaborate design. In this paper, we provide a block-wise network generation pipeline called BlockQNN which automatically builds high-performance networks using the Q-Learning paradigm with epsilon-greedy exploration strategy. The optimal network block is constructed by the learning agent which is trained sequentially to choose component layers. We stack the block to construct the whole auto-generated network. To accelerate the generation process, we also propose a distributed asynchronous framework and an early stop strategy. The block-wise generation brings unique advantages: (1) it performs competitive results in comparison to the hand-crafted state-of-the-art networks on image classification, additionally, the best network generated by BlockQNN achieves 3.54% top-1 error rate on CIFAR-10 which beats all existing auto-generate networks. (2) in the meanwhile, it offers tremendous reduction of the search space in designing networks which only spends 3 days with 32 GPUs, and (3) moreover, it has strong generalizability that the network built on CIFAR also performs well on a larger-scale ImageNet dataset.Comment: Accepted to CVPR 201

Language and tool support for event refinement structures in Event-B

Event-B is a formal method for modelling and verifying the consistency of chains of model refinements. The event refinement structure (ERS) approach augments Event-B with a graphical notation which is capable of explicit representation of control flows and refinement relationships. In previous work, the ERS approach has been evaluated manually in the development of two large case studies, a multimedia protocol and a spacecraft sub-system. The evaluation results helped us to extend the ERS constructors, to develop a systematic definition of ERS, and to develop a tool supporting ERS. We propose the ERS language which systematically defines the semantics of the ERS graphical notation including the constructors. The ERS tool supports automatic construction of the Event-B models in terms of control flows and refinement relationships. In this paper we outline the systematic definition of ERS including the presentation of constructors, the tool that supports it and evaluate the contribution that ERS and its tool make. Also we present how the systematic definition of ERS and the corresponding tool can ensure a consistent encoding of the ERS diagrams in the Event-B models