Обобщенный тип

Cтраница 2

Язык может определяться также в терминах машины, которая воспринимает ( интрепретирует) его. Каждому из указанных обобщенных типов языка соответствует тип абстрактной машины: например, регулярные языки являются языками, которые могут распознаваться машинами с конечным числом состояний, а языки типа 0 могут быть распознаны только машинами Тьюринга. На рис. 7.3 указан тип машины, соответствующей каждому типу формальной грамматики. [16]

Иерархия обобщения. [17]

Обобщенный тип обладает всеми свойствами, общими для базовых знаков или типов. Иначе говоря, все свойства обобщенного типа могут быть унаследованы базовыми типами. Тем не менее можно явно запретить наследование определенных свойств. Кроме того, можно указать, что некоторые свойства характеризуют тип в целом и они тоже не будут наследоваться. Свойство иметь заработную плату наследуется от типа СЛУЖАЩИЙ каждым конкретным экземпляром служащего. В то же время средняя заработная плата есть специфическое свойство типа СЛУЖАЩИЙ и оно не наследуется. Обобщение на уровне типов предполагает ряд обобщений на уровне знаков, относящихся к подтипам. Например, тот факт, что ЛИЧНОСТЬ есть обобщение типа СЛУЖАЩИЙ ( и других типов), подразумевает, что каждый служащий может рассматриваться как личность. [18]

Применительно к какой-либо торговой точке мы можем классифицировать различные виды стимулирования иным образом, по их происхождению и воздействию на клиентуру. В этом случае мы приходим к трем обобщенным типам стимулирования. [19]

Настоящее издание является одним из первых опытов подоб: ного рода. Турчина, С. Ф. Корндорфа и др., посвященные электрическим измерениям неэлектрических величин, являются пособиями обобщенного типа. В них не рассматриваются отдельные типы приборов и специфика измерений давлений iB условиях высоких температур, воздействующих на датчики. [20]

Аналогично при изгибе или кручении стержня моментами, приложенными на концах, мы имеем изгибающее или крутящее усилие, производящееся двумя равными и противоположными моментами. И так же, как в § 29, где мы видели, что растягивающее усилие может рассматриваться как обобщенный тип сил, а получающееся удлинение - как соответствующее ему перемещение, мы можем сейчас рассматривать изгибающее и крутящее усилия как обобщенные силы, если в качестве соответствующих каждому из них перемещений мы возьмем относительный поворот фиксированных прямых, лежащих в плоскостях действия моментов, составляющих усилие. [21]

Главная особенность этой задачи управления наблюдениями состоит в том, что она может быть сведена к некоторой детерминированной задаче с обобщенными управлениями. Обобщенное управление v ( -) означает, что при ограничениях ( 2) оно может быть выбрано сколь угодно близко к импульсному управлению типа S - функции, которое соответствует дискретному наблюдению в момент времени, соответствующий точке локализации этой S - функции. Мы используем управления обобщенного типа, т.к. они дают нам возможность избежать дополнительных ошибок оценивания, связанных с осреднением сигнала в течение процесса непрерывных наблюдений. Это является весьма важным из-за дискретных свойств ненаблюдаемого процесса x ( t) имеющего скачки в некоторые моменты времени, оценивание которых является более сложной задачей. Решение такой задачи оптимизации делает возможным находить оптимальное распределение ресурсов наблюдения ( времени, энергии, вычислений) для достижения наилучшего качества оценивания. [22]

Часть материалов настоящего тома была впервые опубликована в монографии, изданной на немецком языке в 1927 г., на английском-в 1931 г. и в русском переводе американского издания - в 1936 г., а ее сжатое изложение в 1928 г. было помещено в одном из разделов шестого тома Handbuch der Physik. Несколько новых глав вводят в теорию простых и обобщенных типов вещества, представление о которых основано на типах деформаций-упругой, пластической и их сочетании, а также на типах принятых законов деформирования. Целиком пересмотрены главы, относящиеся к исследованию напряженных состояний в пластически деформированных цилиндрах и дисках и к математической теории неоднородного состояния плоской пластической деформации и поверхностей скольжения. XII и XIII добавлены анализ конечных однородных деформаций, основанный на введении квадратичного удлинения X, и теория конечной плоской деформации, где использованы зависимости, выраженные через составляющие натуральных деформаций. Синтез малых упругих и пластических деформаций обобщен в теории стесненной пластической деформации, с которой приходится иметь дело в случаях, когда главные оси напряжений меняют свое направление в материале. [23]

Это является действительным ( без VAR) и для параметров-значений. Если нужно, то можно добавить словечко PACKED. Обобщенный тип индекса и фиксированный тип компонента следует оговорить вне процедуры; они описывают, какие массивы являются конформными к соответствующей схеме. С другой стороны, формальные границы индекса, точно так же как и сам формальный параметр ( в нашем примере лига), вводятся с помощью заголовка процедуры; так что им по возможности присваивается название, которое не встречается вне процедуры. [24]

Страницы: 1 2