Engineering Software

ПЕРЕДАЧА ДАНИХ В БЕЗДРОТОВИХ МЕРЕЖАХ СТАНДАРТІВ 802.11N/AC/AX ЗА ДОПОМОГОЮ ТЕХНОЛОГІЙ MU-MIMO ТА ТЕХНІК ПОКРАЩЕННЯ ПЕРЕДАЧІ СИГНАЛІВ

Проведено теоретичний аналіз та досліджено практичний вплив різних технологій стандартів 802.11n, 802.11ac на основні показники якості передачі даних в бездротових мережах. Побудовано графічні залежності, що відображають співвідношення основних параметрів передачі даних для MIMO та SISO. Отримані результати демонструють перевагу MIMO над SISO, а також вплив STBC на якість та швидкість передачі сигналу. Описані підходи, що дозволять підвищити якість передачі даних по бездротовим мережам завдяки технологіям, які мало використовуються, але актуальні. Використання результатів досліджень дозволить підвищити пропускну здатність каналу на магістральних або звичайних з’єднаннях без заміни обладнання.

РОЗРОБКА ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ З ВИКОРИСТАННЯМ КАРТОГРАФІЧНИХ ДАНИХ

Любов Олещенко, Дарина Лапчук

У статті розглянуті основні засоби для розробки Android-застосунків з використанням даних картографічних сервісів мережі Інтернет. Отримана інформація систематизована для визначення інструментів, що використовуються при розробці програмної системи для збору та аналізу даних про переміщення користувачів мобільних пристроїв. Розглянуто мови програмування та системи керування базами даних, які доцільно використовувати для вирішення даної задачі. Наведено опис взаємодії з базою даних та аналізу даних про користувачів розроблюваного додатку за допомогою Firebase Analytics і BigQuery. Описано архітектуру DBaaS, наведено перелік та опис модулів розроблюваного Android-застосунку, що спрощують роботу з обробки даних та полегшують масштабованість коду та забезпечують належну не надлишкову зв’язність компонентів коду. Наведено алгоритм згладжування геотреків, який використовується в додатку. Розглянуті основні переваги використання технології Firebase Authentication для реєстрації та авторизації користувачів розроблюваної системи.

ПОБУДОВА АРХІТЕКТУРИ ПРОГРАМНОЇ СИСТЕМИ ІДЕНТИФІКАЦІЇ ДИКТОРА

Яна Андріївна Бєлозьорова

Запропонована архітектура програмної системи ідентифікації у вигляді діаграм класів і послідовностей. Досліджено основні критерії оцінки точності ідентифікації диктора та виявлено можливі джерела втрати точності ідентифікації диктора, які можуть бути використані при побудові системи ідентифікації диктора.

РОЗРОБКА АЛГОРИТМІВ ЗАХИСТУ ІНФОРМАЦІЇ ДЛЯ СПЕЦІАЛЬНИХ МЕРЕЖ

Створено і апробовано сімейство алгоритмів захисту передачі даних для мереж спеціального призначення з урахуванням особливостей дистанційного радіокерування рухом груп рухомих роботизованих систем, зокрема, у складних ситуаціях, що відповідають українським та міжнародним стандартам. Розроблено алгоритми криптографічного захисту інформації, яка циркулює в таких мережах. В результаті їх застосування жодні дані (команди керування, телеметрія, відеосигнали) не циркулюють у мережі у незашифрованому вигляді. Розроблене програмно-алгоритмічне забезпечення апробовано шляхом створення наземних дистанційно керованих модельних зразків рухомих роботизованих систем спеціального призначення та проведення тестування їх мережевої взаємодії.

СУЧАСНІ ІНТЕГРАЦІЙНІ МОДЕЛІ МЕРЕЖЕВОЇ БЕЗПЕКИ ДЕРЖАВНИХ ІНФОРМАЦІЙНИХ РЕСУРСІВ

Олександр Костянтинович Юдін, Ольга Михайлівна Весельська

Проаналізовано традиційні підходи захисту інформаційних ресурсів і існуючі засоби для забезпечення інформаційної безпеки. Наведено класифікацію методів захисту інформаційної безпеки. Запропоновано новий підхід підключення засобів системи безпеки до інформаційних та телекомунікаційних мереж. Досліджено особливості і умови для впровадження нового підходу для підключення системи захисту і контролю трафіку.

