Диплом, курсовая, контрольная работа
Помощь в написании студенческих работ

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

ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Успехи интегральной технологии и разработка отдельных узлов ВУ в виде БИС и микропроцессоров привели к тому, что «центр тяжести» задач проектирования переместился с вопросов расчета элементов на схемотехнические вопросы, решаемые на этапе структурного проектирования. Наряду с задачами структурного проектирования актуальными являются вопросы проектирования нелинейных блоков специализированного… Читать ещё >

Содержание

  • Введение.&
  • Раздел первый. Автоматизация структурного проектирования функциональных расширителей./
  • Глава 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. Выводы

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

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

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

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

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

— б.

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

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

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

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

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

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

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

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

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

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

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

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

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

Перечисленные особенности ФР приводят к тому, что известные методы построения цифровых устройств [¿-У, ?.

Вопросы, близкие к построению ФР, рассматриваются в работах //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″ учно-исследовательских организаций страны: ВНИИРА, ВНИЙРЭС НПО «Ленинец», НПО «Электроавтоматика», МНИИПС, ЛНЙРТЙ и некоторых других. Результаты, полученные при выполнении хоздоговорных работ были зарегистрированы в Государственном комитете по делам изобретений и открытий СССР (удостоверение о регистрации № 33 278 от 29.12.62, № 27 149'от 17.01.62, № 40 181 от 19.09.63, № 35 979 от 6.04.63, №. 34 970 от 19.03.63, № 50 606 от 09.11.65) и нашли отражение в отчетах по НИР (номера Государственной регистрации отчетов: 71 051 207, 71 051 208, 72 043 503, 74 065 789). Большинство НИР выполнялось согласно планам Координационного комитета по вычислительной технике АН СССР или в соответствии с целевыми комплексными программами, в частности с программой.

Программа САПР" (приказ МБ и ССО РСФСР № 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. Функциональные преобразователи кодов, использующие линейные функции аргумента. В кн.: Сборник научных трудов ЛЭТИ. Л, — Новгород, 21 973, вып.1, ч.1, с.69−74.
  72. В.И., Фомичев B.C. Цифровой функциональный преобразователь. A.C. 46 396Х (СССР) Опубл. в Б.И. 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, с. 1 304 142.
  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. Разработка принципов организации математического обеспечения САПР применительно к ВС ЭВМ: Отчет НИС ЛЭТИ. Рег.№ 74 065 789.-Л., 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: Отчет НИС ЛЭТИ. Рег.№ 72 043 503.
  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. 186 206 (СССР) Опубл. в Б.й.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. 165 587 (СССР) Опубл. в Б.И. 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. 367 543 (СССР) Опубл. в Б.И. 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.
Заполнить форму текущей работой