Цифрове моделювання у Росії є: доведено в «неолант. Цифрове моделювання

систем дискретизації

та квантування повідомлень

Київ 2010

Федеральне агентство з освіти

Державний освітній заклад

вищої професійної освіти

"Омський державний технічний університет"

Цифрове моделювання систем дискретизації

та квантування повідомлень

Методичні вказівки до лабораторних

роботам для дистанційної форми навчання

Навчально-лабораторний комплекс для цифрового моделювання системи квантування безперервних повідомлень за рівнем …………………

    Загальні положення……………………………………………………………..

    Опис пакета……………………………………………………………….

      Загальні відомості…………………………………………………………….

      Функціональне призначення комплексу………………………………….

      Порядок установки серед розробки NetBeans…….………………….

      Опис бібліотеки класів…………………….………………………

      1. Опис інтерфейсів……………………….………………………...

        Опис класів………………………….…………………………….

        Блок-схема підключення…………………………..…………………

    Мета лабораторної работы.…………………………………………………...

    Мета дослідження……………………………………………………………..

    Порядок виконання роботи………….…………………………………….....

    Побудова цифрової моделі………………………………………………….

    Контрольні питання для відліку по лабораторній роботі…………………

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

1. Загальні положення

Моделювання- один із найбільш поширених способів вивчення різних процесівта явищ. Розрізняють фізичне та математичне моделювання. При фізичному моделюванні модель відтворює досліджуваний процес зі збереженням його фізичної природи. Перевага фізичного моделювання перед натуральним експериментом полягає в тому, що умови реалізації процесу-моделі можуть значно відрізнятися від умов, властивих процесу-оригіналу, і вибираються виходячи із зручності та простоти дослідження. Але фізичне моделювання має обмежену сферу застосування. Свідомо ширшими можливостями має математичне моделювання.

Моделювання являє собою процес, що складається з двох, у загальному випадку неодноразово повторюваних етапів:

    побудова моделі аналогічної важкодоступному для безпосереднього дослідження об'єкту-оригіналу;

    дослідження (проектування) об'єкта-оригіналу за допомогою побудованої моделі.

Під час вивчення будь-якого процесу методом математичного моделювання необхідно насамперед побудувати його математичну модель. Математична модель необхідна для побудови алгоритму, що моделює. Існують кілька основних способів алгоритму використання математичної моделі:

    аналітичне дослідження процесів;

    дослідження процесів з допомогою чисельних методів;

    апаратурне моделювання (на аналогових ВМ та спеціальних моделюючих установках);

    моделювання процесів на ЦВМ

Нині стала вельми поширеною набув метод статистичного моделювання, реалізований на ЦВМ. Цей вид є складовою математичного моделювання.

Цифрове моделювання має низку переваг над іншими методами дослідження (універсальність, гнучкість, економічність) і дозволяє вирішити одну з основних проблем сучасної науки – проблему складності.

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

    джерело (генератор, формувач) повідомлення;

    дискретизатор (квантувач, блок квантування);

    кодер (шифратор, блок кодування);

    канал зв'язку;

    блок пам'яті (лінія затримки);

    декодер (дешифратор);

    приймач повідомлення.

Цифрові моделі, що імітують роботу цих блоків, представлені у навчально-лабораторних комплексах у вигляді окремих об'єктних класів або можуть бути сформовані з них. Ці комплекси об'єктних класів призначені для таких цілей:

    для імітації експерименту з метою одержання даних для проектування цих систем;

    для автоматизації розрахунку параметрів, синтезу функцій окремих блоків та системи в цілому;

    для моделювання, імітації та відображення роботи:

    системи дискретизації безперервних повідомлень за часом;

    системи квантування повідомлень за рівнем;

    системи ефективного кодування;

    системи завадостійкого кодування;

    комбінації цих систем.

    для побудови графіків.

Розглянемо деякі особливості дослідження роботи систем шляхом їхнього цифрового моделювання. Зазвичай воно спрямоване дослідження ефективності функціонування систем. При цьому моделюються взаємодія даної системи з іншою системою, яка називається зовнішнім середовищем. Ефективність роботи будь-якої системи визначається двома групами факторів: властивостями та характеристиками зовнішнього середовища; функціями та параметрами моделюваної системи. Найбільш ефективна робота (поведінка) системи в ситуації, коли властивості та характеристики довкілля «узгоджені» з функціями та параметрами системи. Показники та критерії ефективності роботи системи задаються (визначаються) її розробниками, тому що не можуть бути встановлені формальними методами.

Дослідження ефективності роботи в «нормальних умовах» реалізуються шляхом організації найбільш ймовірних звичайних (штатних ситуацій), що визначаються довкіллям, які, ймовірно, відомі розробнику або досліднику. При цьому конкретні ситуації задаються найбільш типовими для довкілля властивостей та характеристик.

Крім того, проводяться дослідження поведінки системи в екстремальних умові малоймовірних ситуаціях, які визначаються погано передбачуваними для дослідника наборами властивостей і характеристик довкілля (максимальними значеннями її характеристик, такими, наприклад, як позамежне значення струму в електричному ланцюзі, перевантажень, перешкод великої амплітуди та частоти, фізичне руйнування системи або її компонентів внаслідок шлюбу матеріалів тощо).

Ситуація, що задається зовнішнім середовищем (штатна або позаштатна), моделюється шляхом фіксації деяких її властивостей та характеристик. При цьому ефективність роботи систем досліджується шляхом варіації її функцій та параметрів. Можливо також дослідження системи в іншому порядку, при якому фіксуються функції та параметри системи та варіюються властивості та параметри зовнішнього середовища. Припускаючи, що властивості довкілля та функції досліджуваної системи, крім іншого, представлені наборами вимірюваних та керованих (варіюваних) числових характеристик та параметрів.

На черговий ітерації дослідження поведінки системи зазвичай вся безліч характеристик середовища проживання і параметрів системи фіксується. При цьому варіюється один із перелічених компонентів у межах «правдоподібного» допустимого діапазону. Визначаються показники ефективності роботи системи для безлічі значень параметра, що варіюється, і заносяться в протокол дослідження, зазвичай оформлюваний у вигляді таблиці. На наступній ітерації дослідження варіюється інший параметр, інші зафіксовані.

Зазвичай повний перебір параметрів та їх значень (навіть при комп'ютерне моделювання) не вдається здійснити через тимчасові обмеження. Тому часто розробнику або досліднику доводиться здійснювати певним чином упорядкований і спрямований перебір параметрів і характеристик. У поєднанні з можливістю автоматичного комп'ютерного перебору параметрів це дозволяє скоротити час дослідження системи. З іншого боку, слід використовувати розроблені методи планування експериментів.

При цифровому моделюванні системи квантування безперервних повідомлень за рівнем на лабораторних заняттях властивості зовнішнього середовища представлені певною формою сигналу, що передається, яка в процесі дослідження не змінюється, а також нормально-розподіленою (гаусової) випадковою перешкодою, що діє в каналі зв'язку. Числові характеристики перешкоди представлені математичним очікуванням та середньоквадратичним відхиленням її амплітуди.

Функцією системи у цій лабораторній роботі є квантування безперервних повідомлень за рівнем (амплітуди параметра). Параметри квантувача представлені діапазоном значень безперервного повідомлення та кількістю рівнів квантування (або кроком квантування).

2.2. Неалгоритмічні методи

цифрове моделювання.

Швидкість вирішення низки складних завдань програмно-алгоритмічним методом на ЦВМ загального призначення недостатня і не задовольняє потреб інженерних систем автоматизованого проектування (САПР). Одним з таких класів завдань, які широко застосовуються в інженерної практикипри дослідженні динаміки (перехідних процесів) складних системавтоматизації, є системи нелінійних диференціальних рівнянь високих порядків у звичайних похідних. Для прискорення вирішення названих завдань у складі програмно-технічних комплексів САПР можуть включатися на додаток до головної (провідної) ЦВМ загального призначення ГВМ, проблемно-орієнтовані рішення нелінійних диференціальних рівнянь. Вони організуються на основі цифрового математичного моделювання неалгоритмічним методом. Останній дозволяє підвищити продуктивність САПР за рахунок властивого йому паралелізму обчислювального процесу, а дискретний (цифровий) спосіб представлення математичних величин досягти точності обробки не гірше, ніж у ЦВМ. У цих ГОМ застосовуються два методи цифрового моделювання:

1. Звичайно-різницеве ​​моделювання;

2. Розрядне моделювання.

Перший метод, що використовується в ГВМ типу цифрових диференціальних аналізаторів (ЦДА) та цифрових інтегруючих машин (ЦИМ), – це відомий метод наближених (покрокових) обчислень кінцевих різниць. Цифрові операційні блоки ГВМ, побудовані на цифровій схемотехніці, обробляють досить малі дискретні збільшення математичних величин, що передаються лініями зв'язку між операційними блоками. Введені та виведені математичні величинипредставляються, зберігаються і накопичуються з прирощень у цифрових n-розрядних кодах у ріверсивних лічильниках або регістрах суматорів, що накопичують.

Збільшення всіх величин зазвичай кодуються однією одиницею молодшого розряду: D:=1мл. нар. Це відповідає квантуванню за рівнем всіх оброблюваних величин із постійним кроком квантування D=1. Отже, обмежується швидкість наростання всіх машинних величин: | dS/dx | £1.

Знаки однорозрядних прирощень кодуються методом знакового кодування двопровідних лініях зв'язку між операційними блоками:

https://pandia.ru/text/78/244/images/image002_51.gif" width="476" height="64 src=">,

де DSi=yiDx – приріст інтеграла в i-му кроці інтегрування, а i-я ордината підінтегральної функції y(x) – yi обчислюється шляхом накопичення її прирощень:

https://pandia.ru/text/78/244/images/image004_39.gif" width="208" height="56 src=">

з введенням постійного нормуючого коефіцієнта кн = 2-n збільшення на виходах інтеграторів утворюються послідовно і обробляються наступних інтеграторах також послідовно. Винятком є ​​інтегрування суми кількох підінтегральних функцій

https://pandia.ru/text/78/244/images/image006_34.gif" width="239" height="56 src=">

Тоді по кількох m вхідних лініях l-е збільшення можуть надходити синхронно в якомусь j-му кроці. Для послідовного складання їх розносять у межах кроку за допомогою ліній затримок, збільшуючи в m разів тактову частоту роботи вхідного накопичувача суматора. Тому число підінтегральних функцій, що сумуються, зазвичай обмежують до двох.: m=2.

Структурна організація цифрового інтегратора-суматора дуже проста. Він будується у вигляді послідовного з'єднання наступних функціональних вузлів:

· Схема 2АБО з лінією затримки tз = 0,5t на одному з входів

· Вхідний накопичуючий суматор приростів підінтегральних функцій, що виконує накопичення n-розрядних їх ординат за вхідними приростами:

https://pandia.ru/text/78/244/images/image008_28.gif" width="411" height="194 src=">

При Dх:=(10) код yk передається без змін, а за Dх:=(01) на виході утворює код, зворотний вхідному коду yk.


Вихідний накопичуючий суматор, який у кожному кроці інтенування додає до свого старого вмісту зміст регістру зсуву РС вхідного НСМ (у послідовному коді передачі цей крок виконується за n тактів):

· Формувач вихідного збільшення інтеграла: DSi: = одиниця переповнення Si, що перетворює ознака переповнення в біполярний код збільшення (найпростіше він реалізується, якщо негативні накопичені числа Si представити в модифікованому коді: прямому, зворотному або додатковому). Відповідну структурну схему цифрового інтегратора наведено на рис. 9.14 (с.260) підручника. У схемах цифрових моделей застосовується таке умовне позначенняцифрового суматора-інтегратора:

«Зн.» вказує ознаку інверсії (-), якщо вона потрібна. Важливим перевагою даного методу конечно-разностного цифрового моделювання і те, що і той ж цифровий інтегратор без зміни його схем використовується виконання лінійних і нелінійних операцій, необхідні вирішення звичайних диференціальних рівнянь. Це тим, що з програмуванні ЦДА і ЦИМ вихідні рівняння похідних перетворюються до рівнянь в диференціалах. Розглянемо найпростіші програми цифрових моделей:

1. множення змінної х на константу до:

Перейшовши до диференціалів dS=кdx, переконаємося в тому, що ця операція виконується одним інтегратором при його початковій установці:

3. Множення S=xy, або диференціалах dS=xdy+ydx.

4.2. тригонометричні функції, наприклад, y=sinx, яка є рішенням диференціального рівняння другого порядку (так як ), або в диференціалах


DIV_ADBLOCK93">

Враховуючи те, що створення названих проблемно-орієнтованих ГВМ вимагає суттєвих додаткових витрат, при побудові технічних засобів САПР найчастіше використовується більш простий спосіб їх організації шляхом об'єднання в обчислювальний комплекс ЦВМ загального призначення, що серійно виробляються, та електронних аналогових. обчислювальних машин(АВМ), побудованих на операційних підсилювачах. ЦВМ та АВМ об'єднуються за допомогою типового пристрою перетворення та сполучення (УПС), що складається в основному з АЦП та ЦАП. Складна задача раціонально розподіляється на 2 частини між аналоговими і цифровими процесорами при програмуванні комплексу. Причому аналогова частина найчастіше проблемно орієнтується рішення диференціальних рівнянь і використовується у загальному обчислювальному процесі як швидка підпрограма.

2.3 Архітектура гібридних обчислювальних комплексів (ГВК).

2.3.1. структура аналого-цифрового обчислювального комплексу (АЦВК)

ГВК або АЦВК – це обчислювальний комплекс, що складається з ЦВМ та АВМ загального призначення, об'єднаних за допомогою УПС, та містить у цифровій частині додаткове програмне забезпечення для автоматизації програмування аналогової частини, управління обміном інформацією між аналоговою та цифровою частинами, конотролю та тестування аналогової частини, автоматизації процедур введення-виведення.

Розглянемо структурну схему АЦВК із найпростішим УПС, побудованому на одноканальних комутованих АЦП і ЦАП. Для створення передумов автоматизації програмування АВМ під управлінням ЦВМ у складі технічних засобів АВМ вводяться такі додаткові блоки:

1. Вручну регульовані змінні опори (потенціометри) на входах операційних підсилювачів у наборі операційних блоків (НОБ), відомі Вам з лабораторних робітза ТАУ, замінюються на цифрокеровані опори (ЦУС), як яких використовуються інтегральні схеми ЦАП;



Для довготривалого зберігання кодів налаштування ЦУС застосовується блок буферних регістрів (БФР), що завантажуються при програмуванні АВМ цифровими кодами коефіцієнтів передачі (КП) операційних блоків, що обчислюються ЦВМ за методикою, викладеною в пункті 2.1; використовуючи масштабні рівняння аналогової моделі;

3. Автоматичне з'єднання операційних блоків відповідно до складеної в ЦВМ схеми аналогової моделі (п. 2.1) здійснюється схемою автоматичної комутації (САК) по двійковому вектору комутації ключів САК, утвореному в ЦВМ і що зберігається протягом рішення задачі в регістрі настроювальної інформації (РН) в СПС.

Режими роботи АВМ: підготовка, пуск, зупинка, повернення у початковий стан, виведення резудьтатів на аналогові периферійні пристрої (самописці, двокоординатні планшетні реєструючі прилади – ДРП) задаються з боку ЦВМ через блок управління УПС (БО УПС).

БУ УПС здійснює також взаємну синхронізацію роботи ЦВМ та АВМ: передає сигнали зовнішнього переривання з аналогової моделі в цифрові програми ЦВМ, під керуванням програм цифрової частини синхронізує опитування точок в аналоговій моделі, перетворення напруг у цих точках у цифрові коди та передачу останніх через БСК та канал введення-виведення в оперативну пам'ять ЦВМ; або аналогічно зворотне перетворення цифрових кодів електричні напруги і подачу останніх в необхідні точки на входи операційних блоків аналогової моделі. Такий принцип функціональної організації взаємодії цифрової та аналогової частин апаратно підтримується блоками УПС: АЦП і ЦАП, АМ та АДМ – аналоговими мультиплексором та демультиплексором, МЛ – вхідним та вихідним блоками аналогової пам'яті, побудованими на множині однотипних схем вибірки зберігання (СВХ). Входи вхідних СВХ (ліворуч) підключаються до необхідних точок схеми аналогової моделі (виходів відповідних операційних блоків). У необхідні дискретні моменти часу під управлінням ЦВМ з аналогової моделі знімаються окремі ординати вибіркові аналогових сигналів (електричних напруг) і запам'ятовуються в СВХ. Потім виходи СВХ опитуються мультиплексором АМ та їх вихідні напруги перетворюються в АЦП цифрові коди, які в режимі прямого доступу як блок чисел (лінійний масив) записуються в ВП ЦВМ.

При зворотному перетвореннівиходи СВХ другої групи вихідний аналогової пам'яті МЛ (праворуч) підключаються під керуванням ЦВМ до необхідних входів операційних блоків аналогової моделі, а входи СВХ – до виходів аналогового демультиплексора, на вхід якого подається вихідна напруга ЦАП. У режимі прямого доступу з ОП ЦВМ зчитується блок чисел. Кожне з чисел перетворюється на ЦАП в електрична напруга, яке під керуванням ЦВМ за допомогою АДМ, що обігає, записується на зберігання в одну з СВХ. Отриманий набір кількох напруг зберігається у кількох СВХ протягом заданого за програмою ЦВМ інтервалу часу (наприклад, під час вирішення завдання аналогової частини) і обробляється аналоговими операційними блоками.

2.3.2. Методи організації аналого-

цифрових обчислень.

Принцип чергування режимів роботи ЦВМ та АВМ, що знижує складність ЗПС.

АЦВК застосовуються для аналого-цифрового моделювання складних систем автоматизації, що містять керуючі ЦВМ, а також для прискорення вирішення складних математичних завдань, що вимагають надмірної витрати ресурсів пам'яті та машинного часу ЦВМ. У першому випадку на ЦВМ програмно імітуються алгоритми управління, а в АВМ програмується аналогова математична модель об'єкта управління, і АЦВК використовується як комплекс для налагодження та верифікації алгоритмів управління з урахуванням нелінійності та динаміки об'єкта управління, які дуже важко врахувати при розробці алгоритмів, якщо при цьому завжди вирішувати диференціальні рівняння об'єкта визначення його реакцію кожне нове управляюче вплив.

У другому випадку, наприклад, при вирішенні диференціальних рівнянь, загальну громіздку задачу наближених обчислень розбивають на дві частини, поміщаючи зазвичай в аналогову частину обчислювально-ємні розрахунки, для яких допустима похибка 0.1…1%.

За принципом названого поділу завдання на дві частини та способу організації взаємодії між АВМ та ЦВМ сучасні АЦВК підрозділяються за 4 класами аналого-цифрових обчислень

Класи 1,2,3 можуть бути реалізовані на основі розглянутої структурної організації АЦВК зі спрощеним УПС, побудованим на одноканальних АЦП та ЦАП.

Клас 1 найпростіший з організації взаємодії між АВМ та ЦВМ. Цифрова та аналогова частини працюють у різний час, і тому не пред'являється високих вимог до синхронізації роботи АВМ та ЦВМ та швидкодії ЦВМ та УПС.

Клас 2 вимагає особливої ​​організації чергування режимів роботи АВМ, ЦВМ та УПС у кожному циклі обчислень та взаємодії

Обчислення

Передача даних

Передача даних

Переривання

Обчислення

Переривання

Обчислення

Так як АЧ і ЦЧ одночасно не працюють, немає проблем з їх синхронізацією і не висуваються високі вимоги до швидкодії УПС і ЦВМ. Класи розв'язуваних завдань: оптимізація параметрів аналогової моделі, параметрична ідентифікація, моделювання випадкових процесів методом Монте-Карло, аналого-цифрове моделювання САУ над реальному масштабі часу, інтегральні рівняння.

Клас 3 вимагає іншої організації чергування режимів роботи АВМ, ЦВМ та ЗПС.


Обчислення

Передача даних

Передача даних

Обчислення

Переривання

Обчислення

Переривання

У фазі А в АЧ і ЦЧ одночасно виконуються 2 окремі завдання однієї складної задачі, сумісні за часом. У ЦЧ у фазі В найчастіше приймаються з АЧ і запам'ятовуються дискретні величини аргументів функцій, потім у фазі А по них обчислюються, заготовлюються для АЧ, ординати складних функцій, які в наступній фазі передаються в АЧ, де заносяться на зберігання в аналогові ЗУ ( СВХ), а потім використовуються в наступній фазі А в аналогових обчисленнях, і т. д. Класи розв'язуваних завдань: ітеративні обчислення, вирішення звичайних дифурів із заданими граничними умовами, динамічних задач з чистим запізненням аргументів, інтегральних рівнянь, диференціальних рівнянь у приватних похідних. У класі 3 не пред'являється високих вимог до швидкодії ЦВМ і УПС, але потрібна точна синхронізація роботи АВМ і ЦВМ у фазі В, так як через зупинку цифрового процесора асинхронне управління передачі неможливо, а здійснюється синхронна передача блоків даних під управління контролера прямого доступу на згадку (КПДП) через канал введення-виведення ЦВМ.

Клас 4 - це найчастіше аналого-цифрове моделювання цифрових САУ в реальному масштабі часу для перевірки та налагодження програм керуючої ЦВМ в динаміці. Він найбільш складний з організації взаємодії та синхронізації роботи АВМ та ЦВМ, тпк як тут фази А і В поєднані, відбувається постійний взаємний обмінданими в процесі обчислень, і тому потрібне застосування ЦВМ та УПС максимальної швидкодії.

Структурна організація СПС, наведена вище та придатна для класів 1,2,3, у класі 4 не застосовується. В останньому класі потрібна багатоканальна організація АЦП і ЦАП без мультиплексування з додатковим включенням на вході виходу БСК файлу паралельних буферних регістрів, що обмінюються з ВП ЦВМ в режимі прямого доступу. Вміст кожного з регістрів або перетворюються окремими паралельно включеними ЦАП під час передачі даних у АВМ, або формуються окремими паралельно включеними АЦП під час передачі даних з АВМ в ЦВМ.

2.3.3 Особливості програмного забезпечення АЦВК.

Для автоматизації програмування АВМ за допомогою ЦВМ та повної автоматизаціїаналого-цифрового обчислювального процесу традиційне ПЗ ЦВМ загального призначення (див. рис. 13.2 с.398 у підручнику) доповнюється такими програмними модулями:

1. До складу обробних програм входять додаткові транслятори зі спеціальних мов аналого-цифрового моделювання, наприклад Фортран-IV, доповненого підпрограмами на розширеному асемблері, що містить спеціальні аналого-цифрові команди, наприклад, для управління аналоговою частиною за програмою ЦВМ, організації передачі даних між ЦЧ та АЧ, обробки переривань програм ЦЧ, що ініціалізуються аналоговою частиною; створюється аналого-цифрова компілююча система;

2. До складу робочих, налагоджувальних та обслуговуючих програм вводять драйвер міжмашинного обміну для управління аналоговою частиною як периферійним процесором, програми графічного дисплея, реєстрації та аналізу результатів;

3. До складу бібліотеки прикладних програмвводять програми обчислення функцій та стандартні математичні аналого-цифрові програми;

4. До складу діагностичних програм технічне обслуговуваннявводять тести ЗПС, тести операційних блоків АВМ;

5. До складу керуючих програм ОС вводять цілий комплекс додаткових модулів, що управляють:

· Система автоматизації аналогового програмування (СААП), що складається з лексичного аналізатора; синтаксичного аналізатора(перевірка відповідності введеної алгоритмічною мовою аналогової програми правилам синтаксису запису); генератори структурних схем(складання та кодування схем аналогових моделей методом зниження порядку та неявних функційтак само, як і в п.2.1); блоку розрахункових програм(масштабування аналогової моделі як у п.2.1, цифрове програмне моделювання аналогової частини на ЦВМ з одноразовим прорахунком для розрахунку очікуваних максимальних значень змінних та уточнення масштабування аналогової моделі, а також створення файлу статичного та динамічного контролю аналогової частини після її програмування); програми подання вихідної інформації(виведення на дисплей та графобудівник синтезованої структури аналогової моделі, контрольна роздрук кодів аналогової програми, масштабних коефіцієнтів, файлу статичного та динамічного контролю);

· Служба синхронізації та взаємодії АВМ та ЦВМ (реалізація чергування режимів роботи);

· Служба обробки переривань, що ініціалізуються аналоговою частиною;

· Програма управління обміном даними між АВМ та ЦВМ;

· Програма управління завантаженням кодів схеми аналогової моделі в САК (РН);

· Програма управління режимом статичного та динамічного контролю (налагодження завантаженої в АВМ аналогової програми).

За результатами автоматизації аналого-цифрового програмування на магнітному диску провідної ЦВМ, крім традиційних цифрових файлів, створюються такі додаткові файли даних, які використовуються названими вище додатковими модулями ПЗ АЦВК: файл аналогових блоків, файл комутації (для САК), файл статичного контролю, файл динамічного контролю , файл підготовки аналогових функціональних перетворювачів, бібліотека стандартних аналого-цифрових програм, що підключаються.

2.3.4. Мови аналого-цифрового моделювання.

Розглянута архітектура АЦВК дозволяє описувати та вводити аналого-цифрові програми лише у провідну ЦВМ алгоритмічними мовами високого рівня. Для цього традиційні мовицифрового програмування доповнюються спеціальними операторами опису об'єкта аналогового моделювання, організації передачі даних між АЧ та ЦЧ, управління аналоговою частиною за програмою ЦВМ, обробки переривань з боку аналогової частини, завдання параметрів аналогової моделі, контролю аналогової частини, завдання службової інформації тощо.

Застосовуються універсальні мови, що транслюються шляхом компіляції (Фортран IV) або інтерпретації (Бейсік, Гібас, Фокал, HOI), що доповнюються спеціальними підпрограмами на Асемблері, які зазвичай викликають оператор Call... із зазначенням ідентифікатора потрібної підпрограми.

З метою підвищення швидкості роботи СААП вона зазвичай описується та використовує на вході спеціалізовані мовианалого-цифрового моделювання: CSSL, HLS, SL – 1, APSE, а для внутрішньої інтерпретації мову Поліз (зворотний польський запис).

У універсальні мови компилируемого типу можуть вводитися такі аналого-цифрові макрокоманди:

1. SPOT AA x– встановити потенціометр (ЦУС) в аналоговій частині з адресою АА у положення (величину опору), що відповідає значенню цифрового коду, що зберігається в ВП ЦВМ за адресою х;

2. MLWJ AA x- Вважати аналогову величину на виході операційного блоку в АЧ з адресою АА, піддати її аналого-цифровому перетворенню, а результуючий цифровий код записати в ВП ЦВМ за адресою х. Взаємодія аналогової частини цифрової частини можна описати як виклик процедури:

Call JSDA AA x, де JSDA – це ідентифікатор відповідний підключається підпрограми на Асемблері, наприклад, процедури установки – встановити значення х з виходу ЦАП за адресою АА в аналоговій частині.

Тому дуже важливо зрозуміти як тип паралелізму розв'язуваної задачі впливає спосіб оргпнизации паралельної ЕОМ.

3.1.1 Природний паралелізм

незалежних завдань.

Він спостерігається, якщо в ПС потік не пов'язаних між собою завдань. У цьому випадку підвищення продуктивності порівняно легко досягається шляхом введення в «крупнозернисту» ПС ансамблюнезалежно функціонуючих процесорів, підключених до інтерфейсів багатомодульної ВП та ініціалізації процесорів введення/виводу (ПВВ).

Число модулів ВП m>n+p з тим, щоб забезпечити можливість паралельного звернення в пам'ять всіх обробних процесорів і всіх ПВВ і підвищити стійкість до відмови ВС. Резервні (m-n-p) модулі ВП необхідні для швидкого відновлення при відмові робочого модуля та для зберігання в них ССП процесорів та процесів у контрольних точках програм, необхідних для рестарту при відмові процесора або модуля ВП.

Створюється можливість під кожну з завдань тимчасово об'єднувати пару: Пi+ОПj як автономно функціонуючу ЕОМ. Попередньо цей модуль ОП працював у парі: ПВВк+ОПj, і в ОПj в буфер введення була занесена програма і дані. Після закінчення обробки в ОПj організується і заповнюється буфер виведення, а потім модуль ОПj вводиться в пару ОПj+ПВВr для обміну з периферійним пристроєм.

Основне завдання організації обчислювальних процесів, яке вирішується системною програмою«Диспетчер», - Оптимальний розподіл завдань між паралельними процесорами за критерієм максимального їх завантаження, або мінімізації часу їх простоїв. У цьому сенсі оптимальним є асинхроннийпринцип завантаження задач у процесори, не чекаючи, поки закінчиться обробка завдань в інших зайнятих процесорах.

Якщо пакет вхідних завдань, накопичений за певний інтервал часу, зберігається у ВЗП, проблема оптимальної асинхронної диспетчирезації зводиться до упорядкування оптимального розкладу моментів запуску завдань різних процесорах. Основні вихідні дані, необхідні для цього, – безліч відомих очікуваних часів рахунку, процесорної обробки всіх завдань накопиченого пакета, які зазвичай вказуються в картах, що управляють, їх завдань.

Незважаючи на незалежний характер завдань у сукупності їх асинхронних обчислювальних процесів можливі конфлікти між ними загальні ресурсиНД:

1) Послуги загальної мультисистемної ОС, наприклад обробка переривань із введення-виведення, або звернень до загальної ОС надійності при відмовах та рестартах;

