Уважаемые коллеги!
Напоминаю, что с прошлого четверга (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(!!!) Просьба это учитывать при написании Ваших фрагментов.
Желаю всем плодотворной работы! :-)
9 марта 2013, Dmitry Volkanov написал:
Уважаемые коллеги!
Уважаемые коллеги!
Вынужден обратиться за помощью.
Практически в срок все части были готовы в формате Tex (за исключением части Виталия, которая пока в docе). Затем я должен был это всё вместе слить, но сначала я был слишком занят ЭлектроПрибором, а сейчас уже 5й день лежу с температурой и не знаю когда смогу вернуться в рабочее состояние :-( . Поэтому у меня вопрос такой. Кто может заняться объединением фрагментов статьи в единое целое? Если таковой человек найдётся, то я могу переслать фрагменты всех частей. Напомню, что на настоящий момент дедлайн по отправке статьи 15 апреля.
А в чем заключается сведение? Просто объединить куски статьи в tex, или нужно еще что-то дописать, сделать список литературы? У меня сейчас некоторые проблемы с интернетом, но постараюсь помочь, чем смогу. Для начала можно было бы выложить все часть в svn, чтобы все их видели.
Даниил
03.04.2013 18:10, Dmitry Volkanov написал:
3 апреля 2013, Daniel A. Zorin написал:
Здравствуйте, Даниил!
Спасибо! К сожалению, кроме просто объединения фрагментов нужно будет что-то дописать, причесать абривиатуры (например, почему-то у Вас RTAS вместо RTES используется), дописать связки, сделать список литературы.
Фрагменты текста лежат тут в svn Dyana: papers/2013-wsc-temp
Теперь мне нужна помощь. Кто-нибудь, сделайте так, чтобы статья компилировалась в .tex, и пришлите мне на почту или в рассылку pdf, чтобы я мог прочитать нормально статью и поредактировать. Пока что я собрал все части вместе и переписал часть про codegen на нормальном языке, но чтобы редактировать дальше, мне нужно перечитать все с начала. Статья в svn.
Даниил
04.04.2013 18:53, Dmitry Volkanov написал:
Господа,
Я рад представить вам пре-альфа версию статьи на Wintersim! Она в SVN. Я взял на себя смелость написать введение, но на заключение у меня креатива не хватило. Нужно сделать следующее: -1. У меня из коробки при свежем чекауте svn при компиляции почему-то не добавляется список литературы. 0. Надо сверстать титульную страницу, а то наши звонкие смешные имена занимают очень много места. После этого сокращения статья как раз должна втиснуться в 12 страниц с учетом списка литературы. 1. Надо проверить введение и написать заключение по мотивами заключения отчета 5 этапа (я убоялся огромного списка пунктов, надо выжать самое главное) 2. Переписать раздел 4 в том, что касается описания формата UML без перечисления списком. Это я сделаю, у нас то ли в какой-то статье, то ли в отчете было нормально описание UML. 2'. Нужна картинка со схемой кодогенерации в векторном виде. Виталик, я думаю, у тебя должен быть в Word исходник. 3. Можно попробовать расширить раздел 5 (я уже немного сделал в этом направлении), но можно так вылезти за пределы 12 страниц 4. Вычитать весь текст с самого начала.
Учтите, что я вернусь в интернеты только в среду с утра. Нас ждут великие бои!
Даниил
08.04.2013 12:24, Alevtina Glonina написал:
Вот, статья компилируется. Библиографию я позже доделаю.
Я доделала библиографию и в тексте статьи поправила некоторые ссылки.
-
Alevtina Glonina -
Daniel A. Zorin -
Dmitry Volkanov