Заземление логическое: Функциональное заземление для блоков питания ОВЕН

Содержание

Шина 1809 заземления и уравнивания потенциалов, с зажимами до 25мм², с защитной крышкой, никелированная латунь

5015073 Шина 1809 заземления и уравнивания потенциалов, с зажимами до 25мм², с защитной крышкой, никелированная латунь

ПОСТАВЩИК: ООО "Локальные системы"
Адрес: РБ, 220090, г. Минск, Логойский тракт 22, офис 303а;
Телефон: +375 17 247-19-99
ИНН: 190465237 / КПП: 37597808
Банковские реквизиты:
р/с BY96ALFA30122209810140270000 в ЗАО "Альфа-Банк" г. Минск
БИК ALFABY2X

Шина 1809 заземления и уравнивания потенциалов, с зажимами до 25мм², с защитной крышкой, никелированная латунь

Артикул: 5015073 На складе 324 шт.

Технические характеристики

Описание

Документы(1)

Оплата и Доставка

Каталог : Системы и компоненты для электромонтажных работ
Категория : Молниезащита и заземление

Бренд : OBO-Bettermann
Тип изделия : шина заземления
Срок поставки под заказ : 5-6 недель

Шина уравнивания потенциалов с пластиковой опорой служит для уравнивания потенциалов согласно DIN VDE 0100-410/-540, а также уравнивает потенциалы для защиты от молнии согласно DIN VDE 0185-305. Шина способна проводить ток молнии 100 кА (10/350).
Возможности подключения:
• 7 одножильных или многожильных проводов до 25 мм² или тонкожильные проводов до 16 мм²
• 1 круглый провод Rd 8-10
• 1 плоская лента до FL 30 или круглый провод Rd 8-10
• Пластина основания и крышка из полистирола, серые
• Контактная пластина из меди, никелированная
• Болты и пластина из гальванически оцинкованой стали

ОПЛАТА


Обращаем Ваше внимание на то, что мы работаем только с юридическими лицами и индивидуальными предпринимателями по безналичному расчету.   Отгрузка товара происходит после получения предоплаты на расчетный счет ООО "Локальные системы".

ДОСТАВКА

Возможные варианты доставки купленного Вами товара:

Способ доставки вы сможете выбрать при оформлении заказа.

Получить товар на условиях самовывоза можно после подтверждения поступления 100% оплаты на расчетный счет продавца. После получения оплаты наши сотрудники в кратчайшие сроки скомплектуют заказ, и по готовности Вы получите SMS-уведомление на мобильный телефон. Вам останется только забрать товар!

Стоимость доставки:

Доставка в пределах территории РБ осуществляется за счет продавца.

Разгрузочные работы осуществляются силами покупателя.


Вопросы по срокам или вариантам доставки, наличию товара, заказам Вы можете уточнить у Вашего менеджера либо по телефону:   +375 (17) 247-19-99.

похожие товары

с этим товаром покупают

Коммерческое предложение действительно на 16.03.2021 г.

Товар успешно добавлен в корзину

Ok

Проблемы с заземлением - СпросиСеть

У меня есть схема, которая принимает два аналоговых входа и соответственно устанавливает шаговый двигатель. Проблема, с которой я столкнулся, заключается в том, что на земле много шума и, в свою очередь, шум от моих входов А / Ц, а затем двигатель начинает дрожать и появляется много странных вещей. Я попытался изолировать землю, а также звездную землю. Я уверен, что шум исходит от драйвера шагового двигателя и высокой скорости переключения. Плата имеет регулируемые источники питания 12 В (для двигателя) и 5 ​​В (для микроконтроллера и АЦП), и на них также распространяется шум. Единственное, что я нашел, чтобы устранить это, - это когда я присоединяю заземляющий провод от осциллографа к земле на плате, и он уходит.

Почему это? Что я могу сделать, чтобы попытаться решить эту проблему. Я совершенно вне идей TIA.

декан

Можете ли вы добавить схему, пожалуйста


отметка @noremac, проверьте мой ответ на этот вопрос, это может быть полезно: electronics.stackexchange.com/questions/3760/… (я тот же Марк, что и тот, кого я только что потерял для этой учетной записи)
Noremac

Спасибо знак Я видел основания, подобные тем, что изображены на этом посту, и всегда удивлялся, почему они это сделали. Это определенно возможно для моего приложения. Должен ли я заземлить драйвер мотора в той же плоскости, что и микроконтроллер? Я хотел бы загрузить изображение схемы или макета платы, но мой Интернет сейчас не работает, и мне приходится делать все с моего телефона. Но на моей следующей ревизии платы я попробую этот макет. Кроме того, мое возвращение от мотора составляет 70 миль, поэтому я не уверен, достаточно ли этого меди для возврата. Я постараюсь добавить провод к возвращению завтра.


отметка

@noremac, хорошо, если вы можете загружать изображения, я могу помочь, но в сущности, вам нужно нарисовать пути тока / заземления для сигналов поверх изображения на печатной плате (помните, что высокочастотные сигналы возвращаются по пути наименьшего сопротивления, а не сопротивления). Сосредоточьтесь на сигналах, которые являются чувствительными, сильным током или соедините участки с различным основанием. Ищите большие петли (проблема электромагнитных помех) и / или места, в которых токи заземления проходят под чувствительными участками цепи. Вы также хотите искать места, где сопротивление грунту может быть высоким, например, длинные следы / отсутствие заземления.


Noremac

Тупой вопрос, как мне загрузить схему и макет печатной платы?

Инструменты - создайте собственный логический зонд

Инструменты DIY - создайте свой собственный логический зонд

Наличие удобного логического датчика всегда необходимо для электроники. Но вместо того, чтобы покупать один, почему бы не построить свой собственный за небольшую часть стоимости и заставить его работать через час?

Зачем нужен логический зонд?

Осциллографы чрезвычайно полезны при тестировании и устранении неисправностей цифровых цепей. Но для многих людей осциллограф может не быть решением из-за ценника (от сотен до тысяч долларов) или скамьи. Первым осциллографом, которым я лично владел, был старый 70-ый масштаб, который был слишком громоздким для тесной рабочей зоны.

Для тех, у кого нет областей, существует (очень простое) решение. Это устройство не может показать вам, как выглядит волна, но он может сказать вам, является ли сигнал

  1. off (0),
  2. на (1),
  3. плавающий (Z) или
  4. колеблющийся

Устройство называется логическим зондом, и это то, что большинство ЭО должно иметь на своем рабочем месте.

Преимущество логического зонда заключается в том, что это очень простая схема, которая настолько мала, что ее можно держать как ручку. Он также мертв дешево.

Интересно, что осциллограф не всегда будет показывать вам, если сигнальный провод плавает. Таким образом, даже с точки зрения возможностей измерения логический зонд имеет преимущество над областью действия!

Схема

Цепь логического зонда состоит из одного 400-квадрового NOR-вентилятора. Первая схема (U1A) является осциллятором, а вторая схема (U1B и U1C) является моностабильным мультивибратором (ака одноразовый).

Схема для логического зонда. Нажмите, чтобы увеличить изображение.
Плавающий вход

Если вход не подключен ни к чему (плавающий), логический вентиль U1A будет колебаться (хотя и очень небольшим колебанием, центрированным вокруг VCC / 2) благодаря R1. Затвор NOR ведет себя как затвор НЕ (поскольку оба входа связаны друг с другом) с выходом, подключенным к входу (через R1). Если выход имеет логическую высоту, то входное напряжение также будет высоким, но если входное напряжение высокое, то выходное напряжение должно быть низким (так как это инвертор). Именно эта «внефазная» настройка вызывает колебание U1A (где частота колебаний определяется резистором R1 и входной емкостью U1A).

Итак, что произойдет, когда U1A осциллирует (поскольку зонд плавает)? Поскольку колебание не переходит в VDD и GND (если вы просмотрите вывод U1A на области, это будет очень маленькое колебание около VCC / 2), зеленый и красный светодиоды (Hi и Low соответственно) будут off или dim в зависимости от размера R2 и R3. U1B и U1C сконфигурированы как моностабильный мультивибратор (период выключения определяется R4 и C2) с инвертирующим выходным каскадом (U1D), который подключен к светодиоду (D3). Когда выходное напряжение U1A обеспечивает переход от низкого к высокому, моностабильное срабатывает и включается светодиод (D3), чтобы указать, что входной сигнал изменился. При колебании U1A (когда вход плавает, а резистор R1 обратной связи вызывает колебание U1A), моностабильный сигнал постоянно запускается U1A, и поэтому осциллирующий индикатор (D3) будет оставаться включенным.

Для этой конфигурации схемы моностабильный период отключения составляет приблизительно 0, 47 с.

Осциллирующий сигнал

Когда зонд подключен к осциллирующему сигналу (который колебается между VDD и GND), включен не только индикатор колебаний (D3), но и D1 и D2.

Примечание. Логический зонд также даст вам некоторое представление о рабочем цикле тестируемого сигнала. Если сигнал имеет сигнал высокой мощности (например, 90% на 10%), светодиод HI (D1) будет намного ярче, чем светодиод LO (D2).

Сигналы включения / выключения

Когда зонд подключен к сигналу ВКЛ или ВЫКЛ, осциллирующий индикатор (D3) отключится, поскольку моностабильный сигнал не запускается (поскольку входной сигнал на логический датчик не изменяется). Если вход включен, тогда загорится светодиод HI (D1). Если вход выключен, тогда включается светодиод LO (D2).

заземления

Для правильного функционирования зонда необходимо подключить заземление на логическом датчике и заземление тестируемой цепи. Именно здесь вступает в действие пусковая площадка 0 В. Эта панель дает вам место для подключения заземления вашего зонда к земле тестируемой цепи.

ограда

В зависимости от ваших требований вы можете построить логический зонд либо в коробке с разъемами зонда, либо в виде автономного инструмента, подобного ручке. Вариант коробки более удобен, если использовать общие зонды, потому что он проще в использовании. Версия для пера, очевидно, сэкономит место и может легко вписаться в ящик для инструментов, но при этом есть несколько проблем:

  1. Вы должны обеспечить питание снаружи проводами (поскольку батареи сделают устройство слишком большим).
  2. Вам также необходимо подключить летающий провод к точке заземления схемы, что может затруднить использование логического датчика

Я построил оба, чтобы показать разницу между двумя типами корпусов, но я лично предпочитаю коробчатую версию, так как она намного опрятна и удобна. Внутренняя батарея и переключатель также делают блок независимым от внешних источников питания, как мультиметр.

Спецификация спецификации

Цепь логического зонда

Составная часть

Справочник по схемам

Количество

4001 IC

U1

1

Резистор 1K

R2, R3, R5

3

2, 2 М резистор

R1

1

4.7M резистор

R4

1

Конденсатор 100nF

C1, C2

2

Светодиод зеленый (3 мм)

D1

1

Светодиод красный (3 мм)

D2

1

Желтый светодиод (3 мм)

D3

1

Бокс-шкаф

Составная часть

Количество

Проектная коробка 100x60x25 мм

1

Банановый разъем 4 мм - красный

1

Банановая розетка 4 мм - черный

1

Коммутатор PCB SPDT

1

Стриптиз (разрезанный по размеру)

1

M3 Винты 10 мм (самонарезающие)

4

Супер клей

4

Версия для печатной платы

Составная часть

Количество

Печатная плата (разрезанная по размеру)

1

Pogo Pin

1

Красный провод

по мере необходимости

Черный провод

по мере необходимости

Электроизоляционная лента

по мере необходимости

Версия для сборки

Для создания коробчатой ​​версии логического датчика требуются инструменты для механической обработки, чтобы отрезать стеновую панель / печатную плату до размеров, сверлить отверстия в контуре для монтажа, сверлить отверстия для светодиодов / разъемов и фрезерные биты, чтобы сделать вырез для переключателя. Все это можно сделать с помощью сверла, но лучше всего использовать дрель. Показанный здесь разрез для стрижки был выполнен с использованием ленточной пилы с последующей подачей, чтобы получить прямую кромку.

Вырез для стрипов для установки на батарею PP3 и разъем PP3
Аккумулятор и створки плотно прилегают к корпусу

У разделочной доски есть вырез, чтобы он соответствовал батарее PP3, потому что батарея не помещается в пространство между стеновой панелью и крышкой проектной коробки. Четыре отверстия диаметром 3 мм были просверлены по краям, которые совпадают с отверстиями в проектной коробке (для чего требуются винты самонарезания 3 мм).

Окончательная компоновка с проводами, разъемами для бананов и переключателем
Завершение логического зонда - тестирование осциллирующего сигнала!

Строительство - выпуск PCB

В выпуске печатной платы используется односторонняя печатная плата со всеми следами внизу. Небольшой размер печатной платы (75 мм x 19 мм) делает его идеальным для карманного использования.

Тем не менее, существует проблема с этим дизайном. Штыри выставляются под ними, и поэтому ложные результаты являются обычными при ее удерживании. Чтобы обойти эту проблему, вы можете использовать электрическую ленту и защитить дно так, чтобы при удерживании зонда контакты не касались вашей кожи.

Односторонняя печатная плата

Зонд использует штырь pogo в качестве наконечника зонда, который имеет то преимущество, что вы можете нажать на контрольную точку, и зонд будет убираться. Поскольку внутри штифта pogo имеется пружина, контакт, который датчик делает с контрольной точкой, является надежным. Было бы неплохо использовать горячий клей или эпоксидную смолу на паяном соединении между штифтом pogo и печатной платой. Это связано с тем, что, если штырь просто припаян, единственная механическая прочность исходит от адгезии между подушкой штифта pogo и подложкой печатной платы (которая не очень сильная).

