Пошуковий запит: (<.>U=З815$<.>) |
Загальна кількість знайдених документів : 359
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. |
Шишков Д. П. Достаточные условия детерминизации конечного автомата с сохранением числа состояний / Д. П. Шишков // Кибернетика и систем. анализ. - 2000. - № 3. - С. 55-62. - Библиогр.: 1 назв. - рус.Визначено три умови для недетермінованих кінцевих автоматів: вхідна та початкова вкладеність і початкова розкладеність. Такі автомати названо недетермінованими кінцевими автоматами з вкладеністю. Указано, що такі автомати відповідають блочно-процедурним мовам програмування високого рівня. Індекс рубрикатора НБУВ: З815.1
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
2. |
Кочкарев Ю. А. К вопросу об экономической целесообразности использования альтернативных форм представления логических функций / Ю. А. Кочкарев, Н. Л. Казаринова, О. В. Нечипоренко // Электроника и связь. - К., 2001. - № 11. - С. 86-87. - Библиогр.: 4 назв. - рус.Изложены результаты исследований проблемы использования оптимальной формы представления логических функций в цифровых автоматах. Предложена методология определения мощности подмножеств логических функций, требующих неклассической реализации. Індекс рубрикатора НБУВ: З815.2
Рубрики:
Шифр НБУВ: Ж69367 Пошук видання у каталогах НБУВ
|
|
| | |
|
3. |
Анисимов А. В. Квантовая модель вычислений. Основные принципы и достижения / А. В. Анисимов, С. В. Данильченко // Кибернетика и систем. анализ. - 2000. - № 1. - С. 58-76. - Библиогр.: 23 назв. - рус.Розглянуто квантову машину Тьюрінга. Наведено огляд основних методологічних принципів і досягнень в галузі квантових обчислень, а також питання побудови коректних квантових обчислень та їх складності. Детально описано результат П. Шора про розв'язання за поліноміальний відносно довжини чисел час задач дискретного логарифмування. Індекс рубрикатора НБУВ: З815.6
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
4. |
Вальковський В. Клітинні автомати в контексті моделей і засобів паралельної обробки інформації: класифікація і огляд / В. Вальковський, Д. Зербіно // Вісн. держ. ун-ту "Львів. політехніка". Комп'ют. інженерія та інформ. технології. - 1999. - № 380. - С. 9-18. - Бібліогр.: 10 назв. - укp.Запропоновано принципи та схему класифікації для моделей і систем паралельної обробки інформації. Ідентифіковано місце клітинних автоматів у запропонованій ієрархії систем. З методологічного погляду розглянуто аспекти, пов'язані з архітектурою, програмуванням, керуванням паралельних обчислювальних систем. Індекс рубрикатора НБУВ: З815.5 + З970.21-015
Рубрики:
Шифр НБУВ: Ж29409/А Пошук видання у каталогах НБУВ
|
|
| | |
|
5. |
Пилипенко Ю. Н. Логические основы синтеза цифровых автоматов. Комбинационные схемы : Учеб. пособие для студ. вузов / Ю. Н. Пилипенко, Ю. Е Кулешов; Науч.-метод. центр высш. образования. - К., 2000. - 76 c. - Библиогр.: 18 назв. - рус.Рассмотрены основные положения алгебры логики, в частности, функционально полные системы, базис, совершенная дизъюнктивная и конъюнктивная нормальная формы, минимизация булевых функций, а также и их применение к построению комбинационных логических схем на элементах малой и средней степени интеграции. Індекс рубрикатора НБУВ: З815.2 я73-1 + З973-047.22 я73-1
Рубрики:
Шифр НБУВ: ВА596901 Пошук видання у каталогах НБУВ
|
|
| | |
|
6. |
Жихарев В. Я. Математические основы проектирования рекурсивных автоматов с программируемой логикой / В. Я. Жихарев, В. М. Илюшко, И. В. Чумаченко. - Х. : Факт, 1999. - 142 c. - Библиогр.: 35 назв. - рус.Розглянуто теоретичні аспекти автоматизованого проектування мов, формальних алгоритмів і програм, базовою моделлю яких є рекурсивні автомати з програмуючою логікою. Як інструментальні засоби проектування використовуються алгоритмічні алгебри. Особливу увагу приділено питанням проектування алгоритмів та програм у межах рекурсивних систем інтерпретованих алгоритмічних алгебр. Індекс рубрикатора НБУВ: З815.6 + З973-01
Рубрики:
Шифр НБУВ: ВА593184 Пошук видання у каталогах НБУВ
|
|
| | |
|
7. |
Курганский А. Н. Неотличимость конечных автоматов относительно некоторых сред / А. Н. Курганский // Кибернетика и систем. анализ. - 2001. - № 1. - С. 43-55. - Библиогр.: 12 назв. - рус.Розглянуто задачу невідмінності скінченних автоматів, які взаємодіють з одним і тим же середовищем. Запропоновано метод побудови ефективних середовищ, для яких ця задача алгоритмічно розв'язувана. Наведено приклад неефективного геометричного середовища. Індекс рубрикатора НБУВ: З815.1
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
8. |
Курганский А. Н. О границе алгоритмической разрешимости проблем корректности взаимодействия автоматов через каналы связи / А. Н. Курганский, И. Г. Потапов // Кибернетика и систем. анализ. - 1999. - № 3. - С. 49-57. - Библиогр.: 8 назв. - рус.Розглядається модель взаємодіючих скінченних автоматів, які обмінюються повідомленням через два 1-спрямованих канали. Показано межу алгоритмічної розв'язності проблем тупика, несанкційованого прийому та обмеженості. Індекс рубрикатора НБУВ: З815.2
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
9. |
Рысцов И. К. О длине возвратных слов для автоматов с простыми идемпотентами / И. К. Рысцов // Кибернетика и систем. анализ. - 2000. - № 3. - С. 32-39. - Библиогр.: 6 назв. - рус.Отримано квадратичну оцінку довжини зворотного слова для скінченних автоматів з простими ідемпотентами. Це автомати, в яких кожний вхідний символ індукує на множині станів перетворення, що являється або ідемпотентом одиничного дефекту, або бієкцією. Індекс рубрикатора НБУВ: З815.1
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
10. |
Сперанский Д. В. О тестировании нестационарных линейных автоматов / Д. В. Сперанский, И. Д. Сперанский // Электрон. моделирование. - 2001. - 23, № 3. - С. 59-69. - Библиогр.: 3 назв. - рус.Запропоновано методи синтезу тестів, що виявляють задану несправність у нестаціонарних лінійних автоматах. Показано, що ці методи є менш трудомісткими, ніж відомі, які орієнтовані на класи довільних автоматів. Ключ. слова: синтез тестов, нестационарный линейный автомат Індекс рубрикатора НБУВ: З815
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
|
|
| | |
|
11. |
Барашко А. С. Об одной гипотезе, касающейся нелинейных аналогов примитивных сигнатурных анализаторов / А. С. Барашко // Электрон. моделирование. - 2000. - 22, № 5. - С. 84-89. - Библиогр.: 2 назв. - рус.Показано, що гіпотеза про клас нелінійних аналогів примітивних сигнатурних аналізаторів (СА), що збігається з класом ізоморфізму примітивних СА, є вірною для СА з чотирма станами. Ключ. слова: автомат, линейная последовательностная машина, сигнатурный анализатор, расстояние по Хэммингу, изоморфизм автоматов Індекс рубрикатора НБУВ: З815,0
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
|
|
| | |
|
12. |
Барашко А. С. Об одном типе изоморфизма линейных и нелинейных сигнатурных анализаторов / А. С. Барашко // Кибернетика и систем. анализ. - 2000. - № 4. - С. 41-46. - Библиогр.: 9 назв. - рус.Доведено, що автомат, ізоморфний за станами та входами лінійному примітивному автомату, буде ізоморфним йому тільки за станами. Знайдено критерій ізоморфності за станами ненадлишкового сигнатурного аналізатора (СА) деякому лінійному СА з нульовим початковим станом. Індекс рубрикатора НБУВ: З815.6
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
13. |
Грунский И. С. Об экспериментах с автоматами при отсутствии верхней оценки числа состояний / И. С. Грунский, И. И. Максименко // Кибернетика и систем. анализ. - 1999. - № 4. - С. 59-71. - Библиогр.: 10 назв. - рус.Вивчаються властивості, можливо, нескінченного класу ініціальних скінченних автоматів, коли кожен вхід-вихідний сигнал із фіксованої множини породжують не більше як одним станом. Знайдено точні умови скінченності цього класу та його важливих підкласів, а також точні умови існування контрольних експериментів щодо цих класів. Далі визначено умови існування експериментів, що розпізнають такі автомати. Індекс рубрикатора НБУВ: З815.2
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
14. |
Барашко А. С. Обобщенная статистическая эквивалентность автоматов / А. С. Барашко // Кибернетика и систем. анализ. - 2000. - № 5. - С. 176-178. - Библиогр.: 4 назв. - рус.Введено поняття узагальненої статистичної еквівалентності автоматів і показано, що вона є слабкішою за звичайну еквівалентність, але сильніша статистичної еквівалентності автоматів. Індекс рубрикатора НБУВ: З815
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
15. |
Скобелев В. Г. Представление автоматов группами. II / В. Г. Скобелев // Укр. мат. журн. - 2000. - 52, № 10. - С. 1397-1404. - Библиогр.: 4 назв. - рус.Одержано необхідні та достатні умови, за яких зображення абстрактних автоматів скінченними групами погоджено з функцією переходів автомата,а також за яких відображення вільної півгрупи автомата у групу, що здійснюється компонентою зображення, є гомоморфізмом. Індекс рубрикатора НБУВ: З815.0
Рубрики:
Шифр НБУВ: Ж26161 Пошук видання у каталогах НБУВ
|
|
| | |
|
16. |
Орловский И. А. Представление дискретного автомата автоматами меньшей размерности и организация связей между ними / И. А. Орловский // Радіоелектроніка. Інформатика. Управління. - 2000. - № 2. - С. 146-155. - Библиогр.: 2 назв. - рус.Викладено спосіб опису і реалізацію дискретного автомата великої розмірності вроздріб у вигляді окремих автоматів, кожний із яких має свою власну пам'ять внутрішніх станів. Розглянуто питання організації зв'язків між автоматами. Наведено конкретний приклад реалізації автомата. Індекс рубрикатора НБУВ: З815.2
Рубрики:
Шифр НБУВ: Ж16683 Пошук видання у каталогах НБУВ
|
|
| | |
|
17. |
Шукурян Ю. Г. Про компактацію автоматів / Ю. Г. Шукурян // Кибернетика и систем. анализ. - 1998. - № 4. - С. 78-84. - Бібліогр.: 7 назв. - укp.Роглянуто задачі паралелізації (компактації) дії автоматів на інформаційне середовище, коли між деякими операторами існує відношення незалежності. Дані задачі формулюються у термінах вільних частково комутативних моноїдів, що моделюють інформаційне середовище. Показано, що для ациклічних автоматів задача паралелізації при певних обмеженнях може бути розв'язана за поліноміальний час. Індекс рубрикатора НБУВ: З815-01
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
18. |
Цейтлин Г. Е. Проблема функциональной полноты для метаалгебр регулярных событий / Г. Е. Цейтлин // Кибернетика и систем. анализ. - 2000. - № 6. - С. 14-27. - Библиогр.: 27 назв. - рус.Неведено огляд досліджень щодо розвитку алгебричних основ алгоритміки, та результати, пов'язані з розв'язанням проблеми функціональної повноти для узагальнення алгебри Кліні. Одержані результати являють собою подальший розвиток досліджень алгоритмічних метаалгебр, асоційованих із відомими методами розробки алгоритмів і програм. Індекс рубрикатора НБУВ: З815
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
19. |
Сперанский Д. В. Разрешающие возможности диагностических экспериментов с линейными автоматами / Д. В. Сперанский, И. Д. Сперанский // Кибернетика и систем. анализ. - 2000. - № 3. - С. 62-65. - Библиогр.: 3 назв. - рус.Показано, що з погляду принципової можливості розв'язку діагностичних задач для лінійних автоматів прості умовні і кратні експерименти не несуть нічого нового порівняно з простими безумовними експериментами. Індекс рубрикатора НБУВ: З815.9
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
20. |
Клепиков В. Ф. Самоорганизация в программных средах / В. Ф. Клепиков, В. Ю. Корда, Ю. И. Трофимов, В. М. Шершнев, Н. А. Шляхов, В. А. Ямницкий; НАН Украины. Отд-ние физики и астрономии. - Х. : Акта, 1998. - 108 c. - (Электрофизика). - Библиогр.: 50 назв. - рус.Рассмотрены некоторые вопросы практического использования идей и методов генетики и синэргетики: эволюции и самоорганизации клеточных автоматов, генетической оптимизации процесса фрактального сжатия графической информации, моделирования эволюции сообществ кибернетических организмов. Проведена интенсивная работа по применению известных и созданию новых математических методов для анализа получаемых экспериментальных данных и построения математических моделей. Приведена характеристика учебно-игрового комплекса "ГЕНОМ". Індекс рубрикатора НБУВ: З815.5
Рубрики:
Шифр НБУВ: ВА605536 Пошук видання у каталогах НБУВ
|
| |