![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>K=РЕЛЯЦІЙНА$<.>+<.>K=АЛГЕБР$<.>) |
Загальна кількість знайдених документів : 4277
Представлено документи з 1 до 20
|
| |
| | | | |
1. |
Hansen B. S. Abstract transpoprt systems: compositions and description languages / B. S. Hansen, N. Nikitchenko // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 59-67. - Библиогр.: 10 назв. - англ.Абстрактные транспортные системы основаны на абстракции движения ресурсов в области транспорта. Такие движения могут быть определены на двух уровнях абстракции, которые ведут к определению систем эволюций и транспорта. В статье рассматриваются композиции таких систем и языки описания различных абстрактных уровней, представленных в алгебраической, логической форме, а также в форме диаграмм. Ключ. слова: Індекс рубрикатора НБУВ: В173.12 + О18с11
Рубрики:
|
| | | | |
2. |
Letichevsky A. Agents and environments / A. Letichevsky, D. Gilbert // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 225-232. - Библиогр.: 7 назв - англ.Предлагается новая абстрактная модель взаимодействия агентов со средой. Она может быть использована в качестве семантического базиса как для изучения взаимодействия, так и для определения семантики Языка Действий, рассмотренного в предыдущей статье авторов. Взаимодействие агентов и среды определяется более жестким и симметричным путем по сравнению с этой публикацией. Основное понятие, используемое в статье - это хорошо известное понятие транзиционной системы с расходимостью и остановкой. Для определения различных транзиционных систем, используются следующие три основные формы: рекурсивные алгебраические определения, эквациальные определения и структурная операционная семантика. Ключ. слова: Індекс рубрикатора НБУВ: З973-018 + З813
Рубрики:
|
| | | | |
3. |
Maslennikov O. Approaches to Designing and Examples of Digital Circuits Based on the Current-Mode Gates = Підходи до проектування та приклади цифрових пристроїв, що побудовані на токових логічних елементах / O. Maslennikov // Реєстрація, зберігання і оброб. даних. - 2001. - 3, № 2. - С. 84-98. - Библиогр.: 9 назв. - англ.Висвітлено проблему проектування цифрових пристроїв на базі токових елементів - нових КМОП логічних елементів, що споживають однаковий струм як у станах логічного "0" чи "1", так і в момент переходу з одного стану в інший. Завдяки таким властивостям, токові елементи не генерують перешкод (так званого цифрового шуму), і тому можуть бути розмішені на одному кристалі з аналоговими пристроями, що утворює разом однокристальну аналого-цифрову СБИС-систему (англ. System On Chip). Досліджено логічні властивості токових елементів. Показано, що "алгебра" токових елементів відрізняється від алгебри Буля, і крім того, є багатозначною. Запропоновано способи мінімізації логічних функцій в "алгебрі" токових елементів. Наведено приклади "токових прототипів" деяких стандартних цифрових пристроїв: суматорів, тригерів, комутаторів та ін. Отримані пристрої мають меншу кількість логічних елементів (до 35 %) у порівнянні з їх аналогами, побудованими на звичайних логічних елементах КМОП. Ключ. слова: mixed analog-digital system, switching noise, current-mode gate, current-mode logic (algebra), logical function minimization, combinatorial circuit, adder Індекс рубрикатора НБУВ: З972-02
Рубрики:
Шифр НБУВ: Ж16550 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Szajna J. Artificial intelligence methods in computer aided design of digital circuits / J. Szajna // Электрон. моделирование. - 2001. - 23, № 4. - С. 109-115. - Библиогр.: 9 назв. - англ.Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL. Ключ. слова: artificial intelligence, digital circuits, computer aided design Індекс рубрикатора НБУВ: З970.5-018
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Lustyk M. Lie-algebraic discrete approximation for nonlinear evolution equations = Лі-алгебраїчна дискретна апроксимація нелінійних еволюційних рівнянь / M. Lustyk // Мат. методи та фіз.-мех. поля. - 1999. - 42, № 1. - С. 7-10. - Библиогр.: 6 назв. - англ.Розроблено ефективну методику Лі-алгебраїчної дискретної апроксимації для нелінійних еволюційних рівнянь у банаховому просторі. Побудовано збіжну апроксимацію і проаналізовано її стійкість. Запропоновано застосування багатовимірної форми інтерполяційних схем Лагранжа в зіркоподібних областях для Лі-алгебраїчної дискретної апроксимації лінійних і нелінійних диференціальних операторів. Індекс рубрикатора НБУВ: В162.631
Рубрики:
Шифр НБУВ: Ж64699 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Oleschuk V. Novel feedback and feedforward strategіes of modulatіon for converters for adjustable electrіc drіves / V. Oleschuk // Техн. електродинаміка. - 2001. - № 3. - С. 24-28. - Бібліогр.: 27 назв. - англ.Описаны новые стратегии в области широтно-импульсной модуляции для силовых электронных преобразователей для электропривода с замкнутыми и разомкнутыми по выходу контурами управления. Описаны квазиадаптивные методы регулирования тока преобразователей с управлением замкнутого типа с использованием элементов теории хаоса и метод прямой синхронной модуляции с алгебраическим описанием процессов в системах. Індекс рубрикатора НБУВ: З291-05
Рубрики:
Шифр НБУВ: Ж14164 Пошук видання у каталогах НБУВ
|
| | | | |
7. |
Bliznyuk N. Yu. Numerical analysis of lossy circular microstrip antenna / N. Yu. Bliznyuk, A. I. Nosich // Радиофизика и электроника. - Х., 1999. - 4, № 3. - С. 66-70. - Библиогр.: 9 назв. - англ.Розглянуто задачу числового моделювання параметрів і характеристик мікросмугастої антени з резистивним диском, збуджуваної вертикальним електричним диполем. Для розв'язання задачі використано метод аналітичної регуляризації разом з методом Гальоркіна, що дозволило одержати нескінченну систему лінійних алгебричних рівнянь Фредгольма другого роду. Аналітично оптимізовано обчислювальний процес; отримано й обговорено енергетичні характеристики антени, такі як потужність просторової та поверхневих хвиль, діаграми спрямованості, ККД випромінювання для різних величин резистивності диска. Індекс рубрикатора НБУВ: З845.4
Рубрики:
Шифр НБУВ: Ж69398 Пошук видання у каталогах НБУВ
|
| | | | |
8. |
Brytik V. V. Solutions of algebraic equations with analytic almost periodic coefficients = Рішення алгебричних рівнянь з аналітичними майже періодичними коефіцієнтами / V. V. Brytik, S. Yu. Favorov // Мат. физика, анализ, геометрия. - 2000. - 7, № 4. - С. 380-386. - Библиогр.: 6 назв. - англ.Доведено, що неперервні або мероморфні з малою кількістю полюсів розв'язку алгебричних рівнянь з аналітичними майже періодичними коефіцієнтами теж майже періодичні. Індекс рубрикатора НБУВ: В161.611.2
Рубрики:
Шифр НБУВ: Ж14648 Пошук видання у каталогах НБУВ
|
| | | | |
9. |
Krivoi S. Static analysis of programs by using abstract interpretations / S. Krivoi // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 49-55. - Библиогр.: 13 назв. - англ.В работе рассматривается алгебраический подход к проблеме статического анализа программ и, в частности, к проблеме поиска инвариантных соотношений с использованием метода абстрактных интерпретаций. Дается полная алгебраическая характеристика этого подхода. Алгоритмы иллюстрируются на примерах. Ключ. слова: Індекс рубрикатора НБУВ: З973-018
Рубрики:
|
| | | | |
10. |
Symmetry in Nonlinear Mathematical Physics : Proc. of the Third Inetrn. Conf. Symmetry in Nonlinear Mathematical Physics. Pt. 2 / ed.: A. G. Nikitin. - K, 2000. - 264 p. c. - (Proc. of Inst. of Math. of NAS of Ukraine; V. 30). - англ.Розглянуто процес застосування теоретико-групових методів у сучасній математичній та теоретичній фізиці, а також інших природничих науках. Значну увагу приділено квантовим групам, зображенню груп і алгебр Лі та деяким прикладним задачам, що досліджуються з використанням симетрійного аналізу. Індекс рубрикатора НБУВ: В311я431(0) + В152.3я431(0) + В152.82я431(0)
Шифр НБУВ: Ж68890 Пошук видання у каталогах НБУВ
|
| | | | |
11. |
VІІІ міжнародна наукова конференція імені академіка М.Кравчука, 11 - 14 трав. 2000 р., Київ : Матеріали конф. / Ін-т математики НАН України, Міжнародна наукова конференція імені академіка М.Кравчука (8; 2000; Київ). - К., 2000. - 560 c. - укp.Розглянуто актуальні питання історії та методики викладання математики, алгебри, геометрії, числового аналізу, теорії імовірностей та математичної статистики. Наведено диференціальні та інтегральні рівняння, особливості їх застосування. Індекс рубрикатора НБУВ: В1 я431(0)
Рубрики:
Шифр НБУВ: ВА597777 Пошук видання у каталогах НБУВ
|
| | | | |
12. |
Ясинская О. А. Абсолютная по нелинейности и запаздыванию устойчивость в среднем квадратическом стохастических дифференциально-разностных систем с пуассоновскими переключениями / О. А. Ясинская // Кибернетика и систем. анализ. - 2000. - № 6. - С. 121-129. - Библиогр.: 15 назв. - рус.Одержано алгебричні коефіцієнтні умови абсолютної асимптотичної стійкості в середньому квадратичному положення рівноваги стохастичної динамічної системи автоматичного регулювання, математичною моделлю якої є система стохастичних диференціально-різницевих рівнянь Іто - Скорохода запізнюючого типу з декількома стандартними вінерівськими процесами, з пуассонівськими збуреннями та скінченною кількістю загаювань. Індекс рубрикатора НБУВ: З965-016.2
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
13. |
Ясинская О. А. Абсолютная устойчивость в среднем квадратическом стохастических систем автоматического регулирования с нелинейной обратной связью / О. А. Ясинская // Пробл. упр. и информатики. - 2001. - № 1. - С. 34-41. - Библиогр.: 7 назв. - рус.Одержано алгебричні коефіцієнтні умови абсолютної асимптотичної стійкості в середньому квадратичному стані рівноваги стохастичних диференціальних систем з нелінійним зворотним зв'язком. Індекс рубрикатора НБУВ: З965-016.4
Рубрики:
Шифр НБУВ: Ж26990 Пошук видання у каталогах НБУВ
|
| | | | |
14. |
Автоматизация процессов и управление / ред.: В. А. Карпенко. - Севастополь, 2000. - 190 с. - (Вестн. СевГТУ; Вып. 27). - рус. - англ.Описаны системы гамма-видения с гексагональной структурой кодирующей маски, модели и алгоритмы обработки интегрально-счетной и спектральной информации, обеспечивающие восстановление изображения интенсивности гамма-поля. Предложены алгебраические критерии полной и абсолютной наблюдаемости, построенные на основе спектральных представлений операторов линейных нестационарных систем, определенных на конечных интервалах. Рассмотрены формализованные комплексные критерии оценки условий труда, служащие основой для разработки алгоритмической структуры систем автоматизированного контроля условий труда. Отдельные статьи посвящены динамической модели процесса круглого наружного шлифования, оптимизации процесса ультразвукового упрочнения деталей подшипников, адаптивной фильтрации ложных изображений в результатах оптико-электронной регистрации сюжетов и др. Індекс рубрикатора НБУВ: З965 я54(4Укр)
Рубрики:
Шифр НБУВ: Ж69089 Пошук видання у каталогах НБУВ
|
| | | | |
15. |
Автоматизированные системы управления и приборы автоматики : Всеукр. межведом. науч.-техн. сб. Вып. 111 / ред.: В. В. Семенец; Харьк. гос. техн. ун-т радиоэлектрон. - Х., 2000. - 179 с. - рус. - укp.Показано можливість формалізації речень природної мови за допомогою ієрархічної системи логічних алгебр на прикладі російської мови. Вивчено вплив різноманітних показників на ефективність метрологічного обслуговування засобів вимірювальної техніки. Запропоновано використання узагальненої формули формування списків несправностей під час дедуктивного моделювання для випадку наведення таблиці переходів послідовнісного пристрою у вигляді кубічного покриття у двотактному алфавіті. Значну увагу приділено оптимальному проектуванню структури та складу обчислювальної мережі корпоративної інформаційної системи, топологічному трасуванню двошарових друкованих плат, числовому моделюванню дифузійних процесів на мікродисковому електроді. Індекс рубрикатора НБУВ: З965 я54(4Укр)
Рубрики:
Шифр НБУВ: Ж29985 Пошук видання у каталогах НБУВ
|
| | | | |
16. |
Автоматика-2000 : Пр. Міжнар. конф. з упр., Львів, 11-15 верес. 2000 р.: В 7 т. Т. 7. Прогресивні інформаційні технології і системи / ред.: В. Кунцевич; Укр. Асоц. з автомат. упр. - Л. : Держ. НДІ інформ. інфраструктури, 2000. - 323 c. - укp.Розглянуто прогресивні інформаційні технології та системи, зокрема, перспективи використання штучних нейронних мереж з точки зору комп'ютерної томографії, автоматизовані способи розпізнавання для алгебри алгоритмів, алгебричний підхід до побудови швидких алгоритмів оцінки близькості скінченних упорядкувань, теоретичні основи базисних перетворень системи залишкових класів. Викладено технологію інформатизації історико-архітектурної інвентаризації, концептуальні питання теорії вимірювань, методи реалізації конвеєрного методу обробки інформації на однорідних обчислювальних системах, програмно-керовані растри в системах введення - виведення зображень. Індекс рубрикатора НБУВ: З965 я431(0) + З970.4 я431(0) + З965.98 я431(0)
Рубрики:
Шифр НБУВ: С10115 Пошук видання у каталогах НБУВ
|
| | | | |
17. |
Кубенко В. Д. Акустическое поле в жестком цилиндрическом сосуде при возбуждении колеблющейся по заданному закону сферой / В. Д. Кубенко, В. В. Дзюба // Приклад. механика. - 2000. - 36, № 6. - С. 88-97. - Библиогр.: 11 назв. - рус.Сформульовано задачу про взаємодію сферичного тіла, що коливається за заданим законом із жорсткою циліндричною поверхнею, яку заповнено ідеальною стисливою рідиною. Геометричний центр сфери знаходиться на осі циліндра. Розв'язання грунтується на можливості зображення частинного розв'язку рівняння Гельмгольца, яке записане у циліндричних координатах за допомогою частинних розв'язків у сферичних координатах, та навпаки. У результаті задовільнення граничних умов на поверхнях сфери та циліндра отримано нескінченну систему лінійних алгебричних рівнянь для знаходження коефіцієнтів розкладу потенціалу швидкостей рідини в ряд Фур'є за поліномами Лежандра. Обгрунтовано застосування методу редукції до розв'язання отриманої нескінченної системи. Визначено гідродинамічні характеристики рідини, що заповнює циліндричний об'єм та приведено порівняння з випадком коливань сфери в безмежній рідині. Індекс рубрикатора НБУВ: В325.4
Рубрики:
Шифр НБУВ: Ж29095 Пошук видання у каталогах НБУВ
|
| | | | |
18. |
Винничук И. П. Алгебра алгоритмики и конструирование систем синтеза мульти-медиа приложений в среде WINDOWS / И. П. Винничук // Кибернетика и систем. анализ. - 1999. - № 2. - С. 34-43. - Библиогр.: 14 назв. - рус.Розглянуто алгебраїчний підхід до проектування візуальних систем розробки різноманітних мульті-медіа програм. Автором побудована та досліджена узагальнена мета-алгебра структурних граф-схем Калужніна, а також алгебра діалогу, яка застосовується для конструювання інтерактивної взаємодії користувача з комп'ютером. Наведено опис побудованої на теоретичних дослідженнях автора інструментального засобу системи Fancy for Windows, яка може бути корисною при розробці візуальних даних, електронних енциклопедій, діагностуючих та тестових програм, різноманітних програм навчального призначення. Індекс рубрикатора НБУВ: З973-018 + З970.68
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
19. |
Мозель В. А. Алгебра операторов Бергмана с автоморфными коэффициентами и параболической группой сдвигов / В. А. Мозель, В. А. Чернецкий // Укр. мат. журн. - 2001. - 53, № 9. - С. 1218-1223. - Библиогр.: 13 назв. - рус.Вивчено алгебру операторів з ядром Бергмана, розширену ізометричними операторами зваженого зсуву. Коефіцієнти алгебри вважаються автоморфними відносно циклічної параболічної групи дробно-лінійних перетворень одиничного круга та неперервними на рімановій поверхні групи. За допомогою ізометричного перетворення одержано квазіавтоморфний матричний оператор на рімановій поверхні з властивостями, аналогічними властивостям оператора Бергмана. Це дає можливість побудувати алгебру символів, дати ефективний критерій фредгольмовості та обчислити індекс операторів розглянутої алгебри. Індекс рубрикатора НБУВ: В152.55 + В162.13
Рубрики:
Шифр НБУВ: Ж26161 Пошук видання у каталогах НБУВ
|
| | | | |
20. |
Тевяшев А. Д. Алгебра і геометрія: Лінійна алгебра. Аналітична геометрія : Навч. посіб. для студ. / А. Д. Тевяшев, О. Г. Литвин; Ін-т змісту і методів навчання. - Х., 2000. - 386 c. - (Прикл. математика). - Бібліогр.: 18 назв. - укp.Викладено необхідний теоретичний матеріал, контрольні питання та завдання, розв'язання типових прикладів, задачі та вправи для практичних занять до всіх розділів курсу "Алгебра та геометрія": векторна алгебра, аналітична геометрія, визначники та матриці, системи лінійних алгебричних рівнянь, лінійні простори, лінійні оператори, квадратичні форми, жорданова нормальна форма матриць. У додатках вміщено основні формули векторної алгебри, аналітичної геометрії, різновиди матриць і систем лінійних рівнянь. Індекс рубрикатора НБУВ: В152.2 я73-1 + В181.13 я73-1
Рубрики:
Шифр НБУВ: ВА602077 Пошук видання у каталогах НБУВ
| | |
|
|