Википедия

Вейч, Эдвард

(перенаправлено с «Эдвард Вейч»)
В Википедии есть статьи о других людях с фамилией Вейч.

Эдвард Вейч (англ. Edward Westbrook Veitch; 8 сентября 1924 — 23 декабря 2013) — американский ученый в области кибернетики.

Эдвард Вейч
англ. Edward Westbrook Veitch
Дата рождения 8 сентября 1924(1924-09-08)
Место рождения
Дата смерти 23 декабря 2013(2013-12-23) (89 лет)
Место смерти
Страна
Научная сфера Кибернетика
Альма-матер
Известен как создатель диаграмм Вейча

Окончил Гарвардский университет в 1946 году по специальности физика, а затем получил там же учёные степени по физике и прикладной физике в 1948 и 1949 соответственно. В своей работе 1952 г. «Метод диаграмм для минимизации логических функций» („A Chart Method for Simplifying Truth Functions“)[2], Вейч описал графическую процедуру оптимизации логических схем, которая год спустя (1953) была усовершенствована в работе Мориса Карно[3] и в настоящее время известна как метод минимизации булевых функций с помощью карт Карно.

Биография править

Эдвард Вейч вырос в небольшом городке Думонте, штат Нью-Джерси. В 1942 поступил в Гарвардский университет. В середине первого курса был призван на действительную военную службу, где по специальной программе изучал физику и инженерное дело, после чего был привлечен к работе на Манхэттенском проекте в Лос-Аламосе, Нью-Мексико, где служил в качестве техника-электронщика. После войны, Вейч возвращается в Гарвард и в 1946 году получает степень бакалавра в области физики, а затем степень магистра по физике и прикладной физике, в 1948 и 1949 соответственно. Он учился у Говарда Айкена, создателя Марк I, первого американского программируемого компьютера.

C 1949 году Вейч работал в Burroughs Corporation, в группе разработки одних из самых первых электронных компьютерных систем, как коммерческих, так и военных и получил ряд патентов [4][5][6][7] . К этим проектам относились компьютер E101, и система сетевой обработки информации поступающей от радаров SAGE. В это время он опубликовал статью о методе оптимизации цифровых схем [2], который известен сейчас как метод диаграмм Вейча. Вейч руководил научными исследованиями и разработкой вычислительных систем в компьютерном отделе RCA, а позже в Pennsylvania Research Associates (Филадельфия)[8][9][10][11][12][13][14][15]. Во время работы в отделении ракетных систем и наземных радаров (Missile and Surface Radar Division) компании RCA он разрабатывал компьютерные системы для системы противовоздушной обороны военно-морских сил (Navy's Aegis Missile Defense System).

Был женат на Натали (Форд) и оставил после себя 2 детей: дочь Лорел и сына Эндрю.

Комментарии Вейча править

О разработке своих диаграмм и их интерпретации Вейч писал следующее.

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

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

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

Оригинальные диаграммы Вейча править

Было известно, что функции могли быть представлены в виде точек в углах n-мерного куба. Два смежных угла, например два верхних правых могут быть определены как верхние правые углы, а четыре угла на передней грани куба могут быть определены как передние углы. Для четырёх, пяти или шести переменных проблема становится ещё более сложной.

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

  • Для трёх измерений, Вейч рисовал набор квадратов 2х2 для верхней части куба, и второй для нижней части куба с небольшим промежутком между двумя наборами квадратов. В верхнем наборе 2x2 минимизируемой группой были горизонтальная или вертикальная пара клеток или все четыре клетки. Связь между верхним и нижним множеством представлялась как связь один-к-одному между каждым квадратом верхнего набора и соответствующей ячейкой нижнего множества. Аналогичное правило применяется для случая четырёх переменных, который иногда изображается в виде куба, внутри другого куба у которых все соответствующие углы связаны.
  • Диаграммы Вейча для четырёх переменных тогда будут изображаться как четыре набора 2х2 большого квадрата с небольшим пространством между каждой парой наборов. Таким образом, горизонтальную пара в левом верхнем наборе можно объединить с соответствующей парой в левом нижнем наборе или верхнем правом наборе или, возможно, со всеми четырьмя наборами, составив группу из возьми клеток.
  • Для пяти или шести переменных применяется это же правило. Диаграмма для пяти переменных состоит из двух диаграмм для четырёх переменных, расположенных рядом друг с другом с большим промежутком между ними. Совпадений между двумя диаграммами для четырёх переменных находится для клеток, которые совпадают если одну карту наложить на другую.

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

См. также править

Ссылки править

Veitch, Edward W. A proof concerning infinite nets of logic elements without feedback. FOCS 1965, 1965, pp. 162–167.

Примечания править

  1. ↑ http://www.legacy.com/obituaries/mainlinemedianews/obituary.aspx?pid=168929444
  2. ↑ 1 2 Veitch, Edward W. A Chart Method for Simplifying Truth Functions, Transactions of the 1952 ACM Annual Meeting, ACM Annual Conference/Annual Meeting «Pittsburgh», ACM, NY, 1952, pp. 127—133.
  3. ↑ Maurice Karnaugh, November 1953, The Map Method for Synthesis of Combinational Logic Circuits, AIEE Committee on Technical Operations for presentation at the AIEE summer General Meeting, Atlantic City, N. J., June 15-19, 1953, pp. 593—599.
  4. ↑ U.S. Patent 3 050 717
  5. ↑ U.S. Patent 3 053 449
  6. ↑ U.S. Patent 3 144 549
  7. ↑ U.S. Patent 3 161 765
  8. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Self-repair Theory Investigation. Quarterly rept. — Defense Technical Information Center, Dec 1966. — 90 p.
  9. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Self-repair Theory Investigation. Quarterly rept. no. 2, Oct-Dec 66 — Defense Technical Information Center, May 1967. — 45 p.
  10. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Self-repair Theory Investigation. Quarterly rept. no. 3, 1 Jan-31 Mar 67. — Defense Technical Information Center, Jul 1967. — 41 p.
  11. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Self-repair Theory Investigation. Quarterly rept. no. 4, 1 Apr-30 Jun 67. — Defense Technical Information Center, May 1968. — 47 p.
  12. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Self-repair Theory Investigation. Quarterly rept. no. 5, 1 Jul-30 Sep 67. — Defense Technical Information Center, May 1968. — 32 p.
  13. ↑ Veitch, Edward W., Roberts, David C. Pennsylvania Research Associates Inc Philadelphia. Self-repair Theory Investigation. Quarterly rept. no. 6, 1 Oct-31 Dec 67. — Defense Technical Information Center, May 1968. — 46 p.
  14. ↑ Veitch, Edward W., Roberts, David C. Pennsylvania Research Associates Inc Philadelphia. Self-repair Theory Investigation. Quarterly rept. no. 7, 1 Jan-31 Mar 68. — Defense Technical Information Center, Sep 1968. — 34 p.
  15. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Self-repair Theory Investigation. Final engineering rept. 1 Jul 67-31 Mar 69. — Defense Technical Information Center, Jun 1969. — 109 p.
  16. ↑ "Edward Westbrook Veitch". Main Line Media News. 2014-01-06. Архивировано из оригинала 22 декабря 2015. Дата обращения: 8 марта 2015.
Источник — https://ru.wikipedia.org/w/index.php?title=Вейч,_Эдвард&oldid=132987011