Теоретичні та прикладні аспекти кібернетики
Міжнародна наукова конференція студентів, аспірантів та молодих вчених
Конференція TAAC'2012 завершена. Підсумки конференції дивіться в архіві.

TAAC'2012, Section One: Computer Science and Software Engineering

A. V. Abramova, D. I. Konotop, V.M. Glushkov Institute of Cybernetics of NAS of Ukraine, NTUU "KPI" (Ukraine)
Using graphs for the planning at the initial stages of complex technical object design
Complex technical object (CTO) design is appeared the developed hierarchical structure with the large number of elements and internal connections. New information technologies (IT) which provide possibility of system approach and optimized design decisions are widely used in the CTO design. This article describes a methodology and features of graphs usage at the automatization of CTO design and its weight design domain.
Download
I. Bilokon, S. Pohorilyi, Taras Shevchenko national university of Kiev. (Ukraine)
Research of Genetic Algorithm for searching optimal configurations of computing cluster with virtual machine nodes
The genetic algorithm proposed, its parameters defined and researched to solve optimal configurations searching problem for computing cluster with virtual machine nodes via dynamic cluster architecture reconfiguration; experimental data presented and approaches for genetic algorithm parameters quality evaluation suggested.
Download
V. Ehorov, A. Doroshenko, M. Kotenko, Institute of Software Systems of National Academy of Sciences of Ukraine (Ukraine)
SamsonOS --- an operating system for critical size and cost devices
The paper introduces a new operating system named SamsonOS that intend to cover wide range of applications using non expensive low capabilities microcontrollers that provide multitasking and TCP/IP stack networking. It was developed from scratch as very small memory footprint not exceeding $8$Kb. Its successful work has been proven on real time application for automation of measuring in perfume industry.
Download
P. Ivanenko, Taras Shevchenko national university of Kiev, faculty of Cybernetics, TPP cathedra (Ukraine)
TuningGenie --- an autotuning framework for optimization of parallel applications
Paper proposes software tool for automatic generation of autotuners --- special kind of applications to optimize running time of parallel applications in target computing environment. Traditional approach to autotuners creation is amplified by utilizing facilities of rule-based rewriting framework for code transformation purposes. Experimental results show effectiveness of this approach and exhibit ease of use of presented framework.
Download
O. V. Lapko, O. O. Provotar, O. O. Provotar, Taras Shevchenko national university of Kiev, Glushkov Institute of Cybernetic of NAS of Ukraine (Ukraine)
Basic similarities and differences ways of description uncertain variables
Various ways to describe the uncertain variable, namely: probabilistic presented by random variable; possibilistic presented by fuzzy variable and mixed presented by a fuzzy random variables. Apart from that some problem solutions are presented in which you can see the basic similarities and differences in the descriptive methods.
Download
A. M. Lavreniuk, M. S. Lavreniuk, Taras Shevchenko national university of Kiev (Ukraine)
Selection algorithm of graphic accelerators in heterogeneous cluster for optimization computing
The paper highlights the question of the optimal GPU computers selection for kernels in OpenCL when they are starting on heterogeneous clusters where different types of GPU are used. The authors propose optimal GPU selection algorithm that helps to get the best efficiency while program execution using GPU.
Download
A. V. Lelechenko, I. I. Mechnikov Odessa National University (Ukraine)
Conway's Game of Life on Finite Boards \ without Boundaries
Well-known Conway's Game of Life is usually played on the infinite plane board. We introduce it on finite surfaces without boundaries: the torus, the Klein bottle and the projective plane. An effective algorithm for the exhaustive search of stable and repeating patterns is suggested. We present patterns which have much longer periods of oscillating than patterns of the comparable size in the classic Game of Life.
Download
M. F. Makhno, A. I. Sidliarenko, Taras Shevchenko national university of Kiev. (Ukraine)
Geospatial data presentation of road infrastructure in Kherson region
The article describes the software platform, on the basis of which was created a distributed geo-information system, monitoring the roads of general assignments condition in Kherson region.
Download
O. Maksymets, Taras Shevchenko National University of Kiev. (Ukraine)
Upper approximation method for polynomial invariants
We present a solution for polynomial invariant generation problem for programs. We adopt iteration upper approximation method that was successfully applied on free algebras for polynomial algebras. Set of invariant is interpreted as an ideal over polynomial ring. Relationship, intersection problems solution are proposed. Intersection of Gr\"obner basis are used to solve intersection problem. Inverse obligatory is applied to solve relationship problem.
Download
S. Nenkov, H. Iliev, Russe University (Bulgaria)
A task-oriented environment for teaching and learning algorithms --- uml project and its implementation
Algorithms are frequently taught procedural knowledge units in computer and humanitary education. Both design and implementation issues of a Task Oriented Environment for Constructing Algorithms are discussed in the paper. Its project mainly from the teacher's point of view is presented by means of use case, activity, and sequence diagrams. A subject-independent architecture is proposed consisting of standard and specialized tools, task base and students' models integrated in a data base. Implementation of the teacher's tool prototype in DELPHI 7.0 programming environment is described and illustrated by means of screenshots.
Download
D. O. Okhonko, Taras Shevchenko national university of Kiev (Ukraine)
Combining Roulette wheel and Chromosome differentiation methods in Genetic Algorithm
Genetic algorithm (GA) is a heuristic algorithm that use idea of natural evolution in order to solve optimization and search problems. One of the most popular selection method in GA is "Roulette wheel" method. Our approach use hybrid of this and Chromosome differential technique. In addition, switching between this two methods is dynamic. This paper contain research about efficiency of this method and examples of application.
Download
P. Penev, N. Ismailova, Ruse University "Angel Kanchev" (Bulgaria)
A task-oriented environment for teaching and learning algorithms --- the student's side
This paper continues the previous one and discusses the learner’s support in the task-oriented environment for constructing algorithms. The common structure of the program and subprograms in ExerScript and AlgolScript languages is presented in the Bascus-Naur meta language. The focus of the paper is on an intelligent and adaptive algorithm for learner’s knowledge diagnostics and assessment respectively to the teacher’s performance. The student’s interface and the results of a preliminary study are given too.
Download
P. N. Polezhaev, A. E. Shukhman, U. A. Ushakov, Orenburg State University (Russian Federation)
``Mathematical model of cloud computing data center based on OpenFlow''
This paper describes adequate mathematical model of cloud computing data center based on OpenFlow. The model represents cloud computing data center as weighted undirected graph. Its vertices are network devices including computing nodes, OpenFlow switches, data storages and OpenFlow controller. Edges represent network links between them. Proposed model can be used to implement efficient traffic routing schemes which localizes data flows between virtual machines in the groups, decreases network contention and increases overall cloud efficiency.
Download
D. Ragimova, Taras Shevchenko national university of Kiev (Ukraine)
System ``Testing students' knowledge''
The system "Testing students' knowledge" was built. This system has the following features: easy to use, allows you not only to test students' knowledge, but also gives results for improvement the set of tests, has a relatively simple interface and doesn't require separate programs to work with databases (if your computer has Microsoft Office).
Download
V. V. Skobelev, ІПММ НАНУ (Ukraine)
Automata over parametric varieties in a finite ring
Mealy and Moore automata determined onto trajectories in some polynomially parametric variety in a finite ring are considered. Homomorphisms of investigated models are analyzed. Sets of deterministic and non-deterministic automata are characterized. Criteria for following sets of deterministic automata are established: group automata, automata with source-states, automata with flow-states, connected and strongly connected automata, automata with twins-states and automata with $1$-distinguishable states.
Download
O. Ugurlu, F. Nuriyeva, Ege University (Turkey)
A New Heuristic Algorithm for Rainbow Vertex Connection
The rainbow connection number, $rc(G)$, of a connected graph $G$ is the minimum number of colors needed to color its edges, so that every pair of vertices is connected by at least one path in which no two edges are colored the same. In this paper, we consider vertex version of the rainbow connection problem $rvc(G)$. We propose a new heuristic for the rainbow vertex connection and the algorithm is implemented in C++ language.
Download
A. Usov, A. Anikina, V. Stepanov, Taras Shevchenko national university of Kiev (Ukraine)
Taxi service automation
This paper describes the system of taxi service automation, which is based on the client-server model. Server represented as Web service. The client part is divided into two mobile applications for the Android OS: applications for the passenger and drivers. The server stores data about each vehicle and distributes orders between taxi drivers. Application for driver is used to accept orders and display the optimal route on the map. With the application for passenger customers can order a taxi.
Download
Ввійти Відновити пароль

Дати конференції TAAC'2013

  • 01.06.2013 — початок реєстрації учасників.
  • 25.11.2013 — початок конференції.
  • 29.11.2013 — закінчення конференції.

Правила конференції

Правила участі в конференції можна прочитати тут.

Правила оформлення робіт

Детальніше про оформлення робіт можна почитати тут.

Завантажити шаблон оформлення робіт

Соціальні мережі