Пошуковий запит: (<.>A=Летичевский А$<.>) |
Загальна кількість знайдених документів : 17
Представлено документи з 1 до 17
|
1. |
Колчин А. В. Обзор современных систем и методов верификации формальных моделей [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Проблеми програмування. - 2012. - № 4. - С. 75-88. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_4_9 Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
|
2. |
Летичевский А. А. Эксперименты с дедуктивным тестированием реактивных систем [Електронний ресурс] / А. А. Летичевский // Математичні машини і системи. - 2013. - № 4. - С. 20-28. - Режим доступу: http://nbuv.gov.ua/UJRN/MMS_2013_4_5
|
3. |
Колчин А. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Проблеми програмування. - 2014. - № 2-3. - С. 146-150. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_19 Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а также гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний.
|
4. |
Летичевский А. А. Алгоритм трансляции APLAN-кода [Електронний ресурс] / А. А. Летичевский, А. А. Летичевский, В. С. Песчаненко // Управляющие системы и машины. - 2010. - № 6. - С. 40-46. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2010_6_8
|
5. |
Летичевский А. Ад. Инсерционное моделирование [Електронний ресурс] / А. Ад. Летичевский // Управляющие системы и машины. - 2012. - № 6. - С. 3-14. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_2 Представлен обзор современного состояния инсерционного моделирования - направления, которое развивается на протяжении последнего десятилетия как подход к построению общей теории взаимодействия агентов и сред в сложных распределенных многоагентных системах.
|
6. |
Летичевский А. А. Система доказательного программирования [Електронний ресурс] / А. А. Летичевский, М. К. Мороховец, В. С. Песчаненко // Управляющие системы и машины. - 2012. - № 6. - С. 64-71. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_10
|
7. |
Летичевский А. А. Алгоритм Очевидности Глушкова [Електронний ресурс] / А. А. Летичевский, А. В. Лялецкий, М. К. Мороховец // Кибернетика и системный анализ. - 2013. - Т. 49, № 4. - С. 3-16. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2013_49_4_2
|
8. |
Летичевский А. А. Генерация символьных трасс в системе инсерционного моделирования [Електронний ресурс] / А. А. Летичевский, А. Ал. Летичевский, В. С. Песчаненко, А. А. Губа // Кибернетика и системный анализ. - 2015. - Т. 51, № 1. - С. 7-19. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2015_51_1_4 Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность настройки на различные стратегии поиска, применение нового предикатного трансформера, допускающего кванторы общности с ослабленными ограничениями относительно предыдущих версий.
|
9. |
Летичевский А. А. Парадигмы модельного и символьного тестирования программных систем [Електронний ресурс] / А. А. Летичевский // Кибернетика и системный анализ. - 2015. - Т. 51, № 5. - С. 31-44. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2015_51_5_5
|
10. |
Летичевский А. А. Свойства предикатного трансформера системы VRS [Електронний ресурс] / А. А. Летичевский, А. Б. Годлевский, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 3-16. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_2
|
11. |
Летичевский А. А. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования [Електронний ресурс] / А. А. Летичевский, В. Н. Герман, М. К. Мороховец, Н. Н. Щеголева // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 169-180. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_16 Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та надано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-1.
|
12. |
Колчин А. В. Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Штучний інтелект. - 2015. - № 1-2. - С. 127-136. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2015_1-2_17
|
13. |
Летичевский А. А. Кибер-физические системы [Електронний ресурс] / А. А. Летичевский, А. А. Летичевский, В. Г. Скобелев, В. А. Волков // Кибернетика и системный анализ. - 2017. - Т. 53, № 6. - С. 3-19. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2017_53_6_2 Приведен ретроспективный анализ теории кибер-физических систем (КФС) и охарактеризовано ее современное состояние. Исследован ряд проблем, возникающих в теории гибридных автоматов. Рассмотрена полугрупповая система переходов, являющаяся основой распространения алгебраической теории взаимодействия размеченных транзиционных систем на КФС.
|
14. |
Волков В. А. Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ [Електронний ресурс] / В. А. Волков, А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Штучний інтелект. - 2017. - № 2. - С. 71-84. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2017_2_10
|
15. |
Львов М. С. Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул [Електронний ресурс] / М. С. Львов, В. С. Песчаненко, А. А. Летичевский, Ю. Г. Тарасич, А. С. Баев // Кибернетика и системный анализ. - 2018. - Т. 54, № 6. - С. 159-169. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2018_54_6_18 Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а также описание алгоритма ее построения.
|
16. |
Летичевский А. А. Оптимизация переписывающей машины системы алгебраического программирования APS [Електронний ресурс] / А. А. Летичевский, А. А. (мл.) Летичевский, В. С. Песчаненко // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2009. - № 847, Вип. 11. - С. 213-220. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2009_847_11_24
|
17. |
Летичевский А. А. Алгебраическая теория взаимодействия и кибер-физические системы [Електронний ресурс] / А. А. Летичевский // Проблемы управления и информатики. - 2017. - № 5. - С. 37-55. - Режим доступу: http://nbuv.gov.ua/UJRN/PUI_2017_5_7 Рассмотрена новая модель кибер-физических систем, которая обобщает известные модели типа гибридных и временных автоматов. Обсуждены вопросы применения методов моделирования и верификации, накопленных в области программирования, к разработке кибер-физических систем.
|