Контакти Карта сайту

Бібліотека основних публікацій / Відділ теорії цифрових автоматів

 

Феліжанко О.Д.,  Щоголева Н.М., Міщенко Н.М. Засоби розширення граматичного словника за частотним списком невідомих слів  // Наукові записки, – Випуск 95. – Серія: Філологічні науки (мовознавство): у 2 ч. – Кіровоград: РВВ КДПУ ім.. В. Винниченка, 2011. – С.543-547

 

Криковлюк А.П., Мороз-Подворчан И.Г.            Об определяющей особенности проектирования одного класса специализированных систем управления  // УСиМ.– № 1.– 2011. – С. 63-69

 

Мороз-Подворчан И.Г. Об одной информационной технологии “Представление -восприятие” // Математичні машини і системи, 2011, № 3. С.80-82

 

Борисов Е.С.             Автоматическая обработка текстов на естественном языке. //

В кн.:Матеріали IV Всеукраїнської науково-практичної конференції молодих вчених та студентів.– Севастополь 2011. С. 46-47

 

Пынько А.П. Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства  //Доповіді НАН України. – 2011. - № 9. - С. 36-41.

 

Мороз-Подворчан И.Г. Об одном аспекте автоматизации проектирования // Математичні машини і системи, 2011, № 4. С.92-94

 

Елфимова Л.Д. Новые  быстрые гибридные алгоритмыумножения матриц  // Кибернетика и системный анализ, 20011, № 6.-С.59-67

 

A.A.Letichevsky, O.A.Letichevsky, and V.S.Peschanenko. Efficient algorithm for reachability // Proceedings of the first International Seminar Specification and Verification of Hybrid Systems, 10-12 October, 2011, Kiev, Ukraine, pp. 34-39.

 

A.Letichevsky, O.Letichevsky Jr, V.Peschanenko. How to win interleaving in locally specified systems // CSIT Proceedings of the conference, September, 26-30,2011, Yerevan, Armenia, p.9.

 

Letichevsky A.A. Insertion Modeling System  // LNCS 7162. – 2011. – P. 262-274.

 

O. Letichevsky, O. Letychevskyi, V. Peschanenko, I. Blynov, D.Klionov. Constraint Programming in Insertion Modeling // Programming Problems.-2011.-No. 4.-pp. 14-22.

 

Гречко В.О., Фальфушинский В.В. Параллельно-конвейерные схемы алгоритмов сортировки  // Труды конференции «Міжнародна конференція «високопродуктивні обчислення» HPC-UA’2011

(Україна, Київ, 12-14 жовтня 2011 року). С.-145-149

 

Матвеева Л.Е., Гориславец Т.Н. Применение статистических моделей в инженерии качества процессов производства программных систем // Проблеми програмування.–2012.–№2-3.–С.174-181

 

Колчин А.В.  Оптимизация проверки выполнимости переходов при верификации формальних моделей // Проблеми програмування.–2012.–№2-3.–С.201-210.

 

Летичевский О.А, Летичевский О.А, Мороховец М.К., Песчаненко В.С. System of Programs Proving//  В сб. «ITHEA Problems of computer intellectualization». Kyiv, Ukraina-Sofia, Bulgaria, 2012.– С. 133-140.

 

Борисов Е.С. Автоматическая обработка текстов на естественном языке// За матеріалами Міжнародної наукової конференції “ Наука – ХХІ століття  Випуск 2”  27 червня 2012 року. НАІРІ Київ-2012.– С.13-15.

 

Криковлюк А.П., Мороз-Подворчан И.Г.            Исследование процесса проектирования вычислительных систем управления в реальном времени //           Математичні машини і системи, 2012, № 2. – С.13-16.

 

Колчин А.В., Летичевский А.А., Потиенко С.В., Песчаненко В.С.    Обзор современных систем и методов верификации формальных моделей // Проблемы программирования. – 2012. – № 4. – С. 59–72.

 

Drobintsev P., Kolchin А., Kotlyarov V., Letichevsky А., Peschanenko V. An approach to creating a technology of test automation for industrial software projects // In proceedings of the 7th International Computer Science Symposium in Russia. –8 P.

 

Колчин А.В., Четвертак Р.В. Интерактивная система для анализа поведения формальных моделей программных систем // Искусственный интеллект. –2012. – №4. –12C.

 

Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Песчаненко В.С. Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов // Моделирование и анализ информационных систем. Ярославский государственный университет им. П.Г. Демидова.  –2012.– №4. –12C.

 

Колчин А.В., Котляров В.П., Дробинцев П.Д. Метод генерации тестовых сценариев в среде инсерционного моделирования Управляющие системы и машины. –2012. .– №6. –9C

 

Губа А.А. Інсерційна семантика плоских багатопотокових моделей мови UCM» // Управляющие системы и машины. –2012. .– №6.

 

Летичевский А.Ад.   Инсерционное моделирование  // Управляющие системы и машины. –2012. .– №6.

 

Пынько А.П. Приложение логического программирования к многозначной логике с относительной истиной  // Управляющие системы и машины. –2012. .– №6.

 

Мищенко Н.М., Фелижанко О.Д., Щёголева Н.Н. Универсальная система программ обработки тематических текстов // Управляющие системы и машины. –2012. .– №6.

 

Потиенко С.В. Организация базы знаний о переходах системы с атрибутами перечислимых типов  // Управляющие системы и машины. –2012. .– №6.

 

Коломейко В.В. Методологические аспекты обеспечения эффективного взаимодействия программных средств и специалистов в многоуровневых человеко-машинных системах  // Управляющие системы и машины. –2012. .– №6.

 

Летичевский .А.(мл.), Мороховец М.К., Песчаненко В.С. Система доказательного программирования  // Управляющие системы и машины. –2012. .– №6.

 

Годлевский А.Б. Инсерционная семантика параллельных процедурных конструктов языка UCM  // Управляющие системы и машины. –2012. .– №6.

 

Мороз-Подворчан И.Г. Два подхода к обоснованию выбора проектных решений  // Математичні машини і системи, 2012, № 4. – С.175-181

 

Lyaletski A., Morokhovets M., Paskevich A            Kyiv school of automated theorem proving: a historical chronicle  //In: Logic in Central and Eastern Europe: History, Science, and Discourse. – University Press of America, 2012. – P. 431-469.

 

Елфимова Л. Д. Новые клеточные методы умножения матриц  // Кибернетика и системный анализ - 2013. -№1

 

Пошук
 
Пошта

 
 3d принтери та станки з ЧПУ в Україні