English
12.2015 - том 19 выпуск 4 (PDF)
Статья посвящена логике работы эндокринной системы человека на примере функционирования αи β-клеток поджелудочной железы. Представлены несколько уровней абстракции для данной системы. Рассмотрены взаимодействия αи β-клеток поджелудочной железы между собой, а также с отдельными органами и периферическими тканями организма. В пространстве состояний этой системы выделены «состояния тревоги».
Ключевые слова: эндокринная система, поджелудочная железа, α-клетка, β-клетка, автоматное моделирование в биологии.
В статье дается краткое введение в ансамбли классификаторов в машинном обучении и описывается алгоритм, повышающий качество классификации за счет рекомендации классификаторов объектам. Гипотеза, заложенная в основу алгоритма, состоит в том, что классификатор скорее правильно классифицирует объект, если он правильно предсказал метки соседей этого объекта из обучающей выборки. Автор иллюстрирует принцип алгоритма на простом примере и описывает тестирование на реальных данных..
Построена дискретная модель газообмена СО в легких человека, позволяющая рассчитывать концентрацию СО в выдыхаемом воздухе в зависимости от физиологических и реальных спирометрических параметров. Получены формулы для расчета измеряемой концентрации СО при спонтанном и форсированном режимах дыхания. Сформулирована постановка обратной задачи, в результате решения которой по значениям измеряемой концентрации СО и детальным спирометрическим данным, могут быть рассчитаны диффузионная способность мембраны и альвеолярный объем легких. На основе полученных результатов может быть разработано программное обеспечение для обработки данных приборов функциональной диагностики заболеваний, характеризующихся нарушением проницаемости альвеолярнокапиллярной мембраны, таких как хроническая обструктивная болезнь легких, легочная артериальная гипертензия и др.
Ключевые слова: газообмен, монооксид углерода, диффузионная способность легких, альвеолярный объем, математическое моделирование.
Излагаются основные понятия теории вероятностных автоматов, приводятся новые доказательства классических результатов теории вероятностных автоматов, связанных с эквивалентностью и редукцией вероятностных автоматов, а также излагается и доказывается критерий реализуемости вероятностных реакций конечными вероятностными автоматами общего вида, являющийся усилением соответствующего критерия Р.Г.Бухараева и Х.Хомута ([22], [23]).
Ключевые слова: вероятностные автоматы, вероятностные реакции, случайные функции.
Рассматривается динамическая задача поиска идентичных объектов (ДЗПИО). В работах [1, 2, 3] автор показал, как эту задачу можно решать с помощью многоавтоматного динамического информационного графа (МДИГ) для любого потока запросов. В данной работе показано, что не существует конечного МДИГ с радиусом видимости один, и степенью ветвления два, обрабатывающий произвольный поток запросов.
Ключевые слова: динамические базы данных, поиск по ключу, информационный граф, автомат, потоки запросов.
В работе рассматривается система Фреге в сигнатуре {∧, ∨, ¬}. Для данной системы доказывается нетривиальная нижняя оценка длины минимального вывода.
Ключевые слова: Системы Фреге, длина вывода, нижние оценки.
В работе рассматривается задача расшифровки арифметических сумм монотонных конъюнкций, определенных на n-мерном булевом кубе, в модели точной расшифровки при помощи запросов на значение функции. Предложен алгоритм расшифровки, на основе которого получена верхняя оценка сложности расшифровки. Так же предложен алгоритм ответов на запросы, с помощью которого были получены нижние оценки сложности расшифровки исследуемого класса функций для малого числа монотонных конъюнкций.
Ключевые слова: расшифровка дискретных функций, суммы мототонных конъюнкций.
Предлагается алгоритм восстановления соответствия между двумя N-точечными изображениями в конечномерном действительном евклидовом пространстве, связанными невырожденным аффинным преобразованием. Исследуются инварианты для поиска соответствия за линейное время.
Ключевые слова: отслеживание динамики изображений, аффинное преобразование, многомерные изображения, соответствие особых точек.
В работе рассмотрена задача о возможности построения дерева разводки сигнала с заданными величинами задержек сигнала до листьев дерева. Исследован класс деревьев с функциями задержки сигнала, на которые наложены некоторые ограничения. Предложен алгоритм, решающий данную задачу. Для фиксированного набора функций задержки сигнала время работы алгоритма полиномиально относительно количества листьев дерева.
Ключевые слова: Синтез больших интегральных схем, разводка сигнала, дерево буферов.
В работе рассматривается два вида схем из функциональных элементов. Задача получения нижней оценки сложности реализации булевых функций для одного типа схем сведена к задаче получения верхней оценки для другого типа схем. Получена точная по порядку нижняя оценка сложности укладки графа-двоичного дерева в клеточную структуру.
Ключевые слова: булевы функции, сложность реализации, схемы из функциональных элементов.