автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.05, диссертация на тему:Вопросы построения и автоматизации проектирования функциональных расширителей гибридных вычислительных систем

Введение.&

Раздел первый. Автоматизация структурного проектирования функциональных расширителей./

Глава первая. Общие вопросы структурного проектирования.

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. Выводы./¥£

Раздел второй. Проектирование нелинейных блоков.

Глава пятая. Делители напряжения обобщенного вида.

5.1. Общие положения.

5.2. Делители из последовательных и параллельных резисторно-переключательных схем./#Л

5.3. Цепные делители./

5.4. Погрешности цепных делителей, обусловленные сопротивлением источника.Я0Ч

5.5. Последовательно-параллельные сети, построенные из двухполюсников и переключателей. . .л/

5.6. Преобразование последовательно-параллельных КСД.л/

- *

5.7. Ортогональные разложения структурных функций.¿¿У

5.8. Синтез последовательно-параллельных сетей из двухполюсников.¿

5.9. Эквивалентные преобразования звезды и треугольника, дуальные преобразования РП-схем.¿3?

5.10.Вывод ы.

Глава шестая. Цифро-аналоговые ступенчатые аппроксиматоры.

6.1. Общие положения.Л^Л

6.2. Схемы для табличных функций.Л

6.3. Ступенчатые аппроксиматоры, использующие преобразователи кодов.

6 Л. Схемы СА, моделирующие ряд Уолша.

6.5. Схемы СА, моделирующие ряд Хаара. . . .¿¿¿Г

6.6. Выводы. .¿

Глава седьмая. Кусочно-линейные и кусочно-квадратичные аппроксиматоры.

7.1. Общие положения.¿

7.2. Построение схем специализированных КЛА.

7.3. Построение схем специализированных ККА.

7.4. Подсистема автоматизации проектирования КПА. . . . .3/

7.5. Построение схемы универсального КПА. . .ЗЛЯ

7.6. Выводы.

В настоящее время одной из важнейших народно-хозяйственных задач является задача автоматизации производства и научных исследований, решение которой выполняется на основе использования вычислительной техники. Один из перспективных путей решения этой задачи связан с исследованием проблемы "Разработка принципов создания вычислительных систем, включающих оовместно работающие высокопроизводительные ЭВМ и специализированные вычислительные устройства", сформулированной АН СССР.

При решении указанной задачи перед разработчиками средств вычислительной техники возникает проблема, связанная с повышением производительности и качества проектирования, а также сокращением сроков разработки вычислительных устройств. Актуальность этой проблемы указана в целевой научно-технической комплексной программе "Программа САПР" МВ и ССО СССР.

Автоматизированные системы управления производством и системы автоматизации научных исследований работают, в большинстве случаев, с сигналами, поступающими с первичных датчиков и имеющими разную форму представления. Это обстоятельство, а также отмеченные выше проблемы позволили сформулировать проблему, рассматриваемую в настоящей работе в следующем виде: "Разработка специализированных вычислительных устройств, называемых функциональными расширителями (ФР) для гибридных вычислительных систем и построение системы автоматизации проектирования таких устройств".

Рассматриваемый в работе класс ФР имеет широкую сферу применения, которая охватывает ряд направлений.

- б

I. Основой решения задач автоматизации производства является разработка и внедрение систем централизованного контроля и управления (СЦКУ) [ЗР , ?3 , ,/^7. Подобные системы строятся на базе ЭВМ и широко используются для управления производствами химико-технологического типа, работающими по непрерывному принципу. К таким производствам относится большинство химических и нефтехимических комбинатов, значительное число предприятий цветной металлургии, строительных материалов, пищевой промышленности и т.п. .Ядро аппаратной части СЦКУ обычно состоит из ЭВМ, пульта управления и устройства связи с объектом (УСО), которое в системах первого поколения осуществляло последовательный опрос датчиков и выдачу управляющих воздействий на исполнительные устройства. Для контроля состояния управляемого объекта или процесса используется от нескольких десятков до нескольких сотен датчиков различных типов. Каждый тип датчиков имеет как правило §п-ределенный уровень выходных сигналов, что приводит к необходимости их нормирования. Кроме того большое число датчиков таких как термопары, термометры сопротивлений, расходомеры и т.п. обладают нелинейными характеристиками. Одним из способов линеаризации характеристик датчиков является включение функциональных преобразователей в состав УСО [б/ , М , . Развитием этого способа можно считать появившуюся концепцию активных УСО />¿7,которые представляют собой специализированные вычислители, выполняющие функции преобразования, нормирования, линеаризации характеристик, сравнение выходных сигналов датчиков с уставками, контроль и преобразование управляющих сигналов, сглаживание и усреднение показаний датчиков, прием и выдачу сообщений оператору и т.п. Использование активных УСО, представляющих собой функциональные расширители центрального процессора, позволяет уменьшить

- г время запаздывания, расширить круг задач, решаемых системой, за счет разгрузки центрального вычислителя и повысить оперативность системы в критических ситуациях. Можно считать, что применение ФР создает условия для эффективного применения средств ВТ и является характерной чертой очередного поколения СЦКУ.

2. Одним из основных способов экспериментальных исследований различных объектов и систем является анализ динамических характеристик, который основан на методах частотного анализа. Этот способ используется как на стадиях разработки, так и при натурных испытаниях, поскольку получение характеристик исследуемого объекта оказывается во многих случаях возможным только на основании экспериментальных данных.

Методы экспериментального частотного анализа используются для определения частотных характеристик как непрерывных, так и дискретных систем автоматического управления [¿Г , Л6 , для определения свойств материалов и их параметров на переменном токе £и , Ж?], для определения собственных частот и форм колебаний жидкости, заключенной в замкнутом объеме [//¿] , для исследования с помощью вибрационных испытаний колебаний летательных аппаратов [/£ , и других механических объектов (строительных конструкций, изделий машиностроения и транспорта).

Комплекс вычислительных средств для проведения экспериментального частотного анализа, как правило, включает мини- или микро-ЭВМ, выполняющую обработку результатов и управление экспериментом, а также функциональный расширитель, содержащий генератор опорного сигнала, устройство, осуществляющее опрос датчиков и анализ сигналов реакции. Генератор опорного сигнала должен обеспечивать получение квадратурной составляющей сигнала, которая вместе с синфазной составляющей используется в устройстве анализа. Использование в качестве генераторов нелинейных блоков, входящих в состав ФР и построенных на основе цифровых или цифро-аналоговых принципов, позволяет расширить частотный диапазон ВК, особенно в области инфранизких частот, добиться стабильности работы во времени, соизмеримой с частотой кварцевого генератора, получить малый коэффициент нелинейных искажений, а дакже возможность оперативной перестройки частот и запуска с любой начальной фазы.

3. Развитие гибридных вычислительных устройств , а также внедрение в технику аналоговых вычислений цифро-аналоговых и аналого-цифровых способов обработки сигналов I 8] , выдвигает задачу разработки функциональных расширителей, допускающих их использование в качестве универсальных блоков, подключаемых к вычислительным комплексам. Подобные функциональные расширители должны обеспечивать воспроизведение функциональных зависимостей, выполнение алгебраических и логических операций, возможность их автоматической перестройки путем занесения управляющих кодов из блока управления или памяти ЭВМ. Они должны допускать также использование их в качестве генераторов периодических колебаний специальной формы и устройств для решения простых уравнений алгебраического или трансцендентного вида. Применение ФР, построенных на основе цифровых и цифро-аналоговых схемных решений, обеспечивает получение требуемых метрологических характеристик и реализацию функций автоматической перестройки. В качестве примеров, иллюстрирующих возможности использования ФР рассматриваемого типа, можно указать вычислительные устройства для решения задач оптимизации режимов работы энергосистем С Л?] и моделирующие устройства для исследования силовых корабельных установок [ , .

При построении информационно-измерительных систем на базе микро- и мини-ЭВМ ФР рассматриваемого типа могут служить основой измерительных приборов с цифровым отсчетом. В частности они могут быть использованы в качестве источников эталонных напряжений в компенсационных схемах измерения. Применение таких ФР для создания измерительных приборов в инфранизкочастотной области [/??] позволяет формировать периодические сигналы разной формы в диапазоне частот 10 - 10 ^ гц, изменять начальную фазу за малые промежутки времени, производить автоматическую перестройку частот и обеспечивает получение стабильности частоты, соизмеримой со стабильностью кварцевого генератора.

Возможность построения устройств, сочетающих высокую стабильность частоты с ее управляемой дистанционной перестройкой, создает перспективы использования подобных ФР в качестве синтезаторов частот радиотехнических систем [^о] и в качестве генераторов несущей частоты систем длинноволновой связи.

Интересная и перспективная область применения ФР рассматриваемого типа возникает в связи с разработкой методов и устройств встроенного контроля постепенных отказов БИС электронной аппаратуры.

Анализ условий использования ФР, выполняемых ими функций и структурных решений, применяемых при их построении, позволил сформулировать основные отличия рассматриваемого класса устройств, которые заключаются в следующем:

1) совместное использование в схемах функциональных расширителей блоков, построенных на основе как гибкого или программного принципа, так и на основе жесткого или структурного принципа организации вычислительного процесса,

2) обработка величин, имеющих разную форму представления,

