| Vol-1000 urn:nbn:de:0074-1000-9 Copyright © 2013 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# ICTERI 2013
ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer

### Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer

### Kherson, Ukraine, June 19-22, 2013.

Edited by

### Vadim Ermolayev *
Heinrich C. Mayr **
Mykola Nikitchenko ***
Aleksander Spivakovsky ****
Grygoriy Zholtkevych *****
Mikhail Zavileysky ******
Hennadiy Kravtsov ****
Vitaliy Kobets ****
Vladimir Peschanenko ****

* Zaporozhye National University, Ukraine
** Alpen-Adria-Universitat Klagenfurt, Austria
*** Taras Shevchenko National University of Kyiv, Ukraine
**** Kherson State University, Ukraine
***** V. N. Karazin Kharkiv National University, Ukraine
****** DataArt Solutions Inc., Russian Federation

## Table of Contents

- Preface
- Organization
- Sponsors

### INVITED CONTRIBUTIONS

- The Knowledge-Based Bio-Economy and the "Green Triple-Helix" of Biotechnology, Synthetic Biology and ICT 2
  Wolf-Ekkehard Matzke
- A Movement of Higher Education Institutions to Consortiums of Institutions Banding Together to Create a Position of Strength 3
  Gary L. Pratt
- General Theory of Interaction and Cognitive Architectures 4-15
  Alexander Letichevsky

### PART I: MAIN ICTERI CONFERENCE

### I.I ICT Infrastructures, Integration and Interoperability

- Wireframe Model for Simulating Quantum Information Processing Systems 18-29
  Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych
- Modeling, Algorithms and Implementation of the Microcontroller Control System for the Ion Beam Forming Process for Nanostructures Etching 30-37
  Aleksandr Ralo, Andrii Derevianko, Aleksandr Kropotov, Sergiy Styervoyedov, Oleksiy Voz
- Using Algebra-Algorithmic and Term Rewriting Tools for Developing Efficient Parallel Programs 38-46
  Anatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko

### I.II Machine Intelligence, Knowledge Engineering and Management for ICT

- An Intelligent Approach to Increase Efficiency of IT-Service Management Systems: University Case-Study 48-63
  Nikolay Tkachuk, Vladyslav Sokol, Kateryna Glukhovtsova
- Refining an Ontology by Learning Stakeholder Votes from their Texts 64-78
  Olga Tatarintseva, Vadim Ermolayev
- Answering Conjunctive Queries over a Temporally-Ordered Finite Sequence of ABoxes sharing one TBox 79-90
  Natalya G. Keberle
- An Adaptive Forecasting of Nonlinear Nonstationary Time Series under Short Learning Samples 91-98
  Elena Mantula, Vladimir Mashtalir
- Application of an Instance Migration Solution to Industrial Ontologies 99-107
  Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok
- Extracting Knowledge Tokens from Text Streams 108-116
  Eugene Alferov, Vadim Ermolayev

### I.III Model-Based Software System Development

- Use of Neural Networks for Monitoring Beam Spectrum of Industrial Electron Accelerators 118-129
  Oleksandr Baiev, Valentine Lazurik, Ievgen Didenko
- Lazy Parallel Synchronous Composition of Infinite Transition Systems 130-145
  Yuliia Romenska, Frederic Mallet
- Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains 146-162
  Vyacheslav Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter Popov
- Asymptotical Information Bound of Consecutive Qubit Binary Testing 163-177
  Anastasiia Varava, Grygoriy Zholtkevych
- A Data Transfer Model of Computer-Aided Vehicle Traffic Coordination System for the Rail Transport in Ukraine 178-186
  Denis B. Arkatov
- Quantitative Estimation of Competency as a Fuzzy Set 187-193
  Leonid Vasylevych, Ivan Iurtyn

### I.IV Methodological and Didactical Aspects of Teaching ICT and Using ICT in Education

- New Approaches of Teaching ICT to Meet Educational Needs of Net Students Generation 195-208
  Nataliya Kushnir, Anna Manzhula, Nataliya Valko
- Pedagogical Diagnostics with Use of Computer Technologies 209-220
  Lyudmyla Bilousova, Oleksandr Kolgatin, Larisa Kolgatina
- The Use of Distributed Version Control Systems in Advanced Programming Courses 221-235
  Michael Cochez, Ville Isomottonen, Ville Tirronen, Jonne Itkonen
- Comparative Analysis of Learning in Three-Subjective Didactic Model 236-251
  Aleksander Spivakovskiy, Lyubov Petukhova, Evgeniya Spivakovska, Vera Kotkova, Hennadiy Kravtsov
