SCI Библиотека

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

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

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

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

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

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

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

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

Актуальность исследования посвящена вопросам рисков формирования воспалительных и сосудистых осложнений у пациентов, оперированных по поводу ортогнатической патологии, что требует разрешения данной проблемы с включением в стандарт лечения преформированных методов физиотерапии. Цель: повысить эффективность лечения пациентов с ортогнатической патологией преформированными методами физиотерапии, снизить риски воспалительных осложнений. Материалы и методы: проведена оценка стоматологического статуса пациентов, оперированных по поводу ортогнатической патологии. Изучены стоматологические индексы, сосудистые риски воспалительных осложнений по уровню VEGF и рецепторам - sVEGF-R1; sVEGF-R2. Все пациенты, вошедшие, в основные и группы сравнения в раннем послеоперационном периоде получили лазерную терапию (НИЛИ). Акцент делали на применении электромагнитного излучения 635 нм (Сравнение I) и 904 нм (Сравнение II). Одновременно НИЛИ разной длины волны (635 и 904 нм) проводили непосредственно на вестибулярную и оральную поверхности десневых тканей в зоне операции и накожно в проекционных зонах верхней и нижней челюстей (Основная). Результаты: полученные результаты свидетельствуют о доминировании более высокой клинической эффективности в отношении коррекции коллатерального отека раны в раннем послеоперационном периоде, снижая воспалительные риски у пациентов, получивших комбинацию электромагнитного излучения разной длины волны, что отразилось на показателях VEGF-R1 и VEGF-R2. Выводы: применение комбинированного спектра лазерного излучения разной длины волны в раннем послеоперационном периоде у оперированных стоматологических больных корригирует соотношение между рецепторами VEGF-R1/VEGF-R2, позволяя устранить сосудистую дисфункцию и снизить воспалительные риски в послеоперационном периоде.

Реконфигурируемые системы на кристалле (РСнК) занимают все большую долю на рынке микро- и наноэлектроники. Наличие программируемой части в совокупности с жесткими сложными функциональными (СФ) блоками на одном кристалле делает их универсальными и пригодными для выполнения разного рода задач. При проектировании интегральных схем (ИС) на основе РСнК остро стоит вопрос быстродействия схем. Оно зависит как и от архитектуры целевой реконфигурируемой системы, так и от результатов каждого этапа маршрута проектирования. Основополагающим фактором, влияющим на скорость распространения сигнала между логическими элементами, является их расположение относительно друг друга. Это определяется на этапе кластеризации и размещения элементов разрабатываемой схемы на базе РСнК. В данной статье эти два этапа рассматриваются совместно, т. к. они неразрывно связаны друг с другом и решают общую задачу распределения логических элементов схемы по группам логических элементов РСнК. Для выполнения кластеризации и размещения выбраны методы, использующие программный модуль KaHyPar, последовательный многоуровневый алгоритм размещения (ПМАР) и стандартный плоский алгоритм размещения (СПАР). Результатом работы является сравнительный анализ представленных методов. В качестве оценки используются такие параметры как количество трассировочных элементов в цепях, количество цепей с определенным числом трассировочных элементов, а также трассируемость схем. На основе полученных результатов показаны преимущества и недостатки представленных методов.