Способ - спецификация
Cтраница 1
Способ спецификации, при котором для каждого действия, выполняемого программой, описываемся соответствуй) щее преобразование нход-ных параметров в выходные. [1]
Способ спецификации, при котором для каждого действия, выполняемого программой или ее модулем, описывается соответствующее преобразование входных параметров в выходные. Спецификации в такой форме практически представляют собой скелет программы. [2]
Что касается способа спецификации задачи, то в большинстве случаев в экспертных системах имеет место однозначная спецификация, достигаемая за счет ограничений, накладываемых на реакцию пользователя. Неоднозначность спецификации задачи возникает в следующих случаях: 1) действие ( запрос) системы ограничивает реакцию пользователя, но она выражается на ограниченном естественном языке и может быть неправильно понята ( этап приобретения знаний); 2) действие ( запрос) пользователя на ограниченном естественном языке хоть и ограничено множеством разрешенных тем, но может быть неоднозначно понято системой. На практике первая ситуация решается путем повторения системой приобретаемого правила в виде текста на естественном языке. Вторая ситуация может быть приведена к однозначной путем предложения пользователю выбрать в меню, где указаны возможные типы запросов к системе, тот тип, который его интересует, а затем заполнить для этого типа запроса интересующие пользователя параметры. Говоря другими словами, однозначность обеспечивается за счет отказа от естественного языка. [3]
 |
Иерархия обобщения. [4] |
Есть еще один способ спецификации ограничений, который сводится к тому, что отображение ( если это возможно) задается замкнутой формулой. [5]
Смысл трансфертных цен как способа спецификации ответственности состоит в том, что подразделение-покупатель приобретает материалы и комплектующие у подразделения-поставщика по плановой ( трансфертной) цене, а не исходя из фактической себестоимости производства. [6]
Объясните, насколько в 11 / 60 удобен способ спецификации следующего микроадреса ( NUA) с точки зрения коррекции ошибок микрокода. [7]
Тип массива, как и в случае простых переменных, задается либо способом неявной спецификации, либо операторами явной спецификации. В случае неявной спецификации, если имя массива начинается с букв I, J, К, L, М и N, то массив типа INTEGER, в противном случае - массив типа REAL. Массив может иметь также тип: DOUBLE PRECISION, COMPLEX и LOGICAL. Все элементы массива имеют один и тот же тип, совпадающий с описанным типом массива. [8]
Я думаю, что из этого следует только, что присваивания типа формальный параметр - фактический параметр не зависят от концепции замкнутой подпрограммы и что они объединены в конструкции процедуры как способ спецификации области действия инициализации. [9]
Как было показано в § 4.1, шаг диалога состоит из действия и реакции и характеризуется следующими параметрами: 1) инициатор и тип инициирования; 2) способ влияния действия на реакцию; 3) способ спецификации задачи. На данном уровне задача диалоговой подсистемы состоит в определении значений параметров текущего шага диалога. Обычно в экспертных системах инициатором шага является система, т.е. она задает действие, ожидая реакцию пользователя. Исключение составляют ситуации, в которых пользователь перехватывает инициативу у системы и вместо реакции на действие системы сообщает свое действие, на которое он ожидает ответную реакцию системы. Говоря другими словами, в случае перехвата инициативы пользователь прерывает шаг диалога и создает внутри него один или несколько шагов диалога, в которых инициатива принадлежит ему. [10]
Предполагается, что отношения, построенные в соответствии с полностью составными ключами ( рис. 13.17 а и б), получают составной ключ в качестве первичного ключа. Способ спецификации бинарных отношений подразумевает, что для однозначной идентификации кортежей обязательны все элементы составного ключа. [11]
Спецификации программ, разработанных на фазе их проектирования, должны точно описывать характер исходных данных и то, что должно быть получено в результате выполнения программы. Отдельные части спецификации могут отражать время выполнения, сложность вычисления, размер массивов, возможные инварианты, контролирующие ход вычислительного процесса. Один из способов спецификации заключается в описании на естественном языке того, что должно быть получено по заданным исходным данным. Однако в этом случае трудно избежать двусмысленностей при разборе их разными специалистами. Естественно, что многие ученые предлагают различные методы формальных спецификаций. [12]
Эти же ассоциации можно было бы представить в системе DL / 1 ( в предположении, что элемент ИГРОК и элемент ПОЗИЦИЯ являются ключами), во-первых, используя один сегмент ПОЗИЦИЯ с полем флажка, идентифицирующим тип связи, во-вторых, используя отдельный сегмент ПОЗИЦИЯ для каждого типа связи и, в-третьих, определяя логические связи между типом сегмента ИГРОК и типом сегмента ПОЗИЦИЯ. DL / 1 зависит от способа спецификации проектировщиком требований к данным. В системе КОДАСИЛ проектировщик не заботится о выборе варианта структуры. Он просто указывает между двумя элементами помеченные ассоциации. [13]
Как уже говорилось, понятие множества не связано с какой-либо упорядоченностью его элементов. Такое представление порядка носит достаточно произвольный характер и при нечетко зафиксированных соглашениях может привести к неоднозначности толкования. Проблема еще более усложняется при n - местных кортежах. В этом случае требуется ввести точные предположения относительно способа спецификации вложений. [14]
Страницы: 1