Información del autor
Autor Wille, Robert |
Documentos disponibles escritos por este autor (7)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Tipo de documento: documento electrónico Autores: Przigoda, Nils, ; Wille, Robert, ; Przigoda, Judith, ; Drechsler, Rolf, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 255 p. 16 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-72814-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Clasificación: 621.3815 Resumen: Este libro proporciona una discusión exhaustiva sobre los métodos UML/OCL y el flujo de diseño para la validación y verificación automática de sistemas de hardware y software. Si bien el flujo presentado se centra en el uso de solucionadores de satisfacibilidad, los autores también describen cómo se pueden utilizar estos métodos para cualquier otro motor de razonamiento automático. Además, el flujo de diseño descrito se aplica a una amplia variedad de tareas de validación y verificación. Los autores también cubren brevemente cómo las propiedades no funcionales, como las restricciones de tiempo, se pueden manejar con el flujo descrito. Proporciona un flujo general y una descripción para la validación y verificación de modelos UML/OCL; Demuestra una realización detallada del flujo general utilizando solucionadores de satisfacibilidad; Incluye un estudio de caso que presenta las posibilidades de los enfoques más recientes. Tipo de medio : Computadora Summary : This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. Provides a general flow and description for the validation and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability solvers; Includes a case study that presents the possibilities of the state-of-the-art approaches. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [documento electrónico] / Przigoda, Nils, ; Wille, Robert, ; Przigoda, Judith, ; Drechsler, Rolf, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 255 p. 16 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-319-72814-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Clasificación: 621.3815 Resumen: Este libro proporciona una discusión exhaustiva sobre los métodos UML/OCL y el flujo de diseño para la validación y verificación automática de sistemas de hardware y software. Si bien el flujo presentado se centra en el uso de solucionadores de satisfacibilidad, los autores también describen cómo se pueden utilizar estos métodos para cualquier otro motor de razonamiento automático. Además, el flujo de diseño descrito se aplica a una amplia variedad de tareas de validación y verificación. Los autores también cubren brevemente cómo las propiedades no funcionales, como las restricciones de tiempo, se pueden manejar con el flujo descrito. Proporciona un flujo general y una descripción para la validación y verificación de modelos UML/OCL; Demuestra una realización detallada del flujo general utilizando solucionadores de satisfacibilidad; Incluye un estudio de caso que presenta las posibilidades de los enfoques más recientes. Tipo de medio : Computadora Summary : This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. Provides a general flow and description for the validation and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability solvers; Includes a case study that presents the possibilities of the state-of-the-art approaches. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Automatic Methods for the Refinement of System Models : From the Specification to the Implementation Tipo de documento: documento electrónico Autores: Seiter, Julia, ; Wille, Robert, ; Drechsler, Rolf, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: VIII, 94 p. 30 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-41480-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Clasificación: 6.213.815 Resumen: Este libro proporciona una descripción general completa del refinamiento automático de modelos, que ayuda a los lectores a cerrar la brecha entre la especificación textual inicial y su implementación deseada. Los autores permiten a los lectores seguir dos "direcciones" para el refinamiento: refinamiento vertical, para agregar detalles y precisión a una sola descripción para un modelo determinado, y refinamiento horizontal, que considera varias vistas en un nivel de abstracción, refinando la especificación del sistema mediante descripciones dedicadas para estructura o comportamiento. La discusión incluye varios métodos que apoyan a los diseñadores de sistemas electrónicos en este proceso de refinamiento, incluidos métodos de verificación para verificar automáticamente si un refinamiento se ha realizado según lo previsto. Nota de contenido: Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions. Tipo de medio : Computadora Summary : This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Automatic Methods for the Refinement of System Models : From the Specification to the Implementation [documento electrónico] / Seiter, Julia, ; Wille, Robert, ; Drechsler, Rolf, . - 1 ed. . - [s.l.] : Springer, 2017 . - VIII, 94 p. 30 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-319-41480-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Clasificación: 6.213.815 Resumen: Este libro proporciona una descripción general completa del refinamiento automático de modelos, que ayuda a los lectores a cerrar la brecha entre la especificación textual inicial y su implementación deseada. Los autores permiten a los lectores seguir dos "direcciones" para el refinamiento: refinamiento vertical, para agregar detalles y precisión a una sola descripción para un modelo determinado, y refinamiento horizontal, que considera varias vistas en un nivel de abstracción, refinando la especificación del sistema mediante descripciones dedicadas para estructura o comportamiento. La discusión incluye varios métodos que apoyan a los diseñadores de sistemas electrónicos en este proceso de refinamiento, incluidos métodos de verificación para verificar automáticamente si un refinamiento se ha realizado según lo previsto. Nota de contenido: Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions. Tipo de medio : Computadora Summary : This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Compact Representations for the Design of Quantum Logic Tipo de documento: documento electrónico Autores: Niemann, Philipp, ; Wille, Robert, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: VIII, 125 p. 43 ilustraciones, 1 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-63724-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Espintrónica Informática Computadoras cuánticas FÃsica cuántica Manipulación simbólica y algebraica Computación cuántica Clasificación: 620.19 Resumen: Este libro analiza los enfoques y desafÃos modernos del diseño asistido por computadora (CAD) de circuitos cuánticos con miras a proporcionar representaciones compactas de la funcionalidad cuántica. Centrándose en la cuestión de la funcionalidad cuántica, presenta Diagramas Cuánticos de Decisión de Valores Múltiples (QMDD, por sus siglas en inglés), un medio para representar y manipular la lógica cuántica de manera compacta y eficiente. Para las futuras computadoras cuánticas, que vayan mucho más allá del tamaño de los prototipos actuales, el diseño manual La creación de circuitos cuánticos que realicen una determinada funcionalidad (cuántica) en estos dispositivos ya no es una opción. Para mantenerse al dÃa con los avances tecnológicos, es necesario proporcionar métodos que, de manera similar al diseño y la sÃntesis de circuitos convencionales, generen automáticamente una. Para ello es esencial una representación eficiente de la funcionalidad cuántica deseada, mientras que las representaciones sencillas están restringidas debido a sus descripciones matriciales (exponencialmente) grandes y otras estructuras similares a diagramas de decisión para la lógica cuántica no se ven afectadas. Los QMDD, que respaldan de manera integral las caracterÃsticas tÃpicas, emplean un esquema de descomposición que modela de manera más natural los sistemas cuánticos. Como resultado, los QMDD admiten explÃcitamente efectos de la mecánica cuántica, como los cambios de fase, y pueden aprovechar más las redundancias correspondientes, lo que permite una representación muy compacta de la funcionalidad cuántica relevante compuesta por docenas de qubits. Esto proporciona la base para el desarrollo de métodos de diseño sofisticados, como se muestra para la sÃntesis y verificación de circuitos cuánticos. Nota de contenido: Part I Introduction and Background -- 1 Introduction -- 2 Background -- Part II Representation of Quantum Functionality -- 3 Challenges and Initial Approaches -- 4 Quantum Multiple-Valued Decision Diagrams -- 5 Discussion and Outlook -- Part III Design of Quantum Logic -- 6 Challenges and Initial Approaches -- 7 Synthesis of Quantum Circuits -- 8 Correctness of Multiple-Valued Implementations -- 9 Discussion and Outlook. Tipo de medio : Computadora Summary : This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality. Focusing on the issue of quantum functionality, it presents Quantum Multiple-Valued Decision Diagrams (QMDDs – a means of compactly and efficiently representing and manipulating quantum logic. For future quantum computers, going well beyond the size of present-day prototypes, the manual design of quantum circuits that realize a given (quantum) functionality on these devices is no longer an option. In order to keep up with the technological advances, methods need to be provided which, similar to the design and synthesis of conventional circuits, automatically generate a circuit description of the desired functionality. To this end, an efficient representation of the desired quantum functionality is of the essence. While straightforward representations are restricted due to their (exponentially) large matrixdescriptions and other decision diagram-like structures for quantum logic suffer from not comprehensively supporting typical characteristics, QMDDs employ a decomposition scheme that more naturally models quantum systems. As a result, QMDDs explicitly support quantum-mechanical effects like phase shifts and are able to take more advantage of corresponding redundancies, thereby allowing a very compact representation of relevant quantum functionality composed of dozens of qubits. This provides the basis for the development of sophisticated design methods as shown for quantum circuit synthesis and verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Compact Representations for the Design of Quantum Logic [documento electrónico] / Niemann, Philipp, ; Wille, Robert, . - 1 ed. . - [s.l.] : Springer, 2017 . - VIII, 125 p. 43 ilustraciones, 1 ilustraciones en color.
ISBN : 978-3-319-63724-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Espintrónica Informática Computadoras cuánticas FÃsica cuántica Manipulación simbólica y algebraica Computación cuántica Clasificación: 620.19 Resumen: Este libro analiza los enfoques y desafÃos modernos del diseño asistido por computadora (CAD) de circuitos cuánticos con miras a proporcionar representaciones compactas de la funcionalidad cuántica. Centrándose en la cuestión de la funcionalidad cuántica, presenta Diagramas Cuánticos de Decisión de Valores Múltiples (QMDD, por sus siglas en inglés), un medio para representar y manipular la lógica cuántica de manera compacta y eficiente. Para las futuras computadoras cuánticas, que vayan mucho más allá del tamaño de los prototipos actuales, el diseño manual La creación de circuitos cuánticos que realicen una determinada funcionalidad (cuántica) en estos dispositivos ya no es una opción. Para mantenerse al dÃa con los avances tecnológicos, es necesario proporcionar métodos que, de manera similar al diseño y la sÃntesis de circuitos convencionales, generen automáticamente una. Para ello es esencial una representación eficiente de la funcionalidad cuántica deseada, mientras que las representaciones sencillas están restringidas debido a sus descripciones matriciales (exponencialmente) grandes y otras estructuras similares a diagramas de decisión para la lógica cuántica no se ven afectadas. Los QMDD, que respaldan de manera integral las caracterÃsticas tÃpicas, emplean un esquema de descomposición que modela de manera más natural los sistemas cuánticos. Como resultado, los QMDD admiten explÃcitamente efectos de la mecánica cuántica, como los cambios de fase, y pueden aprovechar más las redundancias correspondientes, lo que permite una representación muy compacta de la funcionalidad cuántica relevante compuesta por docenas de qubits. Esto proporciona la base para el desarrollo de métodos de diseño sofisticados, como se muestra para la sÃntesis y verificación de circuitos cuánticos. Nota de contenido: Part I Introduction and Background -- 1 Introduction -- 2 Background -- Part II Representation of Quantum Functionality -- 3 Challenges and Initial Approaches -- 4 Quantum Multiple-Valued Decision Diagrams -- 5 Discussion and Outlook -- Part III Design of Quantum Logic -- 6 Challenges and Initial Approaches -- 7 Synthesis of Quantum Circuits -- 8 Correctness of Multiple-Valued Implementations -- 9 Discussion and Outlook. Tipo de medio : Computadora Summary : This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality. Focusing on the issue of quantum functionality, it presents Quantum Multiple-Valued Decision Diagrams (QMDDs – a means of compactly and efficiently representing and manipulating quantum logic. For future quantum computers, going well beyond the size of present-day prototypes, the manual design of quantum circuits that realize a given (quantum) functionality on these devices is no longer an option. In order to keep up with the technological advances, methods need to be provided which, similar to the design and synthesis of conventional circuits, automatically generate a circuit description of the desired functionality. To this end, an efficient representation of the desired quantum functionality is of the essence. While straightforward representations are restricted due to their (exponentially) large matrixdescriptions and other decision diagram-like structures for quantum logic suffer from not comprehensively supporting typical characteristics, QMDDs employ a decomposition scheme that more naturally models quantum systems. As a result, QMDDs explicitly support quantum-mechanical effects like phase shifts and are able to take more advantage of corresponding redundancies, thereby allowing a very compact representation of relevant quantum functionality composed of dozens of qubits. This provides the basis for the development of sophisticated design methods as shown for quantum circuit synthesis and verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Designing Droplet Microfluidic Networks : A Toolbox for Designers Tipo de documento: documento electrónico Autores: Grimmer, Andreas, ; Wille, Robert, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: IX, 145 p. 41 ilustraciones, 23 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-20713-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Circuitos electrónicos IngenierÃa Biomédica Electrónica Circuitos y sistemas electrónicos IngenierÃa Biomédica y BioingenierÃa Electrónica y Microelectrónica Instrumentación Clasificación: 6.213.815 Resumen: Este libro describe métodos automáticos para el diseño de redes de microfluidos de gotas. Los autores analizan los métodos de simulación y diseño que respaldan el proceso de diseño de microfluidos de gotas en general, asà como los métodos de diseño para un mecanismo de enrutamiento de gotas dedicado, es decir, el enrutamiento pasivo de gotas. Los métodos discutidos permiten simular un diseño de microfluidos en un nivel de alta abstracción, lo que facilita la validación temprana de si un diseño funciona según lo previsto, dimensionando automáticamente un diseño de microfluidos, de modo que se cumplan restricciones como las condiciones de flujo, y generando automáticamente diseños de meandros para el necesidades respectivas y entornos de fabricación. Se analizan métodos dedicados para el enrutamiento pasivo de gotas y permiten diseñar arquitecturas de aplicaciones especÃficas para un conjunto determinado de experimentos, asà como generar secuencias de gotas para realizar los experimentos respectivos. Juntos, estos métodos proporcionan una "caja de herramientas" integral para los diseñadores que trabajan en redes de microfluidos de gotas en general y un flujo de diseño integrado para el mecanismo de enrutamiento pasivo de gotas en particular. Proporciona una "caja de herramientas" integral para los diseñadores que trabajan en redes de microfluidos de gotas en general y un flujo de diseño integrado para el mecanismo de enrutamiento pasivo de gotas en particular; Describe por primera vez métodos CAD para redes de microfluidos de gotas, junto con el primer proceso de diseño integrado; Incluye implementaciones de código abierto, con el fin de llegar al mayor grupo de usuarios posible dentro del dominio de los microfluidos. Nota de contenido: Introduction -- Background -- Simulation of Droplet Microfluidic Networks -- Dimensioning of Droplet Microfluidic Networks -- Designing Meanders -- Passive Droplet Routing -- Designing Application-specific Architectures -- Generating Droplet Sequences -- Integrated Design Process -- Summary and Conclusion. Tipo de medio : Computadora Summary : This book describes automatic methods for the design of droplet microfluidic networks. The authors discuss simulation and design methods which support the design process of droplet microfluidics in general, as well as design methods for a dedicated droplet routing mechanism, namely passive droplet routing. The methods discussed allow for simulating a microfluidic design on a high-abstraction level, which facilitates early validation of whether a design works as intended, automatically dimensioning a microfluidic design, so that constraints like flow conditions are satisfied, and automatically generating meander designs for the respective needs and fabrication settings. Dedicated methods for passive droplet routing are discussed and allow for designing application-specific architectures for a given set of experiments, as well as generating droplet sequences realizing the respective experiments. Together, these methods provide a comprehensive "toolbox" for designers working on droplet microfluidic networks in general and an integrated design flow for the passive droplet routing mechanism in particular. Provides both a comprehensive "toolbox" for designers working on droplet microfluidic networks in general and an integrated design flow for the passive droplet routing mechanism in particular; Describes for the first time CAD methods for droplet microfluidic networks, along with the first integrated design process; Includes open source implementations, in order to reach the largest possible user group within the domain of microfluidics. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Designing Droplet Microfluidic Networks : A Toolbox for Designers [documento electrónico] / Grimmer, Andreas, ; Wille, Robert, . - 1 ed. . - [s.l.] : Springer, 2020 . - IX, 145 p. 41 ilustraciones, 23 ilustraciones en color.
ISBN : 978-3-030-20713-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Circuitos electrónicos IngenierÃa Biomédica Electrónica Circuitos y sistemas electrónicos IngenierÃa Biomédica y BioingenierÃa Electrónica y Microelectrónica Instrumentación Clasificación: 6.213.815 Resumen: Este libro describe métodos automáticos para el diseño de redes de microfluidos de gotas. Los autores analizan los métodos de simulación y diseño que respaldan el proceso de diseño de microfluidos de gotas en general, asà como los métodos de diseño para un mecanismo de enrutamiento de gotas dedicado, es decir, el enrutamiento pasivo de gotas. Los métodos discutidos permiten simular un diseño de microfluidos en un nivel de alta abstracción, lo que facilita la validación temprana de si un diseño funciona según lo previsto, dimensionando automáticamente un diseño de microfluidos, de modo que se cumplan restricciones como las condiciones de flujo, y generando automáticamente diseños de meandros para el necesidades respectivas y entornos de fabricación. Se analizan métodos dedicados para el enrutamiento pasivo de gotas y permiten diseñar arquitecturas de aplicaciones especÃficas para un conjunto determinado de experimentos, asà como generar secuencias de gotas para realizar los experimentos respectivos. Juntos, estos métodos proporcionan una "caja de herramientas" integral para los diseñadores que trabajan en redes de microfluidos de gotas en general y un flujo de diseño integrado para el mecanismo de enrutamiento pasivo de gotas en particular. Proporciona una "caja de herramientas" integral para los diseñadores que trabajan en redes de microfluidos de gotas en general y un flujo de diseño integrado para el mecanismo de enrutamiento pasivo de gotas en particular; Describe por primera vez métodos CAD para redes de microfluidos de gotas, junto con el primer proceso de diseño integrado; Incluye implementaciones de código abierto, con el fin de llegar al mayor grupo de usuarios posible dentro del dominio de los microfluidos. Nota de contenido: Introduction -- Background -- Simulation of Droplet Microfluidic Networks -- Dimensioning of Droplet Microfluidic Networks -- Designing Meanders -- Passive Droplet Routing -- Designing Application-specific Architectures -- Generating Droplet Sequences -- Integrated Design Process -- Summary and Conclusion. Tipo de medio : Computadora Summary : This book describes automatic methods for the design of droplet microfluidic networks. The authors discuss simulation and design methods which support the design process of droplet microfluidics in general, as well as design methods for a dedicated droplet routing mechanism, namely passive droplet routing. The methods discussed allow for simulating a microfluidic design on a high-abstraction level, which facilitates early validation of whether a design works as intended, automatically dimensioning a microfluidic design, so that constraints like flow conditions are satisfied, and automatically generating meander designs for the respective needs and fabrication settings. Dedicated methods for passive droplet routing are discussed and allow for designing application-specific architectures for a given set of experiments, as well as generating droplet sequences realizing the respective experiments. Together, these methods provide a comprehensive "toolbox" for designers working on droplet microfluidic networks in general and an integrated design flow for the passive droplet routing mechanism in particular. Provides both a comprehensive "toolbox" for designers working on droplet microfluidic networks in general and an integrated design flow for the passive droplet routing mechanism in particular; Describes for the first time CAD methods for droplet microfluidic networks, along with the first integrated design process; Includes open source implementations, in order to reach the largest possible user group within the domain of microfluidics. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Exact Design of Digital Microfluidic Biochips Tipo de documento: documento electrónico Autores: Keszocze, Oliver, ; Wille, Robert, ; Drechsler, Rolf, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: IX, 134 p. 66 ilustraciones, 45 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-90936-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Clasificación: 6.213.815 Resumen: Este libro presenta soluciones exactas, es decir mÃnimas, para pasos individuales en el proceso de diseño de biochips de microfluidos digitales (DMFB), asà como un enfoque de un solo paso que combina todos estos pasos en un solo proceso. Todos los enfoques discutidos se basan en un modelo formal que puede ampliarse fácilmente para hacer frente a problemas de diseño adicionales. Además de los métodos exactos, se proporcionan enfoques heurÃsticos y se determinan las clases de complejidad de diversos problemas de diseño. Presenta métodos exactos para abordar una variedad de problemas de diseño de biochips de microfluidos digitales (DMFB); Describe un enfoque holÃstico de una sola pasada que resuelve diferentes pasos de diseño al mismo tiempo; Basado en un modelo formal de DMFB que es fácilmente adaptable para abordar tareas de diseño adicionales. Nota de contenido: Chapter 1: Introduction -- Chapter 2: Background -- Chapter 3: Routing -- Chapter 4: Pin Assignment -- Chapter 5: Pin-aware Routing and Extensions -- Chapter 6: One-Pass Design -- Chapter 7: Conclusion and Future Work. Tipo de medio : Computadora Summary : This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems. In addition to the exact methods, heuristic approaches are provided and the complexity classes of various design problems are determined. Presents exact methods to tackle a variety of design problems for Digital Microfluidic Biochips (DMFBs); Describes an holistic, one-pass approach solving different design steps all at once; Based on a formal model of DMFBs that is easily adaptable to deal with further design tasks. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Exact Design of Digital Microfluidic Biochips [documento electrónico] / Keszocze, Oliver, ; Wille, Robert, ; Drechsler, Rolf, . - 1 ed. . - [s.l.] : Springer, 2019 . - IX, 134 p. 66 ilustraciones, 45 ilustraciones en color.
ISBN : 978-3-319-90936-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Clasificación: 6.213.815 Resumen: Este libro presenta soluciones exactas, es decir mÃnimas, para pasos individuales en el proceso de diseño de biochips de microfluidos digitales (DMFB), asà como un enfoque de un solo paso que combina todos estos pasos en un solo proceso. Todos los enfoques discutidos se basan en un modelo formal que puede ampliarse fácilmente para hacer frente a problemas de diseño adicionales. Además de los métodos exactos, se proporcionan enfoques heurÃsticos y se determinan las clases de complejidad de diversos problemas de diseño. Presenta métodos exactos para abordar una variedad de problemas de diseño de biochips de microfluidos digitales (DMFB); Describe un enfoque holÃstico de una sola pasada que resuelve diferentes pasos de diseño al mismo tiempo; Basado en un modelo formal de DMFB que es fácilmente adaptable para abordar tareas de diseño adicionales. Nota de contenido: Chapter 1: Introduction -- Chapter 2: Background -- Chapter 3: Routing -- Chapter 4: Pin Assignment -- Chapter 5: Pin-aware Routing and Extensions -- Chapter 6: One-Pass Design -- Chapter 7: Conclusion and Future Work. Tipo de medio : Computadora Summary : This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems. In addition to the exact methods, heuristic approaches are provided and the complexity classes of various design problems are determined. Presents exact methods to tackle a variety of design problems for Digital Microfluidic Biochips (DMFBs); Describes an holistic, one-pass approach solving different design steps all at once; Based on a formal model of DMFBs that is easily adaptable to deal with further design tasks. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