3) широкое применение нелинейных блоков (НБ), являющихся схемными аналогами подпрограмм, используемых при гибком способе организации вычислительного процесса [2?] .

Перечисленные особенности ФР приводят к тому, что известные методы построения цифровых устройств [¿У, ?<?, и методы построения устройств аналогового типа оказываются непосредственно неприменимыми для проектирования устройств рассматриваемого типа. Использование методов, применяемых для построения гибридных вычислительных систем [/¿",¿6] , также оказывается невозможным, поскольку ключевым вопросом создания таких систем является организация совместной работы вычислительных машин, работающих с разной формой представления информации.

Вопросы, близкие к построению ФР, рассматриваются в работах //5", посвященных структурному проектированию гибридных вычислительных устройств. Основой методик проектирования, приводимых в них, является разбиение процесса разработки вычислительного устройства на отдельные этапы. Методики имеют достаточно общий характер, основаны на интуитивных понятиях и не имеют алгоритмической основы, это затрудняет их использование.

Постоянное расширение сферы применения вычислительных уст. -1 • ■ ройств в промышленности и научных исследованиях определяет необходимость разработки новых типов функциональных расширителей. Это обстоятельство, а также требование сокращения сроков разработки ФР, обусловленное ускоряющимися темпами развития промышленности, выдвигают на передний план задачу автоматизации проектирования ФР. Необходимость исследования путей решения этой задачи для устройств рассматриваемого типа объясняется в первую очередь тем, что функциональные расширители представляют собой специализированные устройства, функции и структура которых должны определяться заново для каждого конкретного применения, поскольку они существенно зависят от решаемой задачи.

Успехи интегральной технологии и разработка отдельных узлов ВУ в виде БИС и микропроцессоров привели к тому, что "центр тяжести" задач проектирования переместился с вопросов расчета элементов на схемотехнические вопросы, решаемые на этапе структурного проектирования. Наряду с задачами структурного проектирования актуальными являются вопросы проектирования нелинейных блоков специализированного типа, связанные с выполнением большого объема вычислений. Методы автоматизации проектирования НБ существенно зависят от используемой элементной базы, поэтому в ра» - • • боте рассматривается один из перспективных классов НБ, использующих ре8исторно-переключательные схемы. Целесообразность исследования этого класса схем определяется следующими факторами:

- технологичностью подобных схем, которая определяется возможностью их построения на основе элементов, используемых в преобразователях формы представления информации;

- их высоким быстродействием, которое является следствием совмещения операций преобразования формы представления и функционального преобразования в компонентах резисторно-переключательного типа;

- широким частотным диапазоном таких схем, который простирается от инфранизких частот Ю"5 - Ю"5 гц до высоких частот Ю5-Юб гц;

- возможностью их быстрой и автоматической перестройки.

Следует подчеркнуть, что в схемах, построенных на основе ПЗУ и обладающих аналогичными техническими характеристиками, перестройка может быть осуществлена только на технологическом уровне.

Несмотря на актуальность выбранных 8адач в настоящее время работы, посвященные автоматизации структурного проектирования ФР и нелинейных блоков рассматриваемого типа, в научно-технической литературе практически отсутствуют, за исключением двух работ [9 в которых обсуждаются частные проблемы конкретных реализаций.

Учитывая отмеченные обстоятельства и существующее положение в области проектирования вычислительных устройств, в качестве предмета исследования в настоящей работе рассматриваются методы построения и автоматизации структурного проектирования функциональных расширителей выбранного типа. Эти методы могут быть использованы для структурного проектирования других классов ФР I с управляемыми звеньями: частотно-импульсных, время-импульсных и т.п., при соответствующей корректировке, учитывающей специфику сигналов.

Основные цели исследования этих методов заключаются в следующем. Во-первых, разработка ряда моделей вычислительных устройств, элементов и блоков, представляющих собой базу для построения системы автоматизации проектирования ФР. Во-вторых, обобщение существующих методов построения нелинейных блоков, реализуемых на основе резисторно-переключательных схем. В-третьих построение методов расчета и моделирования устройств рассматриваемого типа, ориентированных на реализацию с использованием ЭВМ.

Поставленные цели достигаются за счет решения следующих задач, определяющих основные научные результаты, полученные в диссертационной работе:

- построение формальной модели вычислительного устройства, отражающей его структурные особенности;

- разработка на базе построенной модели языка, ориентированного на проектирование ФР рассматриваемого типа;

- построение модели цифровых сигналов с линейным характером изменений уровней, а также структурной и алгоритмической моделей логического элемента, ориентированных на работу с такими сигналами;

- построение делителей напряжения обобщенного типа, использующих резисторно-переклгочательные схемы, и создание методов синтеза и расчета параметров таких делителей;

- разработка системы преобразований для резисторно-переключа-тельных схем и общего метода синтеза подобных схем;

- исследование и разработка способа построения подсистемы моделирования, допускающей исследование функциональных расширителей выбранного типа;

- построение аппроксимирующих зависимостей в случае участков аппроксимации равной длины и разработка на основе этих зависимостей методов построения схем кусочно-полиномиальных аппроксима-торов, использующих резисторно-переклгочательные схемы;

- разработка методов расчета схем кусочно-полиномиальных аппрок-симаторов рассматриваемого типа, ориентированных на программную реализацию. V

Практическая ценность работы определяется предложенными методами и алгоритмами расчета,а также методиками проектирования, которые были использованы в подсистеме автоматизации проектирования нелинейных блоков /"/¿г, т, и подсистеме моделирования , Ш , /М, /М % Л/6, построенных под руководством и при участии автора.

Исходя из полученных в работе научных и практических результатов, на защиту выносятся следующие вопросы:

1) схема процесса проектирования ФР рассматриваемого типа,

2) методы построения структурных и функциональных схем ФР, ориентированные на реализацию в САП,

3) организация и архитектура подсистемы моделирования, допускающей исследование устройств, работающих с разной формой представления информации,

4) модели сигналов с линейным изменением уровней и структурная модель логического элемента для сигналов такого типа,

5) формальная модель вычислительного устройства,

6) основные конструкции языка ПРУСТ, ориентированного на проектирование ФР рассматриваемого класса,

7) схемы обобщенных делителей, методы их синтеза и расчета параметров,

8) методы преобразования последовательно-параллельных сетей из двухполюсников и переключателей,

9) метод построения схем ступенчатых аппроксиматоров, использующих преобразователи кодов, учитывающий сложность реализации переключательных функций,

10) структурные схемы аппроксиматоров, моделирующих разложения Уолша и Хаара,

11) способ построения кусочно-полиномиальных аппроксиматоров, основанный на использовании предложенного представления аппроксимирующей зависимости в виде арифметических выражений с переключательными функциями.

Тема диссертационной работы тесно связана с планом хоздоговорных и госбюджетных научно-исследовательских работ ЛЭТЙ им. В.И,Ульянова (Ленина). Исследования проводились на кафедре Вычислительной техники в 1962 - 1981 годах по заказам ведущих на

- /5" учно-исследовательских организаций страны: ВНИИРА, ВНИЙРЭС НПО "Ленинец", НПО "Электроавтоматика", МНИИПС, ЛНЙРТЙ и некоторых других. Результаты, полученные при выполнении хоздоговорных работ были зарегистрированы в Государственном комитете по делам изобретений и открытий СССР (удостоверение о регистрации № 33278 от 29.12.62, № 27149'от 17.01.62, № 40181 от 19.09.63, № 35979 от 6.04.63, №. 34970 от 19.03.63, № 50606 от 09.11.65) и нашли отражение в отчетах по НИР (номера Государственной регистрации отчетов: 71051207, 71051208, 72043503, 74065789). Большинство НИР выполнялось согласно планам Координационного комитета по вычислительной технике АН СССР или в соответствии с целевыми комплексными программами, в частности с программой

Программа САПР" (приказ МБ и ССО РСФСР № 203 от 4.05.75 и МВ и ССО СССР № 535 от 2.05.81). Подсистема моделирования, разработанная под руководством и участии автора, внедрена в нескольких организациях: ВНИРА, НИИ "Атолл", ЛНИТЙ, ГСКТБ счетных машин, ОКБ ИКИ г.Фрунзе. Она включена также в отраслевую систему автоматизации проектирования МСМ ЕСАПИ-26 в качестве базового пакета моделирования. Предложенные методы и программы расчета нелинейных блоков были использованы в ВНИЙРЭС НПО "Ленинец" и ЛНИРТИ. Годовой экономический эффект использования результатов работы составляет в сумме около 300 тыс. рублей, что подтверждается актами внедрения.

- /е