ПІДХІД ДО ВЕРИФІКАЦІЇ АРХІТЕКТУРИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Олена Вікторінв Чебанюк, Поваляєв Дмитро

Верифікація є дуже важливою частиною проектування архітектури програмного забезпечення. У підході AGILE архітектурні рішення представлені у вигляді статичних програмних моделей, а саме діаграм UML.

У роботі запропоновано аналітичні основи верифікації діаграм класів на основі предикатної логіки. Це дослідження продовжується тут, пропонуючи запити LINQ для визначення взаємозв’язку між елементами діаграми класів.

Підхід, запропонований у цій роботі, заснований на автоматичному синтаксичному аналізі файлу діаграми класів XMI, використовуючи запропоновані запити LINQ для кожного принципу проектування SOLID.

ACTIVITY AUTOMATION OF MEDICAL INSTITUTIONS

The problems of the introduction of modern information technology in the medicine industry is considered. The analysis and evaluation of existing medicine information systems is realized, highlighted their shortcomings. The functional requirements identified and the architecture of a software system is developed for automation activity of medical institutions of Ukraine. The results of the implementation of the software system.

DEVELOPMENT OF AUTOMATED SYSTEM OF DECISION MAKING PROFESSIONAL SELECTION FOR OPERATORS OF EXTREME ACTIVITY

Modern medicine is focused on the using of non-invasive means of diagnosing and predicting the organism dysfunctions for operators of extreme activities (OEA). Special software evaluation system is designed for professional recruiting OEA their psychophysiological state. However, research has shown that the existing systems of professional recruiting ofOEAhave a number of drawbacks, the main of which are: the limited use of flexible specialized databases and software systems with a graphical interface designed for medical professionals which leads to a decrease in the effectiveness of their professional recruiting of OEA; subjectivity of expert solutions for professional selection OEA; not developed methods of practical implementation of the comprehensive research of psycho-physiological state of the organism of OEA.

In article presents a developed system of decision, based on the latest hardware and software complex - kephaloencephalograph. This complex implements the assessment and forecast of the state information and the energy field of the body OEA, on the basis of which the results can be implemented for professional recruitingOEA. Presented decision-making system is a computerized three-stage system of expert database and knowledge database allows the medic-specialist to investigate the dynamics of quantitative EEG parameters,kephalography and biological parameters of the OEA’s body, according to their type of temperament.

A results of research is developed software based on the IDE MatLab and obtained normalized values of quantitative parameters of kephalography, electroencephalography, biological blood tests of Antarctic wintering according to certain type of their temperament. Due to the results obtained can not only assess the current psycho-physiological state of theAntarctic wintering’s body, but also to predict its changes.

The results of research can be used in the medical field for the recruiting of transplant donor, or control the rehabilitation process after transplantation of internal organs.

SEMANTIC SEARCH OF COMPLEX INFORMATION OBJECTS USING ONTOLOGICAL KNOWLEDGE

Юлія Віталіївна Рогушина

The problems deal with the Web information retrieval by intelligent applications are analised. Ontological analysis is used as a basis for knowledge representation in the semantic search. Ontological model of the interaction between the open information environment, intelligent information system and its users is proposed. The method of acquisition of knowledge about the complex information objects which structure is also formalized by ontologies is developed and analyzed on example of the competence analysis problem.

ONTOLOGY-DRIVEN PROGRAMMING STYLE ASSISTANT

Ніка Миколаївна Сидорова

Programming style is the set of guidelines, and practices, applicable to a specific language, that are used while writing the source code and which are intended to introduce the universal look and feel of the code, improve understandability of the code and assist software engineers to not introduce more mistakes while writing code. Programming styles are different for different languages.

To develop the ontology, one must first perform the extensive research on the topic, basically a domain analysis on the problem, identify the main concepts of programming styles, build a hierarchy of them and define the relationship between the concepts and their members. Ontology-driven programming style assistant was developed with the help of Protégé. Ontology reasoning is a process in any ontology development to ensure that the ontology is of high-quality and does not contain any contradictory relations.

