Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Structured analysis / Victor Weinberg ; pref. Edward Yourdon
| Structured analysis / Victor Weinberg ; pref. Edward Yourdon |
| Autore | Weinberg, Victor <1942- > |
| Pubbl/distr/stampa | Englewood Cliffs, N.J. : Prentice-Hall, ©1980 |
| Descrizione fisica | 328 p. : ill. ; 24 cm |
| Disciplina | 003 |
| Collana | Prentice-Hall software series |
| Soggetto non controllato |
Analisi del sistema
Programmazione |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000512900403321 |
| Weinberg, Victor <1942- > | ||
| Englewood Cliffs, N.J. : Prentice-Hall, ©1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Structured techniques of system analysis, design, and implementation / Sitansu S. Mittra
| Structured techniques of system analysis, design, and implementation / Sitansu S. Mittra |
| Autore | Mittra, Sitansu S. |
| Pubbl/distr/stampa | New York : John Wiley & Sons, c1988 |
| Descrizione fisica | XIX, 392 p. ; 23 cm |
| Disciplina | 003 |
| ISBN | 047183081X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000025839 |
Mittra, Sitansu S.
|
||
| New York : John Wiley & Sons, c1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Strutture di mondo : il pensiero sistemico come specchio di una realtà complessa / a cura di Lucia Urbani Ulivi
| Strutture di mondo : il pensiero sistemico come specchio di una realtà complessa / a cura di Lucia Urbani Ulivi |
| Autore | Urbani Ulivi, Lucia |
| Pubbl/distr/stampa | Bologna : il Mulino, 2015 |
| Descrizione fisica | 298 p. ; 20 cm |
| Disciplina |
146
003 |
| Collana | Percorsi |
| Soggetto non controllato | Sistemi - Teorie |
| ISBN | 978-88-15-13985-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990010066910403321 |
| Urbani Ulivi, Lucia | ||
| Bologna : il Mulino, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Switched and impulsive systems : analysis, design, and applications / Zhengguo Li, Yengchai Soh, Changyun Wen
| Switched and impulsive systems : analysis, design, and applications / Zhengguo Li, Yengchai Soh, Changyun Wen |
| Autore | Li, Zhengguo |
| Pubbl/distr/stampa | Berlin, : Springer, c2005 |
| Descrizione fisica | XVII, 271 p. ; 24 cm. |
| Disciplina |
003
003.74 |
| Altri autori (Persone) |
Wen, Changyun
Soh, Yengchai |
| Collana | Lecture notes in control and information sciences |
| Soggetto topico | Teoria del controllo |
| ISBN | 3540239529 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-USM1422651 |
|
Li, Zhengguo
|
||
| Berlin, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Symmetry in chaos : a search for pattern in mathematics, art and nature / Michael Field and Martin Golubitsky
| Symmetry in chaos : a search for pattern in mathematics, art and nature / Michael Field and Martin Golubitsky |
| Autore | Field, Mike |
| Edizione | [First published in paperback with corrections] |
| Pubbl/distr/stampa | Oxford [etc.], : Oxford University press, 1995 |
| Descrizione fisica | XII, 218 p. : ill. color. ; 28 cm |
| Disciplina |
003
003.857 |
| Altri autori (Persone) | Golubitsky, Martin <1945- > |
| Soggetto topico |
Sistemi dinamici
Simmetria |
| ISBN | 0198536887 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0527622 |
|
Field, Mike
|
||
| Oxford [etc.], : Oxford University press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Synchronization : a universal concept in nonlinear sciences / Arkady Pikovsky, Michael Rosenblum and Jürgen Kurths
| Synchronization : a universal concept in nonlinear sciences / Arkady Pikovsky, Michael Rosenblum and Jürgen Kurths |
| Autore | Pikovsky, Arkady <1956- > |
| Edizione | [First paperback ed] |
| Pubbl/distr/stampa | Cambridge, : Cambridge University Press, 2003 |
| Descrizione fisica | XIX, 411 p. : ill. ; 25 cm |
| Disciplina |
003
003.75 |
| Altri autori (Persone) |
Rosenblum, Michael <1956- >
Kurths, Jürgen <1953- > |
| Collana | Cambridge nonlinear science series |
| Soggetto topico | Sistemi non-lineari |
| ISBN | 052153352X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0527647 |
|
Pikovsky, Arkady <1956- >
|
||
| Cambridge, : Cambridge University Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Synergetics : an introduction, nonequilibrium phase transitions and self-organization in physics, chemistry and biology / Hermann Haken
| Synergetics : an introduction, nonequilibrium phase transitions and self-organization in physics, chemistry and biology / Hermann Haken |
| Autore | Haken, Hermann |
| Edizione | [2nd enl. ed] |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1978 |
| Descrizione fisica | xiii, 355 p. : ill. ; 25 cm. |
| Disciplina | 003 |
| Collana | Springer series in synergetics ; 1 |
| Soggetto topico |
Systems theory
Time-dependent statistical mechanics |
| ISBN | 0387078851 |
| Classificazione |
AMS 82C
Q295 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001409089707536 |
|
Haken, Hermann
|
||
| Berlin ; New York : Springer-Verlag, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
System analysis & intelligent computing : theory and applications / / edited by Michael Zgurovsky, Nataliya Pankratova
| System analysis & intelligent computing : theory and applications / / edited by Michael Zgurovsky, Nataliya Pankratova |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (414 pages) |
| Disciplina | 003 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-030-94910-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- Part I System Analysis of Complex Systems -- 1 Cyclic Regularities of the Covid-19 Spread and Vaccination Effect on Its Further Reduction -- 1 Introduction -- 2 Cyclic Regularity of the Spread of Pandemic Infectious Diseases at the Beginning of the 21st Century -- 2.1 The Cyclic Nature of Pandemic Infectious Diseases Over the Past Two Decades -- 2.2 Analysis of the Cyclic Nature of the COVID-19 Pandemic Spread in Global and Regional Contexts -- 2.3 The Cyclic Nature of COVID-19 Spread in the Global Extent -- 3 Analysis of Trends in Pandemic Processes in the World Based on the Use of the Clusterization Method -- 3.1 Countries Clustering by COVID-19 Incidence Rate -- 3.2 Clustering by the Mortality Dynamics Level -- 4 Conclusions -- References -- 2 Cyber-Physical Systems Operation with Guaranteed Survivability and Safety Under Conditions of Uncertainty and Multifactor Risks -- 1 Introduction -- 2 Related Work -- 2.1 Applications of CPS -- 2.2 Modeling, Simulation, and Verification of CPS -- 3 Cyber-Physical Systems with Guaranteed Survivability and Safety -- 3.1 Introduction -- 3.2 Modified Information Platform for Technical Diagnostics of Functioning CPS -- 3.3 Case Study -- 4 Conclusions -- References -- 3 System Approach to Control-Oriented Mathematical Modeling of Thermal Processes of Buildings -- 1 Introduction -- 2 Analysis of Research and Publications -- 3 Goals and Objectives of the Study -- 4 Systems Approach to Mathematical Modelling of Thermal Processes of a Building -- 5 Discrete Mathematical Model of Flat Elements of Buildings -- 5.1 Heat Transferring Elements -- 5.2 Electrical Analogy -- 5.3 Chains of Heat Transferring Elements -- 6 Reduction of a Multizone Mathematical Model -- 7 Conclusions -- References -- 4 Toward the Mentality Accounting in Large Social Systems Models -- 1 Introduction.
1.1 Setting the Problem -- 1.2 Purpose of the Article -- 2 Models with an Internal Structure and Mentality -- 2.1 One Possible Way to Take into Account the Mentality -- 2.2 Internal Representation of the External World -- 2.3 An Important Representation of Some Individual -- 3 Mentality Accounting in Models -- 3.1 One Approach to Modeling Mentality -- 4 Models with Evolutionary Structure -- 4.1 Types of Mentality Variables in an Individual Representation -- 4.2 Fast and Slow Variables -- 4.3 Bonds Between Different Types of Internal Variables of Elements -- 5 One Simple Example in Modeling with Mentality and with Time-Dependent Bonds -- 6 Some Qualitative Consequences of the Proposed Methodology of Modeling Large Social Systems -- 7 Conclusions -- References -- 5 The Strategy of Underground Construction Objects Planning Based on Foresight and Cognitive Modelling Methodologies -- 1 Introduction -- 2 Description of the Underground Construction Problem -- 3 The System Approach to the Study of Underground Development Planning Based on Foresight and Cognitive Modelling Methodologies -- 3.1 Methodology of Foresight -- 3.2 Methodology of Cognitive Modelling -- 4 Modelling of Underground Communications -- 5 Conclusion -- References -- 6 Assessing Territories for Urban Underground Objects Using Morphological Analysis-Based Model -- 1 Introduction -- 1.1 System Approach to Urban Underground Construction -- 1.2 Objects of Study -- 2 Methods -- 3 Models -- 4 Results -- 5 Discussion -- 6 Conclusions -- References -- 7 Application of Impulse Process Models with Multirate Sampling in Cognitive Maps of Cryptocurrency for Dynamic Decision Making -- 1 Introduction -- 2 Materials and Methods -- 2.1 Building an Improved Cognitive Map of Cryptocurrency Applications in the Financial Market. 2.2 Development of Subsystem Models with Slow-Measured and Fast-Measured CM Coordinates with Multirate Sampling -- 2.3 Suppression of External and Internal Constrained Disturbances in CM Subsystems with Fast-Measured Coordinates with Multirate Sampling -- 3 Results -- 3.1 Experimental Studies of the System of Suppression of Constrained Internal and External Disturbances in a CM Subsystem with Fast-Measured Node Coordinates -- 3.2 Experimental Studies of Suppression of Constrained Internal and External Disturbances in a CM Subsystem with Slowly Measured Node Coordinates -- 4 Conclusion -- References -- 8 Systemic Approach to Risk Estimation Using DSS -- 1 Introduction -- 2 Problem Statement -- 3 Data, Model and Forecasts -- 4 Generalized Classification of Risks -- 5 Bayesian Network Adaptation -- 6 Discussion -- 7 Conclusions -- References -- 9 An Approach to Reduction of the Number of Pair-Wise Alternative Comparisons During Individual and Group Decision-Making -- 1 Introduction -- 2 Cognitive Biases, Associated with Expert Estimation Process -- 2.1 Sources of Cognitive Biases -- 3 Quality of DSS Recommendations in Weakly-Structured Subject Domains -- 3.1 Expert Pair-Wise Comparisons -- 3.2 Psychological Aspects of Pair-Wise Comparisons -- 4 A Method of Expert Pair-Wise Comparisons, Taking the Order of Alternatives into Consideration -- 5 Experimental Research of the Method -- 6 Usage of the Approach for Reduction of the Number of Expert Pair-Wise Comparisons During Estimation -- 6.1 Reducing the Number of Pair-Wise Comparisons -- 6.2 Implementation of the Suggested Approach -- 6.3 Idea and Formal Description of Group Estimation Procedure -- 7 Further Research -- 8 Conclusions -- References -- Part II Computational Intelligence and Intelligent Computing Technologies. 10 Enhancing the Relevance of Information Retrieval in Internet Media and Social Networks in Scenario Planning Tasks -- 1 Introduction -- 2 Reduction of Inconsistency Between User's Information Needs and the Results of User's Inquiry in Search Engine -- 2.1 Operations on DWNT -- 2.2 DWNT Manipulation Algorithms -- 2.3 Information Message Search Method Using DWNT -- 3 Design of the Data Collection and Mining System for the Data Obtained from Internet Media and Social Networks -- 3.1 Defining Data-Driven Workflows -- 3.2 Implementation of Workflows -- 4 Example of Information Retrieval System Application -- 5 Conclusions -- References -- 11 Breathmonitor: AI Sleep Apnea Mobile Detector -- 1 Introduction -- 2 Proposed Solution -- 3 Testing Results -- 4 Implementation -- 5 Conclusions -- References -- 12 Structure Optimization and Investigations of the Hybrid GMDH-Neo-fuzzy Neural Networks in Forecasting Problems -- 1 Introduction -- 2 The Description of the Evolving Hybrid GMDH-Neo-Fuzzy Network -- 3 Neo-fuzzy Neuron with Small Number of Adjusted Parameters as a Node of Hybrid GMDH-System -- 3.1 The Neo-fuzzy Neuron Learning Algorithm -- 4 Results -- 4.1 Problem Of Industrial Prices Forecast -- 4.2 Problem Share Prices Forecasting -- 4.3 Forecasting Index NASDAQ -- 5 Conclusion -- References -- 13 The Method of Deformed Stars as a Population Algorithm for Global Optimization -- 1 Introduction -- 2 Method of Deformed Stars for Multi-extremal Optimization. Two-Dimensional Case -- 2.1 Problem Formulation for One-, Two-Dimensional Cases -- 2.2 The Method of Triangular Deformed Stars (MODS-3) -- 2.3 The Method of Quadrangular Deformed Stars (MODS-4) -- 3 Method of Deformed Stars for Global Optimization, n-Dimensional Case -- 3.1 Formulation of the Problem -- 3.2 The Idea of MODS in n-Dimensional Case -- 3.3 Algorithm of the Method of Deformed Stars. 4 The Experimental Results -- 4.1 The Two-Dimensional Case. MODS-3, MODS-4, MODS-5 -- 4.2 The n-Dimensional Case -- 5 Conclusions -- References -- 14 Guaranteed Estimation of Solutions to First Order Compatible Linear Systems of Periodic Ordinary Differential Equations with Unknown Right-Hand Sides -- 1 Introduction -- 2 Preliminaries and Auxiliary Results -- 3 Problem Statement -- 4 Main Results -- References -- 15 Application of the Theory of Optimal Set Partitioning for Constructing Fuzzy Voronoi Diagrams -- 1 Introduction -- 2 Materials and Methods -- 2.1 Definition and Basic Properties of the Voronoi Diagram -- 2.2 Some Variations of the Voronoi Diagram -- 2.3 Continuous Problems of Optimal Set Partitioning. Voronoi Diagrams as a Result of Solving Continuous OSP Problems -- 3 Results -- 3.1 Statement of Problems for Constructing Voronoi Diagrams with Fuzzy Cells -- 3.2 Algorithm for Constructing a Voronoi Diagram with Fuzzy Cells with Given Coordinates of Generating Points -- 3.3 Examples of Constructing a Voronoi Diagram with Fuzzy Cells with Given Coordinates of Generating Points -- 4 Discussion and Conclusion -- References -- 16 Integrated Approach to Financial Data Analysis, Modeling and Forecasting -- 1 Introduction -- 2 Materials and Methods -- 2.1 The Idea of an Integrated Approach -- 2.2 Integrated Models Construction -- 2.3 An Example of Applying an Integrated Approach to Credit Risk Analysis -- 2.4 Experimental Modeling of the Company's Profitability Based on Integrated Models -- 3 Integrated Dynamic Approach to Financial Risk Assessment -- 3.1 Methodology of Financial Risk Processing -- 3.2 Algorithms for Predicting the Time of Risk Onset -- 3.3 Method of Dynamic Risk Assessment -- 4 Credit Risks Dynamic Modeling Example -- 4.1 Results and Discussion -- 5 Conclusions -- References -- 17 Unranked Fuzzy Logic and Reasoning. 1 Introduction. |
| Record Nr. | UNINA-9910556877003321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 [[electronic resource] ] : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / / edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt
| System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 [[electronic resource] ] : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / / edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 267 p. 128 illus., 69 illus. in color.) |
| Disciplina | 003 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Logic design Computers Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Logic Design Information Systems and Communication Service |
| ISBN | 3-030-30690-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Generating Test Suites to Validate Legacy Systems -- Distributed Applications, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements -- Generic Graphical Navigation for Modelling Tools -- Protocol syntax development using domain specific modeling languages -- Industry 4.0 Applications -- Use of a pivot diagram in SysML to support an automated implementation of a MBSE design methodology in an Industry 4.0 context -- Modeling and code generation framework for IoT -- Process Enactment with Traceability Support for NFV Systems -- Modeling in Environmental Social and Industrial Systems -- On the Structure of Avionics Systems Architecture -- Generating Executable Code from High-level of Social or Socio-Ecological Model Descriptions -- Towards a representation of Cellular Automaton using Specification and Description Language -- Interoperability -- Goal Model Integration: Advanced Relationships and Rationales Documentation -- Union Models: Support for Efficient Reasoning about Model Families over Space and Time -- Facilitating the Co-Evolution of Standards and Models -- Concurrency, Data Integrity -- Adapting Integrity Checking Techniques for Concurrent Operation Executions -- Eventual Consistency Formalized. |
| Record Nr. | UNISA-996466288203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 [[electronic resource] ] : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / / edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt
| System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 [[electronic resource] ] : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / / edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 267 p. 128 illus., 69 illus. in color.) |
| Disciplina | 003 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Logic design Computers Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Logic Design Information Systems and Communication Service |
| ISBN | 3-030-30690-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Generating Test Suites to Validate Legacy Systems -- Distributed Applications, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements -- Generic Graphical Navigation for Modelling Tools -- Protocol syntax development using domain specific modeling languages -- Industry 4.0 Applications -- Use of a pivot diagram in SysML to support an automated implementation of a MBSE design methodology in an Industry 4.0 context -- Modeling and code generation framework for IoT -- Process Enactment with Traceability Support for NFV Systems -- Modeling in Environmental Social and Industrial Systems -- On the Structure of Avionics Systems Architecture -- Generating Executable Code from High-level of Social or Socio-Ecological Model Descriptions -- Towards a representation of Cellular Automaton using Specification and Description Language -- Interoperability -- Goal Model Integration: Advanced Relationships and Rationales Documentation -- Union Models: Support for Efficient Reasoning about Model Families over Space and Time -- Facilitating the Co-Evolution of Standards and Models -- Concurrency, Data Integrity -- Adapting Integrity Checking Techniques for Concurrent Operation Executions -- Eventual Consistency Formalized. |
| Record Nr. | UNINA-9910349299003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