- Conception of Programs Factory for Representing and E-Learning Disciplines of Software Engineering 252-263
  Ekaterina Lavrischeva, Artem Dzyubenko, Andrey Aronov
- Public Information Environment of a Modern University 264-272
  Natalia Morze, Olena Kuzminska, Galina Protsenko
- Designing Massive Open Online Courses 273-280
  Vladimir Kukharenko
- The Role of Informatization in the Change of Higher School Tasks: the Impact on the Professional Teacher Competences 281-287
  Dmitry Bodnenko

### I.V ICTERI Tutorials

- UML Profile for MARTE: Time Model and CCSL 289-294
  Frederic Mallet
- Ontology Alignment and Applications in 90 Minutes 295-306
  Vadim Ermolayev, Maxim Davidovsky

## PART II: ICTERI WORKSHOPS

### II.I 2nd International Workshop on Information Technologies in Economic Research (ITER 2013)

- ITER Foreword
- Binary Quasi Equidistant and Reflected Codes in Mixed Numeration Systems 311-328
  Evgeny Beletsky, Anatoly Beletsky
- Mechanism Design for Foreign Producers of Unique Homogeneity Product 329-338
  Vitaliy Kobets
- Features of National Welfare Innovative Potential Parametric Indication Information-Analytical Tools System in the Globalization Trends' Context 339-351
  Elena Lazareva
- Matrix Analogues of the Diffie-Hellman Protocol 352-359
  Alexsander Beletsky, Anatoly Beletsky, Roman Kandyba
- Are Securities Secure: Study of the Influence of the International Debt Securities on the Economic Growth 360-365
  Darya Bonda, Sergey Mazol
- How to Make High-tech Industry Highly Developed? Effective Model of National R&D Investment Policy 366-373
  Oksana Moiseeva, Sergey Mazol
- Econometric Analysis on the Site "Lesson Pulse" 374-384
  Alexander J. Weissblut
- Decision Supporting Procedure for Strategic Planning: DEA Implementation for Regional Economy Efficiency Estimation 385-392
  Karine Mesropyan
- Applying of Fuzzy Logic Modeling for the Assessment of ERP Projects Efficiency 393-400
  Andriy Semenyuk
- Mathematical Model of Banking Firm as Tool for Analysis, Management and Learning 401-408
  Victor Selyutin, Margarita Rudenko

### II.II 1st International Workshop on Methods and Resources of Distance Learning (MRDL 2013)

- MRDL Foreword
- What Should be E-Learning Course for Smart Education 411-423
  Natalia V. Morze, Olena G. Glazunova
- TIO - a Software Toolset for Mobile Learning in MINT Disciplines 424-435
  Daniel Sitzmann, Dietmar P.F. Möller, Karsten Becker, Harald Richter
- Holistic Approach to Training of ICT Skilled Educational Personnel 436-445
  Mariya Shyshkina

### II.III 2nd International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2013)

- SMSV Foreword
- An Abstract Block Formalism for Engineering Systems 448-463
  Ievgen Ivanov
- Multilevel Environments in Insertion Modeling System 464-474
  Dmitriy M. Klionov
- Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems 475-489
  Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frederic Mallet
- Specializations and Symbolic Modeling 490-505
  Vladimir Peschanenko, Anton Guba, Constantin Shushpanov
- On a Dynamic Logic for Graph Rewriting 506-520
  Mathias Winckel, Ralph Matthes
- Logical Foundations for Reasoning about Transformations of Knowledge Bases 521-532
  Mohamed Chaabani, Rachid Echahed, Martin Strecker
- Program Algebras with Monotone Floyd-Hoare Composition 533-549
  Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner
- A Formal Model of Resource Sharing Conicts in Multithreaded Java 550-564
  Nadezhda Baklanova, Martin Strecker
- Implementation of Propagation-Based Constraint Solver in IMS 565-572
  Igor Ol. Blinov
- UniTESK: Component Model Based Testing 573-581
  Alexander K. Petrenko, Victor Kuliamin, Andrey Maksimov
- Protoautomata as Models of Systems with Data Accumulation 582-589
  Irina Mikhailova, Boris Novikov, Grygoriy Zholtkevych
- Models of Class Specification Intersection of Object-Oriented Programming 590-594
  Dmitriy Buy, Serhiy Kompan

- AUTHOR INDEX
- Proceedings in a Single File

12-Jun-2013: submitted by Vadim Ermolayev
13-Jun-2013: published on CEUR-WS.org