Concepts and Formulations for Spatial Multibody Dynamics [[electronic resource] /] / by Paulo Flores |
Autore | Flores Paulo |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (84 p.) |
Disciplina | 621.8110285 |
Collana | SpringerBriefs in Applied Sciences and Technology |
Soggetto topico |
Vibration
Dynamical systems Dynamics Control engineering Robotics Mechatronics System theory Vibration, Dynamical Systems, Control Control, Robotics, Mechatronics Systems Theory, Control |
ISBN | 3-319-16190-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Definition of Multibody System -- 2 Fundamental Concepts in Multibody Dynamics -- 3 Global and Local Coordinates -- 4 Euler Angles, Bryant Angles and Euler Parameters -- 5 Angular Velocity and Acceleration -- 6 Vector of Coordinates, Velocities and Accelerations -- 7 Kinematic Constraint Equations -- 8 Basic Constraints between Two Vectors -- 9 Kinematic Joints Constraints -- 10 Equations of Motion for Constrained Systems -- 11 Force Elements and Reaction Forces -- 12 Methods to Solve the Equations of Motion -- 13 Integration Methods in Dynamic Analysis -- 14 Correction of the Initial Conditions -- 15 Demonstrative Example of Application. |
Record Nr. | UNINA-9910299693803321 |
Flores Paulo | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Concepts and Methodologies for Modeling and Simulation [[electronic resource] ] : A Tribute to Tuncer Ören / / edited by Levent Yilmaz |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (359 p.) |
Disciplina |
003.3
004 519 620 |
Collana | Simulation Foundations, Methods and Applications |
Soggetto topico |
Computer simulation
Computational complexity System theory Simulation and Modeling Complexity Systems Theory, Control |
ISBN | 3-319-15096-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Simulation Methodologies -- Toward Agent-Supported and Agent-Monitored Model-Driven Simulation Engineering -- Service Oriented Model Engineering and Simulation for System of Systems Engineering -- Research on High Performance Modeling and Simulation for Complex Systems -- Dynamic Data-Driven Simulation: Connecting Real Time Data with Simulation -- Part II: Modeling Methodologies -- Learning Something Right from Models that are Wrong – Epistemology of Simulation -- Managing Hybrid Model Composition Complexity: Human-Environment Simulation Models -- Transformation of Conceptual Models to Executable High Level Architecture Federation Models -- Using Discrete-Event Cell-Based Multi models for the Simulation of Evacuation Processes -- Part III: Quality Assurance and Reliability of Simulation Studies -- Quality Indicators throughout the Modeling and Simulation Life Cycle -- Verification, Validation and Replication Methods for Agent-Based Modeling and Simulation: Lessons Learned the Hard Way! -- Comparisons of Validated Agent-Based Model and Calibrated Statistical Model -- Generalized Discrete Events for Accurate Modeling and Simulation of Logic Gates -- Part IV: Cognitive, Emotive and Social Simulation -- Specification and Implementation of Social Science Models -- Simulating Human Social Behaviors -- Part V: Body of Knowledge of Modeling & Simulation -- A Review of Extant M&S Literature through Journal Profiling and Co-Citation Analysis. |
Record Nr. | UNINA-9910299250903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Conceptual Modeling - ER 2000 [[electronic resource] ] : 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings / / edited by Alberto H.F. Laender, Stephen W. Liddle, Veda Storey |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XIX, 589 p.) |
Disciplina | 005.74/01/11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer communication systems
System theory Computer science Database management Application software Mathematical logic Computer Communication Networks Systems Theory, Control Popular Computer Science Database Management Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages |
ISBN | 3-540-45393-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Data Warehouse Scenarios for Model Management -- Reflections on Computer Science and Information Systems Research -- From Entities and Relationships to Social Actors and Dependencies -- Database Integration -- A Pragmatic Method for the Integration of Higher-Order Entity-Relationship Schemata -- Explicit Modeling of the Semantics of Large Multi-layered Object-Oriented Databases -- Declarative Mediation in Distributed Systems -- Temporal and Active Database Modeling -- Temporal Constraints for Object Migration and Behavior Modeling Using Colored Petri Nets -- SQLST : A Spatio-Temporal Data Model and Query Language -- TBE: Trigger-By-Example -- Database and Data Warehouse Design Techniques -- Decomposition by Pivoting and Path Cardinality Constraints -- IS=DBS+Interaction: Towards Principles of Information System Design -- A Viewpoint-Based Framework for Discussing the Use of Multiple Modelling Representations -- Practical Approach to Selecting Data Warehouse Views Using Data Dependencies -- Database and Data Warehouse Design Techniques -- Semantic Analysis Patterns -- Tool Support for Reuse of Analysis Patterns — A Case Study -- Ontological Analysis of Taxonomic Relationships -- Web-Based Information Systems -- A Conceptual Model for the Web -- Adapting Materialized Views after Redefinition in Distributed Environments -- On Warehousing Historical Web Information -- Business Process Modeling -- On Business Process Model Transformations -- Towards Use Case and Conceptual Models through Business Modeling -- A Conceptual Modeling Framework for Multi-agent Information Systems -- Conceptual Modeling and XML -- Object Role Modelling and XML-Schema -- Constraints-Preserving Transformation from XML Document Type Definition to Relational Schema -- X-Ray - Towards Integrating XML and Relational Database Systems -- Engineering and Multimedia Application Modeling -- A Conceptual Model for Remote Data Acquisition Systems -- A Modeling Language for Design Processes in Chemical Engineering -- VideoGraph: A Graphical Object-Based Model for Representing and Querying Video Data -- Object-Oriented Modeling -- Object-Oriented Modelling in Practice: Class Model Perceptions in the ERM Context -- ROVER: A Framework for the Evolution of Relationships -- Improving the Reuse Possibilities of the Behavioral Aspects of Object-Oriented Domain Models -- Applying Object-Oriented Technology -- Algebraic Database Migration to Object Technology -- A Layered Software Specification Architecture -- A Reuse-Based Object-Oriented Framework Towards Easy Formulation of Complex Queries -- Quality in Conceptual Modeling -- Evaluating the Quality of Reference Models -- Measures for Assessing Dynamic Complexity Aspects of Object-Oriented Conceptual Schemes -- Measuring the Quality of Entity Relationship Diagrams -- Application Design Using UML -- Behavior Consistent Inheritance in UML -- The Viewpoint Abstraction in ObjectOriented Modeling and the UML -- XML Conceptual Modeling Using UML -- DAMA International Industrial Abstracts -- Metadata Engineering for Corporate Portals Using XML -- The Role of Information Resource Management in Managing a Corporate Portal -- The Five-Tier Five-Schema Concept -- Documenting Meta Data Transformations -- Advanced Data Model Patterns -- Information Quality at Every Stage of the Information Chain -- A Fact-Oriented Approach to Business Rules -- Personalized Digests of Sports Programs Using Intuitive Retrieval and Semantic Analysis. |
Record Nr. | UNINA-9910143617503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Conceptual Modeling - ER 2000 [[electronic resource] ] : 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings / / edited by Alberto H.F. Laender, Stephen W. Liddle, Veda Storey |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XIX, 589 p.) |
Disciplina | 005.74/01/11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer communication systems
System theory Computer science Database management Application software Mathematical logic Computer Communication Networks Systems Theory, Control Popular Computer Science Database Management Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages |
ISBN | 3-540-45393-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Data Warehouse Scenarios for Model Management -- Reflections on Computer Science and Information Systems Research -- From Entities and Relationships to Social Actors and Dependencies -- Database Integration -- A Pragmatic Method for the Integration of Higher-Order Entity-Relationship Schemata -- Explicit Modeling of the Semantics of Large Multi-layered Object-Oriented Databases -- Declarative Mediation in Distributed Systems -- Temporal and Active Database Modeling -- Temporal Constraints for Object Migration and Behavior Modeling Using Colored Petri Nets -- SQLST : A Spatio-Temporal Data Model and Query Language -- TBE: Trigger-By-Example -- Database and Data Warehouse Design Techniques -- Decomposition by Pivoting and Path Cardinality Constraints -- IS=DBS+Interaction: Towards Principles of Information System Design -- A Viewpoint-Based Framework for Discussing the Use of Multiple Modelling Representations -- Practical Approach to Selecting Data Warehouse Views Using Data Dependencies -- Database and Data Warehouse Design Techniques -- Semantic Analysis Patterns -- Tool Support for Reuse of Analysis Patterns — A Case Study -- Ontological Analysis of Taxonomic Relationships -- Web-Based Information Systems -- A Conceptual Model for the Web -- Adapting Materialized Views after Redefinition in Distributed Environments -- On Warehousing Historical Web Information -- Business Process Modeling -- On Business Process Model Transformations -- Towards Use Case and Conceptual Models through Business Modeling -- A Conceptual Modeling Framework for Multi-agent Information Systems -- Conceptual Modeling and XML -- Object Role Modelling and XML-Schema -- Constraints-Preserving Transformation from XML Document Type Definition to Relational Schema -- X-Ray - Towards Integrating XML and Relational Database Systems -- Engineering and Multimedia Application Modeling -- A Conceptual Model for Remote Data Acquisition Systems -- A Modeling Language for Design Processes in Chemical Engineering -- VideoGraph: A Graphical Object-Based Model for Representing and Querying Video Data -- Object-Oriented Modeling -- Object-Oriented Modelling in Practice: Class Model Perceptions in the ERM Context -- ROVER: A Framework for the Evolution of Relationships -- Improving the Reuse Possibilities of the Behavioral Aspects of Object-Oriented Domain Models -- Applying Object-Oriented Technology -- Algebraic Database Migration to Object Technology -- A Layered Software Specification Architecture -- A Reuse-Based Object-Oriented Framework Towards Easy Formulation of Complex Queries -- Quality in Conceptual Modeling -- Evaluating the Quality of Reference Models -- Measures for Assessing Dynamic Complexity Aspects of Object-Oriented Conceptual Schemes -- Measuring the Quality of Entity Relationship Diagrams -- Application Design Using UML -- Behavior Consistent Inheritance in UML -- The Viewpoint Abstraction in ObjectOriented Modeling and the UML -- XML Conceptual Modeling Using UML -- DAMA International Industrial Abstracts -- Metadata Engineering for Corporate Portals Using XML -- The Role of Information Resource Management in Managing a Corporate Portal -- The Five-Tier Five-Schema Concept -- Documenting Meta Data Transformations -- Advanced Data Model Patterns -- Information Quality at Every Stage of the Information Chain -- A Fact-Oriented Approach to Business Rules -- Personalized Digests of Sports Programs Using Intuitive Retrieval and Semantic Analysis. |
Record Nr. | UNISA-996466349903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Conceptual Modeling for E-Business and the Web [[electronic resource] ] : ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and the World Wide Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings / / edited by Stephen W. Liddle, Heinrich C. Mayr, Bernhard Thalheim |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 182 p.) |
Disciplina | 005.74/01/11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Database management
Computer communication systems System theory Application software Information storage and retrieval Information technology Business—Data processing Database Management Computer Communication Networks Systems Theory, Control Information Systems Applications (incl. Internet) Information Storage and Retrieval IT in Business |
ISBN | 3-540-45394-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards Ontology-Based Harmonization of Web Content Standards -- The M*-COMPLEX Approach to Enterprise Modeling, Engineering, and Integration -- Conceptual Design of Electronic Product Catalogs Using Object-Oriented Hypermedia Modeling Techniques -- Generic Linear Business Process Modeling -- Business Modelling Is Not Process Modelling -- Modeling Electronic Workflow Markets -- Building Multi-device, Content-Centric Applications Using WebML and the W3I3 Tool Suite -- Abstraction and Reuse Mechanisms in Web Application Models -- From Web Sites to Web Applications: New Issues for Conceptual Modeling -- Using Webspaces to Model Document Collections on the Web -- Modeling Interactions and Navigation in Web Applications -- A General Methodological Framework for the Development of Web-Based Information Systems -- Managing RDF Metadata for Community Webs -- An Example-Based Environment for Wrapper Generation -- Flexible Category Structure for Supporting WWW Retrieval. |
Record Nr. | UNINA-9910143617403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Conceptual Modeling for E-Business and the Web [[electronic resource] ] : ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and the World Wide Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings / / edited by Stephen W. Liddle, Heinrich C. Mayr, Bernhard Thalheim |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 182 p.) |
Disciplina | 005.74/01/11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Database management
Computer communication systems System theory Application software Information storage and retrieval Information technology Business—Data processing Database Management Computer Communication Networks Systems Theory, Control Information Systems Applications (incl. Internet) Information Storage and Retrieval IT in Business |
ISBN | 3-540-45394-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards Ontology-Based Harmonization of Web Content Standards -- The M*-COMPLEX Approach to Enterprise Modeling, Engineering, and Integration -- Conceptual Design of Electronic Product Catalogs Using Object-Oriented Hypermedia Modeling Techniques -- Generic Linear Business Process Modeling -- Business Modelling Is Not Process Modelling -- Modeling Electronic Workflow Markets -- Building Multi-device, Content-Centric Applications Using WebML and the W3I3 Tool Suite -- Abstraction and Reuse Mechanisms in Web Application Models -- From Web Sites to Web Applications: New Issues for Conceptual Modeling -- Using Webspaces to Model Document Collections on the Web -- Modeling Interactions and Navigation in Web Applications -- A General Methodological Framework for the Development of Web-Based Information Systems -- Managing RDF Metadata for Community Webs -- An Example-Based Environment for Wrapper Generation -- Flexible Category Structure for Supporting WWW Retrieval. |
Record Nr. | UNISA-996466345603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Concrete Operators, Spectral Theory, Operators in Harmonic Analysis and Approximation [[electronic resource] ] : 22nd International Workshop in Operator Theory and its Applications, Sevilla, July 2011 / / edited by Manuel Cepedello Boiso, Håkan Hedenmalm, Marinus A. Kaashoek, Alfonso Montes Rodríguez, Sergei Treil |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014 |
Descrizione fisica | 1 online resource (546 p.) |
Disciplina | 515.724 |
Collana | Operator Theory: Advances and Applications |
Soggetto topico |
Operator theory
Differential equations System theory Operator Theory Ordinary Differential Equations Systems Theory, Control |
ISBN | 3-0348-0648-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Israel Gohberg Memorial Session -- Research work of Israel Gohberg -- Some new refined Hardy type inequalities with breaking points p=2 or p=3 -- Non-negative self-adjoint extensions in rigged Hilbert space -- Matrices with bidiagonal decomposition, accurate computations and corner cutting algorithms -- Boundary-value problems for higher-order elliptic equations in non-smooth domains -- Additive maps preserving the inner local spectral radius -- and more. |
Record Nr. | UNINA-9910299964103321 |
Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Consensus Problem of Delayed Linear Multi-agent Systems [[electronic resource] ] : Analysis and Design / / by Cheng-Lin Liu, Fei Liu |
Autore | Liu Cheng-Lin |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (X, 124 p. 62 illus., 3 illus. in color.) |
Disciplina | 629.8 |
Collana | SpringerBriefs in Control, Automation and Robotics |
Soggetto topico |
Control engineering
System theory Physics Control and Systems Theory Systems Theory, Control Applications of Graph Theory and Complex Networks |
ISBN | 981-10-2492-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Preliminaries -- Consensus analysis of delayed multi-agent systems -- Difference-compensated consensus algorithms -- Predictor-based consensus algorithms -- Conclusions. |
Record Nr. | UNINA-9910254339503321 |
Liu Cheng-Lin | ||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Constrained Control of Uncertain, Time-Varying, Discrete-Time Systems [[electronic resource] ] : An Interpolation-Based Approach / / by Hoai-Nam Nguyen |
Autore | Nguyen Hoai-Nam |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 196 p. 97 illus.) |
Disciplina | 519.6 |
Collana | Lecture Notes in Control and Information Sciences |
Soggetto topico |
Control engineering
System theory Calculus of variations Control and Systems Theory Systems Theory, Control Calculus of Variations and Optimal Control; Optimization |
ISBN | 3-319-02827-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Part I Background -- Set-Theoretic Methods in Control -- Optimal and Constrained Control: An Overview -- Part II Interpolating Control -- Interpolating Control: Nominal State Feedback Case -- Interpolating Control: Robust State Feedback Case -- Interpolating Control: Output Feedback Case -- Part III Applications -- High-order Examples -- A Benchmark Problem: The Non-Isothermal Continuous Stirred Tank Reactor. |
Record Nr. | UNINA-9910299495203321 |
Nguyen Hoai-Nam | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Constraint-Based Agents [[electronic resource] ] : An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds / / by Alexander Nareyek |
Autore | Nareyek Alexander |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XIV, 186 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
System theory Computer programming Algorithms Computer communication systems Data structures (Computer science) Artificial Intelligence Systems Theory, Control Programming Techniques Algorithm Analysis and Problem Complexity Computer Communication Networks Data Structures and Information Theory |
ISBN | 3-540-45746-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Using Global Constraints for Local Search -- Structural Constraint Satisfaction -- The Planning Model -- Application -- Conclusion -- Future Work -- Internet Links -- The “Send More Money” Problem -- Choice Randomization -- Ensuring the Satisfaction of Structural Constraints. |
Record Nr. | UNINA-9910145795203321 |
Nareyek Alexander | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|