Корпорация прикладной логики
 | |
| Промышленность | с разделением времени Компьютеры |
|---|---|
| Основан | 1962 год в Принстоне, Нью-Джерси. |
| Несуществующий | 1975 |
| Судьба | Банкротство |
Ключевые люди | Ричард М. Колгейт (президент) |
Applied Logic Corporation ( AL/COM ) была компанией с разделением времени в 1960-х и 70-х годах.
Компания AL/COM со штаб-квартирой в Принстоне, штат Нью-Джерси , начала в 1962 году работу над «математическими методами и их применением для решения проблем». [1]
Видя необходимость внутреннего разделения времени, компания купила Digital Equipment Corporation (DEC) PDP-6 и разработала свою службу разделения времени, которая появилась в сети в 1966 году. [1] [2] В 1968 году компания начала строительство «Математического парка» в Монтгомери-Тауншип, штат Нью-Джерси , «предназначенного для предоставления арендаторам компьютерной и математически ориентированной среды», прилегающей к аэропорту Принстона . [3] Также в 1968 году компания зарегистрировала AL/COM как торговую марку своего сервиса. [4]
Система включала как специальное программное обеспечение, так и специальное оборудование, а сеть партнеров продавала эту услугу на национальном уровне. [5]
В соответствии с Планом дистрибьюторов AL-COM местные фирмы по обслуживанию компьютеров, такие как сервисные бюро, фирмы, занимающиеся программированием и программным обеспечением, будут назначены местными дистрибьюторами AL-COM. Дистрибьютор AL-COM купит вычислительную мощность AL-COM со скидкой у Applied Logic Corp., а затем, в свою очередь, продаст ее с наценкой. [6]
В конце 1960-х годов компания разработала систему под названием SAM (Полуавтоматическая математика) для доказательства математических теорий без вмешательства человека. [7] Теорема, доказанная с помощью системы, «лемма СЭМа», была «широко провозглашена первым вкладом автоматизированных систем рассуждения в математику». [8] Серия SAM была одним из первых интерактивных средств доказательства теорем и оказала влияние на последующие средства доказательства теорем. [9]
В 1965 году компания Applied Logic приобрела компьютерную систему DEC PDP-6 . [10] который вступил в строй в январе 1966 года. [1] К 1969 году компания имела четыре системы DEC PDP-10 с двумя KL-10 и планировала построить пятую, а также расширила свою деятельность по всей стране, открыв офисы в Сан-Хосе , Сан-Диего и Сан-Франциско . [11] Компания также планировала продавать свои системы разделения времени в дополнение к предоставлению услуг. [12] Компания сообщила о продажах в размере 1 200 995 долларов США при операционных убытках в размере 63 456 долларов США. [13]
К 1972 году AL/COM имела местные коммутируемые каналы связи в десяти городах: Бостон, Массачусетс, Буффало, Нью-Йорк, Чикаго, Иллинойс, Индианаполис, Индиана, Монтклер, Нью-Джерси, Нью-Йорк, Нью-Йорк, Филадельфия, Пенсильвания, Принстон, Нью-Йорк. Джерси, Вашингтон, округ Колумбия, и Уилмингтон, Делавэр. [1] Компьютерный центр располагался в Математическом парке в Принстоне. [12]
К концу 1969 года у AL/COM были определенные планы по Leasing возврату CIT своего оборудования в Математическом парке на сумму 2,73 миллиона долларов США и рассматривала возможность приобретения еще 7,5 миллионов долларов США. [14] К 1970 году компания столкнулась с финансовыми трудностями и заключила соглашение об отсрочке погашения долга на сумму 1 300 000 долларов. [15] [16] по главе XI В 1975 году компания Applied Logic подала заявление о банкротстве .
Ссылки
[ редактировать ]- ^ Jump up to: а б с д Издательство Ауэрбаха (1972). Руководство Ауэрбаха по разделению времени (PDF) . Филадельфия, Пенсильвания. п. 86.
{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка ) - ^ «Центр предлагает совместное пользование компьютером» . Центральные новости Нью-Джерси. 12 января 1966 года . Проверено 21 декабря 2021 г.
- ^ «Идет строительство Математического парка» . Центральные новости Нью-Джерси. 27 января 1969 года . Проверено 21 декабря 2021 г.
- ^ «Юридическая сила торговой марки» . Проверено 25 мая 2013 г.
- ^ «Пользователи с разделением времени: что такое AL/COM (реклама)» . Хартфорд Курант. 16 марта 1969 года . Проверено 21 декабря 2021 г.
- ^ «Представлен новый компьютерный план» . Центральные новости Нью-Джерси. 2 мая 1968 года.
- ^ Кранц, Стивен Г. (2011). Доказательство в пудинге: меняющаяся природа математического доказательства . Springer Science & Business Media. п. 122. ИСБН 978-0-387-48908-7 . Проверено 9 января 2020 г.
- ^ Маккензи, Дональд А. (2004). Механизация доказательства: вычисления, риск и доверие . МТИ Пресс. п. 89. ИСБН 0-262-13393-8 . Проверено 9 января 2020 г.
- ^ Харрисон, Джон (2007). «Краткий обзор автоматизированного мышления» . Алгебраическая биология . Конспекты лекций по информатике. Том. LNCS 4545. Спрингер. стр. 334–349. дои : 10.1007/978-3-540-73433-8_24 . ISBN 978-3-540-73432-1 . Проверено 24 января 2020 г.
- ^ «Декускоп» (PDF) . Декускоп . 4 (1). Январь 1965 года . Проверено 9 января 2020 г.
- ^ «Первый двойной AL-10 активирован в сети T/S AL/Com» . Компьютерный мир . 10 сентября 1969 года . Проверено 31 марта 2022 г.
- ^ Jump up to: а б «ПРИКЛАДНАЯ ЛОГИКА РАСШИРЯЕТСЯ» . Городские темы . 20 ноября 1969 года . Проверено 31 марта 2022 г.
- ^ «ОТЧЕТНАЯ ПРИБЫЛЬ» . Городские темы . 12 июня 1969 года . Проверено 31 марта 2022 г.
- ^ «Договор аренды, установленный CIT и прикладной логикой» . Городские темы . 13 ноября 1969 года . Проверено 31 марта 2022 г.
- ^ «Прикладная логика увольняет 40% работников, все заняты исследованиями и разработками» . Компьютерный мир . 13 мая 1970 года . Проверено 31 марта 2022 г.
- ^ «В деле APPLIED LOGIC CORPORATION, банкротство. НЬЮ-ДЖЕРСИ НАЦИОНАЛЬНЫЙ БАНК, истец-апеллянт, против Дэниела ГАТТЕРМАНА, как попечителя Applied Logic Corporation, банкрота, ответчика-ответчика» . 27 апреля 1978 года. Архивировано из оригинала 14 мая 2010 года . Проверено 25 мая 2013 г.
Внешние ссылки
[ редактировать ]- Женщина настраивает компьютерную систему AL-10 с разделением времени Applied Logic Corporation (AL/COM) (фото на Getty Images)
- ПОЛУАВТОМАТИЧЕСКАЯ МАТЕМАТИКА С ЭЛТ Итоговый отчет SAM
- Публикации по прикладной логике на Bitsavers
- Фотографии компьютерного зала и персонала
 | Эта статья, посвященная компьютерной компании, незавершена . Вы можете помочь Википедии, расширив ее . |
- Американские компании, основанные в 1962 году.
- Американские компании прекратили свое существование в 1975 году.
- Компании, базирующиеся в Принстоне, Нью-Джерси
- Компьютерные компании, основанные в 1962 году.
- Компьютерные компании прекратили свое существование в 1975 году.
- Несуществующие компании, базирующиеся в Нью-Джерси
- Несуществующие компьютерные компании США
- Несуществующие компании по производству компьютерного оборудования
- Компании с разделением времени
- Незавершенные статьи о компьютерных компаниях