Preliminary Design of Reactive Distillation Columns

A procedure that combines feasibility analysis, synthesis and design of reactive distillation columns is introduced. The main interest of this methodology lies on a progressive introduction of the process complexity. From minimal information concerning the physicochemical properties of the system, three steps lead to the design of the unit and the specification of its operating conditions. Most of the methodology exploits and enriches approaches found in the literature. Each step is described and our contribution is underlined. Its application is currently limited to equilibrium reactive systems where degree of freedom is equal to 2 or less than 2. This methodology which provides a reliable initialization point for the optimization of the process has been applied with success to different synthesis. The production of methyl-tert-butyl-ether (MTBE) and methyl acetate are presented as examples

The design co-ordination framework : key elements for effective product development

This paper proposes a Design Co-ordination Framework (DCF) i.e. a concept for an ideal DC system with the abilities to support co-ordination of various complex aspects of product development. A set of frames, modelling key elements of co-ordination, which reflect the states of design, plans, organisation, allocations, tasks etc. during the design process, has been identified. Each frame is explained and the co-ordination, i.e. the management of the links between these frames, is presented, based upon characteristic DC situations in industry. It is concluded that while the DCF provides a basis for our research efforts into enhancing the product development process there is still considerable work and development required before it can adequately reflect and support Design Co-ordination

Active Learning of Points-To Specifications

When analyzing programs, large libraries pose significant challenges to static points-to analysis. A popular solution is to have a human analyst provide points-to specifications that summarize relevant behaviors of library code, which can substantially improve precision and handle missing code such as native code. We propose ATLAS, a tool that automatically infers points-to specifications. ATLAS synthesizes unit tests that exercise the library code, and then infers points-to specifications based on observations from these executions. ATLAS automatically infers specifications for the Java standard library, and produces better results for a client static information flow analysis on a benchmark of 46 Android apps compared to using existing handwritten specifications

Vapour reactive distillation process for hydrogen production by hi decomposition from hi-i2-h2o solutions

In this contribution, a sequential and hierarchical approach for the feasibility analysis and the preliminary design of reactive distillation columns is extended to systems involving vapour phase chemical reaction and is successfully applied to the HI vapour phase decomposition to produce H2. The complex phase and physico chemical behaviour of the quaternary HI-H2-I2-H2O system is represented by the Neumann’s thermodynamic model and instantaneous vapour phase chemical equilibrium is assumed. Then, from minimal information concerning the physicochemical properties of the system, three successive steps lead to the design of the unit and the specification of its operating conditions: the feasibility analysis, the synthesis and the design step. First, the analysis of reactive condensation curve map method (rCCM), assuming infinite internal liquid and vapour flow rate and infinite reflux ratio, is used to assess the feasibility of the process. It determines the column structure and estimates the attainable compositions. These results are used as inputs data for the synthesis step. Based on the boundary value design method (BVD), considering finite internal liquid and vapour flow rate and finite reflux ratio while neglecting all thermal effects and assuming a constant heat of vaporisation, the synthesis step provides more precise information about the process configuration (minimum reflux ratio, number of theoretical stages, localisation and number of reactive plates, position of the feed plate). Finally, the BVD method results are used to initialise rigorous simulations, based on an equilibrium stage model with energy balance, to estimate the reflux ratio taking into account thermal effect on the process. The resulting design configuration consists in a single feed and entirely reactive distillation column. The column operates under a pressure of 22 bars. The feed of the reactive distillation column, coming from the Bunsen reaction section [xHI=0.10; xI2=0.39 xH2O=0.51], is at its boiling temperature. The residue consists in pure iodine. Water and produced hydrogen are recovered at the distillate. The column operates at a reflux ratio of 5 and is composed of 11 theoretical plates including the reboiler and the partial condenser with the feed at the stage 10 (counted downwards). The obtained HI dissociation yield is 99.6%

Human-Centric Program Synthesis

Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications. While synthesis has been thoroughly explored for input/output pair specifications (programming-by-example), this paper asks: what does program synthesis look like beyond examples? What actual issues in day-to-day development would stand to benefit the most from synthesis? How can a human-centric perspective inform the exploration of alternative specification languages for synthesis? I sketch a human-centric vision for program synthesis where programmers explore and learn languages and APIs aided by a synthesis tool