Множество - машина
Cтраница 3
Ориентация промышленности, равно как и других отраслей экономики, на крупномасштабный валовой подход в стратегии развития обусловила пренебрежение к структуре и ассортименту продукции. Конечно, более престижно производить и поставлять потребителям сотни тысяч тракторов вместо множества машин к ним. А между тем именно от этой россыпи мелочей зависит эффективность земледелия. Именно поэтому земледелец и демонстрирует постоянно возобновляемую и постоянно неудовлетворяемую потребность в них. [31]
Хорошо известно, что многие проблемы в теории автоматов2) и формальных языков алгоритмически неразрешимы и, следовательно, могут быть классифицированы по степеням неразрешимости. В этой работе мы покажем, во-первых, как можно естественным образом построить множества машин Тьюринга, которые являются полными множествами в любом заданном уровне арифметической степени неразрешимости. Конструкция этих множеств прямо соответствует кванторным последовательностям в арифметической иерархии. Во-вторых, описывается метод представления трудных проблем как более простых проблем. [32]
Во второй половине 60 - х годов в нашей высшей школе заметно возрос интерес к программированному обучению. Это нашло свое отражение в большом числе публикаций, в конструировании и выпуске множества дидактических машин и устройств, создании программированных учебников. Словом, программированное обучение стало модным, у него возникла масса сторонников. Кое-кому оно казалось просто-таки панацеей от всех бед. [33]
Кроме поиска они поддерживают различные и многочисленные сервисы, такие, например, как передача запроса пользователя сразу на множество машин поиска, настройка на личные предпочтения пользователя, формирование тематической базы данных на основе результатов поиска пользователя, а некоторые - и обучение агентов. Не менее важно и то, что такие системы агентов объединяют ссылки на сайты, найденные множеством машин поиска, исключая повторные и неработающие ссылки. Но ни одна из систем данного класса не в состоянии самостоятельно отобрать полезную информацию и оставляет это пользователю. Конечно, используя такие программы, можно уменьшить число результирующих документов, доставляемых обычными машинами поиска. Но степень попадания ответа в запрос практически та же, что и у машин поиска. Важно и то, что неспециализированные агенты опыта по поиску в определенной предметной области не накапливают. А обучение, если вообще допускается, занимает много времени. [34]
Особенно это важно для урбанизированных территорий, на которых динамика прироста протяженности дорожной сети ( из-за отсутствия свободных земель) значительно отстает от динамики численности автомобильного парка. В этом случае проблемы снижения выбросов загрязняющих веществ и потребления природных топливно-энергетических ресурсов ( нефтяного топлива) множества машин становятся особенно значимыми. [35]
Приведенная нумерация машин Тьюринга и тезис Черча, сформулированный в § 2, позволяют построить функцию, для вычисления которой не существует никакого алгоритма. Само существование такой функции, определенной, Скажем, в алфавите Л1 г вытекает уже из того, что множество функций в этом алфавите несчетно, в то время как из нашей нумерации следует, что множество машин Тьюринга счетйо. [36]
При этом следует отметить, что множество вычислимых чисел счетно. Поскольку множество машин Тьюринга счетно, то, следовательно, счетным также должно быть и множество вычислимых действительных чисел. Почему же нельзя применить диагональный процесс к этому списку с тем, чтобы породить новое не включенное в список вычислимое число. Ответ состоит в том, что в общем случае невозможно с помощью вычислений решить, следует ли ту или иную машину Тьюринга включать в список, поскольку для этого мы должны были бы иметь возможность решить проблему остановки. Не существует вычислимого способа, который позволил бы решить, какие именно машины Тьюринга зависнут таким образом. Это, в сущности, и есть проблема остановки. Значит, хотя метод диагонального процесса и породит некоторое действительное число, последнее не будет вычислимым. На самом деле, это рассуждение может использоваться для доказательства существования невычислимых чисел. [37]
Системы глубокой диагностики машин по вибрации могут выпускаться для предремонтной дефектации машин, для их выходного контроля после изготовления или ремонта, для наблюдения за состоянием машин или их узлов в процессе эксплуатации. Отличаются они лишь особенностями программного обеспечения. Так, машины после ремонта и монтажа на месте эксплуатации не имеют достаточной приработки, поэтому для их диагностики в большей степени используется низкочастотная и среднечастотная вибрация, а эталон бездефектной машины ( узла) автоматически строится по множеству одинаковых машин. При предремонтной дефектации в полной мере используются и диагностические признаки дефектов, содержащиеся в высокочастотной вибрации, а эталон также строится по множеству машин. В процессе эксплуатации, в отличие от предремонтной дефектации, эталоны строятся по первым трем измерениям, а после последующих измерений автоматически адаптируются. [38]
Рассмотрим, например, упорядоченное внутреннее устройство, наблюдаемое нами в суете крупного города. Даже беглого взгляда на городскую жизнь достаточно, чтобы заметить, что десятки тысяч людей в определенное время занимают свои рабочие места без каких-либо видимых корректив и указаний. Тысячи транспортных средств начинают движение по определенным маршрутам без видимых наблюдателей и распорядителей и при этом довольно редко сталкиваются. Множество машин и механизмов работают в строго определенное время и в строго определенной взаимосвязи, причем их продукция передается по длинным цепочкам и непременно достигает потребителей. [39]
Однако при такой постановке вопроса весьма мало можно сказать о точности любого другого экземпляра данной группы одноименных экземпляров. Для промышленности важнее такая постановка задачи, при которой рассматривается точность целой группы одинаковых машин или приборов, число которых неопределенно велико. Следовательно, вопрос о точности рассматривается с точки зрения множества одинаковых машин, приборов или аппаратов. [40]
 |
