Формальное описание
Cтраница 1
Формальное описание некоторых реальных систем приводит к так называемым агрегатам с обрывающимся процессом функционирования. [1]
Формальное описание некоторого языка программирования потенциально является наилучшим определяющим документом, но необходимо помнить, что лежит в основе такого формального описания. В частности, формальное описание может охватывать лишь некоторое подмножество языка программирования, описанного в справочном руководстве. [2]
Формальное описание икона и иконическая алгебра формируют основу построения методологии для визуальных языков. Такое формальное описание икона отражает статический аспект системы иконов. Иконическая алгебра отражает динамический аспект системы иконов. Методика индексирования иконов вместе с понятием подобия иконов позволяют проводить индексирование и сравнение иконов. [3]
Формальное описание на АЛСИПП легко кодируется и вводится в ЭВМ, где, будучи обработано по соответствующему алгоритму, дает программу вычисления пропускной способности последовательно-параллельной сети; символ обозначает операцию сложения, V - операцию выбора наименьшей из пропускных способностей связанных этим символом элементов. [4]
Формальное описание такого подхода и процедур, способных реализовать указанный алгоритм, хотя и не может полностью воспроизвести человеческие способности, но, по нашему мнению, позволит получить интересные приложения. Ниже приводится формальное изложение методики принятия решений и определяется структура модели, воспроизводящая найденный алгоритм. [5]
Формальное описание содержит также методику выполнения работ, расчетные формулы и логические действия при анализе результатов расчетов и их использовании в процессе проектирования. [6]
 |
Модель многозвенной защиты. [7] |
Формальное описание для прочности многозвенной защиты практически совпадает с выражениями (16.2) и (16.15), так как наличие нескольких путей обхода одной преграды, не удовлетворяющих заданным требованиям, потребует их перекрытия соответствующими преградами. [8]
Формальное описание свойств таких отношений и методов их выделения во фразе является одной из важных задач математической лингвистики. Поскольку здесь мы не имеем в виду обсуждать связь математической лингвистики с общей лингвистикой, то мы не будем углубляться в анализ лингвистического характера вводимых отношений, а будем апеллировать к тому знанию русского языка и его грамматики, ко-торьщ наверняка обладает любой читатель данной книги. [9]
Формальные описания работы этих блоков в виде программ заносятся в память ЭВМ. Для формализации процессов контроля состояния объекта управления используются специально разработанные алгоритмы выделения отклонений в ходе выполнения плана и алгоритмы обнаружения отклонений в ресурсах. Эти алгоритмы в виде программ также закладываются в память ЭВМ. Для автоматизации процессов взаимодействия руководителя с автоматической системой обработки данных при автоматизированном управлении служит система управления данными. Программы алгоритмов системы управления данными обслуживаются операционной системой ЭВМ и специальными дополнительными программами управления базой данных. [10]
Формальное описание связи металл - лиганд в этих комплексах аналогично описанию связи С С - металл. Однако, поскольку электроотрицательность атомов С и N различна, должно быть искажение я - и л: орбиталей, и поэтому следует ожидать, что длины связей М - N и М - С в этих комплексах будут различаться. [11]
Формальное описание команд дано, в табл. 1.5 - 1.10. В этих описаниях приводится название, мнемоническое обозначение ( используемое при написании программ на Ассемблере), формальный алгоритм и словесное описание. [12]
Формальное описание СО включает четыре элемента: а) входящий поток ( заявок на обслуживание); Ь) организацию очереди ( дисциплину присоединения к очереди, пребывания в очереди и выбора заявки из очереди для обслуживания); с) структуру ОУ; d) вероятностно-временные характеристики обслуживания заявок. [13]
Формальное описание элементарных событий основано на следующей схеме. [14]
Формальное описание организационной системы строится из знаков или образующих. Это неделимые элементы, выбираемые для каждого конкретного случая и в качестве которых в представлении системы могут выступать абстрактные символы, множества, отношения или функции. [15]
Страницы: 1 2 3 4