(О–) – ®О-Д – зміна знака D.

При операції в I шарі і дві операції в II і III шарах могли б виконуватися паралельно, якби в складі АЛУ був відповідний надлишок операційних блоків.

Розглянутий вище паралелізм операцій у розв'язанні диференціальних рівнянь і при обробці матриць відноситься до класу регулярного, тому що там та сама операція багаторазово повторюється над різними даними. Останній приклад квадратного рівняннямає нерегулярний паралелізм операцій, коли над різними даними можливе одночасне виконання різних типівоперацій.

Як показано вище, для використання регулярного паралелізму операцій при підвищенні продуктивності підходить матрична організаціяНД із загальним управлінням.

У загальному випадку нерегулярного паралелізму операцій більш відповідним способом підвищення продуктивності вважається потокова організаціяЕОМ та ЗС. У потокових ЗС замість традиційного фон Нейманівського програмного управління обчислювальним процесом відповідно до порядку прямування команд, що визначається алгоритмом, застосовується зворотний принцип програмного управління за ступенем готовності операндів, або потоком даних (потоком операндів), що визначається не алгоритмом, а графом операндів (графом передачі даних) ).

Якщо паралельному процесорі є достатній надлишок обробних пристроїв, чи ВС – ансамбль надлишкових мікропроцесорів, то природно і автоматично (без спеціальної диспетчирезации і складання розкладу запуску) одночасно виконуватимуться ті паралельні операції, операнди яких підготовлені попередніми обчисленнями.

