Пошуковий запит: (<.>A=Жолткевич Г$<.>) |
Загальна кількість знайдених документів : 28
Представлено документи з 1 до 20
|
| |
1. |
Жолткевич Г. Н. Об одной модели поведения субъектов процесса формирования и обработки отчетной информации [Електронний ресурс] / Г. Н. Жолткевич, Юсеф Ибрахим Ибрахим Ахмад // Радіоелектронні і комп’ютерні системи. - 2006. - № 1. - С. 87–91. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_1_16 В терминах бескоалиционной игры двух лиц построена модель поведения субъектов процесса формирования и обработки отчетной информации в информационной управляющей системе: исполнитель и инспектор. При построении модели авторы исходили из предположения, что исполнитель является добросовестным в том смысле, что он прилагает все усилия к выполнению задания и возможное невыполнение обязательств не связано с его поведением. Для рассматриваемой модели найдены функции платежей. Показано, что за счет выбора разумных функций платежей можно добиться существования единственной ситуации равновесия по Нэшу, которая соответствует выбору исполнителем стратегии истинного доклада в случае невыполнения задания. Эта стратегия при найденном виде функций платежа является доминирующей, что позволяет инспектору отказаться от проведения проверок.
|
2. |
Жолткевич Г. Н. Рациональный выбор предприятий-участников технологической цепочки кластера [Електронний ресурс] / Г. Н. Жолткевич, Али Найф Халил Альхжуж // Радіоелектронні і комп’ютерні системи. - 2006. - № 2. - С. 63–66. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_2_12 Предложен алгоритм рационального выбора предприятий, составляющих технологическую цепочку. В основу выбора положена система критериев конкурсного отбора.
|
3. |
Жолткевич Г. Н. Организация хранилища образцов понятий схемы для представления сложных структурированных данных [Електронний ресурс] / Г. Н. Жолткевич, Ахмад Юсеф Ибрахим Ибрахим // Радіоелектронні і комп’ютерні системи. - 2006. - № 2. - С. 67–72. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_2_13 Рассмотрено множество образцов понятий полусхемы, являющихся структурно-логическими моделями информационных объектов. Введен класс операторов на этих множествах, соответствующих процедурам доступа к структурированным данным и их компонентам. Показано, что замкнутость конечного множества образцов относительно этих операторов является исчерпывающим ограничением целостности корректных состояний информации в информационной системе. Построена реляционная модель хранилища образцов. Описано расширение реляционной алгебры, обеспечивающее выполнение CRUD операций и операций доступа к данным над хранилищем образцов.
|
4. |
Али Найф Халил Альхжуж Оперативное управление многофазными обслуживающими комплексами [Електронний ресурс] / Найф Халил Альхжуж Али, Г. Н. Жолткевич, С. Ю. Игнатов // Радіоелектронні і комп’ютерні системи. - 2006. - № 4. - С. 109–118. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_4_22
|
5. |
Жолткевич Г. Н. Многовариантный анализ интегрированной компонентно-ориентированной информационной технологии создания автоматизированной системы управления [Електронний ресурс] / Г. Н. Жолткевич, Л. Е. Сергеев // Радіоелектронні і комп’ютерні системи. - 2003. - № 4. - С. 189–192. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2003_4_35
|
6. |
Жолткевич Г. Н. Нормализация программ и программные инварианты [Електронний ресурс] / Г. Н. Жолткевич // Радіоелектронні і комп’ютерні системи. - 2008. - № 5. - С. 156–160. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2008_5_30 Предложен метод преобразования программы к виду, содержащему только один цикл. Доказано, что этот метод приводит к эквивалентной программе, названной нормализованной. Нормализованная форма программы является удобным инструментом для решения ряда задач статического анализа программ, в том числе, задачи оценки программных инвариантов.
|
7. |
Жолткевич Г. Н. Об одной модели программ в задачах формальной верификации [Електронний ресурс] / Г. Н. Жолткевич, И. Д. Перепелица, Ю. В. Соляник, М. Тави // Радіоелектронні і комп’ютерні системи. - 2009. - № 7. - С. 182–185. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_7_34 Введен класс математических моделей программ, описываемый в терминах языкового каркаса, который базируется на языке охраняемых команд Э. Дейкстры. Определены модели вычислений, названные системами правил перехода. В терминах этих систем описана семантика программ и дана строгая постановка задачи верификации.
|
8. |
Конорев Б. М. Прогнозирование вероятности скрытых дефектов критического по с заданной точностью [Електронний ресурс] / Б. М. Конорев, В. В. Сергиенко, В. С. Харченко, Г. М. Жолткевич // Радіоелектронні і комп’ютерні системи. - 2014. - № 5. - С. 50-54. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2014_5_11 Для количественной оценки надежности и функциональной безопасности критических систем одной из ключевых характеристик является прогноз вероятности скрытых дефектов. Приведен метод прогнозирования вероятности скрытых дефектов критического программного обеспечения (ПО) с заданной (управляемой) точностью результатов. Для рамочной оценки скрытых дефектов предложена модель остаточных и скрытых дефектов. Приведена процедура экспериментальной калибровки чувствительности к дефектам и степени разнообразия методов контроля бездефектности исходных кодов ПО.
|
9. |
Тарек Юсеф Бади Биштави Многокритериальное обучение предиктора в задаче прогнозирования телетрафика [Електронний ресурс] / Юсеф Бади Биштави Тарек, Г. Н. Жолткевич, Ю. В. Соляник // Системи обробки інформації. - 2010. - Вип. 2. - С. 163-165. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2010_2_37
|
10. |
Тарек Юсеф Бади Биштави О прототипе экспертной системы для поддержки автоматизации прогнозирования характеристик телетрафика [Електронний ресурс] / Юсеф Бади Биштави Тарек, Г. Н. Жолткевич, Ю. В. Соляник // Системи обробки інформації. - 2010. - Вип. 6. - С. 180-183. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2010_6_39
|
11. |
Житарюк А. Г. Представление образцов концептов информационных систем посредством ациклических графов [Електронний ресурс] / А. Г. Житарюк, Г. Н. Жолткевич // Системи обробки інформації. - 2010. - Вип. 6. - С. 215-219. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2010_6_48 Предложен способ описания образцов концептов информационных систем с помощью ациклических графов. Для хранения граф-образцов концептов был выбран реляционный подход. В рамках этого подхода сформулированы аксиомы для корректного задания образцов.
|
12. |
Жолткевич Г. Н. Компьютерное моделирование дифракции электромагнитных волн на решетке из идеально проводящих брусьев прямоугольного поперечного сечения (случай H-поляризации) [Електронний ресурс] / Г. Н. Жолткевич, В. В. Хорошун, В. Б. Хохольков // Збірник наукових праць Харківського університету Повітряних сил. - 2009. - Вип. 3. - С. 113-120. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2009_3_29 Компьютерно смоделирована дифракция Н-поляризованных волн на решетке из идеально проводящих брусьев прямоугольного поперечного сечения. При этом основным тезисом исследования служит положение о том, что в строгой математической теории дифракции волн на планарных периодических структурах ключевой (базовой) моделью структуры является решетка из идеально проводящих брусьев прямоугольного поперечного сечения, а не ленточная решетка, как это утверждается до сих пор.
|
13. |
Жолткевич Г. Н. О моделировании одного из факторов качества информации в информационных системах [Електронний ресурс] / Г. Н. Жолткевич, юсеф ибрахим ибрахим. ахмад // Системи обробки інформації. - 2006. - Вип. 1. - С. 48-54. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2006_1_10
|
14. |
Жолткевич Г. Н. Многопродуктовая транспортная задача континуального линейного программирования [Електронний ресурс] / Г. Н. Жолткевич, Найф Халил Альхжуж. Али // Системи обробки інформації. - 2006. - Вип. 3. - С. 49-53. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2006_3_10
|
15. |
Жолткевич Г. Н. О возможности представления образцов понятий полусхем маркированными деревьями [Електронний ресурс] / Г. Н. Жолткевич, Юсеф Ибрахим Ибрахим. Ахмад // Системи обробки інформації. - 2006. - Вип. 2. - С. 20-26. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2006_2_6
|
16. |
Жолткевич Г. Н. Факторный анализ промышленного кластера [Електронний ресурс] / Г. Н. Жолткевич, Найф Халил Альхжуж. Али // Системи обробки інформації. - 2006. - Вип. 5. - С. 168-179. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2006_5_31
|
17. |
Ахмад Али (Абдель Карим) Альмхерат Об одной модели механизма спонтанных изменений состояний архитектурных компонентов информационных систем [Електронний ресурс] / Али (Абдель Карим) Альмхерат Ахмад, Г. Н. Жолткевич // Системи обробки інформації. - 2007. - Вип. 1. - С. 5-9. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2007_1_4
|
18. |
Альмхерат Ахмад Али (Абдель Карим) К вопросу выбора параметров при моделировании спонтанных изменений состояний архитектурных компонентов информационных систем [Електронний ресурс] / Ахмад Али (Абдель Карим) Альмхерат, Г. Н. Жолткевич // Системи обробки інформації. - 2007. - Вип. 7. - С. 2-5. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2007_7_3
|
19. |
Григорьев А. Я. Математическая модель системных эффектов динамики спектральных характеристик травяного покрова, демаскирующих скопления саранчи [Електронний ресурс] / А. Я. Григорьев, Г. Н. Жолткевич, К. В. Носов, Ю. Г. Беспалов, А. И. Печерская // Ветеринарна медицина. - 2014. - Вип. 98. - С. 154–157. - Режим доступу: http://nbuv.gov.ua/UJRN/vetmed_2014_98_42
|
20. |
Тарек Юсеф Бади Биштави Выполнимые спецификации в проектировании баз данных [Електронний ресурс] / Юсеф Бади Биштави Тарек, Г. Н. Жолткевич, Ю. В. Соляник // Системи обробки інформації. - 2008. - Вип. 2. - С. 108-111. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2008_2_28
|
| |