SCI Библиотека

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

Logical-probabilistic machine learning (LPML) is an AI method able to explicitly work with a priori knowledge represented in data models. This feature significantly complements traditional deep learning knowledge acquiring. Object ontologies are a promising example of such a priori models. They are an expanded logical analog of object oriented programming models. While forming the core of the bSystem platform, object ontologies allow solving the applied problems of high complexity, in particular, in the field of management. The combination of LPML and object ontologies is capable of solving the forecasting problems, the tasks of automated control, problem detection, decision making, and business process synthesis. The proximity of object ontologies to the LPML formalism due to the same semantic modeling background makes it possible to integrate them within a single hybrid formal system, which is presented in this paper. In the paper we introduce the approach to integration of these two formalisms and provide some algorithmic basis for the implementation of the resulting hybrid formalism on the bSystem platform.

Найдены необходимые и достаточные условия регулярности силовской p-подгруппы P группы Шевалле типа F4 или E6, определенной над кольцом классов вычетов целых чисел по модулю pm, когда простое число p отлично от 37, 41, 43, 47. Для перечисленных значений p группа P регулярна, если экспонента m не превосходит числа 3; при m больше, чем 3, ответ остается неизвестным.

Выявлены вогнутые продолжения дискретных функций, определенных на вершинах n-мерного единичного куба, n-мерного произвольного куба и n-мерного произвольного параллелепипеда. Конструктивно доказано, что, во-первых, любая дискретная функция fD, определенная на вершинах G - одного из этих трех множеств, имеет бесконечно много вогнутых продолжений на G и, во-вторых, существует функция fNR, являющаяся минимумом среди всех ее вогнутых продолжений на G. Также доказано, что функция fNR на G непрерывна и единственна.

Megumi Saigo derived generalized fractional operators, involving Gauss hypergeometric function, having four special cases: Riemann-Liouville, Weyl, Erdely-Kober left and right sided fractional operators. Mridula Garg and Lata Chanchalani established q-analogues of Saigo fractional integral operators. Building upon this base, the current article aims to generalize Saigo integral operators as well their q-analogues. In addition, we obtain some new results involving extended Saigo integral operators and their q-extensions.

This article discusses the existence of positive solutions to Sturm-Liouville boundary value problems for Riemann-Liouville nabla fractional difference equations. The results obtained here shall generalize the existing ones. We provide a few examples to illustrate the applicability of established results.

In this paper we investigate the existence of hyperbolic, Euclidean and spherical structures on cone-manifolds with underlying space 3-sphere and with singular set a given two-bridge knot. For two-bridge knots with 8 crossings we present trigonometric identities involving the length of singular geodesics and cone angles of such cone-manifolds. Then these identities are used to produce exact integral formulae for the volume of the corresponding cone-manifold modeled in the hyperbolic space.

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

Введение. Сахарный диабет II типа (СД-II) представляет собой хроническое заболевание, характеризующееся инсулинорезистентностью, нарушенной толерантностью к глюкозе и гипергликемией. СД-II является доказанным фактором риска развития как периферических нейропатий, так и нарушений мышечной сократимости и функции. Производное бигуанида метформин, экспериментальное соединение малобен и препараты различных видов женьшеня (Panax spp.) обладают значительным потенциалом для лечения СД-II и его скелетно-мышечных осложнений. В качестве теста для оценки мышечной сократимости и эффективности ее восстановления Gregory et al. был предложен протокол электростимуляционного утомления (ЭСУ), включающий измерение силы хвата перекладины после утомления двуглавой мышцы плеча высокочастотной электростимуляцией с помощью имплантированных электродов.

Цель. В настоящей работе нами была проведена оценка применимости модификации данного протокола для оценки миотропных эффектов метформина, малобена и экстрактов суспензионных культур клеток женьшеня обыкновенного Panax ginseng C. A. Mey. (ЖОЭ), ж. вьетнамского P. vietnamensis Ha & Grushv. (ЖВЭ) и ж. японского P. japonicus (T. Nees) C. A. Mey. (ЖЯЭ) у лептинрезистентных мышей db/db, являющихся одной из наиболее популярных современных моделей СД-II.

Материалы и методы. Эксперименты были выполнены на 60 молодых взрослых (2 мес.) мышах-самцах линии C57Bl/Ks-db+ /+m (db/db) массой 45–50 г, рандомизированных на 6 групп: 1) контроль (n = 10; 0,9 % физиологический раствор); 2) ЖОЭ (n = 10; 50 мг/кг); 3) ЖВЭ (n = 10; 50 мг/кг); 4) ЖЯЭ (n = 10; 50 мг/кг); 5) малобен (n = 10; 60 мг/кг); 6) метформин (n = 10; 300 мг/кг). Все препараты вводили внутрижелудочно с помощью зонда 1 р/д в течение 2 мес. По окончании периода лечения измеряли силу хвата (г) передними и всеми четырьмя конечностями с помощью аппарата Grip Strength Meter (TSE Systems, Германия). Методом стимуляционной электронейромиографии анализировали амплитуду М-ответов икроножной мышцы на стимуляцию седалищного нерва одиночными стимулами, а также регистрировали изменение амплитуды М-ответов в течение 5 мин после проведения ЭСУ.

Результаты и обсуждение. По окончании периода лечения не наблюдали значимых межгрупповых различий в силе хвата и амплитуде М-ответов икроножной мышцы при ее стимуляции одиночными стимулами. Контролируемое ЭСУ мышцы приводило к снижению амплитуды ее М-ответа на 18,83–35,23 % от исходного уровня (p < 0,01 для всех групп), причем выраженность этого снижения была значимо меньше в группах ЖВЭ, ЖЯЭ и малобена по сравнению с контролем (p < 0,05). Восстановительный период (5 мин) после ЭСУ характеризовался увеличением амплитуды М-ответа на 10,18–14,79 %, имевшим статистическую значимость во всех группах, кроме ЖОЭ (p < 0,01 в группах контроля, ЖВЭ и ЖЯЭ; p < 0,05 в группах малобена и метформина). Значимые отличия от контроля по результатам восстановительного периода в опытных группах не наблюдались.

Заключение. Предлагаемый протокол ЭСУ представляет собой функциональную пробу, позволяющую оценить эффективность восстановления электрической активности скелетной мышцы после ее контролируемого утомления. Применение описываемого протокола позволило выявить положительное влияние ЖВЭ, ЖЯЭ и малобена, но не ЖОЭ и метформина на краткосрочное восстановление сократимости икроножной мышцы после тетанизации у диабетических мышей db/db. Проба с ЭСУ чувствительна к миотропным эффектам препаратов метаболического действия, сравнительно малоинвазивна и подходит для использования в хроническом эксперименте.