Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017 (eBook)

Part II

Jerzy Świątek, Leszek Borzemski, Zofia Wilimowska (Herausgeber)

eBook Download: PDF

2017 | 1st ed. 2018
XVIII, 376 Seiten
Springer International Publishing (Verlag)
978-3-319-67229-8 (ISBN)

Infos

This three-volume set of books presents advances in the development of concepts and techniques in the area of new technologies and contemporary information system architectures. It guides readers through solving specific research and analytical problems to obtain useful knowledge and business value from the data. Each chapter provides an analysis of a specific technical problem, followed by the numerical analysis, simulation and implementation of the solution to the problem.

 

The books constitute the refereed proceedings of the 2017 38th International Conference 'Information Systems Architecture and Technology,' or ISAT 2017, held on September 17-19, 2017 in Szklarska Poręba, Poland. The conference was organized by the Computer Science and Management Systems Departments, Faculty of Computer Science and Management, Wroclaw University of Technology, Poland. The papers have been organized into topical parts:

 

      &n

bsp;   Part I- includes discourses on topics including, but not limited to, Artificial Intelligence Methods, Knowledge Discovery and Data Mining, Big Data, Knowledge Discovery and Data Mining, Knowledge Based Management, Internet of Things, Cloud Computing and High Performance Computing, Distributed Computer Systems, Content Delivery Networks, and Service Oriented Computing.

 

         Part II-addresses topics including, but not limited to, System Modelling for Control, Recognition and Decision Support, Mathematical Modelling in Computer System Design, Service Oriented Systems and Cloud Computing and Complex Process Modeling.

 

          Part III-deals with topics including, but not limited to, Modeling of Manufacturing Processes, Modeling an Investment Decision Process, Management of Innovation, Management of Organization.

Inhalt

Preface 6
In Memory of Our Friend and Past ISAT Chair Professor Adam Grzech November 2016 8
ISAT 2017 Conference Organization 10
General Chair 10
Program Co-chairs 10
Local Organizing Committee 10
International Program Committee 10
ISAT 2017 Reviewers 13
ISAT 2017 Special Session 15
Contents 16
System Modelling for Control, Recognition and Decision Support 20
Use of the Modified EPSILON Decomposition for the LTI Models Reduction 21
Abstract 21
1 Introduction 21
2 The Epsilon Decomposition 23
2.1 The Modified Epsilon Decomposition Algorithm 23
3 Experiment Data 25
4 Model Decomposition 26
5 Decomposed Models Verification 27
6 Decomposed Models Reduction 29
7 Reduced Model Verification 30
8 Conclusion 33
References 33
Modified HALS Algorithm for Image Completion and Recommendation System 35
Abstract 35
1 Introduction 35
2 Problem Formulation 38
3 Selected Methods 38
3.1 HALS for Matrix Completion 38
3.2 Smooth NMF for Matrix Completion 39
4 Numerical Tests 41
5 Conclusion 43
Acknowledgment 43
References 43
Proposal of Input Shaper in Real Applications 46
Abstract 46
1 Introduction 46
2 The Input Shaping Principle 47
2.1 Theoretical Background 48
3 Design and Application of the Input Shaper 50
4 Conclusion 55
References 55
A Structure-Driven Process of Automated Refactoring to Design Patterns 57
Abstract 57
1 Introduction 57
2 Related Work 58
3 Refactoring Process to Design Patterns 60
4 Replace State Altering Conditional with State (RSACS) 61
4.1 Code Analysis of the Refactoring 61
4.2 Determination of the Refactoring Range 62
4.3 Code Transformation 63
5 Framework 64
5.1 Design 64
5.2 Case Studies 64
6 Conclusions 65
Acknowledgments 65
References 65
Modeling Autoreferential Relationships in Association-Oriented Database Metamodel 67
1 Introduction 67
2 Autoreference in Popular Database Metamodels 68
2.1 Relational Database Metamodel 69
2.2 XML Data Model 69
2.3 Object-Oriented Approach 71
3 Proposed Solution of Autoreferential Relationships Modeling in AODB 71
3.1 Brief Description of AODB 72
3.2 Multiplicities of Recursive Relationships 73
3.3 Autoreferences with Composition 75
3.4 Autoreferences with Uninavigability and Uniqueness 76
4 Comparison of Modeling Features 77
5 Summary 78
References 79
Identification of Objects Based on Generalized Amplitude-Phase Images Statistical Models 81
Abstract 81
1 Introduction 81
2 Structure and Functions of AP-Images Identification IT (IIT) 82
3 Examples of Models of Dynamical Objects AP-Images 87
4 Summary 89
References 89
Abnormal Textures Identification Based on Digital Hilbert Optics Methods: Fundamental Transforms and Models 90
Abstract 90
1 Introduction 90
2 Structure and Functions of AP-Images Identification Technology 91
3 Examples of DHO Identification Technology Applications at MMG Images Processing 94
4 Summary 95
References 96
An Intelligent Multi-Agent System Framework for Fault Diagnosis of Squirrel-Cage Induction Motor Broken Bars 98
Abstract 98
1 Introduction 98
2 Rotor Bar Faults 100
3 MAS 101
4 JADE 102
5 Description of the Proposed MAS Framework 102
6 Conclusions 106
References 106
Performance Comparison of Neural Network Training Algorithms for Load Forecasting in Smart Grids 108
Abstract 108
1 Introduction 108
2 Electric Load Forecasting Methods 109
2.1 Statistical Methods 110
2.2 Heuristic Methods 110
2.3 Artificial Intelligent (AI) Technique 111
3 The Used Model of Neural Network 111
4 Results 113
5 Conclusions 116
References 117
Mathematical Modeling in Computer System Design 118
The Experiment with Quality Assessment Method Based on Strategy Design Pattern Example 119
Abstract 119
1 Introduction 119
2 Design Patterns and Quality 120
2.1 Quality of Implementation of Design Patterns 120
2.2 Detection for the Occurrence and Verification of Design Patterns 121
3 The Method of Quality Assessment of Implementation of Design Patterns 121
3.1 Model Structure 121
3.2 Model of Computer Software 122
3.3 Use of the Method 123
4 Process of Quality Assessment 124
4.1 Assumptions of the Experiment 124
4.2 Strategy Design Pattern 125
4.3 Quality Assessment of Strategy Pattern 126
5 Summary 127
References 128
Development of a Support System for Managing the Cyber Security of Information and Communication Environment of Transport 129
Abstract 129
1 Introduction 129
2 Problem Statement 130
3 Review of the Literature 130
4 Materials and Methods 131
5 Results 138
6 Conclusion 141
References 141
Brainstorming Sessions – Towards Improving Effectiveness and Assessment of Ideas Generation 144
Abstract 144
1 Introduction 144
2 Related Work 145
3 System Design and Principles of Operation 146
4 Technology 148
5 Testing and Results Discussion 150
6 Conclusions and Future Work 152
Acknowledgements 152
References 153
Analysis of IMS/NGN Call Processing Performance Using Phase-Type Distributions Based on Experimental Histograms 154
Abstract 154
1 Introduction 154
2 Traffic Model of IMS/NGN 156
3 Phase-Type Distributions 159
4 Results 161
5 Conclusions and Future Work 169
References 170
Motion Repeatability of Tennis Forehand Preparation Phase Without the Ball Using Three Dimensional Data 172
Abstract 172
1 Introduction 172
2 Research Overview 173
3 Method 174
3.1 Participant 174
3.2 Motion Capture System 174
3.3 Experimental Procedure 175
3.4 Post-processing 175
3.5 Coefficient of Variation 175
4 Algorithms 176
4.1 Head of the Tennis Racket Towards the Player’s Body 176
4.2 Feet Positions 177
5 Results 178
5.1 Head of the Tennis Racket Towards the Player’s Body 178
5.2 Feet Positions 179
5.3 Elbow Angle 179
6 Conclusions 180
Acknowledgment 180
References 181
Towards Standardized Mizar Environments 182
Abstract 182
1 Introduction 182
2 Mizar Library Importing Specifics 183
3 Generating Standardized Environments 186
4 Examples 186
5 Concluding Remarks 190
References 191
Formalization of the Nominative Algorithmic Algebra in Mizar 192
Abstract 192
1 Introduction 192
2 Mizar Formalization of Nominative Glushkov Algebras 198
3 Conclusion 200
References 201
Service Oriented Systems and Cloud Computing 203
Military and Crisis Management Decision Support Tools for Situation Awareness Development Using Sensor Data Fusion 204
Abstract 204
1 Introduction and Research Applicability 204
2 Battlespace Data Integration Mechanisms and Used Standards 205
3 tCOP Information Fusion from Heterogeneous Data Sources 207
4 COP Environment Architecture 208
5 Supporting Soldier’s Situation Awareness 210
6 Construction of Augmented Reality View 211
7 Construction of Situation Awareness View Using AR 212
8 Conclusions and Future Development 213
Acknowledgements 214
References 214
A Practical Approach to Tiling Zuker’s RNA Folding Using the Transitive Closure of Loop Dependence Graphs 215
Abstract 215
1 Introduction 215
2 Related Work 216
3 Zuker’s Algorithm 217
4 Tiling Zuker’s Loop Nests 218
4.1 Background 218
4.2 Tiling Zuker’s Loop Nest 219
5 Experimental Study 221
6 Conclusion 223
Acknowledgments 223
References 223
On Loss Process in a Queueing System Operating Under Single Vacation Policy 225
Abstract 225
1 Introduction 225
2 Model Description 226
3 Equations for Length of First Lost Series 226
4 Compact-Form Solution 228
5 The Case of Next Lost Series 230
6 Numerical Example 230
7 Conclusions 232
References 232
Nash Equilibrium of Capacity Allocation Game for Autonomic Multi-domain Software Defined Networks 234
1 Introduction 234
2 Mathematical Model and Problem Formulation 235
3 Capacity Allocation Algorithm 237
4 Simulation 240
5 Final Remarks 242
References 242
Queueing Delay in a Finite-Buffer Model with Failures and Bernoulli Feedback 244
Abstract 244
1 Introduction 244
2 Model Description and Methodology 245
2.1 Queueing System 245
2.2 Analytical Approach 246
3 Equations for Queueing Delay Distribution 246
3.1 Integral Equations for {/varvec D}_{{/varvec n}} /left( {{/varvec t},{/varvec x}} /right) at Fixed Time {/varvec t} 246
3.2 Corresponding System for Laplace Transforms 248
4 Main Result 249
References 252
Tuning Energy Effort and Execution Time of Application Software 254
1 Introduction 254
2 Task-Based Software Construction 256
3 Energy Model 257
4 Tuning Energy Effort and Execution Time 258
4.1 Optimization Problems for Time and Energy 258
4.2 Task Assignment 260
4.3 Experimental Evaluation 260
5 Software Architecture for Optimization Environment 262
6 Related Work 263
7 Conclusions 264
References 265
An Approach to Semantics for UML Activities 267
Abstract 267
1 Introduction 267
2 Syntax and Semantics of Activities 268
3 Semantics of Activities 269
3.1 The Labelled Transition System 272
3.2 Reachability Graph 275
4 Conclusions 276
References 277
CDMM-F – Domain Languages Framework 278
Abstract 278
1 Introduction 278
2 Literature Overview 279
3 CDMM-F – Framework Description 280
3.1 Meta-Meta Model – Conceptual Level 280
3.2 Meta Model 281
3.3 Model 282
3.4 Framework Architecture 282
4 Case Study 283
4.1 Meta-Model Definition 283
4.2 Model Definition 285
5 Summary 287
References 287
Complex Process Modeling 289
An Analytical Modeling Approach to Cyclic Scheduling of Multiproduct Batch Production Flows Subject to Demand and Capacity Constraints 290
Abstract 290
1 Introduction 290
2 Modelling 292
2.1 Model Assumptions and Limitations 292
2.2 Model Formulation 293
3 Motivating Example 294
4 Problem Statement 296
5 Computational Experiment 299
6 Concluding Remarks 300
References 301
Quantitative Methods of Strategic Planning Support: Defending the Front Line in Europe 303
Abstract 303
1 Introduction 303
2 Description of the Research Tools 304
3 Computational Experiments 306
3.1 Network Model of Complex Activities the Sides of Conflict 306
3.2 Experiments’ Outcomes 309
4 Conclusions 311
References 312
Implementing BPMN in Maintenance Process Modeling 313
Abstract 313
1 Introduction 313
2 Maintenance Management Framework 314
3 Business Process Modelling 315
4 Maintenance Processes Modeling – Case Study 316
5 Summary 321
References 322
Centralized and Distributed Structures of Intelligent Systems for Aided Design of Ship Automation 323
Abstract 323
1 Introduction 323
2 General Structure of the System 325
3 Application of Expert System for Design of Ship Thruster Subsystem 327
4 Multi-agent Based Approach for Design of Ship Thruster Subsystem 329
5 Summary and Conclusions 331
References 332
Simulation-Based Analysis of Wind Farms' Economic Viability 333
1 Introduction 333
2 Wind Power Generation 335
3 The Proposed Model 337
3.1 Input and Output of the Proposed Model 337
3.2 Main Assumptions of the Model 338
3.3 Activity Diagrams 339
3.4 Additional Information 339
4 Simulation Results 340
5 Conclusions 342
6 Future Research 343
References 343
A Hybrid Genetic Algorithm for Hardware–Software Synthesis of Heterogeneous Parallel Embedded Systems 344
Abstract 344
1 Introduction: Coherent Synthesis of Computer System 344
2 Evolutionary Algorithm of Coherent Synthesis of Parallel Embedded Computer Systems 345
2.1 Selected Data Structure 345
2.2 Resource Partition Algorithm 347
2.3 Main Algorithm of Resource Partition 348
2.4 Scheduling of Tasks 350
2.5 Coherent Resource Partition and Task Scheduling 351
3 Calculative Experiments. Comparing the Results of Coherent and Non Coherent Synthesis 353
4 Conclusion 355
References 356
Model Transformation Method for Hybrid Approach 357
Abstract 357
1 Introduction 357
2 Hybrid Approach for Modeling and Solving Decision Problems 358
3 Model Transformation Method – Assumptions, Algorithm and Implementation 359
4 Illustrative Example – The Variant of CVRP 361
5 Implementation and Computational Experiments 364
6 Conclusion 365
Appendix A. Criteria R and Description of Facts 366
References 366
Hurst Exponent as a Risk Measurement on the Capital Market 368
Abstract 368
1 Introduction 368
1.1 Technical Analysis - Trend Analysis 368
1.2 VaR (Value at Risk) [2] 369
1.3 Hurst Exponent 370
1.4 Detrended Moving Average (DMA) 370
2 Construction of Proposed Model 371
3 Results Obtained from Proposed Model 373
4 Conclusion 376
References 376
Modeling the Customer’s Contextual Expectations Based on Latent Semantic Analysis Algorithms 377
Abstract 377
1 Introduction 377
2 Related Research 378
3 Methodology 379
3.1 Novelty and Research Plan 380
3.2 Latent Semantic Analysis Results 380
3.3 Defining the System of Contextual Expectations 383
4 Conclusions and Future Research 385
Acknowledgments 385
References 385
Author Index 387

Produkt-Details

• Erscheint lt. Verlag: 4.9.2017
• Reihe/Serie: Advances in Intelligent Systems and Computing
• Reihe/Serie: Advances in Intelligent Systems and Computing
• Zusatzinfo: XVIII, 376 p. 160 illus.
• Verlagsort: Cham
• Sprache: englisch
• Themenwelt: Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
• Themenwelt: Technik ► Nachrichtentechnik
• Schlagworte: Computer Networks • information systems • Information Systems Architecture • ISAT 2017 • Risk Management
• ISBN-10: 3-319-67229-0 / 3319672290
• ISBN-13: 978-3-319-67229-8 / 9783319672298