Розглянуто виразні можливості мови програмування ВІРТ для розв'язку проблем автоматичного доведення теорем. Представлено програму одиночної бінарної резолюції. Проведено порівняльний аналіз мов програмування ВІРТ та LISP.

Обгрунтовано доцільність та зміст концепції сталого розвитку на території України, уточнено понятійну основу цього розвитку. Запропоновано підходи до дослідження територіальних передумов переходу України на модель сталого (гармонійного, збалансованого) розвитку з використанням картографічного методу дослідження.

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

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

Індекс рубрикатора НБУВ: У9(4УКР)28

Рубрики:

Економіка окремих країн і частин світу

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

Запропоновано нову універсальну об'єктно орієнтовану мову програмування. У першому наближенні можна розглядати мову ВІРТ як "фон-нейманівський аналог" мови LISP. Характерна особливість даної мови полягає у тому, що її можна однаково успішно застосовувати як для розв'язання традиційних задач, так і для обробки знань.

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

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

Рубрики:

Спалахи на Сонці. Вибухи на Сонці

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

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

The procedure for analysis and selection of impulsive noise primary sources, which used in random number sequence generator, is suggested. Description of computer system for analysis of noise pulses point processes in diodes operated in microplasma breakdown mode is introduced. The developed system allows carrying out diodes with generation rate of noise pulses up to 10 MHz.

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

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

Рубрики:

Електричні та магнітні властивості кольорових металів

Квантова теорія

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

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

У 122-х ембріонів людини, розвинених у матці за відсутності явних шкідливих факторів зовнішнього середовища, з терміном розвитку від 21-ої доби до 12-ти тижнів на стадіях X - XXIII та початку плідного періоду за класифікацією Інституту Карнегі виявлено закономірне перерозподілення глікополімерів в епітеліальних і мезенхімних закладках шкіри. На ранніх етапах розвитку шкіри її закладки накопичують велику кількість сіалірованих глікополімерів і глікополімерів з кінцевими нередукуючими залишками N-ацетил-D-глюкозамина, які є рецепторами лектину бузини чорної, клубнів картоплі та зародків пшениці. До кінця вивченого періоду розвитку виявлено поступову редукцію обох глікополімерів. Найбільш значна редукція сіалірованих глікополімерів.

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

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

Проаналізовано існуючі підходи до визначення критеріїв депресивних аграрних регіонів. Запропоновано методику добору індикаторів виділення депресивних сільських територій, яка базується на аналізі кореляційної залежності 62 показників, з них виділено 16 показників, які можна вважати головними індикаторами. Із застосуванням кластерного аналізу здійснено групування регіонів України за рівнем депресивності аграрних територій.

Індекс рубрикатора НБУВ: К327(4УКР)

Рубрики:

Виробництво заліза та сталі (сталеплавильне виробництво)

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

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

Рубрики:

Рубці при хірургічних операціях. Рубці шкіри при хірургічних операціях

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

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

Рубрики:

Електричні та магнітні властивості твердих тіл

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

Приведены результаты применения специального адгезивного крема "Лакалут Дент" для фиксации зубных протезов. Показано, что крем "Лакалут Дент" в 1,5 - 2 раза повышает фиксацию протезов, не раздражает слизистую протезного ложа и улучшает психоэмоциональное состояние пациента.