Наноалмазы как идеальные наноносители для циансодежащих цитостатиков

Цианосодержащие цитостатики - новый класс открытых нами лекарств, которые благодаря цианогруппам хорошо закрепляются на наноалмазах, с увеличением активности

Construction of the model of lifelong education in professional educational organization

В статье описывается модель непрерывного образования в профессиональной образовательной организации, раскрывается специфика ее реализация для обучающихся по индивидуальному плану.The article describes the model of lifelong education in professional educational organization and shows its implementation for students studied by an individual plan

Верификация C-программ в мультиязыковой системе СПЕКТР

This paper presents the expendable multi-language analysis and verication system SPECTRUM, which is being developed within the framework of the project SPEC- TRUM. The project prospects are discussed using the example of C program verication. The project aims at the development of a new integrated approach to program verica- tion which will allow the integration, unication and combination of program verication techniques together with accumulation and reuse of knowledge about them. One of the project features consists in the use of the specialized executable specication language Atoment. This language provides a unied format to represent both verication meth- ods and data for them (program models, annotations, logic formulas). The C-targeted component of the SPECTRUM system is based on our two-level C program verication method. This method represents a good illustration of the integrated approach, since it provides a complex C program verication that combines operational, axiomatic and transformational approaches.Представлена расширяемая мультиязыковая система анализа и верификации СПЕКТР, разрабатываемая в рамках одноименного проекта, и показаны перспективы ее использования на примере верификации C-программ. Проект СПЕКТР направлен на создание нового интегрированного подхода к верификации императивных программ, который позволяет интегрировать, унифицировать и комбинировать методы и техники верификации императивных программ, накапливать и использовать знания о них. Особенностью подхода является использование специализированного языка выполнимых спецификаций Atoment для разработки средств верификации программ, который позволяет представить в едином унифицированном формате как методы и техники верификации, так и данные для них (программные модели, аннотации, логические формулы). C-компонента системы СПЕКТР использует двухуровневый метод верификации C-программ. Этот метод является хорошей иллюстрацией интегрированного подхода, поскольку он обеспечивает комплексную верификацию C-программ, базирующуюся на комбинации операционного, аксиоматического и трансформационного подходов

C Program Verication in the Multilanguage System Spectrum

This paper presents the expendable multi-language analysis and verication system SPECTRUM, which is being developed within the framework of the project SPEC- TRUM. The project prospects are discussed using the example of C program verication. The project aims at the development of a new integrated approach to program verica- tion which will allow the integration, unication and combination of program verication techniques together with accumulation and reuse of knowledge about them. One of the project features consists in the use of the specialized executable specication language Atoment. This language provides a unied format to represent both verication meth- ods and data for them (program models, annotations, logic formulas). The C-targeted component of the SPECTRUM system is based on our two-level C program verication method. This method represents a good illustration of the integrated approach, since it provides a complex C program verication that combines operational, axiomatic and transformational approaches