Результаты работы программы "Вычислительп записываются на СЫЛ, выводятся на печать в виде таблиц и графика, а результаты анализа функции и данные, характеризующие функцию, заносятся в массив ЗУ .

Программы "Аппроксиматоры" предназначены для разбиения, отрезка на котором задана функция, на участки и построения на каждом участке аппроксимирующей зависимости. Исходными данными для этих программ являются следующие величины:

- относительная погрешность аппроксимации,

- массив значений функции, записанный на СМЛ,

- следующие значения системных переменных из массива £V : значение аргумента на границах заданного отревка; число точек аргумента, в которых задана функция; максимальное по модулю значение функции.

В результате работы этой группы программ формируются массивы б1 /I и А Р , в которые заносятся границы участков и коэффициенты аппроксимирующих зависимостей.

В подсистему входят программы, реализующие различные способы разбиения заданного отрезка на участки аппроксимации. Так, программы КЛА1 и ЕЕА1 выполняют построение аппроксимирующих полиномов при разбиении заданного отрезка на участки равной длины, пропорциональной степени числа два. Программы КЛА2 и ККА2 осуществляют деление заданного отрезка, на участки, длина которых кратна степени числа два. Программы КЛАЗ и ККАЗ выполняют раа-| биение на участки наибольшей длины, обеспечивающие приближение функции с заданной относительной погрешностью.

Испольгованный в программах КЛАЗ и ККАЗ алгоритм определения границ участков наибольшей длины при задании аргумента в виде двоичного кода имеет преимущества по сравнению с описанными в литературе [$Л] , поскольку он пригоден для аппроксимации любых кусочно-непрерывных функций и не требует гадания производных функции. При определении границ участков процесс сходится значительно быстрее, чем при использовании алгоритма, описанного в работе [/337 .

Построение квадратичного полинома на каждом участке в программах ККА1, ККА2, ККАЗ выполняется с помощью эвристического алгоритма построения полинома наилучшего приближения, опи-| санного в работе [/№]• Эффективность этого алгоритма подтвердилась при построении аппроксимирующих полиномов для широкого класса функций.

Программы, входящие в группу "Построители", предназначены для определения величин параметров всех типовых блоков и элементов, используемых для построения аналоговой части аппрокси-матора. В качестве примера программ этой группы рассмотрим внешнее описание программы расчета параметров схемы КЛА-1, изображенной на рис. / . Исходные данные этой программы можно разбить на две группы. Первая группа данных хранится на СЫЛ и включает следующие величины:

- системные переменные массива : максимальное значение функции (¿4ГШ), число разрядов кода аргумента (¿УЕ'/]) количество участков аппроксимации ']) ;

- зл?

-пассив АР коэффициентов аппроксимирующей зависимости;

- массив G И десятичных чисел, соответствующих границам участков аппроксимации.

Вторая группа данных задается пользователем и включает следующие величины:

- абсолютные значения номинальных напряжений эталонных источников Tforb Я Von ;

- максимальное выходное напряжение схемы VjgA/scтах ;

- выходные сопротивления ПКН1, ПКН2 и ПКНЗ ( , , Лз

- шаг изменения сопротивлений %J и (И)\

- число разрядов ПКН1 и ПКН2;

- граничные значения величин сопротивлений резисторов, которые могут быть использованы для построения схемы: [flnin., Rmax]%

Hoc/nifi 7 & ос тах\ ?

- величина выходного сопротивления 0У1.

Шаг изменения величин и R,я, необходимо задавать потому, что в программе предусмотрено автоматическое изменение этих величин с шагом Н в случае их выхода за пределы граничных значений.

В результате работы программы формируются следующие массивы переменных, которые в конце работы выводятся на печать и записываются на СМЛ;

- массив параметров Р , в который заносятся значения сопротивлений всех резисторов, используемых в схеме, значения напряжений эталонных источников и параметры типовых блоков;

- массив Р£) , в который записываются числа разрядов всех ПКН;

- массив А для запоминания десятичных эквивалентов двоичвгх кодов, соответствующих коэффициентам аппроксимации;

- дг/

- массив двоичных чисел СОЮ , элементы которого определяют прямым или обратным кодом приращения аргумента управляется ПКНЗ на каждом участке аппроксимации.

Число элементов массивов РФ и Р заносятся соответственно в 1б-ю и 17-ю строки массива ¿V , а в 18-ю строку этого массива записывается масштаб выходного напряжения схемы.

7.5. Построение схемы универсального КПА

Универсальными функциональными преобразователями принято называть устройства М, , допускающие настройку на воспроизведение некоторой зависимости из рассматриваемого класса, который определяется,как правило,характером аппроксимирующей функции. Такое толкование термина "универсальность" кажет| ся олишком узким, поскольку оно не отражает многих свойств нелинейных блоков, определяющих их области применения, целесообразность использования и возможность реализации. В общем случае схема НБ может обладать универсальностью по нескольким признакам: а) по виду воспроизводимой зависимости: она должна допускать настройку на заданную функцию; б) по виду аппроксимирующей зависимости: она должна допускать изменения вида аппроксимирующей зависимости; в) по способу настройки: она должна допускать как местную, так и дистанционную настройку с помощью засылки кодов, определяющих параметры как воспроизводимой, так и аппроксимирующей зависимостей; г)*по виду используемых элементов: схема должна быть построена из типовых элементов, применяемых в вычислительной технике. |

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

-3*9 ~

ЗАКЛКЛЕНИЕ .

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

Совокупность результатов, полученных в работе представляет новое научное направление, основной задачей которого является создание основ разработки САПР для вычислительных устройств и систем, включающих функциональные расширители гибридного типа. Работа в этом направлении проводилась в рамках научно-технической целевой комплексной программы "Программа САПР" МБ и ССО РСФСР и МБ и ССО СССР и в соответствии с проблемой Координационного комитета по вычислительной технике АН СССР, связанной с разработкой принципов создания вычислительных систем, включающих совместно-работающие высокопроизводительные ЭВМ и специализированные вычислительные устройства.

Основные научные результаты диссертационной работы заключаются в следующем:

1. Предложена формальная модель ВУ, отражающая блочный и иерархический характер построения таких устройств и наличие локального управления в отдельных блоках. Основное отличие этой модели от существующих моделей вычислений заключается в использовании вложенных описаний в сочетании с заданием управления в виде конечного автомата.

2. Разработан язык описания ФР, отличающийся от существующих языков тем, что он позволяет задавать структуру и функционирование ФР, работающих с разной формой представления величин и содержащих блоки с разной формой организации вычислительного процесса. Предложенный язык является расширением построенной формальной модели ВУ. Он обладает свойством реализуемости, предусматривает возможность совместного моделирования описаний разных уровней детализации и ориентирован на проектирование ФР.

3. Построена модель сигналов с линейным характером изменения уровней и структурно-алгоритмическая модель логического элемента, ориентированная на работу с такими сигналами. Предложенная модель в отличие от существующих моделей логических элементов отражает такие свойства реальных элементов, как пороги срабатывания по каждому входу и вносимые искажения сигнала.

4 . Предложен способ построения делителей напряжения обобщенного вида и разработаны методы синтеза и расчета параметров таких делителей. Делители этого вида в отличие от двоичных делителей, используемых в преобразователях формы представления информации , т] , допускают воспроизведение функциональных зависимостей.

5. Разработаны методы построения нелинейных блоков, использующих типовые элементы и обладающие свойством универсальности, а также методы расчета параметров таких блоков. Отличие описанных в работе методов от существующих состоит в том, что они используют неравномерный способ разбиения заданной области определения функции на участки аппроксимации, обеспечивающий достаточно простую схемную реализацию, и ориентированы на использование в САПР.

6. Предложены способы усовершенствования организации подсистем моделирования ФР на ЭВМ, позволившие построить подсистему, которая в отличие от аналогичных подсистем, описанных в литературе, допускает три уровня описания схем и позволяет выполнять исследование устройств, работающих с разной формой представления величин.

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

1. Сформулирована задача построения структурных схем ФР, работающих с разной формой представления величин.

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

3. Разработана методика внешнего проектирования подсистем моделирования, использующая алгебраическую модификацию морфологического метода.

4. Построена система алгебраических преобразований последовательно-параллельных сетей из двухполюсников и переключателей.

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

6. Сформулирована задача синтеза сетей из двухполюсников и переключателей и предложен способ ее решения.

7. Предложен аналитический способ описания аппроксимирующих зависимостей полиномиального типа, основанный на использовании арифметических выражений с коэффициентами в виде переключательных функций.

8. Разработаны алгоритмы построения аппроксимирующих зависимостей кусочно-полиномиального типа для кусочно-непрерывных функций и метода расчета параметров схем нелинейных блоков, построенных по этим зависимостям.

9. Построены зависимости, учитывающие влияние сопротивления входного источника на выходные параметры и позволяющие исследовать влияние погрешностей, обусловленных этим сопротивлением, в процессе имитации.

10. Разработаны методы синтеза ступенчатых аппроксиматоров, использующих переключательные функции, допускающие простую схемную реализацию.

