В реляционной модели баз данных, введенной Э.Ф. Коддом, состояние базы данных понимается как конечная совокупность отношений между элементами. Имена отношений и их арности (местности) фиксируются и называются схемой базы данных. Отдельная информация, хранимая в отношениях данной схемы, называется состоянием базы данных. Хотя реляционные базы данных были придуманы для конечных совокупностей данных, часто удобно предполагать, что существует бесконечная область определения. Мы исследуем реляционные базы данных над упорядоченной областью определения с некоторыми дополнительными отношениями – типичным примером является множество рациональных чисел с отношением линейного порядка и бинарной операцией сложения. Если в качестве языка запросов используется язык логики предикатов первого порядка, то запросы могут использовать как отношения базы данных, так и отношения области определения, при этом переменные изменяются на всей области определения. В фокусе наших исследований запросы первого порядка (FO), инвариантные относительно перестановок, сохраняющих порядок, такие запросы называются порядково-генерическими. Установлено, что для некоторых областей порядково-генерические запросы первого порядка сводятся к запросам чистого порядка. Здесь мы доказываем теорему сводимости над слабо о-минимальной областью определения, имеющей ранг выпуклости 1 и малый счетный спектр.

В данной статье рассматриваются энергосберегающие технологии зимнего бетонирования строительных конструкций и сооружений. Различными авторами исследованы математические модели теплового режима объемной строительной конструкции. Математическая модель уравнений теплового баланса в бетонной конструкции, коэффициент теплопроводности, зависимости уравнений теплового баланса в бетонной конструкции и примыкании, объемная теплопроводность соответственно в возведенном фрагменте и ранее возведенной части стены реализована на ЭВМ. В статье рассмотрены процессы набора прочности цементом и бетоном при раннем замерзании бетона. Предыдущими исследованиями разных авторов установлено, что при увеличении времени набора критической прочности затраты электроэнергии снижаются на 25–50% за счет использования тепловой инерции конструкции. Выявлена скорость охлаждения монолитных конструкций при отрицательных температурах. Показана химия процессов твердения цемента при раннем замерзании. Термодинамическими расчетами установлены пределы отрицательных температур, при которых прекращается набор прочности бетоном, но при действии повторных положительных температур процесс гидратации цемента возобновляется и бетон продолжает твердеть. Алюминиевые минералы портландцементного клинкера обычно первыми гидратируются при затвердевании цемента водой, а в присутствии гипса образуют гидросульфоалюминат кальция. Это соединение очень непрочно и разрушается при механическом воздействии (повторной вибрации) и со временем даже при нормальных температурах. В статье рассмотрен зарубежный опыт зимнего бетонирования и предпочтительные методы работ в этом случае.

Настоящая статья касается понятия слабой о-минимальности, введенного М. Дикманном и первоначально исследованного Д. Макферсоном, Д. Маркером и Ч. Стейнхорном. Слабая о-минимальность является обобщением понятия о-минимальности, введенного А. Пиллэем и Ч. Стейнхорном в серии совместных статей. Как известно, упорядоченное поле вещественных чисел является примером о-минимальной структуры. Мы продолжаем изучение свойств почти омега-категоричных слабо о-минимальных теорий. Почти омега-категоричность – это понятие, обобщающее понятие омега-категоричности. Недавно был получен критерий бинарности почти омега-категоричных слабо о-минимальных теорий в терминах ранга выпуклости. Бинарный ранг выпуклости – это ранг выпуклости, в котором параметрически определимые отношения эквивалентности заменяются пусто-определимыми отношениями эквивалентности. (p, q)-секаторы выражают связь между не слабо ортогональными неалгебраическими 1-типами в слабо о-минимальных теориях. В большинстве случаев бинарные ранги выпуклости не слабо ортогональных не- алгебраических 1-типов не совпадают. Основным результатом данной статьи является нахождение необходимых и достаточных условий равенства бинарных рангов выпуклости для не слабо ортогональных неалгебраических 1-типов в почти омега-категоричных слабо о-минимальных теориях в терминах (p, q)-секаторов.

