МАШИНА (информационная) [machine] - устройство, механически выполняющее операции преобразования представлений информации. М. бывает диагностическая, виртуальная, вычислительная, управляющая, математическая, клавишная, обучающая, сортировочная, счетная. Кроме информационных М. существуют энергетические М. (клин, реактор, двигатель и др.) и М. преобразования вещества.
МАШИНА АЛГЕБРАИЧЕСКОГО ВЫВОДА (МАВ) [algebraic inference engine] математическая или физическая машина, оперирующая с выражениями по законам алгебры для получения решений по запросам пользователей. МАВ – это часть процессора интеллектуальной системы.
МАШИНА ЛОГИЧЕСКОГО ВЫВОДА (МЛВ) [inference engine] - математическая или физическая машина, оперирующая с базами знаний, представленных на некотором внутреннем языке, и с запросами пользователя для вывода ответа на этот запрос. МЛВ – это часть процессора интеллектуальной (в частности, экспертной) системы.
МАШИНА ПОСТА [Post machine] - разновидность машины Тьюринга.
МАШИНА ТЬЮРИНГА [Turing machine] - математическая машина, которая определяется конечным числом состояний, конечным числом входных и выходных символов и командами преобразования пары (состояние, символ) в тройку (состояние, символ, перемещение ленты на одну позицию). МТ. изучена для оценки общих свойств алгоритмов и обычно используется для установления свойств математических машин некоторой структуры.
МАШИННАЯ ГРАФИКА [computer graphics] - создание, обработка, хранение моделей предметов или процессов и их изображений с помощью ЭВМ и терминальных устройств: печатающих устройств, планшетных или барабанных графопостроителей, кинокамер или видеомагнитофонов, дисплейных терминалов, игровых ВМ с телевизорами, игровых микропроцессоров и др.
МАШИННО-ОРИЕНТИРОВАННЫЙ ЯЗЫК [machine-oriented language] - язык программирования, позволяющий учитывать особенности системы команд, представления данных и архитектуры ВМ. Примером М-о.я. является ассемблерный язык.
МАШИННОЕ СЛОВО [machine word] - упорядоченный набор разрядов или конечная последовательность кодов (символов), хранимых, выбираемых или записываемых из оперативной памяти по одному адресу как единая кодовая группа.
МАШИННЫЙ ПЕРЕВОД [machine translation] - перевод текстов с одного (обычно естественного) языка на другой, выполненный по формальным правилам, реализованным в виде программ. М.п. включает ввод текстов, лексический анализ, синтаксический анализ, семантический анализ, синтез выходного текста и его вывод из ВМ. М.п. - проблема программируемого интеллекта.
МАШИННЫЙ ЯЗЫК [machine language] - формальный язык программирования для записи алгоритмов, учитывающий все ресурсы ВМ.
МЕГАБАЙТ (Мб) [megs] - единица объема памяти, равная 1024 Кбайт.
МЕГАФЛОП [megaflop] - единица быстродействия ВМ, измеряемая количеством миллионов операций в секунду над битами.
МЕНЮ [menu] - список доступных пользователю работ или подработ, поименованных в данном списке и предлагаемых на выбор. М. - средство реализации дружественного интерфейса в системе человек-ВМ. Бывают вертикальные, горизонтальные и оконные М.
МЕТА [meta] - префикс для слов, обозначающий рекурсивное (рефлексивное) применение соответствующего понятия.
МЕТАВЫСКАЗЫВАНИЕ [metautterance] - высказывание о высказывании для его определения, анализа или синтеза.
МЕТАДАННЫЕ [metadata] - данные о знании данных, сведения о данных, которые хранятся в словарях данных, моделях данных, схемах и др. представлениях.
МЕТАЗНАНИЯ [metaknowledge] - знания о знаниях, способность размышлять над своим собственным процессом мышления, рассмотрение проблем сбора, представления, формализации, обработки и синтеза нового знания.
МЕТАМАТЕМАТИКА [metamathematics] - теория, изучающая структуру и закономерности математических доказательств.
МЕТАПОНЯТИЕ [metaentity] - понятие, определяемое перечнем известных и описанных понятий нижнего уровня некоторой классификации. М. применяются для классификации понятий и определения наборов известных понятий для манипуляции с ними.
МЕТАПРАВИЛО [metarule] - правило построения и использования правила в логике или аналитических преобразованиях.
МЕТАПРОГРАММА [metaprogram] - программа, предназначенная для переработки других программ, которые являются данными для М, например компилятор или ассемблер.
МЕТАСИМВОЛ [metasymbol] - символ, используемый при построении формальных грамматик.
МЕТАСОЗНАНИЕ [metaconsciousness] - способность размышлять над своим собственным мышлением и осознавать результаты размышлений.
МЕТАТЕОРИЯ [metathiory] - теория, анализирующая структуру и методы какой-либо другой теории. Ее задача - установить границы области применения данной теории, ответить на вопросы ее непротиворечивости, независимости и полноте, изучить способы введения ее основных понятий и доказательств, ее приложений.
МЕТАЯЗЫК [metalanguage] - язык, на котором осуществляется рассмотрение какого-либо другого языка, изучение строения выражений, доказательство теорем о дедуктивных свойствах и об отношениях к другим языкам рассматриваемого языка. М. - формальный условный язык для формального описания другого языка.
МЕТКА [label] - идентификатор оператора, предназначенный для указания точки текста программы, в которую может быть передано управление. М. - простое имя, помещенное перед оператором, блоком или циклом и используемое для переходов или выходов из блока или цикла. Использование М. для перехода к выполнению этого помеченного оператора осуществляется после выполнения оператора перехода с этой М. Помещение М. перед оператором или выражением неявно вводит новый идентификатор или термин. Использование М. для выхода из блока или цикла осуществляется после выполнения оператора выхода с этой М.
МЕТОД [method] - способ достижения цели, процесс решения конкретной проблемы, совокупность приемов и операций практического или теоретического освоения (познания) действительности.
МЕТОД АНАЛОГИЙ [method of analogies] - метод информатики этапа изобретания, предназначенный для создания нового предмета или процесса на основе использования аналогий. М.а. использует практические аналогии - прямые, фактические, литературные, личные, смешанные; теоретические аналогии - физические, математические, технические, логические, функциональные, структурные.
МЕТОД АНКЕТНОГО ОПРОСА [method of questioning] - метод информатики этапа изобретания, использующий анкетный опрос для сбора данных при формировании новых идей.
МЕТОД ДОСТУПА [access method] - метод и средства организации хранения и обмена данными между ВМ и запоминающего устройствами. Чаще всего используются следующие виды доступа: прямой, случайный, виртуальный, последовательный, индексно-последовательный, библиотечный, графический, индексный, иерархический и др., способы доступа: с очередями и базисный, коллективный и телекоммуникационный.
МЕТОД ЗОЛОТОГО СЕЧЕНИЯ [method of gilding section] - прием, основанный на соотношении золотого сечения, получаемого численно отношением двух соседних предельных чисел Фибоначчи. М.з.с. используется при оптимизации функций во время выбора местоположения очередного приближения значений неизвестных параметров.
МЕТОД ИССЛЕДОВАНИЯ [method of studies] - способ, прием, при котором осуществляется исследование предмета, явления или процесса.
МЕТОД МОЗГОВОЙ АТАКИ [method of brainstorming] - метод информатики этапа изобретания, основанный на работе группы экспертов, использующих способы и приемы решения творческих проблем. Обычно группа ориентируется на правила кодекса творческой работы генерации идей без критики, или с оценкой идей, или с критикой.
МЕТОД МОРФОЛОГИЧЕСКИХ ТАБЛИЦ [method of morphological tables] - способы и приемы изобретания, используемые при создании новых предметов, явлений или процессов и основанные на изучении некоторого количества свойств и вариантов каждого свойства, образующих пространство предметов, явлений или процессов. Например, классификация экспертных систем.
МЕТОДОЛОГИЯ [methodology] - учение о структуре, логической организации, методах и средствах деятельности. М. науки - учение о принципах построения, формах и способах научного познания. М. состоит из трех составных частей: наука, технология и фольклор.
МЕТОДОЛОГИЯ ПРОГРАММИРОВАНИЯ [programming methodology] - совокупность трех сторон: информатика (см. определение), технология программирования и прагматика (практические приложения). Прагматика включает систематизацию запросов, опыта, потребностей практики программирования.
МЕТОД ПОВЫШЕНИЯ ПРОИЗВОДИТЕЛЬНОСТИ ПРОГРАММИРОВАНИЯ [method of programming production raising] - способы учета человеческого фактора, снижения сложности программы, возможного уменьшения надежности программы, снижения ограничений, использования современных методов программирования и инструментальных средств, унификации, использования математических машин и языков высокого уровня.
МЕТОД ПРЕДЕЛЬНЫХ ГРАНИЦ [method of limiting borders] - способы и приемы изобретания для анализа количественных характеристик предметов для оценки идеального конечного результата по крайним значениям их параметров (размеры, время, стоимость, количество частей, формы, другие физические величины и состояния).
МЕТОД ПРОБ И ОШИБОК [predictor-corrector method] - метод информатики этапа изобретания, основанный на поиске путей решения проблемы и оценки их качества или пригодности, их принятием или отвержением в зависимости от успеха или неудачи в достижении поставленной цели. М.п.о. предполагает поиск по вектору инерции - использование привычек, умения находить узкие места и т.п.; во все стороны - использование многомерного вектора инерции мышления; в стремлении к идеальному конечному результату - целенаправленный поиск, сдерживание стремлений и т.п.; с абстракцией от тенденций - переход к другим тенденциям; комбинированием других приемов поиска.
МЕТОД СВЕРХУ-ВНИЗ [method overhand-downwards] - метод, изобретания, проектирования, разработки или сопровождения программы, состоящий в последовательном создании модулей (или последовательное решение проблемы), которые еще не созданы, но имеется ссылка на них в уже разработанных модулях (для проблем: от общей проблемы к ее составным частям).