Dyana Апрель 2013

dyana@asvk.cs.msu.ru

5 участники
7 обсуждения

Выставка по итотам ГК - отбой
by Dmitry Volkanov 23 Апр '13

23 Апр '13

Уважаемые коллеги! К сожалению (или к счастью :-)), на участие в выставке оказалось много заявок и наша заявка не попала в список счастливчиков, которых допустили до участия в выставке. Поэтому, как участники выставки мы в ней участия не принимаем. Но, если кто хочет прийти как посетитель, то это можно сделать. Напомню, что выставка пройдёт 25-27 апреля в выставочном зале "ФОРУМ-ХОЛЛ (Летниковская ул) (http://www.fcpir-expo.ru/) -- С уважением, Дмитрий Волканов

1 0

Финальная версия статьи на Wintersim-2013
by Daniel A. Zorin 15 Апр '13

15 Апр '13

Добрый день, господа! Вашему вниманию предлагается финальная версия статьи на Wintersim, учитывающая большую часть правок Константина, Евгения, Игоря и немного моих. Уместилось ровно в 12 страниц. Если успею, я сегодня еще прочитаю всю статью с начала до конца, чтобы проверить новые куски, появившиеся за последние дни. Пожалуйста, просмотрите статью и ответьте в рассылку, как вы считаете, стоит ли нам ее сегодня отправлять.По возможности пришлите ответ до 22-00 сегодня. Даниил

1 1

Статья на WinterSim-2013
by Dmitry Volkanov 15 Апр '13

15 Апр '13

Уважаемые коллеги! Во-первых, спасибо Даниилу и Алевтине, подставившим плечо в трудную минуту и собравшим статью из разрозненных частей. Во-вторых, я хотел бы всех участников переписки, а в первую очередь Владимира Анатольевича, Игоря Владимировича и Константина Олеговича подключиться к вычитке статьи, представленной в приложении. Что ещё осталось сделать (по мотивам письма Даниила и не только): 1. Вернуть список литературы, который сломался в один из последних коммитов. 2. Переверстать титульную страницу, а то наши имена занимают очень много места. После этого сокращения статья как раз должна втиснуться в 12 страниц с учетом списка литературы. Просьба к Игорю продублировать название своего института. 3. Проверить введение 4. Надо написать заключение по мотивами заключения отчета 5 этапа (постараюсь это сделать в Санкт-Петербурге) 5. Переписать раздел 4 в том, что касается описания формата UML без перечисления списком. Это берётся сделать Даниил. У нас то ли в какой-то статье, то ли в отчете было нормально описание UML. 6. К Виталию. Очень нужна переделанная картинка со схемой кодогенерации в векторном виде и с нормальными шрифтами пунктов. 7. Можно попробовать расширить раздел 5 (я уже немного сделал в этом направлении), но можно так вылезти за пределы 12 страниц 8. Вычитать весь текст с самого начала. Ближайшие два дня я буду вне Интернета ( в Санкт-Петербурге, в Электроприборе) и смогу участвовать в дискуссиях начиная с четверга. -- С уважением, Дмитрий Волканов

5 5

Госпитализация в больницу
by Dmitry Volkanov 13 Апр '13

13 Апр '13

Уважаемые коллеги! В понедельник 15 апреля я ложусь в 4 ГКБ для операции на мизинце левой руки (исправление последствий вывиха). Госпитализация должна занять несколько дней. Очень надеюсь, что уже в четверг-пятницу смогу снова появиться в МГУ :-) Если будут возникать какие-то срочные вопросы, то просьба звонить мне на мобильный (8-916-613-34-52), так как почту смотреть не смогу. -- С уважением, Дмитрий Волканов

1 0

Выставка по итогам ГК
by Dmitry Volkanov 08 Апр '13

08 Апр '13

Уважаемые коллеги! Как я уже многим говорил в конце апреля, а конкретно 25-27 апреля в выставочном зале "ФОРУМ-ХОЛЛ (Летниковская ул) пройдёт выставка, посвящённая проектам по программе "ФЦП Кадры" (http://www.fcpir-expo.ru/) По этой программе выполнен и наш проект. Предлагаю 11 апреля в четверг в 17:00 собраться в 761 и обсудить, что и как мы будем демонстрировать на этой выставке. -- С уважением, Дмитрий Волканов

1 0

Статья на WinterSim-2013
by Dmitry Volkanov 08 Апр '13

08 Апр '13

Уважаемые коллеги! Напоминаю, что с прошлого четверга (28 февраля) мы начали работать над статьёй на Wintersim посвящённой нашей системе моделирования. Основная идея статьи рассказать о том, как создать среду моделирования под набор требований из существующих систем. Похожую статью мы писали в сборник АСВК (см. приложение). В статье предлагается убрать раздел про применение среды моделирования, зато добавить обзор. По организации работ план такой: Первый этап написания статьи (к 15 марта) написание основных разделов силами Алевтины, Виталия, Василия, Евгения, Владислава и Павла при моём участии. На втором этапе (к 25 марта) получившийся материал вычитывается и правится силами Владимира Анатольевича, Игоря и Константина. На третьем этапе (к 1 апреля) финальную правку и редактирование осуществляется силами Руслана Леонидовича. План статьи: 1. Введение (0,5 стр) - Волканов (на основе статьи в Программирование) 2. Требования к среде моделирования (1 стр.) - Пашков (раздел из статьи в сборник АСВК) 3. Обзор сред моделирования (1 стр.) - Чемерицкий, Волканов (на основе обзоров в предыдущих статьях) 4. Формат описания РВС РВ (1 стр. ) - Антоненко (статья АСВК, Syrcose-2012) 5. Архитектура средства (в том числе описание его использования) (3 стр.) - Зорин + Антоненко, Вдовин, Глонина, Пашков, Чемерицкий (На основе тезисов на Eucass Даниил пишет описание арх-ры средства с описанием его исп-ия. Затем все остальные уточняют описание своих частей, соответственно генератора кода HLA-совместимых моделей, модуля WCET, средств RAP, средств работы с трассами и CERTI). 6. Алгоритм UML->UPPAAL (2 стр.) - Подымов (на основе статьи в PSSV. Правда тут вопрос описывать самую последнюю версию алгоритма или нет?) 7. Case study - описание модели светофора и экспериментов с ним (2 стр.) - Волканов,Зорин - описание модели решения задачи RAP (1 стр.) - Глонина 8. Conclusion (0,5 стр) - Волканов Шаблон статьи можно взять здесь: http://www.wintersim.org/authorkit Если нет обоснованных возражений, то статью предлагаю писать в TeX(!!!) Просьба это учитывать при написании Ваших фрагментов. Желаю всем плодотворной работы! :-) -- С уважением, Дмитрий Волканов

3 7

Я заболел
by Dmitry Volkanov 01 Апр '13

01 Апр '13

Уважаемые коллеги! К сожалению, я крайне невовремя заболел (подцепил грипп или вирусную инфекцию) и как минимум до конца недели меня не будет в ЛВК. Если будут возникать какие-то срочные вопросы, то лучше звонить мне на мобильный (8-916-613-34-52) или домашний (8-499-142-22-75), так как почту пока смотрю нерегулярно. Переносом поездки в Санкт-Петербург сейчас занимается Василий Викторович. Как только температуру собью, то вплотную займусь текущими задачами (бюджет РФФИ, интеграция статьи на Wintersim, документы по ЭП...). -- С уважением, Дмитрий Волканов

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Dyana Апрель 2013