For programming styles ontology was choice HermiTreasoner, because it proved to be one of the fastest, reliable and widely used reasoners in the current state of things in the ontological domain.Protégé tool also automatically collects metrics about the ontologies, which are mostly concerning the numbers of class axioms, object property axioms and other important numbers.Ontology development using modern software tools is one of the key problems ontology domain. It is important that the users are able to create ontologies with ease and operate with description logic expressivity in the very clear and concise manner.

MULTICRITERIA ARCHITECTURE CHOICE OF SOFTWARE SYSTEM UNDER DESIGN AND REENGINEERING

Олександр Григорович Харченко

The problems of multi-criteria choice of software system architecture are discussed, connected with definition of criterial function structure and formalization of trade-offs definition procedure for decision making. Universal scalar convolution is offered for taking into account requirements of subject area and criteria values limitations. The criterion weight in this convolution depends on its value proximity to the limitation. Optimization model "replacement-compensation" is used for software system reengineering problems or for directed choice of software architecture.

AUTOMATED INFORMATION TECHNOLOGY SUPPORT FOR DECISION-MAKING IN MANAGEMENT OF PHYSICAL HEALTH OF HUMAN

Валентина Володимирівна Кравченко

The article describes the algorithm of a computer program and methodological aspects of the assessment of physical health. There are presented range of indicators of the status of physical, verbal scale of assessments and unification.

ORGANIZATION OF WORKING PLACES IN THE MODE OF BASIC WORK STATIONS BASED ON THE PROGRAM OF LTSP. SETTING UP SERVER, TESTING OF COMPATIBILITY AND SPEED CODING

The stable operation of software based on from the Linux Debian x86 operating system with installed LTSP terminal server and virtual machine management system Oracle VirtualBox is verified experimentally. The possibility of simultaneous connections to the server a large number of diskless workstations is demonstrated and execution the variety of engineering and office programs in Windows XP operating systems running as VirtualBox virtual machines is explained. The correct sequence of actions required for setting up a terminal server LTSP, in particular, the case when SSH service is bound to a random TCP protocol port is formulated in the article. The basic parameters of the resource use and software productivity are specified.

NETWORK APPLICATION TO THE AIRCRAFT PRE-RESERVATION SYSTEM

Максим Володимирович Куклінський, Галина Головня, Максим Лукаш

Carriers have always paid a lot of attention to passenger comfort. Airlines are not of exception. They offer a wide range of services that is aimed to comfort improvement. One of them is booking and advance ticket sales. It has proved the passenger opportunities to significantly reduce the cost of the ticket and a time for payment as well as choose his or her seat in the cabin that suits them best depending on individual needs. This service depends on booking time. The peculiarities of the most popular computer booking systems are analysed. The main stages and features of booking process are observed. The software application architecture is proposed that might increase a quality of passenger’s comfort in depending on their preferences. Practical implementation of this software application was also developed.

ONTOLOGY-DRIVED METHOD USING PROGRAMMING STYLES

Ніка Миколаївна Сидорова

Application of experience in software engineering plays an important role in improving the efficiency of development and maintenance of software products. Experience is applied through using of software development methods and life cycle models, based on the use of legacy software, and reuse. In connection with distribution of engineering methods of the software development, the models of life cycle, based on component development and reuse, and extreme programming are put and solved the problems connected with reading of program texts, written on different programming languages and at various times. Application of these methods and models increases the complexity of software and the collective nature of its development and maintenance and requires the use of programming styles. Through collaborative development and reuse, the style has a direct and through training - indirectly related to all processes of the software lifecycle. Application of styles in programming means the improvement of the efficiency of development and maintenance of software. For the first time is proposed a method of application programming style based on ontologies, providing greater efficiency through using of style complete, by the way precise and formal description of the domain ontology and using OWL-DL to automate processes associated with its creation and maintenance. The results of the study programming stylistics domain are presented. The result is the taxonomy. A taxonomy of concepts was used to construct the programming styles ontology. Ontology is a part of the tool that is constructed according to the own method. The tool is created for using in programming processes and called a programmer assistant tool.

METHOD OF LOSS IDENTIFICATION IN BROADCAST SOFTWARE DEVELOPMENT

Євген Миколайович Сидоров

