11/12 Е 80 Ершов, Ю. Л. Об онтологии проблемно-ориентированных языков и теории первого порядка [Текст] / Ю. Л. Ершов, авт. К. Ф. Самохвалов> // Философия науки. - 2013. - № 4. - С. 37-66. - Библиогр.: с. 65-66 (8 назв. ) . - ISSN 1560-7488
Рубрики: Философия Метафизика. Онтология Языкознание Теория и философия языка Кл.слова (ненормированные): проблемно-ориентированные языки -- теории первого порядка -- дескриптивные языки Аннотация: Главные онтологические баталии в современной научной литературе ведутся вокруг вопроса, при каких условиях и как можно говорить о существовании чего бы то ни было (и в каком бы то ни было смысле) точным образом. Пока и поскольку этот вопрос не выяснен, все остальные онтологические разговоры напоминают часы со снятым маятником: часы идут в ускоренном темпе, но не показывают время. Цель работы - выяснить указанный вопрос применительно к языкам и теориям первого порядка, ориентированным на постановку и решение проблем некоторого достаточно общего типа. Доп.точки доступа: Самохвалов, К. Ф. |
Разработка языка управления космическими аппаратами [Текст] / Н. А. Космынина [и др.]> // Информационно-управляющие системы. - 2015. - № 5. - С. 82-90 : 2 табл., 4 рис. - Библиогр.: с. 89 . - ISSN 1684-8853
Рубрики: Транспорт Космические летательные аппараты Кл.слова (ненормированные): проблемно-ориентированные языки -- космические аппараты -- функции управления -- языки управления Аннотация: В настоящее время возможности языка управления космическими аппаратами перестали соответствовать требованиям предметной области: язык не поддерживает новых возникающих функциональных задач, и слишком сложен для быстрого освоения, что вызвало необходимость в разработке нового языка управления. В языке поддерживаются основные функции управления: выдача управляющих воздействий, анализ поступающей телеметрии, паузы, печать сообщений, условные операторы, и др. Доп.точки доступа: Космынина, Н. А. (инженер); Легалов, А. И. (доктор технических наук); Барков, А. В. (кандидат технических наук); Лапин, А. А. (кандидат технических наук) Нет сведений об экземплярах (Источник в БД не найден) |