Лаборатория Электронно-вычислительных машин факультета Вычислительной математики и кибернетики МГУ им. М.В. Ломоносова
была создана в 1958 г., первоначально в составе кафедры вычислительной математики
механико-математического факультета. В состав факультета ВМК лаборатория была включена после его основания в 1970 г.
В настоящее время лаборатория входит в состав кафедры Автоматизации систем вычислительных комплексов (АСВК).
Силами коллектива лаборатории были разработаны уникальные троичные ЭВМ "Сетунь" (1959 г.) и "Сетунь 70" (1970 г.), до сих пор не имеющие в мире аналогов. Главный конструктор "Сетуней" Николай Петроивч Брусенцов возглавляет лабораторию с момента ее создания. ЭВМ "Сетунь" - единственная в мире троичная ЭВМ, выпускавшаяся серийно. Использованние троичного симметричного кода позволило построить относительно простую и недорогую ЭВМ, нацеленную на решение широкого круга задач. Машина успешно осваивалась многими предприятиями, показала отличные качества, такие как надежность и способность реализовывать счетные алгоритмы с большой точностью, обусловленной свойствами симметричного кода. В 1970 году был создан образец усовершенствованной троичной ЭВМ "Сетунь 70". На основе опыта использования "Сетуни" была оптимизирована архитектура троичной машины, усовершенствовано математическое обеспечение. Благодаря наличию двух аппаратных стеков машина обрела язык высокого уровня, оставаясь простой и эффективной. Одним из важнейших применений "Сетуни 70" является разратотанная в 1974 году автоматизированная система обучения "Наставник", нацеленная на поточное обучение студентов, проведение коллоквиумов и тестов. Машинный язык "Сетуни 70" стал прототипом для еще одной разработки лаборатории - Диалоговой системы структурированного программирования ДССП, в которой воплощены все достоинства структурированного программирования Э. Дейкстры: трудоёмкость разработки программ существенно сокращается, обеспечивается легкость понимания, верификации и модификации программы, сочетающей простоту синтаксиса со средствами создания структурированных прогамм. В настоящее время направление исследований лаборатории связано с преобразованием и упорядочением логических взаимосвязей посредством трехзначного обобщения булевой алгебры, а также с разработкой троичных вычислительных алгоритмов и изысканием возможностей экономной технической реализации троичных компьютеров. |