Уважаемые коллеги!
Во-первых, спасибо Даниилу и Алевтине, подставившим плечо в трудную минуту и собравшим статью из разрозненных частей.
Во-вторых, я хотел бы всех участников переписки, а в первую очередь Владимира Анатольевича, Игоря Владимировича и Константина Олеговича подключиться к вычитке статьи, представленной в приложении.
Что ещё осталось сделать (по мотивам письма Даниила и не только): 1. Вернуть список литературы, который сломался в один из последних коммитов. 2. Переверстать титульную страницу, а то наши имена занимают очень много места. После этого сокращения статья как раз должна втиснуться в 12 страниц с учетом списка литературы. Просьба к Игорю продублировать название своего института. 3. Проверить введение 4. Надо написать заключение по мотивами заключения отчета 5 этапа (постараюсь это сделать в Санкт-Петербурге) 5. Переписать раздел 4 в том, что касается описания формата UML без перечисления списком. Это берётся сделать Даниил. У нас то ли в какой-то статье, то ли в отчете было нормально описание UML. 6. К Виталию. Очень нужна переделанная картинка со схемой кодогенерации в векторном виде и с нормальными шрифтами пунктов. 7. Можно попробовать расширить раздел 5 (я уже немного сделал в этом направлении), но можно так вылезти за пределы 12 страниц 8. Вычитать весь текст с самого начала.
Ближайшие два дня я буду вне Интернета ( в Санкт-Петербурге, в Электроприборе) и смогу участвовать в дискуссиях начиная с четверга.
Что ещё осталось сделать (по мотивам письма Даниила и не только):
- Вернуть список литературы, который сломался в один из последних
коммитов.
Он не сломался :) Для генерации статьи со списком нужно выполнить команды: pdflatex "2013 - Wintersim.tex" bibtex "2013 - Wintersim.aux" pdflatex "2013 - Wintersim.tex" pdflatex "2013 - Wintersim.tex" #да, два раза
- Переверстать титульную страницу, а то наши имена занимают
очень много места. После этого сокращения статья как раз должна втиснуться в 12 страниц с учетом списка литературы. Просьба к Игорю продублировать название своего института.
Я переделала титульный лист, как написано в инструкции (самый конец документа): http://www.wintersim.org/sites/default/files/wsc13paper.pdf Заголовок стал занимать меньше места, но, всё равно, в 12 страниц статья пока не укладывается даже без заключения. Посмотрим, что будет после переписывания раздела 4.
Во введении появилась ссылка [1]. Судя по отчету, она соответствует: С.Г. Басиладзе, Р.Л. Смелянский, А.И. Караваев, М.В. Емельянов, В.Ф. Косов, О.З. Элоев. Экспериментальная многопроцессорная система "СТЕНД" // Модули и программное обеспечение систем автоматизации экспериментальных исследований: Учебно-методическое пособие/Под ред. С.Г. Басиладзе. – М: Изд-во Моск. ун-та. – 1990. – С. 120-129. Но в англоязычную статью эту ссылку включать не стоит. Нужно её либо убрать (возможно, вместе со всем абзацем), либо найти англоязычную версию публикации.
Я допилил раздел 4, теперь его уже можно читать. Картинку оттуда убрал, т.к. она занимала слишком много места и содержала технические детали, которые мы не можем объяснить в тексте из-за малого объема. Сейчас уже совсем чуть-чуть вылезает из 12 страниц, правда, не дописано заключение. Может, попробовать удалить что-нибудь из списка литературы?
Даниил
08.04.2013 22:26, Dmitry Volkanov пишет:
Уважаемые коллеги!
Во-первых, спасибо Даниилу и Алевтине, подставившим плечо в трудную минуту и собравшим статью из разрозненных частей.
Во-вторых, я хотел бы всех участников переписки, а в первую очередь Владимира Анатольевича, Игоря Владимировича и Константина Олеговича подключиться к вычитке статьи, представленной в приложении.
Что ещё осталось сделать (по мотивам письма Даниила и не только):
- Вернуть список литературы, который сломался в один из последних коммитов.
- Переверстать титульную страницу, а то наши имена занимают очень много
места. После этого сокращения статья как раз должна втиснуться в 12 страниц с учетом списка литературы. Просьба к Игорю продублировать название своего института. 3. Проверить введение 4. Надо написать заключение по мотивами заключения отчета 5 этапа (постараюсь это сделать в Санкт-Петербурге) 5. Переписать раздел 4 в том, что касается описания формата UML без перечисления списком. Это берётся сделать Даниил. У нас то ли в какой-то статье, то ли в отчете было нормально описание UML. 6. К Виталию. Очень нужна переделанная картинка со схемой кодогенерации в векторном виде и с нормальными шрифтами пунктов. 7. Можно попробовать расширить раздел 5 (я уже немного сделал в этом направлении), но можно так вылезти за пределы 12 страниц 8. Вычитать весь текст с самого начала.
Ближайшие два дня я буду вне Интернета ( в Санкт-Петербурге, в Электроприборе) и смогу участвовать в дискуссиях начиная с четверга.
Добрый вечер!
Во вложении - текущая версия статьи на Wintersim. Что осталось доделать: 1. Написать заключение 2. Сократить список литературы 3. Сократить раздел про uml-uppaal, чтобы статья уместилась в 12 страниц 4. Редактура и QC
Дедлайн в понедельник, 15 апреля.
Коллеги,
Как и договаривались, я прочитал скомпилированную статью.
Общие впечатления:
Насколько я понимаю, формат статьи -- всё обо всём. Он предполагает, что объясняются основные концепции и базовые идеи. По-моему, сейчас есть несколько перекосов с излишним погружением в детали, которые нужно бы удалить или упростить. Это, в первую очередь, касается раздела про среду выполнения моделей, описания используемых форматов файлов, и алгоритма трансляции их форматов для обработки UPPAAL.
Пробел работы -- остутствие описания механизмов анализа результатов моделирования (не верификации), которые, вероятно, были бы самым понятным и значимым результатом для большинства читателей.
В статье плавают термины. У нас постоянная путаница с DRE, RTES, DERTS и даже RTAS. В начале статьи мы говорим, что новая система называется DYANA-2012, упомяная попутно старую версию DYANA. В остальном же тексте статьи мы ссылаемся на вновь разработанную систему, используя имя старой системы.
Прочие замечания указаны в тексте.
С уважением, Евгений Чемерицкий
On 4/12/2013 10:26 PM, Daniel A. Zorin wrote:
Добрый вечер!
Во вложении - текущая версия статьи на Wintersim. Что осталось доделать:
- Написать заключение
- Сократить список литературы
- Сократить раздел про uml-uppaal, чтобы статья уместилась в 12 страниц
- Редактура и QC
Дедлайн в понедельник, 15 апреля.
С излишней детализацией своей части (алгоритм трансляции) полностью согласен, к письму приложен новый вариант текста, без деталей; если он выглядит лучше, то можно просто заменить им раздел с трансляцией. При этом собственно алгоритм уместился в один абзац (ибо практически весь алгоритм - это детали), так что можно его назвать не "алгоритм трансляции", а "Verification subsystem" (собственно, так он назван в конце введения). И небольшое сомнение - не до конца уверен, легитимно ли использование сокращения DRE в новом тексте, но с ним раздел лучше вписывается в статью в целом. Плюс добавил несколько желтых выделений в присланное Евгением; делал их в Okular-е, так что не уверен, всё ли нормально теперь с этим pdf.
Подымов Владислав
13.04.2013, 21:35, "Eugene Chemeritskiy" tyz@lvk.cs.msu.su:
Коллеги,
Как и договаривались, я прочитал скомпилированную статью.
Общие впечатления:
Насколько я понимаю, формат статьи -- всё обо всём. Он предполагает, что объясняются основные концепции и базовые идеи. По-моему, сейчас есть несколько перекосов с излишним погружением в детали, которые нужно бы удалить или упростить. Это, в первую очередь, касается раздела про среду выполнения моделей, описания используемых форматов файлов, и алгоритма трансляции их форматов для обработки UPPAAL.
Пробел работы -- остутствие описания механизмов анализа результатов моделирования (не верификации), которые, вероятно, были бы самым понятным и значимым результатом для большинства читателей.
В статье плавают термины. У нас постоянная путаница с DRE, RTES, DERTS и даже RTAS. В начале статьи мы говорим, что новая система называется DYANA-2012, упомяная попутно старую версию DYANA. В остальном же тексте статьи мы ссылаемся на вновь разработанную систему, используя имя старой системы.
Прочие замечания указаны в тексте.
С уважением, Евгений Чемерицкий
On 4/12/2013 10:26 PM, Daniel A. Zorin wrote:
Добрый вечер!
Во вложении - текущая версия статьи на Wintersim. Что осталось доделать: 1. Написать заключение 2. Сократить список литературы 3. Сократить раздел про uml-uppaal, чтобы статья уместилась в 12 страниц 4. Редактура и QC
Дедлайн в понедельник, 15 апреля.
,
Dyana mailing list Dyana@lvk.cs.msu.su https://lists.lvk.cs.msu.su/cgi-bin/mailman/listinfo/dyana
-
Alevtina Glonina -
Daniel A. Zorin -
Dmitry Volkanov -
Eugene Chemeritskiy -
Vladislav Podymov