Often there is a situation where the developer has several active projects. For example, the desire of the staff in all phases of agile development is the fact that the same people will be involved in several projects. Then, the way of organizing works, can be both designs of switching between them. The method of identification of wastes in broadcast software development is proposed. The method is based on the hypothetical-deductive model of scientific method and therefore has two main components. First, the hypotheses regarding wastes in lean software development. Second, an experiment to verify the hypothesis. In experiments is performed identification of wastes. Application of the method is considered for example on switching of problems. Types of activities leading to wastes and types of wastes is presented. The method can be applied not only to study the wastes of movement (which include consider switching between tasks), but also to other types of wastes.

IMPROVEMENT PROCEDURE OF FAILURES PROGNOSTICATION OF SOFTWARE TOOLS BASED ON THE MODEL WITH COMPLEX INDEX OF RELIABILITY

Віталій Степанович Яковина, Дмитро Васильович Федасюк

The paper is devoted to studying the ways to improve the decision-making concerning reaching an acceptability reliable software system. The task is reached by improvement the accuracy of cumulative failure profile building at the beginning of testing phase. It is shown that using the regression analysis with given function allows to improve the failures prediction accuracy by 3–5 %, or to reduce the software testing time (keeping the same accuracy) by 20–40 %.

SOUND AND MUSIC IN COURSE OF PROGRAMMING

Євген Олександрович Гаєв, Олександр Рожок, Назарій Овчарчин

It is proposed to include audio and mathematical aspects of its programming to the university course of computer science and programming. This is easiest to do when these subjects are studied at the environment MATLAB. Expounded our experience, and offers a simple design, created with the students. There are considered simple exaples, and more difficult examples of synthesizing sound interms of the subject of study, and the way to improve students' knowledge of programming.

HIGH PRODUCTION OF JAVA SOCKETS FOR HEALTH CLOUDS IN SCIENCE

Computer clouds are using in health science for its data collections, manipulations and providing security needs in communications to exchange. The clouds distribution data character is using in science applications created to evaluate the data of the healthcare.The science programs like medical visualization, genetic and protein conclusions, map-drag therapy and clinicaldecisions systems of support (CDSS) require high performance messaging libraries with minimum computer and communication spends and the effective utilization of there sources. The high-performance Javasockets (HPJS) encapsulate the needs of message high communications between cloud platforms science applications. HPJS effectively uses the Java socket realization for high-performance inner-process communications. With single-copy protocol, reusability of the thread and communication over head reduction, HPJS can use the message exchange in two times quickly to conventional buffered communication libraries.

TOOL OF PREVENTING UNAUTHORIZED ACCESS TO DATA NETWORK

Максим Володимирович Куклінський, Микола Лукаш, Галина Головня

Security of the data networks has always been an object of great attention. Its importance caused by sufficient lag in developmentrate of levels of network security comparing to rates of development of network technologies. A large increase in the number of network users and their access to information, mainly via the Internet, which facilitates the implementation of destructive actions, results in a necessity of comprehensive approach to network security. Although these destructive actions have not always aimed tomalicious purposes, even such attempts may often lead to large losses, information leakages, etс. The paper describes the algorithm tool that allows identifying an unauthorized access in the data network. This tool is capable to solve the common tasks of network security in complex cooperation with other software and hardware approaches. In addition, the advantages and disadvantages of similar means were examined and analyzed. A code listing of scanning module tool and its overall practical software implementation are presented.

GREENING OF INFORMATION TECHNOLOGIES TECHNIC

Євген Миколайович Сидоров, Сергій Васильович Котла

The concept of sustainable development is the realizationof the idea, which now and in the near future will play a keyrole in the development of global community. Practical introduction of sustainable development in human life is made by through information technology. Greening of knowledge and experience associated with the spread to the information technology the general principles and requirements of environmental applications, production and use of technicalobjects of sustainable development. Such information technologies are called green. The problems of Green IT isdivided into three components: organization of "green enterprise", including optimization of supply, improvement of production cycle, using video-conferences and mobile devicesin order to reduce the need for movement of staff; minimizingof physical pollution of environment; minimizing energy costsof data centers and personal computer systems.

