Каноническая модель

Cтраница 3

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

Ограничения (7.286) и ( 7.2 Эг) бессодержательны, пока не выбрано F, нарушающее симметрию. Покажем, что если для Т7 принята каноническая модель 6fJ, содержащего только массовые члены, и если, более того, для d взято каноническое значение, то получается теорема для G, которая противоречит прямым расчетам. Обсудим только нарушенную масштабную инвариантность, без всяких ссылок на конформные преобразования. [32]

Уложенный в двумерном пространстве, граф является довольно плохой канонической моделью ( т.е. физическим представлением) молекулы. [33]

Полученные решения хорошо согласуются с опытом над биологическими нервными волокнами. Система ( 5) ( 7) называется канонической моделью электрогенеза нервной клетки. [34]

Это свойство критериев подобия называется инвариантностью первого порядка. Данный вид инвариантности лежит в основе исследования экономической устойчивости канонических моделей по критериальному уравнению. [35]

В зависимости от приложения общие графические функции могут быть реализованы как для двух -, так и для трехмерных моделей ГИ. Так, в пакетах ГРАФОР и АЛГРАФ реализованы общие графические функции для трехмерных канонических моделей ГИ, в пакете ФАП-КФ - для трехмерных структурированных моделей ГИ. [36]

При использовании пакета ЭПИГРАФ обеспечивается и ведение информационной базы, что не требует разработки дополнительных программных средств. В информационной базе могут храниться прикладные модели, структурированные модели ГИ, а также канонические модели ГИ. [37]

Процесс усовершенствования канонической модели. [38]

С этого момента можно считать, что рабочая каноническая модель базы данных существует. Усовершенствование канонической модели также представляет собой итеративный процесс, но несколько другого характера, как это видно из рис. 12.1. Каноническая модель первоначально была получена путем объединения функциональных требований к данным, и, хотя она обеспечивает необходимые пути доступа к данным, целесообразно внести в ее структуру некоторые изменения с целью повышения эффективности обработки данных, обеспечения средств защиты или других перечисленных ниже свойств. [39]

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

Канонические модели применяют в тех случаях, когда в геометрических объектах удается выделить параметры, которые однозначно определяют их форму. Например, для окружности такими параметрами являются координаты центра и радиуса окружности. При использовании канонических моделей геометрический синтез сводится к параметрическому. [41]

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

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

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

Страницы: 1 2 3