Смекни!
smekni.com

Изобретание, проектирование, разработка и сопровождение) Том Интеллектуальные системы (Системы решения проблем)  Альберт Александрович Красилов (стр. 77 из 85)

СУПЕРВИЗОР [supervisor] - управляющая системная программа, предназначенная для организации многопрограммного режима работы ВМ или вычислительной системы. С. определяет очередность использования ресурсов ВМ и руководит загрузкой устройств ВМ.

СХЕМА [schema] - графическое представление обобщенных фактов о предметах, явлениях или процессах, предназначенное для передачи принципов построения, функционирования, передачи информации в предмете, явлении или процессе. С. бывает алгоритмическая, атрибутная, базисная, внешняя и внутренняя, глобальная, интегральная, информационная, концептуальная, логическая, матричная, операторная, программная, совпадения, сравнения, структурная, технологическая, потоковая, функциональная, электронная и др.

СХЕМА АКСИОМ [axiom schema] - способ задания серии аксиом, обладающих одной и той же синтаксической структурой. С.а. позволяет во многих случаях обойтись без правила подстановки.

СХЕМА АЛГОРИТМА [algorithm schema] - математическая конструкция (чаще всего граф), отражающая логическую соподчиненность действий. С.а. - это запись основных микро или макродействий и управления, передаваемого от одного действия к другому.

СЦЕНАРИЙ [script] - краткое изложение пьесы (или процесс ее проигрыша), которая разыгрывается с целью решения проблемы, накопления баз данных или знаний, программ обучения или рекламы. С. - литературно-техническое произведение с четким распределением ролей, формализацией реплик, реализацией взаимодействия человека с ВМ в реальном времени и с естественным прохождением пьесы для достижения результата. Кратко, С. - это сюжетная схема, по которой создаются реальные взаимодействия.

СЧЕТЧИК [counter] - устройство, осуществляющее счет числа сигналов в измерительной, связной и вычислительной технике. Бывает адресный, временной, интервальный и командный С.

СЧЕТ [count] - процесс решения задания, например на ВМ. Бывает С. контрольный, ручной и др.

СЧЕТЫ [abacus] - механический прибор для простых арифметических вычислений.

СЧИСЛЕНИЕ [calculus] - способ и приемы выражения и обозначения чисел. Система С. имеет основание, равное целому числу от двух до шестнадцати для позиционного представления чисел.

Т

ТАБЛИЦА [table] - совокупность элементов данных, каждый из которых может быть однозначно идентифицирован посредством одного из признаков, содержащихся в элементе с помощью метки или относительного месторасположения. Т. - способ формализованного представления данных по именованным столбцам и строчкам. Бывает Т. адресная, базисная, вычислительная, истинности, логическая, литералов, маршрутизации, настройки, операций, опросная, ошибок, параметров, перекрестных ссылок, переходов, предшествования, размещения и распределения, решений, типов данных, управления, характеристик, цветов, электронная и др.

ТАБЛИЦА ИСТИННОСТИ [thrue table] - таблица значений логических операций для всевозможных значений операндов. Т.и. булевых операций и операций над перечислимым типом, которые встроены в машину логического вывода, для перечислимых пользователь может задать Т.и. сам.

ТАБЛИЦА РЕШЕНИЙ [decision table] - таблица, в которой указаны комбинации условий и действий, выполняемых при удовлетворении условий; решение - это выбор между альтернативными действиями. Т.р. имеет четыре раздела: предусловия, от которых зависят предпринимаемые действия, возможные действия, окончательные условия для уточнения предусловий и предпринимаемые действия. Т.р. используется при проектировании и реализации программ.

ТАБУЛЯГРАММА [tabulations] - законченный документ на листе бумаги, таблица, ведомость или графика, выполненный на табуляторе или алфавитно-цифровом печатающем устройстве и полученный в результате решения главным образом учетно-статистических проблем.

ТАВТОЛОГИЯ [tautology] - всегда истинная формула логики высказываний.

ТАЙМЕР [timer] - аппаратно-программное средство в вычислительной технике, предназначенное для отсчета временных интервалов реального времени.

ТАКТ [loop, tact] - интервал времени между двумя управляющими сигналами или одинаковыми состояниями, повторяющимися периодически.

ТАКТИКА [tactics] - план целенаправленного поведения в данный момент.

ТВОРЧЕСТВО [creative work] - процесс создания новых по замыслу, форме или содержанию материальных, энергетических или информационных ценностей.

ТЕЗАУРУС [thesaurus] - динамическая понятийная система, единая логическая структура понятий различной степени сложности; совокупность связанных системой ссылок терминов (словарь) с соответствующими синонимами, а также с их близкими смысловыми и ассоциативными значениями. Т. - совокупность знаний, представленных терминами, накопленных человеком или коллективом сотрудников и предназначенных для поиска терминов по их смысловому содержанию.

ТЕЗИС МАРКОВА [Markov thesis] - принцип, согласно которому класс вычислимых функций совпадает с классом функций, реализуемых нормальными алгоритмами.