План PCB - все это тяжелая работа, чтобы сохранить односторонние и нулевые перемычки!

Использование логического зонда

Использование логического датчика очень просто:

  1. Убедитесь, что датчик имеет мощность (от 5 до 9 В).
  2. Соедините заземление зонда с землей цепи, которую вы тестируете.
  3. Проверить цепь.

В приведенной ниже таблице показана комбинация светодиодов и того, что они представляют.

функция

Красный светодиод

Желтый светодиод

Зеленый светодиод

На

OFF

OFF

НА

от

НА

OFF

OFF

колеблющийся

НА

НА

НА

плавучий

OFF

НА

OFF

Резюме

Когда проект логического зонда завершен, вы можете теперь тестировать и отлаживать собственные схемы. Конечно, этот проект можно было бы расширить, разработав схему с несколькими входами, как и логический анализатор. Таким образом, вы можете одновременно тестировать несколько точек и лучше понимать, что происходит в вашей сети.

Попробуйте этот проект сами! Получить спецификацию.

Промышленные программируемые логические контроллеры | Аргумент Энерго

Тип электрич. соединения со стороны платы

Все Винтовое соединение 1 Панель c соединительными отверстиями 1

Подходит для определения абсолютного значения

Все Нет 2

Подходит для управления маршрутом

Все Нет 2

Подходит для аналог. сигналов

Все Нет 2

Подходит для многоосевого контроля

Все Нет 2

Количество функций

Все 38 2

Возможно позиционирование одной оси

Все Нет 2

Подходит для контроля сварки

Все Нет 2

Тип электрич. соединения со стороны корпуса

Все Винтовое соединение 1 Соединение с пружинным зажимом 1

Подходит для SSI

Все Нет 2

Ширина, мм

Все 71 2

Сертифицировано по EN ISO 13849-1

Все Уровень А 2

Подходит для определения данных приращений

Все Нет 2

Подходит для измерения потока

Все Нет 2

Функционал. назначение/применение

Все ПЛК - компьютер (ПК) 1 Соединение БАВР-блок упракления БАВР 1

Подходит для цифров. сигналов

Все Да 2

Подходит для подвижного отрезного станка

Все Нет 2

Дублирование

Все Нет 2

Подходит для многоосевого позиционирования

Все Нет 2

Подходит для взвешивания

Все Нет 2

Дополнит. исполнение (EX ib)

Все Нет 2

Подходит для NC

Все Нет 2

Количество полюсов

Все 1 1 2 1

Категория согл. EN 954-1

Все 1 2

Подходит для ЧПУ

Все Да 1 Нет 1

Возможен контроль потока

Все Нет 2

Длина,м

Все 1,4 1 1,9 1

Подходит для карты вывода ПЛК

Все Нет 2

Подходит для управления камерой

Все Нет 2

Подходит для функций безопасности

Все Да 2

Подходит для контроля температуры

Все Да 1 Нет 1

Возможен контроль одной оси

Все Нет 2

Подходит для счета

Все Да 2

Дополнит. исполннение (EX ia)

Все Нет 2

Подходит для контроля давления

Все Да 1 Нет 1

5 основных проблем с ПЛК

 

Джонатан Вилкинс, European Automation

 

Программируемый логический контроллер, или ПЛК, стал основой отрасли автоматизации и используется в бесчисленном количестве сценариев промышленной автоматизации по всему миру.

 

ПЛК находят свое применение повсюду, где есть необходимость управлять устройствами, такими, как пневматические приводы, роботы, светофоры, гидравлика, упаковочные линии и т.д. У такого основополагающего элемента АСУ ТП, работающего в условиях серьезных нагрузок, не должно быть никаких проблем в эксплуатации, не так ли?

 

ПЛК – основа систем управления, своеобразная «икона» отрасли, с целым набором функций, возможностей и зон применения. ПЛК следят за временем, считают, хранят в памяти информацию, следят за выполнением логики и совершенно необходимы для разнообразных сложнейших технологических процессов. Что может быть не так?

 

«Черный ящик»

 

Среди тех, кто плохо знаком с ПЛК, есть склонность побаиваться загадочного «черного ящика» при поиске и устранении неисправностей. Впрочем, на самом деле, неисправности ПЛК легче устранять, по сравнению с проводными системами управления предыдущих поколений, а «черный ящик», на деле, упрощает диагностику.

 

Вынеся за скобки традиционные и универсальные проблемы, такие как ошибки программирования и соединения, мы рассмотрим пять основных причин неисправностей, которые могут случится с нашим ненаглядным ПЛК.

 

1) Модули ввода/вывода

Как правило, если что-то не так происходит с ПЛК, считают, что это из-за проблем с внутренним процессором. Как раз нет!

Основная доля проблем с ПЛК приходится на модули ввода/ввода или полевое оборудование. Нет необходимости в панике в любом случае, так как совсем не сложно определить, приходится проблема на ввод/вывод или на процессор. Оба типа проблем имеют свои уникальные «сигнатуры», существенно облегчающие обследование и выводы.

 

2) Внутри или снаружи?

Если проблема ассоциируется с конкретным модулем ввода/вывода, это, как правило, означает, что проблема находится снаружи – аналогично проблемам, вызванным неправильными соединениями. Если же проблема внутренняя, она, скорее всего, приведет к хаотичному поведению, разнообразным отказам или, даже, полному отказу ПЛК!  

 

Вначале необходимо проверить «целостность» ПЛК, и начать с электрической проверки заземления. Провода питания и заземления должны быть проверены со всей тщательностью на предмет поврежденных, «разболтанных» или подверженных коррозии соединений. Подача питания должна быть проверена с помощью мультиметра, а устройство должно быть обесточено.

 

3) Помехи

Еще одной проблемой для ПЛК может быть влияние электромагнитных или радиопомех. Они могут быть связаны с ударами молний, сварочными работами или использованием портативных радиостанций. Мобильные радиостанции, используемые персоналом, - источник мощного радиоизлучения, которое может помешать работе любого неэкранированного оборудования. Надлежащее экранирование и заземление поможет справиться с любыми проблемами в области электромагнитных помех.

 

4) Повреждения памяти ПЛК

Частотные помехи, питание и заземление – те проблемы, которые могут влиять на работу памяти ПЛК, и даже повреждать ее, так что, совершенно необходимо проверять, что выполняемая программа все еще верна и соответствует резервной копии, которая хранится на диске, пленке или в облаке. Как и в случае с любой копией данных, резервные копии программ должны быть надежно защищены от влияния электромагнитных полей, высоких температур и влажности.

 

5) Физика/логика

При устранении проблем с ПЛК основная задача всегда одна – выяснить, почему внутреннее состояние ПЛК (то, что по мнению ПЛК происходит) отличается от происходящего на самом деле.

 

Необходимо определить статус взаимоотношений между физическим вводом/выводом и инструкциями ввода/вывода в программе ПЛК. У разных производителей есть разные решения и схемы – как правило, портативное терминальное устройство или ПК (не ПЛК). Любое из них можно использовать для проверки состояния ввода/вывода.

 

Как и у большинства вещей в жизни, у ПЛК есть свои преимущества и недостатки. Разумеется, всегда будет необходимость в большом объеме работ, связанных с проводными соединениями, сложности с модернизацией и заменой, и, потенциально, долгие периоды простоя, когда что-то пойдет не так.

 

И все же, как в случае с упрямым престарелым родственником, есть некая приятная и внушающая доверие ностальгия, связанная со столь хорошо знакомым ПЛК. В сегодняшнем мире высоких технологий все еще есть смысл иногда опираться на оборудование и бренды, которые хорошо знакомы. Экономические эффективные, гибкие, надежные, обладающие отработанными методиками поиска и устранения неисправностей – ПЛК являются очень зрелой технологией.

 

Плата заземления кабеля (DX-EMC-MNT-3N)

Программа поставок

Идентификатор типа

    DC1
DA1

Подассортимент

    Монтажный адаптер

Основная функция

    для монтажа соединительных кабелей со стороны сети

Описание

    Типоразмер FS3

Применяемое для

    DC1, DA1, DL1

Информация о комплекте поставки

    с панелями ввода кабеля

Технические характеристики согласно ETIM 6. 0(отобразить признаки изделий)(скрыть признаки изделий)

Low-voltage industrial components (EG000017) / Accessories for frequency controller (EC002025)
Electric engineering, automation, process control engineering / Electrical drive / Electrical drive (accessories) / Frequency controller (accessories) ([email protected] [ACN127008])

Type of accessory

    Mounting set

Банковский перевод: счет на оплату формируется после оформления заказа или отправки заявки в произвольной форме на электронную почту [email protected] Специалист свяжется с вами для уточнения деталей.

Самовывоз с нашего склада:
По адресу: Московская область, Люберецкий район, п. Томилино, мкр. Птицефабрика, стр. лит. А, офис 109. Мы есть на Яндекс.Карты.

Доставка до двери
Осуществляется курьерской службой или транспортной компанией (на Ваш выбор).
Мы работаем с ведущими транспортными компаниями и доставляем заказы во все регионы России и Казахстана.

Доставка до терминала
Транспортной компании в Москва – БЕСПЛАТНО.

ЗАЗЕМЛЕНИЕ В СИСТЕМАХ СО СМЕШАННЫМИ СИГНАЛАМИ

-

ЗАЗЕМЛЕНИЕ В СИСТЕМАХ СО СМЕШАННЫМИ СИГНАЛАМИ

Уолт Кестер, Джеймс Брайант, Майк Бирн 

Современные системы обработки данных обычно содержат в себе устройства со смешанными сигналами (mixed-signal devices), такие как аналого-цифровые преобразователи (АЦП), цифро-аналоговые преобразователи (ЦАП), а также быстродействующие цифровые сигнальные процессоры (DSP). Обработка аналоговых сигналов требует большого динамического диапазона, поэтому возрастает роль высокопроизводительных ЦАП и АЦП. Обеспечение широкого динамического диапазона с низкими шумами во враждебном цифровом окружении возможно только при использовании эффективных приемов проектирования высокоскоростных схем, включающих в себя технически грамотную трассировку сигнала, развязку и заземление.

В прошлом "высокоточные низкоскоростные" схемы обычно рассматривались отдельно от так называемых "высокоскоростных" схем. В том, что касается АЦП и ЦАП, частота отсчетов (или обновления на выходе) обычно рассматривалась как критерий скорости работы схемы. Однако следующие два примера показывают, что на практике большинство современных ИС обработки сигналов являются "высокоскоростными" и поэтому должны рассматриваться как таковые для достижения хороших результатов. Это касается цифровых сигнальных процессоров (DSP), АЦП и ЦАП.

Все АЦП выборки (АЦП со схемой выборки-запоминания), используемые в системах обработки сигналов, работают с достаточно высокоскоростными генераторами тактовых импульсов с малым временем нарастания и спада (обычно несколько наносекунд) и должны рассматриваться как высокоскоростные устройства, даже если их производительность (частота отсчетов) представляется невысокой. Например, 12-разрядный АЦП последовательного приближения (SAR) типа AD7892 работает при внутренней тактовой частоте 8 МГц, тогда как его частота отсчетов составляет только 600 кГц.

Для сигма-дельта (Σ-Δ) АЦП также требуется высокочастотный тактовый генератор, т.к. такие АЦП имеют высокий коэффициент передискретизации. 16-разрядный АЦП AD7722 имеет частоту обновления на выходе (эффективную частоту отсчетов), равную 195 кГц, но в действительности производит выборку с частотой 12.5 МГц (в 64 раза выше). Даже так называемые низкочастотные сигма-дельта (Σ-Δ) АЦП промышленного назначения с высоким разрешением (имеющие частоту обновления на выходе от 10 Гц до 7.5 кГц) работают при тактовой частоте 5 МГц или выше и обеспечивают 24-разрядное разрешение (например, микросхемы фирмы Analog Devices типа AD7730 и AD7731).

Еще более осложняет вопрос то, что ИС со смешанными сигналами содержит как аналоговую, так и цифровую части, и поэтому многие возникающие проблемы связаны с неправильным заземлением. К тому же некоторые ИС со смешанными сигналами имеют относительно низкие цифровые токи, в то время как у других они велики. Во многих случаях с точки зрения оптимального заземления эти два варианта должны рассматриваться отдельно.

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

ПОВЕРХНОСТИ ЗАЗЕМЛЕНИЯ И ПИТАНИЯ

Обеспечение низкоимпедансных заземляющих поверхностей большой площади очень важно для всех современных аналоговых схем. Заземляющая поверхность действует не только как низкоимпедансный обратный тракт для развязки высокочастотных токов (вызванных работой скоростных цифровых схем), но также минимизирует электромагнитные радиочастотные (EMI/RFI) помехи. Благодаря экранирующему действию заземляющей поверхности чувствительность устройства к внешним помехам также уменьшается.

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

Использование шины-проводника в качестве заземления категорически неприемлемо из-за ее импеданса на частоте, соответствующей скорости переключения большинства логических схем. Например, провод калибра 22 стандарта AWG (American Wire Gauge), что соответствует диаметру 0,64 мм, обладает индуктивностью около 20 нГн/дюйм. Проходящий по этому проводу ток, вызванный логическим сигналом и имеющий скорость нарастания 10 мА/нс, будет создавать импульс напряжения величиной в 200 мВ на 1 дюйм провода:

Для сигналов, имеющих размах 2 В, это означает ошибку около 200 мВ или 10% (точность приблизительно 3.5 разряда). Даже в полностью цифровых схемах эта ошибка будет означать значительное уменьшение запаса помехоустойчивости.

