Cтраница 4
Если раньше непременным элементом организации труда считалось отделение основных работ от вспомогательных, то теперь, когда ведение технологического процесса обеспечивается в основном с помощью КИП и А, а аппаратчик, как показывают фотографии рабочего дня, имеет значительный удельный вес времени пассивного наблюдения, возникает противоположная задача. Время пассивного наблюдения должно быть использовано на выполнение вспомогательных работ: отбор проб, проведение несложных анализов и ремонтных работ. [46]
Эта модель расширяется, усваивая новую информацию об объектах и существующих между ними связях, которая выделяется в результате несложного анализа повествовательных предложений, вводимых в систему исследователем. В других программах в роли модели выступают двумерные изображения. Коле [13], развивая работы Кирша и его сотрудников [33] на тему: Машина, использующая язык изображений 3), составил программу, которая использует изображение ( задаваемое исследователем на электронно-лучевой трубке с помощью светового пера) для снятия синтаксической неопределенности описывающих это изображение английских фраз, а также для ответа на вопросы относительно изображения. [47]
Имеющиеся в литературе решения этих задач обычно содержат сложные, трудно вычисляемые интегралы. Интересной особенностью данного метода является то, что если применяемый в нем аппарат уже разработан, то дополнительно требуется лишь весьма несложный анализ, основанный на нескольких элементарных свойствах гамма-функции. [48]
Постоянно совершенствуя методы исследования нефти, ее углеводородного состава, научно-исследовательские организации должны переносить эти методы из своих лабораторий в заводские лаборатории, совершенствуя тем самым методы заводского контроля за качеством сырья и вырабатываемой продукции. В этом деле имеется серьезное отставание, свидетельством этого является наличие огромного количества на заводах малоквалифицированных работников, обслуживающих лаборатории по отбору проб и производству несложных анализов. [49]
Химический анализ широко используют для контроля технологических процессов на всех стадиях - от исходного сырья до конечного продукта. По результатам анализов осуществляют управление технологическим процессом и качеством готовой продукции. Несложные анализы должен уметь выполнять сам аппаратчик. В технической документации - регламентах и производственных инструкциях - указаны время и место отбора проб для анализа. Там же приведены и аналитические показатели, обеспечивающие нормальное протекание технологического процесса. Основываясь на результатах анализа, аппаратчик корректирует режим технологического процесса, добиваясь соблюдения аналитических показателей, предусмотренных регламентом. [50]
Поставленных целей действительно удалось достичь - даже несмотря на некоторую неоднородность результатов. Однако и Клер Филлипс ( Claire Phillips), менеджер по маркетингу в Houstons, и Дэвид Уоллес ( David Wallace), директор группы маркетинга в County, отдавали себе отчет в том, что для достижения истинной лояльности клиентов можно ( и нужно) было бы добиться гораздо большего. Достаточно было провести несложный анализ анкет ( их оставляли на столах ресторана для заполнения посетителями), чтобы убедиться, что уровень повторных посещений ресторанов Houstons оказался удручающе низким. [51]
Ценным свойством исчислений GHPC и GCPC является свойство подформульности: все формулы в посылках правил вывода этих исчислений составлены из подформул формул заключения. Это сильно облегчает поиск вывода данной секвенции и является источником получения многих результатов. Например, если в рассматриваемых исчислениях секвенций выбросить четыре правила вывода, относящиеся к кванторам, то несложный анализ оставшихся исчислений ( исчислений высказываний в форме исчисления секвенций) позволяет найти эффективный способ установления выводимости произвольной секвенции в данном исчислении. Таким образом, классическое и интуиционистское исчисления высказываний оказываются разрешимыми. Хорошо известно, что соответствующие исчисления предикатов неразрешимы. Тем не менее формулировка исчислений в форме исчислений секвенции и здесь приводит к интересным результатам. [52]