Как известно увеличение эффективности кремниевых солнечных элементов является одной из важнейших задач в современной индустрии альтернативной энергетики. Оптимизация антиотражающего и пассивирующего слоя является наиболее экономичным способом увеличения КПД. В данной работе исследовано влияние предварительной очистки на пассивирующие свойства пленок диоксида кремния (SiO₂), выращенных методом быстрого термического отжига (RTP) при температурах отжига 900 и 950 °С в атмосфере сухого кислорода. Выращивание тонких пленок SiO₂ на поверхности монокристаллических пластин кремния осуществлено в камере французской установки быстрого термического отжига AS-ONE 150. Измерения бесконтактным СВЧ-методом времени жизни неосновных носителей заряда показали, что наилучшая пассивация образцов достигается при применении предварительной трехэтапной химической очистки (RCA) поверхности пластин кремния n-типа. Методом ИК-спектроскопии формирование слоя SiO₂  подтверждается наличием интенсивного максимума при 1071 см^-1, что было отнесено к валентным колебаниям типа «растяжение-сжатие». Результаты расчетов оптических констант полученных пленок SiO₂  с использованием спектров отражения и программного обеспечения SCOUT показывают наличие слоя диоксида кремния, у которого показатель преломления и коэффициент экстинкции близки к эталонным. 

Термодинамическое описание осаждения парафина – относительно новый подход в решении проблемы выпадения парафина, с которой нефтегазовая индустрия борется довольно продолжительное время. В литературе существует множество моделей с целью прогнозирования термодинамических условий, при которых образуется первый кристалл парафина. Первой задачей во всех моделях является определение стабильности смеси углеводородов для того, чтобы определить перспективу выпадения парафина. Стабильность смеси определяется термодинамическим поведением фаз многокомпонентной смеси, а именно нахождением всех существующих фаз в равновесии. С этой целью разработан новый алгоритм стабильности с минимизацией энергии Гиббса для определения осаждения парафина в углеводородных смесях. Алгоритм основан на термодинамической модели multi-solid с концепциями УС. Главный критерий устойчивости – нахождение смеси в ее глобальном минимуме. Предлагаемый анализ стабильности предсказывает, будет ли данная смесь разделена на несколько фаз или будет существовать как одна фаза при заданных условиях температуры и давления. Модель была проверена на 6 образцах из месторождений X и Y, показывающих нестабильность исходных нефтяных смесей, что согласуется с реальным поведением нефти в условиях месторождения. Результаты нового алгоритма устойчивости сопоставимы с результатами моделей, представленных ранее. Главное достоинство метода – простота и надежность.

Трубопроводный транспорт считается самым эффективным и экономически целесообразным видом в отличие от железнодорожного, сухопутного или других видов транспорта. Транспортируемые продукты – как правило, нефтепродукты – с различными физическими и механическими свойствами способны оказывать различное негативное влияние на материал трубопровода, тем самым вызывая коррозию, износ, утечку и выбросы. Актуальность исследований в этом направлении обусловлена тем, что из-за относительно сложного состава нефтей Казахстана во время перекачки нефти трибоэлектрические эффекты на границе раздела фаз вызывают возникновение электрических зарядов, которые приводят к повышению эффективности химических реакций, вызывающих коррозию материала трубопроводов. Поэтому необходима разработка специфических способов защиты нефтепроводов от разрушений, вызванных коррозией металлов. ИКспектроскопический анализ нефти показывает наличие различных видов углеводородов. На основе разгонки нефти АО «Озенмунайгаз» сложность в молекулярном составе нефти вызывает электрические эффекты, приводящие к увеличению скорости коррозии. Все это надо учитывать при разработке защиты от коррозии. В процессе транспортировки в объеме нефти и нефтепродуктов благодаря сложной микроструктуре и определенной гетерогенности макроструктуры могут образовываться электростатические заряды. Так как при триболитических эффектах происходит электризация, а также тепловыделение, данные процессы требуют уточнения процессов теплопередачи на микро-, макроуровне. При этом разность потенциалов между отдельными участками объема жидкости может быть достаточно велика. В работе использовались химические и физико-химические методы инструментального анализа. В настоящей работе были получены экспериментальные значения удельной электропроводности нефти и нефтепродуктов в лабораторных условиях, которые позволяют судить об их диэлектрическом характере. В данной работе был изyчен трибoэлектрический эффeкт на месте грaницы мeтaллов и oрганичeских жидкocтей (нeфть, мaзут и т.п.), чтобы oпредeлить их влияние на коррозию металлов трубопроводов, и установлены значения электропроводности нефтей и нефтепродуктов.