Троичная виртуальная машина и троичная ДССП

Автор: Бурцев Алексей Анатольевич, Сидоров Сергей Александрович

Журнал: Программные системы: теория и приложения @programmnye-sistemy

Рубрика: Математические основы программирования

Статья в выпуске: 4 (27) т.6, 2015 года.

Бесплатный доступ

В научно-исследовательской лаборатории троичной информатики (НИЛ ТИ) ВМК МГУ (в период с 2010 по 2013 г.) созданы троичная виртуальная машина ТВМ и кросс-система ДССП-ТВМ разработки программ для неё на языке ДССП-Т – троичном варианте языка ДССП. В статье представляются архитектура троичного процессора ТВМ и его система команд, основные черты языка ДССП-Т и возможности среды разработки ДССП-ТВМ, а также поясняются некоторые проблемные аспекты реализации имитатора ТВМ, кросс-компилятора языка ДССП-Т и диалогового интерпретатора ДССП/ТВМ для специфичной троичной машины. Ключевые слова и фразы: троичный компьютер, имитационная модель, ТВМ, ДССП, структурированное программирование, сшитый код

Еще

Короткий адрес: https://sciup.org/14336169

IDR: 14336169

Список литературы Троичная виртуальная машина и троичная ДССП

Д. Кнут, Искусство программирования на ЭВМ, п. 4.1. Т. 2: Получисленные алгоритмы, Мир, М., 1977. С. 216-219.
Н. П. Брусенцов, Х. Рамиль Альварес. Троичные ЭВМ "Сетунь" и "Сетунь-70"//Труды 1-ой международной конференции "Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы". Т. 1, SORUCOM-2006 (г. Петрозаводск, Россия, 3-7 июля 2006 г.), Изд-во ПетрГУ, Петрозаводск, 2006. С. 45-511.
Будущее квантовых компьютеров -в троичных вычислениях (дата обращения: 02.11.2014), URL: http://www.infuture.ru/news.php?news_id=475.
Д. Б. Малашевич. Недвоичные системы в вычислительной технике (дата обращения: 02.11.2014), URL: http://www.computer-museum.ru/books/archiv/sokcon27.pdf.
С. П. Маслов. Об одной возможности реализации троичных цифровых устройств//Программные системы и инструменты, т. 12, Изд-во факультета ВМК МГУ, М., 2011. С. 222-227.
С. П. Маслов. Троичная схемотехника//Программные системы и инструменты, т. 13, Изд-во факультета ВМК МГУ, М., 2012. С. 152-158.
С. А. Сидоров, Ю. С. Владимирова. Троичная виртуальная машина//Программные системы и инструменты, т. 12, Изд-во ф-та ВМК МГУ, М., 2011. С. 46-55.
А. А. Бурцев, С. А. Сидоров. История создания и развития ДССП: от "Сетуни-70" до троичной виртуальной машины//Труды 2-ой международной конференции "Развитие вычислительной техники и её программного обеспечения в России и странах бывшего СССР", SORUCOM-2011 (г. Великий Новгород, Россия, 12-16 сентября 2011 г.), Изд-во НовГУ, В. Новгород, 2011. С. 83-88.
А. А. Бурцев, Х. Рамиль Альварес. Кросс-система разработки программ на языке ДССП для троичной виртуальной машины//Программные системы и инструменты, т. 12, Изд-во факультета ВМК МГУ, М., 2011. С. 183-193.
А. А. Бурцев, М. А. Бурцев. ДССП для троичной виртуальной машины//Труды НИИСИ РАН, Т. 2, №. 1. 2012. С. 73-82.
Х. Рамиль Альварес, Ю. С. Владимирова. Программное обеспечение малой ЭВМ "Сетунь"//Труды 3-ей международной конференции "Развитие вычислительной техники и её программного обеспечения в России и странах бывшего СССР: история и перспективы", SORUCOM-2014 (г. Казань, Россия, 13-17 октября 2014 г.), Изд-во КНИТУ-КАИ, Казань, 2014. С. 315-318.
С. Н. Баранов, Н. Р. Ноздрунов. Язык Форт и его реализации, Машиностроение, Л., 1988, 157 с.
Н. П. Брусенцов, Г. В. Златкус, И. А. Руднев. ДССП -диалоговая система структурированного программирования//Программное оснащение микрокомпьютеров, Изд-во МГУ, М., 1982. С. 11-40.
Н. П. Брусенцов, В. Б. Захаров, И. А. Руднев, С. А. Сидоров. Диалоговая система структурированного программирования ДССП80//Диалоговые микрокомпьютерные системы, Изд-во МГУ, М., 1986. С. 3-21.
А. А. Бурцев. Периферийный монитор -развитие архитектуры ввода/вывода ДССП//Диалоговые микрокомпьютерные системы, Изд-во МГУ, М., 1986. С. 42-51.
А. В. Борисов. Диалоговая система структурированного программирования в реальном времени -ДССП-РВ//Диалоговые микрокомпьютерные системы, Изд-во МГУ, М., 1986. С. 51-62.
А. А. Бурцев, Д. В. Франтов, М. Н. Шумаков. Разработка интерпретатора сшитого кода на языке Си//Вопросы кибернетики, ред. В. Б. Бетелин, Изд-во НИИСИ, М., 1999. С. 64-76.
А. А. Бурцев. ДССП -среда структурированной разработки программ как сложных систем//Труды 2-ой международной конференции "Системный анализ и информационные технологии". Т. 2, САИТ-2007 (г. Обнинск, Россия, 10-14 сентября 2007 г.), Изд-во ЛКИ, М., 2007. С. 190-194.
А. А. Бурцев. Механизм прерываний для интерпретатора сшитого кода//Информационная безопасность. Микропроцессоры. Отладка сложных систем, ред. В. Б. Бетелин, Изд-во НИИСИ, М., 2005. С. 177-191.
С. А. Сидоров, М. Н. Шумаков. ДССП как открытая система//Дискретные модели. Анализ, синтез и оптимизация, СпбГУ, Спб., 1998. С. 191-201.
А. А. Бурцев, Х. Рамиль Альварес. Средства объектноориентированного программирования в ДССП//Программные системы и инструменты, т. 4, Изд-во факультета ВМК МГУ, М., 2003. С. 166-175.
Н. П. Брусенцов, В. Б. Захаров, С. А. Руднев, С. А. Сидоров, Н. А. Чанышев. Развиваемый адаптивный язык РАЯ диалоговой системы программирования ДССП, Изд-во МГУ, М., 1987, 80 с.
А. А. Бурцев, Х. Рамиль Альварес. Реализация средств объектноориентированного программирования в кросс-компиляторе языка ДССП-Т//Программные системы и инструменты, т. 13, Изд-во факультета ВМК МГУ, М., 2012. С. 28-37.
У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование, Мир, М., 1975, 247 с.
Н. Вирт, Программирование на языке Модула-2, Математическое обеспечение ЭВМ, Мир, М., 1987.
А. А. Бурцев, М. Н. Шумаков. Сопрограммный механизм в ДССП как основа для построения мониторов параллельных процессов//Вопросы кибернетики, ред. В. Б. Бетелин, Изд-во НИИСИ, М., 1999. С. 45-63.
А. Бурцев, Х. Рамиль Альварес. Сопрограммный механизм в системе структурированного программирования для троичной машины//Тематический сборник, Программные системы и инструменты, т. 14, Изд-во факультета ВМК МГУ, М., 2013. С. 193-208.
T. Ritter, G. Walker. Varieties of threaded code for language implementation//BYTE, V. 5. No. 9. 1980. P. 206.
Е. Н. Лякина, К. А. Пшеничный, С. А. Сидоров, М. Н. Шумаков. Система внутреннего программного оснащения DPROM//Вопросы кибернетики, ред. В. Б. Бетелин, Изд-во НИИСИ, М., 1999. С. 77-86.
В. Б. Захаров, Г. В. Златкус, И. А. Руднев, С. А. Сидоров. Реализация диалоговой системы структурированного программирования на микрокомпьютере "Электроника НЦ-03Д"//Архитектура и программное оснащение цифровых систем, Изд-во МГУ, М., 1984. С. 10-17.
С. А. Сидоров. Программирование сверху вниз и организация словаря ДССП//Вопросы кибернетики, ред. В. Б. Бетелин, Изд-во НИИСИ, М., 1999. С. 32-44.

Еще

Статья научная