Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
11 results
Search Results
Item Марковська модель як засіб комплексного моделювання інформаційних систем з функціональним резервуванням(Видавництво Національного університету "Львівська політехніка", 2003) Волочій, Б. Ю.; Озірковський, Л. Д.; Улибін, Д. О.Комплексне моделювання передбачає побудову моделі інформаційної системи, яка поєднувала би функціональний і надійнісний аспекти її проектування. Запропоновано спосіб побудови комплексної моделі. Complex modeling provides for developing a model of information system which would combine functional and reliability aspects of system designing. The report presents the method of complex model development.Item Оцінка надійності програмно-апаратних систем за допомогою моделі їх поведінки(Видавництво Львівської політехніки, 2014) Волочій, Б. Ю.; Озірковський, Л. Д.; Чопей, Р. С.; Мащак, А. В.; Шкілюк, О. П.Описано побудову моделі надійнісної поведінки програмно-апаратної системи у вигляді графа станів та переходів, яка враховує появу відмов та збоїв програмного забезпечення та апаратних засобів, їх наслідки, що призводять до простою, а також способи відновлення працездатності. За рахунок досягнутого ступеня адекватності запропонованої моделі підвищено достовірність розраховуваних показників надійності програмно-апаратної системи. Проведені дослідження показали різницю між значеннями функції готовності програмно-апаратної системи та ймовірності її перебування в стані простою, визначеними з урахуванням короткочасної та повної зупинок апаратних засобів. Hardware/software systems provide flexible implementation of microprocessors, microcontrollers and various peripheral devices and supply the ability to perform almost any functional algorithm that can be simply modified or replaced. For reliability estimation of hardware/software systems we must take into account not only the loss of efficiency, which was caused by the hardware failures, but the abnormal functioning, that was caused by software failures. All these features of hardware/software systems must be considered in their models for reliability indexes estimation. Development of mathematical models of hardware/software system begins with establishing the cause-and-effect relationships of its efficiency violations. Basing on these cause-and-effect relationships the structural-automatic model, which is formalized representation of structure and behavior of hardware/software system, was developed. This structural-automatic model and software module ASNA allows obtaining the analytical mathematical model of hardware/software system as graph of states and transitions. Development of structural-automatic model involves solving the following tasks: forming the vector of states, forming the set of formal parameters, defining the basic events and forming the tree of modification rules of vector’s of states components. Features of forming the vector of states are that the hardware state affects the software state and on the contrary, so the hardware/software system’s state must be represented by two vector’s of states components: one to display the hardware state and the other to display the software state. The set of formal parameters contains all constants and their values, which are used for constructing the mathematical model. Basing on the information of Crittercism, IBM, Microsoft and Ballista OS Robustness Test Suite the intensities of hardware and software faults and failures were calculated. Other required initial data were obtained too. Also, 12 basic events, which can be occurred, and development of the tree of modification rules of vector’s of states components were submitted in the model of hardware/software system. The specification of states and transitions was given and the graph of states and transitions was presented. From the developed model of the system’s behavior we can clearly distinguish three types of states, which are related with faults and failures of hardware and of software separately as well as of hardware and software collectively. Using the developed model the reliability indexes of non-reserved hardware/software system, which provides software restart when it hangs up, were researched. This mathematical model allows us to get standardized parameters of reliability and availability and other reliability indexes, which can be required by designers or engineers for comparison the competitive variants of hardware/software systems with different hardware and software configurations.Item Індивідуальні завдання в електронній дисципліні(Видавництво Львівської політехніки, 2013) Чайківський, Т. В.; Озірковський, Л. Д.; Біленька, О. Б.Показано варіанти створення індивідуальних завдань засобами електронної дисципліни ВНС Львівської політехніки. Основну увагу приділено автоматизації розподілу індивідуальних завдань, прийманню відповідей та оцінюванню з використанням стандартних і додаткових компонентів Moodle. Shown ways to create personal assignments in the electronic course of VNS “Lviv Polytechnic”. Based attention is given to the automatic distribution personal assignments, receiving responses and grading using standard and optional components Moodle.Item Підходи до стандартизації електронних дисциплін у Віртуальному навчальному середовищі Львівської політехніки(Видавництво Львівської політехніки, 2013) Федасюк, Д. В.; Озірковський, Л. Д.; Чайківський, Т. В.Розглянуто задачі стандартизації електронних дисциплін у системах дистанційного навчання. Показано стандартизацію форматів даних та структури дисципліни на прикладі Віртуального навчального середовища Львівської політехніки. This paper considers the problem of standardizing electronic courses of distance learning systems. Standardization of data formats and structures of the discipline are shown on an example of Virtual Learning Environment Lviv Polytechnic.Item Модель поведінки програмно-апаратних електронних систем(Видавництво Львівської політехніки, 2013) Озірковський, Л. Д.; Панський, Т. І.Запропоновано модель для оцінювання надійності програмно-апаратних електронних систем на етапі експлуатації. Вона враховує поведінку електронних систем у разі появи відмов і збоїв апаратних засобів та збоїв програмного забезпечення. In this paper a model for assessing the reliability of hardware-software electronic systems during their operation cycle is proposed. It takes into account the behaviour of electronic systems at the appearance of hardware faults and failures as well as software failures.Item Методика оцінки показників ефективності радіоелектронного комплексу моніторингу повітряного простору(Видавництво Львівської політехніки, 2013) Волочій, Б. Ю.; Озірковський, Л. Д.; Шкілюк, О. П.; Мащак, А. В.In this paper a method for estimation efficiency indexes for algorithm behavior of radioelectronic complex system of airspace monitoring is developed. This method takes into account the structure of adioelectronic complex system of airspace monitoring, technical and tactical characteristics of the reliability of hardware and qualifications of the human operator. Method involves the following stages. Forming of equivalent algorithm behavior is the first stage. Equivalent algorithm behavior is composed of operating and verifying blocks which reflect the functions of the radioelectronic complex system and the actions of human operator. For equivalent algorithm behavior forming is required to add two types of operating blocks that will characterize the reliability of hardware and software. Developing structural-automatic model is the second stage. Structural-automatic model is formalized representation of structure and behavior of radioelectronic complex system. Developing of structural-automatic model involves solving the following tasks: select a set of parameters of radioelectronic complex system that must be included in its model. The components of the vector state and basic events are defined. Modificational component rules tree of the state vector based on the components of the vector state and basic events is formed. The model of the algorithm behavior radioelectronic complex system is developed as a graph and state transitions. Developing of this model is the third stage of method. This task is performed using the software module ASNA-1. The system of linear differential equations of Kolmogorov - Chapman is formed and solved by program module ASNA-1. Solution of linear differential equations is obtained in the form of probability distribution being in the states. The fourth stage provides for forming and investigation of the efficiency indexes for algorithm behavior of radioelectronic complex system of airspace monitoring based on probability distribution being in the state. This method is the further development of modeling technology of discreet-continuous stochastic systems and multiple analysis for efficiency indexes of complex information systems. The example of the application of this method for resolving tasks of the system-technical designing radioelectronic complex sytem of airspace monitoring is represented. Розроблено методику оцінки показників ефективності алгоритму поведінки радіоелектронного комплексу моніторингу повітряного простору з урахуванням його структури, техніко-тактичних характеристик, показників надійності апаратних засобів та кваліфікації людини-оператора. Розроблена методика є подальшим розвитком технології моделювання та проведення багатоваріантного аналізу показників ефективності складних інформаційних систем.Item Моделі відмовостійкої системи з використанням трьох мажоритарних структур, вкладених у мажоритарну структуру, для розв’язання задач надійнісного проектування(Видавництво Львівської політехніки, 2012) Волочій, Б. Ю.; Озірковський, Л. Д.; Змисний, М. М.; Муляк, О. В.Розглянуто відмовостійку систему з використанням трьох мажоритарних структур, вкладених у мажоритарну структуру, граничну працездатність яких визначають два правила: в першому випадку відмовостійка система зберігає працездатність, якщо залишились справними 2 ядра з 3; в другому випадку відмовостійка система зберігає працездатність, коли залишилось справним 1 ядро з 3. Така відмовостійка система використовується в практиці проектування необслуговуваних програмно-апаратних радіоелектронних засобів відповідального призначення. Продемонстровано можливості використання розроблених моделей відмовостійкої системи для розв’язання задач надійнісного проектування. This paper is considered the fault-tolerant system with using three majority structures nested in the majority structure, the limiting efficiency of which define two rules: the first case a fault-tolerant system have efficiency when the two cores of 3 are operable; in the second case a fault-tolerant system has efficiency when one core of 3 is operable. This fault-tolerant system is useing in the practice of designing of without maintenance hardware and software radioelectronic systems of responsible appointment. The possibilities of using the developed models of fault tolerant systems for solving problems of reliability designing are demonstrated.Item Використання віртуального навчального середовища Львівської політехніки для організації дистанційного навчання(Видавництво Львівської політехніки, 2012) Федасюк, Д. В.; Озірковський, Л. Д.Наведено структуру системи для технічної підтримки дистанційної форми навчання в Національному університеті “Львівська політехніка”. Показано можливість розширення інтерактивних можливостей Віртуального навчального середовища Львівської політехніки. In the article the structure of designed system to support distance learning at the Lviv National Polytechnic University is presented. The possibility of expanding interactive features of Virtual learning environment of Lviv Polytechnic is shown.Item Оцінювання показників надійності відмовостійкої системи на основі мажоритарної структури з врахуванням параметрів стратегії аварійного відновлення(Видавництво Львівської політехніки, 2011) Мандзій, Б. А.; Волочій, Б. Ю.; Озірковський, Л. Д.; Змисний, М. М.; Кулик, І. В.Об’єктом розгляду є відмовостійкі системи з комбінованим структурним резервуванням, яке містить мажоритарну структуру та ковзне резервування її робочих модулів. Таку відмовостійку систему використовують у практиці проектування програмно-апаратних радіоелектронних систем відповідального призначення та довготривалої експлуатації з аварійним відновленням. Розроблення моделей відмовостійкої системи здійснено з використанням технології аналітичного моделювання. Показано можливості використання розроблених моделей відмовостійкої системи для розв’язання задач її надійнісного проектування. The fault-tolerant systems with a combined structural redundancy, which includes the majority structure and sliding redundancy, are the object of consideration. Such systems in the practice of designing hardware and software of radio-electronic systems important purpose and long-term operation with disaster recovery are used. The development of models of fault-tolerant system implemented using the technology of analytical modeling is carried out. The possibilities of the developed models of fault-tolerant system for solving problems of reliability designing are shown.Item Інформаційне середовище підтримки навчального процесу у Львівській політехніці(Видавництво Львівської політехніки, 2011) Федасюк, Д. В.; Озірковський, Л. Д.Представлено реалізацію інформаційного середовища для підтримки навчального процесу університету. Показано послідовність задач, які необхідні для реалізації інформаційного середовища та результати їх вирішення. In the article the implementation of the information environment to support the learning process of the University is presented. A sequence of tasks that need to implement the information environment and the results of their decision are displaying.