Бази даних

Реферативна база даних - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Книжкові видання та компакт-диски (8)
Пошуковий запит: (<.>U=В125$<.>)
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5

      
Категорія:    
1.

Скобелев В. Г. 
Анализ дискретных систем / В. Г. Скобелев; НАН Украины. Ин-т приклад. математики и механики. - Донецк, 2002. - 172 c. - Библиогр.: 137 назв. - англ.

Розроблено комбінаторно-алгебричні основи аналізу дискретних систем. Одержано розв'язки проблем пошуку безумовних та адаптивних розв'язків на частково впорядкованих структурах. Досліджено методи пошуку усіх множин для родини множин, які не є надлишковими, ідентифікацію внутрішніх станів скінченного автомата, побудови простих імплікант та диз'юнктивних нормальних форм, які з них складаються, аналізу керованості/споспостереженості булевих функцій, а також представлення автоматів групами. Розв'язано проблему ідентифікації булевої вектор-функції з використанням методів теорії лінійних просторів над скінченними полями. Створено основи аналізу систем, які є підвладними до дестабілізувального впливу зовнішнього середовища.

Разработаны комбинаторно-алгебраические основы анализа дискретных систем. Решены проблемы поиска безусловных и адаптивных решений на частично упорядоченных структурах. С единых позиций исследованы поиск всех непроводимых множеств представителей семейства множеств, идентификация внутренних состояний конечного автомата, построение простых импликант и состоящих из них дизъюнктивных нормальных форм, анализ управляемости/наблюдаемости булевых функций. Исслеледовано представление автоматов группами. Решена проблема идентификации булевой вектор-функции методами теории линейных пространств над конечными полями, созданы основы анализа систем, подверженных дестабилизирующим воздействиям внешней среды.


Індекс рубрикатора НБУВ: В125 + З815.1

Рубрики:

Шифр НБУВ: ВА623376 Пошук видання у каталогах НБУВ 

      
Категорія:    
2.

Терлецький Д. О. 
Конструктори множин та мультимножин об'єктів / Д. О. Терлецький // Пробл. програмув.. - 2014. - № 1. - С. 18-30. - Бібліогр.: 10 назв. - укp.

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


Індекс рубрикатора НБУВ: В125

Рубрики:

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

      
Категорія:    
3.

Терлецький Д. О. 
Множини як сукупності сутностей-об'єктів / Д. О. Терлецький // Компьют. математика : сб. науч. тр. - 2013. - Вып. 2. - С. 64-71. - Бібліогр.: 9 назв. - укp.

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


Індекс рубрикатора НБУВ: В125

Рубрики:

Шифр НБУВ: Ж69780 Пошук видання у каталогах НБУВ 

      
Категорія:    
4.

Буй Д. Б. 
Загальна теорія бінарних відношень: проекція та відношення сумісності / Д. Б. Буй, Н. Д. Кахута, Л. М. Сільвейструк // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Спец. вип. - С. 50-55. - Бібліогр.: 5 назв. - укp.

Мета роботи - дослідження теоретико-множинних конструкцій для подальшого використання в табличних алгебрах. Розглянуто проекцію та відношення сумісності та доведено низку критеріїв і властивостей даних конструкцій.


Індекс рубрикатора НБУВ: В125

Рубрики:

Шифр НБУВ: Ж28079/фіз.-мат. Пошук видання у каталогах НБУВ 

      
Категорія:    
5.

Ємець О. О. 
Про адитивну операцію на множині дискретних випадкових величин / О. О. Ємець, Т. М. Барболіна // Вісн. Одес. нац. ун-ту. Математика і механіка. - 2014. - 19, вип. 3. - С. 7-13. - Бібліогр.: 8 назв. - укp.

Розглянуто підхід щодо визначення адитивної операції на множині дискретних випадкових величин, у результаті якої зберігається кількість можливих значень випадкових величин. Встановлено умови, за яких операція є комутативною та асоціативною.


Індекс рубрикатора НБУВ: В125 + В171.2

Рубрики:

Шифр НБУВ: Ж69659 Пошук видання у каталогах НБУВ 
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського