Г97
Гуца О. Н. Интерактивная модель перевода технических заданий в систему булевых формул : дис. ... канд. техн. наук : 01.05.02 / Гуца Олег Николаевич ; Харьк. нац. ун-т радиоэлектроники. – Харьков, 2002. – 197 с. : ил. – Библиогр.: с. 133–145.
Гуца О. Н. Интерактивная модель перевода технических заданий в систему булевых формул : дис. ... канд. техн. наук : 01.05.02 / Гуца Олег Николаевич ; Харьк. нац. ун-т радиоэлектроники. – Харьков, 2002. – 197 с. : ил. – Библиогр.: с. 133–145.
Статистика використання: Видач: 0
Анотація:
Работа над указанной темой была инициирована парадигмой "конечный пользователь ПЭВМ и технолог производства в одном лице", что налагает ограничения на степень его информированности о вычислительных науках. В ходе разработки были определены концепция конечного пользователя ПЭВМ и предметная область (технические задания) как подмножество естественно-языковых описаний. Это дало направление для поиска прототипа модели (математико-лингвистической) и математико-логической цели. Поэтому в качестве прототипа была выбрана известная модель "смысл-текст". В работе уделено значительное место задаче оптимизации. Разработан метод автоматического определения типа элемента памяти по его секвенциальному описанию. Таким образом, решена задача порождения системы булевых формул непосредственно из текста технического задания с помощью ПЭВМ. Кроме этого, предлагаемый подход показывает перспективность перехода от естественно-языкового метода представления технической информации к аналитическому, что дает возможность не толь
Тема:
- УДК
- 519.711 Загальні питання теорії керуючих систем. Моделі. Побудова моделей. Кодування. Теорія мереж Ключові слова
- умовні секвенції, условные секвенции
- штучна мова, искусственный язык
- верифікація, верификация
- переклади, переводы, translations
- продукція, продукция
- природна мова, естественный язык
- технічні завдання, технические задания
- система булевих формул, система булевых формул