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

Authors: Поляков, Г. А., Лысых, В. В.

Subject Terms: математика, алгебра, семантико-числовая спецификация, алгебра логики, цифровые схемы

Relation: http://dspace.bsu.edu.ru/handle/123456789/62309

Availability: http://dspace.bsu.edu.ru/handle/123456789/62309

ОБОБЩЕННАЯ МОДЕЛЬ НАЗНАЧЕНИЯ ЗАДАЧ ДЛЯ МРР СИСТЕМ

Authors: Поляков, Г., Толстолужская, Е., Толстолужский, Д.

Subject Terms: НАЗНАЧЕНИЕ ЗАДАЧ,СЕМАНТИКО-ЧИСЛОВАЯ СПЕЦИФИКАЦИЯ,КЛАСТЕРЫ ФРАГМЕНТОВ,ВРЕМЯПАРАМЕТРИЗОВАННЫЕ ПАРАЛЛЕЛЬНЫЕ МОДЕЛИ,МРР СИСТЕМЫ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/obobschennaya-model-naznacheniya-zadach-dlya-mrr-sistem
http://cyberleninka.ru/article_covers/15579718.png

Обобщенная модель назначения задач для МРР систем

Authors: Поляков, Г. А., Толстолужская, Е. Г., Толстолужский, Д. А.

Subject Terms: математика, дискретная математика, МРР системы, семантико-числовая спецификация, кластеры, задачи

Relation: http://dspace.bsu.edu.ru/handle/123456789/57535

Availability: http://dspace.bsu.edu.ru/handle/123456789/57535

Модели формирования сообщений из принятых кадров при мультимаршрутной передаче данных в компьютерных сетях ; Моделі формування повідомлень з прийнятих кадрів при мультимаршрутній передачі даних в комп'ютерних мережах ; Model of the messages formation from the received frames at multipath data transmission in computer networks

Authors: С.И. Шматков, C.І. Шматков, S.I. Shmatkov

Source: Системи обробки інформації. — 2013. — № 8(115). 243-248 ; Системы обработки информации. — 2013. — № 8(115). 243-248 ; Information Processing Systems. — 2013. — № 8(115). 243-248 ; 1681-7710

Subject Terms: Інфокомунікаційні системи, УДК 4.75, компьютерные сети, мультимаршрутная передача, вероятностно-временные графы, семантико-числовая спецификация, комп’ютерні мережі, мультимаршрутна передача, ймовірнісно-часові графи, семантико-числова специфікація, computer networks, multipath transmission, probabilistic-time graphs, semantic numerical specification

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/11187/soi_2013_8_50.pdf; http://www.hups.mil.gov.ua/periodic-app/article/11187

Availability: http://www.hups.mil.gov.ua/periodic-app/article/11187

Метод оценки времени доставки сообщения в компьютерных сетях ; Метод оцінки часу доставки повідомлення в комп’ютерних мережах ; The method of evaluation time delivery message into computer networks

Authors: С.И. Шматков, C.І. Шматков, S.I. Shmatkov

Source: Системи обробки інформації. — 2013. — № 6(113). 258-261 ; Системы обработки информации. — 2013. — № 6(113). 258-261 ; Information Processing Systems. — 2013. — № 6(113). 258-261 ; 1681-7710

Subject Terms: Інфокомунікаційні системи, УДК 4.75, качество обслуживания, вероятностно-временные графы, семантико-числовая спецификация, якість обслуговування ймовірнісно-часові графи, семантико-числова специфікація, quality of service, probabilistic-time graphs, semantic numerical specification

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/10990/soi_2013_6_52.pdf; http://www.hups.mil.gov.ua/periodic-app/article/10990

Availability: http://www.hups.mil.gov.ua/periodic-app/article/10990

Метод оценки вероятности доставки сообщения за заданное время в компьютерных сетях ; Метод оцінки ймовірності доставки повідомлення за заданий час в комп’ютерних мережах ; A method of estimating the probability of message delivery in the specified time into computer networks

