Information and Communication Technologies in Education, Research, and Industrial Applications

Name: Information and Communication Technologies in Education, Research, and Industrial Applications | 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

Nick Bassiliades Vadim Ermolayev Hans-Georg Fill Vitaliy Yakovyna Heinrich C. Mayr Mykola Nikitchenko Grygoriy Zholtkevych Aleksander Spivakovsky(Herausgeber*in)

Springer (Verlag)

Erschienen am 5. März 2018

XIV, 255 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-319-76168-8 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Intro
Preface
Conference Organization
Contents
Modeling and Theoretical Frameworks
Availability Model of Critical Nuclear Power Plant Instrumentation and Control System with Non-Exponential Software Update Distribution
Abstract
1 Introduction
1.1 Motivation
1.2 Related Works Analysis
1.3 Objectives and Structure of the Paper
2 The Dependency of Software Failure Rates on the Frequency of Data Input Changing. The Randomness of Software Failures
3 The Use of Erlang Distribution for Software Updates in Availability Model of Fault-Tolerant Computer-Based System with Version-Structural Redundancy
4 Industry Case: FPGA Platform Based Reactor Trip System of NPP
5 Markov Model of Critical NPP I&C System with K-Phase Erlang Distribution of Software Update
6 Simulation Results: The Influence of K-Phase Erlang Distribution of the Software Update Durations on Availability of the Critical NPP I&C System
7 Conclusion
References
Two Approaches to Modelling Logical Time in Cyber-Physical Systems
1 Introduction
2 Motivation and Refinement of Basic Concepts
2.1 Conceptual Framework for Modelling Cyber-Physical Systems
2.2 Potential Pitfalls of Using Concept of Metric Time
2.3 Modelling Logical Time Based on Logical Clock Concept
3 Operational Model Based on Concept of Schedules
3.1 Safety Properties
3.2 Topology on
4 Category of Time Structures
4.1 Quasi-Ordered Sets
4.2 Clock Structures
4.3 Morphisms of Clock Structures
5 Interrelation Between Operational and Denotational Approaches
5.1 Some Needed Technique
5.2 Linear Clock Structures
5.3 Analogue of Szpilrajn Extension Theorem
5.4 Relation of Admissibility
6 Conclusion
References
Extended Floyd-Hoare Logic over Relational Nominative Data
1 Introduction
2 Algebra of Relational Nominative Data
3 Semantics of Extended Floyd-Hoare Logic
4 Syntax and Interpretation
5 Inference System for a Floyd-Hoare Logic with Partial Predicates
6 Towards Formalization of Extended Floyd-Hoare Logic in Mizar
7 Related Work
8 Conclusions
References
ICT in Teaching, Learning, and Education Management
Rankings of Students Based on Experts' Assessment and Levels of the Likelihood of Learning Outcome Acquirement
Abstract
1 Introduction
2 Crisp Relations
3 The Item Response Theory
4 First Type Fuzzification
5 Second Type Fuzzification
6 Conclusions
References
Training of E-learning Managers at Universities
Abstract
1 Introduction
2 Literature Review
3 E-learning Managers Training: Preconditions and Realization
3.1 Needs Assessment and Research Setting
3.2 The Model of Professional Competences of an E-learning Manager
3.3 Training of E-learning Managers at the University
3.4 Assessment Tools: Competency-Based Tasks
4 Training Outcomes by the Speciality
5 Conclusions
References
Developing a Self-regulation Environment in an Open Learning Model with Higher Fidelity Assessment
Abstract
1 Introduction
2 Prototyping and Designing Markup
3 Structuring the Task-Problem Model
4 Probabilistic Assessment
5 Assigning Complexity Level and Generating Pedagogical Feedback
6 TITUS and the Self-assessment and Help-Seeking Support
7 Implementation and Experimental Results
8 Conclusions
References
ICT Evaluation and Applications
Cross-Evaluation of Automated Term Extraction Tools by Measuring Terminological Saturation
Abstract
1 Introduction
2 Motivation and Related Work
2.1 Methods for Automated Term Extraction
2.2 Available Software Implementations
3 OntoElect Saturation Metric and Measurement Pipeline
4 Experimental Workflow and Software Tools
4.1 Generic Experimental Workflow and Instrumental Software
4.2 Planned Series of Experiments
5 Document Collections and Datasets
5.1 Synthetic Document Collections
5.2 Real Document Collections
5.3 Summary of Data Features
6 Experiments and Discussion
6.1 Terminological Saturation in Synthetic Collections
6.2 Terminological Saturation in Real Collections
6.3 Summary of Results and Recommendations
7 Conclusions and Future Work
Acknowledgements
References
Complex Industrial Systems Automation Based on the Internet of Things Implementation
Abstract
1 Introduction
2 Internet of Things Approach and Implementation
2.1 IoT Implementation Technologies
2.2 IoT Main Applications
3 Embedded Monitoring and Automatic Control Systems for Complex Industrial Objects Based on IoT Implementation
3.1 IoT Based Embedded Monitoring and Automatic Control System for Gas Turbine Engines Automation
3.2 Embedded Monitoring and Automatic Control System for Floating Docks Automation Based on IoT
3.3 IoT Based Embedded Monitoring and Automatic Control System for Specialized Pyrolysis Complexes Automation
4 Conclusions
References
Software Packages for Econometrics: Financial Time Series Modeling
Abstract
1 Introduction
2 Analysis of Recent Research
3 Research Method
4 Results
5 Conclusions
References
Identification of Persons with Epilepsy from Electroencephalogram Signals Using Fuzzy Decision Tree
Abstract
1 Introduction
2 Algorithm for EEG Signal Classification
3 Preliminary Data Transformation
3.1 Fuzzification
4 Classification of EEG Signal Using Fuzzy Decision Trees
4.1 Data for Induction of Fuzzy Decision Trees
4.2 Induction of Unordered Fuzzy Decision Tree for Classification of EEG Signal
5 Evaluation
5.1 Evaluation Procedure
5.2 Evaluation of Accuracy of Algorithms for Classification of EEG Signal Using Fuzzy Decision Trees
6 Conclusion
Acknowledgment
References
Simulation Agent-Based Model of Heterogeneous Firms Through Software Module
Abstract
1 Introduction
2 Related Works
2.1 Behavioral Economics as Real Life Approach
2.2 Agent-Based Approach and Types of Economic Agents
2.3 Implications of Agent-Based Model and Nash Equilibrium
3 Dynamical Microeconomic Model
3.1 General Dynamic Market Model
3.2 Quantity Setting Strategy of Firms with Naive Expectations
3.3 Quantity Setting Strategy of Firms with Adaptive Expectations
3.4 Quantity Setting Strategy in General Case
4 Software Module for Computational Investigations of Dynamic Models
5 Computational Investigation of Agent-Based Model Using Software Module
5.1 From Stability to Chaos with Increasing of Number of Firms in the Market
5.2 The Crucial Factor Which Ensures Stable Equilibrium in the Market
5.3 Competition Between Different Types of Firms
5.4 Universality of Model's Properties
6 Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken