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