| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466044003316 |
|
|
Titolo |
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / / Karen Yorav (editor) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Germany : , : Springer, , [2008] |
|
©2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 267 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 4899 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer input-output equipment |
Software architecture |
Computer programs - Verification |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless -- Scaling Commercial Verification to Larger Systems -- From Hardware Verification to Software Verification: Re-use and Re-learn -- Where Do Bugs Come from? -- HVC Award -- Symbolic Execution and Model Checking for Testing -- Hardware Verification -- On the Characterization of Until as a Fixed Point Under Clocked Semantics -- Reactivity in SystemC Transaction-Level Models -- Model Checking -- Verifying Parametrised Hardware Designs Via Counter Automata -- How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison -- Dynamic Hardware Verification -- Constraint Patterns and Search Procedures for CP-Based Random Test Generation -- Using Virtual Coverage to Hit Hard-To-Reach Events -- Merging Formal and Testing -- Test Case Generation for Ultimately Periodic Paths -- Dynamic Testing Via Automata Learning -- Formal Verification for Software -- On the Architecture of System Verification Environments -- Exploiting Shared Structure in Software Verification Conditions -- Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code -- A Complete Bounded Model Checking Algorithm for Pushdown Systems -- Software Testing -- Locating Regression Bugs -- The Advantages of Post-Link Code |
|
|
|
|
|
|
|
|
|
|
|
|
|
Coverage -- GenUTest: A Unit Test and Mock Aspect Generation Tool. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007. The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910523760903321 |
|
|
Autore |
Laili Yuanjun |
|
|
Titolo |
Optimisation of Robotic Disassembly for Remanufacturing / / by Yuanjun Laili, Yongjing Wang, Yilin Fang, Duc Truong Pham |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XX, 183 p. 83 illus., 45 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Springer Series in Advanced Manufacturing, , 2196-1735 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Manufactures |
Robotics |
Industrial engineering |
Production engineering |
Machines, Tools, Processes |
Robotic Engineering |
Industrial and Production Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
A Brief Introduction on Remanufacturing -- Robotic Disassembly for Remanufacturing -- The Product Representation for Disassembly Sequence Generation -- Component and Subassembly Detection -- Modeling of Robotic Disassembly Sequence Planning -- Modeling of Robotic Disassembly Line Balancing -- Evolutionary Optimization for |
|
|
|
|
|
|
|
|
|
|
|
Robotic Disassembly -- Solutions of Robotic Disassembly Sequence Planning with Backup Actions -- Solutions of Robotic Disassembly Sequence Re-planning -- Solutions of Robotic Disassembly Line Balancing -- Solutions of Mixed Model Disassembly Line Balancing with Multi-Robotic Workstations. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book illustrates the main characteristics, challenges and optimisation requirements of robotic disassembly. It provides a comprehensive insight on two crucial optimisation problems in the areas of robotic disassembly through a group of unified mathematical models. The online and offline optimisation of the operational sequence to dismantle a product, for example, is represented with a list of conflicting objectives and constraints. It allows the decision maker and the robots to match the situation automatically and efficiently. To identify a generic solution under different circumstances, classical metaheuristics that can be used for the optimisation of robotic disassembly are introduced in detail. A flexible framework is then presented to implement existing metaheuristics for sequence planning and line balancing in the circumstance of robotic disassembly. Optimisation of Robotic Disassembly for Remanufacturing provides practical case studies on typicalproduct instances to help practitioners design efficient robotic disassembly with minimal manual operation, and offers comparisons of the state-of-the-art metaheuristics on solving the key optimisation problems. Therefore, it will be of interest to engineers, researchers, and postgraduate students in the area of remanufacturing. |
|
|
|
|
|
|
|
| |