... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... Одновременное измерение локальных коэффициентов теплоотдачи и коэффициентов сопротивления на гладкой поверхности и на поверхности со сложным рельефом (лунки, выступы, канавки, насечки и т.п.), омываемых дозвуковым потоком воздуха, в диапазоне скоростей от 5 м/с до 120 м/с . ... Измерение локальных коэффициентов теплоотдачи нестационарным методом моделей и поверхностей, обтекаемых сверхзвуковым потоком воздуха . ...
МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имF МF ВF ЛОМОНОСОВА ФАКУЛЬТЕТ БИОИНЖЕНЕРИИ И БИОИНФОРМАТИКИ Программа для поиска гомологов нуклеотидных последовательностей Курсовая работа студента s курса ЮF АF Пекова Научный руководительX кFфFEмFнFD сFнFсF СF АF Спирин Москва PHII Оглавление 1 Введение 2 Литературный обзор 3 Описание программы QFI QFP QFQ Поиск наилучших диагоналей F F F F F F F F F F F F F F F F F F F F F F F F F F F F Локальное выравнивание для лучших ...
[
Текст
]
Ссылки http://mouse.genebee.msu.ru/~bennigsen/nhunt_files/term_2011.pdf -- 308.5 Кб -- 11.09.2011 Похожие документы
... Институт стран Азии и Африки МГУ . О кафедре . ... ИСАА МГУ . ... Малый факультет . ... Публикации . Публикации о ЦИЕЦ . Публикации преподавателей . ... Заведующий кафедрой . Ковельман Аркадий Бенционович . ... Объявлен новый набор на Малый Факультет Иудаики! ... Малый Факультет . ... Начало занятий Малого факультета Иудаики 16 сентября в 12.00 по адресу Большая Никитская, 47/3 . ... Фонд Ави Хай, Фонд Чейза, Фонд Ха Надив, Сохнут, Джойнт, Российский Еврейский Конгресс ...