Синтез спеціалізованих цифрових пристроїв за умовою надійності на основі систем числення з постійною кількістю одиниць
Оцінка якості функціонування спеціалізованих цифрових пристроїв. Аналіз сучасного стану розвитку засобів обчислювальної техніки. Розробка алгоритмів і моделей пристроїв кодування, декодування і контролю інформації для синтезованих систем числення.
Подобные документы
Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014Реалізація методу синтезу композиційних мікропрограмних пристроїв керування з традиційними й елементарними операторними лінійними ланцюгами на основі адреси мікрокоманди у вигляді конкатенації коду операторного лінійного ланцюга та її компонентів.
автореферат, добавлен 27.02.2014Розгляд процесів, які відбуваються в інформаційній системі. З'ясування елементів апаратної складової інформатичних систем. Принцип дії пристроїв введення інформації. Класифікація програмного забезпечення. Визначення основних функцій системних програм.
презентация, добавлен 24.10.2019Аналіз способів побудови та методів дискретизації цифрових моделей реального часу для динамічних систем. Необхідність розробки нових високоефективних способів зменшення витрат основних розрахункових ресурсів керуючих електронно-обчислювальних машин.
автореферат, добавлен 22.06.2014Системи числення як сукупність прийомів та правил запису чисел за допомогою цифр чи інших символів, критерії їх поділу. Запуск та завершення роботи з операційною системою. Методи та принципи захисту від комп`ютерних вірусів. Основні види internet-послуг.
контрольная работа, добавлен 18.01.2011Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Ознайомлення з макетом моделі портативного приладу. Дослідження основних режимів роботи мікропроцесора. Аналіз програми, схеми та налагодження пристроїв. Розгляд пристрою для вимірювання параметрів навколишнього середовища на базі інтегрованої плати.
статья, добавлен 27.07.2016Застосовування методів аналізу й синтезу при розробці обчислювальних пристроїв. Адаптація методу великих часток реального часу до вимог систем візуалізації. Синтез зображень газодинамічних об'єктів. Розробка схеми обчислювача, моделювання блоків.
автореферат, добавлен 27.08.2015Розгляд існуючих структур композиційних мікропрограмних пристроїв керування з розділенням кодів з метою виявлення шляхів їх удосконалення. Дослідження та характеристика розроблених структур з метою визначення області їх ефективного застосування.
автореферат, добавлен 27.07.2015Виявлення помилок передачі цифрових даних в лініях комп'ютерних мереж та шинах обчислювальних систем. Розробка підходів до збільшення надійності високопродуктивних методів контролю, програмно-апаратних засобів контролю помилок підвищеної швидкодії.
автореферат, добавлен 23.08.2014Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Історія створення та еволюції персонального комп’ютера. Апаратне та програмне забезпечення комп’ютера, загальні характеристика його внутрішніх складових. Основні властивості зовнішніх пристроїв комп’ютера або пристроїв введення, виведення інформації.
реферат, добавлен 16.09.2017Технології здійснення цифрових бібліотечних проектів. Вивчення моделей формування інтегрованих цифрових ресурсів бібліотек та технологічних засобів, що використовуються для створення, підтримки і введення у суспільний обіг цифрових бібліотечних колекцій.
статья, добавлен 29.12.2017Аналіз еволюції підходів до побудови теоретико-множинних моделей лямбда-числення. Вивчення оригінальних теоретико-порядкових характеризацій відповідних класів неперервних функцій, порівняльний аналіз цих понять неперервності функції з їх аналогами.
автореферат, добавлен 26.08.2015Розробка та дослідження варіанту автоматизованої класифікації пристроїв орієнтування як складових СООВ з використанням штучних нейронних мереж, що в подальшому забезпечить їх автоматизований вибір за попередньо розробленою відповідною методикою.
статья, добавлен 22.03.2013Доцільність кодування техніко-економічної інформації для підвищення ефективності її автоматизованої обробки. Сутність порядкової, серійно-порядкової, послідовної, паралельної систем кодування даних. Описання технології штрихового кодування інформації.
реферат, добавлен 13.07.2017- 92. Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення
Визначення та характеристика нового методу завадостійкого кодування, що поєднує кілька підходів до побудови завадостійких кодів. Дослідження особливостей викоритсання арифметичних властивостей чисел, що подаються вхідними бітовими послідовностями.
статья, добавлен 28.02.2016 Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Обґрунтування схеми електричної структурної. Принцип роботи окремих ВІС з використанням часових діаграм та алгоритмів роботи. Робота пристрою згідно схеми електричної принципової. Тест перевірки окремих вузлів або пристроїв, розрахунок надійності.
курсовая работа, добавлен 24.03.2009- 95. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Сутність методу завадостійкого кодування, у якому повідомлення, що кодуються, розглядаються як цілі числа та подаються у двобазисній системі числення. Кодування за допомогою скінченного автомата. Його вища завадостійкість порівняно з іншими методами.
статья, добавлен 25.10.2016Сучасний стан напівпровідникових запам’ятовуючих пристроїв. Розробка математичної моделі запам’ятовуючого пристрою та засобу діагностування. Методи вибору тестів при наявності апріорних даних про властивості тестів. Особливості програми Optimal Test.
автореферат, добавлен 24.08.2015Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Аналіз сучасних мікропроцесорних пристроїв та їх особливостей як об'єктів діагностування. Характеристика відомих методів генерації тестів та області застосування. Особливості розробки структурно-поведінкової моделі МПП як об'єкту діагностування.
автореферат, добавлен 10.01.2014Дослідження присвячено вивченню особливостей класифікації носимих електронних пристроїв. Проаналізовано статистичні дані щодо ринку цих товарів та підходи до їх групування у відомих торговельних мережах. Запропоновано класифікацію носимих гаджетів.
статья, добавлен 01.04.2022