11. Предложены методы построения схем ступенчатых аппроксиматоров с использованием рядов Уолша и Хаара.

12. Получены оценки сложности для схем ступенчатых аппроксиматоров различных типов.

13. Разработан способ построения универсальных нелинейных блоков из типовых элементов, допускающих настройку на воспроизведение требуемой функции с помощью засылки кодов и изменение степени аппроксимирующего полинома.

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

Результаты диссертационной работы были использованы в нескольких организациях. Годовой экономический эффект их использования составляет в сумме около 300 тыс.рублей, что подтверждается актами внедрения.

1. Абрайтис Л.Б., Шейнаденас Р.И., Живеличус В.А. Автоматизация проектирования ЭВМ. - М.: Советское радио, 1978. -272с.

2. Автоматизация проектирования вычислительных систем с использованием логических схем на твердом теле./Кейс П., Графф Л., Гриффит Л. и др. Кибернетический сборник. Новая серия, 1965, вып.I, с.162-190.

3. Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных. /Под редакц.М.Брейера. М.: Мир, 1979. - Шс.

4. Алексеев Г.И. Воспроизведение функций средствами цифро-аналоговой вычислительной техники. Минск.: Наука и техника, 1976. - 221с.

5. Анкудннов Г.И. Вопросы теории плекс-языков. Кибернетика, 1978, № 9, с.44-49.

6. Аналоговые и цифровые интегральные схемы. /С.В.Якубовский, Б.П.Барханов, Б.П.Кудрявцев и др. М.: Советское радио, 1979. - 336с.

7. Амбарцумян A.A., Девятков В.В. Язык формального описания управляемых механизмов (ФОРУМ). В кн.: Вопросы кибернетики. М., 1975, с.107-121.

8. Архитектура системы автоматизированного проектирования РЭА. /Орловский Г.В., Казенова И.Й., Квальвассер Ю.Г. и др. -Обмен опытом в радиопромышленности, 1975, №6, с.11-14.

9. Арховский В.Ф. Моделирование и оптимизация аналого-цифровых устройств. В кн.: Машинные методы проектирования электронных схем. М., 1975, с.35-46.

10. Атстонас Ф.Ф., Жинтелис Г.Б., Хомкис P.P. Входной языкдля автоматического структурного синтеза ЦВМ. В кн.: Вычислительная техника: Тез. докл. Республ. конф. Каунас, 1970, с.34-38.

11. Бадулин С.С., Барнаулов Ю.М., Бердышев В.А. Автоматизированное проектирование цифровых устройств. М.: Радио и связь, 1971. - 240с.

12. Баранов С.И., Марин A.B. Языки микропрограммирования. -Зарубежная радиоэлектроника, 1977, № 6, с.85-102.

13. Баррон Д. Рекурсивные методы в программщювании. -М.: Мир, 1974. 80с.

14. Батшцев Д.И. Поисковые методы оптимального проектирования. М.: Советское радио, 1975. - 216с.

15. Беки Дж., Карплюс У.Дж. Теория и применения гибридных вычислительных систем. М.: Мир, 1970. - 483с.

16. Белый Н.Г., Каурова Н.Ф. Экспериментальная техника и методы вибрационных испытаний конструкций летательных аппаратовпо материалам иностр. печати). М.: ЦАГИ, 1973. - 76с. «

17. Беляев В.Ф., Мясин 0*Ф., Новиков В.Ф. Принципы построения языка для описания и моделирования структурных алгоритмов и схем. Обмен опытом в радиопромышленности, 1975, вып.6, с.83-88.

18. Блинцов B.C. Разработка математического описания и алгоритма гибридного моделирования электрических сетей с переменной топологией. Труды НКИ, 1978, вып.139, с.19-27.

19. Блинцов B.C., Лиоовецкий Ю.Л. Разработка специализированного блока АВМ для моделирования систем с вентильными преобразователями. Труды Николаевского кораблестроит. ин-та, 1978, вып.139, с.71-74.

20. Богон В.П. Об одном методе структурного синтеза специализированных цифро-аналоговых вычислительных устройств. УС и М, 1973, № I, с.80-85.

21. Бохман Д. Булево дифференциальное исчисление (обзор).-Известия АН СССР. Техническая кибернетика, 1977, №5, с.125-133.

22. Браун П. Макропроцессоры и мобильность программного обеспечения. М.: Мир, 1977. - 253с.

23. Бусленко Н.П. Моделирование сложных систем. М.: Наука, 1978. - 400с.

24. Быховский М.Л. Основы динамической точности электрических и механических цепей. М.: АН СССР, 1958. - 155с.

25. Вавилов A.A., Сергеев Э.В., Солодовников А.И. Вычислительные устройства для экспериментального исследования непрерывных и дискретных САЦ. В кн.: Аналоговая и аналого-цифровая вычислительная техника. М., 1968, вып.2, с.39-55.

26. Вавилов A.A., Солодовников А.И. Экспериментальное определение частотных характеристик автоматических систем. М.: Госэнергоиздат., 1963. - 252с.

27. Ванин В.К., Гольденберг Ф.Д. Некоторые вопросы выбора функциональных преобразователей вычислительных устройств для оптимизации режимов энергосистем. Изв. вузов. Электромеханика, 1973, Ш I. с.42-47.

28. Вейцман И.Н. Моделирование логических схем. В кн.: Теория и применение математических машин. Минск, 1972, с.100 -108.

29. Вилнас Э.И., Майминас Е.З. К проблеме сложных решений (постановка и подходы). Кибернетика, 1968, № 5, с.68-73.

30. Витенберг И.М. Программирование аналоговых вычислительных машин. М.; Машиностроение, 1972. - 408с.

31. Витенберг И.М., Танкелевич Р.Л. Алгоритмическое использование аналоговых машин. М.: Энергия, 1976. - 376с.

32. Волкович В.Л. Методы принятия решений по множеству критериев оптимальности (обзор). В кн.: Сложные системы управления. Киев, 1968, вып.1, с.100-112.

33. Вопросы проектирования преобразователей формы информации. /А.И.Кондалев, А.И.Никитин, В.А.Багацкий и др. Киев.: Наукова думка, 1977. - 242с.

34. Вычислительные машины с развитыми системами интерпретации. /В.М.Глушков, А.А.Барабанов, Л.А.Колитиченко и др. Киев.: Наукова думка, 1970. - 440с.

35. Вычислительная техника для управления производственными процессами: Справочник. М.: Энергия, 1971. - 480с.

36. Гаврилов H.A., Девятков В,В., Пупырев Б.И. Логическое проектирование дискретных автоматов. М.: Наука, 1977. - 351с.

37. Гибридные аппаратные подпрограммы./ Килда Б.Ю., Петра-ускас В.А,, Шураненс М.П. и др. УС и М, 1980, №3, с,46-50.

38. Гинзбург С.А., Любарский Ю.Я. Функциональные преобразователи с аналого-цифровым представлением информации. Ы.: Энергия, 1973. - 105с.

39. Гинзбург С.А., Любарский Ю.Я. Гибридный функциональный преобразователь. Автоматика и телемеханика, 1966, №8, с.131 -138.

40. Гитис З.И. Преобразователи информации для электронных цифровых вычислительных устройств. М.: Энергия, 1975. -447с.

41. Глушков В.М. О системной оптимизации. Кибернетика, 1980, №5, с.89-90.

42. Глушков В.М, Синтез цифровых автоматов.- М.: Физматгиз, 1962. 476с.

43. Глушков В.М. Теория автоматов и вопросы проектирования структур цифровых машин. Кибернетика, №1,1965, с.З-П.

44. Глушков В.М., Капитонова Ю.В., Летичевский А,А. Автоматизация проектирования вычислительных машин, Киев.: Наукова думка, 1971. - 231с.

45. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975. - 344с.

46. Гришин B.C., Мазуров В.В., Фомичев B.C. Имитация работы логических схем с учетом линейного характера изменения сигналов. В кн.: Моделирование дискретных управляющих и вычислительных систем: Тез.докл. Ш Всесоюзн. семинара. Свердловск,1981, с. 121 123.

47. Гришин B.C., Фомичев B.C. Об одном способе описания входных сигналов для устройства дискретной автоматики. Л.,1982. 18с. - Рукопись представлена ЛЭТИ. Деп. в ЦНИИТЭИ приборостроения 14 сент. 198I, №1622-81.

48. Гришин B.C., Фомичев В.С, Модели сигналов и элементов для анализа работы логических схем при затянутых фронтах сигналов. Л., 1981. - 46с. - Рукопись представлена ЛЭТИ. Деп. в ЦНИИТЭИ приборостроения 19 мая 198I, №1546-81.

49. Гросс М., Лантен А. Теория формальных грамматик. -М.: Мир, 1971. 294с.

50. Губернаторов О.И., Соколов Ю.И. Цифровые синтезаторы частот радиотехнических систем. М.: Энергия, 1973.- 175с.

