УДК 681.3 ТЕХНОЛОГИЯ И ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ТЕСТИРОВАНИЯ БОРТОВЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ РЕАЛЬНОГО ВРЕМЕНИ ї 2012 г. Балашов В.В.1, Баранов А.С.2, Грибов Д.И.3, Чистолинов М.В.4 1 Факультет ... .org 4 Факультет вычислительной математики и кибернетики МГУ им. М.В.Ломоносова, mike@cs.msu.su В статье рассматриваются проблемы тестирования бортовых вычислительных комплексов реального времени ( БВК РВ) в рамках различных фаз жизненного цикла БВК ... отдельном блоке БВК). | ... тестов БВК РВ. ...
[
Текст
]
Ссылки http://lvk.cs.msu.su/~bahmurov/course_realtime/papers/balashov_programmir.doc -- 860.5 Кб -- 27.05.2015 Похожие документы
Управление профессиональной ориентации и работы с талантливой молодежью . ... Older posts . ... Posted on 25.07.2014 by admin . ... Катерина Тихонова, директор Центра национального интеллектуального резерва МГУ (далее ? ... Создано для выявления, отбора, педагогической и психологической поддержки талантливой молодежи, ее успешной профориентации и эффективной самореализации. далее . ... 2011-2015 Управление профессиональной ориентации и работы с талантливой молодежью: talant@rector.msu.ru ...
... DESY-ZEUS . ... Эксперимент ZEUS на . ... ZEUS является одной из экспериментальных установок на электрон-протонном коллайдере HERA (DESY, Гамбург, Германия). ... Для более эффективного разделения электронов и адронов было предложено дополнить электромагнитный калориметр установки ZEUS адрон-электронным сепаратором (HES), состоящим из двух независимых частей - передней (FHES) и задней (RHES): FHES расположен в направлении пролета рассеянных протонов, RHES - в направлении пролета рассеянных электронов...
... Цикл статей «Регулирование активности ДНК-связывающих ферментов» Агапкина Юлия Юрьевна, старший научный сотрудник химического факультета Зацепин Тимофей Сергеевич, научный сотрудник химического факультета 2. статья «Find It If You Can: A Game for Modeling Different Types of Web Search Success Using Interaction Data (Моделирование различных определений ... Цикл статей «Самоаффинные многогранники и аффинные инварианты выпуклых тел. ...
[
Текст
]
Ссылки http://expertise.msu.ru/sites/default/files/2012_deripaska_results.doc -- 151.5 Кб -- 02.01.2013 Похожие документы
. Критические заметки . о буржуазной математической логике . А.Ф.Лосев . Публикация А.А.Тахо-Годи, . подготовка рукописи к публикации и примечания . В.П.Троицкого . Опубликовано: . Историко-математические исследования, вып. 8 (43), 2003, с. 3339-401. Огромное распространение идей т.н. математической логики или логистики общеизвестно. Теперь это уже перестает быть каким-то одним из методов логики и грозит оттеснить всякую иную логику 1 . В последнем американском философском словаре 2 <...> уже нет вообще
... С 10 по 14 апреля в Московском Государственном Университете им. М.В. Ломоносова и в Вычислительном центре им. А.А. Дородницына РАН прошла V Московская международная конференция по Исследованию операций, посвященная 90-летию со дня рождения академика Н.Н. Моисеева. ... В рамках пленарного заседания с вступительным докладом о научной деятельности академика Н.Н. Моисеева и его вкладе в теорию и приложения исследования операций, развитие методов оптимизации выступил академик РАН А.А. Петров. ...