http://dspace.nbuv.gov.ua:80/handle/123456789/51562 Sun, 12 Apr 2026 11:24:05 GMT 2026-04-12T11:24:05Z http://dspace.nbuv.gov.ua:80/bitstream/id/152991/ http://dspace.nbuv.gov.ua:80/handle/123456789/51562 http://dspace.nbuv.gov.ua:80/handle/123456789/84080 Суперкомпьютеры: тенденции и технологии последнего двадцатилетия Клименко, В.П.; Комухаев, Э.И. В статье рассмотрены вопросы тенденций, архитектур, технологий разработок суперкомпьютеров последнего двадцатилетия (1986 - 2006 гг.). Приведены данные о новых возможностях элементной базы суперкомпьютеров, о расширении применений. Акцентированы перспективы развития кластерных систем, пути совершенствования взаимодействия узлов кластеров. Отмечен значительный вклад ведущих специалистов институтов Кибцентра им. В.М. Глушкова НАНУ в разработки решений и технологий реализации суперкомпьютеров.; В статті розглянуто питання тенденцій, архітектур, технологій розробок суперкомп'ютерів останнього двадцятиліття (1986 - 2006 рр.). Наведено дані про нові можливості елементної бази суперкомп'ьютерів та про розширення застосувань. Акцентовано перспективи розвитку кластерних систем, шляхи вдосконалення взаємодії вузлів кластерів. Відмічено значний внесок провідних фахівців інститутів Кібцентру ім. В.М. Глушкова НАНУ в розробки рішень та технології реалізації суперкомп'ютерів.; The problems of tendencies, architectures, technology of the developments of the supercomputers of the last twentieth anniversary are discussed in the paper. There are adduced data about new abilities of the element base of the supercomputers, about broadening of using. The prospects of the development of cluster systems, the ways of perfection of interaction of the cluster nodes are accepted. The significant contribution of the leading specialists of the Institutes of Cybernetic Centre by Glushkov V.M. of NASU to the developments of decisions and technologies of supercomputers realisation is marked. Sun, 01 Jan 2006 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/84080 2006-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/84060 Планирование испытаний при оценке безотказности технических систем Стрельников, В.П.; Вороная, Н.Г.; Егоров, С.В. Разработана методика планирования испытаний с целью оценки вероятности безотказной работы технических систем на основе использования -распределения. Получены аналитические выражения для оценки доверительных интервалов (граничных значений), допустимого числа отказов и необходимого числа образцов . Показано, что предлагаемая методика приводит к более эффективным (экономичным) планам испытаний.; Розроблено методику планування іспитів з метою оцінки імовірності безвідмовної роботи технічних систем на основі використання -розподілу. Отримано аналітичні вирази для оцінки довірчих інтервалів (граничних значень), припустимого числа відмовлень і необхідного числа зразків . Показано, що запропонована методика приводить до більш ефективних (економічних) планів іспитів.; The technique of planning tests is developed with the purpose of an estimation of probability of non-failure operation of technical systems on the basis of use -distribution. Analytical expressions for an estimation of confidential intervals (boundary values), allowable number of failures and necessary number of samples are received. It is shown, that is offered technique results in more effective (economic) plans of tests. Sun, 01 Jan 2006 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/84060 2006-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/84059 Реализация процесса верификации для разработки надежного программного обеспечения Скляр, В.В.; Харченко, В.С. Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО любого типа.; Узагальнені вимоги стандартів до процесу верифікації програмного забезпечення (ПЗ), що дозволило структурувати цей процес та розробити метод комплексної верифікації, спрямований на забезпечення надійності ПЗ. Метод комплексної верифікації є універсальним і може бути застосований для ПЗ будь - якого типу.; Requirements of standards to verification of software are generalised, that permits to structure this process and to develop a method of integrated verification which is directed to assurance of software reliability. The method of integrated verification is universal and can be used for any type of software. Sun, 01 Jan 2006 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/84059 2006-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/84058 Конструювання програм створення тестових наборів на базі автоматних моделей Райчев, І.Е.; Харченко, О.Г. У статті розглянуті питання автоматизації створення тестових наборів даних (ТНД). Запропонована технологія створення програм генерації ТНД, яка базується на побудові автоматних моделей. Отримані ТНД дозволяють автоматизувати виявлення подій контролю, що підвищує ефективність випробувань, зменшує трудомісткість сертифікації та збільшує достовірність її результатів.; В статье рассмотрены вопросы автоматизации создания тестовых наборов данных (ТНД). Предложена технология создания программ генерации ТНД, которая базируется на построении автоматных моделей. Полученные ТНД позволяют автоматизировать выявление событий контроля, что повышает эффективность испытаний, уменьшает трудоемкость сертификации и увеличивает достоверность ее результатов.; In the article the questions of automation of creating test data sets are considered. The technology of creating programs of generation of test data sets which is based on construction of automatic models is offered. The obtained test data sets allow to automate detection of events of the monitoring that raises efficiency of tests, reduces labour input of certification and increases reliability of their results. Sun, 01 Jan 2006 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/84058 2006-01-01T00:00:00Z