Кратный мысленный эксперимент. [41] |
Предположим, у нас есть цифровая система, в которой может возникнуть одна из / г допустимых неисправностей. Предположим также, что внесение в исправную систему любой неисправности из числа допустимых порождает новую цифровую систему. Тогда можно считать, что порожденная таким образом п 4 - 1-система суть машинные копии конкретного мысленного эксперимента. Приложение стимулов и наблюдение реакций этого множества из п -) - 1 машины побуждает произвести наблюдение этого множества машин в соответствии с наблюдаемыми реакциями. То есть все машины, показывающие одинаковые реакции, объединяются, образуя класс эквивалентности. Совокупность полученных таким образом классов эквивалентности определяет разбиение множества машин. [42]
Системы глубокой диагностики машин по вибрации могут выпускаться для предремонтной дефектации машин, для их выходного контроля после изготовления или ремонта, для наблюдения за состоянием машин или их узлов в процессе эксплуатации. Отличаются они лишь особенностями программного обеспечения. Так, машины после ремонта и монтажа на месте эксплуатации не имеют достаточной приработки, поэтому для их диагностики в большей степени используется низкочастотная и среднечастотная вибрация, а эталон бездефектной машины ( узла) автоматически строится по множеству одинаковых машин. При предремонтной дефектации в полной мере используются и диагностические признаки дефектов, содержащиеся в высокочастотной вибрации, а эталон также строится по множеству машин. В процессе эксплуатации, в отличие от предремонтной дефектации, эталоны строятся по первым трем измерениям, а после последующих измерений автоматически адаптируются. [43]
 |
Кратный мысленный эксперимент. [44] |
Предположим, у нас есть цифровая система, в которой может возникнуть одна из / г допустимых неисправностей. Предположим также, что внесение в исправную систему любой неисправности из числа допустимых порождает новую цифровую систему. Тогда можно считать, что порожденная таким образом п 4 - 1-система суть машинные копии конкретного мысленного эксперимента. Приложение стимулов и наблюдение реакций этого множества из п -) - 1 машины побуждает произвести наблюдение этого множества машин в соответствии с наблюдаемыми реакциями. То есть все машины, показывающие одинаковые реакции, объединяются, образуя класс эквивалентности. Совокупность полученных таким образом классов эквивалентности определяет разбиение множества машин. [45]
Страницы: 1 2 3