| 000 | 03930nam a22004335i 4500 | ||
|---|---|---|---|
| 999 |
_c85237 _d85237 _x1 |
||
| 001 | 85237 | ||
| 003 | ES-MaUEC | ||
| 005 | 20230207040502.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 151223s2016 gw | s |||| 0|eng d | ||
| 020 | _a9783319267258 | ||
| 040 | _aES-MaUEC | ||
| 050 | 4 |
_aTK7888.4 _bD475 2016 |
|
| 082 | 0 | 4 | _a621.3815 |
| 245 | 1 | 0 |
_aDesign of Reconfigurable Logic Controllers _cedited by Andrei Karatkevich, Arkadiusz Bukowiec, Michał Doligalski, Jacek Tkacz |
| 250 | _a1st ed. | ||
| 260 |
_aCham _bSpringer International Publishing _c2016 |
||
| 300 |
_a1 recurso en línea (VIII, 185 páginas) _b76 ilustraciones, 63 ilustraciones en color |
||
| 336 |
_aTexto _btxt _2rdacontent |
||
| 337 |
_aelectrónico _bc _2rdamedia |
||
| 338 |
_arecurso electrónico _bcr _2rdacarrier |
||
| 490 | 0 |
_aStudies in Systems, Decision and Control _x2198-4182 _v45 |
|
| 505 | 0 | _aPetri Nets in Design of Control Algorithms -- Synthesis and Implementation of Parallel Logic Conrollers in All Programmable Systems-on-Chip -- Circuit Implementation of Parallel Logical Control Algorithms Represented in PRALU Description -- Effective Partial Reconfiguration of Logic Controllers Implemented in FPGA Devices -- An Application of Logic Controller for the Aerosol Temperature Stabilization -- Symbolic Coloring of Petri Nets -- Modular Synthesis of Petri Nets -- Architectural Synthesis of Petri Nets -- Decomposition-Based Methods for FSM Implementation -- Using UML Behavior Diagrams for Graphical Specification of Programs for Logic Controllers -- Various Interpretations of Actions of UML Activity Diagrams in Logic Controller Design -- Model Checking of UML Activity Diagrams Using a Rule-Based Logical Model -- UML Support for Statecharts-Based Digital Logic Controller Design in FPGA Technology. . | |
| 520 | 3 | _aThis book presents the original concepts and modern techniques for specification, synthesis, optimisation and implementation of parallel logical control devices. It deals with essential problems of reconfigurable control systems like dependability, modularity and portability. Reconfigurable systems require a wider variety of design and verification options than the application-specific integrated circuits. The book presents a comprehensive selection of possible design techniques. The diversity of the modelling approaches covers Petri nets, state machines and activity diagrams. The preferences of the presented optimization and synthesis methods are not limited to increasing of the efficiency of resource use. One of the biggest advantages of the presented methods is the platform independence, the FPGA devices and single board computers are some of the examples of possible platforms. These issues and problems are illustrated with practical cases of complete control systems. If you expect a new look at the reconfigurable systems designing process or need ideas for improving the quality of the project, this book is a good choice. | |
| 650 | 0 | 7 |
_aControl automático _2embne _9405125 |
| 650 | 0 | 7 |
_aCircuitos eléctricos _2embne _9139226 |
| 700 | 1 |
_aKaratkevich, Andrei _eeditor literario _0Local _998039 |
|
| 700 | 1 |
_aBukowiec, Arkadiusz _eeditor literario _0Local _998040 |
|
| 700 | 1 |
_aDoligalski, Michał _eeditor literario _0Local _998041 |
|
| 700 | 1 |
_aTkacz, Jacek. _eeditor literario _998042 _0Local |
|
| 710 | 2 |
_aSpringerLink (Online service) _0Local _9106996 |
|
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-26725-8 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 901 | _ai9783319267258 | ||
| 907 |
_a.b12945158 _b10-10-17 _c21-11-16 |
||
| 942 |
_2lcc _cLE |
||
| 945 |
_aTK7888.4 D475 2016 EB _g1 _ieBOOK _j0 _lmae _o- _pEUR0.00 _q- _r- _sb _t15 _u0 _v0 _w0 _x0 _y.i11589097 _z06-04-17 |
||
| 988 | _aEBOOK, asignarmaterias , EBSPRINGER | ||
| 998 |
_am _a_alco _a_vill _b - - _cm _dz _e- _feng _ggw _h0 |
||