ТЕЗИС ТЬЮРИНГА [Turing thesis] - принцип, согласно которому класс вычислимых функций совпадает с классом функций, реализуемых на машине Тьюринга.

ТЕЗИС ЧЕРЧА [Cherch thesis] - принцип, согласно которому класс вычислимых функций (реализуемых алгоритмом) совпадает с классом частично рекурсивных функций.

ТЕКСТ [text] - информативная часть сообщения, не содержащая управляющих или служебных элементов или данных. Т. бывает адаптированный, вспомогательный, выделенный, инвертированный, индексированный, исходный, машинописный, обрабатываемый, основной, печатный, пояснительный, рукописный, трафаретный и др.

ТЕЛЕКОНФЕРЕНЦИЯ [teleconference] - интегральный набор услуг сети ВМ по обеспечению связи между пользователями на основе передачи и обработки информации различных назначения и вида.

ТЕЛЕКС [telex] - международная служба телесвязи, обеспечивающая обмен сообщениями между телетайпами абонентов через связь общего назначения.

ТЕЛЕМАТИКА [telematique] - службы обеспечения телеобработки информации, кроме телефонии и телеграфии.

ТЕЛЕОБРАБОТКА [teleprocessing] - дистанционная обработка данных.

ТЕЛЕТАЙП [teletype] - устройство для приема и передачи текстов по телеграфным каналам связи.

ТЕЛЕТЕКС [teletex] - интерактивная информационная или рабочая абонентская сеть, предназначенная для обработки и передачи деловой информации широкому кругу пользователей компьютеров.

ТЕЛЕТЕКСТ [teletext] - телетекс, снабженный клавиатурой для широковещательной передачи сообщений.

ТЕЛЕФАКС [telecontrol] - абонентская система передачи текстов, работающая на базе телефонной сети общего пользования.

ТЕЛО [body] - определение того, что должен выполнять программный модуль. Т. предшествует описание (спецификация) модуля. Различают Т. блока, задачи, макроопределения, пакета, подпрограммы и цикла.

ТЕЛО ЗАДАЧИ [task body] - исполняемая параллельно с другими телами задач последовательность процедур или операторов; синтаксическая конструкция языка программирования, включающая наименование задачи, раздел описаний, последовательность операторов и, возможно, раздел обработчиков исключений.

ТЕЛО ПАКЕТА [package body] - инициируемая и вызываемая по частям программная синтаксическая конструкция языка программирования, содержащая разделы описаний, последовательность операторов и, возможно, обработчиков исключений. Т.п. должно содержать тела всех программных модулей, описанных в спецификации (описании) пакета. Т.п. может отсутствовать, если в спецификации пакета отсутствуют спецификации подпрограмм.

ТЕЛО ПОДПРОГРАММЫ [subprogram body] - синтаксическая конструкция языка программирования, включающая спецификацию подпрограммы, разделы описаний, последовательность операторов и, возможно, раздел обработчиков исключений. Т.п. определяет инициируемое вызовом выполнение подпрограммы. После успешного выполнения осуществляется возврат на место вызова.

ТЕМП [rate, pace, tempo] - промежуток времени, в течение которого осуществляется замкнутая совокупность действий, например выпуск одного готового изделия.

ТЕОРЕТИЧЕСКИЕ ЗНАНИЯ [theoretical knowledge] - вид знания, представленный исчислением и набором формул, истинных в этом исчислении.

ТЕОРИЯ [theory] - абстрактные принципы, система основных идей в той или иной области знаний или совокупность утверждений или формул, истинность которых установлена; Т. - это форма научного знания, дающая целостное представление о закономерностях и существенных связях действительности. Критерием истинности утверждений или формул Т. является практика. В информатике изучают практически все теории с помощью ВМ.

ТЕОРИЯ ПРОГРАММ [program theory] - раздел программирования, изучающий количественные и качественные характеристики программ.

ТЕРМАНД [termod] - термин, представляющий в семантической грамматике операнд операции (термации) и принимающий значение (смысл) для применения операций преобразования данных. Т. является синонимом операнда.

ТЕРМАЦИЯ [termop] - термин, представляющий в семантической грамматике операцию над термандами и принимающий значение (смысл) после ее выполнения. Т. является синонимом операции.

ТЕРМИН [term] - слово, знак, лексема или сочетание слов, лексем и знаков, употребляемых для передачи в память ВМ с оттенком специального научного (профессионального) знания об имени некоторого понятия. Система Т. вместе с определениями соответствующих понятий называется терминологическим словарем или лексиконом. Различают наиболее употребительные стандартные, рабочие и пользовательские Т.

ТЕРМИНАЛ [terminal] - оконечное устройство в составе ВМ или вычислительной системы, предназначенное для ввода и/или вывода данных при взаимодействии человека с ВМ. Примеры Т.: дисплей, телетайп, алфавитно-цифровое печатающее устройство, устройство магнитной памяти и др. Т. бывают активный, акустический, асинхронный, виртуальный, главный, графический, групповой, индивидуальный, интеллектуальный, интерактивный, локальный, пакетный, печатающий, пользовательский, редакторский, сетевой, синхронный, системный, удаленный, управляющий и др.