Analysis of Reliability Block Diagrams by Boolean Techniques

Bennetts, R.G.

doi:10.1109/tr.1982.5221283

Cited by 56 publications

(25 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…We apply disjointness techniques (Bennetts, 1975(Bennetts, , 1982Abraham, 1979;Rushdi, 1983a,b;Schneeweiss, 1984Schneeweiss, , 1997Rushdi and Goda, 1985;Rushdi and AbdulGhani, 1993;Rushdi and BaRukab, 2005a,b) to each of the parenthesis in (11) individually, i.e., without spoiling the statistical independence of the entities in parentheses, viz.,…”

Section: Reliability Evaluation When Paths To New Habitat Patches Do mentioning

confidence: 99%

See 1 more Smart Citation

Reliability of migration between habitat patches with heterogeneous ecological corridors

Rushdi

Hassan

2015

Ecological Modelling

View full text Add to dashboard Cite

Section: Reliability Evaluation When Paths To New Habitat Patches Do mentioning

confidence: 99%

“…Reliability analysis in this paper consists of the following threestep strategy (Bennetts, 1975(Bennetts, , 1982Abraham, 1979;Rushdi and AlKhateeb, 1983;Rushdi, 1983aRushdi, ,b, 1984aSchneeweiss, 1984Schneeweiss, , 1997Rushdi and Goda, 1985;Rushdi and AbdulGhani, 1993;Rushdi and Ba-Rukab, 2005a,b):…”

Section: Introductionmentioning

confidence: 99%

Reliability of migration between habitat patches with heterogeneous ecological corridors

Rushdi

Hassan

2015

Ecological Modelling

View full text Add to dashboard Cite

“…Сучасні технічні системи характеризуються великою кількістю елементів (модулів) і, як наслідок, -великими розмірностями простору станів, які можуть сягати десятків-сотень тисяч станів, що практично унеможливлює їх аналіз без використання обчислювальних потужностей комп'ютерних засобів. Використання структурно-автоматних моделей (Modarres, Kaminskiy & Krivtsov, 1999;Bennetts, 1982;Polovko & Gurov, 2006) дає змогу автоматизувати побудову графа станів і переходів, але вимагає значних затрат на опис самої моделі.…”

unclassified

“…Серед аналітичних методів найбільшого поширення набули методи, які базуються на теорії марковських процесів, та, водночас, використовують моделі надійності у вигляді системи диференціальних рівнянь Колмогорова-Чепмена, що дають змогу визначити часові залежності ймовірностей перебування системи у можливих станах (працездатності, відновлення, відмови тощо). Ці методи можна успішно застосувати для надійнісного аналізу технічних систем різного типу: невідновлюваних і відновлюваних, нерезервованих і резервованих з різними видами резервування, з різними пріоритетами ремонту тощо (Bennetts, 1982;Polovko & Gurov, 2006;Volochiy, 2004;Catelani, Ciani & Venzi, 2014). Але використання цих методів для реальних складних систем пов'язане з розв'язанням задач великої розмірності та складними розрахунками, які унеможливлюють виконання цих робіт вручну.…”

unclassified

“…Викладення основного матеріалу. Існують такі способи опису функціонування технічної системи в сенсі її надійності (Bennetts, 1982): структурна схема; функції алгебри логіки; граф станів-переходів; диференціальні та алгебраїчні рівняння.…”

unclassified

See 1 more Smart Citation

Програмний Модуль Розв'язування Систем Диференціальних Рівнянь Колмогорова-Чепмена Для Автоматизації Надійнісного Проектування

Yakovyna¹,

Seniv²,

Lytvyn³

et al. 2019

SBUNFU

View full text Add to dashboard Cite

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

show abstract

On Some Interpretations of Classical Logic

Boričić

1992

Mathematical Logic Qtrly

View full text Add to dashboard Cite

In distinction from the well-known double-negation embeddings of the classical logic we consider some variants of single-negation embeddings and describe some classes of superintuitionistic first-order predicate logics in which the classical first-order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations. MSC: 03B20, 03B55 Key words: Embeddings of classical logic in superintuit.ionistic logics.The first intuitionistic interpretation of classical logic w'a.5 the famous double-negation translation of classical mathematics into int,uitionistic mathematics defined by A. K. KOLMOGOROV [8]. With the help of V. I. GLIVENKO'S result [5], K. GODEL [6]presented a similar relationship between classical and intuitionistic first-order arithmetic. Another interesting double-negation reduction of the classical system into the intuitionistic one was described by S. KURODA [lo]. We mention also the translations considered by H. B. CURRY [3], K . ONO [14], I<. KAwADA and N . MUTI [7), as well as the results obtained by G . KREISEL [9], G . E. MINC and V. P. OREVKOV [12], D. PRAWITZ and P.-E. MALMNAS [lS], C. CELLUCCI [l], D. M. GABBAY [4] (p.41) and D. LEIVANT [ll].

show abstract

Analysis of Reliability Block Diagrams by Boolean Techniques

Cited by 56 publications

References 9 publications

Reliability of migration between habitat patches with heterogeneous ecological corridors

Reliability of migration between habitat patches with heterogeneous ecological corridors

Програмний Модуль Розв'язування Систем Диференціальних Рівнянь Колмогорова-Чепмена Для Автоматизації Надійнісного Проектування

On Some Interpretations of Classical Logic

Contact Info

Product

Resources

About