Пошук академічних текстів

Інформація × Реєстраційний номер 0212U005135, 0111U006840 , Науково-дослідна робота Назва роботи Застосування моделей паралелізму в дослідженні фундаментальних закономірностей у процесах експресіїї генів людини Назва етапу роботи Керівник роботи Божков Анатолій Іванович, Дата реєстрації 26-03-2012 Організація виконавець Харківський національний університет імені В.Н. Каразіна Опис етапу Об'єкт дослідження - Формальні семантичні та логічні моделі регуляції експресії і транскрипції генів вищих організмів з урахуванням останніх даних клітинної, молекулярної біології та генетики. Мета роботи - Розробити формальний семантичний і логічну мову опису процесів регуляції експресії і транскрипції генів людини, що відображають такі основні властивості цих систем: масовий паралелізм взаємозалежних процесів, різний часовий масштаб протікання процесів на різних рівнях ієрархії і модульність. Показано, що динамічні процеси регуляції експресії і транскрипції генів за умов не повної спостережливості і не повноти опису можна представити у вигляді передавтомата. Введено поняття абстрактного передавтомата, як розшарованої категорії Span над фактор вільним моноїдом по системі еквівалентностей n-перестановочності. Доведено, що абстрактні передавтомати в деякому сенсі еквівалентні параметричним сімействам С * - операторних алгебр. Уведено поняття еквівалентності паралелізму, що відповідне переходу від одного рівня деталізації опису, до узагальненого опису. Показано, що дане відношення еквівалентності є слабкою гомотопічною еквівалентністю. Погоджений з динамікою перехід від одного рівня деталізації до іншого є факторизація по модулю еквівалентності паралелізму. Ієрархічна система процесів регуляції відповідає системі n-гомотопій абстрактного перед автомата. Показано, що сучасні динамічні моделі процесів регуляції експресії і транскрипції генів - системи перетворення графів і загальні моделі паралелізму - автомати вищих розмірностей і системи переходів вищих розмірностей, є моделями абстрактних передавтоматів. Внутрішня логіка абстрактних передавтоматів відповідає не класичним динамічним n-мірним логікам і екстенсіональній теорії залежних типів Мартіна Лефа Опис продукції Показано, що моделлю для динаічних процесів регуляції експресії і транскрипції генів в умовах не повної спостережливості і не повноти опису є перед автоматом. Введено поняття абстрактного перед автомата, як розшарованої категоріїSpan, над фактором вільним моноїдом по системі еквівалентностуй n-комутативності. Показано, що сучвсні динамічні моделі процесів регіляції процесів експресії і транскрипції генів - системи перетворення графів і загальні моделі паралелізму - автомати вищих розмірностей і системи переходів вищих розмірностей, є моделями абстрактних перед автоматів Автори роботи Асадова М. Львов С. Додано в НРАТ 2020-04-02 Закрити