51. Гурвич Е,И., Енгалычев A.M. Язык моделирования дискретных систем МОДИС В76. - В кн.: Моделирование дискретных и вычислительных устройств. Свердловск, 1976, с.9-12.

52. Гурвич Е.И., Козлин Л,Е. Ранжирование модели при логическом моделировании цифровых автоматов. В кн.: Автоматизация проектирования РЭА. М., 1973, с.151-158,

53. Гусев В,В, Языки моделирования и некоторые тенденцииих развития. Киев, 1972. - 32с. (Препринт/ Ин-т. киберн.АН УСССР: 72-34).

54. Гуткин JI.C. Оптимизация радиоэлектронных устройств. -М.: Советское радио, 1975. 367с.

55. Дал У.И. Языки для моделирования систем с дискретными событиями. В кн.: Языки программирования. М., 1972, с.344-403.

56. Дал У.И., Нигард К. СШУДА язык для программирования и описания систем с дискретными событиями. - В кн.: Алгоритмы и алгоритмические языки. М., 1967, Вып.2, с,1-72.

57. Дворянкин A.M., Половинкин А.И., Соболев А.И. Методы синтеза технических решений. М.: Наука, 1977.- 103с.

58. Декодирующий преобразователь "угол-число" с промежуточным преобразованием. /Смирнов Н.А., Смолов В.Б., Фомичев B.C. и др. Известия ВУЗ. Электромеханика, 1963, №5, с.597-604.

59. Деннис Д.Б., Фоссин Д.Б., Линдеман Д.П. Схемы потока данных. В кн.: Теория программирования. Новосибирск, 1972, ч.2, с.7-43.

60. Диксон Д. Проектирование систем. М.: Мир, 1969. - 440с.

61. Дмитриев Г.К., Михайлов Е.В. Функциональный аналого-цифровой преобразователь для линеаризации характеристик датчиков. -Приборы и системы управления, 1968, №4, с.19-21.

62. Дотодров В.Б., Кабанов В.В., Фомичев Б.Е. Аппаратура для контроля и измерения параметров материалов на переменном токе.

63. В кн.: Опыт повышения качества изделий в радиоэлектронной промышленности. Л., 1977, с.26-29.

64. Кинтелис Г.Б., Селюцкис В.И. Некоторые особенности автоматизированного структурного синтеза комбинационных схем ЦВМ. -В кн.: Вопросы синтеза логики ЦВМ. Вильнюс, 1974, чЛ, с.ПЗ-125.

65. Закревский А.Д., Торопов Н.Р. Система программирования

66. ЛЯПАС-М. Минск.: Наука и техника, 1978. - 239с.

67. Затуливетер Ю.С. Медведев И.Л. Система динамического моделирования логических схем. В кн.: Управление техническими и организационными системами с применением вычислительной техники. М., 1979, с.56-62.

68. Иванов В.И. Исследование некоторых способов построения быстродействующих цифровых функциональных преобразователей. Дис. . канд.тех.наук. Л., 1972.- 197 с.

69. Иванов В. И., Фомичев B.C. Построение логических схем для системы переключательных функций с помощью ЦВМ. Известия ЛЭТИ, 1971, вып.93, ч.2, с.43-47.

70. Иванов В.И,, Фомичев B.C. Построение логических схем на ЦВМ с учетом особенностей реальных элементов. В кн.: Проектирование цифровых вычислительных машин. Л., 1974, вып.З,с.75-83.

71. Иванов В.И., Фомичев B.C. Функциональные преобразователи кодов, использующие линейные функции аргумента. В кн.: Сборник научных трудов ЛЭТИ. Л,- Новгород, 21973, вып.1, ч.1, с.69-74.

72. Иванов В.И., Фомичев B.C. Цифровой функциональный преобразователь. A.C. 46396Х (СССР) Опубл. в Б.И. 1976, № 10.

73. Ильяшенко Е.И., Рузанов В.Ф. Ассоциативные запоминающие устройства на магнитных элементах. М.: Энергия, 1975.-128с.

74. Исьянов В.М. О логических схемах алгоритмов второго рода. В кн.: Синтез дискретных автоматов и управляющих устройств. М., 1968, с.26-33.

75. Ицкович ЭЛ., Трахтетерц Э.А. Алгоритмы централизованного контроля и управления производством. М.: Энергия, 1967.351c.

76. Ицкович Э.Л. Методика разработки систей централизованного контроля производства (обзор). Приборы и системы управления, 1971, №5, с.1-4.

77. Калужин Л.А. Об алгоритмизации математических задач.-В кн.: Проблемы кибернетики. М., 1959, вып.2, с.51-67.

78. Каляев A.B. Теория цифровых интегрирующих машин и структур. М.: Советское радио, 1970. - 472 с.

79. Карп P.M., Миллер P.E. Параллельные схемы программ.-В кн.: Кибернетический сборник. M., 1976, №13, с.5-61.

80. Карцев М.А. Архитектура цифровых вычислительных машин. М.: Наука, 1978. - 295с.

81. Каталог арифметических устройств ЦВМ / А.Г.Шигин, Г.А. Потемкин, Г.Л.Кемельмахер и др.: В кн.: Материалы П-й конференции молодых ученых и специалистов по проблемам кибернетики: Тез. докл. Всесоюзн. конф. Л., 1971, с.37-38.

82. Кагмат С., Штейнгауз Г. Теория ортогональных рядов. -М.: ГЙФМЛ, 1958. 508с.

83. Кирпичников В.М., Проскурин Г.М. Аналитический метод определения нелинейных параметров в гибридных схемах. Труды Уральского политехнического ин-та, 1973, вып.209, с.80-87.

84. Кислицын С.Г., Литвин Ф.Л. К расчету функционально-шунтированных потенциометров при чебышевском приближении. Автоматика и телемеханика, 1959, т.20, tell, с.1515-1524.

85. Классификатор комбинированных вычислительных устройствс дискретно-управляемыми параметрами (КВУ-ДП): Учебное пособие./

86. Под ред. К.А.Сапожкова, Н.П.Сергеева. Пенза.: 1971.- 326с.

87. Классификатор комбинированных вычислительных устройств с дискретно-управляемыми параметрами (КВУ-ДП): Учебное пособие

88. Под ред. К.А.Сапоякова, Н.П.Сергеева- Пеяза.: 1972. 178с.

89. Коган Б.Я. Электронные моделирующие устройства и их применение для исследования систем автоматического регулирования. М.I Физматгиз, 1963. - 510с.

90. Коган Б.Я. Моделирование с помощью вычислительных машин и гибридных вычислительных систем. В кн.: Вопросы кибернетики. М., 1978, вып.46, с.5-20.

91. Коган Л.М., Семко Ю.И. Выбор способа функционального преобразования сигналов датчиков при разработке управляющей вычислительной системы. Приборы и системы управления, 1971, №5, с.10-13.

92. Колесник Е.Н., Ковалин Я.В. Математическая модель логической среды. В кн.: Моделирование дискретных устройств. Свердловск, 1976, с.67-71.

93. Колесник А.П., Немолочнов О.Ф., Шипилов П.А. Принципы построения универсального входного языка для моделирования логических схем на ЦВМ. В кн.: Автоматизация и алгоритмизация проектирования цифровых устройств и систем. Л., 1971, ч.1, с.28-33.

94. Колесник А.П., Немолочнов О.Ф., Шипилов П.А. Описание структуры и порядка функционирования цифровых устройств с помощью языка спискового типа. В кн.: Вычислительная техника. Пенза, 1973, вып.1, с.5-16.

95. Кондалев А.И. Системные преобразователи формы информации. Киев.: Наукова думка, 1974. -330с.

96. Котов В.Е. Введение в теорию схем программ. Новосибирск. : Наука, 1978. - 258с.

97. Котов В.Е. Формальные модели параллельных вычислений. -Новосибирск, 1979. 56с. (Препринт /СО АН СССР: 165).

98. Кохов В.Е., Нариньяни A.C. Асинхронные вычислительные процессы над памятью. Кибернетика, 1966, №3, с.64-71.

99. Кохонен Т. Ассоциативная память. М.: Мир, 1980.238с.

100. Лавров С.С., Силагадзе Г.С. Автоматическая обработка данных. Язык ЛИСП и его реализация. М.: Наука, 1978. - 176с.

101. Ландау И.Я. Применение ЦВМ для проектирования ЦВМ. -М.: Энергия, 1974. 152с.

102. Ландау И.Я., Погосянц Т.М. Язык для формального описания логических схем ФОРОС. - В кн: Автоматизация проектирования ЦВМ: Труды ИНЭУМ. М,, 1970. вып.10, с.3-27.

103. Ларичев О.И. Человеко-машинные процедуры принятия решений (обзор). Автоматика и телемеханика, 1971, №12, с.1304142.

104. Левин В.И. Переходные процессы в комбинационных схемах при затянутых фронтах сигналов. Известия АН СССР. Техническая кибернетика, 1975, )fe2, с.118-127.

105. Левоневский Ф.Д. , Шендерович Ю.И. Описание логических схем в системе машинного проектирования. УС и М, 1975, №6, C.II6-II9.

106. Люстерник Л.А., Червоненкис O.A., Янпольский А.Р. Математический анализ. М.: Физматгиз, 1963. - 427с.

107. Мазный Г.Л. Программирование на БЭСМ в системе "Дубна". М.; Наука, 1978. 270с.

108. Мазурек В.В., Фомичев B.C. Построение программ вычисления значений логических элементов для моделирующих систем. В кн.: Сборник научных трудов ЛЭТИ. Л.-Новгород, 1973, вып.1, ч.1, с.52-59.

109. Мазурек В.В., Фомичев B.C. Программы для построениякратчайших дизъюнктивных нормальных форм переключательных функций. В кн.: Проектирование цифровых вычислительных машин. Л., 1974, вып.З, с.67-75.

110. Майоров С.А., Новиков Г.Н. Структура электронных вычислительных машин. Л.: Машиностроение, 1979. - 384с.

111. Мальцев А.И. Алгебраические системы. М.: Наука, 1970. - 392с.

112. Мангейм М.Л. Иерархические структуры. М.: Мир, 1970.- 180с.

113. Математический анализ. /В.Л.Данилов, А.Н.Иванов, Е.К. Исакова и др. М.: Физматгиз, 1961. - 439с.

114. ПО. Математическое обеспечение ЦВМ: Учебное пособие. / Опалева Э.А., Разумовский Г.В., Фомичев B.C. и др. Л.: ЛЭТИ, 1979. - 59с.

115. Марковиц Г., Хауенер Б., Kapp Г. СИМСКРИПТ. Алгоритмический язык для моделирования. М.: Советское радио, 1966. -152с.

116. Микишев Г.Н., Рабинович Б.И. Динамика твердого телас полостями, частично заполненными жидкостью. М.: Наука, 1968.- 532с.

117. Микроэлектронные цифро-аналоговые и аналого-цифровые преобразователи информации /В.Б.Смолов, Е.П.Угрюмов, В,С.Фомичев и др. Л.: Энергия, 1976. - 336с.

118. Миллер P.E. Теория переключательных схем. Т. 1-2. М.: Наука, 1970, т.1 - 416с. ; т.2 - 304с.

119. Миллерова М.Г. Об одном расширении языка ЛСА. В кн.: Автоматы и управление сетями связи. М., 1971, с.136-141.

120. Миллерова М.Г. О временном анализе асинхронной логической сети. Автоматика и телемеханика, 1973, №6, с.162-165.

121. Миллерова М.Г. Преобразование структуры и временной анализ асинхронного автомата. Известия АН СССР. Техническая кибернетика, 1975, №2, с.128-134.

122. Мильнер А.Д., Шевченко Т,А. Моделирование цифровых устройств в автоматизированной системе технического проектирования. В кн.: Вопросы синтеза логики ЦВМ. Вильнюс, 1974, чЛ, с.49-55.

123. Многоканальный кодирующий преобразователь "амплитуда напряжения переменного тока код" с объединенным опросом датчиков. /Смирнов H.A., Смолов В.Б., Фомичев B.C. и др. - Вопросы радиоэлектроники. Общетехн., 1963, №28, с.44-55.

124. Многоканальный кодирующий преобразователь "амплитуда напряжения переменного тока код" с объединенным опросом датчиков. /Смирнов H.A., Смолов В.Б., Фомичев B.C. и др. - Вопросы радиоэлектроники. Общетехн., 1963, №28, с.44-55.

125. Моделирующие математические машины с переменной структурой. /Под ред. Пухова Г.Е. . Киев.: Наукова думка, 1970. -248с. .

126. Моисеев H.H. Неформальные процедуры в автоматизации проектирования. М.: Знание, 1979. - 64с.

127. Москалев З.С. , Новосельцев Л. Я. Цифровой функциональный преобразователь, выполненный по схеме дешифратор шифратор. - Изв. вузов. Приборостроение, 1966, т.9, №6, с.88-93.

128. Мухопад Ю.Ф. Методика структурного проектирования специализированных вычислительных устройств. В кн.: Вычислительные системы. Новосибирск, 1971, вып.46, с.149-153.

129. Мухопад Ю.Ф. Методика структурного проектирования специализированных вычислительных устройств. В кн.: Вычислительная техника. Л., 1972, вып.2, с.104-112.

130. Надежность кодирующего преобразователя. /Смирнов H.A., Смолов В.Б., Фомичев B.C. и др. Л.: ЛДНТП, 1964. - 16с.

131. Наумов H.A. Некоторые вопросы структурного проектирования. М., 1980, - 30с. (Препринт/ Ин-т прикладн. математ.1. АН СССР: 63).

132. Наумов H.A. Структурное проектирование. (Грамматический аспект). М., 1979. - 30с. (Препринт/ Йн-т прикладн. мате-мат. АН СССР: 142).

133. Нетребенко H.A. Цифровые делители напряжения. М.: Энергия, 1970. - 224с.

134. Нетушил A.B. Алгебра временных последовательностей. -Известия ВУЗов. Электромеханика, 1967, №3, с.239-248.

135. Никитин А.И., Окунев С.И. О формализации описания структуры и функционирования комплексов вычислительных средств.-УС и М, 1977, №2, с.49-55.

136. Об одной возможности построения цифро-аналоговых функциональных преобразователей. Коршевер И.И., Смолов В.В., Фомичев B.C. и др. - Автометрия, 1966, № 2, с.90-98.

137. Огородов Ю.В. Алгоритмы подготовки функциональных преобразователей. В кн.: Автоматизация программирования средств АВТ. М., 197I, с.158-165.

138. Одрин В.М., Картавов С.С. Некоторые итоги и перспективы развития морфологического анализа систем. Киев, 1973. -83с. (Препринт/ Ин-т киберн. АН УСССР: 73-62).

139. Опалева Э.А., Фомичев B.C. Комплекс программ для автоматизации проектирования функциональных преобразователей.

140. В кн.: Проблемы создания преобразователей формы информации: Тез. докл. Всесоюзн. кояф. Киев, 1973, с.465-469.

141. Опалева Э.А., Фомичев B.C. Программное обеспечение

142. ЭВМ: Учебное пособие. Л.: ЛЭТИ, 1979. - 79с.

143. Организация системы логического моделирования. /Фомичев B.C., Мавурек В.В., Папков В.И. и др. Известия ЛЭТИ, 1976, вып.187, с.61-68.

144. Основы проектирования управляющих машин промышленного назначения./ Б.Н.Малиновский, И.А.Янович, В.М.Египко и др.

145. М.: Машиностроение, 1969. 344с.

146. Основы теории подобия и моделирования: Терминология. -М.: Наука, 1973, вып.88.- 23с.

147. Палл И.В., Фомичев B.C. Организация внутренней памяти специализированного процессора для обработки данных структурированного типа. Изв. Академии Наук Эстонской ССР, 1982, т.31, сер. Физика и Математика, № I, с.11-16.

148. Палл И.В., Фомичев B.C. Модель процессора для работы с многосвязными цепными списками. Л., 1981. - 39с. - Рукопись представлена ЛЭТИ. Деп. в ЦНИИТЭИ приборостроения 14 сент. 1981, № 1638-81.

149. Петренко А.И., Цурин О.Ф., Киселев Г.Д. Организация подсистемы анализа функционально-логических схем. УС и М, 1977, №6, с.93-95.

150. Пийль Е.И. Особенности синтеза ЦВУ при наличии параллельных участков в алгоритме. В кн.: Синтез автоматов и управление на сетях связи. М., 1973, с.5-14.

151. Опалева Э.А. Некоторые вопросы построения и автомати

152. Подсистема моделирования логических схем для ЭВМ БЭСМ -6. / Фомичев B.C., Мазурек В.В,, Папков В.И. и др. Обмен опытом в радиопромышленности, 1975, № 6, с.56-60,

153. Полляк Ю.Г. Общие принципы и эвристические приемы построения моделей для исследования проектируемых систем. В кн.: Вопросы кибернетики и вычислительной математики. Проблемы статистической оптимизации. Ташкент, 1969, вып.28, с.3-12.

154. Полляк Ю.Г. Классификация моделей и обобщение практических приемов моделирования. В кн.: Проблемы исследования систем и структур: Материалы У Конференции АН СССР. М., 1965, с.83-88.

155. Полупроводниковые кодирующие и декодирующие преобразователи. / В.Б.Смолов, А.Н.Смирнов, В.С.Фомичев и др. Л.: Энергия, 1967. - 312с.

156. Полупроводниковый декодирующий преобразователь. /Смолов В.Б., Чернявский Е.А., Фомичев B.C. и др. Измерительная техника, 1962, -№5, с.29-32.

157. Поляк Б.Т., Шрейдер Ю.А. Применение полиномов Уолшав приближенных вычислениях. В кн.: Вопросы теории математических машин. М.-Л., 1962, вып.2, с.174-190.

158. Поляков А.К. Системы моделирования логических схем. В кн.: Цифровая вычислительная техника и программирование. М., 1974, вып.8, с.162-171.

159. Поляков А.К. , Горбатенко Д.Д. Язык моделирования цифровой аппаратуры МПЛ-1. В кн.: Автоматизация проектирования: Труды МЭИ. М., 1975. вып. 216, с.29-36.

160. Поляков А.К., Горбатенко Д.Д., Ляшко М.М. База языка моделирования МПЛ-1. В кн.; Автоматизированные системы проектирования. М., 1975, с.73-78.

161. Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1974. - 368с.

162. Поспелов Д.А. Введение в теорию вычислительных систем. К,: Советское радио, 1972. - 280с.

163. Преобразование информации в аналого-цифровых вычислительных устройствах и системах. /Г.М.Петров, А.П.Лосев, Г.В.Москаленко и др. М.: Машиностроение, 1973. - 360с.

164. Прецизионный преобразователь "напряжение-код" /Фоми-чев B.C., Грушвицкий Р.И., Смирнов H.A. и др. A.C. I7II82

165. СССР) Опубл. в Б.И. 1965, fe 10. »

166. Применение вычислительных машин для проект!фования цифровых устройств. /Под ред.Матюхина H.H. М.: Сов. радио, 1968. - 256с.

167. Программные средства моделирования непрерывно-дискретных систем. / Глушков В.М., Гусев В.В., Марьянович Т.П. и др. Киев.: Наукова думка, 1975. - 150с.

168. Пухов Г.Б. Методы анализа и синтеза квазианалоговых электронных цепей. Киев.: Наукова думка, 1967. - 567с.

169. Рабинович З.Л. Векторно-временные переключательные функции как язык для описания схем и процессов переработки информации. Кибернетика, 1968, №3, с.36-42.

170. Разработка преобразователя напряжения в код и функционального преобразователя кода в напряжение: Отчет НЙС ЛЭТИ. Per. fe 7I05I207. - Л., 1971, ч.1. - 227с.

171. Разработка принципов организации математического обеспечения САПР применительно к ВС ЭВМ: Отчет НИС ЛЭТИ. Рег.№ 74065789.-Л., 1979. 134с.

172. Разработка системы моделирования цифровых схем, построенных из потенциальных элементов: Отчет НИС ЛЭТИ. Per ft- Jff- .7I05I208. Л., 1971. - I24c.

173. Разумовский Г.В», Самойленко В.П., Фомичев B.C. Методические указания к курсовой работе по курсу "Арифметические и логические основы вычислительной техники". Л.: ЛЭТИ, 1977, вып.2. - 30с.

174. Разумовский Г.В., Савченко Т.Г., Фомичев B.C. Язык описания структуры данных. Известия ЛЭТИ, 1978, вып.231, с. 4753.

175. Рочинский В.Н. Основы дискретной автоматики. М.: Связь, 1975. - 432с.

176. Секлюцкис В.Ю. Построение и исследование каталога функциональных узлов и его применение для автоматизированного синтеза операционных устройств ЦВМ.: Автореф. Лис.канд. техн. наук. Каунас, 1976. - 26с.

177. Секлюцкис В.Ю. Некоторые воцросы построения систем автоматизированного проектирования, использующих принцип каталога.-Вычислительная техника, Вильнюс, 1978, т.XI, с.91-94.

178. Селютин В.А. Машинное конструирование электронных устройств. М.: Советское радио, 1977. - 384с.

179. Семко Ю.И., Солодов Ю.С., Левин М.И. Функциональный аналого-цифровой преобразователь для датчиков переменного тока систем обегающего контроля. Измерительная техника, 1961, №11, с.35-39.

180. Сенченко Н.И., Терещенко Ю.И., Якушев А.П. Применение одного класса языков для описания я преобразования отруктурных схем гибридных вычислительных систем. Электронное моделирование, 1980, № 3, с.20-24.

181. Система моделирования логических схем, ориентированная на использование ЦВМ БЭСМ-6: Отчет НИС ЛЭТИ. Рег.№ 72043503.

182. Л., 1974, чЛ. 90с. ; ч.2. - 200с. ; ч.З. - 152с.

183. СЛЭНГ система программирования для моделирования дискретных систем /В.М.Глушков, Л.А.Колесниченко, Т.П.Марьяно-вич и др. - Киев.: ИКАН УССР, 1969. - 413с.

184. Смеляков В.В. Цифровая измерительная аппаратура инф-ранизких частот. М.: Энергия, 1975. - 167с.

185. Смыслов В.И. Об экспериментальных способах исследования колебаний летательных аппаратов. Труды ЦАГИ, 1970, вып. 1217, с.3-62.

186. Смолов В#Б. Функциональные преобразователи информации. Л.: Энергоиздат, 1981. - 248с.

187. Смолов В.Б. Аналоговые вычислительные машины. -М.: Высшая школа, 1972. 408с.

188. Смолов В.Е. Вычислительные преобразователи с цифровыми управляемыми сопротивлениями. М.: Госэнергоиздат, 1961. -135с.

189. Смолов В.Б. Квадратичный активный декодирующий преобразователь "код-напряжение". A.C. 186206 (СССР) Опубл. в Б.й.1966, № 18.

190. Смолов В.Б. Гибридный кусочно-квадратичный функциональный преобразователь. Приборы и системы управления, 1967, №б, с.1-3.

191. Смолов В.Б. Электронные декодщ>ующие и кодирующие функциональные преобразователи. Автоматика и телемеханика,1961, т.22, №2, с.209-215.

192. Смолов В.Б. Универсальные кодирующие преобразователи для автоматических измерительных систем. Измерительная техника, 1961, № II, с.30-35.

193. Смолов В.В., Опалева Э.А., Фомичев B.C. Логарифмический цифро-аналоговый преобразователь, использующий принцип ККА.-Известия ЛЭТИ, 1974, вып.129, с.66-73.

194. Смолов В.Б., Опалева Э.А., Фомичев B.C. Об одном методе построения кусочно-линейных преобразователей кода в напряжение. Автометрия, 1974, №5, с.80-88.

195. Смолов В.Б., Смирнов H.A., Фомичев B.C. Мостовые электронные цифро-аналоговые функциональные преобразователи. Автоматика и телемеханика, 1962, №6, с.802-817.

196. Смолов В.Б., Фомичев B.C. Аналого-цифровые и цифро-аналоговые нелинейные вычислительные устройства. Л.: Энергия, 1974. - 264с.

197. Смолов В.Б., Фомичев B.C. Принципы построения трансформаторных преобразователей кода в напряжение. В кн.: Сборник статей Рязанского радиотехнического ин-та. 1972, с.78-85.

198. Смолов В.Б., Чернявский Е.А. Гибридные вычислительные устройства с дискретно-управляемыми параметрами. Л.: Машиностроение, 1977. - 296с.

199. Смолов В.Б., Чернявский Е.А. Комбинированные вычислительные устройства: Учебное пособие. Л.: ЛЭТИ, 1968, чЛ. -143с.

200. Собкин Б.Л. Библиотека математических моделей основных узлов ПНК. В кн.: Современные методы разработки РЭА. М., 1974, с.79-82.

201. Соренков Э.И., Телига А,И., Шаталов A.C. Точность вычислительных устройств и алгоритмов. М.: Машиностроение, 1976. - 200с.

202. Соучек Б. Микропроцессоры и микро-ЭВМ. М.: Советское радио, 1979. - 517с.

203. Сыпчук П.П., Суепинский Ю.Е. Алгоритмический язык СОЛ и моделирование сложных систем: Материалы семинара. /Институт электронных управляющих машин. М.: ИЭУМ, 1969, вып.З. - 105с.

204. Теория и методы автоматизации проектирования вычислительных систем. / Под ред. М.Брейера. М.: Мир, 1977. - 283с.

205. Трансформаторный декодирующий преобразователь переменного тока. / Фомичев B.C., Смолов В.Б., Смирнов H.A. и др.

206. A.C. 165587 (СССР) Опубл. в Б.И. 1964, № 19.4 . ^ . .

207. Трахтенберг B.C. Некоторые проблемы, связанные с решением экстремальных задач оптимального проектщювания поисковыми методами. В кн.: Автоматика и вычислительная техника. Рига, 1965, вып.10, с.27-32.

208. Универсальный аналого-цифровой преобразователь для постоянного и переменного тока. /Смирнов H.A., Смолов В.Б., Фомичев B.C. и др. В кн.: Цифровая электроизмерительная техника. М., 1964, вып.IX, с.57-65.

209. Универсальный кодирующий преобразователь "напряжение-число" для управляющих систем постоянного и переменного тока. /Смирнов H.A., Смолов В.Б., Фомичев B.C. и др. Известия ВУЗ. Приборостроение, 1963, № 4, с.54-62.