Рис. 10.13 иллюстрирует ситуацию, когда цифровой ток, возвращающийся по шине "земли", модулирует аналоговый возвратный ток (верхний рисунок). Индуктивность и сопротивление провода, по которому течет обратный ток, являются общими для аналоговой и цифровой схем, это и является причиной взаимодействия и приводит к помехам. Одно из возможных решений – заставить обратный ток идти прямо к общей точке GND REF, как показано на нижнем рисунке. Это – иллюстрация фундаментальной концепции заземления «звездой» или системы с одной точкой заземления. Реализовать настоящее одноточечное заземление в системе, которая содержит большое количество высокочастотных трактов, сложно, т.к. физическая длина каждого провода, по которому течет обратный ток, будет вносить паразитное сопротивление и индуктивность, которые могут сделать затруднительным обеспечение низкоимпедансного заземления для токов высокой частоты. На практике тракт возвратного тока должен включать в себя заземляющие поверхности большой площади для того, чтобы обеспечить низкое сопротивления для высокочастотных токов. Таким образом, без низкоимпедансной заземляющей поверхности практически невозможно избежать появления общего для аналоговой и цифровой схем тракта заземления, особенно на высоких частотах.

Все выводы заземления микросхем должны соединяться с помощью пайки прямо с низкоимпедансной заземляющей поверхностью с целью минимизировать последовательную индуктивность и сопротивление. Использование традиционных панелек (разъемов) для микросхем в высокоскоростных устройствах не рекомендуется. Добавочная индуктивность и емкость даже «низкопрофильных» панелек может привести к нарушению работы схемы из-за появления дополнительных трактов. Если панельки всё же должны быть использованы с микросхемой в DIP-корпусе, например, при конструировании прототипа, то имеет смысл использовать «панельку-разъем» или наборную панельку из отдельных гнезд. Существуют панельки-разъемы со встроенным развязывающим конденсатором или без него (по каталогу AMP № 5-330808-3 и 5-330808-6). Они имеют позолоченные пружинные контакты, которые обеспечивают хорошее электрическое и механическое соединение с выводами ИС. Однако многократное использование может ухудшить их параметры.

Выводы питания должны быть развязаны прямо на заземляющую поверхность с помощью низкоиндуктивных керамических конденсаторов для поверхностного монтажа (SMD). Если используется конденсатор для обычного монтажа, то его выводы должны иметь длину не более 1 мм. Керамические конденсаторы должны быть расположены как можно ближе к выводам питания микросхемы. Для дополнительной развязки могут также потребоваться ферритовые бусины.

 

ЦИФРОВЫЕ ТОКИ, ПРОХОДЯЩИЕ ПО АНАЛОГОВОМУ ВОЗВРАТНОМУ ТРАКТУ, СОЗДАЮТ НАПРЯЖЕНИЕ ОШИБКИ 

 

ДВУСТОРОННЯЯ ИЛИ МНОГОСЛОЙНАЯ ПЕЧАТНАЯ ПЛАТА

Каждая печатная плата в системе должна иметь хотя бы один слой, полностью отведенный под заземляющую поверхность. В идеале двусторонняя плата должна иметь одну сторону, полностью отведенную под заземление и вторую – для различных соединений. На практике это невозможно, т.к. частично заземляющая поверхность, разумеется, должна быть удалена для отведения места под дорожки питания и сигналов, межслойные переходы и сквозные монтажные отверстия. Тем не менее как можно больше площади заземляющей поверхности должно быть сохранено, хотя бы 75% необходимо оставить. После окончания предварительной разводки платы поверхность заземления должна быть аккуратно проверена для того, чтобы убедиться, что не осталось изолированных "островков" заземления, т.к. выводы заземления микросхем, расположенные на таких островках, не будут иметь связи с заземляющей поверхностью. Также заземляющая поверхность должна быть проверена на предмет слишком тоненьких соединений между соседними большими площадями, которые могут значительно уменьшить эффективность заземляющей поверхности. Можно даже и не говорить, что при автоматической разводке платы обычно возникают неполадки в работе устройства со смешанными сигналами, поэтому настоятельно рекомендуем доводить плату вручную.

Системы, в которых интегральные микросхемы для поверхностного монтажа расположены тесно, будут иметь большое число соединений, поэтому здесь нужно использовать многослойные платы. Это позволит хотя бы один слой полностью отвести под заземление. В простой 4-слойной плате два внутренних слоя обычно используются для заземляющей поверхности и поверхности питания, а два внешних слоя – для выполнения соединений между установленными компонентами. Расположение питающей и заземляющей поверхностей в соседних слоях обеспечивает дополнительную межповерхностную емкость, которая способствует высокочастотной развязке тока питания. В большинстве систем четырех слоев недостаточно, и требуются дополнительные слои для трассировки линий сигналов, а также питания.

 

БЕЗ ЗАЗЕМЛЯЮЩИХ ПОВЕРХНОСТЕЙ НЕ ОБОЙТИСЬ! 

  • Используйте для заземления (и питания) поверхности большой площади, чтобы обеспечить низкоимпедансный путь для возвратного тока (Необходимо использовать как минимум двустороннюю плату!)

 

Двусторонние платы:

  • Избегайте многочисленных сквозных соединений и межслойных переходов, из-за которых уменьшается площадь поверхности заземления

  • Отводите под заземление не менее 75% площади одной стороны платы

 

Многослойные платы:

  • Отведите как минимум один слой под поверхность заземления

  • Отведите как минимум один слой под поверхность питания

  • Используйте по меньшей мере 30 – 40% выводов соединителя печатной платы для заземления

  • Продолжайте поверхность заземления на материнскую плату до источника питания

 

 

МНОГОПЛАТНЫЕ СИСТЕМЫ СО СМЕШАННЫМИ СИГНАЛАМИ

Лучший способ минимизировать импеданс заземления в многоплатной системе – использовать "материнскую плату" в качестве объединительной для организации соединения между платами, и, кроме того, обеспечить продолжение заземляющей поверхности на общую плату. В соединителе печатной платы хотя бы 30-40% выводов должно быть отведено под заземление, и эти выводы должны быть связаны с заземляющей поверхностью на материнской объединяющей плате. Для окончательного завершения устройства заземления системы существуют два способа:

1. Заземляющая поверхность на объединяющей плате может быть соединена с "землей" монтажной панели (шасси) во многих точках, таким образом равномерно распределяя различные пути возвратного тока. Этот способ обычно называется "многоточечным" заземлением и его схема показана на рис. 10.15.

2. Заземляющая поверхность может быть подключена по схеме "звезды" к единственной в системе точке заземления (обычно вблизи источника питания).

 

КОНЦЕПЦИЯ МНОГОТОЧЕЧНОГО ЗАЗЕМЛЕНИЯ

Первый подход чаще всего используется в чисто цифровых системах, но может быть использован и в системах со смешанными сигналами, если токи заземления цифровых схем достаточно малы и распределены на больших площадях. Низкий импеданс заземления обеспечивается на всем пути по плате, по объединяющей плате и далее по монтажной панели (шасси). Однако очень важно поддерживать хорошее электрическое соединение в местах, где "земля" связана с металлической монтажной панелью. Для этого необходимы металлические винты-"саморезы" или шайбы с насечками. Особое внимание соединению должно быть уделено там, где в качестве материала монтажной панели используется алюминий, т.к. его поверхность проявляет себя как изолятор.

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

 

РАЗДЕЛЕНИЕ АНАЛОГОВОГО И ЦИФРОВОГО ЗАЗЕМЛЕНИЯ

В системах со смешанными сигналами с большим числом цифровых схем весьма желательно физически отделить чувствительные аналоговые компоненты от шумных цифровых компонентов. Также пойдет на пользу использование раздельных заземляющих поверхностей для аналоговых и цифровых схем. Эти поверхности не должны перекрываться для того, чтобы уменьшить емкостную связь между ними. Раздельные аналоговая и цифровая заземляющие поверхности продолжаются на объединительной плате с использованием или заземляющей поверхности материнской платы, или "экранирующего заземления", которое выполняется при помощи проводов заземления, чередующимися в разъёме с сигнальными проводами. На структурной схеме, показанной на рис.10.16, видно, что две заземляющих поверхности на всем своем протяжении идут отдельно до точки заземления "звездой", которая обычно располагается около источника питания. Соединение заземляющих поверхностей и источника питания в точке заземления "звездой" должно быть выполнено с помощью многочисленных шин или толстого медного жгута для минимизации сопротивления и индуктивности. Пара встречно-параллельных диодов Шотки имеется на каждой печатной плате для предотвращения случайного появления постоянного напряжения между двумя заземляющими системами в момент, когда платы вставляются или вынимаются. Это напряжение не должно превышать 300 мВ, чтобы избежать выхода из строя ИС, которая подключена как к аналоговой, так и к цифровой заземляющим поверхностям. Предпочтительно использовать диоды Шотки, так как они имеют малую емкость и малое падение напряжения в режиме прямого тока. Низкая емкость позволяет избежать связи по переменному току между аналоговой и цифровой заземляющими поверхностями. Диоды Шотки начинают проводить при прямом напряжении около 300 мВ, и если ожидаются большие токи, может понадобиться несколько параллельно соединенных диодов. В некоторых случаях вместо диодов Шотки могут быть использованы дроссели с ферритовыми бусинами, однако они вызывают появление паразитных контуров с замыканием через "землю" по постоянному току, которые могут вызвать проблемы в прецизионных системах. 

РАЗДЕЛЕНИЕ АНАЛОГОВОЙ И ЦИФРОВОЙ ЗАЗЕМЛЯЮЩИХ ПОВЕРХНОСТЕЙ

Обязательно нужно обеспечить сопротивление заземляющих поверхностей как можно меньшим на всем пути к точке заземления "звездой". Переменное или постоянное напряжение более чем 300 мВ между двумя заземляющими поверхностями может не только вывести из строя ИС, но и вызвать ошибочное включение логического элемента и, возможно, переход в фиксированное состояние.

ЗАЗЕМЛЕНИЕ И РАЗВЯЗКА ИС СО СМЕШАННЫМИ СИГНАЛАМИ И НЕБОЛЬШИМИ ЦИФРОВЫМИ ТОКАМИ

Чувствительные аналоговые компоненты, такие как усилители и источники опорного напряжения, всегда подключаются и развязываются на аналоговой заземляющей поверхности. АЦП и ЦАП (и другие ИС со смешанными сигналами) с небольшими цифровыми токами обычно должны рассматриваться как аналоговые компоненты и также заземлены и развязаны на аналоговой заземляющей поверхности. На первый взгляд это может показаться несколько противоречивым, т.к. преобразователь имеет и аналоговый и цифровой интерфейс, и он имеет выводы, обычно обозначенные как аналоговое заземление (AGND) и цифровое заземление (DGND). Схема, показанная на рисунке 10.17 поможет разобраться с этим кажущимся затруднением.

 

ПРАВИЛЬНОЕ ЗАЗЕМЛЕНИЕ МИКРОСХЕМЫ СО СМЕШАННЫМИ СИГНАЛАМИ С НЕБОЛЬШИМИ ЦИФРОВЫМИ ТОКАМИ

Внутри микросхем, которые имеют как аналоговую так и цифровую схемы, например АЦП или ЦАП, "земли" обычно разделяются для предотвращения влияния цифровых сигналов на аналоговую часть. На рис.10.17 показана упрощенная модель преобразователя. Проектировщик ИС ничего не может поделать с индуктивностью и сопротивлением соединений, идущих от контактов на кристалле к выводам корпуса ИС, только оставить их как есть. Цифровые токи, имеющие резкие перепады, создают напряжение в точке В, которое неизбежно передается в точку А аналоговой схемы через паразитную емкость СПАРАЗ. К тому же неизбежно присутствует паразитная емкость между каждым выводом корпуса ИС, равная приблизительно 0.2 пФ. И задача проектировщика ИС – заставить микросхему работать, несмотря на это. Однако для того, чтобы предотвратить дальнейшее влияние, выводы AGND и DGND должны быть соединены с аналоговой заземляющей поверхностью кратчайшим путем. Любое дополнительный импеданс в соединении DGND с "землей" приведет к образованию дополнительного цифрового шума в точке В, что, в свою очередь, наведет дополнительный цифровой шум в аналоговой схеме за счет паразитной емкости.

Обратите внимание, что при соединении DGND с цифровой заземляющей поверхностью напряжение шума VШУМА будет прикладываться между выводами AGND и DGND, что приведет к неудаче!

Обозначение вывода микросхемы как "DGND" говорит о том, что этот вывод связан с цепью заземления цифровой части ИС. Но это не подразумевает, что этот вывод должен быть соединен с цифровым заземлением системы.

Конечно, такая компоновка может привести к появлению небольшого цифрового шума в аналоговой заземляющей поверхности. Но эти токи обычно достаточно малы, и могут быть минимизированы, если гарантировать минимальную нагрузку на выходе преобразователя (обычно преобразователь и проектируется с маломощными выходами). Уменьшение нагрузки на цифровых выходах преобразователя, кроме того, сделает логические переходы сигнала на выходе преобразователя свободными от переходных процессов и минимизирует цифровые токи переключения, и таким образом уменьшит любое возможное влияние на аналоговую часть преобразователя. Вывод питания цифровой части (VD) может быть дополнительно изолирован от источника аналогового питания при помощи высокодобротного дросселя с ферритовой бусиной, как показано на рис.10.17. Внутренние импульсные цифровые токи преобразователя будут идти по небольшому контуру от VD через конденсатор развязки к DGND (этот путь показан на схеме толстой линией). Импульсные цифровые токи, таким образом, не появятся вне контура на аналоговой заземляющей поверхности, а будут циркулировать в контуре. Развязывающий конденсатор на выводе VD должен быть установлен как можно ближе к преобразователю, чтобы минимизировать паразитную индуктивность. В качестве данных конденсаторов должны быть применены низкоиндуктивные керамические конденсаторы, обычно величиной от 0.01 до 0.1 мкФ.

ВНИМАТЕЛЬНО ОТНЕСИТЕСЬ К ЦИФРОВОМУ ВЫХОДУ АЦП

Всегда полезно подключать буферный регистр к выходу преобразователя (как показано на рис. 10.17) с целью изолировать цифровые цепи преобразователя от шумов, присутствующих на шине данных. Данный регистр также служит для минимизации нагрузки на цифровых выходах преобразователя и действует как экран между этими цифровыми выходами и шиной данных. Даже несмотря на то, что многие преобразователи имеют входы/выходы с тремя состояниями, применение подобного изолирующего регистра остается оправданным. В некоторых случаях для обеспечения большей развязки может быть желательным добавление еще одного буферного регистра на аналоговой заземляющей поверхности после выхода преобразователя.

Последовательно включенный резистор (обозначенный символом R на рис. 10.17) между выходом АЦП и входом буферного регистра помогает минимизировать цифровые импульсные токи, которые могут повлиять на качество работы преобразователя. Этот резистор изолирует драйвер цифрового выхода преобразователя от входной емкости буферного регистра. Кроме того, RC-цепочка, образуемая резистором R и входной емкостью буферного регистра, действует как фильтр низкой частоты и таким образом сглаживает резкие фронты.

Типичный логический элемент КМОП в сочетании с дорожкой печатной платы и сквозным переходом образует емкостную нагрузку величиной около 10 пФ. Скорость переключения логического выхода величиной 1 В/нс вызовет импульс тока в 10 мА, если здесь не будет изолирующего резистора: 

Последовательно включенный резистор сопротивлением 500 Ом уменьшит данный выходной ток и в результате увеличит время нарастания и спада импульса до приблизительно 11 нс, если входная емкость регистра будет равна 10 пФ:

Регистров ТТЛ желательно избегать; они могут заметно увеличить динамические токи переключения, так как имеют большую входную емкость.

Буферный регистр и другие цифровые схемы должны быть заземлены и развязаны на цифровой заземляющей поверхности печатной платы. Обратите внимание, что любой шумовой сигнал между аналоговой и цифровой заземляющими поверхностями уменьшает запас помехоустойчивости цифрового интерфейса преобразователя. Так как запас помехоустойчивости цифровой схемы составляет порядка сотен или тысяч милливольт, это едва ли будет иметь значение. Аналоговая заземляющая поверхность обычно не бывает слишком "шумной", но если шум на цифровой заземляющей поверхности (относительно аналоговой заземляющей поверхности) превышает несколько сотен милливольт, то необходимо предпринять шаги для уменьшения импеданса цифровой заземляющей поверхности, таким образом обеспечивая приемлемый уровень запаса помехоустойчивости цифровой схемы. Ни при каких условиях напряжение между двумя заземляющими поверхностями не должно превышать 300 мВ, иначе ИС может выйти из строя.

Также весьма желательно наличие отдельных источников питания для аналоговой и цифровой схем. Для питания преобразователя необходим "аналоговый" источник питания. Если преобразователь имеет вывод, обозначенный как вывод питания цифровой части схемы (VD), он должен быть подключен или к отдельному "аналоговому" источнику питания, или подключен через фильтр, как показано на схеме. Все выводы питания преобразователя должны быть развязаны на аналоговой заземляющей поверхности, а все выводы питания цифровых схем должны быть развязаны на цифровой заземляющей поверхности, как показано на рис. 10.18. Если источник "цифрового" питания относительно тихий, он может оказаться вполне пригодным для питания аналоговых схем, но будьте очень внимательны.

В некоторых случаях не представляется возможным подключить вывод VD к источнику питания аналоговой части. Некоторые из новейших высокоскоростных ИС могут быть рассчитаны на работу аналоговой части при напряжении питания 5 В, в то время как цифровая часть питается от источника +3 В для того, чтобы быть совместимым с 3-вольтовой логикой. В этом случае вывод питания +3 В микросхемы должен быть развязан непосредственно на аналоговую заземляющую поверхность. Также будет благоразумно включить дроссель на ферритовой бусине последовательно с линией питания, которая подключена к выводу питания +3 В цифровой части ИС. 

ТОЧКИ ЗАЗЕМЛЕНИЯ И РАЗВЯЗКИ

Схема генератора тактовых импульсов должна рассматриваться как аналоговая схема также должна быть заземлена и тщательно разведена на аналоговой заземляющей поверхности. Фазовый шум генератора тактовых импульсов приводит к ухудшению отношения сигнал/шум (SNR) системы, как будет вкратце рассмотрено ниже.

О ГЕНЕРАТОРЕ ТАКТОВЫХ ИМПУЛЬСОВ

В высокопроизводительных системах дискретизации для генерации тактовых импульсов преобразования АЦП (или ЦАП) необходимо использовать кварцевый генератор с низким фазовым шумом, т.к. фазовый шум (jitter) тактового генератора модулирует аналоговый входной/выходной сигнал и увеличивает уровень шума и искажений. Генератор тактовых импульсов должен быть изолирован от шумных цифровых цепей и заземлен и развязан на аналоговой заземляющей поверхности, точно так же как операционные усилители и АЦП.

Действие фазового шума тактового генератора на отношение сигнал/шум (SNR) аналогово-цифрового преобразователя выражается следующей приблизительной формулой:

где SNR – это отношение сигнал/шум идеального АЦП с бесконечным разрешением, в котором единственным источником шума является шум, вызванный фазовым шумом тактового генератора со среднеквадратичным значением tj. Обратите внимание, что f в приведенном уравнении означает частоту аналогового входного сигнала. Приведем простой пример. Пусть среднеквадратичное значение tj = 50 пс, f = 100 кГц, тогда отношение сигнал/шум SNR = 90 dB, что соответствует 15-разрядному динамическому диапазону.

Необходимо отметить, что tj в приведенном уравнении – это корень из суммы квадратов величин фазового шума внешнего тактового генератора и фазового шума внутренних тактовых импульсов АЦП (называемого апертурным фазовым шумом). Однако в большинстве высокопроизводительных АЦП внутренний апертурный фазовый шум пренебрежимо мал по сравнению с фазовым шумом генератора тактовых импульсов.

Так как ухудшение соотношения сигнал/шум (SNR) в первую очередь связано с фазовым шумом внешнего тактового генератора, необходимо принять меры для того, чтобы генератор тактовых импульсов был насколько возможно малошумящим и имел наименьший из возможных фазовый шум. Это требует применения кварцевого генератора. Существует ряд производителей миниатюрных кварцевых генераторов с низким уровнем фазового шума (со среднеквадратичным значением менее 5 пс) и с КМОП-совместимым выходом. (Например, MF Electronics, 10 Commerce Dr., New Rochelle, NY 10801, Tel. 914-576-6570.)

В идеале кварцевый тактовый генератор должен находиться на аналоговой заземляющей поверхности в системе с раздельным заземлением. Однако это не всегда возможно по различным причинам. Во многих случаях тактовые импульсы преобразователя необходимо получить из более высокочастотных тактовых импульсов всей системы, которые генерируются на цифровой заземляющей поверхности. Затем эти импульсы должны идти от места их генерации на цифровой заземляющей поверхности к АЦП, находящемуся на аналоговой заземляющей поверхности. Шум между двумя заземляющими поверхностями добавляется непосредственно к тактовому сигналу и приводит к увеличению фазового шума. Этот фазовый шум может ухудшить соотношение сигнал/шум преобразователя, а также вызвать появление нежелательных гармоник. Данное явление иногда можно устранить, если передавать тактовые импульсы как дифференциальный сигнал с помощью либо небольшого высокочастотного трансформатора, как показано на рис. 10.19, либо с помощью быстродействующих интегральных микросхем дифференциального драйвера и приемника. Если используется активный дифференциальный драйвер и приемник, то они должны быть выполнены по технологии ECL, чтобы минимизировать фазовый шум. В системе с однополярным питанием +5 В микросхема ECL-логики может быть включена между шиной земли и питания +5 В (PECL), а сигнал с дифференциальных выходов преобразован для подачи на вход тактовых импульсов АЦП. В любом случае, изначальные тактовые импульсы должны быть генерированы с помощью кварцевого генератора с низким уровнем фазового шума.

 

ПЕРЕДАЧА ТАКТОВЫХ ИМПУЛЬСОВ С ЦИФРОВОЙ ЗАЗЕМЛЯЮЩЕЙ ПОВЕРХНОСТИ НА АНАЛОГОВУЮ

ИСТОЧНИКИ НЕУДАЧ ПРИ ЗАЗЕМЛЕНИИ СИСТЕМЫ СО СМЕШАННЫМИ СИГНАЛАМИ: ПРИМЕНЕНИЕ ОДНОПЛАТНОЙ СХЕМЫ ЗАЗЕМЛЕНИЯ К МНОГОПЛАТНОЙ СИСТЕМЕ

В большинстве технических описаний АЦП, ЦАП и других устройств со смешанными сигналами речь идет о заземлении на единственной печатной плате, обычно оценочной плате, разработанной тем же производителем, что и данная микросхема. Использование этого подхода к многоплатным системам или к системам с несколькими АЦП/ЦАП часто является источником неудач. Обычно рекомендуется разделять заземляющую поверхность печатной платы на аналоговую и цифровую. Далее рекомендуется выводы AGND и DGND преобразователя соединить вместе и соединить аналоговую заземляющую поверхность с цифровой в этой же точке, как показано на рис. 10.20. Это, в сущности, создает в устройстве со смешанными сигналами систему заземления "звезда".

Все шумные цифровые токи протекают от источника "цифрового" питания к цифровой заземляющей поверхности и обратно к "цифровому" источнику, они изолированы от чувствительной аналоговой части платы. Система заземления "звезда" образуется, когда аналоговая и цифровая заземляющие поверхности соединены вместе в той точке, где находится устройство со смешанными сигналами. Хотя этот подход обычно работает в простой системе с одной печатной платой и одним АЦП/ЦАП, он не является оптимальным для многоплатных систем со смешанными сигналами. В системе, имеющей несколько АЦП или ЦАП на различных печатных платах (или на одной, если хотите), аналоговая и цифровая поверхности получаются соединенными в нескольких точках, создавая возможность появления контуров заземления и делая систему заземления в одной точке "звездой" невозможной. По этим причинам такой подход к заземлению не рекомендуется для многоплатных систем; для ИС со смешанными сигналами и небольшими цифровыми токами должен использоваться метод, обсужденный выше.

ЗАЗЕМЛЕНИЕ ИС СО СМЕШАННЫМИ СИГНАЛАМИ: ОДНОПЛАТНАЯ СИСТЕМА (ТИПИЧНАЯ ОЦЕНОЧНАЯ/ТЕСТОВАЯ ПЛАТА)

ВЫВОДЫ: ЗАЗЕМЛЕНИЕ УСТРОЙСТВ СО СМЕШАННЫМИ СИГНАЛАМИ И МАЛЕНЬКИМИ ЦИФРОВЫМИ ТОКАМИ В МНОГОПЛАТНЫХ СИСТЕМАХ

Схема на рис. 10.21 обобщает ранее описанный подход к заземлению в устройствах со смешанными сигналами и небольшими цифровыми токами. На аналоговую заземляющую поверхность помехи не проникают, т.к. небольшие импульсные цифровые токи протекают по небольшому контуру между VD, развязывающим конденсатором и DGND (показано жирной линией).Устройство со смешанными сигналами любого назначения рассматривается как аналоговый компонент. Шум VN между заземляющими поверхностями уменьшает запас помехоустойчивости в цифровом интерфейсе, но обычно он не вреден, если поддерживать его на уровне менее 300 мВ с помощью низкоимпедансной цифровой заземляющей поверхности на всем пути к точке заземления системы "звездой".

Однако устройства со смешанными сигналами, такие как сигма-дельта АЦП, кодеки и DSP со встроенными аналоговыми функциями, становятся все более и более насыщенными цифровыми схемами. Вместе с дополнительными цифровыми схемами цифровые токи и шумы становятся больше. Например, сигма-дельта АЦП или ЦАП содержат сложный цифровой фильтр, который существенно увеличивает цифровой ток в устройстве. Метод, который был обсужден ранее, заключался в помещении развязывающего конденсатора между VD и DGND с целью удерживать цифровые токи замкнутыми и изолированными в небольшом контуре. Однако если цифровые токи достаточно большие и имеют постоянную или низкочастотную составляющую, развязывающий конденсатор, возможно, должен будет иметь неприемлемо большую емкость. Любой цифровой ток, который протекает вне контура между VD и DGND, вынужден будет проходить через аналоговую заземляющую поверхность. Это может отрицательно повлиять на работу системы, особенно в системах с высоким разрешением.

ЗАЗЕМЛЕНИЕ ИС СО СМЕШАННЫМИ СИГНАЛАМИ С НЕБОЛЬШИМИ ВНУТРЕННИМИ ЦИФРОВЫМИ ТОКАМИ: МНОГОПЛАТНАЯ СИСТЕМА

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

ВЫВОДЫ: ЗАЗЕМЛЕНИЕ УСТРОЙСТВ СО СМЕШАННЫМИ СИГНАЛАМИ С БОЛЬШИМИ ЦИФРОВЫМИ ТОКАМИ В МНОГОПЛАТНОЙ СИСТЕМЕ

Альтернативный метод заземления для устройств со смешанными сигналами и большими цифровыми токами показан на рис. 10.22. Вывод AGND устройства со смешанными сигналами связывается с аналоговой заземляющей поверхностью, а вывод DGND этого устройства связывается с цифровой заземляющей поверхностью. Цифровые токи изолированы от аналоговой заземляющей поверхности, но шум между двумя заземляющими поверхностями прикладывается прямо между выводами AGND и DGND устройства. Чтобы этот метод был успешным, аналоговые и цифровые схемы в устройстве со смешанными сигналами должны быть хорошо изолированы. Шум между выводами AGND и DGND не должен быть настолько большим, чтобы уменьшить запас помехоустойчивости или вызвать нарушение работы внутренних аналоговых схем.

 

ЗАЗЕМЛЕНИЕ ИС СО СМЕШАННЫМИ СИГНАЛАМИ С НЕБОЛЬШИМИ ВНУТРЕННИМИ ЦИФРОВЫМИ ТОКАМИ: МНОГОПЛАТНАЯ СИСТЕМА

На рис.10.22 показано место возможного включения встречно-параллельных диодов Шоттки или дросселя на ферритовой бусине для соединения аналоговой и цифровой заземляющих поверхностей. Диоды Шоттки предотвращают появление больших постоянных напряжений или низкочастотных выбросов напряжения между двумя поверхностями. Эти напряжения могут даже повредить ИС со смешанными сигналами, если они превысят 300 мВ, потому что они появляются непосредственно между выводами AGND и DGND. Как альтернатива диодам Шотки дроссель на ферритовой бусинке обеспечивает связь по постоянному току между этими двумя поверхностями, но изолирует их на частотах выше нескольких мегагерц, на которых дроссель-бусинка обретает импеданс. Это защищает ИС от появления постоянного напряжения между выводами AGND и DGND, но связь по постоянному току, обеспечиваемая соединением с ферритовой бусинкой, может привести к появлению нежелательного контура заземления по постоянному току, что может быть неприемлемо для систем высокого разрешения.

ЗАЗЕМЛЕНИЕ ЦИФРОВЫХ ПРОЦЕССОРОВ ОБРАБОТКИ СИГНАЛОВ (DSP) С ВНУТРЕННИМИ СИСТЕМАМИ ФАПЧ

Как и при рассмотрении ИС со смешанными сигналами, где просто заземления AGND и DGND было недостаточно, новые процессоры цифровой обработки сигналов (DSP), такие как ADSP-21160 SHARC со встроенной системой ФАПЧ, увеличивают требования к проектированию заземления. Система ФАПЧ ADSP-21160 позволяет внутреннему генератору ядра (определяющему время выполнения инструкций) работать на частоте в 2, 3 или 4 раза (по выбору) превышающей частоту внешнего генератора CLKIN. CLKIN – это частота, на которой работают синхронные внешние порты. Хотя это позволяет использовать внешний генератор более низкой частоты, нужно быть внимательным при соединении питания и заземления с внутренней системой ФАПЧ, как показано на рис.10.23.

ЗАЗЕМЛЕНИЕ DSP СО ВСТРОЕННОЙ СИСТЕМОЙ ФАЗОВОЙ АВТОПОДСТРОЙКИ ЧАСТОТЫ (ФАПЧ)

Для предотвращения внутреннего влияния цифровых токов на систему ФАПЧ соединения ФАПЧ с питанием и заземлением производятся отдельно на выводах, отмеченных AVDD и AGND соответственно. Питание AVDD +2.5 В должно получаться от питания VDD INT +2.5 В при помощи фильтрующей цепочки, как показано. Это обеспечивает сравнительно бесшумное питание внутренней системы ФАПЧ. Вывод AGND системы ФАПЧ должен быть соединен с цифровой заземляющей поверхностью печатной платы кратчайшим путем. Развязывающие конденсаторы должны быть помещены также на минимальном расстоянии между выводами AVDD и AGND.

 

ВЫВОДЫ ПО ЗАЗЕМЛЕНИЮ

Не существует единого метода заземления, гарантирующего 100% оптимальную работу в любом случае. В этом разделе было представлено несколько возможных вариантов, в зависимости от требуемых характеристик отдельных устройств со смешанными сигналами. Они все применимы, однако предусматривают много возможных вариантов разводки печатной платы.

Обязательно хотя бы один слой платы должен быть отведен под заземляющую поверхность! Предварительное размещение компонентов нужно делать так, чтобы обеспечивать непересекающиеся аналоговую и цифровую поверхности, а в нескольких местах должны быть предусмотрены контактные площадки и межслойные переходы для установки встречно-параллельных диодов Шоттки или дросселей с ферритовыми бусинками, если потребуется. Также должны быть предусмотрены контактные площадки и межслойные переходы, чтобы аналоговая и цифровая поверхности могли быть связаны вместе перемычкой, если потребуется.

Выводы AGND устройств со смешанными сигналами обычно должны быть соединены с аналоговой заземляющей поверхностью. Исключение из этого правила – цифровые процессоры обработки сигналов (DSP), такие как ADSP-21160 SHARC, в которых имеются внутренние системы фазовой автоподстройки частоты (ФАПЧ). Вывод заземления ФАПЧ отмечен как AGND, но должен быть соединен напрямую с цифровой заземляющей поверхностью для DSP.

КРАТКАЯ ФИЛОСОФИЯ ЗАЗЕМЛЕНИЯ

  • Не существует единого метода заземления, который гарантировал бы 100% результат во всех случаях!

  • Одного и того же результата можно добиться различными методами.

  • Хотя бы один слой на каждой плате ДОЛЖЕН быть отведен под заземляющую поверхность!

  • Делайте предварительную компоновку так, чтобы аналоговая и цифровая заземляющие поверхности были разделены.

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

  • Предусмотрите устанавливаемые перемычки таким образом, чтобы выводы DGND устройств со смешанными сигналами могли быть связаны с выводами AGND (с аналоговой заземляющей поверхностью) или с цифровой заземляющей поверхностью. (AGND ФАПЧ в DSP должны быть связаны с цифровой заземляющей поверхностью).

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

  • Следуйте рекомендациям технических описаний по устройствам со смешанными сигналами.

 

НЕКОТОРЫЕ ОБЩИЕ ПРАВИЛА КОМПОНОВКИ ПЛАТЫ ДЛЯ СИСТЕМ СО СМЕШАННЫМИ СИГНАЛАМИ

Очевидно, что шум может быть минимизирован при тщательной компоновке устройства и при минимизации влияния различных сигналов друг на друга. Аналоговые сигналы высокого и низкого уровней должны быть разделены, и те и другие должны размещаться отдельно от цифровых сигналов. Часто бывает, что в системах с преобразованием сигнала в цифровую форму и обратно сигнал тактовых импульсов (являющийся цифровым сигналом) так же чувствителен к шуму, как любой аналоговый сигнал, но он в то же время способен создавать шум, как и любой цифровой сигнал, поэтому должен быть изолирован как от аналоговых, так и от цифровых систем. Если для выработки тактовых импульсов используется ИС, то только одна частота должна вырабатываться одной ИС. Совмещение тактовых генераторов различной частоты в одной ИС приведет к появлению дополнительного фазового шума и взаимных помех и ухудшит производительность системы.

Заземляющая поверхность может работать как экран, где пересекаются чувствительные сигналы. На рисунке 10.25 показана хорошая компоновка платы сбора данных, где все чувствительные области изолированы друг от друга и пути сигналов укорочены насколько возможно. В тех редких случаях, когда в реальности все так же идеально, этот принцип действует.

АНАЛОГОВЫЕ И ЦИФРОВЫЕ СХЕМЫ ДОЛЖНЫ РАСПОЛАГАТЬСЯ НА ПЕЧАТНОЙ ПЛАТЕ РАЗДЕЛЬНО

Существует ряд важных точек, на которые надо обратить внимание при выполнении соединений питания и сигналов. Во первых, разъем – это одно из мест в системе, где все сигнальные провода должны идти параллельно – значит нужно обязательно перемежать их с проводами заземления (создать электростатический экран), чтобы уменьшить взаимодействие между ними.

Множество выводов заземления важно по еще одной причине: они обеспечивают низкое сопротивление заземления в соединении платы устройства с остальной схемой. Контактное сопротивление одного вывода соединителя печатной платы достаточно низкое (порядка 10 мОм) когда плата новая, когда же плата стареет, сопротивление контактов может увеличиться, и работа платы может быть нарушена. Поэтому очень рекомендуется использовать дополнительные контакты разъема печатной платы так, чтобы было достаточно много соединений заземления (хотя бы 30-40% от всех контактов разъема печатной платы должны быть контактами заземления). По тем же причинам должно быть несколько контактов для каждого соединения питания, хотя, конечно, не так много, как контактов заземления.

Изготовители высокопроизводительных ИС со смешанными сигналами, такие как Analog Devices, предлагают оценочные платы для того, чтобы помочь заказчикам в их предварительных разработках и компоновке. Оценочные платы АЦП обычно содержат генератор тактовых импульсов с низким фазовым шумом, выходные регистры и необходимые соединения питания и сигналов. Они также могут содержать дополнительные вспомогательные схемы, такие как входной буферный усилитель и внешний источник опорного напряжения.

Компоновка оценочной платы оптимизируется по условиям заземления, развязки и разводки сигналов, и может служить образцом при компоновке платы АЦП в устройстве. Обычно получить разводку такой оценочной платы можно у производителя АЦП в формате САПР (Gerber). Во многих случаях разводка различных слоев показана в технической документации на устройство.

 

СПИСОК ЛИТЕРАТУРЫ ПО ЗАЗЕМЛЕНИЮ:

1. William C. Rempfer, Get All the Fast ADC Bits You Pay For, Electronic Design, Special Analog Issue, June 24, 1996, p.44.

2. Mark Sauerwald, Keeping Analog Signals Pure in a Hostile Digital World, Electronic Design, Special Analog Issue, June 24, 1996, p.57.

3. Jerald Grame and Bonnie Baker, Design Equations Help Optimize Supply Bypassing for Op Amps, Electronic Design, Special Analog Issue, June 24, 1996, p.9.

4. Jerald Grame and Bonnie Baker, Fast Op Amps Demand More Than a Single-Capacitor Bypass, Electronic Design, Special Analog Issue, November 18, 1996, p.9.

5. Walt Kester and James Bryant, Grounding in High Speed Systems, High Speed Design Techniques, Analog Devices, 1996, Chapter 7, p. 7-27.

6. Jeffrey S. Pattavina, Bypassing PC Boards: Thumb Your Nose at Rules of Thumb, EDN, Oct. 22, 1998, p.149.

7. Henry Ott, Noise Reduction Techniques in Electronic Systems, Second Edition, New York, John Wiley and Sons, 1988.

8. Howard W. Johnson and Martin Graham, High-Speed Digital Design, PTR Prentice Hall, 1993.

9. Paul Brokaw, An I.C. Amplifier User's Guide to Decoupling, Grounding and Making Things Go Right for a Change, Application Note, Analog Devices, Inc., http://www.analog.com.

10. Walt Kester, A Grounding Philosophy for Mixed-Signal Systems, Electronic Design Analog Applications Issue, June 23, 1997, p. 29.

11. Ralph Morrison, Grounding and Shielding Techniques, Fourth Edition, John Wiley, 1998.

12. Ralph Morrison, Solving Interference Problems in Electronics, John Wiley, 1995.

13. C. D. Motchenbacher and J. A. Connelly, Low Noise Electronic System Design, John Wiley, 1993.

14. Crystal Oscillators: MF Electronics, 10 Commerce Drive, New Rochelle, NY, 10801, 914-576-6570.

15. Mark Montrose, EMC and the Printed Circuit Board, IEEE Press, 1999 (IEEE Order Number PC5756). 

