Methods of data transfer from the Oracle environment to the PostgreSQL environment with stageby- stage organization of actions and determination of the sequence of migration are considered. The main directions for the transformation of the structure of databases, data formats and executed objects are identified. Methods for converting stored procedures and triggers written in procedural languages (PL/SQL and PL/pgSQL) are specified. Software change on nodes directly connected (associated) with the database server and minimization of downtimes during migration are considered, which allows the transfer to be performed for geographically distributed and round-the-clock functioning objects. Examples of changing the speed of query execution before and after migration are given for systems of various types.

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

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

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