http://hdl.handle.net/123456789/19972 2026-05-15T10:27:37Z http://hdl.handle.net/123456789/20045 Title: Генератори рівномірно розподілених псевдовипадкових величин Authors: Лаврів, Марія Василівна; Петришин, Любомир Богданович Abstract: Запропоновано два нові методи генерування псевдовипадкових чисел; описано процеси генерування випадкових чисел згідно із запропонованими методами; подано порівняльну характеристику ступеня рівномірності даних методів генерування згідно із статистичними методами визначення типу розподілів - х2 та Колмогорова - Смірнова. 2007-01-01T00:00:00Z http://hdl.handle.net/123456789/20044 Title: Теоретико-числові основи дискретного гармонічного аналізу в системі Радемахера Authors: Превисокова, Наталія Володимирівна; Петришин, Любомир Богданович Abstract: З єдиних позицій теоретико-числових перетворень здійснено аналіз та встановлено ряд проміжних систем функцій, що утворюють відповідні коди чи кодові системи. Визначено черговість і процедури їх творення та взаємоперетворень, що дозволило класифікувати та в майбутньому оцінити ефективність дискретного гармонічного аналізу в поданих системах функцій. 2007-01-01T00:00:00Z http://hdl.handle.net/123456789/20043 Title: Верифікація процесу кремнієвої компіляції топології інтегральних схем Authors: Атаманюк, О. Б. Abstract: Задача верифікації процесу кремнієвої компіляції, що моделюється ймовірнісним графом, зводиться до скорочення цього графа, а далі - до знаходження всіх графів, що задовольняють часово-ймовірнісний критерій; використовуються стрічкові матриці та метод вилучення проміжних вершин. 2007-01-01T00:00:00Z http://hdl.handle.net/123456789/20042 Title: Декомпозиція та верифікація топології інтегральних схем Authors: Атаманюк, Б. В. Abstract: За допомогою нерва канонічного покриття графа, що відповідає інтегральній схемі або алгоритмічному процесу проектування топології інтегральної схеми, проводиться декомпозиція графа за хвильовим алгоритмом, через континуумзначну ретракцію та стереографічну проекцію проводиться планаризація графа. за допомогою фундаментальної групи та відповідній гомотопних теорем здійснюється верифікація грифа на лінійну зв'язність. 2007-01-01T00:00:00Z