Authors: С.И. Шматков, C.І. Шматков, S.I. Shmatkov

Source: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2013. — № 3(36). 140 ; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2013. — № 3(36). 140 ; Scientific Works of Kharkiv National Air Force University. — 2013. — № 3(36). 140 ; 2073-7378

Subject Terms: Кібернетика та системний аналіз, УДК 4.75, компьютерные сети, требования пользователей, вероятностно-временные графы, семантико-числовая спецификация, комп’ютерні мережі, вимоги користувачів, ймовірнісно-часові графи, семантико-числова специфікація, computer networks, users requirements, probabilistic-time graphs, semantic numerical specification

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/3355/zhups_2013_3_32.pdf; http://www.hups.mil.gov.ua/periodic-app/article/3355

Availability: http://www.hups.mil.gov.ua/periodic-app/article/3355

Модели восстановления потерянных и искаженных сообщений при мультимаршрутной передаче данных в компьютерных сетях ; Моделі відновлення втрачених і спотворених повідомлень при мультимаршрутній передачі даних в комп'ютерних мережах ; Models of recovering lost and corrupted messages at multipath data transmission in computer networks

Authors: С.И. Шматков, C.І. Шматков, S.I. Shmatkov

Source: Системи озброєння і військова техніка. — 2013. — № 3(35). 129-133 ; Системы вооружения и военная техника. — 2013. — № 3(35). 129-133 ; Systems of Arms and Military Equipment. — 2013. — № 3(35). 129-133 ; 1997-9568

Subject Terms: Теоретичні основи розробки систем озброєння, УДК 4.75, компьютерные сети, мультимаршрутная передача, вероятностно-временные графы, семантико-числовая спецификация, комп’ютерні мережі, мультимаршрутна передача, ймовірнісно-часові графи, семантико-числова специфікація, computer networks, multipath transmission, probabilistic-time graphs, semantic numerical specification

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/2254/soivt_2013_3_33.pdf; http://www.hups.mil.gov.ua/periodic-app/article/2254

Availability: http://www.hups.mil.gov.ua/periodic-app/article/2254

Метод функционального СЧС-синтеза проблемно-ориентированных параллельно-конвейерных цифровых устройств

Authors: Поляков, Г. А., Лысых, В. В.

Subject Terms: техника, вычислительная техника, параллельные вычислительные системы, методы параллелизма, функциональный синтез, семантико-числовая спецификация

Relation: http://dspace.bsu.edu.ru/handle/123456789/55781

Availability: http://dspace.bsu.edu.ru/handle/123456789/55781

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

Authors: Лысых, К. В., Поляков, Г. А.

Subject Terms: техника, радиоэлектроника, вычислительная техника, параллельная вычислительная система, фрагментированная параллельная модель, семантико-числовая спецификация, формальные полиномы, Си-граф

Relation: http://dspace.bsu.edu.ru/handle/123456789/54999

Availability: http://dspace.bsu.edu.ru/handle/123456789/54999

Функциональный синтез параллельных неперестраиваемых спецпроцессоров с использованием аппарата структур семантико-числовой спецификации

Authors: Поляков, Г. А., Лысых, В. В., Толстолужская, В. В.

Subject Terms: техника, радиоэлектроника, вычислительная техника, параллельная вычислительная система, фрагментированная параллельная модель, семантико-числовая спецификация, Си-граф, САПР, система автоматизированного проектирования

Relation: http://dspace.bsu.edu.ru/handle/123456789/54743

Availability: http://dspace.bsu.edu.ru/handle/123456789/54743

Методика синтеза временной модели управления параллельным вычислительным процессом ; Методика синтезу часової моделі управління паралельним обчислювальним процесом ; Method of synthesis of the interim management model parallel computing processes

Authors: Е.Г. Толстолужская, Ю.А. Артюх, О.Г. Толстолузька, Ю.О. Артюх, E.G. Tolslolujskaia, Iu.A. Artiukh

Source: Системи обробки інформації. — 2011. — № 8(98). 248-252 ; Системы обработки информации. — 2011. — № 8(98). 248-252 ; Information Processing Systems. — 2011. — № 8(98). 248-252 ; 1681-7710

