Розглянуто питання підвищення швдкодії сортування за методом попарного обміну у разі його реалізації апаратним способом, тобто, на сортувальній нейромережі. Показано, що процедура сортування застосовується в різних прикладних задачах, наприклад, для ефективного зберігання та впорядкування мережевих адрес IP в додатках для мереж Web, що використовують бази даних, у системах обробки сигналів і зображень для прискорення процедури фільтрації. Розроблено реалізацію методу сортування попарним обміном на перспективній структурі - нейромережі з застосуванням оптоелектронної елементної бази, що дозволяє усунути труднощі, зумовлені організацією великої кількості міжз'єднань у нейромережі під час сортування масиву чисел. Показано доцільність представлення алгоритмів сортування в компактній і формалізованій формі з залученням модифікованої системи алгоритмічних алгебр В.М. Глушкова, оскільки застосування таких операторних представлень дозволяє формалізувати подання та забезпечити аналіз і вибір оптимального варіанта сортування (впорядкованої вибірки). Розраховано швидкодію розробленої сортувальної нейромережі та показано, що вона є достатньою для обробки великих масивів даних (до 1 000 слів розмірністю 32 біти), що дозволяє використати сортувальну нейромережу як спецпроцесор для систем, які працюють в реальному часі.

  Скачати повний текст

Досліджено проблему формалізації концептуальної моделі сутність - зв'язок у контексті розвитку CASE-засобів, які її підтримують, з застосуванням методів, які грунтуються на теоретико-множинній платформі (теорії відношень і решіток). На підставі аналізу моделі сутність - зв'язок уніфіковано поняття її основних елементів. Формалізовано вимогу коректності моделі за слабкими типами зв'язків. Запропоновано поняття коректності ієрархії типів сутності та коректності ієрархії типів всієї моделі. Формалізовано вимогу коректності моделі щодо успадкування. Наведено визначення поняття базових типів обмежень кардинальності для бінарних і багатосторонніх типів зв'язків. Доведено твердження про логічні зв'язки між значеннями базових типів обмежень кардинальності для підходів "дивитися через" та участі. Розроблено розділ математичної теорії моделі сутність - зв'язок, який є необхідною частиною формалізації моделі, на базі якої можна здійснювати її стандартизацію.

  Скачати повний текст