Розглянуто основні тотожності булевої алгебри та доведено їх категорні аналоги.

В электрометаллургическом производстве стали создана технология "жидкий сандвич" производства сортового, листового и фасонного проката, проката периодического профиля, резьбовых крепежных изделий из металлических композиций. Приведены результаты исследования химического состава, физических свойств композиций "малоуглеродистая сталь + высокоуглеродистая сталь", "малоуглеродистая сталь + низколегированная сталь", "высоколегированная сталь + высоколегированная сталь". Установлено, что прокат из литых металлических композиций имеет лучший комплекс физико-механических и специальных свойств и может быть использован взамен проката, изготавливаемого из существующих марок сталей.

Проведен анализ производства и применения многослойных сталей на предприятиях Украины. Обобщены данные по способам производства, сортаменту и изготавливаемым изделиям.

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

Предложен новый подход к государственному регулировию отечественной рыночной экономики основанный на аксиоматических моделях процессов функционирования макроэкономики, государственном праве регулирования свободного рынка, социальных и фундаментальных экономических законах, а также проверенных историческим опытом математических моделях регулирования экономического равновесия и роста, обобщенного спроса и предложения основных видов общественных благ и ресурсов.

Изложены теоретические сведения и руководящие методические указания по формированию математических моделей аксиоматических рассуждений, а также по автоматическому доказательству на этих моделях истинности этих рассуждений. Приведены примеры формирования математических моделей аксиоматических рассуждений (теорем) и автоматического доказательства истинности данных рассуждений с помощью метода резолюций Робинсона.

Выявлены первичные причины безнадежной болезни либеральной экономики (ЛЭ). Предложены пути реанимации ЛЭ, основанные на замене существующих производственных отношений в социуме на принципиально новые отношения, присущие гражданскому капитализму; действующей системы государственного управления новой системой эффективного государственного управления, называемой Правовым государством гражданского общества. Изложены концепты новых производственных отношений и правового государства гражданского общества. Выявлены причины непрофессионального, невежественного управления государством и предложены пути ликвидации данных пороков. Обоснована бесперспективность эффективной жизнедеятельности государства и эффективного государственного управления им без математической теории управления.

Рассмотрены вопросы выбора адекватной математической структуры, предназначенной для описания, постановки проблемных задач, их решения и прогнозирования поведения прогнозируемого процесса в интересующей исследователя перспективе. Особое внимание уделено анализу поведения в долгосрочном периоде сверхбольших динамических систем, в частности общественно-экономических систем (ОЭС) любого типа. Предложена принципиально новая методология моделирования исследуемых процессов в совокупности с решением проблемных задач и прогнозированием поведения этих процессов в заданном интервале будущего времени для ОЭС любого типа.

Розглянуто питання застосування логічних методів і методів формальних систем для побудови мовних трансляторів. Запропоновано аналог методу резолюцій для елементарних формальних систем.

Ключ. слова: многослойные периодические композиции, межфазные перемешанные зоны, диффузия, структурные превращения, механические напряжения
Індекс рубрикатора НБУВ: К235.120.26 + К663.033-18

Рубрики:

Металізація металів розпилюванням (шоопірування)

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

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

Рубрики:

Структурні і фазові перетворення в залізі та його сплавах. Теорія термічної обробки

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

За допомогою методів рентгенівської дифракції та електронної мікроскопії поперечних зрізів досліджено структурні зміни в багатошарових періодичних композиціях Mo/Si під час опромінення іонами гелію. Виявлено, що опромінювання зумовлює зменшення періоду багатошарової композиції зі зменшенням товщини шарів молібдену й кремнію, збільшенням товщин переміщених зон і зменшенням їх щільності. Швидкість перемішування залежить від кристалічної структури шарів молібдену. Зазначено, що опромінення погіршує рентгенооптичні характеристики покриття.

Рассмотрены логические модели синтаксически управляемых переводов формальных языков и исследованы их свойства.

Ключ. слова: многослойное рентгеновское зеркало, тонкая пленка, шероховатость, ионное травление
Індекс рубрикатора НБУВ: В372.134с0 + К663.033.057.3

Рубрики:

Електропроменева металізація металів

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

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

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

Індекс рубрикатора НБУВ: З973-047.10

Рубрики:

Комп'ютери та програмування

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

Предложена электронно-микроскопическая методика определения среднего состава промежуточных фаз, образующихся между слоями чистых компонентов в многослойных структурах. Экспериментально определены толщины расходованных в химической реакции чистых компонентов и сравнены с расчетными значениями. Установлено, что в процессе изготовления многослойных композиций Sc/Si методом магнетронного распыления на межфазных границах образуется аморфная промежуточная фаза с составом, близким к силициду ScSi. Толщина этой фазы составляет примерно 3,8 нм на обеих межфазных границах раздела Sc-на-Si и Si-на-Sc.

Ключ. слова: многослойное рентгеновское зеркало, ионно-лучевое перемешивание, малоугловая рентгеновская дифракция, перемешанная зона, баллистическое перемешивание
Індекс рубрикатора НБУВ: Ж364

Рубрики:

Композиційні матеріали

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

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