Обчислювальний процес починається з операцій, операндами яких є вихідні дані, як, наприклад, в I шарі ГПД квадратного рівняння одночасно виконуються три операції, а далі він розвивається в міру готовності операндів. Після цього викликається команда множення, потім віднімання та перевірки логічної умови, потім макрооператор(Ö) і лише після цього – одночасно дві команди: додавання та віднімання, а після них – дві однакові команди поділу.

Технічна реалізація потокової організації ЗС можлива трьома шляхами:

1) Створенням спеціальних потокових мікропроцесорів, які відносяться до класу спеціалізованих та будуть розглянуті у наступному семестрі;

2) Спеціальною організацієюобчислювального процесу та модифікацією машинної мови низького рівня в мультимікропроцесорних ансамблевих ЗС, побудованих на типових мікропроцесорах фон Неймана;

3) Створенням процесорів з надлишком однотипних операційних блоків і доповненням операційних систем потоковим способом організації обчислювального процесу (реалізовано у вітчизняних потоковому процесорі ЕС2703 та суперЕОМ Ельбрус-2).

Цифрове моделювання

спосіб дослідження реальних явищ, процесів, пристроїв, систем та ін, заснований на вивченні їх математичних моделей. математичних описів) за допомогою ЦВМ. Програма, що виконується ЦВМ, також є своєрідною Моделью досліджуваного об'єкта. При Ц. м. використовують спеціальні проблемно-орієнтовані мови моделювання; одним з найбільш широко застосовуваних у моделюванні мов є мова CSMP, розроблена в 60-х роках. в США. Ц. м. відрізняється наочністю та характеризується високим ступенемавтоматизації процесу вивчення реальних об'єктів.


Велика Радянська Енциклопедія. - М: Радянська енциклопедія. 1969-1978 .

Дивитись що таке "Цифрове моделювання" в інших словниках:

    цифрове моделювання- - [Я.Н.Лугинський, М.С.Фезі Жилінська, Ю.С.Кабіров. Англо-російський словник з електротехніки та електроенергетики, Москва, 1999 р.] Тематики електротехніка, основні поняття EN digital simulation …

    цифрове моделювання- 3.8 цифрове моделювання: Спосіб використання різних математичних методівелектронно обчислювальних машинахдля досягнення акустичної симуляції (див. 3.1). Джерело: ГОСТ Р 53737 2009: Нафтова та газова промисловість. Поршневі...

    цифрове моделювання- skaitmeninis modeliavimas statusas T sritis automatika atitikmenys: angl. digital simulation; numerical modelling vok. digitale Simulation, f; numerische Simulation, f rus. цифрове моделювання, n; чисельне моделювання, n pranc. simulation… … Automatikos terminų žodynas

    цифрове моделювання у реальному масштабі часу- - [А.С.Гольдберг. Англо-російський енергетичний словник. 2006 р.] Тематики енергетика загалом EN real time digital simulationRTDS … Довідник технічного перекладача

    Створення цифрової моделі рельєфу та її використання. Примітки 1. Обробка цифрової моделі рельєфу служить отримання похідних морфометрических показників; розрахунку та побудови ліній струму; екстракції структурних ліній та ліній перегину… Довідник технічного перекладача

    цифрове моделювання рельєфу- 61 цифрове моделювання рельєфу: створення цифрової моделі рельєфу та її використання. Примітки 1 Обробка цифрової моделі рельєфу служить отримання похідних морфометрических показників; розрахунку та побудови ліній струму; екстракції… … Словник-довідник термінів нормативно-технічної документації

    аналогове [аналого-цифрове] моделювання- Моделювання процесів та об'єктів за допомогою засобів аналогової [аналого цифрової] обчислювальної техніки. [ГОСТ 18421 93] Тематики аналогова та аналого цифрова віднім.техн … Довідник технічного перекладача

    Analoginis skaitmeninis modeliavimas statusas T sritis automatika atitikmenys: angl. analog digital simulation vok. analog digitale Simulation, f rus. аналого-цифрове моделювання, n pranc. simulation analogique numérique, f … Automatikos terminų žodynas

    аналого-цифрове моделювання- - [Я.Н.Лугинський, М.С.Фезі Жилінська, Ю.С.Кабіров. Англо-російський словник з електротехніки та електроенергетики, Москва] Тематики електротехніка, основні поняття EN analog digital simulation … Довідник технічного перекладача

    Моделювання дослідження об'єктів пізнання з їхньої моделях; побудова та вивчення моделей реально існуючих об'єктів, процесів чи явищ з метою одержання пояснень цих явищ, а також для передбачення явищ, що цікавлять… Вікіпедія

Книги

  • , Браверман Борис Аронович. Розглянуто можливості використання елементів програмування мовою С# у середовищі Microsoft Visual Studio для вирішення різноманітних завданьгеоматики. Показано зв'язок процесів кадастру та…
  • Програмне забезпечення геодезії, фотограм, кадастру, інж. із. , Браверман Борис Аронович. Розглянуто можливості використання елементів програмування мовою С серед Microsoft Visual Studio для вирішення різноманітних завдань геоматики. Показано зв'язок процесів кадастру та…

Слайд 2

ЦМТ

Цифрове моделювання рельєфу становить великий розділ усередині блоку обробки даних у ГІС і також відноситься до задач геоаналізу та моделювання. Хоча воно реалізовано далеко не у всіх ГІС-пакетах, проте цифрове моделювання рельєфу – один із пріоритетних напрямків розвитку сучасної геоінформатики.

Слайд 3

Рельєф як об'єкт ЦМТ

Рельєф є основним елементом ландшафту. Він визначає всі особливості місцевості: характер і конфігурацію гідрографічної мережі, розподіл рослинності та ґрунтового покриву, мікроклімат та екологічні умови, розташування доріг та населених пунктів

Слайд 4

Цифрове моделювання рельєфу ставить собі дві основні групи завдань: Перша зводиться до розробки методів і прийомів створення цифрових моделей рельєфу (ЦМР); Друга вдосконалює способи їхнього практичного використання.

Слайд 5

Створення ЦМР. Загальний принцип

X Y Z z3 z1 x2 x1 x3 x2 y1 y2 y3 1 2 3 ID X Y Z 1 x1 y1 z1 2 x2 y2 z2 3 x3 y3 z3 … … … … n xn yn zn Цифрова модель рельєфу (ЦМР)

Слайд 6

Створення ЦМР

Сучасні цифрові моделі рельєфу створюються чотирма основними способами: отримання висотних позначок у вузлах регулярної сітки; нерегулярне (випадкове) розміщення висотних позначок у вузлах довільної мережі; певним крокомотримання висотних позначок у точках перетину горизонталей зі структурними лініями рельєфу

Слайд 7

