Case Based Reasoning and TRIZ : a coupling for Innovative conception in Chemical Engineering

With the evolutions of the surrounding world market, researchers and engineers have to propose technical innovations. Nevertheless, Chemical Engineering community demonstrates a small interest for innovation compared to other engineering fields. In this paper, an approach to accelerate inventive preliminary design for Chemical Engineering is presented. This approach uses Case Based Reasoning (CBR) method to model, to capture, to store and to make available the knowledge deployed during design. CBR is a very interesting method coming from Artificial Intelligence, for routine design. Indeed, in CBR the main assumption is that a new problem of design can be solved with the help of past successful ones. Consequently, the problem solving process is based on past successful solutions therefore the design is accelerated but creativity is limited and not stimulated. Our approach is an extension of the CBR method from routine design to inventive design. One of the main drawbacks of this method is that it is restricted in one particular domain of application. To propose inventive solution, the level of abstraction for problem resolution must be increased. For this reason CBR is coupled with the TRIZ theory (Russian acronym for Theory of solving inventive problem). TRIZ is a problem solving method that increases the ability to solve creative problems thanks to its capacity to give access to the best practices in all the technical domains. The proposed synergy between CBR and TRIZ combines the main advantages of CBR (ability to store and to reuse rapidly knowledge) and those of TRIZ (no trade off during resolution, inventive solutions). Based on this synergy, a tool is developed and a mere example is treated

Design acceleration in chemical engineering

Nowadays, Chemical Engineering has to face a new industrial context with for example: the gradually falling of hydrocarbon reserves after 2020-2030, relocation, emerging of new domains of application (nano-micro technologies) which necessitate new solutions and knowledges… All this tendencies and demands accelerate the need of tool for design and innovation (technically, technologically). In this context, this paper presents a tool to accelerate innovative preliminary design. This model is based on the synergy between: TRIZ (Russian acronym for Theory of Inventive Problem Solving) and Case Based Reasoning (CBR). The proposed model offers a structure to solve problem, and also to store and make available past experiences in problems solving. A tool dedicated to chemical engineering problems, is created on this model and a simple example is treated to explain the possibilities of this tool

Case Based Reasoning for Chemical Engineering Design

With current industrial environment (competition, lower profit margin, reduced time to market, decreased product life cycle, environmental constraints, sustainable development, reactivity, innovation…), we must decrease the time for design of new products or processes. While the design activity is marked out by several steps, this article proposed a decision support tool for the preliminary design step. This tool is based on the Case Based Reasoning (CBR) method. This method has demonstrated its effectiveness in other domains (medical, architecture…) and more recently in chemical engineering. This method, coming from Artificial Intelligence, is based on the reusing of earlier experiences to solve new problems. The goal of this article is to show the utility of such method for unit operation (for example) pre-design but also to propose several evolutions for CBR through a domain as complex as the chemical engineering is (because of its interactions, non linearity, intensification problems…). During the pre-design step, some parameters like operating conditions are not precisely known but we have an interval of possible values, worse we only have a partial description of the problem.. To take into account this imprecision in the problem description, the CBR method is coupled with the fuzzy sets theory. After a mere presentation of the CBR method, a practical implementation is described with the choice and the pre-design of packing for separation columns

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification

Modern Systems-on-Chip (SoC) designs are increasingly heterogeneous and contain specialized semi-programmable accelerators in addition to programmable processors. In contrast to the pre-accelerator era, when the ISA played an important role in verification by enabling a clean separation of concerns between software and hardware, verification of these "accelerator-rich" SoCs presents new challenges. From the perspective of hardware designers, there is a lack of a common framework for the formal functional specification of accelerator behavior. From the perspective of software developers, there exists no unified framework for reasoning about software/hardware interactions of programs that interact with accelerators. This paper addresses these challenges by providing a formal specification and high-level abstraction for accelerator functional behavior. It formalizes the concept of an Instruction Level Abstraction (ILA), developed informally in our previous work, and shows its application in modeling and verification of accelerators. This formal ILA extends the familiar notion of instructions to accelerators and provides a uniform, modular, and hierarchical abstraction for modeling software-visible behavior of both accelerators and programmable processors. We demonstrate the applicability of the ILA through several case studies of accelerators (for image processing, machine learning, and cryptography), and a general-purpose processor (RISC-V). We show how the ILA model facilitates equivalence checking between two ILAs, and between an ILA and its hardware finite-state machine (FSM) implementation. Further, this equivalence checking supports accelerator upgrades using the notion of ILA compatibility, similar to processor upgrades using ISA compatibility.Comment: 24 pages, 3 figures, 3 table

The TRIZ-CBR synergy: A knowledge based innovation process

Today innovation is recognised as the main driving force in the market. This complex process involves several intangible dimensions, such as creativity, knowledge and social interactions among others. Creativity is the starting point of the process, and knowledge is the force that transforms and materialises creativity in new products, services and processes. In this paper a synergy that aims to assists the innovation process is presented. The synergy combines several concepts and tools of the theory of inventive problem solving (TRIZ) and the case-based reasoning (CBR) process. The main objective of this synergy is to support creative engineering design and problem solving. This synergy is based on the strong link between knowledge and action. In this link, TRIZ offers several concepts and tools to facilitate concept creation and to solve problems, and the CBR process offers a framework capable of storing and reusing knowledge with the aim of accelerating the innovation process

Synthesizing Short-Circuiting Validation of Data Structure Invariants

This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with efficient, short-circuiting dynamic validation of arbitrarily rich data constraints. A data structure invariant checker is an inductive predicate in separation logic with an executable interpretation; a short-circuiting checker is an invariant checker that stops checking whenever it detects at run time that an assertion for some sub-structure has been fully proven statically. At a high level, our approach does two things: it statically proves the separation properties of data structure invariants using a static shape analysis in a standard way but then leverages this proof in a novel manner to synthesize short-circuiting dynamic validation of the data properties. As a consequence, we enable dynamic validation to make up for imprecision in sound static analysis while simultaneously leveraging the static verification to make the remaining dynamic validation efficient. We show empirically that short-circuiting can yield asymptotic improvements in dynamic validation, with low overhead over no validation, even in cases where static verification is incomplete

Comment on "Effect of entanglement on the decay dynamics of a pair of H(2p) atoms due to spontaneous emission"

Tanabe et al (Phys. Rev. A {\bf 82} 040101(R) 2010) have experimentally demonstrated that the emission properties of unstable atoms in entangled and product states are different. The authors define an apparent decay time as a fitting parameter which falls below the lifetime of the single atom for entangled pairs. We argue that their results about coincidence time spectra are correct, but those concerning lifetimes cannot be considered conclusive because they assume the emission of photons by the two atoms to be independent processes, a doubtful hypothesis for entangled states. We suggest an improved evaluation of the lifetimes based on a rigorous approach, which demands some modifications of the experimental procedure