English
06.2015 - том 19 выпуск 2 (PDF)
В отличие от СО2 при последовательных задержках дыхания, с возрастающим временем, концентрация монооксида углерода (СО) стремится к некоторому равновесному значению (равновесной концентрации), зависящему от содержания карбоксигемоглобина в крови. Показано, что диффузионная способность легких, рассчитанная по скорости нарастания концентрации СО в альвеолярном объеме, примерно вдвое превышает их общую диффузионную способность, определенную известным «single breath» методом, то есть соответствует диффузионной способности альвеолярно-капиллярной мембраны. На основе математического моделирования процесса газообмена СО в легких человека, получена формула для расчета интегральной измеряемой концентрации СО в выдыхаемом воздухе, с учетом влияния на результаты измерений мертвого (анатомического и приборного) объема. Влияние мертвого объема учитывалось в предположении, что в нем не происходит газообмен, но в выдыхаемый объем из него сначала поступает СО, содержащийся во вдыхаемом воздухе, а за тем выдыхаемая часть альвеолярного СО. При этом учитывалось, что в начале вдоха мертвый объем заполнен конечной порцией альвеолярного воздуха, поступившего в него в результате предыдущего выдоха. Рассмотрены две модели: линейная модель (ЛМ), когда газообмен СО в изменяющемся альвеолярном объеме происходит при постоянном коэффициенте переноса, и модель эластичной оболочки (МЭО), когда коэффициент переноса при дыхании изменяется пропорционально площади поверхности мембраны и обратно пропорционально ее толщине. В результате анализа полученных результатов показано, что расчеты в приближении МЭО более адекватно описывают экспериментальные данные и могут быть использованы для решения обратной задачи, то есть 6 Е. В. Бабарсков расчета диффузионной способности альвеолярно-капиллярной мембраны, альвеолярного объема легких и равновесной концентрации СО, по трем значениям измеряемой концентрации СО при различных режимах дыхания. Таким образом, предлагаемый метод, в отличие от «single breath», позволяет определять указанные важные физиологические параметры без использования тестовых газовых смесей.
Ключевые слова: газообмен, монооксид углерода, диффузионная способность легких, альвеолярный объем, математическое моделирование.
В работе приводится постановка задачи, в рамках решения которой был разработан Язык описания медицинских протоколов (ЯОМП), описывается этот язык, по сути являющийся специализированным языком программирования высокого уровня, а также перечисляются области, в которых ЯОМП оказывается востребованным.
Ключевые слова: специализированный язык программирования высокого уровня, медицинские системы поддержки принятия решений.
В работе будут доказаны достаточные условия континуальности решетки пропозициональных исчислений с операцией подстановки и произвольными схемными операциями вывода. Кроме того будут описаны мощности множеств всех замкнутых классов, предполных и дуально-предполных классов тавтологий в решетке пропозициональных исчислений. Также будут описаны типы критериальных систем для пропозициональных исчислений.
Ключевые слова: решетка пропозициональных исчислений, предполные классы, дуально-предполные классы, критериальные системы.
В данной работе представлены результаты экспериментального анализа свойств абелевых групп в связи с их криптографическими приложениями. В силу сложности вычислительной задачи рассмотрены группы малого порядка.
Ключевые слова: порядок 2-транзитивности, абелева группа, конечная группа, симметричный шифр.
В данной работе рассматриваются модели формы объектов на изображении: бинарная и многоклассовая модели Больцмана. Предлагается новый алгоритм обучения многоклассовой модели формы Больцмана, для применения которого достаточно неполной разметки данных, а именно: бинарной разметки и задания семян, указывающих приближенное расположение частей объектов.
Ключевые слова: модель формы Больцмана, многоклассовая модель формы Больцмана, графические модели, ЕМ-алгоритм.
В данной статье описывается процесс создания вебприложения, реализующего функционал географической карты. Материал делится на две части. В первой части решаются проблемы отрисовки карты на экране, масштабирования карты, перемещения по карте, отображения объектов на карте. Во второй рассматривается задача кластеризации заранее определенного множества объектов, расположенных на карте, методом k-средних и методом расстояний.
Ключевые слова: онлайн-карта, одностраничные приложения, тайлы, php, jQuery, ajax, SQL, метод k-средних, метод расстояний, кластеризация.
В работе рассматриваются одно-переменные итеративные пропозициональные исчисления, представляющие собой конечные множества пропозициональных формул от одной переменной вместе с операцией modus ponens и операцией суперпозиции, заданной множеством операций Мальцева. Для таких исчислений будет проведено сведение проблемы выводимости формул к проблеме вывода слов в линейных канонических системах. В частности, будет показано, что все одно-переменные итеративные пропозициональные исчисления разрешимы.
Ключевые слова: итеративные пропозициональные исчисления, проблема выводимости, линейные канонические системы.
В статье исследуется зависимость между принадлежностью внутренних функций автомата к предполным классам булевых функций с реализацией автоматом словарной функции из того же класса.
Ключевые слова: теория автоматов, предполные классы, словарная функция.
В статье рассматривается две проблемы: проблема вложения допустимых классов алфавитного кодирования и проблема вложения допустимых классов регулярных языков. В первом случае для произвольной пары регулярных языков в общем алфавите необходимо понять, верно ли, что любое алфавитное кодирование, биективное на первом языке, будет биективно и на втором. Во втором случае для произвольной пары алфавитных кодирований в общих входном и выходном алфавитах необходимо понять, верно ли, что произвольный регулярный язык, на котором первое кодирование биективно, будет обладать тем же свойством и при втором кодировании. Показано, что первая проблема алгоритмически разрешима для случая, когда мощность входного алфавита равна двум. Во втором случае показано, что проблема всегда алгоритмически разрешима.
Ключевые слова: алфавитное кодирование, регулярные языки, проблема вложения, допустимые классы.
В работе формулируется и доказывается критерий реализуемости функций на строках вероятностными автоматами Мура с числовым выходом.
Ключевые слова: вероятностные автоматы, автоматы Мура, реакции, случайные функции.
В статье рассматриваются языки в алфавите \(\{a_1, . . . , a_n\}\), в словах которых зафиксирована доля всех последовательных пар \(a_ia_j\) . Эта доля описывается порождающей матрицей языка Θ. Автор назвал такие языки биграммными. Подобным свойством обладают естественные языки. Оказывается, что свойства таких языков быть пустыми, конечными, регулярными, контекстно-свободными или контекстно-зависимыми проверяемы по матрице Θ. В данной работе подробно рассматривается вопрос бесконечных контекстно-свободных языков.
Ключевые слова: биграмма, матрица кратностей биграмм, биграммный язык, контекстно-свободный язык, ориентированный граф, эйлеров граф.
В работе строится обобщение автоматной модели невлияния на случай квантовых автоматов. Доказывается «теорема раскрутки», описывающая достаточные условия безопасности.
Ключевые слова: конечные автоматы, безопасность системы, модель невлияния.