Computer aided systems theory - EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26 March 4, 1989 : proceedings
Computer aided systems theory is urgently needed for the design of software for CAD. New generation workstations together with the methods and tools of artificial intelligence allow the implementation of the powerful user-driven interactive systems required for CAST. Implementation of CAST software...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| coleção: | Lecture notes in computer science
410 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer aided systems theory, EUROCAST '89, a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989, proceedings, F. Pichler, R. Moreno-Diaz (eds.), Berlin, Springer-Verlag, 1990, 1 vol. (VII-427 p.), Lecture notes in computer science, 0-387-52215-8 • Computer Aided Systems Theory - EUROCAST '89, Texte imprimé, 9783662212998 |
| LEADER | 05750nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 945547 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155232045 | ||
| 020 | |a 9783540469322 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 620.00420285 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Computer Aided Systems Theory |n (01 |d :1989 |c :Las Palmas de Gran Canaria, Espagne). | |
| 245 | 1 | 0 | |a Computer aided systems theory - EUROCAST '89 : |b a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26 March 4, 1989 : proceedings |c [edited by] F. Pichler, R. Moreno-Diaz. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 410 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a From systems theory to CAST -- Epistemological categories of systems: An overview and mathematical formulation -- Knowledge processing: A semantics for the Klir hierarchy of general systems -- Systems theory challenges in the simulation of variable structure and intelligent systems -- CAST-modelling approaches in engineering design -- Object oriented design of CAST Systems -- Design of an object oriented kernel system for Computer Aided Systems Theory and Systems Theory instrumented modelling and simulation -- Implementation of finite-memory machines within CAST:FSM -- Sketching an evolutionary hierarchical framework for knowledge-based systems design -- Specification with nets -- Infrastructure for complex systems - CAD frameworks -- Order and equivalence relations on descriptions of finite dimensional linear systems -- Infinitesimals on computer A tool for cast? -- Computer algebra and Computer Aided Systems Theory -- Reconstructability analysis and its RE interpretation in terms of pragmatic information -- On determining the k-Nerode equivalence for tree automata inference -- Tools for modelling with Petri-net like nets -- Modelling and simulation of non-homogeneous models -- Finite state machine theory as a tool for construction of systolic arrays -- Some remarks on CAST, its relation to systems theory and to other CA tools -- Bases of a cast system for formal neural nets -- The "human operator" some requisits for a theoretical concept -- A minimal system for the study of relationships between brain processes and psychological events -- System behaviour and computing structure -- Towards a computational theory of systems. Some cases study -- Nonlinear data transforms in perceptual systems -- A model for a structural vision system -- Computer Aided Systems Theory andKnowledge-Based System design and simulation; directions to explore -- Artificial intelligence and quality assurance in computer-aided systems theory -- On expert systems for the use of statistical methods -- CAST.FOURIER An interactive method bank for generalized spectral techniques -- Cast methods in control -- Modelling and simulation of robot motion by CAST -- Embedding test pattern generation into design -- Combining behavioral block diagram modelling with circuit simulation -- CA-methods and robotics -- CA systems analysis with applications in environmental protection. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Computer aided systems theory is urgently needed for the design of software for CAD. New generation workstations together with the methods and tools of artificial intelligence allow the implementation of the powerful user-driven interactive systems required for CAST. Implementation of CAST software requires a sound meth- odology from systems theory, user functions tailored to specific applications, and a man-machine interface designed using latest results from cognition research and AI. Most of the papers in this volume are based on talks delivered at EUROCAST '89 held in the Canary Islands in February/March 1989. | ||
| 650 | |a Conception assistée par ordinateur | ||
| 650 | |a Informatique | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Simulation par ordinateur | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Ingénierie assistée par ordinateur | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Pichler, Franz, |d 1936- |4 pbd | |
| 700 | 1 | |a Moreno-Diaz, Roberto, |d 1939- |4 pbd | |
| 776 | 0 | |0 021408017 |t Computer aided systems theory, EUROCAST '89 |o a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989 |o proceedings |f F. Pichler, R. Moreno-Diaz (eds.) |c Berlin |n Springer-Verlag |d 1990 |p 1 vol. (VII-427 p.) |s Lecture notes in computer science |z 0-387-52215-8 | |
| 776 | 0 | |t Computer Aided Systems Theory - EUROCAST '89 |b Texte imprimé |z 9783662212998 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-52215-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-2WJR2JL3-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74790958X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-52215-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750922443 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-52215-8 |z Accès INSA CVL | |
| 997 | |0 945547 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||