Бондаренко, М. Ф. Мультгруппы, индуцируемые произвольным отношением [Текст] / М. Ф. Бондаренко, В. П. Машталир, В. В. Шляхов> // Доповіді Національної академії наук України. - 2012. - № 4. - С. 39-42. - Библиогр. в конце ст. Рубрики: Математика--Математична кібернетика Комп'ютерна наука і технологія--Дані--Системи управління базами даних Кл.слова (ненормовані): Гранулы -- Данные -- Система мультиалгебраическая Анотація: В рамках грануляційного числення на базі мультиалгебраїчних систем знайдені необхідні та достатні умови, при яких довільне n-парне відношення, задане на декартовому добутку множин довільної природи, індукує на класах еквівалентностей мультиоперацію, що задовільняє групову аксіоматику і фактично індукує групу на класах еквівалентностей. Отримані результати направлені на вивчення властивостей оборотності в інформаційно-аналітичних системах. Дод.точки доступу: Машталир, В. П.; Шляхов, В. В. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Грід-технологія для завдань метрології [Текст] / С. І. Ляшко, В. С. Ляшко, П. І. Неєжмаков [та ін.]> // Доповіді Національної академії наук України. - 2013. - № 9. - С. 38-43. - Бібліогр. в кінці ст. Рубрики: Комп'ютерна наука і технологія--Комп'ютерний зв'язок та мережі комп'ютерів--Системи розподіленої обробки Комп'ютерна наука і технологія--Дані--Системи управління базами даних Метрологія--Інформаційні технології Комп'ютерна наука і технологія--Якість систем і програмного забезпечення--Надійність і точність Кл.слова (ненормовані): Дані -- Grid -- Безпека -- Передача -- Достовірність Анотація: Розглядаються різні варіанти використання прилад-елемента в межах існуючої грід-технології при вирішенні завдань метрології, які для своєї реалізації потребують використання інформаційних технологій. Показано, що грід прилад-елемент є оптимальним середовищем для ефективного розв'язання задач метрології, що вимагають найвищого рівня безпеки при передачі, зберіганні та обробці даних вимірювань. Дод.точки доступу: Ляшко, С. І.; Ляшко, В. С.; Неєжмаков, П. І.; Зуб, С. І.; Зуб, С. С. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Сенчено, А. С. О сохранении ключей в табличных алгебрах [Текст] / А. С. Сенчено> // Доповіді Національної академії наук України. - 2015. - № 4. - С. 29-34. - Библиогр. в конце ст. Рубрики: Математика--Топологія--Алгебраїчна топологія Комп'ютерна наука і технологія--Дані--Системи управління базами даних Кл.слова (ненормовані): Операция сигнатурная -- База данных -- Манипуляция табличная -- SQL Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Редько, В. Н. Аксіоматика багатозначних залежностей табличних баз даних [Текст] / В. Н. Редько, Д. Б. Буй, А. В. Пузікова> // Доповіді Національної академії наук України. - 2015. - № 6. - С. 24-29. - Бібліогр. в кінці ст. Рубрики: Комп'ютерна наука і технологія--Дані--Системи управління базами даних Кл.слова (ненормовані): Залежності функціональні -- Залежності багатозначні -- Критерій повноти -- Повнота аксіоматики -- Домен універсальний -- Множина атрибутів Анотація: Розглядаються аксіоматика багатозначних залежностей в табличних базах даних і аксіоматика функціональних та багатозначних залежностей; встановлюється повнота цих аксіоматик через збіжність відношень синтаксичного та семантичного прямування. Дод.точки доступу: Буй, Д. Б.; Пузікова, А. В. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Грицик, В. В. Високоефективні класи алгоритмів та високопродуктивних ситем, що реалізують синхронні інтерактивні мережі систолічними матрицями опрацювання даних [Текст] / В. В. Грицик, В. В. Грицик, А. М. Зозуля> // Доповіді Національної академії наук України. - 2015. - № 12. - С. 19-24. - Бібліогр. в кінці ст. Рубрики: Комп'ютерна наука і технологія--Прикладна техніка--Обробка і перетворення образів Комп'ютерна наука і технологія--Дані--Системи управління базами даних Електроніка та радіотехніка--Мікроелектроніка Кл.слова (ненормовані): зір комп'ютерний -- обробка даних -- логіка -- інтегральна схема -- комірка обчислювальна Анотація: Визначено високопродуктивні обчислювальні системи, що реалізують синхронні інтерактивні мережі систолічними матрицями опрацювання даних. Запропоновано принцип реалізації реального часу на НВІС, орієнтованих на розв'язання задач комп'ютерного зору в різних галузях. Дод.точки доступу: Зозуля, А. М. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Кургаев, А. Ф. Новое определение языка веб-онтологий OWL2 [Текст] / А. Ф. Кургаев> // Доповіді Національної академії наук України. - 2018. - № 3. - С. 22-35. - Библиогр. в конце ст. Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування Комп'ютерна наука і технологія--Дані--Системи управління базами даних Комп'ютерна наука і технологія--Штучний інтелект--Представлення знань Кл.слова (ненормовані): Синтаксис -- Метаязык -- Форма знаний Анотація: Дано у метамові нормальних форм знань (НФЗ) описи манчестерського синтаксису й синтаксису функціонального стилю мови веб-онтологій OWL2 - центральної мови семантичного стека Тіма Бернерс-Лі. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |