EduTranslator

Научные работы со всего мира

Рубрика: Наука (стр. 1 из 3)

Анализ коммутативности

Автор оригинала статьи — Пэдро Диниз (pedro@isi.edu)

Краткий обзор

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

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

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

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

Этот подход несет в себе несолько интересных свойств. Так как коммутативность не опирается на информацию о топологии манипулятивных структур данных, компилятор, который использвует коммутативный анализ, не нуждается в анализе тех частей кода, которые формируют структуру данных.  По этой причине оммутативный анализ подходит для незавершенных вычислений, таких как приложения, которые управляют долговременными данными ( то есть информационной базой данных, ориентированно на объекте) или приложения, которые управляют географически распределенными данными ( например мибильные вычисления в World Wide Web). В таких случаях, код, который изначально построен на структуре данных может не быть доступным или больше не существовать. Коммутативный анализ также особенно сопровождается вычислениями, которые управляют графиками. Это важный аспект коммутативного анализа, потому как вычисления, которые управляют этими структрами данных по своей сути находятся за пределами достижения анализа зависимостей данных.

Мы взяли системно-ориентированный подход для повышения способности комутативного анализа извлекать и разрабатывать значительные количества параллелизмов в завершенном приложении. Мы построили парраллелизованный компилятор, который использует коммутативный анализ как его первичную парадигму анализа. Этот компилятор берет результат неаннотированной последовательной программы, написанной на разновидности  of C++ и создает параллельный код для мультипроцессора общей памяти. Используя это параллелизированный компилятор, мы автоматически параллелизируем несколько приложений, включая средство проверки Barnes-Hut N-body, водно-жидкостной код симуляции и сейсмический код моделирования. Для всех этих приложений, коммутативный анализ способен выявить существенное количество конкуренции, а созданные параллельные коды дают очень хороший показательный результат. На 16 процессорах, автоматически параллелизированная версия Barnes-Hut запускается где-то в 11-12 раз быстрее, чем оригинальная однопоточная версия;  для приложения водной симуляции, автоматически параллелизованная версия запускается в 7-8 раз быстрее, чем однопоточная версия; для приложения сейсмического моделирования, автоматически параллелизированная версия запускается в 12 раз быстрее, чем оригинальная однопоточная.

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

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

Серьезная энергия: степенной ряд в десяти строках

Оригинал статьи под авторством M. Douglas McIlroy

Эти функции Хаскела осуществляют операции по степенному ряду

Серия представлена как список числовых коэффициентов и понимаются формально; конвергенция не является проблемой.

Благодаря тому что списки ограничены в длине, необходимо «ленивое» вычисление.

Дополнительные правила для пустых списков позволят операциям работать на конечной длины полиномах и позволит вынужденным сколярам быть конечными рядами.

Ссылка: M. D. McIlroy, Музыка потоков(.ps.gz),
Обработка данных в письмах 77 (2001) 189-195.
Определение функции
У серии переменных есть суффикс s, или t когда это хвост.
Страница с пояснениями освещает некоторые детали формул которые отмечены как ссылки
Добавить сколяры в серии
series f = f : repeat 0
fromInteger c = series(fromInteger c)
Взятие обратного знака
negate (f:ft) = -f : -ft
Прибавление
(f:ft) + (g:gt) = f+g : ft+gt
Умножение
(f:ft) * gs@(g:gt) = f*g : ft*gs + series(f)*gt
Деление
(f:ft) / (g:gt) = qs where qs = f/g : series(1/g)*(ft-qs*gt)
Вычитание, целая степень
Для этих операций мы опираемся на исходные определения Хаскела такие, как
вычитание представленное как прибавление и взятие обратного знака,
обмен (recip) представленное как деление,
неотрицательная целая степень ( ) представленная как умножение, и общая целая степень ( ) представленная как ( ) и обмен.
Композиция (#)
(f:ft) # gs@(0:gt) = f : gt*(ft#gs)
Реверсия (композиционный обратный порядок)
revert (0:ft) = rs where rs = 0 : 1/(ft#rs)
Интегрирование
int fs = 0 : zipWith (/) fs [1..] — integral from 0 to x
Дифференцирование
diff (_:ft) = zipWith (*) ft [1..]  — type (Num a,Enum a)=>[a]->[a]
Примеры
Преобразование типа данных позволяет рассматривать сжатые письменные полиномы как степенные ряды
Таким образом 1+x2 может быть написан как 1+(0:1) 2 or 1:0:1, и раскрыт ниже чтобы определить ряд для tan x как ряд для его функционального обратного порядка, arctan x = ∫dx/(1+x2).
tans = revert(int(1/(1:0:1)))
Из обычного дифференцирования отношений между синусом и косинусом следует код подсчитывающий их степенные ряды.  «Ленивые» вычисления обеспечивают взаимную рекурсию.
sins = int coss
coss = 1 — int sins
Когда операции обобщаются для того чтобы сохранять полиномы конечными, коэффициенты степенных рядов могут и сами быть (конечными) степенными рядами.  Тогда тождество
1/(1−(1+x)z) =  (1+x)nzn ведет к генератору треугольника Паскаля:
pascal = 1/[1, −[1,1]]
Это формула расширяется к списку списков:
[[1], [1,1], [1,2,1], [1,3,3,1], [1,4,6,4,1], …]::[[Rational]]
Завершенный пакет программ
Вышеуказанный код плюс несколько строк описания создают рабочий основной базовый пакет программ.
Для быстрого теста, попробуйте взять 10 tans. Это приводит в действие все операции кроме diff.
(Извините, расширение пакетов .txt чтобы утихомирить некоторые браузеры.
Некоторые браузеры воспроизводят знаками минус в этих программах как дефисы на экране)
Расширения для полиномов приводят к увеличению практического пакета программ в два раза, это не так уж красиво, но зато он намного быстрее и совместим с например pascal.
Чтоб увидеть резкий скачок в скорости, попробуйте больший тст например возьмите 20 tans.
Почему конечность более сложная чем бесконечность? Должен быть определен конец.
Колофон (концовка)
Написано Doug McIlroy
doug@cs.dartmouth.edu
July 2007
Aug 2007. Текст, но не код, немного изменен
Sep 2007. Опечатка в определении sins исправлена; OK в завершенном пакете программ.
Пояснительная страница и треугольник Паскаля были добавлены. Минимальные изменения в тексте.
Mar 2008. Переделка введения.
Apr 2008. Ссылка на кода для пояснения.
Изменили определенный дефисы на знаки минуса. Объяснен и исправлен Enum nuisance.
Jul 2008. Обыденная правка текста.
Sep 2009. Упоминается operator ( ).   Сокращенное умножение на 0 в практическом пакете.
Oct 2009. Упоминается recip.
Apr 2012. Странице переведена на румынский Alexandra Seremina.
Mar 2013. Исправление опечатки в пояснениях.
Nov 2013. Упрощено определение pascal. Переделан набор текста формул в объяснениях.
Dec 2013. Замена расширения файла пакета с .hs на .txt чтоб удовлетворить браузеры.
Feb 2014. Показано расширение pascal.
Sep 2016. Исправление одного слова в тексте.
Jan 2017. Ditto. Удовлетворить GHC вступление по умолчанию добавлением (Eq a) tв контексты.
Более уместное int и diffв практическом пакете; это отражено в пересмотренном объяснении.
May 2017. Переделаны объяснения преобразование типа данных и примера pascal.
Обычные изменения в пунктуационных знаках.
Oct 2017. Еще большая переработка объяснения преобразование типа данных; удален — комментарий
Mar 2018. Разрешена неоднозначность объяснения умножения: заменить F'(g+xG) на (F’)(g+xG).

Проблема четырёх красок

Оригинал статьи под авторством Robin Thomas.

Эта страница дает краткий отчет, о новом доказательстве

Проблемы четырех красок и алгоритме четырех цветов найденых Нилом Робертсоном, Даниэлем П. Сандерсом, Полом Сеймуром и Робином Томас.

Содержание
1..История.
2. Зачем нужно новое доказательство?
3. Краткое описание доказательства.
4. Основные принципы доказательства.
5. Конфигурации.
6. Выполнение правил.
7. Указатели.
8. Квадратичный алгоритм.
9. Обсуждение.
10. Список литературы.

История.

Проблема четырех красок достигает 1852 года, когда Фрэнсис Гатри, пытаясь нарисовать карту Английских графств, заметил, что достаточно четырех цветов. Он спросил своего брата Фридриха, правда ли, что любая карта может быть окрашена с использованием четырех цветов таким образом, чтобы прилегающие регионы (т.е. те, которые имеют общие пограничные участки, а не только точку) имели разные цвета. Затем Фредерик Гутри передал гипотезу Деморгану. Первое печатное упоминание относится Кейли в 1878 году.

Через год появилось первое «доказательство» Кемпе. Его ошибочность была отмечена Хейводом 11 лет назад. Другое неудачное доказательство согласно Тейту в 1880 году — пробел в выводе, указанном Петерсеном в 1891 году. Однако оба неудачных доказательства имели определенную ценность. Кэмпе открыл то, что стало известно как цепочки Кэмпе, а Тейт нашел эквивалентную формулировку четырехцветной теоремы в 3-цветной рёберной окраске.

Следующий крупный вклад был сделан Биркгофом, работа которого позволила Франклину в 1922 году доказать, что гипотеза четырех цветов верна для карт с не более чем 25 регионами. Её также использовали другие математики, чтобы создавать различные форм прогресса для проблемы четырех красок. Мы должны особым образом упомянуть Хеша, который разработал два основных компонента, необходимых для окончательного доказательства — сокращение и освобождение. Хотя концепция сокращения изучалась и другими исследователями, идея освобождения, имеющая решающее значение для неизбежной части доказательства, связана с Хешем. Именно он предположил, что подходящая разработка этого метода решила бы проблему четырёх красок.

Это было подтверждено Аппелем и Хакеном в 1976 году, когда они опубликовали своё доказательство Проблемы четырёх красок.

Зачем нужно новое доказательство?

Существует две причины, почему доказательство Аппеля-Хакена до конца не подходит. Часть доказательства Аппеля-Хакена провели с помощью компьютера и её нельзя проверить вручную — даже та часть, которую предположительно можно проверить вручную, чересчур сложная и утомительная, и насколько нам известно, никто так полностью её и не подтвердил.

На самом деле, мы пытались подтвердить доказательство Аппеля-Хакена, но вскоре сдались. Проверка компьютерной части требует не только много программирования, но и учёт описания 1476 параграфов. А это даже не была спорная часть доказательства. Мы подумали, что будет гораздо выгодней, разработать наше собственное доказательство. Мы так и сделали, и получили доказательство, описанное ниже.

Основные принципы.

Основная идея доказательства такая же, как у Аппеля-Хакена. Мы обнаружили набор из 633 «конфигураций» и доказали, что каждая из них «сокращаема». Эта техническая концепция подразумевает, что ни одна конфигурация с таким свойством не может появиться в минимальном контрдоказательстве Проблемы четырёх красок. Её так же можно использовать, как алгоритм,
поскольку конфигурация сокращения появляется в пленарной графе G и тогда, в течении постоянного времени, можно построить пленарную графу G поменьше, так что любая четырёхцветная G может быть преобразована в четырёхцветную G линейного времени.

С 1913 года известно, что каждое минимальное контрдоказательство, применяемое к Проблеме четырёх красок, является внутренне 6-связанной триангуляцией. Во второй части доказательства, мы доказываем, что хотя бы одна из наших 633 конфигураций появляется в каждой внутренней 6-связанной триангуляции (не обязательно минимальный контрпример к 4CT). Это называется доказательством неизбежности, где используется «метод освобождения», впервые предложенный Хешем. Тут, наш метод отличается от предложенного Аппелем и Хакеном.

Основные принципы доказательства.

Мы подтверждаем гипотезу Хеша о том, что используя доказательство неизбежности, можно найти конфигурацию сокращения во второй окрестности «перегруженной» вершины. Таким образом, мы избегаем «иммерсионных» проблем, которые были основным источником осложнений для Апреля и Хакена. Наша конфигурация неизбежности размером 633, противоположна 1476 звеньевой конфигурации Аппеля и Хакена. А наш метод освобождения использует только 32 правила освобождения, вместо 300+ Аппеля и Хакена. И наконец, мы получаем квадратичный алгоритм четырёхцветного планарный графа (который будет описан позже), улучшение уравнения четвёртой степени Аппеля и Хакена.

Конфигурации.

Почти триангуляция является без нулевым, без петельным планарным графом, так что всякая бесконечная область является треугольником. Конфигурация K состоит из почти триангуляции G, а координата g из V(G) переходит в целые числа с следующими свойствами:
Для каждой вершины v, G\v в большинстве имеет два компонента, а если их два, то степенью v является g(v)-2,2.
Для каждой вершины v, g(v) равно степень v, при условии, что v не случайно находится в бесконечной области. В противном случае g(v) больше, чем степень v, и в обоих случаях g(v)> 4,
Кольцевой размер K, как минимум 2, где кольцевой размер K определяется как сумма g(v)-deg(v)-1, суммируемая по всем вершинам v, свойственным бесконечной области, такой, с которой связан G\v.

При рисовании схем конфигураций, мы используем гипотезу Хеша. Формы вершин показывают значение g(v) в следующем виде: массивный, чёрный круг означает g(v)=5, точка (или то, что показано на картинке без символа вовсе) означает g(v)=6, кольцевое сечение означает g(v)=7, квадратное сечение означает g(v)=8, треугольник означает g(v)=9, а пятиугольник g(v)=10. (Нам не нужна вершина v, где g(v)> 11 и только одна вершина g(v)=11, для которой мы не используем никаких особенных символов). На схеме ниже, 17 из наших 633 сокращаемых конфигураций показаны с использованием indicated convention. Полный набор можно увидеть, нажав тут . (Мы ссылаемся на пункт (3.2) нашего документа для значения «жирные рёбра» и «полурёбра».
Работоспособной конфигурацией называется, любая конфигурация, сходная по структуре одной из 633 конфигураций , показанных в 7. Допустим T — это триангуляция. Конфигурация T является K=(G,g), если G это индуцированный подграф T, каждая конечная область G является областью T, а g(v) равняется степени v в T для каждой вершины v из T. Мы доказали два следующих
высказывания.

Теорема 1. Если T является минимальным контрдоказательством Проблемы четырёх красок, тогда у T не существует работоспособной конфигурации.

Теорема 2. Для каждой внутренне 6-связанной триангуляции T, существует работоспособная конфигурация T.

Из двух, вышеуказанных теорем следует, что ни одно минимальное контрдоказательство не существует, а 4CT является настоящим. Для первого доказательства нужен компьютер. Второе можно проверить вручную за несколько месяцев, а если использовать компьютер, то за 20 минут.

Выполнение правил.

Допустим, T является внутренне 6-связанной триангуляцией. Первоначально, каждая вершина v определяет заряда 10(6-deg(v)). Из формулы Эйлера следует, что сумма зарядов всех вершин равна 120. По сути, она положительна. Сейчас мы перераспределяем заряды согласно следующим правилам таким образом. В каждом случае, когда T имеет подграф, изоморфный одному из графов на рисунке снизу и удовлетворяющий степень детализации (для вершины v, как правило, со знаком минус, это означает, что степень соответствующей вершины T не больше, заданого формой v, и аналогично для вершин со знаком плюс; для вершин, не имеющих знака рядом с ними, требуется равенство), заряд одного (или двух, при применении первого правила) должен быть отправлен по краю, отмеченному стрелкой.

Эта процедура определяет новую группу зарядов с одинаковой суммой. Так как полная сумма положительная, то вершина v в T, чей новый заряд положительный. Мы демонстрируем, что работоспособная конфигурация появляется во второй окрестности v. Если степень v не более 6 или не менее 12, тогда это можно легко увидеть под прямым аргументом. Однако для остальных случаев доказательства гораздо сложнее. Поэтому, мы написали доказательство формальным языком, чтобы его можно было проверить через компьютер.

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

Указатели.

Теоретическая часть нашего доказательства описана в 7.

Десяти страничный опрос доступен онлайн. Компьютерные данные и программы раньше находились на анонимном ftp сервере, но от него постепенно отказались. Сейчас эти же файлы доступны на
http://www.math.gatech.edu/~thomas/OLDFTP/four/ и их можно удобно просмотреть. Независимый набор программ был написан Гаспером Фиявзом под руководством Бояна Мохара.

Квадратичный алгоритм.

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

Если у G не более четырёх цветных вершин, то у каждой вершины будет разный цвет. В другом случае, если степень G минимум 5. Мы вычислили заряд каждой вершины, как показано выше, и определили вершину v с положительным зарядом. Из нашей Теоремы 2 следует, что как работоспособная конфигурация, находящаяся во второй окрестности v (в случае, когда её можно найти в линейном времени), так и k-кольцо, нарушающее определение внутреннего 6-соединений, можно найти в линейном времени. В последнем случае, мы прибегаем к кольцевому k-кольца ниже, а в первом мы применяем рекурсию к конкретному малому графу. Окрашивание G в четыре цвета может быть сконструировано из четырёхцветного окрашивания меньших графов в линейном времени.
Можно применить процедуру, разработанную Биркгофом, учитывая, что k-кольцо R, нарушающее определение внутреннего 6-соединения. Мы применяем рекурсию к двум тщательно подобранным подграфам G. Тогда четырёхцветность G может быть построена по четырёхцветности двух других графов в линейном времени.

Дискуссия.

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

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

Доказательство по противопоставлению

Доказательство по противопоставлению имеет преимущество логического эквивалента между “P подразумевает Q” и «Не Q подразумевает Не P”. Например, утверждение «Если это моя машина, то она красная» эквивалентно утверждению «Если эта машина не красная, она не моя».  А значит, чтобы доказать «Если Р, то Q» по методу противопоставления значит доказать «Если нет Q, то и не Р».

Пример: аналогия

Вот простой пример, который иллюстрирует этот метод. Утверждение будет использовать следующие определения.

Определения.

Целое х является четным ( соответственно нечетный) если есть другое целое k, для которого х=2k (соответственно 2k+1). Считается, что два целых имеют одну и ту же аналогию, если они оба случайны, или оба четные, или оба нечетные.

Теорема. Если х и у это два целых, для которых х+у будет четным, тогда х и у имеют одну и ту же аналогию.

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

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

Соответственно, существуют целые k и m, для которых x = 2k, а y = 2m+1. Итак, мы вычисляем сумму x+y = 2k + 2m + 1 = 2(k+m) + 1, что является нечетным целым для определения.

Как это отличается от доказательства противоречия?

Разница между противопоставления и методом противоречия очень тонкая. Давайт изучим, как эти два метода работают, когда мы пытаемся доказать «Если Р, тогда Q».

Метод противоречия: предположим, что Р и Не Q и докажем некоторую степень противоречия.

Метод противопоставления: предположим Не Q и докажем не P.

Метод противопоставления имеет преимущество в том, что цель ясна: доказать не P. В методе противоречия целью является доказательство противоречия, но не всегда ясно, что будет противоречием с самого начала.

Тест на точный квадрат

В этом примере нам понадобятся два понятия. Целым n называется точный квадрат, если есть другое целое k, такое  как n = k2. Например, 13689 это точный квадрат когда 13689 = 1172.

Вторая идея это напоминание о арифметических операциях над абсолютными значениями чисел.

Для двух целых m and n, n mod(m) = r  будет напоминанием, результатом того, что мы делим m на n. Это значит, что существует такое целое q, такое как n = mq + r. Например, 127 mod(29) = 11 тогда как 29 перейдет в 127 4 раза с напоминанием в 11 (или, другими словами, 127 = (4)(29) + 11). Определение того, является ли точный квадрат позитивным целым, может быть сложным.  К примеру, является ли is 82,642,834,671 точным квадратом? Сначала мы вычисляем 82,642,834,671 mod(4) = 3. Затем используем следующую теорему:

Теорема.  Если n является позитивным целым, таким как n mod(4) is 2 or 3, тогда n не будет точным квадратом.

Доказательство.  Мы докажем версию противопоставления:  «Если n это точный квадрат, тогда n mod(4) должно равняться 0 or 1.» (Вы понимаете, почему эта версия является противопоставляющей?) Предположим n = k2. Есть 4 случая на рассмотрение.

Если k mod(4) = 0, тогда k = 4q, для некоторого целого q. Тогда, n = k2 = 16 q2 = 4(4 q2) , то есть n mod(4) = 0.

Если k mod(4) = 1, тогда k = 4q + 1, для некоторого целого q. Тогда, n = k2 = 16 q2 + 8 q + 1= 4(4 q2 + 2 q) + 1, i.e. n mod(4) = 1.

Если k mod(4) = 2, тогда k = 4q + 2, для некоторого целого q. Тогда, n = k2 = 16 q2 + 16 q + 4 = 4(4 q2 + 4 q + 1), то есть n mod(4) = 0.

Если k mod(4) = 3, тогда k = 4q + 3, для некоторого целого q. Tогда, n = k2 = 16 q2 + 24 q + 9 = 4(4 q2 + 6 q + 2) + 1, то есть n mod(4) = 1.

Упражнения

Докажите каждое следующее предположение, используя противопоставляющий метод.

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

Если x и y являются двумя целыми, продуктом которого будет нечетное, тогда оба должны быть нечетными.

Если n является позитивным целым, таким как n mod(3) = 2, тогда n не является точным квадратом.

Если a и b являются реальными числами, такими что продуктом a b будет иррациональное число, тогда и a, и b будут иррациональным числом.

КОРРЕСПОНДЕНЦИЯ МЕЖДУ ПРИНЦЕМ Андреем Курбским и Иваном IV

Оригинал текста доступен по ссылке.

Князь Андрей Курбский

Первое послание к царю

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

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

Какое зло и гонение я испытал благодаря тебе! Какие только беды и несчастья ты мне принес! А какие злостные полотна вранья ты только не плел про меня! Теперь я не могу пересчитать разнообразные несчастья на твоей совести, которые поразили меня своим многообразием, и моя душа все еще наполнена горем.  Но, чтобы сделать вывод, я могу подытожить все следующим образом: ты всего меня лишил; я был выгнан с земель Божьих без вины. Я не задал ни одного вопроса, а также ни разу не пожаловался, а также я не заслужил никакой пощады от тебя благодаря заступничеству иерархии. Ты отплатил мне злом и непримиримой ненавистью за добро и за любовь. Моя кровь, разлитая как вода для тебя, кричит против тебя моему Господу.  Бог зрит в сердца – в моих мыслях я пылко отразил, а совесть моя стала свидетелем, и я искал и соединился с моими мыслями, и, рассматривая себя, знаю теперь – никакой вины в себе я не отыскал. Я двигался и двигался впереди твоей армии; и принёс тебе ни малейшего бесчестия; только блестящие победы с помощью ангела, посланного богом, я принес во твою славу и разве когда-нибудь я повернул твою армию спиной к врагу?  И куда более, во имя твоей славы я выиграл самые доблестные сражения, не за один и не два года, а на протяжении множества лет, трудился ли я в поте и терпении; я был всегда вдали от родных земель, я виделся мало с родителями и женой. Но всегда в далёких краях я шёл на врага и страдал от многих болезней, чему Иисус Христос свидетель.

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

И я хотел связать все мои военные поступки, которые, в свою очередь, я совершил ради вашей славы, с силой Христа, но я не считал их, так как Бог знает лучше, чем человек. Он расплатился за все эти вещи, и не только за эти, а еще и за чашку холодной воды; и я знаю, что ты сам не осознаешь этого.  И более того, да будет тебе известно, царь; я думаю ты не увидишь моего лица в этом мире до времен славного пришествия Христа. Не думай, что буду молчать насчет этих вещей; до своего конца я буду беспрестанно рыдать против вас перед Святой Троицей, в которую я верю; и я призываю мне в помощь Матерь Господнюю Херувимов, мою надежду и защиту, нашу Богородицу и всех святых, выбранных Богом, и моего учителя и праотца, князя Федора Ростиславовича, чье тело остается нетленным и сохраняется на протяжении всего века и испускает сладкие запахи, еще слаще, чем ароматические вещества, и, сквозь могилу Святого Духа изливает чудесное исцеление, как тебе, царь, хорошо известно…

Не думай, царь, о нас со своими софистическими мыслями, так, будто мы уже погибли, уничтоженные тобой в нашей невиновности и сосланы тобой без правосудия; не радуйся этой вроде бы как доблестной победе; те, кто были уничтожены тобой, находясь на престоле Господа нашего, попросят мести против тебя; А мы, те, кто был несправедливо выгнан и сослан тобой с родных земель, день и ночь взывают к Богу,хоть ты и гордишься и хвастаешься этой временной, быстротекущей жизнью, разработав камеры пыток против Христианской расы, злоупотребляя и топчясь по Ангельской Форме, с апробацией твоих лётчиков и товарище по столу, твоих боярских склок, разрушителей твоей души и тела, которые провоцируют тебя на эротические поступки и, вместе с деьтми действуют более злобно, чем священники Кронуса.  Так много всего. И этот посыл, пронизанный моими слезами, позволяет мне быть в моей могиле со мной Иисусу Христу, когда я приду с тобой на суд перед ним. Аминь.

Написано в Вольмаре, городке моего пана, короля Августа Сигизмунда, от которого я надеюсь получить в награду и успокоение за всю мою скорбь его суверенную благодать, а тем более с Божьей помощью. В священных писаний я находил, что дьявол посылает эсминца против рода человеческого, испорченного развратным антихристом, врагом Бога; И теперь я вижу советника, известного всем, кто родился в прелюбодеянии и, который сегодня шепчет неправду в уши царя и проливает христианскую кровь, как воду, и уже разрушил сильный и благородный Израиль по договору с Антихристом. Негоже царю проявлять индульгенцию к подобным людям! Это написано в первом законе Господнем. «А моавитянин и аммонитанин, и незаконнорожденный сын не войдут до десятого колена в религиозное братство Господне».

* * * * * *

Иван IV: послание царя и государя ко всему российскому царству против тех, кто нарушил обещание верности, против князя Андрея Курбского и его товарищей и их предательства.

Наш Бог, Троица, которая существовала с момента возникновения вечности, и которая сейчас называется Отцом, Сыном и Святым Духом, не имеет ни начала, ни конца; с его помощью мы живем и движемся, с его помощью короли правят, а законы создаются. Победоносный стандарт Единого Божья слова и Благословенного Креста, который никогда не был подавлен, был дан императору Константину нашим Богом Иисусом Христом, сначала из уважения и всем православным царям и защитникам православности и по мере того, как Слово Божье было закончено, они в полете орла достигли всех благочестивых слуг Божьего слова, пока искра уважения не упала на всю российскую землю.

Самодержавие, по Божьему велению, было основано Великим Принцем Владимиром, кто просветил всю Россию при помощи святого крещения, а также великого царя Владинира Мономаха, который получил памятные почести от греков и великого царя Александра Невского, который одержал великую победу над безбожными немцами и достойным похвалы царем Дмитрием, который одержал великую победу над сыновьями Хагара за Доном, а затем перешел к местнику за несправедливость, нашему родоначальнику, великому царю Ивану, собирателя российских земель из числа предков и нашего отца благословенной памяти, великого царя Василия, пока он не достиг нас, скромного скипетского носителя Российской империи.

Но я восхваляю Бога за великое благославение, которое он показал мне, не позволяя моей правой руке испачкаться кровью моей расы: за то, что мы не отняли чужих земель, но благодаря воле Божьей и благославению наших предков и родителей, были рождены в этих землях, воспитывались там и вступали в поход, с волей Бога и благославением наших предков, брали только то, что принадлежало нам и не пользовались тем, что не было нашим. Здесь следует команда правоверного, истинно христианского правителя, во власти которого находятся многие королевства – наш скромный ответ на то, кто был действительно правоверным, истинно христианским боярином нашего королевства, советчиком и генералом, но сейчас преступником перед святым, живительным крестом Господа, истребителем христиан, слегой врагов Христианства, кто отошёл от божественного поклонения образам и наступил на все священные приказы, разрушил священные сооружения, очернил и растоптал святые иконы и сосуды, тот, кто объединяет в одном человеке Левра Исавра, Константина Копнонимова и Льва Армении князя Андрея Михайловича Курбского, который хотел стать правителем Ярославля при помощи предательства.

Итак, о принц, если ты считаешь себя благочестивым, не потерял ли ты свою душу? Что ты предъявишь на своем месте в день страшного суда? Даже если ты должен завоевать весь мир, смерть все равно тебя настигнет в конце! Почему ты продал свою душу ради своего тела? Не потому ли это, что ты боялся смерти от фальшивых демонов и влиятельных друзей и советников?..

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

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

Богу было приятно забрать нашу мать, благочестивую царицу Елену у земного царства в царствие небесное. Мой брат Юрий, который теперь на небесах, и с которым мы были оставлены сиротами, так как о нас не было кому заботиться, мы доверяем Пресвятой Богородице, и в молитвах ко всем святым, и в молитвах к нашим родителям. Когда мне было восемь лет, наши подданные действовали согласно их воле, так как они нашли империю без правителя и не подумали даже обратить свое внимание на нас, они были склонны к получению богатства и славы, и конфликтовали друг между другом. Чего они только не сделали! Сколько бояр, сколько друзей нашего отца и генералов они загубили! Они захватили фермы, села и владения наших дядей, и утвердились там.  Сокровище нашей матери они растоптали и пронзили острыми копьями, и перенесли его к большому сокровищу, но часть его они забрали себе; и это было сделано твоим прадедом Михаилом Тучковым. Принц Василий и Иван Шуйский взяли на себя то, чтобы меня оставили проживать у них, а те, кто были главными предателями нашего отца и матери, были выпущены из тюрьмы, и они все объединились. Во дворе, который принадлежал нашему дяде принцу Василию Шуйскому, которыя натолкнулся на нашего отца проповедника Федора Мишурина, толпа Иуд оскорбила его и убила; они же посадили в тюрьму князя Ивана Федоровича Бельского и многих других в разных городах, и ополчились против царства; Они выгнали митрополита Данила: и таким образом они улучшили свои возможности и начали править.

Моего брата Юрия, блаженна его память, и меня воспитывали как бродяг и детей бедняков. Чего только не пришлось пережить, чтобы заслужить одежду и еду! И все это против моей воли и стало моим экстремальным юношеством. Я вспомню только одну вещь: однажды в моем детстве мы играли, принц Иван Васильевич Шуйский сидел на лавке, опираясь локтем на кровать нашего отца даже поставив ногу на нее; он относился к нам не как родитель, а как учитель… кто выдержал бы подобную наглость? Как я могу перечислить все те трагедии. Которые случились со мной в юности? Часто я обедал очень поздно, против моей воли. Что сталось со всеми сокровищами, оставленными моим отцом? Они все унесли под коварным предлогом того, что им нужно платить детям бояр из этих средств, а в реальности, они не давали их им, в угоду своей выгоде и не платили им за их работу; и они также забрали огромные сокровища моего деда и отца, и переработали его в золотую и серебряную посуду, гравируя на ней имена своих родителей, будто это все было их наследием… Обязательно нужно напомнить, что случилось с сокровищами наших дядюшек: они все их присвоили себе! Потом они напали на города и села, жестоко мучили людей, приносили им столько ужаса и беспощадно грабили владения жителей.

Достигнув возраста пятнадцати лет, мы, вдохновленные Богом, взяли на себя обязательство править нашим королевством и с помощью всемогущего Господа, мы правили нашими земляки в мире и безмятежности, и согласно нашей воле. Но случилось так, что из-за наших грехов, по Божьей воле, огонь распространился и Москва была уничтожена. Наши бояре, которых ты называешь мучениками, имена которых я намеренно пропощу в тишине, воспользовались благоприятной возможностью для их коварного предательства и разнесли слухи среди толпы о том, что моя бабушка, мама мое мамы, принцесса Анна Глинская, вместе со всеми своими детьми и прислугой, доставали мужские сердца и, что похожим колдовством она сожгла Москву, и что мы знали о ее действиях. По инициативе этих предателей, толпа бездушных людей, плача в манере евреев, пришла к собору апостолов святого мученика Дмитрия Салоники, вытащила из нее нашего боярина Юрия Васильевича Глинского, нечеловечески вытолкнули его в Успенский Собор и убили этого ни в чем не повинного человека прямо в церкви. Напротив собора митрополитов вони окрасили землю его кровью, перекинули его тело через входные двери и выставили его на рынке как преступника – каждый знает об этом убийстве в церкви. Тогда мы жили в поселке Воробьево; те же предатели призывали народ убить нас под этим предлогом, и ты, пес, повторил вранье, от ккоторого мы охраняли принца Юрия, принцессу Анну и их брата принца Михаила. Как сейчас не усмехаться такой глупости? Зачем нам быть поджигателями собственной империи?…

Ты говоришь, что наша кровь была пролита в войнах с иностранцами, и в своем заблуждении ты добавляешь, что она кричит против нас Богу. Это смешно. Она была пролита одним человеком и никак и кричит против другого. Если это правда, что твоя кровь была пролита врагом, то ты в если же ты не сделал бы этого. Вы бы не были христианином, а были варваром – но это не наше дело. Сколько же нашей крови, пролитой тобой, кричит Богу против тебя! Ни ранами, ни каплями крови, но с сильным потом и тяжестью, я был обременен тобой без надобности и против моей воли! Твои многочисленные подлости и преследования по отношению ко мне, вместо крови вызвали слезы.

Ты говоришь, что хочешь положить свое письмо в могилу: это показывает то, что ты полностью отказался от своего христианства! Потому что бог приказал не противостоять злу, но отказаться от окончательного помилования, которое дается неверному; итак неверно даже то, чтобы по тебе воспевалась какая-либо месса. На нашей родине, в стране Лифланд, ты называешь город Вольмар собственностью нашего врага короля Сигизмунда: этим ты только укрепляешь предательство порочного пса…

Написано в нашей великой России, в знаменитой имперской столице Москве, на ступенях имперского порога, в пятого июля 7072 (1564) от сотворения мира.

Чи існують обмеження щодо зростання населення в Австралії?

Оригінал тексту під авторством Sharon Beder доступний за посиланням.

Чому треба обмежувати зростання населення в Австралії

Для багатьох, величезний континент Австралія здається малозаселеним, з його кількістю людей у сімнадцять мільйонів. Але ця картина вводить в оману: більша частина континенту непридатна для людей, а кількість сільськогосподарських угідь та наявних вод невелика в порівнянні з загальною площею землі. Крім того, згідно з комітетом з питань народонаселення Національної ради з питань народонаселення (NPC), «існує серйозна невідповідність розподілу доступного водопостачання між населенням. Водопостачання схильне до високого рівня
сезонної та щорічної мінливості, земля сильно зруйнована, ґрунт тонкий та уразливий до виснаження» (1992, стор. 41). Крім того, багато видів в Австралії вимерли, або знаходяться під загрозою зникнення, через розширення діяльності людини в місцях їх існування.

Австралія має високий темп зростання населення у порівнянні з іншими країнами з високим рівнем доходу, в основному через велику імміграцію. Незважаючи на те, що рівень народжуваності нижчий за рівень відновлення, існує також природне збільшення рівня населення. Це пов’язано з ефектом запізнення у збільшені населення ще покоління тому, що призвело до збільшення кількості жінок дітородного віку. Між науковцями не багато згоди щодо того, скільки людей може утримувати Австралія, і ще менше щодо, екологічних наслідків. Деякі біологи, географи та екологи стверджують, що в Австралії вже проживає більше людей, ніж може витримати навколишнє середовище. А також, що стійкий рівень населення буде десь десять мільйонів людей.

Чому не треба обмежувати зростання населення в Австралії

Деградацію земель іноді пов’язують з рівнем населення. Але комітет з питань народонаселення Національної ради з питань народонаселення стверджує, що австралійський ґрунт фактично годує більше п’ятдесяти шести мільйонів людей (як усередині Австралії, так і за її межами) і що вони надають вовну та бавовну для ще більшої кількості людей. Більше того, він стверджує, що завдана ґрунтам шкода, була зроблена дуже малим населенням: колоніальні поселенці, які очистили землю, і фермери (тепер менше 5 відсотків від загальної чисельності населення), які все ще очищають землю, а іноді й викликають подальшу ерозію ґрунту. Подібно до того, гірнича справа також забезпечує потреби ширшого населення. Комітет стверджує, що «вплив на навколишнє середовище будь-якої галузі, яка експортує дуже велику частку своєї продукції, слабо пов’язаний з потребами та вимогами внутрішнього населення» (стор. 41-2).
Економічний консультант, Люба Зарський, також стверджував, що навіть прибережний розвиток туризму є результатом економічного зростання в Азіатсько-Тихоокеанському регіоні, а не тиску від населення Австралії.
«У той час як імміграція може ускладнювати екологічні проблеми, сильні обмеження на імміграцію самі по собі не дадуть змоги відновити австралійські сільськогосподарські угіддя, поліпшити лісове господарство або зберегти берегові ліній» (1991, с. 125).

Допустиме навантаження

Популяційні біологи часто говорять про «максимальну кількість населення, яку може витримати середовище» території. Це відноситься до «максимальної швидкості споживання ресурсів та видалення відходів, які можуть безкінечно бути стійкими у певному регіоні, без поступового зменшення екологічної продуктивності та цілісності» (Франція, 1991р., стор 123). Інший термін, «культурна пропускна спроможність навколишнього середовища», який стверджує, що люди не вважатимуть за доцільне жити в межах максимальної кількісті населення, яку може витримати середовище, оскільки якість життя буде неприйнятною. Як зазначалося вище, світ міг би підтримати ще більшу кількість людей, які ведуть спосіб життя на основі натурального господарства, але чи дійсно це те, чого ми хочемо?

Очевидно, що вплив населення на територію залежить від їх практики та культури, особливо від того, скільки ресурсів вони споживають, і обсяг відходів, які вони видкидають. Дж.

Х. Кушман і Ендрю Бітті, популяційні біологи, зазначають, що австралійський континент «може підтримати більше шведів (і набагато більше ефіопів), ніж американців» (1992) через різницю у кількості споживання (якщо вони не почали споживати, як австралійці, коли вони приїхали сюди, так як австралійці споживають майже так само на людину, як північноамериканці).
Деградація навколишнього середовища є наслідком кількості людей, споживання на людину та впливу на навколишнє середовище кожної одиниці споживання. Збільшення населення Австралії вплине на використання її ресурсів, якщо додаткові цифри будуть відшкодовані меншим споживанням на людину, або збільшенням ефективності використання ресурсів. У дослідженні для комітету з питань народонаселення Національної ради з питань народонаселення, Дж. Макглінн підрахував, що для того, щоб постійно зберігати ресурси, коли населення та доходи постійно збільшуються, буде потрібно 3,11 процентів підвищення ефективності використання ресурсів на рік.

Проте, інше дослідження, яке цитує комітет з питань народонаселення Національної ради з питань народонаселення, показало, що підвищення ефективності не перевищило 2,1 відсотка з 1965 року. (Комітет з питань проблем народонаселення 1992 р., Стор. 44)

Спектральные и хронометрические модели HR8799 b, c b d и новые модели густых облаков.

Авторы: Мадхусудхан, Берроус и Керри (2011)

Оригинал статьи: ссылка

Описание: tar-файлы, которые предоставлены ниже это коллекция спектральных моделей, найденных и описанных в докладе под названием «Атмосферные модели для массивных газовых планет с густыми облаками: дополнение к планетам HR~8799» Мадхусудхана, Берроуса и Кёрри (2011), предоставленном в Астрологическом журнале. Мы разработали новую широкомасштабную систему атмосферных моделей массивных планет и использовали её для получения подходящих фотометрических данных для b, c и d HR~8799 планет. Облачные модели включают в себя различные геометрические и оптические сгущения, модальные частицы размера и металлические свойства. Для каждой планеты и набора облачных параметров мы обнаруживаем сетку нитей в гравитации и эффективную температуру, при помощи чего мы определяем ограничения на массу и возраст планеты. Наши новые модели статистически подсчитывают совпадения с данными и окончательно подтверждают то, что HR~8799 планеты имеют более густые облака, чем те, что требуют, что требуют расшифровки данных для типичных карликовых планет L и T. Обе модели с 1) физически густыми фостеритовыми облаками и модальной величиной частиц 60-$\mu m$ 2) облака, созданные из чистых металлических частичек, размером 1 $\mu m$- и перенасыщенность, соответствующая данным. Степень наилучшим образом оценённых данных для HR 8799b, HR 8799c, and HR 8799d умеренно перекрывает 2—12 M$_{J}$, 7—13 M$_{J}$, and 3—11 M$_{J}$, соразмерна и подразумевает одинаковый возраст между $\sim$20 and $\sim$150 Myr, согласующийся с ранее задокументированным возрастом звезды. Наиболее подходящие температуры и силы гравитации немного ниже, чем значения, полученные Кёрри (2011) при использовании более плотных облачных моделей. Наконец, мы используем эти модели, чтобы предотвратить чуть ли не срединно инфракрасных планет, которые вскоре будут показаны. Наши модели предсказывают, что массовые планетные объекты следуют по траектории некоторых инфракрасных диаграмм, которые отделяются от стандартных L/T планетных траекторий на коричневые поля планет.

Издание Мадхудсахана, Берроуса и Кёрри включает в себя модели с облаками разной геометрической густоты, (состоящих как из фостерита, так и из металла), безоблачные и неравновесные модели. Если вы будете использовать эти теоретические модели в разговоре, публикации, предложении или любом документе, мы будем очень признательны, если вы будете использовать этот документ. Если у вас есть какие-либо вопросы или предложения, вы всегда можете связаться с Адамом Берроусом (burrows@astro.princeton.edu).

Ниже вы найдёте модели, использованные в изучении планеты HR 8799, а также при изучении ряда новых моделей густых облаков, таких как те, что обязательно соответствовали HR8799, но для более широкого спектра эффективных температур и веса:

Терминология для облачных моделей:

Название файла содержит информацию о типе облака, величине частиц, эффективной температуре, составе облака, количестве металлов, веса в указанном порядке.  Первая буква в названии файла указывает тип облака: ‘A’,’AE’,’E’, или ‘AEE’, соответствующий четырём типам облаков, различных физически связных частей, как описано в работе.  Например: «A100.1000.cloud.3solar.g4.0.21″ предполагает модель типа A, со 100 микронами модальной величины частиц, эффективный период полураспада = 1000 K, фостеритный состав (‘облако’ по умолчанию предполагает фостеритные облака), количество металла = 3 x solar, and log10(g) = 4.0. Число».21″ в конце служи для целей отслеживания файла и не имеет физического значения. Для металлических облаков, в файле слово ‘cloud’ заменено на ‘Fecloud’. Если величина частиц или количество металлов не указаны, они составляют 30 микронов величины частиц и, соответственно, солнечную металличность.  Например: «A.1000.cloud.g4.0.21» или «A60.1200.cloud.g4.25.21».

Номенклатура для чистых (безоблачных) моделей:

Для безоблачных моделей в равновесии химической реакции, название файла начинается с ‘T’, сопровождаемый эффективной температурой и силой тяжести. Например, ‘T1100_g45.clr’ заключает в себе чистую модель, в которой период полураспада = 1100 K and log10(g) = 4.5. Расширение файла ‘.clr’  означает ‘чистую’ модель атмосферы. Для моделей с неравновесной химической реакцией, название файла также содержит информацию о вихревой диффузии. Например, ‘T1100_g45_d6f2.clr’ включает в себя чистую модель с периодом полураспада = 1100 K, log10(g) = 4.5, и коэффициентом вихревой диффузии (K_zz) = 1.0E+6 cm 2/s. Частица ‘f2’ обозначает эффективную скорость переноса (‘fN’ can be ‘f0’, ‘f1’, или ‘f2’, ‘f2’ – в качестве самых высоких показателей).

Облачные модели AE

Облачные модели AEE

Облачные модели A

Облачные модели E

Чистые модели

Чистые неравновесные модели

Металлические модели облаков

Кіруйце сваёй працай, не дазваляйце ёй кіраваць Вамі: Падказкі да кіравання сваім часам і прасоўвання

Арыгінал тэксту пад аўтарствам Annette Nellen даступны па спасылцы.

Мэты тайм-менеджменту

  • Быць здольным кантраляваць сваё жыццё — кіруйце сваім часам, не дазваляйце яму кіраваць Вамі!
  • Быць здаравей і шчаслівей (менш стрэсу).

Сем прапаноў для эфектыўнага кіравання сваім часам

  1. Будзьце арганізаваныя
  • Карыстайцеся інструментамі, якія эканомяць час: календарамі з часам для наведвання, спісамі бягучых спраў, аўтаадказчыкамі, тэчкамі і т.д.
  • Стварыце арганізаванае працоўнае месца (не марнуйце час на пастаянныя пошукі месца, дзе можна папрацаваць).
  • Карыстайцеся календаром з часам для наведванняў, уключаючы спіс заняткаў з часам.
  • Карыстайцеся спісамі бягучых спраў і для працяглага часу, і для кожнага дня / тыдня.
  1. Плануйце наперад (Заплануйце, і гэта здарыцца!)
  • Вызначце, колькі часу зойме задача (зрабіце гэта перад тым, як пагадзіцеся ўзяцца за задачу!)
  • Падумайце, ці можна злучыць некалькі мерапрыемстваў.
  • Вызначце, ці можна вялікія задачы разбіць на маленькія, каб іх можна было лёгка запланаваць (такія як падрыхтоўка да іспытаў і наведванне бібліятэкі, як частка задачы – напісаць курсавую працу).
  1. Расстаўце прыярытэтна свае задачы
  • Выкарыстоўвайце рэйтынгавую сістэму A-B-С для пунктаў у сваіх спісах бягучых спраў, дзе задачы А маюць самы высокі прыярытэт.
  • Стаўце мэты як для кароткіх, так і для доўгіх задач, так як Вы хочаце іх выканаць.
  • Паглядзіце на ўсі свае бягучыя справы, каб разлічыць часовыя патрабаванні, і ці будуць неабходныя дадатковыя крыніцы, каб іх выканаць (калі так, заплануйце час, каб атрымаць гэтыя рэсурсы). Не адкладайце маленькія задачы (пачуццё выканання — добрае пачуццё, а незаўважаныя маленькі задачы могуць стаць вялікімі задачамі).
  1. Пазбягайце перагрузкі
  • Надавайце час адпачынку, паслабленню, сну, ежы і зносінам у сваім раскладзе.
  • Рабіце кароткія перадышкі ў час вучобы і ў перыяд работы.
  • Не адкладайце усё да апошняй хвіліны (напрыклад, не зазубрывайце спехам матэрыялы да іспытаў).
  • Вучыцеся казаць «не», калі неабходна і дамаўляцца пра больш зручным дэдлайне, калі неабходна.
  1. Практыкуйце эфектыўныя тэхнікі вывучэння.
  • Разбіце вялікія задачы на такія, якія вы лёгка зможаце пацягнуць.
  • Чытайце дзеля ўспрымання, замест таго, каб хутчэй дайсці да канца главы.
  • Будзьце гатовыя задаваць пытанні, калі яны ўзнікаюць падчас вучобы, а не проста чакайце, пакуль пачнецца іспыт.
  • Спачатку рабіце самую складаную працу, магчыма, перарываючы яе некаторымі задачамі лягчэй.
  • Не чакайце апошняй хвіліны, каб завяршыць свой праект.
  • Прачытайце канспект, як толькі вы яго атрымаеце, а таксама адзначце ўсе даты (і час для этапаў работы) у сваім календары.
  • Будзьце прыкладным студэнтам! (наведвайце заняткі і ўдзельнічайце ў іх, а таксама будзьце пунктуальныя, падрыхтаваныя і прагнеце вучыцца).
  1. Навучыцеся быць гнуткім
  • Нечаканае здараецца (хвароба, праблемы з машынай і т. д.); Вам трэба навучыцца падладжваць гэта пад свой графік.
  • Ведайце, як пераарганізаваць свой графік, калі неабходна (каб ён не кіраваў вамі, а вы ім).
  • Ведайце, у каго папрасіць дапамогі, калі гэта неабходна.
  1. Майце бачанне (чаму Вы робіце ўсё гэта?)
  • Не забывайце пра «вялікую карціну», чаму вы выконваеце задачу, ці важна гэта для вашых доўгіх і перспектыўных мэтаў?
  • Майце і вынікайце асабістаму крэда сваёй місіі (асабістаму і кар’ернаму). (Вашы дзеянні, у рэшце рэшт, дапамагаюць вам дасягнуць вашых мэтаў?)
  • Ведайце, што важна для Вас. (Што вы шануеце больш за ўсё?)
  • Майце пазітыўнае стаўленне!

Что такое семантика?

Оригинал статьи под авторством Richmond H. Thomason доступен по ссылке.

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

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

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

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

(S)Я не могу развязать этот узел одной рукой.

Несмотря на то, что вы, вероятно, никогда не видели этого предложения, вы можете легко увидеть следующие вещи:

  • Предложение информирует о способностях того, кто говорил или писал его. (Назовем это лицо говорящим).
  • Оно также об узле, может быть, о том, на который указывает говорящий.
  • Предложение отрицает, что говорящий обладает определенными способностями. (Это вклад слова «не могу».)
  • Развязывание – это способ сделать что-то не связанным.
  • Предложение не означает, что узел имеет одну руку. Оно связано с тем, сколько рук используется для развязывания.

Смысл предложения – это не просто неупорядоченный набор значений его слов. Если бы это было правдой, то «ковбои ездят на лошадях» и «лошади ездят на ковбоях » означали бы одно и то же самое. Поэтому нам нужно подумать об устройстве значений.

Вот расстановка, которая, кажется, выявляет отношения значений в предложении (предложениях).

Не [ я [в состоянии [ [[[сделать [не [связанным]]] [этот узел ]] [ одной рукой] ] ] ]

Единица [Сделать [Не [Связанным]]] здесь соответствует акту развязывания; она содержит субъединицу, соответствующую состоянию развязывания. Более крупные единицы соответствуют акту развязывания-этого-узла и развязать-этот-узел-одной-рукой. Затем этот акт сочетается с возможностью сделать большую единицу, соответствующую состоянию «быть в состоянии развязать узел одной рукой». Этот блок совмещается с «Я думаю, что нахожусь в этом состоянии, то есть, мысль, что я-способен-развязать-узел-с-одной-стороны. Наконец, это сочетается с НЕ и мы получаем отрицание этой мысли.
Идея о том, что осмысленные единицы систематически объединяются, образуя большие осмысленные единицы, и понимание предложений является способом разработки этих комбинаций. Наверняка это самая важная тема в современной семантике.

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

Семантическое правило для английского языка может сказать, что простое предложение, включающее слово «не может», всегда соответствует значению

Не [ В Состоянии … ],

но никогда никому не нравится

Способный [ Не … ].

Например, » я не могу танцевать» означает, что я не могу танцевать; это не значит, что я не могу не танцевать.

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

(S) Это может причинить вам боль,

например, двусмысленно – оно имеет два разных значения. Они соответствуют двум различным синтаксическим структурам. В одной структуре «Это» является предметом, и «может» — это вспомогательный глагол (который означает “способность”), а в другом «Это» может является предметом и «может» — это существительное (с указанием своего рода контейнером).

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

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

Мы можем немного упростить проблему, сказав, что, какими бы ни были значения, нас интересует буквальное значение. Часто, значительно больше, чем смысл предложения, который передается, когда кто-то использует его. Предположим, что Кэрол говорит: «Я должна учиться» в ответ на вопрос » Ты можешь пойти в кино сегодня вечером?». Она имеет в виду, что ей нужно учиться этой ночью, и это причина, по которой она не может пойти в кино. Но предложение, которое она использовала буквально, означает только то, что она должна учиться. Небуквальные значения изучаются в прагматике, области лингвистики, которая занимается дискурсивными и контекстуальными эффектами.

Но что такое буквальный смысл? Есть четыре вида ответов: (1) Вы можете уклониться от вопроса или (2) обратиться к использованию или (3) обратиться к психологии или (4) рассматривать значения как реальные объекты.

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

(2) когда носитель английского языка говорит It’s raining’ («идет дождь»), а французский говорит «Il pleut», можно сказать, что здесь применяется общая схема использования. Но никто не знает, как охарактеризовать то, что два высказывания имеют общего без призыва к здравому смыслу. (В данном случае это означает, что идет дождь.) Таким образом, эта идея, похоже, не объясняет, что такое значения.

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

(4) Если вы говорите, что значение «Марс» – это определенная планета, по крайней мере, у вас есть смысловое отношение, с которым вы можете справиться. С одной стороны, есть слово «Марс», а с другой – этот большой шар материи, кружащийся вокруг Солнца. Эта ясность хороша, но трудно понять, как вы могли бы охватить весь язык таким образом. Например, это не очень помогает нам сказать, что означают предложения. А как насчет другого значения слова » Марс’? Должны ли мы верить в Римского Бога, чтобы сказать, что «Марс» имеет смысл? А как насчет «самого большого числа»?

Подход, который поддерживает большинство семантиков, представляет собой сочетание (1) и (4). Используя методы, аналогичные тем, которые используются математиками, вы можете создать сложную вселенную абстрактных объектов, которые могут обслуживать значения (или обозначения) различных видов языковых выражений. Поскольку предложения могут быть либо истинными, либо ложными, значения предложений обычно включают в себя два истинных значения true и false. Вы можете создать искусственные языки для разговора об этих объектах; некоторые семантики утверждают, что эти языки можно использовать для охвата внутренних когнитивных представлений. Если это так, то это также будет включать элементы (3), психологического подхода к значениям. Наконец, ограничивая свое внимание на отдельных частях естественного языка, вы часто можете избежать сложных вопросов о том, что такое значения в целом. Вот почему этот подход в какой-то степени уклоняется от общего вопроса о том, что такое значения. Однако, есть надежда, что, так как покрыто большинство языковых конструкций, тем лучше и больше адекватных представлений о смысле будет возникать.

Хотя «истинные значения» могут казаться искусственными как компоненты смысла, они очень удобны в разговоре о значении таких вещей, как отрицание. Семантическое правило для отрицательных предложений говорит, что их значения похожи на значения соответствующих положительных предложений, за исключением того, что значение истины переключается, ложно вместо истинного и истинно вместо ложно. «Не идет дожль» true, если ‘Идет дождь’ имеет значение false, и false, если ‘идет дождь’ – тогда true.

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

Эти идеи (которые действительно исходят из логики) оказались очень мощными в обеспечении теории того, как значения предложений естественного языка зависят от значений слов, которые они содержат, и их синтаксической структуры. За последние сорок лет или около того, был достигнут большой прогресс в разработке этого, не только для английского, но и для широкого перечня других языков. Это значительно облегчает тот факт, что человеческие языки очень похожи на те правила, которые необходимы для проецирования значений из слов в предложения; в основном они отличаются своими словами и деталями синтаксических правил.
В последнее время возрос интерес к лексической семантике, то есть к семантике слов. Лексическая семантика – это не столько попытка написать «идеальный словарь». (Словари содержат много полезной информации, но на самом деле не дают теории значения или хорошего представления значений.) Скорее, лексическая семантика связана с систематическими отношениями в значениях слов и повторяющимися шаблонами между различными значениями одного и того же слова. Не случайно, например, вы можете сказать: «Сэм съел виноград» и «Сэм съел», первый говорит, что съел Сэм, а второй просто говорит, что Сэм съел что-то. То же самое происходит со многими глаголами.

Логика помогает в лексической семантике, но лексическая семантика полна случаев, когда значения тонко зависят от контекста, и есть исключения из многих обобщений. (Подорвать что-то – значит заминировать под ним; но понять что-то – значит не стоять под ним. Таким образом, логика не переносит нас так далеко, как кажется в семантике предложений.
Семантика естественного языка важна в попытке сделать компьютеры более способными работать непосредственно с человеческими языками. В одном типичном приложении есть программа, которую нужно использовать. Запуск программы требует использования искусственного языка (как правило, специального командного языка или языка запросов), который говорит компьютеру, как сделать некоторые полезные рассуждения или вопрос – ответ на задачу. Но это расстраивает и отнимает много времени, чтобы научить этому языку всех, кто может захотеть взаимодействовать с программой. Таким образом, часто стоит написать вторую программу, интерфейс на естественном языке, который посредничает между простыми командами на человеческом языке и искусственным языком, который понимает компьютер. Здесь, конечно, нет путаницы в том, что такое значение; значения, которые вы хотите прикрепить к командам естественного языка, являются соответствующими выражениями языка программирования, который понимает машина. Многие ученые компьютерщики считают, что семантика естественного языка полезна при разработке подобных программ. Но это только часть картины. Оказывается, большинство английских предложений неоднозначны в понижающей степени. (Если в предложении всего пять слов, и каждое из этих слов имеет четыре значения, это само по себе дает потенциально 1,024 возможных комбинированных значений.) Как правило, только некоторые из этих потенциальных значений будут вполне правдоподобными. Люди очень хорошо фокусируются на этих правдоподобных значениях, не будучи заваленными непреднамеренными значениями. Но это требует здравого смысла, и в настоящее время у нас нет очень хорошего представления о том, как заставить компьютеры имитировать такой здравый смысл. Над этим работают исследователи в области компьютерных наук, известной как Искусственный интеллект. Между тем, при создании интерфейсов на естественном языке можно использовать тот факт, что конкретное приложение (например, получение ответов из базы данных) ограничивает то, что может сказать пользователь. Используя это и другие умные методы, можно создавать специализированные интерфейсы на естественном языке, которые работают очень хорошо, хотя мы еще далеки от того, чтобы выяснить, как заставить компьютеры универсально понимать естественный язык.

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

Канспект: легалізацыя амерыканскіх індзейцаў (Вясна 2001)

Арыгінал артыкула аўтарства Peter d’Errico даступны па спасылцы.

Апісанне курсу

«Федэральны індзейскі закон», як ён называецца ў справах і статутах, гэта аснова, прызначаная дзяржавай Злучаных Штатаў для сваіх уласных мэтаў адносна людзей, якія існавалі да Злучаных Штатаў і існуюць да гэтага часу. У гэтым кантэксце розніцы паміж «амерыканскім індзейцам» і «карэнным амерыканцам » не існуе. Абодва выпадкі — назвы дадзеныя прыезджымі. Існуе шмат розных людзей, сотні, якія маюць свае ўласныя імёны.

«Легалізацыя» — назва працэсу інкарпарацыі ў прававую сістэму, якая існуе па-за і не залежыць ад сістэмы. «Легалізацыя амерыканскіх індзейцаў» азначае працэс, па якім закон Злучаных Штатаў закрануў жыцці людзей, якія існавалі да закона.

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

Кнігі

Лора Тохе, Сёння няма сумленнага слова (Albuquerque, NM: West End Press, 1999)
Эла Кара Дэлория, Вадзяны лілея (Lincoln, NB: University of Nebraska Press, 1988)
Рэнард Стрыклэнд, Помста Тонта (Albuquerque, NM: Універсітэт Нью-Мексіка Press, 1997)
Джыл Лепор, Імя вайны (Нью-Ёрк: Альфрэд А. Нопф, 1998)
Неабходнае для курса: Выбраныя адрэдагаваныя артыкула. Бібліяграфічная інфармацыя для неабходнага для курса.

Увядзенне

Што ў назве? «Амерыканскія індзейцы» / «карэнныя амерыканцы» што ў працэсе? «легалізацыя»

ВІДЭА: «Індзейцы, ізгоі і Энджы Дэбо» «Эпізод з тэлевізійнай праграмы PBS: амерыканскі вопыт; 1988. Кароткая біяграфія гісторыка Энджы Дебо. Акцэнт на яе даследаванні ў 1930-х, раскрывае рэгіянальную таямніцу, якая пазбавіла індзейцаў Аклахомы зямель, багатых нафтай і спробы дзяржавы і камерцыйнай цікавасці здушыць яе знаходкі.

Гісторыя — ЧыяГісторыя?

Зразумець, што / як сканструяваны мінулае, сучаснасць і будучыня як перспектывы і дыскурсы.

Да прачытання

Лора Тохе, Сёння не існуе сумленнага слова
Джыл Лепоре, ўвядзення, пралог і частка першая, Імя вайны
НЕАБХОДНАЕ ДЛЯ КУРСА:
Люіс Сахагун «Жорсткае злачынства акружае рэзервацыі»
Томас Клавин, «Чакаючы: землі для выжывання»
Марк Стывенс «Помста правадыра Джозэфа»

Анлайн:
«Месяц Нацыянальнай індзейскай спадчыны, 1996

ВІДЭА:
«Ішы: Апошні яшы» прэзентацыя фільма A Rattlesnake Productions 1992. Паказвае далейшыя даследаванні Джэфа Рыффе па Ішы, апошняга выжыўшага члена яшы, карэннага амерыканскага племя ў Паўночнай Каліфорніі; разгорнутае даследаванне ўпершыню апісана ў кнізе: Ішы, апошні яшы, дакументальная гісторыя / пад рэдакцыяй Роберта Ф. Хайзера і Тэадора Крэбера.

Цяпер вы бачыце, а цяпер не

Атрымаць агульнае ўяўленне пытання «федэральнага індыйскага закона» Злучаных Штатаў.

Да прачытання

Рэнард Стрыкланд, глава 3, Помста Тонта

НЕАБХОДНАЕ ДЛЯ КУРСА:
Піцер д’Эррыка, «Карэнныя амерыканцы ў амерыканскай палітыцы»

Анлайн:
Poodry v. Tonawanda Band, 85 F.3d 874 (1996))

Відэа: «Канфлікт Мэшпі» рэжысёры: Марк Ганнінг і Морын МакНамара, 1984. У жніўні 1976 індзейцы Вампаноаг з Мэшпі зарэгістравалі заяўку на выкарыстанне тэрыторыі ў Федэральным раённым судзе, што паклала пачатак перыяду сацыяльнай і эканамічнай бязладзіцы ў горадзе. Прашэнне, якое было вырашана супраць Вампаноаг і перададзена на разгледзенне ў Вярхоўны Суд, заяўляла, што тры чвэрці горада былі аднятыя ў Вампаноаг з-за парушэння федэральнага індзейскага акта аб невыдаванні 1790-га г. Гэты дакументальны фільм вывучае гістарычнае развіццё гэтай канфрантацыі і яе эфекты на маленькі горад Кейп Код Машпі.

Палітыка адрознення

Вывучыць некалькі паняццяў роўнасці і няроўнасці ў дыскурсе расавага адрознення.

Да прачытання

НЕАБХОДНАЕ ДЛЯ КУРСА:

Элізабэт Кук-Лін, «Стогадовая хвіліна з індзейскай краіны; або ўрокі па хрысціянізацыі абарыгенаў Амерыкі з прыкладу біскупа Уільяма Хобарта Хэра»
Вількам І. Вошберн, рэд. «Парадкі Масачусецкага агульнага суда»
Цветан Тадораў «Роўнасць або няроўнасць»
Стывен Т. Ньюкамб, «Язычнікі ў Зямлі Абяцанай»
Ян Ф. Лопез, «Белы па законе»

Анлайн:
Davis v. Sitka School Board, 3 Alaska 481 (1908)

ВІДЭА:
«Захавальнік веры» Відэа містычнага агню, 1991. Захавальнік веры Орэн Ліанс, правадыр клана чарапахі племя Анандага, абмяркоўвае старажытныя прароцтва карэнных амерыканцаў аб экалагічных катастрофах, з якімі цяпер сутыкнулася грамадства. Ліанс кажа пра павагу да прыроды, аб духоўных асновах закона, важнасці ўдзелу ў грамадстве і аб нашай адказнасці за будучыя пакаленні.

Хрысціянскі нацыяналізм

Зразумець шлях(і) па якіх закон Злучаных Штатаў стварыўся на паняццях хрысціянскай перавагі.

Да прачытання

НЕАБХОДНАЕ ДЛЯ КУРСА:
Johnson v. McIntosh, 21 U.S. 543 (1823)
Cherokee Nation v. Georgia, 30 U.S. 1 (1831)
Worcester v. Georgia, 31 U.S. 515 (1832)
Люіс Філлер і Ален Гуттман «Знішчэнне народа Чэрокі» (урыўкі)
Хараса Грылі «Джорджыя і індзейцы»
Джозэф С. Бурке, «Справы Чэрокі: вывучэнне ў законе, палітыцы і маралі» (урыўкі)

Мясцовы каланіялізм

Зразумець стаўленне паміж Злучанымі Штатамі і карэнным насельніцтвам, як форма каланіялізму.

Да прачытання

НЕАБХОДНАЕ ДЛЯ КУРСА:
Вайн Делорыя мл. і Кліфард Літл «Эвалюцыя племянной дзяржавы»
Стывен Тулберг, «Стварэнне і знішчэнне племяннога савета Хобі»
Філіпс С. Делорыя «Эра самавызначэння індзейцаў: кароткі агляд»

Анлайн:
Вальтэр Л. Вільямс «Індзейская палітыка Злучаных Штатаў і дэбаты аб далучэнні Філіпін: ўцягванне ў крыніцы амерыканскага імперыялізму», часопіс амерыканскай гісторыі, т. 66, № 4. (Сакавік, 1980), стар. 810-831.

ВІДЭА:
«Разбітая Вясёлка» Direct Cinema, 1985. Якая атрымала ўзнагароду акадэміі за дакументальны фільм аб гвалтоўным перасяленне 12,000 індзейцаў Наваха, якія цяпер знаходзяцца ў Арызоне. Хоць федэральнае кіраванне сцвярджае аб распачатым дыспуце паміж плямёнамі Наваха і Хопи, гэты фільм ясна адлюстроўвае, што перасяленне паслужыць ўсталёўцы энергетычнага развіцця. Разбітая Вясёлка кажа за ўсе карэнныя народы, якія пакутуюць, каб выжыць, як асобы і асобныя культуры перад тварам Заходняй тэхналогіі.

ЭКЗАМЕН

ЗАПРОШАНЫ ГОСЦЬ
«Каляпалярныя людзі з рускага пункту гледжання», праф.Вашчанка.
Ўласнасць і эканоміка
Вывучыць ідэі і функцыі уласнасці ў супольнай і «прыватнай» эканоміцы; і канфлікты паміж гэтымі формамі эканомікі.

Да прачытання

Джыл Лепоре, частка два, Імя вайны

НЕАБХОДНАЕ ДЛЯ КУРСА:
Вільям Кронан «Звязваючы зямлю» і «Сыравіна палявання»
Вільк і. Вошберн «Індзейская зямля і яе надзеў»
Фрэнсіс Пол Пруча, выбарка з «Залежнасці»
М. Анэт Джэймс, выбарка з «Федэральнай палітыкі індзейскага самавызначэння»
Ворд Чэрчыль, выбарка з «Зямля-наша маці»

ВІДЭА:
«Людзі ракі» Filmmakers Library, 1990. Гісторыя Дэвіда Сахэпі, карэннога амерыканскага духоўнага лідэра, які быў прысуджаны да пяці гадоў турмы за тое, што прадаў 317 ласосяў па-за сезона. Даследуе гістарычны канфлікт з нагоды запасаў ракі Калумбія і палітычных рознагалоссяў, якія ўцягнулі правы лоўлі рыбы і права на рэлігійную свабоду.

Закон і грамадства

Даследаваць розныя ідэі і практыкі улады і паўнамоцтва, параўноўваючы «дзяржаўную» і «племянную» сістэмы.

Да прачытання

Джыл Дэпорэ, частка тры, Імя вайны

НЕАБХОДНАЕ ДЛЯ КУРСА:

Уілфрэд Пеллецір, «Два артыкулы»
Уолтар Мілер «Дзве ідэі паўнамоцтва»
Джэймс У. Зайон і Робер Яззі «Карэнны закон у Паўночнай Амерыцы на світанку заваёвы»
Дэвід Холстрам «Індзейскія традыцыі дапамагаюць «Пэюшчаму мястэчку» схаваць сваю рэпутацыю»

ВІДЭА:
«Размова з Філіпам Дэры» [1979] Філіп Дэры лекар Маскоги / Крык, традыцыйны духоўны лідэр, саветнік амерыканскага індзейскага руху, у яго бралі інтэрв’ю падчас незалежнай канферэнцыі Машпі Вампаноаг ў 1979.

Культурнае [пера] прызначэнне

Даследаваць пытанні «інтэлектуальнай уласнасці», уключаныя ў культурную прадукцыю, рэпрадукцыю, прызначэнне і рэпатрыяцыю адносна святых прадметаў, мастацтва, промыслу і літаратуры.

Да прачытання

Рэнард Стрикланд, кіраўніка 2, 4, 6, Помста Тонта Revenge

НЕАБХОДНАЕ ДЛЯ КУРСА:
Дэніс Фокс « » індзейскае мастацтва і промысел: Значэнне»
Кей Валкингстик « » індзейскае мастацтва і промысел: разнастайнасць»

Анлайн:
Акт абароны і рэпатрыяцыі магіл амерыканскіх індзейцаў (NAGPRA)
Індзейскае мастацтва і промыслаў: прычына скажэнні тавараў, вырабленых індзейцамі
Скажэнне тавараў і прадукцыі, вырабленай індзейцамі

ВІДЭА:
«Малюючы індзейцаў» адукацыйныя Дакументальныя крыніцы, 1992. Выкарыстоўваючы эклектычную сумесь інтэрв’ю, пастановачных сцэн і графічных малюнкаў, гэты фільм уяўляе пункт гледжання карэннага амерыканца аб неадпаведнасці паміж самаўспрыманнем і прынцыпова натхнёнай культурай белых і Галівуда інтэрпрэтацыяй амерыканскіх індзейцаў.

Сацыяльныя адносіны

Даследаваць некаторыя пытанні, якія ўзніклі з-за адрознення паміж «племяннымі» роднаснымі адносінамі і дзяржаўным «індывідуалізмам».

Да прачытання

Эла Кара дэ лория, вадзяны лілея

НЕАБХОДНАЕ ДЛЯ КУРСА:
Элізабэт Кук-Лін « » выпадак вялікай трубы»
Леанард Б. Джымсан, » адносіны паміж бацькам і дзіцем па законе і па традыцыі Наваджо»

Анлайн:
Акт аб дабрабыце індзейскага дзіцяці
Пітэр д’эрикко, » традыцыйныя практыкі клана Наваджо»

ВІДЭА:
«»Вялікі дух у дзюры» CTC-TV, Minneapolis, Mn., 1983 Дакументальны фільм пра амерыканскіх індыйскіх зняволеных і іх рэлігійных практыках.

ЭКЗАМЕН

Мінулае, сучаснасць і будучыня

Даследаваць прыроду памяці, прэзентацыі, рэпрэзентацыі, ўяўлення і самавызначэння.

Да прачытання
Джыл Лепоре, частка чатыры і эпілог, Імя вайны
Рэнард Стыклэнд, глава 7 і пасляслоўе, помста Тонта

НЕАБХОДНАЕ ДЛЯ КУРСА:
Элізабэт Кук-Лін, «Чаму я не магу чытаць Уоллеса Стэгнера»

ВІДЭА:
«Гісторыя возера Алкалі: гонар за ўсё», Native American Public Broadcasting Consortium, [199-?], пачатак 1986. Драма пра тое, як індзейцы Брытанскай Калумбіі Шусвап засяродзіліся на адмове ад сваёй культуры і залежнасці ад алкаголю, і пра тое, як яны выправіліся.

Страница 1 из 3