Механіко-технологічний факультет
Permanent URI for this communityhttps://dspace.kntu.kr.ua/handle/123456789/760
Browse
6 results
Search Results
Item Method of Transforming Abstract Models of Software Systems into Simulation Models(ChSTU, 2018) Dorenskyi, O.; Drieiev, O.; Доренський, О. П.; Дрєєв, О. М.As a result of the dynamic development of information technology and its active implementation in all spheres of human activity it is necessary to create and apply software systems. It is expedient and necessary to simulate them at the early stages of their life cycle. Therefore, the problem of achieving simulation models of software systems on the basis of abstract models is solved in the article. The achievement of simulation models of software systems on the basis of abstract models is solved by transforming state models into equivalent automaton networks. The networks allow simulating asynchrony and non-determinant of parallel independent events, conflicting interactions between processes, describing typical situations in the systems as well as general dynamics of functioning of complex asynchronous systems. Наслідком динамічного розвитку інформаційних технологій та їх активного впровадження у всі галузі людської діяльності є необхідність створення й використання програмних систем. Є доцільним і необхідним їх моделювання на ранніх стадіях життєвого циклу. Тож у роботі розв’язується задача побудови імітаційних моделей програмних систем на основі абстрактних моделей шляхом перетворення моделей станів у еквівалентні їм автоматні мережі, які дозволяють моделювати асинхронність та недетермінованість паралельних незалежних подій, конфліктні взаємодії між процесами, описувати як типові ситуації в системах, так і загальну динаміку функціонування складних асинхронних систем.Item Формалізація процесу зміни станів програмних об’єктів складних систем на основі формального апарату скінченних автоматів Мура(2014) Доренський, О. П.; Смірнов, О. А.; Dorensky, O. P.; Smirnov, А. А.У пропонованій статті модель станів представників класу об’єктів програмного забезпечення складних систем, розроблюваного на основі об’єктно-орієнтованого підходу, розглянуто з погляду абстрактного синтезу скінченного автомата. Обґрунтовано й використано ініціальний скінченний автомат Мура. Здійснено перетворення моделі станів у скінченний автомат. Розкрито сутність формалізації послідовності подій здобутої скінченно-автоматної моделі поведінки представників класу об’єктно-орієнтованого програмного забезпечення, а також особливості формалізації результатів її функціонування на стадії проектування програмних систем. In this paper states model class instances in complex software systems, developed basing on object-oriented approach, is considered as abstract synthesis of a finite-state machine, proved and used Moore machine. Transformation model in a finite-state machine was done, presented the essence of formalization events sequence of result model of behavior of object-oriented software class instances, presented features of formalizing the results of theoperation model at the software systems design stage.Item Особливості програмної реалізації алгоритму AES(ТНТУ ім. Івана Пулюя, 2012) Гаража, В. О.; Доренський, О. П.; Garazha, Vitaliy; Dorensky, OleksandrItem Особливості застосування та програмної реалізації симетричного алгоритму блокового шифрування Rijndael(ДонНТУ, 2013) Шингалов, Д. В.; Доренський, О. П.Розглядаються результати дослідження і порівняльного аналізу особливостей застосування семитричного алгоритму блочного шифрування Rijndael (стандарт АЕS) з метою реалізації на його основі програмного забезпечення розмежування доступу та збереження конфіденційності даних комп’ютерної системи. Пропонується структурна схема програмної реалізації розмежування доступу на основі алгоритму Rijndael.Item Дослідження методів уникнення помилок в програмному забезпеченні комп’ютерних систем(ДонНТУ, 2013) Тріщ, О. В.; Доренський, О. П.Розглядаються результати дослідження помилок в програмному забезпеченні комп’ютерних систем, джерела та причини їх виникнення, етапів розробки і експлуатації, на кожному з яких можуть виникнути помилки, а також аналіз методів їх попередження, виявлення й усунення.Item Програмне забезпечення системи моніторингу рівня поточних знань студентів(КОД, 2012) Суворов, О. О.; Доренський, О. П.