Пошуковий запит: (<.>U=З970.73$<.>) |
Загальна кількість знайдених документів : 82
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. |
Покозий Е. А. Анализ поведения параметрических временных сетей Петри / Е. А. Покозий // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 111-119. - Библиогр.: 11 назв. - рус.Вводится понятие параметрических временных сетей Петри, которые обобщают временные сети Петри. В таких сетях на переходы наложены параметрические ограничения, а параметры представляют собой символические константы с неизвестными фиксированными значениями. Предложен алгоритм анализа временного поведения систем реального времени, использующий язык темпоральной логики TCTL и безопасная параметрическая временная сеть Петри. Ключ. слова: Індекс рубрикатора НБУВ: З810.21 + З970.73
Рубрики:
|
|
| | |
|
2. |
Боюн В. П. Информационно согласованные методы и средства преобразования и обработки информации в системах реального времени / В. П. Боюн // Вестн. Херсон. гос. техн. ун-та. - 1999. - № 1(5). - С. 156-159. - Библиогр.: 2 назв. - рус.На основе анализа особенностей, задач и требований информационно-управляющих систем рассмотрены способы цифрового представления непрерывных сигналов и подходы к созданию информационно согласованных методов и средств преобразования и обработки информации в системах реального времени. Ключ. слова: Індекс рубрикатора НБУВ: З970.73-015
Рубрики:
Шифр НБУВ: Ж69571 Пошук видання у каталогах НБУВ
|
|
| | |
|
3. |
Паламар М. Спектральний аналіз сигналів у реальному масштабі часу / М. Паламар, І. Осов'як // Вісн. Терноп. держ. техн. ун-ту. - 1999. - 4, № 1. - С. 180-183. - Бібліогр.: 4 назв. - укp.Розглянуто апаратну структуру і алгоритм паралельної обробки та спектрального аналізу сигналів, який дозволяє розширити частотний діапазон вимірювального сигналу. Показано результати реєстрації і обробки за приведеним алгоритмом. Індекс рубрикатора НБУВ: З970.608 + З970.73-015
Рубрики:
Шифр НБУВ: Ж69332 Пошук видання у каталогах НБУВ
|
|
| | |
|
4. |
Боженкова Е. Н. Эквивалентностные понятия для структур событий с реальным временем / Е. Н. Боженкова // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 106-110. - Библиогр.: 6 назв. - рус.Формальная модель структуры событий направлена на описания поведения конкурирующих и распределенных систем. Преимущество таких структур событий в том, что они являются естественным способом представления всех отношений (причинность, конкурентность, конфликт) между событиями в структуре. Однако в такой модели не принимается во внимание временные аспекты поведения системы. В работе вводятся и исследуются временные структуры событий и их эквивалентности. Ключ. слова: Індекс рубрикатора НБУВ: З970.73
Рубрики:
|
|
| | |
|
5. |
Жабин В. И. Архитектура вычислительных систем реального времени / В. И. Жабин. - К. : ТОО "ВЕК+", 2003. - 174 c. - Библиогр.: с. 166-172 - рус.Рассмотрены вопросы повышения эффективности мультипроцессорных вычислительных систем реального времени. Предложен комплексный подход к реализации параллельных вычислительных процессов и масштабированию производительности систем с использованием концепции модульной организации аппаратных средств. Освещены возникающие при этом проблемы и предложены пути их решения. Показана эффективность совместного использования классической и потоковой моделей вычислений при реализации параллельных алгоритмов. Приведены примеры организации модульных вычислительных систем. Індекс рубрикатора НБУВ: З970.73-020
Рубрики:
Шифр НБУВ: ВА645402 Пошук видання у каталогах НБУВ
|
|
| | |
|
6. |
Жихарев В. Я. Методы моделирования и дискретной оптимизации вычислительных систем реального времени / В. Я. Жихарев, В. М. Илюшко, Л. Г. Кравец, С. В. Листровой, В. С. Харченко. - Х.; Житомир, 2004. - 496 c. - Библиогр.: с. 468-489 - рус.Описаны методы решения задач дискретной оптимизации, а также произвольных задач булевого программирования и оптимизации на графах. Рассмотрены особенности применения рангового подхода к решению данных задач и теории графов, являющихся формальными моделями широкого класса задач управления в сложных системах управления и сетях. Приведены универсальные алгоритмы их решения, а также модели многопроцессорных вычислительных систем. Індекс рубрикатора НБУВ: З970.73-01
Рубрики:
Шифр НБУВ: ВА654514 Пошук видання у каталогах НБУВ
|
|
| | |
|
7. |
Цмоць І. Г. Інформаційні технології та спеціалізовані засоби обробки сигналів і зображень у реальному часі / І. Г. Цмоць. - Л., 2005. - 227 c. - Бібліогр.: 134 назв. - укp.Розглянуто питання розробки методів, алгоритмів та архітектури спеціалізованих засобів технологій цифрової обробки сигналів і зображень. Описано алгоритми функціонування, програмування і навчання штучних нейронних мереж паралельної обробки сигналів. Розкрито структуру алгоритмічного операційного пристрою для прискореного обчислення базових операцій швидких алгоритмів ортогональних тригонометричних перетворень. Рассмотрены вопросы разработки методов, алгоритмов и архитектуры специализированных средств технологий цифровой обработки сигналов и изображений. Представлены алгоритмы функционирования, программирования и обучения искусственных нейронных сетей параллельной обработки сигналов. Раскрыта структура алгоритмического операционного устройства для ускоренного вычисления базовых операций быстрых алгоритмов ортогональных тригонометрических преобразований. Індекс рубрикатора НБУВ: З970.61 + З970.632.5 + З970.73
Рубрики:
Шифр НБУВ: ВС41254 Пошук видання у каталогах НБУВ
|
|
| | |
|
8. |
Барсов В. И. Методы многоверсионной обработки информации в модулярной арифметике : монография / В. И. Барсов, В. А. Краснобаев, А. А. Сиора, И. В. Авдеев. - К. : МОН; УИПА, 2008. - 458 c. - Библиогр.: с. 451-458 - рус.Предложены концепции создания сверхбыстродействующих и высокоотказоустойчивых средств обработки информации и управления объектами критического применения на основе использования модулярной арифметики. Описаны математические модели отказоустойчивости систем обработки информации и управления реального времени в модулярной арифметике с учетом требований по производительности. Освещены особенности создания нейрокомпьютера в модулярной арифметике. Внимание уделено многоверсионности методов контроля и коррекции ошибок в системе обработки и управления объектами критического применения с учетом использования модулярной арифметики. Індекс рубрикатора НБУВ: З970.6 + З970.73
Рубрики:
Шифр НБУВ: ВА702678 Пошук видання у каталогах НБУВ
|
|
| | |
|
9. |
Симоненко А. В. Динамическое распределение работ по ресурсам в распределенных вычислительных системах в масштабе реального времени / А. В. Симоненко // Электрон. моделирование. - 2002. - 24, № 5. - С. 47-58. - Библиогр.: 7 назв. - рус.Розглянуто новий підхід до розв'язку задачі динамічного розподілу робіт у системах реального часу. Запропоновано метод перетворення вихідної інформації у форму, що дозволяє використовувати для побудови плану розв'язку відомі алгоритми. Запропонований метод дозволяє складати план розв'язку, з урахуванням продуктивністі обчислювальних вузлів та систем пріоритетів (штрафів). Ключ. слова: задача назначения, планирование вычислений, составление расписания, параллельное программирование Індекс рубрикатора НБУВ: З970.73
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
|
|
| | |
|
10. |
Пономаренко Л. А. Стратегия вытеснения с виртуальным порогом для доступа в буфер узла интегральной сети / Л. А. Пономаренко, А. З. Меликов, М. И. Фаттахова // Пробл. упр. и информатики. - 2004. - № 4. - С. 106-115. - Библиогр.: 17 назв. - рус.Запропоновано нову стратегію доступу до загального буфера вузла інтегральної мережі, який використовується спільно пакетами реального та нереального часу. Відповідно до даної стратегії пакети реального часу, що надійшли, можуть витісняти з повністю заповненого буфера пакети нереального часу, якщо кількість пакетів реального часу менше певного значення. Розроблено ефективні алгоритми розрахунку й оптимізації показників якості обслуговування різнотипних пакетів. Наведено результати обчислювальних експериментів. Індекс рубрикатора НБУВ: З970.73-016
Рубрики:
Шифр НБУВ: Ж26990 Пошук видання у каталогах НБУВ
|
|
| | |
|
11. |
Илюшко В. М. Выбор и обоснование показателей для оценки отказоустойчивости систем обработки информации реального времени, функционирующих в модулярной арифметике / В. М. Илюшко, Мохамед Джасим Мохамед // Системи оброб. інформації. - 2005. - Вип. 3. - С. 56-59. - Библиогр.: 3 назв. - рус.Рассмотрены частные и комплексные показатели для оценки отказоустойчивости систем обработки информации реального времени, функционирующих в модулярной арифметике (в системе остаточных классов), обосновано их использование в рассматриваемых системах. Ключ. слова: модулярная арифметика, системы обработки информации, отказоустойчивость, частные и комплексные показатели Індекс рубрикатора НБУВ: З970.73
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
|
| | |
|
12. |
Грицик В. В. Інтегрований підхід до розробки високоефективних апаратних засобів інформаційних технологій обробки сигналів реального часу / В. В. Грицик, Ю. В. Опотяк, І. Г. Цмоць // Систем. технології. - 2006. - № 6. - С. 84-95. - Бібліогр.: 8 назв. - укp.Розглянуто основні етапи синтезу апаратних засобів інформаційних технологій узгоджено паралельної обробки сигналів у реальному часі. Запропоновано формули для оцінки ефективності використання обладнання та обчислювальної здатності. Розроблено метод просторово-часового відображення обчислювальних алгоритмів у узгоджено паралельні структури та визначено основні шляхи мінімізації витрат обладнання. Індекс рубрикатора НБУВ: З970.73
Рубрики:
Шифр НБУВ: Ж69472 Пошук видання у каталогах НБУВ
|
|
| | |
|
13. |
Боюн В. П. Керуюча обчислювальна техніка і системи реального часу в Україні (стан, проблеми, перспективи) / В. П. Боюн // Наука та наукознавство. - 2006. - № 3. - С. 130-136. - Бібліогр.: 7 назв. - укp.Розглянуто специфіку керуючої обчислювальної техніки (ОТ) та її стан в Україні; проблему - виробляти чи закуповувати ?; недоліки і проблеми, властиві виробництву та використанню вітчизняної керуючої ОТ, можливі шляхи розвитку керуючої ОТ та розв'язання проблем. Запропоновано два етапи в розвитку керуючої ОТ і забезпеченні її конкурентоздатності, відповідні наукові, виробничі та організаційні заходи. Розглянуто розробки з нового перспективного напряму систем реального часу - інтелектуальних відеокомп'ютерних пристроїв і систем - та їх перспективи. Індекс рубрикатора НБУВ: З970.73 + З965-048.5
Рубрики:
Шифр НБУВ: Ж14597 Пошук видання у каталогах НБУВ
|
|
| | |
|
14. |
Туркин И. Б. Концепции реализации функциональной безопасности и надежности в операционных системах реального времени / И. Б. Туркин, Т. С. Никитина // Радіоелектрон. і комп'ют. системи. - 2006. - № 3. - С. 105-109. - Библиогр.: 8 назв. - рус.Проанализированы методы обеспечения надежности и безопасности операционных систем реального времени (ОСРВ). Рассмотрены стандарты безопасности для ОСРВ и существующие разработки в данном направлении, обсуждены концепция реализации выделенных разделов, архитектура ОСРВ. Предложены реализация ключевых механизмов работы с виртуальной памятью, взаимодействие процессов и потоков в рамках стандарта POSIX. Ключ. слова: авиация, операционная система реального времени, безопасность, надежность, выделенные разделы, процессы, потоки, стандарты Індекс рубрикатора НБУВ: З970.73-018.1
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
|
| | |
|
15. |
Илюшко В. М. Концепция проектирования отказоустойчивых систем обработки информации реального времени / В. М. Илюшко, Мохамед Джасим. Мохамед Джасим Мохамед, В. А. Краснобаев // Системи оброб. інформації. - 2005. - Вип. 4. - С. 52-56. - Библиогр.: 5 назв. - рус.Рассмотрен метод повышения отказоустойчивости систем обработки цифровой информации реального времени, основанный на концепции одновременного и совместного учета и использования естественной и искусственной избыточности. Ключ. слова: естественная и искусственная отказоустойчивость, информация реального времени, система обработки информации Індекс рубрикатора НБУВ: З970.73
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
|
| | |
|
16. |
Кондрашова Н. В. Многорядный алгоритм веерных решений / Н. В. Кондрашова, В. А. Павлов, А. В. Павлов // Вісн. Нац. техн. ун-ту України "КПІ". - 2006. - Вип. 45. - С. 218-227. - Библиогр.: 3 назв. - рус.Предложен алгоритм с "веерным" принципом просчета вперед на заданное число шагов для построения моделей в реальном масштабе времени. Он обладает гибкостью при наращивании сложности моделей в заданном классе, сходимостью итеративного процесса и простотой вычисления параметров моделей. Індекс рубрикатора НБУВ: З970.73-01
Рубрики:
Шифр НБУВ: Ж29126/Інформ. Пошук видання у каталогах НБУВ
|
|
| | |
|
17. |
Березький О. Методи та НВІС-структури для множення матриці на матрицю у реальном часі / О. Березький, І. Цмоць // Вісн. Нац. ун-ту "Львів. політехніка". - 2007. - № 591. - С. 63-75. - Бібліогр.: 17 назв. - укp.Розроблено нові, орієнтовані на НВІС-реалізації методи, алгоритми та структури для послідовного, паралельно-послідовного та паралельно-паралельного множення матриці на матрицю у реальному часі з високою ефективністю використання обладнання. Індекс рубрикатора НБУВ: З970.73-015
Рубрики:
Шифр НБУВ: Ж29409/А Пошук видання у каталогах НБУВ
|
|
| | |
|
18. |
Благодарный Н. П. Методика самодиагностирования VLSI-архитектур с циклическим режимом функционирования / Н. П. Благодарный, Б. В. Остроумов, Н. Ф. Сидоренко, С. Я. Яценко // Радіоелектрон. і комп'ют. системи. - 2008. - № 6. - С. 171-176. - Библиогр.: 7 назв. - рус.Предложена методика оперативного определения технического состояния VLSI-архитектур на активных и пассивных временных интервалах функционирования управляющих вычислительных систем реального времени по назначению. Індекс рубрикатора НБУВ: З970.73
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
|
| | |
|
19. |
Кожешкурт В. И. Методология синтеза архитектуры программно-технического комплекса автоматизированной системы мониторинга обстановки / В. И. Кожешкурт, С. Л. Луцик, Е. В. Смертенко // Реєстрація, зберігання і оброб. даних. - 2007. - 9, № 4. - С. 76-90. - Библиогр.: 23 назв. - рус.Предложен подход к проектированию архитектуры программно-технического комплекса автоматизированной системы мониторинга обстановки в реальном времени, основанный на классификации решаемых функциональных задач на основании методов кластерного анализа и выбранного множества признаков подобия. Разработанный подход позволяет из множества функций системы выделить подобные (по определенным признакам) и объединить их в архитектурные компоненты (унифицированные функциональные модули). Індекс рубрикатора НБУВ: З970.73
Рубрики:
Шифр НБУВ: Ж16550 Пошук видання у каталогах НБУВ
|
|
| | |
|
20. |
Благодарный Н. П. Модель диагностирования матричных спецпроцессоров реального времени / Н. П. Благодарный, Ю. Н. Цыбулько // Вестн. ХНАДУ. - 2008. - Вып. 41. - С. 39-41. - Библиогр.: 6 назв. - рус.Предложена модель диагностирования матричных спецпроцессоров в реальном масштабе времени. Определены условия совмещения встроенного контроля и диагностирования межмодульных связей. Індекс рубрикатора НБУВ: З970.73
Рубрики:
Шифр НБУВ: Ж69103 Пошук видання у каталогах НБУВ
|
| |