Cтраница 3
![]() |
Схематическое изображение распределения металла при применении метода оттенения. [31] |
Однако полное значение метода, прежде всего связанное с повышением контрастности изображения, выявилось после работ Уильямса и Уайкоффа [52], в которых были определены металлы, пригодные для оттенения, а также показана эффективность метода для исследования объектов различных типов. [32]
Две разные личности могут иметь совпадающие имена, возраст и пол. На рис. 10.1 а прямоугольники соответствуют объектам различных типов, каждый из которых может иметься в нескольких экземплярах, а стрелками показаны возможные функции. [33]
В теории типов большое значение придается обеспечению корректности программирования. Особенно это существенно для бестиповых ( typeless) языков программирования, таких как Лисп, Пролог, Смолтолк и другие. В них программисты могут без ограничений определять и использовать объекты различных типов, контроль типов которых целиком осуществляется лишь во время выполнения программы. Теория типов создает предпосылки для автоматической проверки правильности вычислений без выполнения функций. Это в свою очередь необходимо для создания эффективных и надежных интерпретаторов и трансляторов, а также для синтеза программ. [34]
Важным при разработке программ является формирование правил идентификации объектов. Если руководствоваться только выбором мнемоники, то схожие наименования объектов различных типов приводят, в конце концов, к снижению познаваемости и контролируемости программы. В ряде случаев ( например, для меток) удобным является включение в имя объекта его порядкового номера в последовательности объектов. Это облегчает поиск объекта в программе. При создании различных КП в одной организации обязательным является разработка стандартов по правилам идентификации различных объектов. [35]
Вследствие этого все спецификации приходится рассматривать в совокупности. Если, в частности, рассматриваются спецификации таких, например, видов, как ( 21 - 2), ( pl - p), то проще поступить иначе. Так, например, для единственной ячейки, вследствие независимости размещений объектов различных типов, распределение вероятностей для любой спецификации находится как обычное произведение. [36]
Переменные процедурного типа чаще всего используют в двух ситуациях - в качестве элементов записей и в качестве параметров процедур. Возможность запомнить внутри записи переменную процедурного типа позволяет ассоциировать операции с конкретными объектами. Использование переменных процедурного типа в качестве параметров процедур позволяет создавать процедуры, выполняющие одни и те же действия над объектами различных типов. Это становится возможным благодаря тому, что интерфейс с типом данных передается в виде переменной процедурного типа. Этот вариант использования переменных процедурного типа проиллюстрирован в следующем разделе. [37]
В техногенных месторождениях Уральского региона содержатся многие другие ценные компоненты, в том числе редкие и рассеянные элементы. Всестороннее изучение проблемы использования техногенно-минеральных образований является приоритетным направлением деятельности территориальных органов управления недрами в Уральском экономическом районе. К тех-ногенно-минеральным образованиям относятся отходы горного, обогатительного, металлургического, энергетического производств, являющиеся ценным сырьем для получения различных металлов, строительных материалов, химической продукции, минеральных удобрений и др. Только на территории Свердловской области, к примеру, предварительно учтено 140 предприятий, создавших более 315 техногенно-минеральных объектов различного типа. В связи с важностью проблемы эффективного освоения техногенных месторождений первостепенное значение приобретают вопросы осуществления полномасштабной паспортизации всех известных техногенно-минеральных объектов, разработка методики их разведки, подсчета запасов техногенного минерального сырья, а также научно обоснованное решение задач по геологическому обслуживанию, технике и технологии отработки техногенных образований. [38]
В левой части окна базы данных представлен список всех типов объектов Объекты ( Objects), которые могут создаваться в базе данных Access: Таблицы ( Tables), Запросы ( Queries), Формы ( Forms), Отчеты ( Reports), С-фапии. Возможно создание пользовательских групп объектов. Группы позволяют в больших БД объединить объекты одной темы. В группах сохраняются ссылки на объекты различных типов. Для создания новой группы необходимо нажать правую кнопку на строке группы Избранное ( Favorites) и выбрать из контекстного мо ю команду Новая грунт ( New Groups), Для внесения объектов в группу выделяется нужный объект, вызывается контекстное меню, выбирается команда Добавить в группу ( Add to Group) и в ней группа, в которую включается объект. Объект представляется в группе ярлыком, ссылающимся на включенный в группу объект. [39]
По умолчанию параметры, представляющие собой объекты, имеющие простые типы или тип указатель, передаются по значению. В противоположность этому параметры, представляющие собой объекты, имеющие структурированные типы, должны передаваться по ссылке. Границы, указываемые при описании массивов или в различных операторах, например операторе цикла for, могут иметь определенные простые типы, но не могут иметь структурированные типы. Таким образом, идентичность трактовки объектов различных типов на основе идентичности их трактовки в операторе присваивания не может быть распространена на прочие языковые конструкции. [40]
Сначала виртуальные функции могут показаться несколько сложными для понимания. Тем не менее, усилия, потраченные на изучение этой темы, оправдываются. Не только потому, что они являются важным инструментом объектно-ориентированного программирования, но еще и потому, что они широко используются в библиотеке MFC. Виртуальные функции позволяют писать простые универсальные подпрограммы для манипулирования объектами различных типов. Они дают возможность изменять свойства существующих базовых классов даже при отсутствии доступа к исходному коду этих классов. [41]
Бетти, частично характеризующее глобальное топологическое поведение X. Аналогичным образом H ( XV) характеризует глобальную комплексно аналитическую природу данного комплексного многообразия X, оснащенного векторным расслоением V - X. Если группа Нр ( Х; V) ненулевая, то поведение этого векторного пространства во многих смыслах аналогично поведению векторных пространств голоморфных или мероморфных функций в заданной области из Сп или Рп. Как показано в следующем параграфе, в голоморфном представлении Пенроуза решений уравнений безмассового поля встречаются голоморфные объекты различных типов. [42]
В язык ОСА введено понятие таймера. Таймер - это объект, который может находиться в различных состояниях: быть запущенным, остановленным или вырабатывающим событие, указывающее на окончание временного кванта. Один или множество таймерных объектов могут быть связаны с любым контекстом и влиять на динамику функционирования соответствующего РКА. В свою очередь РКА, используя связь текущего контекста, может изменять состояние того или иного таймерного объекта. Язык предоставляет разработчику средства описания таймерных объектов различных типов и указание значений временных интервалов для каждого из этих типов. Динамическая связь между РКА и таймерным объектом и между таймерным событием и РКА через контекст поддерживается системой также автоматически. [43]
В области адаптивных систем управления основное внимание уделяется методам текущей идентификации в реальном времени. Кроме того, при синтезе регуляторов главным образом используются параметрические модели объектов и возмущений. Такие модели характеризуются конечным числом параметров. Для них разработаны эффективные алгоритмы расчета, требующие относительно небольших затрат вычислительных ресурсов. Эти алгоритмы могут применяться при проектировании систем управления объектами различных типов. [44]
Фактически же с этими соображениями Рассела дело обстоит сложнее. Прежде всего, относительно расчлененности и нерасчлененности семейства множеств, для которого формулируется аксиома. Чтобы понять, в чем здесь заключалась проблема для Рассела, нужно иметь в виду, что к этому времени у него складывалась теория типов. Рассел определенно говорит, например, о пропозициональной функции, аргументом которой являются члены класса одного типа ( с. В теории же типов не существует множеств, элементами которых являются объекты различных типов. Поэтому даже если бы Цермело опубликовал свое доказательство [ 4, с. Рассел вряд ли согласился бы с ним. [45]