Description |
1 online resource (xviii, 887 pages) : color illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 9520 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 9520. 0302-9743
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Intro; Preface; Organization; Contents; Systems Theory and Applications; Which State Feedback Control Laws will not Alter the System's Transfer Function?; Abstract; 1 Problem Formulation; 2 Model Matching by State Feedback; 3 Parameterization of State Feedback Control Laws; 4 Example; 5 Conclusions; References; A Simple Linearisation of the Self-shrinking Generator; 1 Introduction; 2 Fundamentals and Basic Notation; 2.1 The Self-shrinking Generator; 2.2 Cellular Automata; 3 The Self-shrinking Generator in Terms of Linear CA; 4 90/150 CA Versus 102/60 CA |
|
5 Application of the CA to the Self-shrinking Generators Cryptanalysis6 Conclusions; References; Systems Theory and Model of Diversification in Building of Information Systems; Abstract; 1 Introduction; 2 Current Situation in Building of Information Systems; 3 Proposed Model in Building of Information Systems; 4 Conclusion; Acknowledgments; References; Time Sub-Optimal Control of Triple Integrator Applied to Real Three-Tank Hydraulic System; 1 Introduction; 2 Problem Statement; 3 Nonlinear Decomposition; 4 Time Sub-Optimal Solution; 5 Application to the Real Three-Tank Hydraulic System |
|
5.1 Model of the Hydraulic System5.2 Exact Linearization Method; 5.3 Control of the Real System; 6 Conclusions; References; Use of the Automatic Identification System in Academic Research; Abstract; 1 Introduction; 2 The AIS Functional Overview; 3 AIS Research Environments; 4 MarineTraffic Academic AIS Network; 5 Some Empirical Applications Related to Las Palmas Port; 6 Conclusions; References; Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives; 1 Introduction; 2 Background Theory; 3 Representation of Structure Functions by MDDs |
|
4 Direct Partial Logic Derivative and MSS Measures5 Experimental Results; 6 Concluding Remarks; References; Identification of First Order Plants by Relay Feedback with Non-symmetrical Oscillations; 1 Introduction; 1.1 Method Derivation; 2 PI1 -- Controller; 3 Real Experiment -- Fan RPM; 3.1 Identification; 3.2 Control; 4 Real Experiment -- Temperature; 4.1 Identification; 4.2 Control; 5 Conclusion; References; Managing Certificate Revocation in VANETs Using Hash Trees and Query Frequencies; 1 Introduction; 2 Related Work; 3 Managing Certificate Revocation; 4 Building the Tree; 5 Conclusions |
Summary |
This volume constitutes the papers presented at the 15th International Conference on Computer Aided Systems Theory, EUROCAST 2015, held in February 2015 in Las Palmas de Gran Canaria, Spain. The total of 107 papers presented were carefully reviewed and selected for inclusion in the book. The contributions are organized in topical sections on Systems Theory and Applications; Modelling Biological Systems; Intelligent Information Processing; Theory and Applications of Metaheuristic Algorithms; Computer Methods, Virtual Reality and Image Processing for Clinical and Academic Medicine; Signals and Systems in Electronics; Model-Based System Design, Verification, and Simulation; Digital Signal Processing Methods and Applications; Modelling and Control of Robots; Mobile Platforms, Autonomous and Computing Traffic Systems; Cloud and Other Computing Systems; and Marine Sensors and Manipulators |
Notes |
Includes author index |
|
English |
|
Online resource; title from PDF title page (SpringerLink, viewed December 30, 2015) |
Subject |
Computer-aided engineering -- Congresses
|
|
Computer-aided design -- Congresses
|
|
System analysis -- Congresses
|
|
Artificial intelligence -- Congresses
|
|
Artificial intelligence.
|
|
Medical equipment & techniques.
|
|
Computer vision.
|
|
Information retrieval.
|
|
Computer-aided design (CAD)
|
|
Computer modelling & simulation.
|
|
Computers -- Intelligence (AI) & Semantics.
|
|
Medical -- General.
|
|
Computers -- Computer Vision & Pattern Recognition.
|
|
Computers -- Information Technology.
|
|
Computers -- CAD-CAM.
|
|
Computers -- Computer Simulation.
|
|
Artificial intelligence
|
|
Computer-aided design
|
|
Computer-aided engineering
|
|
System analysis
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Moreno-Díaz, Roberto, editor.
|
|
Pichler, Franz, 1936- editor.
|
|
Quesada Arencibia, Alexis, editor.
|
ISBN |
9783319273402 |
|
331927340X |