210. Универсальные электронные преобразователи информации. /В.Б.Смолов, Е.А.Чернявский, Т.И.Полянская и др. Л.: Машиностроение, 1971. - ЗНс.

211. Ушаков В.Б., Петров Г.М., Казенков Г.Г. Перспективы развития средств АВТ третьего поколения. В кн.: Аналоговая ианалогово-цифровая вычислительная техника. М., 1973, вып.5, с.3-19.

212. Фомичев B.C. Некоторые вопросы синтеза схем функциональных декодирующих преобразователей. Дис. . канд.тех.наук. -Л., 1966. 191с.

213. Фомичев B.C. Применение функций Хаара для построения преобразователей кода в напряжение. Известия ЛЭТИ им.В.И.Ульянова /Ленина/, 1971, вып.93, ч.2, с.7-11.

214. Функциональные преобразователи кода в напряжение на основе преобразователя кодов. / Иванов В.И., Смолов В.В., Фомичев B.C. и др. Известия ЛЭТИ, 1971, вып.93, ч.2, с.3-6.

215. Фомичев B.C., Туманян А.К. Об одном способе построения микропрограммных автоматов на сдвигающих регистрах. В кн.: Сборник научных трудов ЛЭТИ, Л.-Новгород, 1973, вып.1, ч.1,с.38-45.

216. Фомичев B.C. Об одном способе построения цифровых функциональных преобразователей. В кн.: Автоматические устройства учета и контроля. Ижевск, 1973, вып.УП, с.160-166.

217. Фомичев B.C., Смолов В.В., Опалева Э.А. Квадратичный преобразователь кода в напряжение. A.C. 367543 (СССР) Опубл. в Б.И. 1973, Ш 8.

218. Фомичев B.C. Об одном способе построения цифровых функциональных генераторов. В кн.: Вычислительная техника. Рязань, 1973, вып.1, с.121-126.

219. Фомичев B.C. Математическое обеспечение ЦВМ: Конспект лекций. Л.: ЛЭТИ, 1973, вып.1. - 39с. ; 1973, вып.2. - 51с.

220. Фомичев B.C. Арифметические и логические основы вычислительной техники: Конспект лекций. Л.: ЛЭТИ, 1973, вып.1 -35с.; 1974, вып.2 - 37с.; 1975, вып.З - 33с.; 1975, вып.4 - 43с.

221. Фомичев B.C. Алгоритмические языки и программирование: Введение в АЛГ0Л-60. Л.: ЛЭТИ, 1976. - 92с.

222. Фомичев B.C., Опалева Э.А. О способах построения программы моделирования на ЦВМ. В кн.: Вопросы кибернетики. М., 1976, вып.И, с.48-52.

223. Фомичев B.C., Савченко Т.Г. Имитация работы схем, заданных в виде переключательных функций, в системе моделирования. Известия ЛЭТИ, 1977, вып.217, с.34-43.

224. Фомичев B.C., Мазурек В.В. Алгоритмические блоки в системе логического моделирования. Известия ЛЭТИ, Л., 1979, вып.235, с.50-58.

225. Фомичев B.C. Автоматизация структурного проектирования функциональных расширителей, работающих с разной формой представления информации. В кн.: Проблемы создания преобразователей формы информации: Тез.докл. Всесоюзн. конф. Киев, 1980, ч.1, с.114-118.

226. Фомичев B.C., Мазурек В.В. Система совместной имитации аналоговых и цифровых блоков вычислительных устройств на ЭВМ. -Электронное моделирование, 1980, №3, с.88-94.

227. Фомичев B.C. Об одном способе перехода от описания структурных к описанию функциональных схем. В кн.: Теория и практика конструирования и обеспечения надежности и качества радиоэлектронной аппаратуры: Тез. докл. Всесоюзн. конф. Махачкала, 1980, с.II.

228. Фомичев B.C. Язык, ориентированный на проектирование АЦВУ. В кн.: Развитие и использование аналоговой и аналого-цифровой вычислительной техники: Тез. докл. Всесоюзн. конф. М., 198I, с.28-29.

229. Фомичев B.C., Разумовский Г.В., Палл И.В. Исследование- ßf3 возможностей аппаратной реализации операции с массивами. -Изв. ЛЭТИ, 198I, вып.285, с.63-69.

230. Фомичев B.C., Палл И.В. Способы построения схем сравнения двоичных чисел. Изв. ЛЭТИ, 1981, вып.291, с.П-16.

231. Фомичев B.C. Формальная модель вычислительных устройств. Электронное моделирование, 1982, № 3, с.

232. Ханден Ф. Основы общей методики конструирования. -Л.: Машиностроение, 1969. 164с.

233. Хигман Б. Сравнительное изучение языков программирования. М.: Мир, 1974. - 204с.

234. Холл А. Опыт методологии для системотехники. М.: Советское радио, 1975. - 448с.

235. Хоу Р., Холлстен Р. Гибридные вычислительные системы с разделением времени новый шаг в машинно-ориентированном проектировании. - В кн.: Автоматизация в проектировании. М., 1972, с.103-111.

236. Цифро-аналоговый анализатор периодических сигналов и частотных характеристик динамических систем. /Солодовников А.И., Долгодров В.Б., Петушков В.Г. и др. В кн.: Опыт проектирования и эксплуатации радиоэлектронных систем. Л., 1975, с.66-69.

237. Цифро-аналоговое множительно-делительное устройство. / Смирнов H.A., Смолов В.Б., Фомичев B.C. и др. Вопросы радиоэлектроники, 1963, № 18, с.68-80.

238. Чу Я. Организация ЭВМ и микропрограммирование. -М.: Мир, 1975. 592с.

239. Шейнаукас Р.И., Кривицкас И.И. Многозначное моделирование, учитывающее особенности опережения сигналов. В кн.: Автоматизированное техническое проектирование цифровых устройств.1. Каунас, 1976, с.194-198.

240. Шейнаукас Р.И., Кривицкас И.й. Многозначное моделирование логических схем. В кн.: Автоматизированное техническое проектирование цифровых устройств. Каунас, 1976, с.189-193.

241. Шеннон К. Синтез двухполюсных переключательных схем.-В кн.: Работа по теории информации и кибернетике. М., 1963,с.59-106.

242. Шестаков В,И. Алгебра двухполюсных схем, построенных исключительно из двухполюсников. Автоматика и телемеханика, 1941, №2, с.15-25.

243. Шигин А.Г., Кемельмахер Г.Л. Информационно-логическая система проектирования операционных частей ЭВМ. УС и M, 1973, №1, с.52-58.

244. Шигин А.Г. Федин В.А. Модель процесса проектирования для системы автоматизированного проектирования информационно-логического типа. УС и М., 1977, №2, с.84-88.

245. Шилейко A.B. Цифровые модели. М.: Энергия, 1964.112с.

246. Юрин О.Н. Автоматизированное проектирование ЭВМ на базе языка ОСС-2. М.: МИЭМ, 1974. - 176с.

247. Юдин О.Н. Единая система автоматизации проектирования ЭВМ. М.: Советское радио, 1976. - 176с.

248. Яблонский C.B. Функциональные построения в к-значной логике. Труды матем. ин-та им.В.А.Стеклова, 1958, т.51, с.5-142.

249. Язык микропрограммирования высокого уровня МИКАЛУ. /Валантикас И.И., Жинтелис Г.Б., Канаплукас П.Н. и др. УС и М, 1980, № 5, с.82-89.

250. Языки управления заданиями и описания данных в системе моделирования логических схем. / Фомичев B.C., Зайцев С.И., Разумовский Г.В. и др. В кн.: Вычислительная техника. Л., 1977, вып.6, с.118-127.

251. Янес М.Х. Структурный подход к синтезу операционных автоматов. Труды ТЛИ, 1976, №409, с.119-128.

252. Янов Ю.й. О логических схемах алгоритмов. В кн.: Проблемы кибернетики. М., 1958, вып.1, с.75-127.

253. ЯРУС язык описания работы сложных автоматов. /Кузнецов О.П., Макаревский А.Я., Марковский A.B. и др. - Автоматика и телемеханика, 1972, № 6, с.80-89; №7,с.150-159.

254. Duley 1-Е», Dietmeyer D.L. A Diqital System Desiqn Lamquaqe (DDL).- IEEE Transaction on computers, 19:68, v. C—1?, Ш, p.850-861.

255. EicHerberqear E.B. Hazard detection in combinational and sequential s.witchinq circuits. -IBM 3. of research and development, 1965, ^.9, 1T2, p.90-99.

256. 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.

257. Eofbeimer R., Perry R. Digitel Analog, Function generator.—nTRE Trans. Tnstrum." 1958, F2, p.III-II7.

258. KoeM.er Dankwart. Computer modeling of , logic modules under consideration of delay and wave shaping* — Proc. IEEE, 1969, 1T7, p ,1294-1296.

259. Iverson K.E. A programming language. F.Y., London, I963r-3l2p.

260. 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.