Вопросы построения и автоматизации проектирования функциональных расширителей гибридных вычислительных систем
Диссертация
Успехи интегральной технологии и разработка отдельных узлов ВУ в виде БИС и микропроцессоров привели к тому, что «центр тяжести» задач проектирования переместился с вопросов расчета элементов на схемотехнические вопросы, решаемые на этапе структурного проектирования. Наряду с задачами структурного проектирования актуальными являются вопросы проектирования нелинейных блоков специализированного… Читать ещё >
Содержание
- Введение.&
- Раздел первый. Автоматизация структурного проектирования функциональных расширителей./
- Глава II. ервая. Общие вопросы структурного проектирования
- 1. 1. Модель процесса проектирования
- 1. 2. Метод построения структурных схем ВУ.. .¿Л
- 1. 3. Метод построения функциональных схем
- 1. 4. Процесс проектирования ФР.35″
- 1. 5. Выводы
- Глава вторая. Построение подсистемы моделирования функциональных расширителей
- 2. 1. Существующее положение в области построения систем моделирования. М
- 2. 2. Облик системы и способы его построения
- 2. 3. Свойства подсистем моделирования
- 2. 4. Построение облика подсистемы моделирования
- 2. 5. Описание подсистемы моделирования «ПРША1».&-?
- 2. 6. Примеры описания гибридных устройств и методика анализа точности их работы
- 2. 7. Выводы.8у
- Глава третья. Анализ переходных процессов в логических схемах при линейном характере изменений сигналов
- 3. 1. Общие положения
- 3. 2. Модели сигналов
- 3. 3. Модель логического элемента./0/
- 3. 4. Определение реакции входного преобразователя./"^
- 3. 5. Определение реакции выходного преобразователя и элемента задержки. t/
- 3. 6. Процесс моделирования работы логической схемы.//$
- 3. 7. Выводы./Z
- Глава. четвертая. Построение языка, ориентированного на проектирование функциональных расширителей
- 4. 1. Языки проектирования вычислительных устройств. .Mf
- 4. 2. Требования внешней среды и свойства языка./¿
- 4. 3. Формальная модель вычислительного устройства.. ./3/
- 4. 4. Строй и основные понятия языка./4/
- 4. 5. Синтаксис языка ПРУСТ ./У$
- 4. 6. Примеры описания устройств на языке ПРУСТ. /
- 4. 7. Выводы./¥-£
- Раздел второй. Проектирование нелинейных блоков
- Глава II. ятая. Делители напряжения обобщенного вида
- 5. 1. Общие положения
- 5. 2. Делители из последовательных и параллельных резисторно-переключательных схем./#Л
- 5. 3. Цепные делители./
- 5. 4. Погрешности цепных делителей, обусловленные сопротивлением источника. Я0Ч
- 5. 5. Последовательно-параллельные сети, построенные из двухполюсников и переключателей.. .л/
- 5. 6. Преобразование последовательно-параллельных КСД. л/
- — *
- 5. 7. Ортогональные разложения структурных функций.??У
- 5. 8. Синтез последовательно-параллельных сетей из двухполюсников.¿
- 5. 9. Эквивалентные преобразования звезды и треугольника, дуальные преобразования РП-схем.?3?
- 5. 10. Выводы
- Глава III. естая. Цифро-аналоговые ступенчатые аппроксиматоры
- 6. 1. Общие положения. Л^Л
- 6. 2. Схемы для табличных функций. Л
- 6. 3. Ступенчатые аппроксиматоры, использующие преобразователи кодов
- 6. Л. Схемы СА, моделирующие ряд Уолша
- 6. 5. Схемы СА, моделирующие ряд Хаара... .¿¿¿Г
- 6. 6. Выводы. .?
- 7. 1. Общие положения.¿
- 7. 2. Построение схем специализированных КЛА
- 7. 3. Построение схем специализированных ККА
- 7. 4. Подсистема автоматизации проектирования КПА.. .. .3/
- 7. 5. Построение схемы универсального КПА.. .ЗЛЯ
- 7. 6. Выводы
Список литературы
- Абрайтис Л.Б., Шейнаденас Р. И., Живеличус В. А. Автоматизация проектирования ЭВМ. — М.: Советское радио, 1978. -272с.
- Автоматизация проектирования вычислительных систем с использованием логических схем на твердом теле./Кейс П., Графф Л., Гриффит Л. и др. Кибернетический сборник. Новая серия, 1965, вып. I, с.162−190.
- Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных. /Под редакц.М.Брейера. М.: Мир, 1979. — Шс.
- Алексеев Г. И. Воспроизведение функций средствами цифро-аналоговой вычислительной техники. Минск.: Наука и техника, 1976. — 221с.
- Анкудннов Г. И. Вопросы теории плекс-языков. Кибернетика, 1978, № 9, с.44−49.
- Аналоговые и цифровые интегральные схемы. /С.В.Якубовский, Б. П. Барханов, Б. П. Кудрявцев и др. М.: Советское радио, 1979. — 336с.
- Амбарцумян A.A., Девятков В. В. Язык формального описания управляемых механизмов (ФОРУМ). В кн.: Вопросы кибернетики. М., 1975, с.107−121.
- Архитектура системы автоматизированного проектирования РЭА. /Орловский Г. В., Казенова И. Й., Квальвассер Ю. Г. и др. -Обмен опытом в радиопромышленности, 1975, № 6, с.11−14.
- Арховский В.Ф. Моделирование и оптимизация аналого-цифровых устройств. В кн.: Машинные методы проектирования электронных схем. М., 1975, с.35−46.
- Атстонас Ф.Ф., Жинтелис Г. Б., Хомкис P.P. Входной языкдля автоматического структурного синтеза ЦВМ. В кн.: Вычислительная техника: Тез. докл. Республ. конф. Каунас, 1970, с.34−38.
- Бадулин С.С., Барнаулов Ю. М., Бердышев В. А. Автоматизированное проектирование цифровых устройств. М.: Радио и связь, 1971. — 240с.
- Баранов С.И., Марин A.B. Языки микропрограммирования. -Зарубежная радиоэлектроника, 1977, № 6, с.85−102.
- Баррон Д. Рекурсивные методы в программщювании. -М.: Мир, 1974. 80с.
- Батшцев Д.И. Поисковые методы оптимального проектирования. М.: Советское радио, 1975. — 216с.
- Беки Дж., Карплюс У.Дж. Теория и применения гибридных вычислительных систем. М.: Мир, 1970. — 483с.
- Белый Н.Г., Каурова Н. Ф. Экспериментальная техника и методы вибрационных испытаний конструкций летательных аппаратовпо материалам иностр. печати). М.: ЦАГИ, 1973. — 76с. «
- Беляев В.Ф., Мясин 0*Ф., Новиков В. Ф. Принципы построения языка для описания и моделирования структурных алгоритмов и схем. Обмен опытом в радиопромышленности, 1975, вып.6, с.83−88.
- Блинцов B.C. Разработка математического описания и алгоритма гибридного моделирования электрических сетей с переменной топологией. Труды НКИ, 1978, вып.139, с.19−27.
- Блинцов B.C., Лиоовецкий Ю. Л. Разработка специализированного блока АВМ для моделирования систем с вентильными преобразователями. Труды Николаевского кораблестроит. ин-та, 1978, вып.139, с.71−74.
- Богон В.П. Об одном методе структурного синтеза специализированных цифро-аналоговых вычислительных устройств. УС и М, 1973, № I, с.80−85.
- Бохман Д. Булево дифференциальное исчисление (обзор).-Известия АН СССР. Техническая кибернетика, 1977, № 5, с.125−133.
- Браун П. Макропроцессоры и мобильность программного обеспечения. М.: Мир, 1977. — 253с.
- Бусленко Н.П. Моделирование сложных систем. М.: Наука, 1978. — 400с.
- Быховский М.Л. Основы динамической точности электрических и механических цепей. М.: АН СССР, 1958. — 155с.
- Вавилов A.A., Сергеев Э. В., Солодовников А. И. Вычислительные устройства для экспериментального исследования непрерывных и дискретных САЦ. В кн.: Аналоговая и аналого-цифровая вычислительная техника. М., 1968, вып.2, с.39−55.
- Вавилов A.A., Солодовников А. И. Экспериментальное определение частотных характеристик автоматических систем. М.: Госэнергоиздат., 1963. — 252с.
- Ванин В.К., Гольденберг Ф. Д. Некоторые вопросы выбора функциональных преобразователей вычислительных устройств для оптимизации режимов энергосистем. Изв. вузов. Электромеханика, 1973, Ш I. с.42−47.
- Вейцман И.Н. Моделирование логических схем. В кн.: Теория и применение математических машин. Минск, 1972, с. 100 -108.
- Вилнас Э.И., Майминас Е. З. К проблеме сложных решений (постановка и подходы). Кибернетика, 1968, № 5, с.68−73.
- Витенберг И.М. Программирование аналоговых вычислительных машин. М.- Машиностроение, 1972. — 408с.
- Витенберг И.М., Танкелевич Р. Л. Алгоритмическое использование аналоговых машин. М.: Энергия, 1976. — 376с.
- Волкович В.Л. Методы принятия решений по множеству критериев оптимальности (обзор). В кн.: Сложные системы управления. Киев, 1968, вып.1, с.100−112.
- Вопросы проектирования преобразователей формы информации. /А.И.Кондалев, А. И. Никитин, В. А. Багацкий и др. Киев.: Наукова думка, 1977. — 242с.
- Вычислительные машины с развитыми системами интерпретации. /В.М.Глушков, А. А. Барабанов, Л. А. Колитиченко и др. Киев.: Наукова думка, 1970. — 440с.
- Вычислительная техника для управления производственными процессами: Справочник. М.: Энергия, 1971. — 480с.
- Гаврилов H.A., Девятков В, В., Пупырев Б. И. Логическое проектирование дискретных автоматов. М.: Наука, 1977. — 351с.
- Гибридные аппаратные подпрограммы./ Килда Б. Ю., Петра-ускас В. А, Шураненс М. П. и др. УС и М, 1980, № 3, с, 46−50.
- Гинзбург С.А., Любарский Ю. Я. Функциональные преобразователи с аналого-цифровым представлением информации. Ы.: Энергия, 1973. — 105с.
- Гинзбург С.А., Любарский Ю. Я. Гибридный функциональный преобразователь. Автоматика и телемеханика, 1966, № 8, с. 131 -138.
- Гитис З.И. Преобразователи информации для электронных цифровых вычислительных устройств. М.: Энергия, 1975. -447с.
- Глушков В.М. О системной оптимизации. Кибернетика, 1980, № 5, с.89−90.
- Глушков В. М, Синтез цифровых автоматов.- М.: Физматгиз, 1962. 476с.
- Глушков В.М. Теория автоматов и вопросы проектирования структур цифровых машин. Кибернетика, № 1,1965, с. З-П.
- Глушков В.М., Капитонова Ю. В., Летичевский А, А. Автоматизация проектирования вычислительных машин, Киев.: Наукова думка, 1971. — 231с.
- Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975. — 344с.
- Гришин B.C., Мазуров В. В., Фомичев B.C. Имитация работы логических схем с учетом линейного характера изменения сигналов. В кн.: Моделирование дискретных управляющих и вычислительных систем: Тез.докл. Ш Всесоюзн. семинара. Свердловск, 1981, с. 121 123.
- Гришин B.C., Фомичев B.C. Об одном способе описания входных сигналов для устройства дискретной автоматики. Л., 1982. 18с. — Рукопись представлена ЛЭТИ. Деп. в ЦНИИТЭИ приборостроения 14 сент. 198I, № 1622−81.
- Гришин B.C., Фомичев В.С, Модели сигналов и элементов для анализа работы логических схем при затянутых фронтах сигналов. Л., 1981. — 46с. — Рукопись представлена ЛЭТИ. Деп. в ЦНИИТЭИ приборостроения 19 мая 198I, № 1546−81.
- Гросс М., Лантен А. Теория формальных грамматик. -М.: Мир, 1971. 294с.
- Губернаторов О.И., Соколов Ю. И. Цифровые синтезаторы частот радиотехнических систем. М.: Энергия, 1973.- 175с.
- Гурвич Е, И., Енгалычев A.M. Язык моделирования дискретных систем МОДИС В76. — В кн.: Моделирование дискретных и вычислительных устройств. Свердловск, 1976, с.9−12.
- Гурвич Е.И., Козлин Л, Е. Ранжирование модели при логическом моделировании цифровых автоматов. В кн.: Автоматизация проектирования РЭА. М., 1973, с.151−158,
- Гусев В, В, Языки моделирования и некоторые тенденцииих развития. Киев, 1972. — 32с. (Препринт/ Ин-т. киберн. АН УСССР: 72−34).
- Гуткин JI.C. Оптимизация радиоэлектронных устройств. -М.: Советское радио, 1975. 367с.
- Дал У. И. Языки для моделирования систем с дискретными событиями. В кн.: Языки программирования. М., 1972, с.344−403.
- Дал У.И., Нигард К. СШУДА язык для программирования и описания систем с дискретными событиями. — В кн.: Алгоритмы и алгоритмические языки. М., 1967, Вып.2, с, 1−72.
- Дворянкин A.M., Половинкин А. И., Соболев А. И. Методы синтеза технических решений. М.: Наука, 1977.- 103с.
- Декодирующий преобразователь „угол-число“ с промежуточным преобразованием. /Смирнов Н.А., Смолов В. Б., Фомичев B.C. и др. Известия ВУЗ. Электромеханика, 1963, № 5, с.597−604.
- Деннис Д.Б., Фоссин Д. Б., Линдеман Д. П. Схемы потока данных. В кн.: Теория программирования. Новосибирск, 1972, ч.2, с.7−43.
- Диксон Д. Проектирование систем. М.: Мир, 1969. — 440с.
- Дмитриев Г. К., Михайлов Е. В. Функциональный аналого-цифровой преобразователь для линеаризации характеристик датчиков. -Приборы и системы управления, 1968, № 4, с.19−21.
- Дотодров В.Б., Кабанов В. В., Фомичев Б. Е. Аппаратура для контроля и измерения параметров материалов на переменном токе.
- В кн.: Опыт повышения качества изделий в радиоэлектронной промышленности. Л., 1977, с.26−29.
- Кинтелис Г. Б., Селюцкис В. И. Некоторые особенности автоматизированного структурного синтеза комбинационных схем ЦВМ. -В кн.: Вопросы синтеза логики ЦВМ. Вильнюс, 1974, чЛ, с. ПЗ-125.
- Закревский А.Д., Торопов Н.Р. Система программирования
- ЛЯПАС-М. Минск.: Наука и техника, 1978. — 239с.
- Затуливетер Ю. С. Медведев И.Л. Система динамического моделирования логических схем. В кн.: Управление техническими и организационными системами с применением вычислительной техники. М., 1979, с.56−62.
- Иванов В.И. Исследование некоторых способов построения быстродействующих цифровых функциональных преобразователей. Дис.. канд.тех.наук. Л., 1972.- 197 с.
- Иванов В. И., Фомичев B.C. Построение логических схем для системы переключательных функций с помощью ЦВМ. Известия ЛЭТИ, 1971, вып.93, ч.2, с.43−47.
- Иванов В. И, Фомичев B.C. Построение логических схем на ЦВМ с учетом особенностей реальных элементов. В кн.: Проектирование цифровых вычислительных машин. Л., 1974, вып. З, с.75−83.
- Иванов В.И., Фомичев B.C. Функциональные преобразователи кодов, использующие линейные функции аргумента. В кн.: Сборник научных трудов ЛЭТИ. Л, — Новгород, 21 973, вып.1, ч.1, с.69−74.
- Иванов В.И., Фомичев B.C. Цифровой функциональный преобразователь. A.C. 46 396Х (СССР) Опубл. в Б.И. 1976, № 10.
- Ильяшенко Е.И., Рузанов В. Ф. Ассоциативные запоминающие устройства на магнитных элементах. М.: Энергия, 1975.-128с.
- Исьянов В.М. О логических схемах алгоритмов второго рода. В кн.: Синтез дискретных автоматов и управляющих устройств. М., 1968, с.26−33.
- Ицкович ЭЛ., Трахтетерц Э. А. Алгоритмы централизованного контроля и управления производством. М.: Энергия, 1967.351c.
- Ицкович Э.Л. Методика разработки систей централизованного контроля производства (обзор). Приборы и системы управления, 1971, № 5, с.1−4.
- Калужин Л.А. Об алгоритмизации математических задач.-В кн.: Проблемы кибернетики. М., 1959, вып.2, с.51−67.
- Каляев A.B. Теория цифровых интегрирующих машин и структур. М.: Советское радио, 1970. — 472 с.
- Карп P.M., Миллер P.E. Параллельные схемы программ.-В кн.: Кибернетический сборник. M., 1976, № 13, с.5−61.
- Карцев М.А. Архитектура цифровых вычислительных машин. М.: Наука, 1978. — 295с.
- Каталог арифметических устройств ЦВМ / А. Г. Шигин, Г. А. Потемкин, Г. Л. Кемельмахер и др.: В кн.: Материалы П-й конференции молодых ученых и специалистов по проблемам кибернетики: Тез. докл. Всесоюзн. конф. Л., 1971, с.37−38.
- Кагмат С., Штейнгауз Г. Теория ортогональных рядов. -М.: ГЙФМЛ, 1958. 508с.
- Кирпичников В.М., Проскурин Г. М. Аналитический метод определения нелинейных параметров в гибридных схемах. Труды Уральского политехнического ин-та, 1973, вып.209, с.80−87.
- Кислицын С.Г., Литвин Ф. Л. К расчету функционально-шунтированных потенциометров при чебышевском приближении. Автоматика и телемеханика, 1959, т.20, tell, с.1515−1524.
- Классификатор комбинированных вычислительных устройствс дискретно-управляемыми параметрами (КВУ-ДП): Учебное пособие./
- Под ред. К. А. Сапожкова, Н. П. Сергеева. Пенза.: 1971.- 326с.
- Классификатор комбинированных вычислительных устройств с дискретно-управляемыми параметрами (КВУ-ДП): Учебное пособие
- Под ред. К. А. Сапоякова, Н.П.Сергеева- Пеяза.: 1972. 178с.
- Коган Б.Я. Электронные моделирующие устройства и их применение для исследования систем автоматического регулирования. М. I Физматгиз, 1963. — 510с.
- Коган Б.Я. Моделирование с помощью вычислительных машин и гибридных вычислительных систем. В кн.: Вопросы кибернетики. М., 1978, вып.46, с.5−20.
- Коган Л.М., Семко Ю. И. Выбор способа функционального преобразования сигналов датчиков при разработке управляющей вычислительной системы. Приборы и системы управления, 1971, № 5, с.10−13.
- Колесник Е.Н., Ковалин Я. В. Математическая модель логической среды. В кн.: Моделирование дискретных устройств. Свердловск, 1976, с.67−71.
- Колесник А.П., Немолочнов О. Ф., Шипилов П. А. Принципы построения универсального входного языка для моделирования логических схем на ЦВМ. В кн.: Автоматизация и алгоритмизация проектирования цифровых устройств и систем. Л., 1971, ч.1, с.28−33.
- Колесник А.П., Немолочнов О. Ф., Шипилов П. А. Описание структуры и порядка функционирования цифровых устройств с помощью языка спискового типа. В кн.: Вычислительная техника. Пенза, 1973, вып.1, с.5−16.
- Кондалев А.И. Системные преобразователи формы информации. Киев.: Наукова думка, 1974. -330с.
- Котов В.Е. Введение в теорию схем программ. Новосибирск.: Наука, 1978. — 258с.
- Котов В.Е. Формальные модели параллельных вычислений. -Новосибирск, 1979. 56с. (Препринт /СО АН СССР: 165).
- Кохов В.Е., Нариньяни A.C. Асинхронные вычислительные процессы над памятью. Кибернетика, 1966, № 3, с.64−71.
- Кохонен Т. Ассоциативная память. М.: Мир, 1980.238с.
- Лавров С.С., Силагадзе Г. С. Автоматическая обработка данных. Язык ЛИСП и его реализация. М.: Наука, 1978. — 176с.
- Ландау И.Я. Применение ЦВМ для проектирования ЦВМ. -М.: Энергия, 1974. 152с.
- Ландау И.Я., Погосянц Т. М. Язык для формального описания логических схем ФОРОС. — В кн: Автоматизация проектирования ЦВМ: Труды ИНЭУМ. М, 1970. вып.10, с.3−27.
- Ларичев О.И. Человеко-машинные процедуры принятия решений (обзор). Автоматика и телемеханика, 1971, № 12, с. 1 304 142.
- Левин В.И. Переходные процессы в комбинационных схемах при затянутых фронтах сигналов. Известия АН СССР. Техническая кибернетика, 1975,)fe2, с.118−127.
- Левоневский Ф.Д., Шендерович Ю. И. Описание логических схем в системе машинного проектирования. УС и М, 1975, № 6, C. II6-II9.
- Люстерник Л.А., Червоненкис O.A., Янпольский А. Р. Математический анализ. М.: Физматгиз, 1963. — 427с.
- Мазный Г. Л. Программирование на БЭСМ в системе „Дубна“. М.- Наука, 1978. 270с.
- Мазурек В.В., Фомичев B.C. Построение программ вычисления значений логических элементов для моделирующих систем. В кн.: Сборник научных трудов ЛЭТИ. Л.-Новгород, 1973, вып.1, ч.1, с.52−59.
- Мазурек В.В., Фомичев B.C. Программы для построениякратчайших дизъюнктивных нормальных форм переключательных функций. В кн.: Проектирование цифровых вычислительных машин. Л., 1974, вып. З, с.67−75.
- Майоров С.А., Новиков Г. Н. Структура электронных вычислительных машин. Л.: Машиностроение, 1979. — 384с.
- Мальцев А.И. Алгебраические системы. М.: Наука, 1970. — 392с.
- Мангейм М.Л. Иерархические структуры. М.: Мир, 1970.- 180с.
- Математический анализ. /В.Л.Данилов, А. Н. Иванов, Е. К. Исакова и др. М.: Физматгиз, 1961. — 439с.
- ПО. Математическое обеспечение ЦВМ: Учебное пособие. / Опалева Э. А., Разумовский Г. В., Фомичев B.C. и др. Л.: ЛЭТИ, 1979. — 59с.
- Марковиц Г., Хауенер Б., Kapp Г. СИМСКРИПТ. Алгоритмический язык для моделирования. М.: Советское радио, 1966. -152с.
- Микишев Г. Н., Рабинович Б. И. Динамика твердого телас полостями, частично заполненными жидкостью. М.: Наука, 1968.- 532с.
- Микроэлектронные цифро-аналоговые и аналого-цифровые преобразователи информации /В.Б.Смолов, Е. П. Угрюмов, В, С. Фомичев и др. Л.: Энергия, 1976. — 336с.
- Миллер P.E. Теория переключательных схем. Т. 1−2. М.: Наука, 1970, т.1 — 416с. — т.2 — 304с.
- Миллерова М.Г. Об одном расширении языка ЛСА. В кн.: Автоматы и управление сетями связи. М., 1971, с.136−141.
- Миллерова М.Г. О временном анализе асинхронной логической сети. Автоматика и телемеханика, 1973, № 6, с.162−165.
- Миллерова М.Г. Преобразование структуры и временной анализ асинхронного автомата. Известия АН СССР. Техническая кибернетика, 1975, № 2, с.128−134.
- Мильнер А.Д., Шевченко Т, А. Моделирование цифровых устройств в автоматизированной системе технического проектирования. В кн.: Вопросы синтеза логики ЦВМ. Вильнюс, 1974, чЛ, с.49−55.
- Многоканальный кодирующий преобразователь „амплитуда напряжения переменного тока код“ с объединенным опросом датчиков. /Смирнов H.A., Смолов В. Б., Фомичев B.C. и др. — Вопросы радиоэлектроники. Общетехн., 1963, № 28, с.44−55.
- Многоканальный кодирующий преобразователь „амплитуда напряжения переменного тока код“ с объединенным опросом датчиков. /Смирнов H.A., Смолов В. Б., Фомичев B.C. и др. — Вопросы радиоэлектроники. Общетехн., 1963, № 28, с.44−55.
- Моделирующие математические машины с переменной структурой. /Под ред. Пухова Г. Е.. Киев.: Наукова думка, 1970. -248с. .
- Моисеев H.H. Неформальные процедуры в автоматизации проектирования. М.: Знание, 1979. — 64с.
- Москалев З.С., Новосельцев Л. Я. Цифровой функциональный преобразователь, выполненный по схеме дешифратор шифратор. — Изв. вузов. Приборостроение, 1966, т.9, № 6, с.88−93.
- Мухопад Ю.Ф. Методика структурного проектирования специализированных вычислительных устройств. В кн.: Вычислительные системы. Новосибирск, 1971, вып.46, с.149−153.
- Мухопад Ю.Ф. Методика структурного проектирования специализированных вычислительных устройств. В кн.: Вычислительная техника. Л., 1972, вып.2, с.104−112.
- Надежность кодирующего преобразователя. /Смирнов H.A., Смолов В. Б., Фомичев B.C. и др. Л.: ЛДНТП, 1964. — 16с.
- Наумов H.A. Некоторые вопросы структурного проектирования. М., 1980, — 30с. (Препринт/ Ин-т прикладн. математ.1. АН СССР: 63).
- Наумов H.A. Структурное проектирование. (Грамматический аспект). М., 1979. — 30с. (Препринт/ Йн-т прикладн. мате-мат. АН СССР: 142).
- Нетребенко H.A. Цифровые делители напряжения. М.: Энергия, 1970. — 224с.
- Нетушил A.B. Алгебра временных последовательностей. -Известия ВУЗов. Электромеханика, 1967, № 3, с.239−248.
- Никитин А.И., Окунев С. И. О формализации описания структуры и функционирования комплексов вычислительных средств.-УС и М, 1977, № 2, с.49−55.
- Об одной возможности построения цифро-аналоговых функциональных преобразователей. Коршевер И. И., Смолов В. В., Фомичев B.C. и др. — Автометрия, 1966, № 2, с.90−98.
- Огородов Ю.В. Алгоритмы подготовки функциональных преобразователей. В кн.: Автоматизация программирования средств АВТ. М., 197I, с.158−165.
- Одрин В.М., Картавов С. С. Некоторые итоги и перспективы развития морфологического анализа систем. Киев, 1973. -83с. (Препринт/ Ин-т киберн. АН УСССР: 73−62).
- Опалева Э.А., Фомичев B.C. Комплекс программ для автоматизации проектирования функциональных преобразователей.
- В кн.: Проблемы создания преобразователей формы информации: Тез. докл. Всесоюзн. кояф. Киев, 1973, с.465−469.
- Опалева Э.А., Фомичев B.C. Программное обеспечение
- ЭВМ: Учебное пособие. Л.: ЛЭТИ, 1979. — 79с.
- Организация системы логического моделирования. /Фомичев B.C., Мавурек В. В., Папков В. И. и др. Известия ЛЭТИ, 1976, вып.187, с.61−68.
- Основы проектирования управляющих машин промышленного назначения./ Б. Н. Малиновский, И. А. Янович, В. М. Египко и др.
- М.: Машиностроение, 1969. 344с.
- Основы теории подобия и моделирования: Терминология. -М.: Наука, 1973, вып.88.- 23с.
- Палл И.В., Фомичев B.C. Организация внутренней памяти специализированного процессора для обработки данных структурированного типа. Изв. Академии Наук Эстонской ССР, 1982, т.31, сер. Физика и Математика, № I, с.11−16.
- Палл И.В., Фомичев B.C. Модель процессора для работы с многосвязными цепными списками. Л., 1981. — 39с. — Рукопись представлена ЛЭТИ. Деп. в ЦНИИТЭИ приборостроения 14 сент. 1981, № 1638−81.
- Петренко А.И., Цурин О. Ф., Киселев Г. Д. Организация подсистемы анализа функционально-логических схем. УС и М, 1977, № 6, с.93−95.
- Пийль Е.И. Особенности синтеза ЦВУ при наличии параллельных участков в алгоритме. В кн.: Синтез автоматов и управление на сетях связи. М., 1973, с.5−14.
- Опалева Э. А. Некоторые вопросы построения и автомати
- Подсистема моделирования логических схем для ЭВМ БЭСМ -6. / Фомичев B.C., Мазурек В. В, Папков В. И. и др. Обмен опытом в радиопромышленности, 1975, № 6, с.56−60,
- Полляк Ю.Г. Общие принципы и эвристические приемы построения моделей для исследования проектируемых систем. В кн.: Вопросы кибернетики и вычислительной математики. Проблемы статистической оптимизации. Ташкент, 1969, вып.28, с.3−12.
- Полляк Ю.Г. Классификация моделей и обобщение практических приемов моделирования. В кн.: Проблемы исследования систем и структур: Материалы У Конференции АН СССР. М., 1965, с.83−88.
- Полупроводниковые кодирующие и декодирующие преобразователи. / В. Б. Смолов, А. Н. Смирнов, В. С. Фомичев и др. Л.: Энергия, 1967. — 312с.
- Полупроводниковый декодирующий преобразователь. /Смолов В.Б., Чернявский Е. А., Фомичев B.C. и др. Измерительная техника, 1962, -№ 5, с.29−32.
- Поляк Б.Т., Шрейдер Ю. А. Применение полиномов Уолшав приближенных вычислениях. В кн.: Вопросы теории математических машин. М.-Л., 1962, вып.2, с.174−190.
- Поляков А.К. Системы моделирования логических схем. В кн.: Цифровая вычислительная техника и программирование. М., 1974, вып.8, с.162−171.
- Поляков А.К., Горбатенко Д. Д. Язык моделирования цифровой аппаратуры МПЛ-1. В кн.: Автоматизация проектирования: Труды МЭИ. М., 1975. вып. 216, с.29−36.
- Поляков А.К., Горбатенко Д. Д., Ляшко М. М. База языка моделирования МПЛ-1. В кн.- Автоматизированные системы проектирования. М., 1975, с.73−78.
- Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1974. — 368с.
- Поспелов Д.А. Введение в теорию вычислительных систем. К: Советское радио, 1972. — 280с.
- Преобразование информации в аналого-цифровых вычислительных устройствах и системах. /Г.М.Петров, А. П. Лосев, Г. В. Москаленко и др. М.: Машиностроение, 1973. — 360с.
- Прецизионный преобразователь „напряжение-код“ /Фоми-чев B.C., Грушвицкий Р. И., Смирнов H.A. и др. A.C. I7II82
- СССР) Опубл. в Б.И. 1965, fe 10. „
- Применение вычислительных машин для проект! фования цифровых устройств. /Под ред. Матюхина H.H. М.: Сов. радио, 1968. — 256с.
- Программные средства моделирования непрерывно-дискретных систем. / Глушков В. М., Гусев В. В., Марьянович Т. П. и др. Киев.: Наукова думка, 1975. — 150с.
- Пухов Г. Б. Методы анализа и синтеза квазианалоговых электронных цепей. Киев.: Наукова думка, 1967. — 567с.
- Рабинович З.Л. Векторно-временные переключательные функции как язык для описания схем и процессов переработки информации. Кибернетика, 1968, № 3, с.36−42.
- Разработка преобразователя напряжения в код и функционального преобразователя кода в напряжение: Отчет НЙС ЛЭТИ. Per. fe 7I05I207. — Л., 1971, ч.1. — 227с.
- Разработка принципов организации математического обеспечения САПР применительно к ВС ЭВМ: Отчет НИС ЛЭТИ. Рег.№ 74 065 789.-Л., 1979. 134с.
- Разработка системы моделирования цифровых схем, построенных из потенциальных элементов: Отчет НИС ЛЭТИ. Per ft- Jff- .7I05I208. Л., 1971. — I24c.
- Разумовский Г. В“, Самойленко В. П., Фомичев B.C. Методические указания к курсовой работе по курсу „Арифметические и логические основы вычислительной техники“. Л.: ЛЭТИ, 1977, вып.2. — 30с.
- Разумовский Г. В., Савченко Т. Г., Фомичев B.C. Язык описания структуры данных. Известия ЛЭТИ, 1978, вып.231, с. 4753.
- Рочинский В.Н. Основы дискретной автоматики. М.: Связь, 1975. — 432с.
- Секлюцкис В.Ю. Построение и исследование каталога функциональных узлов и его применение для автоматизированного синтеза операционных устройств ЦВМ.: Автореф. Лис.канд. техн. наук. Каунас, 1976. — 26с.
- Секлюцкис В.Ю. Некоторые воцросы построения систем автоматизированного проектирования, использующих принцип каталога.-Вычислительная техника, Вильнюс, 1978, т. XI, с.91−94.
- Селютин В.А. Машинное конструирование электронных устройств. М.: Советское радио, 1977. — 384с.
- Семко Ю.И., Солодов Ю. С., Левин М. И. Функциональный аналого-цифровой преобразователь для датчиков переменного тока систем обегающего контроля. Измерительная техника, 1961, № 11, с.35−39.
- Сенченко Н.И., Терещенко Ю. И., Якушев А. П. Применение одного класса языков для описания я преобразования отруктурных схем гибридных вычислительных систем. Электронное моделирование, 1980, № 3, с.20−24.
- Система моделирования логических схем, ориентированная на использование ЦВМ БЭСМ-6: Отчет НИС ЛЭТИ. Рег.№ 72 043 503.
- Л., 1974, чЛ. 90с. — ч.2. — 200с. — ч.З. — 152с.
- СЛЭНГ система программирования для моделирования дискретных систем /В.М.Глушков, Л. А. Колесниченко, Т.П.Марьяно-вич и др. — Киев.: ИКАН УССР, 1969. — 413с.
- Смеляков В.В. Цифровая измерительная аппаратура инф-ранизких частот. М.: Энергия, 1975. — 167с.
- Смыслов В.И. Об экспериментальных способах исследования колебаний летательных аппаратов. Труды ЦАГИ, 1970, вып. 1217, с.3−62.
- Смолов В#Б. Функциональные преобразователи информации. Л.: Энергоиздат, 1981. — 248с.
- Смолов В.Б. Аналоговые вычислительные машины. -М.: Высшая школа, 1972. 408с.
- Смолов В.Е. Вычислительные преобразователи с цифровыми управляемыми сопротивлениями. М.: Госэнергоиздат, 1961. -135с.
- Смолов В.Б. Квадратичный активный декодирующий преобразователь „код-напряжение“. A.C. 186 206 (СССР) Опубл. в Б.й.1966, № 18.
- Смолов В.Б. Гибридный кусочно-квадратичный функциональный преобразователь. Приборы и системы управления, 1967, №б, с.1−3.
- Смолов В.Б. Электронные декодщ>ующие и кодирующие функциональные преобразователи. Автоматика и телемеханика, 1961, т.22, № 2, с.209−215.
- Смолов В.Б. Универсальные кодирующие преобразователи для автоматических измерительных систем. Измерительная техника, 1961, № II, с.30−35.
- Смолов В.В., Опалева Э. А., Фомичев B.C. Логарифмический цифро-аналоговый преобразователь, использующий принцип ККА.-Известия ЛЭТИ, 1974, вып.129, с.66−73.
- Смолов В.Б., Опалева Э. А., Фомичев B.C. Об одном методе построения кусочно-линейных преобразователей кода в напряжение. Автометрия, 1974, № 5, с.80−88.
- Смолов В.Б., Смирнов H.A., Фомичев B.C. Мостовые электронные цифро-аналоговые функциональные преобразователи. Автоматика и телемеханика, 1962, № 6, с.802−817.
- Смолов В.Б., Фомичев B.C. Аналого-цифровые и цифро-аналоговые нелинейные вычислительные устройства. Л.: Энергия, 1974. — 264с.
- Смолов В.Б., Фомичев B.C. Принципы построения трансформаторных преобразователей кода в напряжение. В кн.: Сборник статей Рязанского радиотехнического ин-та. 1972, с.78−85.
- Смолов В.Б., Чернявский Е. А. Гибридные вычислительные устройства с дискретно-управляемыми параметрами. Л.: Машиностроение, 1977. — 296с.
- Смолов В.Б., Чернявский Е. А. Комбинированные вычислительные устройства: Учебное пособие. Л.: ЛЭТИ, 1968, чЛ. -143с.
- Собкин Б.Л. Библиотека математических моделей основных узлов ПНК. В кн.: Современные методы разработки РЭА. М., 1974, с.79−82.
- Соренков Э.И., Телига А, И., Шаталов A.C. Точность вычислительных устройств и алгоритмов. М.: Машиностроение, 1976. — 200с.
- Соучек Б. Микропроцессоры и микро-ЭВМ. М.: Советское радио, 1979. — 517с.
- Сыпчук П.П., Суепинский Ю. Е. Алгоритмический язык СОЛ и моделирование сложных систем: Материалы семинара. /Институт электронных управляющих машин. М.: ИЭУМ, 1969, вып.З. — 105с.
- Теория и методы автоматизации проектирования вычислительных систем. / Под ред. М.Брейера. М.: Мир, 1977. — 283с.
- Трансформаторный декодирующий преобразователь переменного тока. / Фомичев B.C., Смолов В. Б., Смирнов H.A. и др.
- A.C. 165 587 (СССР) Опубл. в Б.И. 1964, № 19.4.. .
- Трахтенберг B.C. Некоторые проблемы, связанные с решением экстремальных задач оптимального проектщювания поисковыми методами. В кн.: Автоматика и вычислительная техника. Рига, 1965, вып.10, с.27−32.
- Универсальный аналого-цифровой преобразователь для постоянного и переменного тока. /Смирнов H.A., Смолов В. Б., Фомичев B.C. и др. В кн.: Цифровая электроизмерительная техника. М., 1964, вып. IX, с.57−65.
- Универсальный кодирующий преобразователь „напряжение-число“ для управляющих систем постоянного и переменного тока. /Смирнов H.A., Смолов В. Б., Фомичев B.C. и др. Известия ВУЗ. Приборостроение, 1963, № 4, с.54−62.
- Универсальные электронные преобразователи информации. /В.Б.Смолов, Е. А. Чернявский, Т. И. Полянская и др. Л.: Машиностроение, 1971. — ЗНс.
- Ушаков В.Б., Петров Г. М., Казенков Г. Г. Перспективы развития средств АВТ третьего поколения. В кн.: Аналоговая ианалогово-цифровая вычислительная техника. М., 1973, вып.5, с.3−19.
- Фомичев B.C. Некоторые вопросы синтеза схем функциональных декодирующих преобразователей. Дис.. канд.тех.наук. -Л., 1966. 191с.
- Фомичев B.C. Применение функций Хаара для построения преобразователей кода в напряжение. Известия ЛЭТИ им. В. И. Ульянова /Ленина/, 1971, вып.93, ч.2, с.7−11.
- Функциональные преобразователи кода в напряжение на основе преобразователя кодов. / Иванов В. И., Смолов В. В., Фомичев B.C. и др. Известия ЛЭТИ, 1971, вып.93, ч.2, с.3−6.
- Фомичев B.C., Туманян А. К. Об одном способе построения микропрограммных автоматов на сдвигающих регистрах. В кн.: Сборник научных трудов ЛЭТИ, Л.-Новгород, 1973, вып.1, ч.1,с.38−45.
- Фомичев B.C. Об одном способе построения цифровых функциональных преобразователей. В кн.: Автоматические устройства учета и контроля. Ижевск, 1973, вып. УП, с.160−166.
- Фомичев B.C., Смолов В. В., Опалева Э. А. Квадратичный преобразователь кода в напряжение. A.C. 367 543 (СССР) Опубл. в Б.И. 1973, Ш 8.
- Фомичев B.C. Об одном способе построения цифровых функциональных генераторов. В кн.: Вычислительная техника. Рязань, 1973, вып.1, с.121−126.
- Фомичев B.C. Математическое обеспечение ЦВМ: Конспект лекций. Л.: ЛЭТИ, 1973, вып.1. — 39с. — 1973, вып.2. — 51с.
- Фомичев B.C. Арифметические и логические основы вычислительной техники: Конспект лекций. Л.: ЛЭТИ, 1973, вып.1 -35с.- 1974, вып.2 — 37с.- 1975, вып. З — 33с.- 1975, вып.4 — 43с.
- Фомичев B.C. Алгоритмические языки и программирование: Введение в АЛГ0Л-60. Л.: ЛЭТИ, 1976. — 92с.
- Фомичев B.C., Опалева Э. А. О способах построения программы моделирования на ЦВМ. В кн.: Вопросы кибернетики. М., 1976, вып. И, с.48−52.
- Фомичев B.C., Савченко Т. Г. Имитация работы схем, заданных в виде переключательных функций, в системе моделирования. Известия ЛЭТИ, 1977, вып.217, с.34−43.
- Фомичев B.C., Мазурек В. В. Алгоритмические блоки в системе логического моделирования. Известия ЛЭТИ, Л., 1979, вып.235, с.50−58.
- Фомичев B.C. Автоматизация структурного проектирования функциональных расширителей, работающих с разной формой представления информации. В кн.: Проблемы создания преобразователей формы информации: Тез.докл. Всесоюзн. конф. Киев, 1980, ч.1, с.114−118.
- Фомичев B.C., Мазурек В. В. Система совместной имитации аналоговых и цифровых блоков вычислительных устройств на ЭВМ. -Электронное моделирование, 1980, № 3, с.88−94.
- Фомичев B.C. Об одном способе перехода от описания структурных к описанию функциональных схем. В кн.: Теория и практика конструирования и обеспечения надежности и качества радиоэлектронной аппаратуры: Тез. докл. Всесоюзн. конф. Махачкала, 1980, с.II.
- Фомичев B.C. Язык, ориентированный на проектирование АЦВУ. В кн.: Развитие и использование аналоговой и аналого-цифровой вычислительной техники: Тез. докл. Всесоюзн. конф. М., 198I, с.28−29.
- Фомичев B.C., Разумовский Г. В., Палл И. В. Исследование- ?f3 возможностей аппаратной реализации операции с массивами. -Изв. ЛЭТИ, 198I, вып.285, с.63−69.
- Фомичев B.C., Палл И. В. Способы построения схем сравнения двоичных чисел. Изв. ЛЭТИ, 1981, вып.291, с. П-16.
- Фомичев B.C. Формальная модель вычислительных устройств. Электронное моделирование, 1982, № 3, с.
- Ханден Ф. Основы общей методики конструирования. -Л.: Машиностроение, 1969. 164с.
- Хигман Б. Сравнительное изучение языков программирования. М.: Мир, 1974. — 204с.
- Холл А. Опыт методологии для системотехники. М.: Советское радио, 1975. — 448с.
- Хоу Р., Холлстен Р. Гибридные вычислительные системы с разделением времени новый шаг в машинно-ориентированном проектировании. — В кн.: Автоматизация в проектировании. М., 1972, с.103−111.
- Цифро-аналоговый анализатор периодических сигналов и частотных характеристик динамических систем. /Солодовников А.И., Долгодров В. Б., Петушков В. Г. и др. В кн.: Опыт проектирования и эксплуатации радиоэлектронных систем. Л., 1975, с.66−69.
- Цифро-аналоговое множительно-делительное устройство. / Смирнов H.A., Смолов В. Б., Фомичев B.C. и др. Вопросы радиоэлектроники, 1963, № 18, с.68−80.
- Чу Я. Организация ЭВМ и микропрограммирование. -М.: Мир, 1975. 592с.
- Шейнаукас Р.И., Кривицкас И. И. Многозначное моделирование, учитывающее особенности опережения сигналов. В кн.: Автоматизированное техническое проектирование цифровых устройств.1. Каунас, 1976, с.194−198.
- Шейнаукас Р.И., Кривицкас И.й. Многозначное моделирование логических схем. В кн.: Автоматизированное техническое проектирование цифровых устройств. Каунас, 1976, с.189−193.
- Шеннон К. Синтез двухполюсных переключательных схем.-В кн.: Работа по теории информации и кибернетике. М., 1963, с.59−106.
- Шестаков В, И. Алгебра двухполюсных схем, построенных исключительно из двухполюсников. Автоматика и телемеханика, 1941, № 2, с.15−25.
- Шигин А.Г., Кемельмахер Г. Л. Информационно-логическая система проектирования операционных частей ЭВМ. УС и M, 1973, № 1, с.52−58.
- Шигин А. Г. Федин В.А. Модель процесса проектирования для системы автоматизированного проектирования информационно-логического типа. УС и М., 1977, № 2, с.84−88.
- Шилейко A.B. Цифровые модели. М.: Энергия, 1964.112с.
- Юрин О.Н. Автоматизированное проектирование ЭВМ на базе языка ОСС-2. М.: МИЭМ, 1974. — 176с.
- Юдин О.Н. Единая система автоматизации проектирования ЭВМ. М.: Советское радио, 1976. — 176с.
- Яблонский C.B. Функциональные построения в к-значной логике. Труды матем. ин-та им. В. А. Стеклова, 1958, т.51, с.5−142.
- Язык микропрограммирования высокого уровня МИКАЛУ. /Валантикас И.И., Жинтелис Г. Б., Канаплукас П. Н. и др. УС и М, 1980, № 5, с.82−89.
- Языки управления заданиями и описания данных в системе моделирования логических схем. / Фомичев B.C., Зайцев С. И., Разумовский Г. В. и др. В кн.: Вычислительная техника. Л., 1977, вып.6, с.118−127.
- Янес М.Х. Структурный подход к синтезу операционных автоматов. Труды ТЛИ, 1976, № 409, с.119−128.
- Янов Ю.й. О логических схемах алгоритмов. В кн.: Проблемы кибернетики. М., 1958, вып.1, с.75−127.
- ЯРУС язык описания работы сложных автоматов. /Кузнецов О.П., Макаревский А. Я., Марковский A.B. и др. — Автоматика и телемеханика, 1972, № 6, с.80−89- № 7,с.150−159.
- Duley 1-Е», Dietmeyer D.L. A Diqital System Desiqn Lamquaqe (DDL).- IEEE Transaction on computers, 19:68, v. C—1?, Ш, p.850−861.
- EicHerberqear E.B. Hazard detection in combinational and sequential s. witchinq circuits. -IBM 3. of research and development, 1965,.9, 1T2, p.90−99.
- Hardie E.H., Suhocki E.J. Disiqn and use of fault simulation for Saturn Computer Desiqn.— IEEE TRAITS on Electr. Comput. 1967, v. EC-I6, F4, p.412−429.
- Eofbeimer R., Perry R. Digitel Analog, Function generator.—nTRE Trans. Tnstrum." 1958, F2, p. III-II7.
- KoeM.er Dankwart. Computer modeling of, logic modules under consideration of delay and wave shaping* — Proc. IEEE, 1969, 1T7, p, 1294−1296.
- Iverson K.E. A programming language. F.Y., London, I963r-3l2p.
- Iverson K"E. A method of syntax specification. — Commun. ACM, 1964, v. 7, IT 10, p.87−91"261″ Ulrich G. Exclusive simulation of activity in digital networks. Communications of the ACM, 1969', v.12, IT2, p.102−110.