http://dspace.nbuv.gov.ua:80/handle/123456789/47349 2026-04-17T11:00:50Z 2026-04-17T11:00:50Z Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. http://dspace.nbuv.gov.ua:80/handle/123456789/51617 2013-12-05T01:11:22Z 2010-01-01T00:00:00Z

Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A Тарасюк, О.М.; Горбенко, А.В.; Харченко, В.С. Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности FME(C)A для выявления возможных отказов, оценки их критичности, а также оптимального выбора и формального доказательства корректности средств восстановления и обеспечения отказоустойчивости. Предложена процедура перехода от Event-B модели корректной системы к Event-B модели корректной отказоустойчивой системы.; Аналізуються існуючі проблеми й можливості застосування формальних методів під час створення відмовостійких комп’ютерних систем. Розглянуто задачу інтеграції формального методу розробки Event-B та методу аналізу надійності FME(C)A для виявлення можливих відмов, оцінки їхньої критичності, а також оптимального вибору та формального доказу коректності засобів відновлення й забезпечення відмовостійкості. Запропоновано процедуру переходу від Event-B моделі коректної системи до Event-B моделі коректної відмовостійкої системи.; The paper analyses existing obstacles problems and potentialities of applying Event-B formal technique when developing fault-tolerant computing systems. We discuss an integration of the Event-B and technique of failure modes and effect analysis FME(C)A to provide an approach for identification of possible failures, estimation of their criticality, as well as optimal choice and formal proving of fault-tolerant and recovery techniques. The basic procedures of transition from Event-B model of correct system to Event-B model of fault-tolerant system is also given.

2010-01-01T00:00:00Z Гринченко, Т.А. http://dspace.nbuv.gov.ua:80/handle/123456789/51616 2013-12-05T01:11:18Z 2010-01-01T00:00:00Z

Этические и правовые аспекты контроля содержимого Интернета Гринченко, Т.А. В статье представлен анализ основных факторов, обусловливающих возникновение проблемы контроля содержимого Интернета. Сложность проблемы контроля обусловлена переплетением политических, нравственных и правовых стимулов его существования. В настоящее время наблюдаются две тенденции в организации контроля содержимого Интернета: жесткая и либеральная. Жесткий или чрезмерный контроль может привести к торможению технологического и культурного прогресса в развитии общества. С другой стороны, сотрудничество и свобода использования информации способствуют прогрессу человечества. Согласованная позиция международного сообщества может не допустить или, по крайней мере, ослабить негативные тенденции в развитии Интернета.; У роботі представлено аналіз основних факторів, що сприяють виникненню проблеми контролю вмісту Інтернету. Складність проблеми контролю обумовлена низкою політичних, моральних та правових стимулів його існування. Сьогодні відслідковуються дві тенденції в організації контролю вмісту Інтернету: жорстка і ліберальна. Жорсткий або надмірний контроль може призвести до гальмування технологічного та культурного прогресу в розвитку суспільства. З іншого боку, співробітництво і свобода використання інформації сприяють прогресу людства. Узгоджена позиція міжнародної спільноти може не допустити чи, принаймні, послабити негативні тенденції в розвитку Інтернету.; The article presents an analysis of the main factors causing a problem of the Internet content control. The complexity problem is caused by an interlacing of political, moral and legal stimulus to existence of control. Currently, there are two trends in the organization of the monitoring of the Internet content: rigid and liberal. Rigid or excessive control can result in braking technological and cultural progress in the development of a society. On the other hand the cooperation and freedom of using the information promote the progress of mankind. The coordinated position of the international community can prevent or, at least, reduce the negative trends in the development of the Internet.

2010-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/51615 2013-12-05T01:11:25Z 2010-01-01T00:00:00Z

Автори номера

2010-01-01T00:00:00Z Горбань, И.И. http://dspace.nbuv.gov.ua:80/handle/123456789/51614 2013-12-05T01:11:13Z 2010-01-01T00:00:00Z

Физико-математическая теория гиперслучайных явлений с общесистемных позиций Горбань, И.И. Каждая физико-математическая теория основана на системе математических и физических аксиом. Математические аксиомы являются базой для построения математической теории. Возможности корректного применения этой теории для решения практических задач открывают физические гипотезы. Системы математических аксиом теории гиперслучайных явлений и классической теории вероятностей совпадают, а системы физических аксиом – существенно отличаются. Последнее обстоятельство предопределяет возможность получения с помощью новой теории результатов прикладного плана, которые не могут быть получены в рамках теории вероятностей. Реальная погрешность измерений зависит от статистической нестабильности измеряемой физической величины и статистической нестабильности условий проведения измерений. Такая погрешность хорошо описывается гиперслучайной моделью. Гиперслучайным характером погрешности можно объяснить многие факты, в частности, почему точность любых измерений ограничена, почему при использовании большого числа экспериментальных данных точность не зависит от их объема и др. Из теории гиперслучайных явлений вытекает, что существует горизонт познания. Он определяется диапазонами непредсказуемого изменения физических явлений и условий их наблюдения.; Кожна фізико-математична теорія базується на системі математичних та фізичних аксіом. Математичні аксіоми є базою для побудови математичної теорії. Можливості коректного застосування такої теорії для розв’язку практичних завдань відкривають фізичні гіпотези. Системи математичних аксіом теорії гіпервипадкових явищ і класична теорія ймовірностей співпадають, а системи фізичних аксіом – суттєво відрізняються. Тому є можливість отримувати за допомогою нової теорії результати прикладного плану, які не можуть бути отримані у рамках теорії ймовірностей. Реальна похибка вимірювань залежить від статистичної нестабільності фізичної величини, що вимірюється, та статистичної нестабільності умов проведення вимірювань. Гіпервипадковим характером похибки можна пояснити багато фактів, зокрема, чому точність усіх вимірювань обмежена, чому при використанні великої кількості експериментальних даних точність не залежить від їх об’єму та ін. З теорії гіпервипадкових явищ випливає, що існує горизонт пізнання. Він визначається діапазонами непередбаченої зміни фізичних явищ та умов їх спостереження.; Every physical-mathematical theory is based on system of mathematical and physical axioms. Mathematical axioms are the basis of construction of mathematical theory. Physical hypotheses open possibility to use this theory for correct solving of practical tasks. Systems of mathematical axioms of the theory of hyper-random phenomena and the probability theory are identical ones but systems of physical axioms of them are essentially differed. The last assertion, using the new theory, is predetermined possibility of reception of new applied results, which cannot be obtained from the probability theory. Real error of measuring depends upon statistical instability of measured physical magnitude and statistical instability of measurement conditions. Such errors adequately can be described by hyperrandom model. A lot of facts may be explained by hyper-random character of errors, in particular, why the accuracy of measurements is finite and does not depend on a volume of large number of experimental data. There is a horizon of cognition, which follows from the theory of hyper-random phenomena. It is defined by the ranges of unpredictable changes of physical phenomena and conditions of their observation.

2010-01-01T00:00:00Z