Ключ. слова: наплавленный металл, плазменная обработка, твердость, микроструктура, трещиностойкость
Індекс рубрикатора НБУВ: К209 + К644.8

Рубрики:

Вплив інших факторів на структуру і властивості металів і сплавів

Обробка наплавлених виробів

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

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

Висвітлено аспекти розвитку паливно-енергетичного комплексу під час розробки стратегії ПЕК України. Обгрунтовано можливість та необхідність реорганізації структури управління вугільними підприємствами, а також пропозиції щодо її вдосконалення. Запропоновано підходи до цілеспрямованого та послідовного реформування вугільної промисловості.

Досліджено полімерну композицію, модифіковану електромагнітним полем (ЕМП) у питній воді. Оптимізовані основні режими опрацювання полімеру ЕМП. Встановлено, що з оптимізацією режимів обробки полімера ЕМП значно підвищується його стійкість у питній воді та у хімічно активних середовищах та екологічні характеристики.

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

Polymer composition modified by electromagnetic field (EMF) in drinking water has been investigated. The main conditions of polymer treatment by EMF have been optimized. It has been established that due to the optimization of polymer treatment conditions its stability in drinking water and ecological characteristics in chemically active media increase considerably

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

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

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

The authors have developed the rust modifiers for the water-supply systems based on the large-scale waste of nitrogen, starch-treacle, and beer-alcohol-free productions.

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

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

A review of the most frequently used formal language models is given. The traditional syntactic model is described. It specifies rules of phrases generation and recognition. Some semantic models are also given. They are useful for the analysis of sentence's semantic correctness, their comparison, formal verification of software code, etc. Peculiar properties and limits of existing models are described as well as advanced research tends of formal language theory. Статья содержит обзор наиболее часто используемых моделей формальных языков. Описана традиционная синтаксическая модель, которая задает правила формирования и распознавания фраз языка...

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

Індекс рубрикатора НБУВ: Р410.09-54 + Р627.703-54

Рубрики:

Серцево-судинна недостатність

Порушення мозкового кровообігу

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

Індекс рубрикатора НБУВ: Р410.1-5 + Р627.703-5

Рубрики:

Хвороби серця

Порушення мозкового кровообігу

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

Ключ. слова: цитозин, гуанин, 5-азацитозин, пары оснований, комплексы с ионами металлов, водородные связи, карбонильная группа, гидратация, квантово-механические расчеты
Індекс рубрикатора НБУВ: Е0*725.112.711

Рубрики:

Загальна біологія

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

Проведена систематизация алгебр предикатных операций (АПО). Проанализирована булева АПО, АПО с константами и переменными, дизъюнктивно-конъюнктивная АПО, фундаментальная АПО и прикладная АПО. Введено определение кванторной АПО, сформулирована и доказана теорема о равносильности фундаментальной и кванторной АПО, предложен вариант сокращения базиса кванторной АПО.

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

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

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

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

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

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

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

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