Радіоелектроніка та телекомунікації. – 2014. – №796
Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/25691
Вісник Національного університету "Львівська політехніка"
У віснику відображено результати досліджень з теорії та проектування радіо-електронних кіл і пристроїв, антен і пристроїв НВЧ-діапазону, систем телекомунікації та інформаційних мереж, а також математичного моделювання та конструювання радіо-електронних схем і радіоапаратури. Для наукових працівників, інженерів та студентів старших курсів, фахівців з радіотехніки, інформаційних технологій та телекомунікаційних систем, матеріалознавства, інформатики, вимірювання і контролю якості.
Вісник Національного університету «Львівська політехніка» : [збірник наукових праць] / Міністерство освіти і науки України, Національний університет «Львівська політехніка» – Львів : Видавництво Львівської політехніки, 2014. – № 796 : Радіоелектроніка та телекомунікації / відповідальний редактор Б. А. Мандзій. – 255 с. : іл.
Browse
Item Визначення умов переходу від стратегії оперативного відновлення джерела безперебійного електроживлення до стратегії планового відновлення(Видавництво Львівської політехніки, 2014) Волочій, Б. Ю.; Кузнєцов, Д. С.Розглянуто задачу визначення умов переходу від стратегії оперативного віднов- лення до стратегії планового відновлення відмовостійкого джерела безперебійного електроживлення зі збереженням його надійності. Необхідний рівень надійності забезпечується додаванням надлишкових елементів у структуру відмовостійкого джерела безперебійного електроживлення. При цьому обидві стратегії відновлення, якщо забезпечено однакові середні значення тривалостей безвідмовної роботи, володіють різними значеннями ймовірності відмови за заданої тривалості експлуатації. Для розв’язання поставленої задачі розроблено дві марковські моделі відмовостійкого джерела безперебійного електроживлення. The problem of the conditions definition of the transition from the corrective recovery to the planned recovery strategy of an uninterruptible power supply, while a reliability is kept on the same level, is considered in this paper. We consider the uninterruptible power supplies (UPS), which have a modular structure of the power supply unit (PSU). They are designed as a fault-tolerant systems (FTS) with N+M and 2×(N+M) redundant configurations, where N - is number of the PSU modules required to power the workload, and M - the number of the redundant modules. When there are the specific time intervals where an object, where the UPS is installed, is inaccessible, or there are problems with an access to it, it is reasonable to perform the transition from the corrective recovery (CR) to the planned recovery (PR) strategy of the UPS. In order to perform this, the parameters of the FTS and the recovery strategy must be defined. Those parameters must provide the equivalent UPS's reliability. For the UPS with N+M redundant configuration the CR strategy is applied (UPS № 1). The CR strategy is performing recovery immediately after the finding the fact that UPS reached threshold condition (but can be operable as well). From this moment begins the countdown of recovery procedure. For an UPS with 2×(N+M) redundant configuration the PR strategy is applied (UPS № 2). It differs from the previous one in that the recovery procedure starts at the predetermined scheduled time moments. In these time moments the condition of the UPS is object is made. If the condition does not meet the threshold condition, the repair crew is not sent. To solve this problem the models of fault-tolerant systems as the systems of Kolmogorov–Chapman differential equations had been developed. With its help, the dependence of the mean time of a failure-free operation (TFFO) of the UPS № 1 on the duration of the recovery of its components have been determined. For the input data, the periodicity values of the PR (TPER) for the UPS № 2, which provides the equivalent reliability with the UPS №1 by the TFFO index, have been determined. Though, those recovery strategies, while providing the same mean times of a failure-free operation, provide the different values of the probability of a failure for a given operation time.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.