It is necessary to make the procedure "greening" for the entire IT industry. The process of planting should be done by producing innovative solutions for technology. One of these solutions is a method of greening that is offered in the article. Greening of information technology consists of the following stages: monitoring – carried out the study of environment for greening, definedelements that are not green; planning - planned activities for greening. The means to eliminate defects are chosen to address issuedthat were identified in the previous step; implementation – performing of actions that were planned; assessment - assessing theresults of greening techniques.

The following conclusions could be made. There are two type of stimulus for greening. First, greening for reputation. Reputationplays important role for them. Therefore, in such companies greenness and energy saving can be used as a means of improving the company's image. Second, the ratio of effort. It seems that electricity bills in the company are small compared with other expenses. As for other technic of greening, it is important for companies that effort and money spent on greening is justified.

LEXICAL ANALYZER FOR STYLE DEVELOPMENT OF EFFECTIVE PROGRAMMING

Мілана Миколаївна Костів

In the article the task of creation of lexical analyzer for development of style of effective programming is considered, the results of experiments for choosing tasks, which appear in the web-programming was represented, the analyses of the open-source projects was made, the architecture of the tool and class diagram was created. The table with lexemes was created on the base of the tables and histograms obtained by the "Lexical analyzer", that can be used in constructions for the implementation of the tasks and confirm their popularity through large frequency of occurrence in the code. After performing of the lexical analysis and selection of the most popular tasks, it is possible to analyze solutions of these tasks, which can be represented as constructions and compare their performance to create a style. For research of the code on the PHP language in order to obtain the output sequence of symbols lexemes «Zend Engine PHP-Lexer» was used. The tool was created without working with the language specification at the lexical level by means of using lexical functions that are included into «Zend Engine PHP-Lexer».

AN APPROACH OF SOFTWARE QUALITY EVALUATION

Євгеній Іванович Клюєв, Олена Олександрівна Гріненко

The article discusses the assessing the quality parameters of the software on the basis of the provisions of the standard (GOST28195-89), the method of decision-making in the presence of information that does not have a certain character, and neural networks.

The main objective of this work is related to the demonstration of the possibility of using neural networks and decision-makingmethods for evaluating the quality parameters of the software, and describes the main provisions of the standard (GOST 28195-89) for evaluating software quality, range of quality indicators and guidelines methodology for assessing software quality. Almost the possibility of using the package "Statisticа" to assess the quality parameters of software using neural networks based on the ability to use expert and calculation methods for assessing software quality and overall assessment of the software quality on a set of obtained estimates of factors.

ONTOLOGY ENGINEERING

Інна Сергіївна Чистякова

The article discusses the concept of ontology engineering and its main components, such as the design, methodologies of creating ontology, the concept of life cycle and its structure, a set of tools and languages to build and maintain ontologies. The generalized scheme of the life cycle of ontology is based on existing methodologies for constructing them, which are given a detailed review.

ONTOLOGY OF INSTRUCTOR CONSOLES OF AVIATION SIMULATORS

Юлія Миколаївна Рябокінь

In the article considers problems of save and presentation of knowledge of the domain. For formal representation of knowledge about instructor consoles for different types of flight simulators and interface elements of panel is proposed use ontology.

APPROACHES TO THE PROBLEM OF DETECTION EFFICIENCY SEMANTIC WEB SERVICES ON FUNCTIONAL LEVEL

Ольга Вікторівна Захарова

Purpose of research is in analysis of possible approaches to automatic discovery Web-services satisfied to the query. In fact, query description is description of requested service. Our purpose is to build requested service with conjunction of existed services. It is unlikely to build service that is equivalent to query, so we need to create its best cover where “the best” means “the least”. Considered the best covering problem is one instance of the general framework for rewriting that use semantic distance between concepts, instead of subsumption or equivalence. Precisely, the problem reduces to reformulate a query Q into a description that contain as much as possible of common information with Q. Such reformulation is a cover of Q.

METHODS AND TOOLS OF CREATION AND SOFTWARE MAINTENANCE OF LARGE DISTRIBUTED COMPUTERIZED INFORMATION SYSTEMS

Микола Олександрович Сидоров