Дизъюнкция и логика заземления

  • Audi, P. (2012a). Разъяснение и защита понятия заземления. В F. Correia & B. Schnieder (Eds.), Метафизическое обоснование: Понимание структуры реальности (стр. 101–121). Кембридж: Издательство Кембриджского университета.

    Google ученый

  • Audi, P. (2012b). Заземление: К теории В - добродетели - отношения . The Journal of Philosophy, 109 (12), 685–711.

    Артикул Google ученый

  • Баркер, С. (2012). Экспрессивизм в создании и создании истины. В F. Correia & B. Schnieder (Eds.), Метафизическое обоснование: Понимание структуры реальности (стр. 272–293). Кембридж: Издательство Кембриджского университета.

    Google ученый

  • Беннет, К.(2017). Придумывание вещей . Оксфорд: Издательство Оксфордского университета.

    Google ученый

  • Блисс, Р., и Трогдон, К. (2016). Метафизическое обоснование. В Э. Н. Залта (ред.), Стэнфордская энциклопедия философии (Зимнее издание 2016 г.). Оксфорд: Издательство Оксфордского университета.

    Google ученый

  • Брикер П. (2006). Отношения между общим и частным: вовлечение vs.супервентность. В Д. Циммермане (ред.), Оксфордские статьи по метафизике (том 3, стр. 251–287). Оксфорд: Издательство Оксфордского университета.

    Google ученый

  • Чалмерс, Д. (2012). Строим мир . Оксфорд: Издательство Оксфордского университета.

    Google ученый

  • Коррейя, Ф. (2005). Экзистенциальная зависимость и родственные понятия . Мюнхен: Philosophia Verlag.

    Google ученый

  • Коррейя, Ф. (2010). Заземление и истина-функции. Logique et Analyze, 53, 251–279.

    Google ученый

  • Correia, F., & Schnieder, B. (ред.). (2012a). Метафизическое обоснование: понимание структуры реальности . Кембридж: Издательство Кембриджского университета.

    Google ученый

  • Коррейя, Ф., & Шнидер, Б. (2012b). Заземление: самоуверенное введение. В F. Correia & B. Schnieder (Eds.), Метафизическое обоснование: Понимание структуры реальности (стр. 1–36). Кембридж: Издательство Кембриджского университета.

    Google ученый

  • Дейли, К. (2012). Скептицизм по поводу заземления. В F. Correia & B. Schnieder (Eds.), Метафизическое обоснование: понимание структуры реальности (стр.81–100). Кембридж: Издательство Кембриджского университета.

    Google ученый

  • Додд, Дж. (2007). Негативные истины и принципы Правдивого. Synthese, 156 (2), 383–401.

    Артикул Google ученый

  • Дорр К. и Хоторн Дж. (2013). Естественность. В K. Bennett & D. Zimmerman (Eds.), Oxford Studies in Metaphysics (Vol.8. С. 3–77). Оксфорд: Издательство Оксфордского университета.

    Google ученый

  • Fine, K. (2001). Вопрос о реализме. Philosopher’s Imprint, 1 (1), 1–30.

    Google ученый

  • Fine, K. (2005). «Необходимость и небытие». В его Modality and Tense: Philosophical Papers , Oxford: OUP.

    Google ученый

  • Fine, К.(2010). Некоторые загадки земли. Notre Dame Journal of Formal Logic, 51 (1), 97–118.

    Артикул Google ученый

  • Fine, K. (2012). Путеводитель по земле. В F. Correia & B. Schnieder (Eds.), Метафизическое заземление (стр. 37–80). Кембридж: Издательство Кембриджского университета.

    Google ученый

  • Фодор Дж. (1987). Психосемантика: проблема значения в философии разума .Кембридж: MIT Press.

    Google ученый

  • Хофвебер, Т. (2009). Амбициозная, но скромная метафизика. В Chalmers et al. (Eds.), Metametaphysics (стр. 260–289). Оксфорд: Издательство Оксфордского университета.

    Google ученый

  • Дженнингс Р. Э. (1994). Родословная дизъюнкции . Оксфорд: ОУП.

    Google ученый

  • Koslicki, K.(2015). Крупнозернистость заземления. Oxford Studies in Metaphysics, 9, 306–344.

    Артикул Google ученый

  • Кремер С. и Роски С. (2015). Заметка о логике мирской земли. Мысль: философский журнал, 4 (1), 59–68.

    Google ученый

  • Кремер С. и Роски С. (2017).Основания для разногласий. Философские исследования, 174 (4), 1191–1215.

    Артикул Google ученый

  • Кюнне В. (2003). Концепции истины . Оксфорд: Clarendon Press.

    Google ученый

  • Лойенбергер, С. (2014). Заземление и необходимость. Справочная, 57 (2), 151–174.

    Артикул Google ученый

  • Льюис, Д.(1983). Новая работа по теории универсалий. Australasian Journal of Philosophy, 61, 343–377.

    Артикул Google ученый

  • Льюис, Д. (1986). О множественности миров . Оксфорд: Блэквелл.

    Google ученый

  • Льюис, Д. (1999). Парадокс Патнэма. Метафизика и эпистемология (стр. 56–77). Кембридж: Издательство Кембриджского университета.

    Google ученый

  • Лиггинс, Д. (2012). Правдивые и зависимость. В F. Correia & B. Schnieder (Eds.), Метафизическое обоснование: Понимание структуры реальности (стр. 254–271). Кембридж: Издательство Кембриджского университета.

    Google ученый

  • Литланд Дж. (2017). Заземление. В K. Bennett & D. Zimmerman (Eds.), Oxford Studies in Metaphysics (10-е изд.). Оксфорд: Издательство Оксфордского университета.

    Google ученый

  • McSweeney, M. M. (готовится к печати). Обоснование логически сложных фактов. Справочник Рутледж по Grouding , Рутледж.

  • McSweeney, M. M. (готовится к печати). Разоблачение логического основания: отличие метафизики от семантики. Журнал Американской философской ассоциации

  • Поджиолези, Ф. (2016). Об определении понятия полного и немедленного формального обоснования. Synthese, 193, 3147–3167.

    Артикул Google ученый

  • Рэйвен, М. Дж. (2013). Земля - ​​это строгий частичный заказ? American Philosophical Quarterly, 50 (2), 193–201.

    Google ученый

  • Ричардсон, К. (2018). Обоснование плюрализма: почему и как. Эркенн . https://doi.org/10.1007/s10670-018-0083-8.

    Артикул Google ученый

  • Розен, Г. (2010). Метафизическая зависимость: обоснование и редукция. В Б. Хейле и А. Хоффманне (ред.), Модальность: метафизика, логика и эпистемология (стр. 109–136). Кембридж: Издательство Оксфордского университета.

    Google ученый

  • Шнидер Б. (2006). Установление истины без правдивых. Synthese, 152 (1), 21–46.

    Артикул Google ученый

  • Шнидер Б. (2011). Логика «потому что». Обзор символической логики, 4 (3), 445–465.

    Артикул Google ученый

  • Шнидер Б. (2016). В защиту логики «потому что». Журнал прикладной неклассической логики, 26 (2), 160–171.

    Артикул Google ученый

  • Скилес, А.(2015). Против обоснования необходимости эдитаризма. Erkenntnis, 80 (4), 717–751.

    Артикул Google ученый

  • Цохацидис, С. Л. (2015). Проблема для логики «потому что». Журнал прикладной неклассической логики, 25 (1), 46–49.

    Артикул Google ученый

  • Уилсон, Дж. (2014). Нет работы по теории заземления. Справочная, 57 (5–6), 1–45.

    Google ученый

  • Витмер, Д. Г., Бутчард, В., и Трогдон, К. (2005). Исключительность без естественности. Философия и феноменологические исследования, 70 (2), 326–350.

    Артикул Google ученый

  • Пирс об обосновании законов логики на JSTOR

    Abstract

    Abstract Эта статья является вкладом в давнюю дискуссию о согласованности общей философской системы Чарльза Сандерса Пирса.Он подходит к этой проблеме через призму современных дебатов по поводу понятия метафизического обоснования или, в более широком смысле, природы метафизического объяснения, используя законы логики в качестве примера. Главный вопрос касается того, как мы можем серьезно отнестись к тому, что мы назовем правилом Пирса, - что ничто не может быть признано абсолютно необъяснимым, - не будучи уязвимыми для порочного регресса или столь же порочной замкнутости. Сначала я утверждаю, что в ранних работах Пирса он предлагает квиетистскую концепцию заземления, которая дает убедительный и новаторский ответ на этот центральный вопрос.Затем я выражаю знакомую озабоченность тем, что в более поздних работах Пирса мы находим намеки на более метафизическую концепцию обоснования, которая, кажется, не может ответить на этот вопрос и, таким образом, несовместима с его более ранними работами. Статья заканчивается умозрительной интерпретацией подхода Пирса к метафизике и его возможной роли в обосновании логических принципов.

    Journal Information

    Transactions - ведущий рецензируемый журнал, специализирующийся на истории американской философии с момента его основания в 1965 году.Хотя он назван в честь основателя американского прагматизма, здесь широко обсуждаются американские философы всех школ и периодов, от колониальных до недавнего прошлого. В журнал регулярно публикуются эссе, и каждая значимая книга, опубликованная в данной области, обсуждается в обзорном эссе. Подписка включает членство в обществе Чарльза С. Пирса. Чтобы стать членом Общества Чарльза С. Пирса, нужно подписаться на журнал и выбрать «Присоединиться к обществу».

    Информация об издателе

    Издательство Indiana University Press было основано в 1950 году и сегодня признано во всем мире как ведущее академическое издательство, специализирующееся на гуманитарных и социальных науках.Наша задача как академической прессы - служить миру науки и культуры в качестве профессионального некоммерческого издателя. Мы издаем книги и журналы, которые будут иметь значение через 20 или даже сотню лет - названия, которые имеют значение сегодня и будут жить в будущем, отражаясь в сознании учителей и писателей. Основные тематические области IU Press включают исследования Африки, афроамериканцев, Азии, культуры, евреев и Холокоста, Ближнего Востока, России и Восточной Европы, а также исследования женщин и гендера; антропология, кино, история, биоэтика, музыка, палеонтология, филантропия, философия и религия.The Press также предлагает обширную региональную издательскую программу под своим издательством Quarry Books. Это одна из крупнейших типографий государственных университетов, если судить по названиям и уровню дохода.

    Логическая основа для анализа диалога на основе обоснования

    Основная критика подходов BDI (убеждение, желание, намерение) к коммуникации заключается в том, что они требуют сильных гипотез, таких как искренность и сотрудничество в отношении ментальных состояний агентов (см., Например, [Сингх, М.P., Языки общения агентов: переосмысление принципов , Computer 31 (1998), стр. 40–47; Singh, M.P., A Social Semantics for Agent Communication Languages ​​, in: F. Dignum and M. Greaves, editors, Issues in Agent Communication , number 1916 in LNAI (2000), pp. 31–45; Форнара, Н. и М. Коломбетти, Операционная спецификация языка общения агента, основанного на обязательствах , в: К. Кастельфранчи и Л. У. Джонсон, редакторы, Proc.Первый Int. Совместная конф. по автономным агентам и мультиагентным системам (AAMAS-2002) , ACM Press 2 , 2002, стр. 535–542]). Цель данной статьи - исправить этот недостаток. Таким образом, мы изучаем коммуникацию между разнородными агентами с помощью понятия , основанного на , в смысле публичного выражения и установления. Мы показываем, что это понятие отличается от социальных обязательств, от стандартных умственных установок и от различных версий общих убеждений. Наше представление основано на теории речевого акта и напрямую связано с выражением условия искренности [Searle, J.Р., «Речевые акты: эссе по философии языка», Cambridge University Press, Нью-Йорк, 1969; Сирл, Дж. Р., «Интенциональность: эссе по философии разума», Cambridge University Press, 1983; Вандервекен, Д., «Принципы использования языка», «Смысл и речевые акты» 1, Cambridge University Press, 1990] при исполнении речевого акта. Мы используем это понятие для характеристики речевых актов с точки зрения предпосылок и следствий. В качестве примера мы показываем, как диалоги убеждения à la Walton & Krabbe могут быть проанализированы в нашей структуре.В частности, мы показываем, как предпосылки речевого акта ограничивают возможные последовательности речевых актов.

    Дизъюнкция и логика заземления

    1 3

    Блисс, Р., & Трогдон, К. (2016). Метафизическое обоснование. В Э. Н. Залта (ред.), Стэнфордская энциклопедия философии

    (зимнее издание 2016 г.). Оксфорд: Издательство Оксфордского университета.

    Брикер П. (2006). Отношение между общим и частным: вовлечение против супервентности. У Зима Д.

    русалка (Ред.), Oxford Papers in Metaphysics (Vol. 3, pp. 251–287). Оксфорд: Издательство Оксфордского университета.

    Чалмерс Д. (2012). Строим мир. Оксфорд: Издательство Оксфордского университета.

    Коррейя, Ф. (2005). Экзистенциальная зависимость и родственные понятия. Мюнхен: Philosophia Verlag.

    Коррейя, Ф. (2010). Заземление и истина-функции. Logique et Analyze, 53, 251–279.

    Correia, F., & Schnieder, B. (Eds.). (2012a). Метафизическое обоснование: понимание структуры реальности.

    Кембридж: Издательство Кембриджского университета.

    Коррейя, Ф., & Шнидер, Б. (2012b). Заземление: самоуверенное введение. В Ф. Коррейа и Б. Шнидер

    (ред.), «Метафизическое обоснование: понимание структуры реальности» (стр. 1–36). Кембридж: Cam-

    Bridge University Press.

    Дейли, К. (2012). Скептицизм по поводу заземления. В Ф. Коррейя и Б. Шнидер (ред.), Метафизическое обоснование:

    Понимание структуры реальности (стр.81–100). Кембридж: Издательство Кембриджского университета.

    Додд Дж. (2007). Негативные истины и принципы Правдивого. Синтез, 156 (2), 383–401.

    Дорр К. и Хоторн Дж. (2013). Естественность. В книге К. Беннета и Д. Циммермана (ред.), Oxford Studies in

    Metaphysics (Vol. 8, pp. 3–77). Оксфорд: Издательство Оксфордского университета.

    Fine, K. (2001). Вопрос о реализме. Отпечаток философа, 1 (1), 1–30.

    Fine, K. (2005). «Необходимость и небытие».В его Modality and Tense: Philosophical Papers, Oxford:

    OUP.

    Fine, K. (2010). Некоторые загадки земли. Журнал Нотр-Дам по формальной логике, 51 (1), 97–118.

    Fine, K. (2012). Путеводитель по земле. В Ф. Коррейа и Б. Шнидер (ред.), Метафизическое обоснование (стр. 37–80).

    Кембридж: Издательство Кембриджского университета.

    Фодор Дж. (1987). Психосемантика: проблема значения в философии разума. Кембридж: MIT

    Press.

    Хофвебер, Т.(2009). Амбициозная, но скромная метафизика. В Chalmers, etal. (Eds.), Metametaphysics (стр.

    ,

    , 260–289). Оксфорд: Издательство Оксфордского университета.

    Дженнингс Р. Э. (1994). Генеалогия дизъюнкции. Оксфорд: ОУП.

    Koslicki, K. (2015). Крупнозернистость заземления. Оксфордские исследования метафизики, 9, 306–344.

    Кремер С. и Роски С. (2015). Заметка о логике мирской земли. Мысль: философский журнал,

    4 (1), 59–68.

    Krämer, S., & Роски, С. (2017). Основания для установления различий. Философские исследования, 174 (4), 1191–1215.

    Кюнне В. (2003). Представления об истине. Оксфорд: Clarendon Press.

    Лойенбергер, С. (2014). Заземление и необходимость. Запрос, 57 (2), 151–174.

    Льюис Д. (1983). Новая работа по теории универсалий. Австралазийский журнал философии, 61, 343–377.

    Льюис Д. (1986). О множественности миров. Оксфорд: Блэквелл.

    Льюис Д. (1999). Парадокс Патнэма.Метафизика и эпистемология (стр. 56–77). Кембридж: Cambridge

    University Press.

    Лиггинс Д. (2012). Правдивые и зависимость. В Ф. Коррейа и Б. Шнидер (ред.), «Метафизическое заземление

    : понимание структуры реальности» (стр. 254–271). Кембридж: Кембриджский университет

    Press.

    Литланд Дж. (2017). Заземление. В K. Bennett & D. Zimmerman (Eds.), Oxford Studies in Metaphysics

    (10-е изд.). Оксфорд: Издательство Оксфордского университета.

    McSweeney, M. M. (готовится к печати). Обоснование логически сложных фактов. Справочник Рутледж по Груду -

    , Рутледж.

    McSweeney, M. M. (готовится к печати). Разоблачение логического основания: отличие метафизики от семантики.

    Журнал Американской философской ассоциации

    Poggiolesi, F. (2016). Об определении понятия полного и непосредственного формального обоснования. Synthese, 193,

    3147–3167.

    Рэйвен, М. Дж. (2013). Земля - ​​это строгий частичный заказ? American Philosophical Quarterly, 50 (2), 193–201.

    Ричардсон, К. (2018). Обоснование плюрализма: почему и как. Эркенн. https: //doi.org/10.1007/s1067

    0-018-0083-8.

    Розен, Г. (2010). Метафизическая зависимость: обоснование и редукция. В Б. Хейле и А. Хомане (ред.),

    Модальность: метафизика, логика и эпистемология (стр. 109–136). Кембридж: Издательство Оксфордского университета.

    Шнидер Б. (2006). Установление истины без правдивых. Синтез, 152 (1), 21–46.

    Шнидер, Б. (2011). Логика «потому что».Обзор символической логики, 4 (3), 445–465.

    Шнидер, Б. (2016). В защиту логики «потому что». Журнал прикладной неклассической логики, 26 (2),

    160–171.

    Содержимое предоставлено Springer Nature, применяются условия использования. Права защищены.

    Логические и метафизические перспективы заземления

    Логические и метафизические взгляды на обоснование - PhilEvents Логические и метафизические взгляды на обоснование

    Для правильного использования этого сайта необходимо включить JavaScript.

    18 сентября 2015 г.

    Спутниковый семинар в GAP.9, Университет Оснабрюка

    Оснабрюк
    Германия

    Спонсор (ы):

    • Гамбургский университет
    • Университет Невшателя
    • Мюнхенский центр математической философии

    Выбранные спикеры:

    Лоренцо Касини

    Женевский университет

    Фабрис Коррейя

    Невшательский университет

    Стефан Кремер

    Гамбургский университет

    Università Della Svizzera Italiana

    Университет

    Бенджамин Шнебург

    Университет Бенджамин

    Hamburg

    Йонас Вернер

    Гамбургский университет

    Организаторы:

    Norbert Gratzl

    Ludwig Maximilians Universität, München

    Johannes Korbmacher

    Ludwig Maximilians Universität, München

    Università della Svizzera Italiana

    Benjamin Svizzera Italiana

    Детали

    Эта мастерская является вспомогательной мастерской GAP.9 Конференция.

    В последние годы наблюдается значительный рост интереса к концепции заземления, о чем свидетельствует быстро растущая литература по этой теме. В этой литературе основание в основном характеризуется как «в силу отношения», как в заявлении о том, что предложение истинно или ложно в силу того, как устроен мир. Но заземление имеет множество обличий, оно стало своего рода «зонтичным понятием» для различных видов некаузальной зависимости, таких как онтологическая зависимость, семантическая зависимость или вид зависимости, актуальный для метафизического объяснения.Учитывая такой широкий диапазон концепций, неудивительно, что заземление находит применение почти во всех областях философии, от этики и эстетики до метафизики. На этом семинаре мы планируем уделить особое внимание логической и метафизической перспективе заземления.

    Регистрация

    Требуется регистрация? да

    Срок регистрации: 15 сентября 2015 г., 9:00 CET

    Как зарегистрироваться:

    Кто идет?

    3 люди присутствующие:

    Утрехтский университет

    Università della Svizzera Italiana

    и еще 1.

    Увидеть все

    Вы приедете на это мероприятие?

    Спасибо, что сообщили об этом событии. An администратор сайта рассмотрит его.

    Закрывать

    Страница не найдена

    К сожалению, страница, которую вы искали на веб-сайте AAAI, не находится по URL-адресу, который вы щелкнули или ввели:

    https: // www.aaai.org/papers/kr/2006/kr06-024.pdf

    Если указанный выше URL заканчивается на «.html», попробуйте заменить «.html:» на «.php» и посмотрите, решит ли это проблему.

    Если вы ищете конкретную тему, попробуйте следующие ссылки или введите тему в поле поиска на этой странице:

    • Выберите темы AI, чтобы узнать больше об искусственном интеллекте.
    • Чтобы присоединиться или узнать больше о членстве в AAAI, выберите «Членство».
    • Выберите «Публикации», чтобы узнать больше о AAAI Press и журналах AAAI.
    • Для рефератов (а иногда и полного текста) технических документов по ИИ выберите Библиотека
    • .
    • Выберите AI Magazine, чтобы узнать больше о флагманском издании AAAI.
    • Чтобы узнать больше о конференциях и встречах AAAI, выберите Conferences
    • Для ссылок на симпозиумы AAAI выберите «Симпозиумы».
    • Для получения информации об организации AAAI, включая ее должностных лиц и сотрудников, выберите «Организация».

    Помогите исправить страницу, которая вызывает проблему

    Интернет-страница

    , который направил вас сюда, должен быть обновлен, чтобы он больше не указывал на эту страницу.Вы поможете нам избавиться от старых ссылок? Напишите веб-мастеру ссылающейся страницы или воспользуйтесь его формой, чтобы сообщить о неработающих ссылках. Это может не помочь вам найти нужную страницу, но, по крайней мере, вы можете избавить других людей от неприятностей. Большинство поисковых систем и каталогов имеют простой способ сообщить о неработающих ссылках.

    Если это кажется уместным, мы были бы признательны, если бы вы связались с веб-мастером AAAI, указав, как вы сюда попали (то есть URL-адрес страницы, которую вы искали, и URL-адрес ссылки, если таковой имеется).Спасибо!

    Содержание сайта

    К основным разделам этого сайта (и некоторым популярным страницам) можно перейти по ссылкам на этой странице. Если вы хотите узнать больше об искусственном интеллекте, вам следует посетить страницу AI Topics. Чтобы присоединиться или узнать больше о членстве в AAAI, выберите «Членство». Выберите «Публикации», чтобы узнать больше о AAAI Press, AI Magazine, и журналах AAAI. Чтобы получить доступ к цифровой библиотеке AAAI, содержащей более 10 000 технических статей по ИИ, выберите «Библиотека».Выберите Награды, чтобы узнать больше о программе наград и наград AAAI. Чтобы узнать больше о конференциях и встречах AAAI, выберите «Встречи». Для ссылок на программные документы, президентские обращения и внешние ресурсы ИИ выберите «Ресурсы». Для получения информации об организации AAAI, включая ее должностных лиц и сотрудников, выберите «О нас» (также «Организация»). Окно поиска, созданное Google, будет возвращать результаты, ограниченные сайтом AAAI.

    Может ли заземление заземлять заземленное заземление? | Анализ

    Аннотация

    Может ли частичное заземление ψ φ быть частичным основанием для ψ? Я показываю, что из общепринятых принципов логики основания следует, что такое иногда случается.Из общепринятых принципов также следует, что этого никогда не бывает. Я показываю, что это несоответствие основывается на принципах, отличных от тех, которые уже обсуждались в литературе, и предлагаю способ разрешения этого несоответствия.

    Может ли заземление заземлять заземленное заземление?

    Ответ на вводный вопрос - «да»: из стандартных принципов логики основания следует, что существуют факты φ и ψ такие, что φ частично обосновывает ψ частично обосновывает ψ⁠.Это может показаться простым любопытством, но это имеет важные последствия для следующей горячо обсуждаемой проблемы. Предположим, что факт φ обосновывает факт ψ⁠; тогда это - то, что φ является основанием ψ - является дополнительным фактом, и мы можем спросить, на чем он основан. (Это проблема заземления.) Большинство философов, обращавшихся к ней, считали, что φ является, по крайней мере, частичным основанием для заземления φ ψ⁠. К сожалению, это вместе со стандартными принципами логики основания влечет за собой ответ на первый вопрос «нет».Таким образом, стандартные и правдоподобные принципы относительно земли несовместимы; более того, это несоответствие основано на иных принципах, нежели несоответствия, обнаруженные Файном (2010) и Кремером (2013). В частности, принцип объединения - если каждое из φ и ψ является основанием для θ, то φ вместе с ψ является основанием для θ - играет роль в возникновении несогласованности.

    В этой статье я подтверждаю вышеизложенные утверждения и в качестве предварительных аргументов утверждаю, что мы устраняем несоответствие, отказавшись от объединения, тем самым расчищая путь для заземления φ ψ ψ’s.

    1. Основы земли

    Как обычно, мы различаем полную и частичную землю. Мы используем <как оператор предложения для полной основы; 1 и ≺ как предполагаемый оператор для частичного заземления. Если Γ - некоторый набор предложений, а φ - предложение, то Γ <φ и Γ≺φ - предложения. 2 Используя этот символизм, можно более точно сформулировать первый вопрос: существует ли каких-нибудь случаев, когда у нас есть Γ≺ψ и, кроме того, (Γ≺ψ) ≺ψ?

    Обсуждение вращается вокруг принципов, изображенных на Рисунке 1.Принципы бывают трех типов. Принципы pure управляют взаимодействием полного и частичного основания, абстрагируясь от логической сложности основания и обоснованного. Принципы нечистые говорят нам, какие основания являются логически сложными. Принципы итерации частично решают проблему заземления. Позвольте мне кратко обсудить мотивацию этих принципов, начиная с чистых принципов. 3

    Рисунок 1

    Рисунок 1

    Следуя ортодоксии, я считаю, что основное понятие является полным основанием, которое я считаю понятием пояснительным. 4 Если Γ <φ⁠, то Γ дает полное объяснение φ - ничего не нужно добавлять к Γ, чтобы дать полное объяснение φ⁠. Мы принимаем частичное основание как , определяемое как в терминах полного основания в том смысле, что частичное обоснование Δ≺φ является экзистенциально количественно определенным утверждением: существует некоторый Γ такой, что Γ, Δ <φ⁠. Это оправдывает Подчинение (⁠

    На всем протяжении мы предполагаем, что основание - это фактивное значение в том смысле, что если Γ <φ, то верно каждое γ∈Γ, а также φ.Мы также принимаем частичное основание как переходное. Это следует из полного основания, удовлетворяющего следующему принципу:

    Этот принцип, в свою очередь, оправдывается мыслью, что если Γ полностью объясняет φ⁠, а Δ вместе с φ полностью объясняет ψ⁠, то мы можем связать эти объяснения вместе, чтобы показать что Γ, Δ вместе объясняют ψ⁠. 5 Мы также предполагаем некруглость: no φ частично заземляется. Более спорным принципом здесь является принцип объединения, который гласит, что если каждое из Δi является полным основанием для φ⁠, то Δi, взятые вместе, полностью заземляют φ⁠.Принято считать, что основа немонотонна: из Γ <φ нельзя заключить, что Γ, ∆ <φ⁠. Можно думать об объединении как об ограниченном принципе монотонности: если Γ обосновывает φ⁠, то Γ, Δ основывает φ, пока Δ также основывает φ⁠.

    Обращаясь к нечистым принципам, мы предполагаем, что если это так, что φ⁠, а ⌜φ⌝ - имя для предложения φ⁠, то φ частично является основанием для истинности φ⌝. Это отражает интуицию о том, что именно потому, что вещи так-то и так-то, любое предложение, в котором говорится, что вещи так-то и так-то, истинно.Принципы-заземления и ∃-заземления пытаются уловить идею о том, что дизъюнкции и экзистенциальные обобщения не могут быть просто истинными, но должны выводить свою истину из истинности дизъюнктов или примеров.

    Принципы итераций дают частичные ответы на проблему заземления. Сильное подчинение оправдано тем, что мы принимаем частичное основание как , определяемое как с точки зрения полного основания. Таким образом, сильное подчинение является частным случаем мысли о том, что экзистенциальное обобщение основано на его примерах.

    Если строгое подчинение верно, то центральный вопрос заключается в том, на чем основано, что Γ <φ⁠. Хотя консенсуса нет, все существующие взгляды на обоснование утверждали, что Γ является частью полного основания для Γ <φ⁠. 6 Это дает нам принцип, обозначенный GG. 7 Согласно варианту GG не только Γ, но и φ является частичным основанием для Γ <φ⁠. Это принцип GG +. 8

    2. Результаты

    Наконец-то мы можем заявить о результатах.

    Утверждение (2.1.)

    Предположим сильное допущение и GG. Тогда для любых ψ, φ имеем (φ, (φ≺ψ)) ≺ψ⁠.

    Доказательство:

    Предположим иначе. По определению частичного основания существует такое Γ, что (Γ, φ, (φ≺ψ)) <ψ⁠. Тогда сильное подчинение дает нам ((Γ, φ, (φ≺ψ)) <ψ) <(φ≺ψ) ⁠. По GG получаем (Γ, φ, (φ≺ψ)) ≺ (Γ, φ, (φ≺ψ) <ψ) ⁠. Транзитивность, подчинение (⁠

    Предложение (2.2.)

    Предположим сильное поглощение, GG и слияние. Тогда ни для каких φ и ψ нет (φ≺ψ) ≺ψ⁠.

    Доказательство:

    Предположим, что (φ≺ψ) ≺ψ⁠. По определению частичного основания существует такое Γ, что (Γ, (φ≺ψ)) <ψ⁠. По фактивности φ≺ψ и, значит, по определению частичного основания существует ∆ такое, что ∆, φ <ψ⁠. По объединению (Γ, Δ, φ, (φ≺ψ)) <ψ⁠. По субподчинению (⁠

    Предложение (2.3.)

    Предположим, что GG + и сильное поглощение. Тогда для любых φ, ψ имеем (φ≺ψ) ≺ψ⁠.

    Доказательство:

    Предположим, что (φ≺ψ) ≺ψ⁠. Тогда по фактивности φ≺ψ⁠, а значит, по определению частичной основы существует Γ такое, что Γ, φ <ψ⁠. По GG + получаем, что Γ, φ, ψ≺ (Γ, φ <ψ) ⁠. По сильному подчинению и подчинению (⁠ Эти результаты показывают, что некоторые довольно естественные принципы исключают, что (φ≺ψ) ≺ψ⁠.Однако оказывается, что мы можем построить случаев, когда принципы на рисунке 1 позволяют нам доказать, что (φ≺ψ) ≺ψ⁠. 9 Таким образом, принципы на Рисунке 1 противоречивы.

    3. Строительство

    Пусть (φ) будет предложением: 10

    φ 0 = 0 <(0 = 0∨0 = 0≺T⌜φ⌝).

    Так как 0 = 0, ∨-заземление означает, что 0 = 0 <(0 = 0∨0 = 0≺T⌜φ⌝) ⁠. Поскольку ‘0 = 0∨ (0 = 0≺T⌜φ⌝)’ - это предложение (φ), это означает, что 0 = 0 <φ⁠. По предположению (⁠ (0 = 0 <(0 = 0∨∃p (0 = 0

    4. Возможные ответы

    Мы показали, что принципы на Рисунке 1 несовместимы. От каких принципов нам следует отказаться?

    Я считаю, что выбор стоит между применениями ∨-заземления и ∃-заземления, с одной стороны, и объединения и GG +, с другой. Но я должен отметить, что каждый из принципов на рисунке 1 подвергался сомнению в том или ином контексте, и, хотя я не могу обсуждать каждый принцип, я должен по крайней мере сказать, почему я не думаю, что отказ от транзитивности или некруглостности приводит к Суть дела. 11

    Проблема с отказом от транзитивности состоит в том, что даже если следовать Шафферу (2012) и отвергать транзитивность в целом, отказ от нынешних приложений транзитивности не кажется правдоподобным. В контрпримерах Шаффера у нас есть цепочки оснований, в которых релевантность, кажется, не передается от начала цепочки к ее концу. Но в настоящих делах, похоже, нет никаких сбоев в передаче релевантности.

    Столкнувшись с самореферентными конструкциями, многие испытывали искушение отказаться от некруглости. 12 Я не верю, что это решает основную загадку. Во-первых, из всех принципов, лежащих в основе основополагающих принципов, мне кажется, что отказ от замкнутости является самым главным. Во-вторых, что более важно, даже если существует понятие основания, которое не удовлетворяет некруглости, Файн (2010: 105) и Литланд (2015: 498–501) показали, как можно ввести естественное понятие основания, которое: по определению удовлетворяет Некруглости. Принципы на рисунке 1 кажутся правдоподобными и для этого понятия земли, так что загадка остается.

    Если выбор стоит между объединением и GG +, с одной стороны, и ∨-заземлением и сентенциональным ∃-заземлением, с другой, можно подумать, что очевидно, что нам следует отказаться от ∨-заземления и сентенционального-заземления. Разве не Файн (2010) уже заметил, что принцип ∨-заземления в целом недействителен? И разве Кремер (2013) уже не заметил, что-обоснование предложения в целом недействительно?

    Остановимся на ∨-заземлении. Я согласен с тем, что-основание недействительно, но не думаю, что недействительность-основания решит вопрос.Некоторые применения-заземления приемлемы - например, нет ничего плохого в том, чтобы сделать вывод, что 0 = 0 <(0 = 0∨ (0 = 0≺T⌜φ⌝)) ⁠. Могут ли быть приемлемыми все применения-заземления, использованные в §3? Чтобы решить эту проблему, нам необходимо систематически учитывать, какие применения-заземления приемлемы.

    Я считаю, что правильная учетная запись следующая. Заявки на-заземление и ∃-заземление «невиновны, пока виновность не будет доказана»: если прием заявок не приводит к возникновению циклов заземления, они должны быть приняты. 13 Защита этой учетной записи выходит за рамки данной статьи, но ее преимущество состоит в том, что она позволяет нам сохранить как можно больше приложений интуитивно правдоподобных принципов, показанных на рисунке 1, насколько это возможно. Для наших целей здесь важно то, что до тех пор, пока приложения-заземления, на которые мы опирались в § 3, не приводят к циклам заземления, мы можем последовательно принимать их и, таким образом, быть свободными принять, что (0 = 0≺T⌜φ ⌝) ≺T⌜φ⌝⁠.

    Если мы сохраняем Amalgamation или GG +, мы знаем из предложений (2.2.) и (2.3.), Что мы действительно получаем циклы. Но оказывается, что если мы отвергаем как Amalgamation, так и GG +, то применения-заземления не приводят к циклам. Самый простой способ увидеть это - рассмотреть рисунок 2, на котором изображена конструкция заземления, указанная в конструкции в § 3. Схема должна читаться следующим образом. Двойная стрелка обозначает немедленную полную землю. Пунктирная стрелка обозначает частичный участок земли. M (⌜φ⌝, φ) выражает, что предложение φ⌝ означает, что φ⁠. M (⌜φ⌝, φ) играет две роли. Во-первых, тот факт, что предложение φ⌝ означает φ, вместе с тем, что именно φ является тем, что полностью обосновывает T⌜φ⌝⁠.Во-вторых, описывая GG несколько подробнее, мы считаем, что, поскольку M (⌜φ⌝, φ) вместе с 0 = 0 являются полными основаниями для T⌜φ⌝, они также являются полными основаниями для (0 = 0, M ( ⌜φ⌝, φ)) 14

    Рисунок 2

    Возможности заземления.

    Рисунок 2

    Возможности заземления.

    Это просто показывает, что может сохранить соответствующие приложения ∨-заземления за счет отказа от объединения и GG +.Можем ли мы? Я в порядке предположу, что мы должны это сделать, и поэтому мы должны ответить на первый вопрос утвердительно. Но в случае, если следующий аргумент не убеждает, позвольте мне указать, что я считаю более надежным заключением статьи.

    Хотя проблема заземления, несомненно, важна, возникает соблазн подумать, что можно определить правильные чистые и нечистые принципы заземления, не решая проблемы заземления. В частности, можно было подумать, что можно решить вопрос о том, действительно ли объединение, не вдаваясь в проблему заземления - в конце концов, объединение не касается того, какие факты основаны на основании.Приведенные выше результаты показывают, что это неправильно: естественные взгляды на то, на каком основании, напрямую влияют на то, какие чистые и нечистые принципы можно принять.

    Непонятно, какова мотивация GG +. Все предлагаемые решения проблемы заземления естественным образом мотивируют GG, но не GG +. Возьмем лишь один пример. Беннетт считает, что заземление является «супервнутренним» отношением в том смысле, что получение основания приводит не только к получению заземленного, но также и к установлению заземляющего отношения между основанием и заземленным.Это явно мотивирует GG, но не GG +. Ничто из этого не означает, что GG + не может быть мотивирован, это просто указывает на то, что он еще не был мотивирован.

    Его важность для чистой логики основания (Fine 2012b), несмотря на то, что я считаю, что у нас есть независимая причина для отказа от объединения. Кажется естественным думать, что мы можем ввести операторы, указав, каковы основания для предложений, сформированных с помощью этих операторов. Уточнение оснований дает суть оператора.Сущность конъюнкции, например, дается указанием, что (непосредственными) основаниями для конъюнктивного предложения являются конъюнкты. Если это возможно, должна быть возможность ввести оператор дизъюнкции, основанный на каждом из его (истинных) дизъюнктов, но не на обоих вместе взятых. Если это верно, то объединение в целом не выполняется. Для наших целей важно то, что мы всегда можем настаивать на том, что в приведенной выше конструкции операторы дизъюнкции не объединяются.Если конструкция понимается таким образом, то нет никаких циклов и нет препятствий для разрешения (0 = 0≺T⌜φ⌝) ≺T⌜φ⌝⁠.

    Это правда, что если мы сможем таким образом ввести не объединяющий оператор дизъюнкции, то мы также сможем ввести объединяющий оператор. Если пример из § 3 сформулирован с таким объединяющим оператором дизъюнкции, мы должны отклонить соответствующий пример-заземления под угрозой генерации циклов заземления. Но то, что пример не работает, когда он сформулирован с оператором объединения дизъюнкции, не означает, что он не работает, когда он сформулирован с оператором без объединения.

    Одним из способов заблокировать этот аргумент было бы утверждение, что по своей природе основание объединяется. Тогда характер дизъюнкции будет гарантировать, что каждого из дизъюнктов будет основанием, и природа основания возьмет верх, чтобы гарантировать, что они вместе были основанием. Нельзя отрицать, что существует такое объединяющее понятие земли. Ибо пусть <будет любым понятием земли. Тогда мы можем определить

    Мне, однако, кажется, что основным является понятие не-слияния, и что понятие слияния определяется в его терминах. Эта точка зрения получает некоторую поддержку из-за того, что как в семантике создателя истины (например, Fine 2012b), так и в семантике теории графов (например, deRosset 2015) должны быть наложены дополнительные условия, чтобы гарантировать, что мы в конечном итоге получим объединяющее понятие основания.

    Если это верно, то мы должны отвергнуть объединение (по крайней мере, в отношении основного понятия земли).Мы можем сделать вывод, что заземление заземления может заземлить заземленное. 15

    Список литературы

    Audi

    P.

    2012

    .

    Основание: к теории в силу отношения

    .

    Философский журнал

    109

    :

    685

    -

    711

    .

    Беннет

    К.

    2011

    .

    Нашим бутстрапом

    .

    Философские перспективы

    25

    :

    27

    -

    41

    .

    Correia

    F.

    2014

    .

    Логические основания

    .

    Обзор символической логики

    7

    :

    31

    -

    59

    .

    Дасгупта

    С.

    2014

    .

    Возможность физикализма

    .

    Философский журнал

    111

    :

    557

    -

    92

    .

    deRosset

    L.

    2013

    .

    Разъяснения по заземлению

    .

    Philosophers ’Imprint

    13

    :

    1

    -

    26

    .

    deRosset

    L.

    2015

    .

    Лучшая семантика для чистой логики земли

    .

    Аналитическая философия

    56

    :

    229

    -

    52

    .

    Штраф

    К.

    2010

    .

    Некоторые загадки земли

    .

    Журнал формальной логики Нотр-Дам

    51

    :

    97

    -

    118

    .

    Fine

    K.

    2012a

    . Путеводитель по земле. В

    «Метафизическое обоснование: понимание структуры реальности»

    , ред.

    Correia

    F.

    ,

    Schnieder

    B.

    ,

    37

    -

    80

    .

    Кембридж

    :

    Издательство Кембриджского университета

    .

    Штраф

    К.

    2012b

    .

    Чистая логика земли

    .

    Обзор символической логики

    5

    :

    1

    -

    25

    .

    Krämer

    S.

    2013

    .

    Более простая головоломка с землей

    .

    Мысль

    2

    :

    85

    -

    9

    .

    Литланд

    J.E.

    2015

    .

    Обоснование, объяснение и ограничение интернальности

    .

    Philosophical Review

    124

    :

    481

    -

    532

    .

    Литланд

    J.E.

    2017

    .

    Заземление

    .

    Оксфордские исследования метафизики

    10

    :

    279

    -

    316

    .

    Убыток

    р.

    2015

    .

    Земли, корни и бездны

    .

    Мысль

    4

    :

    41

    -

    52

    .

    Raven

    M.J.

    2009

    . Онтология с точки зрения фундаменталистов . (Докторская диссертация, Нью-Йоркский университет).

    Розен

    Г.

    2010

    .Метафизическая зависимость: обоснование и редукция. В

    Модальность: метафизика, логика и эпистемология

    , ред. Б. Хейл и А. Хоффманн,

    109

    -

    35

    .

    Оксфорд

    :

    Oxford University Press

    .

    Шаффер

    Дж.

    2012

    . Заземленность, транзитивность и контрастность. В

    «Метафизическое обоснование: понимание структуры реальности»

    , ред.

    Correia

    F.

    ,

    Schnieder

    B.

    ,

    122

    -

    38

    .

    Кембридж

    :

    Издательство Кембриджского университета

    .

    © Автор, 2017. Опубликовано Oxford University Press от имени The Analysis Trust . Все права защищены.

    Добавить комментарий

    Ваш адрес email не будет опубликован. Обязательные поля помечены *