Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
Пошуковий запит: (<.>A=Дрозд А$<.>) |
Загальна кількість знайдених документів : 58
Представлено документи з 1 до 20
|
| |
1. |
Дрозд А. А. Защитные свойства особо плотного бетона по отношению к стальной арматуре железобетона [Електронний ресурс] / А. А. Дрозд, С. В. Гущин, В. В. Бабицкий, С. Д. Семенюк // Ресурсоекономні матеріали, конструкції, будівлі та споруди. - 2013. - Вип. 25. - С. 287-294. - Режим доступу: http://nbuv.gov.ua/UJRN/rmkbs_2013_25_42 Показано, что технология сухого формования бетона с предварительным вакуумированием компонентов бетонной смеси позволяет существенно увеличить критическую концентрацию хлор-ионов, снизить эффективные коэффициенты диффузии углекислого газа и хлор-ионов в капиллярном пространстве цементного камня и тем самым повысить защитные свойства бетона по отношению к стальной арматуре.
| 2. |
Дрозд А. В. Оценка контролепригодности цифровых компонентов встроенных систем критического применения [Електронний ресурс] / А. В. Дрозд, В. С. Харченко, С. Г. Антощук, М. А. Дрозд, Ю. Ю. Сулима // Радіоелектронні і комп’ютерні системи. - 2012. - № 6. - С. 184–190. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_6_35 Рассмотрены вопросы обеспечения достоверности результатов, вычисляемых цифровыми компонентами систем критического применения. Такие системы проектируются для работы в двух режимах: штатном и критическом. Высокие технологии, применяемые при их построении, снижают контролепригодность цифровых компонентов. Проведенные исследования показывают, как растет риск накопления в штатном режиме скрытых неисправностей, которые могут проявиться в критическом режиме и снизить достоверность результатов. Такой риск не устраняется применением отказоустойчивых решений.
| 3. |
Дрозд А. В. Контролепригодность цифровых компонентов систем критического применения по отношению к неисправностям типа "замыкание" [Електронний ресурс] / А. В. Дрозд, В. С. Харченко, С. Г. Антощук, М. А. Дрозд // Радіоелектронні і комп’ютерні системи. - 2013. - № 5. - С. 142–147. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2013_5_23 Рассмотрена проблема низкой контролепригодности цифровых компонентов информационных управляющих систем критического применения, предназначенных для обеспечения безопасности объектов повышенного риска. Проанализированы потенциально опасные точки цифровых компонентов, в которых в нормальном режиме могут накапливаться скрытые неисправности, снижающие уровень отказоустойчивости схем в аварийном режиме. Определены условия идентификации точек, потенциально опасных по отношению к неисправностям типа "замыкание". На примере однотактного матричного умножителя показано значительное снижение контролепригодности при расширении класса неисправностей от константных к неисправностям типа "замыкание".
| 4. |
Дрозд Ю. В. Естественные ресурсы компьютерных систем на базе FPGA [Електронний ресурс] / Ю. В. Дрозд, А. В. Дрозд, Н. А. Кузнецов // Праці Одеського політехнічного університету. - 2013. - № 2. - С. 223-226. - Режим доступу: http://nbuv.gov.ua/UJRN/Popu_2013_2_41 Рассмотрены особенности организации и функционирования цифровых компонентов компьютерных систем, построенных на FPGA. Проанализированы достоинства таких проектов, как результат многоуровневого использования метода заготовки результатов. Выявлены естественные ресурсы FPGA-проектов, активированные данным методом. Показано использование выявленных естественных ресурсов для маскирования неисправностей микросхем и повышения достоверности вычисляемых результатов.
| 5. |
Антонюк В. В. Модель входной последовательности для синтеза тестов цифровых схем с позиции развития ресурсов [Електронний ресурс] / В. В. Антонюк, Ю. В. Дрозд, А. В. Дрозд // Праці Одеського політехнічного університету. - 2012. - № 2. - С. 152-155. - Режим доступу: http://nbuv.gov.ua/UJRN/Popu_2012_2_26 Рассмотрены вопросы определения входной последовательности в задаче синтеза тестов для обнаружения одиночных константных неисправностей комбинационных схем. Входная последовательность анализируется в рамках использования структурного метода синтеза тестов активизацией одномерных путей. Анализ проводится с позиции развития целевых ресурсов решения задачи с адаптацией входной последовательности для использования в методе заготовки результатов. Предложена модель входной последовательности, которая обеспечивает активизацию одномерных путей от каждого из входов тестируемой схемы с полным перебором всех возможных двоичных значений на остальных входах схемы. Модель создает условия для заготовки и выбора наборов, составляющих проверяющий или локализующий тест.
| 6. |
Сулима Ю. Ю. Контролепригодность цифровых компонентов систем критического применения [Електронний ресурс] / Ю. Ю. Сулима, А. В. Дрозд // Праці Одеського політехнічного університету. - 2012. - № 2. - С. 156-159. - Режим доступу: http://nbuv.gov.ua/UJRN/Popu_2012_2_27 Рассмотрены вопросы контролепригодности цифровых компонентов систем критического применения, ограничивающей возможности рабочего диагностирования и обеспечения функциональной безопасности. Предложено оценивать контролепригодность точек схем цифровых компонентов в штатном режиме по их наблюдаемости с учетом частично контролепригодных точек. На примере матричного умножителя количественно подтверждена низкая контролепригодность цифровых компонентов систем критического применения.
| 7. |
Дрозд А. В. Использование рабочего диагностирования при решении вычислительных задач [Електронний ресурс] / А. В. Дрозд, М В. Лобачев // Радіоелектронні і комп’ютерні системи. - 2006. - № 5. - С. 142–147. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_5_25 Рассмотрены особенности использования рабочего диагностирования (РД) цифровых устройств при решении сложных вычислительных задач. Показано, что целью РД является оценка достоверности результатов. При выполнении приближенных вычислений неисправности схем производят ошибки, которые являются несущественными для достоверности результатов в большинстве случаев. Традиционные методы РД демонстрируют низкую эффективность, обнаруживая, в основном, несущественные ошибки и отбраковывая достоверные результаты.
| 8. |
Дрозд А. В. Рабочее диагностирование в обработке приближенных данных [Електронний ресурс] / А. В. Дрозд // Радіоелектронні і комп’ютерні системи. - 2007. - № 6. - С. 135–140. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2007_6_27 Рассмотрены особенности рабочего диагностирования (РД) вычислительных устройств в условиях противостояния сложившейся модели точных данных и возрастающего значения обработки приближенных данных. Показано, что РД разработано для случая точных данных, что не согласуется с реалиями окружающего мира, несуществующего вне допусков, описываемых приближенными числами. Под действием модели точных данных произошло искажение цели РД, неправильно оценивается достоверность его методов. По мере развития компьютерной техники отмеченное противоречие усиливается, ограничивая возможности решения вычислительных задач.
| 9. |
Колахи Реза Посегментный контроль для рабочего диагностирования матричного умножителя мантисс [Електронний ресурс] / Реза Колахи, М. В. Лобачев, Ю. В. Дрозд, А. В. Дрозд // Радіоелектронні і комп’ютерні системи. - 2007. - № 7. - С. 182–185. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2007_7_33
| 10. |
Дрозд А. В. Повышение достоверности контроля результатов в обработке приближенных данных [Електронний ресурс] / А. В. Дрозд, С. Г. Антощук, А. Русинский, Реза Джавад Колахи // Радіоелектронні і комп’ютерні системи. - 2008. - № 7. - С. 30–34. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2008_7_7 Рассмотрены особенности рабочего диагностирования вычислительных устройств для обработки приближенных данных. Показано, что естественная структурно-временная избыточность, присущая приближенной обработке данных, снижает вероятность обнаружения существенной ошибки в сегментах результата. Это приводит к снижению достоверности контроля приближенных результатов. Для повышения достоверности предложен метод посегментного контроля, разбивающий результат на сегменты разрядов и обеспечивающий для них заданные вероятности обнаружения ошибки.
| 11. |
Лобачев М. В. Сильносвязанные версионные компьютерные системы [Електронний ресурс] / М. В. Лобачев, С. Г. Антощук, А. Русинский, А. В. Дрозд // Радіоелектронні і комп’ютерні системи. - 2009. - № 6. - С. 32–35. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_6_7 Определен класс сильносвязанных версионных компьютерных систем, защищенных от отказов по общей причине при экономичном распределении ресурсов между версиями. Рассмотрены вопросы организации предложенных систем и стратегии решения вычислительной задачи с параллельным и последовательным выбором верной версии. Оценена сложность сильносвязанных версионных систем и показано их преимущество в простоте по сравнению с экономичными диверсными компьютерными системами.
| 12. |
Лобачев М. В. Выбор верной версии в сильносвязанных версионных компьютерных системах [Електронний ресурс] / М. В. Лобачев, Маоел Саид Моуафак Монтаха, И. Г. Милейко, А. В. Дрозд // Радіоелектронні і комп’ютерні системи. - 2010. - № 5. - С. 36–41. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_5_6 Рассмотрены особенности сильносвязанных версионных компьютерных систем, которые строятся на основании однородных компьютерных систем и защищены от отказов по общей причине при использовании версий с наименьшей отличительной частью. Показана обратная зависимость затрат оборудования сильносвязанной версионной системы от количества ее версий, что позволяет строить такие системы проще диверсных компьютерных систем. Рассмотрены вопросы использования методов рабочего диагностирования для выбора верной версии. Проведен анализ возможностей рабочего диагностирования и соответствия понятия достоверности его методов применительно к задаче корректной оценки верной и неверной версии. Показано, что версия должна оцениваться как неверная при вычислении недостоверных результатов, которые выявляются методами рабочего диагностирования обнаружением существенных ошибок, вызываемых как отказами, так и сбоями. Выполнен обзор методов рабочего диагностирования, обеспечивающих высокую достоверность контроля приближенных результатов с использованием естественной информационной и временной избыточности.
| 13. |
Монтаха М. Саид Моуафак Методы рабочего диагностирования для повышения достоверности контроля приближенных результатов в матричных арифметических устройствах [Електронний ресурс] / М. Саид Моуафак Монтаха, М. В. Лобачев, И. Г. Милейко, А. В. Дрозд // Радіоелектронні і комп’ютерні системи. - 2010. - № 6. - С. 273–278. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_6_48 Проведен анализ оценки достоверности контроля результатов, направленный на повышение достоверности методов рабочего диагностирования в обработке приближенных данных. Для получения высокой достоверности контроля приближенных результатов выделены две области с высокой и низкой вероятностью появления существенной ошибки. Методы рабочего диагностирования должны обеспечивать в этих областях такие же высокие и низкие вероятности обнаружения ошибки. Показана невозможность решения этой задачи традиционными методами рабочего диагностирования. Предложены методы рабочего диагностирования, использующие положения контроля по модулю для повышения достоверности контроля приближенных результатов в обеих выделенных областях. Метод контроля по модулю сокращенных операций сочетает высокую вероятность обнаружения ошибки с высокой вероятностью появления существенной ошибки в сокращенных операциях. Метод контроля по упрощенной операции использует возможности контроля по модулю для ограничения множества входных слов, на которых проверяется результат. Это упрощает контролируемую операцию и снижает вероятность обнаружения ошибки.
| 14. |
Дрозд А. О. Оптимальні кредитні та депозитні ставки багатопродуктового комерційного банку [Електронний ресурс] / А. О. Дрозд, В. О. Капустян // Економічний вісник Національного технічного університету України "Київський політехнічний інститут". - 2013. - № 10. - С. 537-542. - Режим доступу: http://nbuv.gov.ua/UJRN/evntukpi_2013_10_89 Ціноутворення в банківській діяльності - актуальна і складна для вирішення проблема через наявність великої кількості кредитних та депозитних продуктів банку із різними термінами та умовами. Одним із підходів до вирішення цієї задачі є використання математичних моделей банку, зокрема, розробленої авторами потокової моделі банку. На основі потокової моделі банку, описано багатопродуктову потокову модель банку в матричному вигляді для довільної кількості депозитних та кредитних продуктів банку. Поставлено та вирішено задачу керування кредитними та депозитними ставками з метою максимізації капіталу банку на кінець періоду керування. Одержано оптимальні значення кредитних та депозитних ставок з точки зору максимізації капіталу банку на кінець періоду керування для довільного числа продуктів банку за умови відсутності залежності попиту одного продукту від ставки іншого. Відповідно до одержаних оптимальних кредитної та депозитної ставок, одержано оптимальні обсяги виданих кредитів різної строковості та залучених депозитів різної строковості, а також одержано максимальне значення капіталу банку на кінець періоду керування.
| 15. |
Дрозд А. В. Оценка распределения энерго-потребления в FPGA проекте [Електронний ресурс] / А. В. Дрозд, С. И. Милейко, В. В. Калиниченко, Н. О. Ульченко // Электротехнические и компьютерные системы. - 2014. - № 13. - С. 192-196. - Режим доступу: http://nbuv.gov.ua/UJRN/etks_2014_13_27
| 16. |
Маевский Д. А. Метрики "Оттенков зеленого" в программном обеспечении [Електронний ресурс] / Д. А. Маевский, Е. Д. Маевская, А. В. Дрозд // Радіоелектронні і комп’ютерні системи. - 2014. - № 6. - С. 120-124. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2014_6_24 Предложен набор метрик, с помощью которых можно выполнить косвенную оценку программного обеспечения (ПО) по показателям эффективности использования оперативной памяти и процессорного времени. Показано, что эти показатели характеризуют общие энергетические затраты при выполнении программ. Оценка эффективности позволяет выбрать наиболее оптимальное ПО, удовлетворяющее парадигме "зеленых" технологий. Предложенные метрики можно использовать как для традиционного ПО, так и для выбора наиболее оптимального описания архитектуры ПЛИС на языке VHDL.
| 17. |
Дрозд А. В. Грин-ориентированная естественная конвейеризация цифровых схем в FPGA-проектах [Електронний ресурс] / А. В. Дрозд, К. В. Защелкин // Праці Одеського політехнічного університету. - 2014. - Вип. 1. - С. 162-168. - Режим доступу: http://nbuv.gov.ua/UJRN/Popu_2014_1_28 Рассмотрена проблема снижения энергопотребления цифровых систем, построенных на элементной базе микросхем FPGA. Отмечены традиционные пути снижения энергопотребления в цифровых системах. Проведено исследование возможностей снижения энергопотребления цифровых систем за счет использования низкоуровневых особенностей архитектуры микросхем FPGA. Показано, что архитектура микросхем FPGA позволяет за счет имеющихся ресурсов ее внутренних ячеек создавать различное количество последовательно подключенных элементарных вычислителей между конвейерными каскадами с целью достижения оптимального для конкретной проектной задачи соотношения между производительностью, затратами на оборудования и энергопотреблением. Показана целесообразность использования естественных возможностей конвейеризации схем в FPGA-проектах для повышения производительности и снижения динамической составляющей энергопотребления.
| 18. |
Дрозд А. О. Керування кредитною та депозитною ставками комерційного банку з капіталом достатнім для задоволення попиту на кредити [Електронний ресурс] / А. О. Дрозд, В. О. Капустян // Економічний вісник Національного технічного університету України "Київський політехнічний інститут". - 2014. - № 11. - С. 548-563. - Режим доступу: http://nbuv.gov.ua/UJRN/evntukpi_2014_11_85 Описано комерційний банк, який займається кредитною та депозитною діяльністю та який має капітал, достатній для насичення кредитного ринку. Поставлено задачу оптимізації капіталу банку на кінець періоду керування за умови керування кредитною та депозитною ставками. Описано набір припущень, на які опирається побудова функцій попиту на кредити, пропозиції депозитів та потокова модель банку, формалізовано задачу максимізації капіталу та показано її розв'язання. Одержано оптимальні кредитну та депозитну ставки, що максимізують капітал банку на кінець періоду керування та знайдено відповідні максимальні значення прибутку та капіталу та проаналізовано як зміняться одержані результати при зміні параметрів функцій попиту і пропозиції.
| 19. |
Дрозд А. О. Ефективне керування рекламними витратами банку [Електронний ресурс] / А. О. Дрозд, В. О. Капустян // Економіка та держава. - 2010. - № 6. - С. 65-67. - Режим доступу: http://nbuv.gov.ua/UJRN/ecde_2010_6_21
| 20. |
Дрозд Ю. В. Многопоточная конвейерная система и ее рабочее диагностирование [Електронний ресурс] / Ю. В. Дрозд, А. В. Дрозд, М. М. Аль-Даби // Электротехнические и компьютерные системы. - 2015. - № 19. - С. 218-221. - Режим доступу: http://nbuv.gov.ua/UJRN/etks_2015_19_48 Рассмотрено развитие компьютерных систем и их компонентов по пути повышения уровня развития ресурсов – моделей, методов и средств – от точных и последовательных форм к параллельным и приближенным. Повышение уровня обеспечивается переходом от конвейерной системы, составленной из однотактных матричных устройств, к матрице поразрядных конвейеров для многопоточной обработки данных в последовательных кодах с улучшенным соотношением производительности к сложности. Для повышения достоверности результатов совершенствуется модель данных, от точных к приближенным, и предлагается развитие сканирующего контроля, достоверность которого растет с увеличением количества параллельно работающих конвейеров.Development of computer systems and their components on the way of increasing a development level of resources – models, methods and means – from exact and consecutive forms to parallel and approximate is considered. Increase of level is provided withtransition from the pipeline system made of single-cycle matrix units to a matrix of digit-by-digit pipelines for multithreading data processing in consecutive codes with the improved ratio of productivity to complexity. For increase of results reliability the model of data from exact to approximate is improved, and development of the scan checking which reliability grows with increase in number in parallel of the working pipelines is offered.Розглянуто розвиток комп'ютерних систем і їх компонентів по шляху підвищення рівня розвитку ресурсів – моделей, методів і засобів – від точних і послідовних форм до паралельних і наближених. Підвищення рівня забезпечується переходом від конвеєрної системи, складеної з однотактных матричних вузлів, до матриці порозрядних конвеєрів для багатопотокової обробки даних у послідовних кодах з поліпшеним співвідношенням продуктивності до складності. Для підвищення достовірності результатів удосконалюється модель даних, від точних до наближених, і пропонується розвиток скануючого контролю, достовірність якого росте зі збільшенням кількості паралельно працюючих конвеєрів.
| | |
|
|