Вивчали злиття негативно заряджених штучних фосфоліпідних везикул (ліпосом) в присутності двох електрофоретичних фракцій (біля 90 та 50 кДа) латротоксинподібного (Лп) білка. Показано, що обидві фракції стимулюють злиття ліпосом у кислому середовищі. Обробка N-етилмалеїмідом нативних препаратів Лп-білка пригнічує їх фузогенну активність. Деякі характеристики Лп-білка та відомих білків-фузогенів вказують на його можливу участь у злитті мембран в клітині.

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

На современном уровне описаны этиология, патогенез, классификация, клиника и лечение основных заболеваний сердечно-сосудистой системы. Особое внимание уделено современным взглядам на этиопатогенез, классификацию и лечение сердечно-сосудистых болезней.

Исследована зависимость функции зрительного анализатора, биоэлектрической активности затылочных и лобных долей коры головного мозга от их крово- и кислородного снабжения у 626 близоруких и 80 детей и подростков с нормальным зрением. Было установлено, что миопия может служить естественной моделью ухудшения кровоснабжения и снабжения кислородом тех долей коры головного мозга, в которых локализованы корковые представительства зрительного анализатора, осуществляющие контроль за аккомодационной функцией глаза, в частности затылочных долей. Кровоснабжение и снабжение кислородом этих долей снижено. На ЭЭГ затылочных долей коры зарегистрирована низкая амплитуда alpha-ритма, который был значительно меньшим, чем у здоровых. Установлено, что адаптация к гипоксии в курсе интервальной гипоксической тренировки, и курс остеорефлекторной стимуляции являются надежными средствами повышения кровоснабжения и снабжения кислородом затылочных и лобных долей коры головного мозга, нормализации ЭЭГ и остроты зрения. У 80 % близоруких детей она с 0,2 - 0,3 повысилась до 0,9 - 1,0.

Розглянуто основні частини графічного робочого вікна Plot системи SURFER - 5.01. Охарактеризовано всі об'єкти графічного вікна, розділені за способами роботи з ними на групи, а також методи роботи з об'єктами. Описано вікна запитів системи, наведено характеристики всіх полів та рекомендації щодо вибору опцій цих вікон.

Рассмотрены основные части графического рабочего окна Plot системы SURFER - 5.01. Охарактеризованы все объекты графического окна, разделенные по способам работы с ними на группы, а также методы работы с объектами. Описаны окна запросов системы, даны характеристики всех полей и рекомендации относительно выбора опций этих окон.

Вивчено здатність латротоксиноподібного (Лп) білка гідролізувати АТФ. Показано, що Лп-білок має АТФазну активність, яка зростає зі зсувом рН середовища в лужну область. Порівняння ферментативної активності Лп-білка за різних значень рН показало, що кінетичні параметри гідролізу АТФ залежать від рН середовища. Припущено, що за своїми властивостями Лп-білок є подібним до білків родини ААА-АТФаз; ці білки опосередковують злиття мембран у клітині.

Індекс рубрикатора НБУВ: Е60*444*739-641.9

Рубрики:

Загальна зоологія

Шифр НБУВ: Ж26810 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: В192.162.1

Рубрики:

Наближене розв'язання звичайних диференціальних рівнянь

Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ 

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

Досліджено активність кальційзалежної протеїнази кальпаїну в субклітинних фракціях з тканини головного мозку щурів. Швидкості гідролізу мічених флуоресцеїнізотіоціанатом субстратів, казеїну та фодрину під впливом кальпаїну були близькими, причому в першому випадку швидкість гідролізу була вищою. Це зумовило вибір міченого флуоресцентною міткою казеїну як адекватного субстрату. 87 % сумарної ферментативної активності кальпаїну виявлялось у цитоплазматичній фракції; у той же час достатньо помітна ферментативна активність спостерігалася в досліджених мембранних фракціях з тканини головного мозку (груба мітохондріальна фракція, мікросоми, мієлін). Найвища питома активність кальпаїну реєструвалась у цитоплазматичній фракції. Ферментативна активність ефективно пригнічувалась за присутності інгібітора кальпаїну ІК1 і збільшувалася після очистки препаратів від кальпастатину - ендогенного інгібітора кальпаїну.

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

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

Індекс рубрикатора НБУВ: Р716.216.414-52

Рубрики:

Захворювання нирок у вагітних

Шифр НБУВ: Ж23282 Пошук видання у каталогах НБУВ 

Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения тестовых сценариев. Описаны методы направленного поиска, а также методы оптимизации обхода пространства поведения.

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

Исследовано влияние липидов на активность нейтральной цистеиновой протеиназы - кальпаина - в субклеточных фракциях головного мозга крыс. Удаление из грубой митохондриальной фракции мозга до 23 % мембранного холестерина не приводило к изменению удельной активности кальпаина в этой фракции. Детергенты дигитонин и Тритон Х-100 в концентрации 0,3 % повышали активность кальпаина в грубой митохондриальной фракции. Результаты исследования влияния препаратов различных фосфолипидов на активность кальпаина в цитоплазме мозга показали, что только фосфатидилхолин, но не фосфатидилсерин и кардиолипин незначительно увеличивал активность кальпаина (независимо от размера и структуры фосфолипидных везикул). Высказано предположение, что механизмы взаимодействия кальпаина с липидами не универсальны: в нативной клетке и модельных опытах они могут заметно различаться и изменяются в зависимости от условий.

A guided search method for automatic test scenario building during verification proposed. The method uses user-defined regular expressions as test purposes and for model behavior traversal bounding. Search managing strategies together with trace and state equivalence weakening described.

Наведено результати дослідження вищої нервової діяльності за умов гір, впливу на неї гіпоксії. Розроблено на їх базі методи професійного відбору. Надано математичну модель оцінювання розвитку гіпоксії мозку внаслідок утворення гліоми.

Створено алгоритми та методи для автоматичної верифікації формальних моделей великих промислових систем. Одержано метод оперативної побудови точних абстракцій станів формальної моделі для перевірки темпоральних властивостей. Головною відмінністю є те, що кожний абстрактний стан формується з підмножини атрибутів та їх реальних значень відповідного конкретного стану, якої достатньо для перевірки властивостей моделі. Абстрактні стани не відрізняють варіювання значень незначущих атрибутів, що дозволяє значно зменшити кількість станів, необхідних для перевірки властивостей моделі. Розвинуто методи спрямованого пошуку поведінки моделі. Як засоби спрямовування використано спеціальні регулярні вирази над алфавітом імен переходів моделі, що забезпечило вдосконалення задання цілей тестування. Метод дозволяє автоматизувати побудову тестових сценаріїв і аналіз поведінок формальних моделей.

Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягнуто за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання перевірки властивостей моделі з експоненційної до поліноміальної.