Subject Terms: Інфокомунікаційні системи, УДК 681.3.06, семантико-числовая спецификация (СЧС спецификация), Си-граф, временные параллельные граф-схемы алгоритмов (ВПГС), мультипараллельная обработка данных, автоматизированный синтез, параллельная временная модель управления, СЧС специфікація, Сі-граф, ВПГС, мультипаралельна обробка даних, автоматизований синтез, паралельна часова модель управління, SUS specification, the C-graph VPGS, multiparallel data processing, automized synthesis parallel time model of management

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/9270/soi_2011_8_57.pdf; http://www.hups.mil.gov.ua/periodic-app/article/9270

Availability: http://www.hups.mil.gov.ua/periodic-app/article/9270

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

Subject Terms: цифровые схемы, математика, алгебра, семантико-числовая спецификация, алгебра логики

Access URL: https://openrepository.ru/article?id=2709

Обобщенная модель назначения задач для МРР систем

Source: Научные ведомости Белгородского государственного университета. Серия: Экономика. Информатика.

Subject Terms: НАЗНАЧЕНИЕ ЗАДАЧ,СЕМАНТИКО-ЧИСЛОВАЯ СПЕЦИФИКАЦИЯ,КЛАСТЕРЫ ФРАГМЕНТОВ,ВРЕМЯПАРАМЕТРИЗОВАННЫЕ ПАРАЛЛЕЛЬНЫЕ МОДЕЛИ,МРР СИСТЕМЫ

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/obobschennaya-model-naznacheniya-zadach-dlya-mrr-sistem
http://cyberleninka.ru/article_covers/15579718.png

Метод функционального СЧС-синтеза проблемно-ориентированных параллельно-конвейерных цифровых устройств

Subject Terms: параллельные вычислительные системы, функциональный синтез, семантико-числовая спецификация, методы параллелизма, технические науки, вычислительная техника

Access URL: https://openrepository.ru/article?id=3442

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

Subject Terms: фрагментированная параллельная модель, радиоэлектроника, параллельная вычислительная система, семантико-числовая спецификация, техника, вычислительная техника, формальные полиномы, Си-граф

Access URL: https://openrepository.ru/article?id=26549

Функциональный синтез параллельных неперестраиваемых спецпроцессоров с использованием аппарата структур семантико-числовой спецификации

Subject Terms: фрагментированная параллельная модель, радиоэлектроника, параллельная вычислительная система, система автоматизированного проектирования, семантико-числовая спецификация, САПР, техника, вычислительная техника, Си-граф

Access URL: https://openrepository.ru/article?id=6166

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

Authors: Лысых, К. В., Поляков, Г. А.

Index Terms: техника, радиоэлектроника, вычислительная техника, параллельная вычислительная система, фрагментированная параллельная модель, семантико-числовая спецификация, формальные полиномы, Си-граф, Article

URL: http://hdl.handle.net/rour/26549uri

Метод функционального СЧС-синтеза проблемно-ориентированных параллельно-конвейерных цифровых устройств

Authors: Поляков, Г. А., Лысых, В. В.

Index Terms: технические науки, вычислительная техника, параллельные вычислительные системы, методы параллелизма, функциональный синтез, семантико-числовая спецификация, Article

URL: http://hdl.handle.net/rour/3442uri
История. Политология. Экономика. Информатика

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

Authors: Поляков, Г. А., Лысых, В. В.

Index Terms: математика, алгебра, семантико-числовая спецификация, алгебра логики, цифровые схемы, Article

URL: http://hdl.handle.net/rour/2709uri
История. Политология. Экономика. Информатика

Обобщенная модель назначения задач для МРР систем

Authors: Поляков, Г. А., Толстолужская, Е. Г., Толстолужский, Д. А.

Index Terms: математика, дискретная математика, МРР системы, семантико-числовая спецификация, кластеры, задачи

URL: http://hdl.handle.net/rour/880uri