Отримання висотних позначок у вузлах регулярної сітки

  • Слайд 8

    Нерегулярне розміщення висотних позначок у вузлах довільної мережі

  • Слайд 9

    Розміщення позначок вздовж горизонталей із певним кроком

  • Слайд 10

    Отримання позначок у точках перетину горизонталей зі структурними лініями рельєфу

    Слайд 11

    Джерело даних для ЦМР

    Головними джерелами до створення ЦМР служать великомасштабні топографічні карти. Типова технологія створення ЦМР заснована на цифровуванні (обведення) горизонталів як основної її складової та висотних позначок. Застосування дрібномасштабних карток обмежено за умовами генералізації. На таких картах геометрична точність вступає у суперечність із географічною правдоподібністю та морфологічною відповідністю, і, як правило, метричністю жертвують. У теорії та практиці геоінформатики доводиться, що використання як вихідні матеріали для побудови ЦМР карт масштабу 1: 500 000 і дрібніше, - безглуздо.

    Слайд 12

    Формати ЦМР

    Зазвичай первинні дані для створення нової ЦМР (одержувані традиційно за картами) наводяться до одного з двох найпоширеніших формату подання: GRID-моделі та TIN-моделі. Перша модель багато в чому аналогічна до растрової моделі просторових даних: вона передбачає розбиття простору карти на далі неподільні елементи (піксели), всередині яких висота земної поверхні вважається постійною. Піксели утворюють квадрати регулярної прямокутної матриці висот, відстань між якими визначає просторове дозвіл ЦМР.

    Слайд 13

    GRID.1

    При створенні GRID-моделей на першому кроці територію, що вивчається, як би нарізають на квадратні виділи, ділянки, геометричні розміри яких визначаються заздалегідь виходячи з якості вихідних матеріалів, завдань дослідження і технічних засобів (grid в перекладі з англійської - грати, сітка). Малі пікселі детальніше передають нерівності земної поверхні, але створення таких ЦМР потрібні великомасштабні вихідні матеріали, а утворений масив чисел – величезний і труднообрабатываем. Зазвичай розмір пікселів встановлюють рівним 1 - 2 мм у масштабі карти (наприклад, для 1: 100 000 карти розмір пікселя - 100 - 200 м на місцевості). l = 1 - 2 мм

    Слайд 14

    GRID.2

    Слайд 15

    GRID.3

    Потім за правилами інтерполяції визначаються значення висот всіх інших пікселів. Рельєф імітується щільно підігнаними один до одного паралепіпедами різної висоти.

    Слайд 16

    GRID.4

  • Слайд 17

    GRID. Rezult

  • Слайд 18

    TIN.1

    Суть моделі TIN – її назві: Triangulated irregular network (нерегулярна трикутна мережу). Вона є мережею трикутників, у вершинах яких знаходяться висотні позначки. Будується вона в такий спосіб. Усі точки з відомими висотамиз'єднуються попарно відрізками так, щоб вони ніде не перетиналися; інакше залишають найкоротший відрізок. Отримана мережа трикутників у топографії одержала назву елементів тріангуляції Делоне. У накреслювальній геометрії з тріангуляцією Делоне тісно пов'язані полігони Тіссена, або діаграми Вороного, які мають поряд особливих властивостей. В результаті моделюється поверхня представляється як багатогранна.

    Слайд 19

    TIN.2

    X Y Z триреберні грані

    Слайд 20

    TIN.4

  • Слайд 21

    Слайд 22

  • Слайд 23

    Інтерполяція у ЦМР

    p align="justify"> Важливим елементом побудови будь-якої ЦМР незалежно від формату подання є інтерполювання - тобто. знаходження висот земної поверхні будь-якої довільної точки, для якої відомі тільки планові координати X та Y, по деякій мережі опорних точок, званих вузлами інтерполяції, котрим відомі всі три координати – X,Y і Z. Для GRID-моделей інтерполяція необхідна отримання безперервної матриці висот по дискретним необов'язково регулярним опорним точкам, в TIN-моделях вона застосовується з метою згущення мережі трикутників, зазвичай дуже розрідженою. Усі методи інтерполяції поділяються на глобальні та локальні, а також точні та апроксимуючі.

    Слайд 24

    Глобальна інетполяція

    При глобальній інтерполяції визначення висот довільних точок здійснюється з усіх вузлів інтерполяції. У цьому випадку зміна у вихідному наборі опорних точок (додавання, видалення тощо) позначається на всій результуючій ЦМР. глобальна інтерполяція

    Слайд 25

    Локальна інтерполяція

    У локальної інтерполяції розрахунок висоти ведеться лише у безпосередніх околицях точки, багаторазово повторюючи алгоритм обчислення у різних частинах ЦМР. локальна інтерполяція

    Слайд 26

    Апроксимуюча інтерполяція

    В основі апроксимуючих методів лежить міркування про неточність або навіть помилки вихідних даних, тому вони відображають лише загальний тренд поверхні, не відтворюючи точного значення висоти в опорних точках.

    Слайд 27

    Точна інтерполяція

    Точні методи інтерполяції зберігають висоти в опорних точках, на яких базується сама інтерполяція, і поверхня проходить через усі крапки з відомими аплікатами.

    Слайд 28

    Linear interpolation

    Серед конкретних реалізацій алгоритмів інтерполяції найчастіше використовується лінійна інтерполяція, що виконується від точки до точки по відрізках прямих ліній. z x або y 1 2 3 4 5 6 7 8 9 10 порядкові номери осередків растру d d0 z1 z2 z0 z0 = z1 + (z2 – z1) · d0 / d

    Слайд 29

    Inverse weight interpolation

    Інший метод - метод зворотних вагових коефіцієнтів - при інтерполюванні дозволяє в більшою міроювраховувати вплив поблизу точок, що лежать, і в меншій – що знаходяться на видаленні. z x або y 1 2 3 4 5 6 7 8 9 10 порядкові номери осередків растру d2 z1 z2 z0 z0 = (d1 · z1 + d2 · z2) / (d1 + d2) d1

    Слайд 30

    Nearest neighbor interpolation

    У наступному способі – методі найближчого сусіда – висота точки приймається рівною висотіопорної точки, що знаходиться найближче. z x або y 1 2 3 4 5 6 7 8 9 10 порядкові номери осередків растру d2 z1, z0 z2 z0 = z1 |якщо d1

    Слайд 31

    Spline interpolation

    Наступний метод інтерполяції отримав назви методу сплайнів (spline у ​​перекладі з англійської – пружна лінійка), або шматково-поліноміального згладжування.

    Слайд 32

    кінці відрізків криволінійні відрізки сплайну f3'(z, x[y]) f1(z, x[y]) f2(z, x[y]) f3(z, x[y]) f4(z, x[y]) ) f5(z, x[y]) f1´´(z, x[y]) z x або y z x або y 1 2 3 4 5 6 7 8 9 10 порядкові номери осередків растру z1 z2 z0 z0 = f(z, x [y]) x[y]1 z3 z4 x[y]2 x[y]3 x[y]4 f(z, x[y])

    Слайд 33

    Апроксимуюча інтерполяція

    Усі розглянуті методи інтерполяції відносяться до точних. Однак найбільшу популярність здобули апроксимуючі методи: поліноміальна інтерполяція кригінг.

    Слайд 34

    В апроксимуючих методах рельєф земної поверхні розуміється як дуже складна функціявиду z = F(x, y), тобто. висота точки залежить від її просторового становища. Ця функція невідома і невизначена, оскільки враховує величезну кількість причин і факторів, що впливають на рельєф. Але її можна замінити більш простою функцією, властивості якої відомі, і уявити рельєф у вигляді z = f(x, y) + ε, де ε– деякий нерозкладний залишок, дуже малий за величиною: = ε→ 0.

    Слайд 35

    Поліномінальна інтерполяція

    У поліноміальної інтерполяції відшукання висот проміжних точок z0 проводиться шляхом вирішення поліномів заданого ступеня m: де aij-коефіцієнти полінома, а x і y - координати мережі. Коефіцієнти полінома визначаються виходячи з умови мінімізації ε, для цього необхідно, щоб число опорних точок, що залучаються для розрахунку, було не менше величини (m + 1) · (m + 2) / 2. Порядок полінома вказує на число максимумів, що чергуються, або мінімумів апроксимуючої поверхні, яка дорівнює m - 1.

    Слайд 39

    Кригінг.1

    У методі кригінгу мінливість висот підрозділяється на три компоненти: трендову e автокореляційну e випадкову e На прикладі одновимірної функції значення висот z в точках x може бути представлено як: z (x) = e (x) + e (x) + e ´´(x).

    Слайд 40

    Кригінг.2

    Трендова компонента відображає спрямованість змін висот Автокореляційна характеризують фізично важко зрозумілу варіацію, що залежить від сусідніх точок. Випадкова - деякий статистичний шум, що дорівнює постійному значенню. Розрізняють простий кригінг та універсальний. У простому кригінгу тренд e(x) передбачається постійним і сприймається як середня арифметична висота. В універсальному кригінгу тренд зазвичай моделюється поліномами першого чи другого ступеня.

    Слайд 41

    Кригінг.4

    z x z x e (x) e (x) e (x) z (x) = e (x) + e (x) + e (x)

    Переглянути всі слайди

    Поняття логічного моделювання Під логічним моделюванням розуміють повне та точне програмне відтворення поведінки цифрової схемиза її функціональним та/або структурного описута заданим наборам вхідних сигналів. При ручному проектуванні модель представляється макетом або досвідченим зразком (прототипом). При автоматизованому проектуванні макет, що діє, замінюється імітаційною (програмною) моделлю проекту, а натурні або фізичні експерименти – модельними (машинними). У модель легко вносити будь-які зміни і таким чином покращувати проект доти, доки він не досягне необхідної якості.






    Завдання, розв'язувані методом логічного моделювання 1.Основне завдання логічного моделювання - перевірити правильність функціонування цифрової схеми до її фактичного (фізичного) втілення 2.Дослідження тимчасових характеристик схеми - швидкодії, часу виконання операцій, максимальних частот рахунку чи зсуву. Виявлення змагань та ризиків збою. Затримки. 3.Контроль часових співвідношень - часу передустановки та часу утримання, мінімальної тривалості сигналів. 4. Розробка контролюючих та діагностичних тестів. Моделювання несправностей. 5. Порівняння альтернативних варіантів схемних рішень та вибір найбільш відповідного. "Тиранія альтернатив". До 70% часу роботи над проектом витрачається саме на його верифікацію


    Завдання, які вирішуються методом логічного моделювання 6.Контроль виходів компонентів на допустиме навантаження. 7.Контроль компонентів схеми на допустиму потужність розсіювання. 8.Виявлення елементів, що не встановлюються за сигналами скидання або початкової ініціалізації. 9.Виконання статистичних оцінок, наприклад, визначення відсотка виходу придатних схем, які неможливо зробити на одиничних дослідних зразках. 10. Проведення кліматичних, найчастіше температурних випробувань.


    Процес логічного моделювання Моделювання виконується аналогічно до перевірки схеми вручну. Експериментуючи з макетом, що діє, інженер встановлює рівні напруг на входах схеми і спостерігає вихідні сигнали на екрані осцилографа. У разі логічного моделювання він імітує ці дії за допомогою спеціальної програми, яка називається моделятором (симулятором, імітатором). Різниця в тому, що реальні, фізичні сигнали замінюються програмно генерованими і спостерігаються не на осцилографі, а на екрані монітора.


    Процес логічного моделювання З точки зору обробки даних моделювання зводиться до трьох основних процесів: Складання опису схеми, що моделюється, деякою мовою (ЯТО - мова опису об'єктів) і введення його в ЕОМ. Опис можна задати у вигляді схеми, списком компонентів та зв'язків (NetList), у формі табличного уявлення, як діаграми станів ЦА. Контролює опис (наприклад, пошук плаваючих входів, закорочених виходів, дубльованих імен) та трансляцію його в об'єктний код. Програма контролю ERC – Electrical Rules Check. Виконує експерименти з програмною моделлю, що імітує роботу схеми. Перед початком моделювання задаються набори вхідних сигналів, вихідний стан схеми, контрольні точки спостереження, кінцевий час моделювання.


    Графічне уявленняпроцесу логічного моделювання Введення опису схеми NetList Бібліотеки графічних описів компонентів Автоматична генерація моделі схеми Бібліотеки математичних моделей компонентів ЯГО Проектувальник & Y=A and B; Модель схемиМоделятор proceduremain Інструментальні засоби моделювання Діаграми вхідних сигналів Вихідний стан схеми Управління висновком Спеціальні умови Метод моделювання Результати моделювання Робоча програма ЯОЗ M1 – принцип дельта T M2 – принцип дельта Z min typical max температура несправності Компілююче моделювання Компонувальник


    Моделі цифрових сигналів Коло завдань, розв'язуваних методом логічного моделювання, визначається насамперед числом помітних станів, які можуть приймати цифровий сигнал. Кожному стану зіставляється свій індивідуальний символ, які сукупність становить алфавіт моделювання. Найпростіший алфавіт - двійковий, що використовується у старих АСМ, містив бітовий набір (0, 1). Так як у цьому випадку будь-який сигнал може набувати лише двох значень (0 і 1), то зміну логічного рівнявимушено доводилося вважати миттєвою. Реальний сигнал Поріг Двійкова апроксимація Подія – миттєве перемикання Гідність – економічність. Дозволяє вирішувати лише одну головне завданнямоделювання – перевірити роботу схеми


    Моделі цифрових сигналів При троїчному моделюванні (0, 1, Х) сигнал, що перемикається, можна зобразити більш реалістично, наприклад 0Х1 або 1Х0. Такий запис означає, що з зміні стану елемента його вихідний сигнал протягом деякого часу (поки формувався фронт чи спад) мав невизначене значення. 0 1 X Перемикання 0X1 Перемикання 1X0 0 1 X 0X1 Active-HDL 8.1 X – невідоме значення Тризначний алфавіт (0,1,X) використовується у мові PML (САПР PCAD 4.5) X надається сигналу на виході ЛЕ під час перехідного процесу. X присвоюється виходам тригера після подачі на його входи заборонених комбінацій сигналів X присвоюється виходам тригера на початку моделювання, коли його стан невідомий


    Моделі цифрових сигналів При моделюванні компонентів з динамічними входами (тригери, лічильники, регістри, пам'ять) дуже зручно фіксувати моменти перемикання сигналів у тому чи іншому напрямку. З цією метою до алфавіту моделювання додаються ще два значення: або / або R (від слова Rise - фронт) - перемикання сигналу вгору; або \ або F (від слова Fall – спад) – перемикання сигналу вниз. У САПР OrCAD 9.1 (PSpice проекти) використовується шестизначний алфавіт (0,1,X,R,F,Z)


    Моделі цифрових сигналів Для моделювання шинних структур в абетці допустимих значеньсигналів вводиться ще один Z-стан, тобто стан високого імпедансу на виході, коли він фактично відірваний від навантаження: (0,1, X, R, F, Z). Дуже поширений чотиризначний алфавіт (0,1, X, Z). Він використовується в таких мовах опису апаратури як Verilog, ABEL, AHDL (Altera), DSL (DesignLab). Чотиризначний алфавіт часто називають алфавітом синтезу ПЛІС.


    Моделі цифрових сигналів Для більш точного подання сигналів (більше адекватного моделювання) можна використовувати два основних прийоми: Розширювати алфавіт моделювання (так ми вже діяли); Вводити поняття логічної сили сигналу (strength level). Як приклад, розглянемо розширений алфавіт моделювання мови VHDL type bit is (0,1); - Базовий, вбудований тип сигналу. Алфавіт (0,1) std_ulogic is (U,X,0,1,Z,W,L,H,-); - Розширений тип сигналу. Алфавіт (U,X,0,1,Z,W,L,H,-) Розширений тип сигналів розташований в окремому пакеті std_logic_1164, що знаходиться в бібліотеці ieee. Тому, щоб включити цей тип сигналів у модель, необхідно перед нею розмістити рядки:


    Моделі цифрових сигналів Мова VHDL Алфавіт (U,X,0,1,Z,W,L,H,-) U – від слова Uninitialized – дослівно «не ініціалізовано» Це означає, що сигналу в програмі взагалі не присвоювалися будь-які значення ; забезпечує контроль коректності ініціалізації - байдужий стан (Dont Care) Це означає, що сигнал може прийняти будь-яке з дозволених значень, що не вплине на роботу схеми. У книгах та довідниках байдужий стан часто позначають символами "d" або "*". JK-тригер R C J K Q NQ Скидання 1 * * * 0 1 При синтезі ЦА в заборонених станах замість «*» ви можете поставити 0 або 1 і отримайте різні схемні рішення. У САПР вибір конкретного значеннявіддається на відкуп компілятор з метою оптимізації проектованого пристрою. приклад. Мова DSL у САПР DesignLab 8. У виразі Y = .X.; компілятор за промовчанням PLSyn поставить Y = 0;


    Моделі цифрових сигналів Active-HDL 8.1 Графічне уявлення значень цифрового сигналу. Поняття сильного (force) і слабкого (weak) сигналів X – forcing unknown 0 – forcing zero 1 – forcing one W – weak unknown L – weak zero (слабкий нуль) H – weak one (слабка одиниця) Слабкий сигналформується від джерел, які називаються драйверами. Вони мають високий вихідний опір, порівняно з джерелами сильних сигналів. Наприклад, схема з відкритим колектором чи емітером.


    Моделі цифрових сигналів SDRZ 0S0D0R0Z0 1S1D1R1Z1 XSXDXRXZX Повернемося до поняття логічної сили сигналу. Ми вже знаємо, що розширення можливостей моделювання, підвищення його адекватності може досягатися не тільки збільшенням алфавіту моделювання, а й запровадженням поняття «рівня логічної сили сигналу». Вперше ця ідея була реалізована в мові PML PCAD 4.5. Приклад: Мова Verilog має лише 4-значний алфавіт моделювання (0,1,X,Z), але одночасно 8 значень логічної сили. Логічна сила S > D > R > Z D > R > Z">


    Моделі логічних елементівПри побудові моделей логічних елементів можуть враховуватися такі характеристики: функція, що виконується; затримка розповсюдження сигналу; здатність навантаження; пороги спрацьовування; тривалість фронтів; випадковий розкид затримок; температурні зміни параметрів (наприклад, тимчасових затримок, рівнів логічного нуля та одиниці тощо). Зауважимо, що вища значимість алфавіту моделювання і що більше властивостей враховується в моделі, то більше ресурсів (процесорного часу і пам'яті) потрібно прогону моделі. З цієї причини в сучасних системах моделювання число дозволених значень цифрового сигналу зазвичай не перевищує 4..9, а з можливих властивостей, як правило, моделюється лише функція, тимчасова затримка та здатність навантаження.


    Булевські моделі Булевські моделі логічних елементів працюють із двійковим алфавітом (0,1) і можуть бути реалізовані у вигляді: логічного рівняння, таблиці істинності або блок-схеми алгоритму IN1 IN2 OUT1 & AND2 IN1 IN2 OUT1 & AND2 IN1 IN2 OUT1 & AND2 F1 F2 Y1 Потоковий опис схеми: Y1 = A & B; (PCAD 4.5, мова PML) Y1 = A * B; (DesignLab 8, мова DSL) Y1


    PROCEDURE AND2 (INPUT IN1, IN2; OUTPUT OUT1); TRUTH_TABLE IN2, IN1:: OUT1; 1, 1:: 1; END TRUTH_TABLE; END AND2; Булевські моделі IN1 IN2 OUT1 & AND2 IN1 IN2 OUT1 & AND2 IN1 IN2 OUT1 & AND2 F1 F2 Y1 IN1IN2OUT Алгоритмічний опис Табличний опис Мова DSL Початок Кінець IN1=0 IN2=0 OUT1=0OUT1=1 Так Ні Так Ні


    Булевські моделі Зазвичай булевські моделі використовуються для синхронного потактового моделювання (принцип дельта Т) без урахування затримок. Це найпримітивніше моделювання. Головна його перевага – простота та економічність. При булівському моделюванні час розбивається на такти (принцип t). Тривалість такту вибирається те щоб у межах одного такту жоден сигнал не переключився більше разу. Реальне перемикання переноситься початку того такту, у якого воно сталося. Перемикання вважається миттєвим. Затримка поширення сигналу від входу F1 (або F2) до виходу Y1 не моделюється, так як обидва перемикання переносяться на початок такту Т2 (або Т4) і стають одночасними. Модельний час F1 F2 Y1 Такт Реальний сигнал Булевська модель T0T1 T2 T3T4T5T6 Ризик збою Миттєва подія «Голка» Glitch


    Зазвичай один такт відповідає одному набору вхідних сигналів і обробляється за один цикл роботи моделятора. З кожним циклом до лічильника модельного часу додається одиниця, тобто модельний час просувається по тактах відповідно до виразу: Т:=Т+1. У реальній схемі через перекриття фронтів сигналів F1 і F2 на виході елемента 2 може з'явитися короткий імпульс - ризик збою (такт Т6). Булевские моделі неспроможна передбачити появу таких голок, дуже небезпечних роботи цифрової апаратури. Булівське моделювання вирішує лише одне головне завдання будь-якого моделювання – перевірку правильності функціонування цифрової апаратури


    Потрібні моделі Потрібні моделі на відміну від булевських імітують виникнення перехідних процесів при зміні рівнів сигналів. При трійковому моделюванні такт розбивається на два напівтакти. Протягом першого напівтакту сигнал приймає значення Х (змінюється), а на другому півтакті досягає нового значення. У трійкових моделях використовується тризначний алфавіт (0,1, X)


    Трійкові моделі Модельний час F1 F2 Y1 Реальний сигнал Ризик збою 0 1 X Модель ризику збою Трійкова модель 1 X X Такт T6 Напівтакт невизначеності Напівтакт визначеності IN1 IN2 OUT1 & AND2 IN1 IN2 OUT1 & AND2 IN1 IN2 OUT1 & AND2 F1 X1X XXX M2 M3 1X0 0X1 0X0 таблиця істинності елемента 2І для тризначної логіки


    Троїчні моделі Ознакою ризику збою є однакові значення сигналу на сусідніх тактах і значення Х на напівтакті невизначеності між ними. 0011XX Ризик збою Потрійне моделювання відображає лише сам факт перемикання сигналу і не уточнює, скільки часу тривало перемикання, і де саме в межах такту воно відбувалося. Іншими словами, тривалість Х - стану при трійковому моделюванні завжди дорівнює напівтакту і ніяк не пов'язана з реальним часомперемикання сигналу.


    Багатозначні моделі Багатозначні моделі дають змогу більш точно описати поведінку реальних елементів, однак у порівнянні з трійковими моделями нічого принципово нового вони не містять. Для порівняння розглянемо таблиці істинності елемента 2І при двійковому, трійковому та п'ятизначному моделюванні. OUT1 IN2 01X IN X X0XXXX 0 X X 0 XX IN1 IN2 OUT1 & AND2 IN1 IN2 OUT1 & AND2 IN1 IN2 OUT1 & AND2 F1 F2 Y1 X ? IN1 IN2 OUT1 & AND2? IN1 IN2 OUT1 & AND2 M2M3 M5


    Моделі логічних елементів з урахуванням затримок Ці моделі на відміну трійкових імітують затримки у вигляді. Щоб відобразити затримку, треба вказати справжнє положення сигналу, що перемикається на часовій осі. Моделювання затримок при потактовий спосіб просування модельного часу (принцип дельта T). Щоб відобразити затримку, треба підвищити роздільну здатність часу, тобто розділити такт на дрібніші одиниці часу, звані квантами (мікротактами) або кроками. Наприклад, у пакеті PCAD такт називається CYCLE, а квант – STEP. 1 A Y A Y Квант Такт tз = 8 квантів Затримка є цілим числом - числом квантів


    Моделі логічних елементів з урахуванням затримок У моделях з урахуванням tз явно такт нарізається на кванти. Причому величина кванта повинна становити невелику частину затримки, наприклад 1ns. Цикл роботи моделюючої програми тепер прив'язується не такту, а кванту. Тому, щоб змоделювати роботу схеми протягом одного такту, моделятору доведеться виконати набагато більший обсяг роботи, а саме стільки циклів, скільки квантів міститься на довжині такту. Тепер з точністю до кванта можна вказати моменти істинних перемикань на входах та виходах, а також обчислити цілим числом квантів затримку розповсюдження. Залишається лише змоделювати її. Класична модель логічного елемента з урахуванням затримки містить два блоки. Перший – реалізує логіку (функцію), другий – чисту затримку. φ tз = 0 B A C YсYс Y Логічний блок Блок затримки Yс (від слова синхронний) миттєво реагує на зміни вхідних сигналів Динамічна модель у PSpice проектах


    Моделі логічних елементів з урахуванням затримок AYсYс Логічний блок LOGICEXP PINDLY Лічильник tз Контейнер Yс Контейнер Y Y NextCurrent Зберігає майбутнє значення Зберігає поточне значення Блок затримки Можлива реалізація блоку затримки для потактового моделювання Лічильник. При синхронному перемиканні виходу Yс нове значення записується у контейнер майбутніх значень, а лічильник tз заноситься затримка, з якою нове значення Yс має з'явитися виході Y.


    Моделі логічних елементів з урахуванням затримок У процесі просування модельного часу (tкванта = tкванта + 1) затримка в лічильнику tз зменшується, не «розтане» до нуля. Майбутнє значення виходу стає поточним, це означає, що вміст лівого контейнера треба переписати в правий. Моделювання затримок при механізмі подій просування модельного часу (принцип дельта Z). Ми розглянули варіант, коли моделюється затримка всередині кожного логічного елемента. Таке рішення призводить до значних витрат ресурсів інструментальної ЕОМ. Інша можливість змоделювати реальну затримку полягає в тому, щоб спланувати нову подію на виході та розрахувати момент її настання t(Y) простому правилу t(Y) = t(Yс) + tз Але t(Yс) – це поточний модельний час t(поточний) Значить для будь-якої події (перемикання) можна спланувати час наступу майбутньої події як t(майбутнє) = t(поточне) + t(затримки)


    Моделі логічних елементів з урахуванням затримок Обчислена подія міститься моделятором у чергу майбутніх подій ОБС, яка відсортована в хронологічному порядку. Як видно, вся робота з імітації затримок перекладається на моделятор, якому потрібно лише зазначити величину затримки щодо поточного модельного часу. Зауважимо, що округляти її до цілого числа квантів тепер зовсім необов'язково. Мовою VHDL це робиться дуже елегантно: Y



  • Останні матеріали розділу:

    Основний план дій та способи виживання Вночі тихо, вдень вітер посилюється, а надвечір затихає
    Основний план дій та способи виживання Вночі тихо, вдень вітер посилюється, а надвечір затихає

    5.1. Поняття про місце існування людини. Нормальні та екстремальні умови життєпроживання. Виживання 5.1.1. Поняття про довкілля людини...

    Англійські звуки для дітей: читаємо транскрипцію правильно
    Англійські звуки для дітей: читаємо транскрипцію правильно

    А ви знали, що англійський алфавіт складається з 26 літер та 46 різних звуків? Одна й та сама буква може передавати кілька звуків одночасно.

    Контрольний тест з історії на тему Раннє Середньовіччя (6 клас)
    Контрольний тест з історії на тему Раннє Середньовіччя (6 клас)

    М.: 2019. – 128 с. М.: 2013. – 160 с. Посібник включає тести з історії Середніх віків для поточного та підсумкового контролю та відповідає змісту...