We consider the solution of current scientific and practical task creating and maintenancing software of large distributed computer information systems, including aviation systems. The concept of the system of systems aims to use legacy systems based on high-performance IT - Infrastructure and differs from traditional monolithic systems as general properties (dynamic adaptation to unexpected situations, continuing development through evolution) and the properties that characterize the system of systems (operational independence, independence for running, unexpected behavior, global geographic). Application of the concept of the system of systems provides high speed software implementation of large computerized information system through utilizing legacy software and using the concept of IT infrastructure. Thus, the conditions for the preservation of experience by combining the development and application of complex legacy computer systems and technology in hardware and in software aspects are provided.Presented methods and tools that were created over several years at the Department of Software Engineering of National Aviation University.

ANALYSIS OF RELATIONSHIPS BETWEEN USABILITY AND QUALITY IN THE USE OF SOFTWARE PRODUCTS BASED ON THE STANDARDS SERIES SQUARE

Інна Володимирівна Гученко

The article is devoted to the research of the relationships between the concepts of "usability" and "quality in use". Based on a series of standards SQuaRE, quality models are analyzed, in particular, usability is considered in two models: directly - in a model of software product quality; indirectly - in a quality in use model. Ontology of software quality models is built. It is concluded that usability is a subset of quality in use. Within the analysis of the connections between usability and quality in use the appropriate measurement models are built,considering measures proposed in the working versions of the standards ISO / IEC 25022 and ISO / IEC 25023. The necessity of specifying the list of usability measures, which are most closely related to the quality in use subcharacteristics such as effectiveness, efficiency and satisfaction, is underlined. It is proposed to use a hierarchical structure of software product usability developed by the author.

QUALITY EVALUATION OF DIGITAL LIBRARIES AT WEB ENVIRONMENT

The article considers the problem of assessing the quality of digital libraries. The basis for a set of criteria to assess the DL is modeled DELOS DLRM. For most quality parameters proposed metrics that allow a quantitative assessment. Selection metrics has been proposed based on the fact that EB operates in the web environment. This approach is new in relation DELOS DLRM, since this model does not focus, on the operation of digital libraries in the web environment. The paper presents a formal model for usability evaluation based reflection of user behavior on the site through a change of the system states. The proposed technique allows ongoing assessment of more independently, using the statistics. Also proposed metrics to assess security settings DL in the web environment.

USAGE OF MOBILE DEVICES TO ACCESS AND TRAINING MATERIALS OF REPOSITORIES OF E-LEARNING SUPPORT SYSTEMS

Олексій Володимирович Конюшенко

A paper analyzes the problems of the use of mobile devices for access and presentation of teaching materials repository of e-learning support systems and demonstrates simple access to the Moodle e-learning support systems database using a specialized client-server application.

DEVELOPMENT OF METHODS OF FORMING MODEL AND REFILL ONTOLOGICAL SEMANTIC SEARCH AND RECOMMENDING SYSTEM

Юлія Віталіївна Рогушина

