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

Представлен комплекс формальных моделей и методов описания и исследования бизнес-процессов, в совокупности представляющих собой соответствующую теорию как форму научного знания об объекте, представляющую собой систему утверждений и доказательств и содержащую методы объяснения и предсказания явлений в рассматриваемой предметной области. Формальный аппарат, лежащий в основе теории бизнес-процессов, базируется на следующих направлениях теории программирования: формальные грамматики и языки; параллельные процессы и методы распараллеливания; теория тестирования программ; методы оптимизации, верификации, анализа и оценки качества программ; теория баз данных; структурные и объектно-ориентированные методы анализа и проектирования и др. Рассмотрены следующие разделы теории бизнес-процессов: визуальные языки моделирования, технологии моделирования, методы инжиниринга/реинжиниринга, методы анализа и верификации, методы перехода от моделей бизнес-процессов к требованиям к системам их автоматизации, параллельные бизнес-процессы.

Рассмотрены методы преобразования информационных систем, имеющих сетевую архитектуру и созданных на основе языка C#, таким образом, чтобы они могли выполняться в среде, компоненты которой включены в реестр российского программного обеспечения. Основу рассматриваемой среды составляют операционные системы, средства управления базами данных, web-средства, а также фреймворки и программные библиотеки. Допускается дополнительное использование совокупности открытых компонентов, т. е. тех, которые содержат полный набор исходных текстов и которые можно подвергнуть процедуре верификации. Выделены основные направления подготовки исполнительной среды. Определены методы настройки web-сервера Apache 2 и создания виртуального хоста. Проведена краткая оценка способов миграции баз данных. Рассмотрены вопросы коррекции исходного кода C# при изменении опе­рационной среды и методы преобразования исходного текста при изменении способов работы с графической средой.

The paper is concerned with problems of existence,u niqueness, and stabilization of weak solutions of one class of semilinear second-order parabolic differential equations on closed manifolds. These equations are inhomogeneous analogues of the Kolmogorov–Petrovskii–Piskunov–Fisher equation, and have significant applied and mathematical value.