![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Толстолужская Е$<.>) |
Загальна кількість знайдених документів : 21
Представлено документи з 1 до 20
|
| |
| | | | |
1. |
Поляков Г. А. Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями и объектами / Г. А. Поляков, В. В. Скляр, Д. А. Толстолужский, Е. Г. Толстолужская, В. С. Харченко // Радіоелектрон. і комп'ют. системи. - 2006. - № 7. - С. 7-16. - Библиогр.: 23 назв. - рус.Рассмотрены основные проблемы проектирования высоконадежных программных средств для систем управления критическими технологиями и системами, состав и семантика задач в рамках отдельных проблем, обсуждены возможные подходы к проектированию высоконадежного программного обеспечения, основанные (в отличие от известных подходов) на концепциях многоверсионности программных средств, множественности методов параллельной обработки, автоматического проектирования параллельных программ и учета предъявляемых к системам управления временных требований, требований к достоверности и ограничений на сложность средств реализации. Ключ. слова: многоверсионность, гарантоспособность, параллельная обработка, параллельная программа, верификация, тестирование, контроль, диагностика Індекс рубрикатора НБУВ: З970.21-018
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Поляков Г. А. Декомпиляционная верификация временных мультипараллельных моделей алгоритмов / Г. А. Поляков, Д. А. Толстолужский, Е. Г. Толстолужская // Системи упр., навігації та зв'язку. - 2008. - Вип. 4. - С. 146-151. - Библиогр.: 9 назв. - рус.Констатирована необходимость обеспечения высокой достоверности результатов автоматического синтеза временных параллельных моделей алгоритмов. Описана методика формальной верификации, основанная на переходе от временной параллельной модели к ее текстовой спецификации и сравнении исходной и синтезированной текстовых спецификаций алгоритма. Індекс рубрикатора НБУВ: З973-018.15
Рубрики:
Шифр НБУВ: Ж73223 Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Поляков Г. А. Метод синтеза параллельно-декомпозиционных моделей алгоритмов для высокодинамичных критических систем / Г. А. Поляков, Е. Г. Толстолужская, Д. А. Толстолужский // Системи оброб. інформації. - 2007. - Вип. 4. - С. 96-102. - Библиогр.: 3 назв. - рус.Рассмотрены результаты решения задачи синтеза параллельно-декомпозиционных моделей алгоритмов при задании требований к тактовой частоте или величине такта, элементной базе и отсутствии ограничений на сложность аппаратной или программной реализации модели. Описана методология, использующая при построении параллельных моделей алгоритмов метод совмещения операций, декомпозиционную обработку и кодово-матричный метод, либо некоторую комбинацию этих методов, адекватную системе требований и ограничений и временным параметрам элементной базы. Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Толстолужский Д. А. Метод синтеза Cи-программ смеси алгоритмов / Д. А. Толстолужский, Е. Г. Толстолужская, Г. А. Поляков // Системи оброб. інформації. - 2008. - Вип. 1. - С. 96-100. - Библиогр.: 3 назв. - рус.Рассмотрен метод формального синтеза Си-программ смесей исходных алгоритмов и ациклической Си-программы - смеси. Індекс рубрикатора НБУВ: З973-018.2
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Поляков Г. А. Метод формального архитектурно-ориентированного проектирования временных параллельных программ для ЭВМ с симметричной мультипроцессорной обработкой данных / Г. А. Поляков, Е. Г. Толстолужская // Зб. наук. пр. Харк. ун-ту Повітр. сил. - 2008. - Вип. 3. - С. 118-121. - Библиогр.: 6 назв. - рус.Описан метод формального архитектурно-ориентированного проектирования временных параллельных программ для ЭВМ с симметричной мультипроцессорной обработкой. Індекс рубрикатора НБУВ: З970.221
Рубрики:
Шифр НБУВ: Ж70455 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Поляков Г. А. Метод формальной декомпозиции задач для параллельных вычислительных систем / Г. А. Поляков, Е. Г. Толстолужская, С. И. Шматков // Радіоелектрон. і комп'ют. системи. - 2009. - № 7. - С. 235-239. - Библиогр.: 13 назв. - рус.Констатирована зависимость эффективности суперЭВМ и ВС при решении больших задач от эффективности алгоритмов, обеспечивающих оптимизацию результатов декомпозиции задач на подзадачи, которые выполняются соответствующими кластерами суперЭВМ или вычислительной сети. Отмечено, что недостатком известных комбинаторных методов является быстрое возрастание сложности и времени декомпозиции при увеличении размерности решаемых задач. Описан метод формальной декомпозиции задач на основе структур семантико-числовой спецификации задач, обеспечивающий минимизацию суммарного количества обменов сообщениями между фрагментами. Прокомментирован обобщенный алгоритм декомпозиции задач. Дана оценка вычислительной сложности разработанного алгоритма декомпозиции в сравнении с вычислительной сложностью комбинаторных алгоритмов декомпозиции, использующих способ полного перебора вариантов. Індекс рубрикатора НБУВ: З970.21
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
7. |
Мегельбей А. В. Методика оптимального управления энергетическим ресурсом многофункциональной РЛС зенитного ракетного комплекса в режиме наведения зенитных управляемых ракет / А. В. Мегельбей, С. В. Кадубенко, Е. Г. Толстолужская // Системи упр., навігації та зв'язку. - 2007. - Вип. 3. - С. 101-104. - Библиогр.: 9 назв. - рус.Рассмотрена методика оптимального управления энергетическим ресурсом многофункциональной РЛС зенитного ракетного комплекса в режиме наведения зенитных управляемых ракет. Індекс рубрикатора НБУВ: Ц501.121-91
Рубрики:
Шифр НБУВ: Ж73223 Пошук видання у каталогах НБУВ
|
| | | | |
8. |
Толстолужская Е. Г. Результаты оценки показателей эффективности параллельного решения системы линейных уравнений методом Гаусса / Е. Г. Толстолужская // Системи оброб. інформації. - 2007. - Вип. 5. - С. 115-118. - Библиогр.: 8 назв. - рус.Рассмотрены зависимости показателей эффективности параллельного решения системы линейных уравнений методом Гаусса от количества процессоров многопроцессорной ЭВМ с симметричной мультипроцессорной обработкой: времени параллельного решения, загрузки процессоров и эффективности параллельной реализации задачи с использованием метода совмещения независимых операций. Індекс рубрикатора НБУВ: З970.221
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
| | | | |
9. |
Поляков Г. А. Технология проектирования времяпараметризованных мультипараллельных программ как стратегия развития систем параллельного программирования / Г. А. Поляков, Е. Г. Толстолужская // Радіоелектрон. і комп'ют. системи. - 2009. - № 6. - С. 166-171. - Библиогр.: 13 назв. - рус.Констатировано, что для традиционных параллельных программ характерно отсутствие в их конструкциях временного параметра и, как следствие, невозможность разработки параллельных программ, удовлетворяющих заданным временным требованиям и ограничениям (крайне важных для существующих и перспективных информационно-управляющих систем). Определен новый класс программ - времяпараметризованные (временные) мультипараллельные программы. Представлены методы параллельной обработки данных и состав факторов, подлежащих учету при проектировании программ данного класса. Описаны подходы к архитектурно- и проблемно-ориентированному проектированию программ данного класса. Рассмотрена архитектура технологии проектирования временных параллельных программ и алгоритмы их формального синтеза для параллельных ВС классов SMP, NUMA, MPP. Приведены иллюстрирующие примеры. Сформулирован вывод о направлении развития систем параллельного программирования в первой половине ХХI века. Індекс рубрикатора НБУВ: З970.21-018
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
10. |
Поляков Г. А. Формальный синтез параллельных программ для высокопроизводительных VLIW-процессоров / Г. А. Поляков, Е. Г. Толстолужская // Системи оброб. інформації. - 2007. - Вип. 8. - С. 72-80. - Библиогр.: 14 назв. - рус.Рассмотрена технология формализованного синтеза параллельных программ для VLIW-процессоров, обеспечивающая учет временных характеристик операций, конфигурацию процессоров и систему требований (ограничений) к временным характеристикам выполнения программ. Індекс рубрикатора НБУВ: З970.26
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
| | | | |
11. |
Поляков Г. А. Синтез и анализ параллельных процессов в адаптивных времяпараметризованных вычислительных системах : монография / Г. А. Поляков, С. И. Шматков, Е. Г. Толстолужская, Д. А. Толстолужский; ред.: Г. А. Поляков; Харьк. нац. ун-т им. В.Н. Каразина, Акад. наук приклад. радиоэлектрон. - Х., 2012. - 670 c. - Библиогр.: 203 назв - рус.Обоснованы принципы, математический аппарат и методы формального синтеза и анализа времяпараметризованных параллельных программно-аппаратных процессов для перспективных параллельных вычислительных средств XXI ст. - адаптивных самоорганизующихся вычислительных систем и адаптивных распределенных вычислительных сетей. Рассмотрены концепции построения вычислительных систем. Описаны методы параллельной обработки данных. Охарактеризован аппарат пространственно-временной дискретной математики. Предложены методы синтеза, верификации и оценки эффективности времяпараметризированных параллельных моделей алгоритмов, временных параллельных программ и процессов. Раскрыты возможности повышения эффективности параллельного аппаратно-программного обеспечения известных многопроцессорных ЭВМ, супер-ЭВМ и вычислительных сетей различных классов. Індекс рубрикатора НБУВ: З970.21-01 + З970.22-01 + З970.26-01
Рубрики:
Шифр НБУВ: ВА751171 Пошук видання у каталогах НБУВ
|
| | | | |
12. |
Поляков Г. А. Метод синтеза временных параллельных программ для вычислительных систем класса MPP / Г. А. Поляков, Е. Г. Толстолужская // Радіоелектрон. і комп'ют. системи. - 2010. - № 5. - С. 135-139. - Библиогр.: 5 назв. - рус. Індекс рубрикатора НБУВ: З970.221-016
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
13. |
Поляков Г. А. Формальная семантико-числовая спецификация коммуникационных топологий параллельных вычислительных систем / Г. А. Поляков, Е. Г. Толстолужская, В. В. Толстолужская // Системи упр., навігації та зв'язку. - 2010. - Вип. 4. - С. 158-164. - Библиогр.: 12 назв. - рус.Рассмотрена краткая характеристика аппарата структур семантико-числовой спецификации объектов цифровой вычислительной техники. Описаны результаты разработки структур семантико-числовой спецификации типовых коммуникационных топологий современных суперЭВМ и РВС, поддерживающие формализацию решения задач анализа, синтеза и повышения эффективности параллельных ВС. Індекс рубрикатора НБУВ: З970.21
Рубрики:
Шифр НБУВ: Ж73223 Пошук видання у каталогах НБУВ
|
| | | | |
14. |
Толстолужская Е. Г. Анализ возможности применения семантико-числовых структур для спецификации временных моделей управления параллельным процессом / Е. Г. Толстолужская, Ю. А. Артюх // Системи упр., навігації та зв'язку. - 2011. - Вип. 2. - С. 179-184. - Библиогр.: 11 назв. - рус.Проанализирована возможность применения семантико-числовых структур (СЧС) для синтеза модели управления параллельным вычислительным процессом, приведены основные этапы синтеза параллельных временных моделей управления. Этапы проиллюстрированы на примере разветвляющейся задачи, представленной текстом Си-программы, а также исходной СЧС. Індекс рубрикатора НБУВ: З970.21-016
Рубрики:
Шифр НБУВ: Ж73223 Пошук видання у каталогах НБУВ
|
| | | | |
15. |
Толстолужская Е. Г. Методика синтеза временной модели управления параллельным вычислительным процессом / Е. Г. Толстолужская, Ю. А. Артюх // Системи оброб. інформації. - 2011. - Вип. 8. - С. 248-252. - Библиогр.: 10 назв. - рус.Рассмотрены основные этапы синтеза временной модели управления параллельным вычислительным процессом для неразветвляющихся и разветвляющихся задач, а также проведен анализ разработанной программной реализации, приведены рабочие и служебные окна полученной программы. Індекс рубрикатора НБУВ: З970.21
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
| | | | |
16. |
Поляков Г. А. Оценки вычислительной сложности синтеза параллельных времяпараметризованных моделей задач / Г. А. Поляков, Е. Г. Толстолужская, В. В. Толстолужская // Радіоелектрон. і комп'ют. системи. - 2012. - № 5. - С. 17-22. - Библиогр.: 15 назв. - рус.Рассмотрены основные этапы синтеза параллельных времяпараметризованных моделей задач. Раскрыты составляющие функционала, обеспечивающего оценку вычислительной сложности формального синтеза параллельных времяпараметризованных моделей задач - как основы автоматической разработки традиционных статических и временных параллельных программ. Разработанный функционал позволяет оценивать вычислительную сложность формального и автоматического синтеза параллельных и мультипараллельных моделей задач, при учете широкого состава параметров, влияющих на эффективность параллельных программ. Індекс рубрикатора НБУВ: З970.21-01
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
17. |
Толстолужская Е. Г. Синтез времяпараметризованных моделей управления параллельными вычислительными процессами циклических задач / Е. Г. Толстолужская, Ю. А. Артюх // Радіоелектрон. і комп'ют. системи. - 2012. - № 6. - С. 64-69. - Библиогр.: 18 назв. - рус.Приведены основные этапы синтеза времяпараметризованных моделей управления параллельными вычислительными процессами для циклических задач. Этапы проиллюстрированы на примере циклической задачи, представленной текстом Си-программы, а также исходной семантико-числовой спецификацией. Проведен анализ литературы, который позволяет сделать выводы, что методы синтеза времяпараметризованных моделей управления параллельными вычислительными процессами циклических задач проработаны недостаточно. Разработан метод, который позволяет формализовать синтез времяпараметризованной модели управления параллельным процессом. Індекс рубрикатора НБУВ: З970.21-016
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
18. |
Шматков С. И. Анализ распараллеливания алгоритма задачи оптимального разделения графа на подграфы / С. И. Шматков, Е. Г. Толстолужская, Ю. А. Артюх // Зб. наук. пр. Харк. ун-ту Повітр. сил. - 2013. - Вип. 2. - С. 132-134. - Библиогр.: 4 назв. - рус.Рассмотрена проблема оптимального разделения графа на подграфы, представлены описания последовательного и параллельного алгоритмов, приведены показатели эффективности параллельного алгоритма. Последовательный алгоритм реализован с использованием языка программирования Си, параллельный - с использованием MPI. Індекс рубрикатора НБУВ: З970.221-016
Рубрики:
Шифр НБУВ: Ж70455 Пошук видання у каталогах НБУВ
|
| | | | |
19. |
Поляков Г. А. Модель фрагментации времяпараметризованных параллельных ресурсно-ориентированных процессов / Г. А. Поляков, Е. Г. Толстолужская, Д. А. Толстолужский // Системи оброб. інформації. - 2014. - Вип. 2. - С. 198-204. - Библиогр.: 7 назв. - рус.Раскрыты этапы решения задачи фрагментации времяпараметризованных параллельных ресурсно-ориентированных процессов в интересах создания систем автоматического синтеза высокоэффективных параллельных программ для вычислительных систем с распределенной памятью. Приведен иллюстрирующий пример. Індекс рубрикатора НБУВ: З970.21-018
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
| | | | |
20. |
Поляков Г. А. Алгоритм сравнительной оценки сложностей обмена сообщениями при фрагментации временных параллельных моделей задач для распределенных вычислительных сетей / Г. А. Поляков, Г. Геахпур, Р. В. Бублик, Е. Г. Толстолужская // Системи оброб. інформації. - 2013. - Вип. 6. - С. 238-242. - Библиогр.: 6 назв. - рус.Представлен алгоритм сравнительной оценки сложностей обмена сообщениями при фрагментации временных параллельных моделей задач для распределенных вычислительных сетей. Дана сравнительная оценка эффективности фрагментации на основе двух подходов: применение логики назначения операторов на свободный в текущий момент времени ВУ и решение задачи назначения фрагментов задачи на ВУ сети с использованием формальных полиномов. Алгоритм иллюстрируется на примере одной из тестовых задач Ливерморских циклов. Індекс рубрикатора НБУВ: З970.3-015
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
| | |
|
|