Cтраница 4
Грамматика типа 3 допускает табличную форму записи. Такая форма G c для ВС содержит 20X17 элементов. Удобно перейти к канонической форме таблицы. Табличная форма представления работы БВУВ позволяет непосредственно перейти к его реализации в ПОМП устройства СПИ. При этом обеспечивается простота модификации ПО при изменении версии протокола. [46]
Действительно, характерной чертой научного продукта когнитивистов являются его зримые и строгие очертания в виде геометрических фигур, или моделей. Солсо), а если прочитать сопровождающие их комментарии, то и весьма убедительны. Солсо часто встречается выражение ящики в голове), каждый из которых выполняет строго определенную функцию. Связи между блоками обозначают путь прохождения информации от входа до выхода модели. Представление работы некоторого механизма или функционального устройства ( не обязательно реального, но и гипотетического) в виде такой модели было заимствовано когнитивистами у инженеров, в частности, из хорошо развитой в то время теории и практики систем автоматического регулирования, или следящих систем. [47]
Одним из них является направление, связанное с концепцией символического выполнения [10] - методом, промежуточным между традиционным тестированием и доказательством правильности. При символическом выполнении программа действительно в некотором смысле выполняется, но при этом каждый оператор интерпретируется как преобразование символов, обозначающих реальные входные данные. Например, при символическом выполнении программы, изображенной на рис. 17.6, после выполнения первого оператора переменной S будет присвоено алгебраическое выражение В С А, после оператора 2 переменная Т будет иметь значение С А-В, а при возврате из процедуры переменной D присвоено выражение 2 В. Таким образом, программист теперь имеет символическое представление работы подпрограммы. [48]
Наиболее убедительна точка зрения цивилистов, которые полагают, что такая односторонняя сделка, как объявление конкурса, сама по себе конкурсных правоотношений не порождает. Последние возникают не в момент объявления конкурса, а в момент представления конкурсных работ. Объявление конкурса связывает его устроителя - он не может произвольно изменить условия конкурса или отменить его. Совершить указанные действия устроитель конкурса может лишь при условии соблюдения установленных законом требований, о которых речь пойдет ниже. Если же конкурс не будет изменен или отменен, то в пределах установленного для представления работ срока устроитель не вправе отказать в принятии представленных на конкурс работ. [49]
Кривые ОФП, полученные в работе [9], приведены на рис. 3.5. Форма этих кривых достаточно далека от формы кривых ОФП реальных пористых сред ( например, обычных пористых горных пород) и по признанию самих авторов отражает лишь качественные характеристики изучаемых явлений. Более того, эти кривые не столь близки к реальным зависимостям, как кривые И. Это обстоятельство следует объяснить тем, что предположение о связанности вытесняемой смачивающей фазы менее соответствует действительности, чем принятое И. Действительно, если, например, предположить, что начальное распределение насыщенности характеризуется чередованием слоев смачивающей и несмачивающей фаз, параллельных входной кромке модели, то согласно представлениям работы [9] процесс капиллярного вытеснения идти не должен, что, естественно, противоречит реальным условиям. [50]