Ontological model of the intelligent retrieval and recommending system that is oriented on the operation at the open environment Web, social Web and Semantic Web is proposed. Areas of knowledge acquisition about users of this system are considered, suitability of personified testing for creation of user groups with common interests that provide collaborative of search results forecasting ratings is analyzed. Methods for supplementation of this model by new knowledge by means of inductive generalization of interaction experience between user and system for self-learning that supports it`s work improvement are designed.

CREATION LIBRARY OF EFFECTIVE PROGRAMMING

Мілана Миколаївна Костів, Ніка Миколаївна Сидорова

In the article the task of creation of library with effective methods for programming language C# with using object-oriented paradigm is considered, the results of experimental research for choosing the fastest methods of programming relatively to the tasks in the domains are represented.

COMPUTERIZATION FORESIGHT METHODOLOGY OF SELECTION OF PRIORITIES OF PREDICTION THE SCIENTIFIC AND TECHNOLOGICAL DEVELOPMENT

Ігор Борисович Туркін, Ігор Володимирович Шостак, Марія Олександрівна Данова

The paper reflects the relevance of automation foresight-projects on the choice of priorities in the prediction of scientific and technological development of large-scale objects. The characteristics of the computerization of each of the four stages of technology foresight are discussed. It is shown that the most problematic for automation is a step "Еvaluation and refinement of lists of subject directions", because provided by an existing technique procedures and methods are badly formalized and based on the use of expert information . The problem of synthesis of information technology to support decision-making members of the foresight project is formulated.

USABILITY MANAGEMENT IN THE CONTEXT OF SOFTWARE ARCHITECTURE

Інна Володимирівна Гученко

The article is devoted to the issue of relationship between usability and software architecture. Architectural solutions that have influence on overall software usability through concrete properties and attributesare analyzed using the concept of usability patterns. The last one is applied to the earlier developed author’s usability management method considering the usability model based on the latest standards. Conclusion is made that usability improvement in the context of the method of software usability management should be started from the design stage of the software lifecycle. Design solutions which have positive effect on particular usability property are defined.

ALGORITHMS OF SOLVING SYSTEMS OF LINEAR DIOPHANTINE EQUATIONS IN THE CONTEXT OF CONSTRAINT PROBLEM. PART 2

Сергій Лук'янович Кривий

The algorithms for computation of minimal supported set of solutions for systems of linear Diophantine homogeneous equations over set of natural numbers and basis of systems of linear Diophantine homogeneous and inhomogeneous equations in ring and field of remainders on modulo of a number. This algorithms consider in context of solving of general constraint satisfaction problem.

TEMPORAL SQL: 2011

Валерій Анатолійович Резніченко

The article deals with a brief history of inclusion of temporal SQL in standard ISO, and temporal data types in SQL language and possibilities of SQL: 2011 language to support temporal database model.

TREND OF THE SOFTWARE BROWSER POPULARITY IN THE WORLD MARKET

Максим Володимирович Куклінський, Марія Володимирівна Свинцицька

The article deals with the tendency of-browser software for the global market. Factors that influence the ranking using web browsers in terms of popularity.

ONTOLOGY OF DISCIPLINE SYSTEM SOFTWARE ENGINEERING

Євгеній Іванович Романов, Ніка Миколаївна Сидорова

The solution to known problems of software engineering , which were first identified during the crisis 60 years depends on which way the creation and maintenance of software system engineering provisions.

Maintenance of Discipline System Engineering Software. The principal subjects of the curriculum that is taught at the National Aviation University. Solved topics modules that make up the program. The characteristic of the course work. To represent the content of the discipline applied ontology.

DESIGNING OF ONTOLOGY FOR THE APPLICATION DOMAIN “DATA TRANSITION PROCESSES IN NETWORKS”

Олена Вікторівна Чебанюк

Article represents a process of designing of the ontology for application domain “Data transmission process in networks”. Designed elements of the ontology can be used for defining components reuse [1], processes of requirement elicitation activities [2], refinement of behavioral software models, that are represented as UML diagrams [2]. and many other tasks in software engineering activities. Also for refinement of process defining interconnection between domain entities the domain analysis with designing behavioral models of business process of data transmission in networks, designed according different technologies.

METHOD OF CREATING EFFECTIVE PROGRAMMING STYLE

Микола Олександрович Сидоров, Мілана Миколаївна Костів

In the article the task of creation of style of effective programming is considered, the method of reverse engineering is used and the experiments are conducted for its solving, the results of experimental research for creation of the recommendations are represented.

HARDWARE-SOFTWARE ARCHITECTURE OF INHERITED AIRCRAFT SIMULATOR

Руслан Анатолійович Колісніченко

The concept of IT-infrastructure is analysed as to going near a construction aviation to the trainer as a system on the basis of data telecommunications structures, programmatic, computing, of communication and technical facilities enter in the complement of that. Application of principles of construction of IT-infrastructure is examined, based on a methodological going near modernisation, extending of exploitation of the hardwarily-programmatic providing of the generalized aviation trainer, and also for development of aviation trainers. Offer generalized chart of IT-infrastructure of the renewed aviation trainer of ТЛ-410 with determination of basic services for pilots and instructor.

ROLE OF ONTOLOGIES IN SEMANTIC DATA INTEGRATION IN THE WEB

Інна Сергіївна Чистякова

This paper is devoted to the problem of data integration in the Semantic Web. The process of integration, its main components, namely, construction of integration schemes, the development of mappings between models, the development of ways of manipulation are considered.

METHOD OF DEVELOPMENT OF INFORMATION RESOURCES TERMINOLOGY AS BASIS OF FORMING ONTOLOGIES AND THESAURUS FOR SEMANTIC SEARCH

Юлія Віталіївна Рогушина, Анатолій Ясонович Гладун

Now a great necessity in means and methods for creation of ontology and thesauri – interoperable models of domain knowledge representation that is used in distributed Web-applications – is exists. For correct definition of relations between the different thesaurus terms we propose to use some elements of ontological analysis and basic foundations of mereology. In addition some applied rules of thesaurus terms creation are proposed to build the knowledge with higher quality. Use of this thesaurus for semantic search is considered.

CODE OPTIMIZATION OF EMAIL CLIENT APPLICATION ON THE PLATFORM APPLE IOS SOFTWARE ACCORDING CRITERION OF MINIMUM ENERGY CONSUMPTION

Ігор Борисович Туркін, Олександр Валерійович Вдовитченко

Based on market analysis of computer devices is shown that its growth is now determined primarily by increased sales of mobile devices. The general trend is to extend the list of features and capabilities of the smart phone or tablet, but its intensive use is possible only for a few hours, so one of the most important indicators of the quality of the mobile device is the length of his work in stand-alone mode. Performed analysis of the possibilities of increasing the length of the mobile device when offline showed that application software developers do not pay enough attention to code optimization criterion of minimum power consumption. As a result of the experiment on the application-specific code optimization proved the effectiveness of this optimization.

TOOL FOR CREATING EFFECTIVE PROGRAMMING STYLE

Мілана Миколаївна Костів, Юлія Михайлівна Крамар

Considered is the tool for code analyses for application of developed style for effective programming, the architecture of the tool and the algorithm of functionality is described, the results of experiments, which are conducted with using of different projects with open source code, research was conducted for programming language PHP.

ALGEBRAIC ANALYSIS OF SOFTWARE RELIABILITY

Юрій Семенович Манжос

The article covers the basics of the classical approach to the estimation of the probability of error-free operation of software systems.The paper proposes a model of a software system, including software as a black box and a system of maps of elements of the environment and software.The paper discusses the properties of those maps.Using algebraic methods the possible sources of software defects caused by violation of interval relations. The paper formulates the necessary conditions for the absence of defects.The combinational evaluation of the probability of error-free software was defined with help of set-theoretic approach.

ALGORITHMS OF SOLVING SYSTEMS OF LINEAR DIOPHANTINE EQUATIONS IN THE CONTEXT OF CONSTRAINT PROBLEM. PART 1

Сергій Лук'янович Кривий

MODULE OF ANALYTICAL DATA PROCESSING OF SOFTWARE TOOLS OF SUPPORT OF COVERAGE OPTIMIZATION MOBILE OPERATOR

Марина Анатоліївна Максимчук

The given article is dedicated to the development of the dynamic analytical data processing module of the software for supporting the optimization process for GSM network coverage. The technology OLAP, which allows to create effective software to process large volumes of data, was suggested to solve this problem. The structure algorithmic organization of the analytical data processing module in relation to quality indicators of the mobile network was defined. The module consists of three main parts: database OLAP, the interface for work with this database and modules of its formation. The possibility of dynamic changing the OLAP database structure was included. The algorithm of the analytical data processing module functioning and results of research on the effectiveness of its work were presented at the article.

HANDWRITTEN TEXT RECOGNIZTION BASED ON ANALYSIS OF MOTION VECTORS

Дмитро Анатолійович Долотов

Article reviewed approaches of using recognition text technologies of handwriting input. The particular requirements of handwriting text input software modules that are used in mobile devices are identified. The designed method and the analysis of the effectiveness of its constituents are presented in this article. According to the results of the experiments found the comparative effectiveness of existing methods to recognize text in handwritten input on mobile devices.

ALGORITHM FOR AUTOMATED DETERMINATION EMOTIONAL COLORING OF TEXT DATA

Андрій Борисович Бєгунов

This article is devoted to solving the problem of the automated computation of emotional coloring of natural language text. In this case a combined approach is used. This approach provides the categorization of text data and the analysis of syntactic relations between words in this text. It enables to consider the emotional color (tonality) of individual words, but the key groups of syntactically related words. These groups are composed of emotionally colored words and words that amplify or weaken the emotional coloring of other words within the group. This approach provides the ranking of text data into categories of emotions and enables to add new categories of emotions. An algorithm of the automated computation of emotional coloring of natural language text based on this approach is developed.