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