Dyana

dyana@asvk.cs.msu.ru

105 обсуждения

Статья на 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

Fwd: EUCASS 2013 - Notification of acceptance
by Daniel A. Zorin 08 Мар '13

08 Мар '13

???????????, ??? ????? ???? ?????? ??? ???? ??????. ??? ??? ????? ????? ??????? ?? wintersim. ?????, ??????????, ???? ?????? ? ???????? ?????????? ?????? ?.????? -------- ???????? ????????? -------- ????: EUCASS 2013 - Notification of acceptance ????: Thu, 7 Mar 2013 17:08:18 +0100 ??: <eucass2013(a)cimne.upc.edu> ????: <juan(a)lvk.cs.msu.su> *Paper Ref: 605 Title: DYANA: an integrated development environment for simulation and verification of real-time avionics systems* Dear Dr. Daniil Zorin Based on recommendation by the Conference Program Committee (PC), we are pleased to notify you that your paper has been accepted for oral presentation at the *5th European Conference for Aeronautics and Space Sciences (EUCASS 2013)* Please, check your personal records for comments on your abstract, if any. The conference schedule is still in preparation and we invite you to visit the conference websites http://www.eucass2013.de<http://www.eucass2013.de/>to obtain the latest information. About 650 abstracts were received. Twelve parallel sessions will be run during the four days of the scientific meeting. We have had to constrain all presentations to the strict limit of 20 minutes plus 5 minutes for discussion. The following instructions explain the procedure for submitting the full paper: *Paper Submission* **You are invited to submit electronically, through the following web site http://congress.cimne.com/eucass2013/, the Full Paper /by the absolute //de//adline of/*May 27^th , 2013* *To upload your final contribution you have to first login on your personal account, using your login name and password.* Full instructions for w riting and submitting the full paper can be found on the conference web site (http://www.eucass2013.de <http://www.eucass2013.de/>), the template is also attached to this message. Authors are asked to submit the files in .pdf format. (Maximum size 10 Mb) *Registration* Registration is open and may be done online on the conference website, at the link below: http://www.eucass2013.de/conference_registration.html We suggest you to register soon in order to benefit from our early bird rates. (*before May 31st, 2013*) We thank you for your participation in EUCASS 2013 and are looking forward to meeting you in Munich, Germany, on July 1-5, 2013 Sincerely, The Executive Conference co-Chairmen Max Calabro, Oskar Haidn, Jean-Pierre Taran, Walter Zinner

1 0

Fwd: WSC 2013 Call for Papers
by Dmitry Volkanov 25 Фев '13

25 Фев '13

Уважаемые коллеги! Предлагаю на неделе собраться и обсудить статью на WinterSim'2013. 28го в четверг в 17:00 в 764 все смогут? 2Василий: предлагаю просмотр новой версии трассировщика сделать сразу после обсуждения статьи. ---------- Пересланное письмо ---------- Тема: WSC 2013 Call for Papers Дата: 21 февраля 2013 Отправитель: Manuel Rossetti <rossetti(a)exchange.uark.edu> получатель: WINTERSIM(a)listserv.uark.edu WSC 2013 Call for Papers December 8-11 ● JW Marriot Hotel Washington, DC, USA The Winter Simulation Conference (WSC) is the premier international forum for disseminating recent advances in the field of dynamic systems modeling and simulation. In addition to a technical program of unsurpassed scope and quality, WSC provides the central meeting place for simulation practitioners, researchers, and vendors. Research in modeling and simulation is propelled by fostering cross fertilization between various disciplines. The theme for WSC 2013 is “Simulation: Making Decisions in a Complex World”. LOCATION WSC 2013 will be held in Washington DC at the JW Marriot Hotel. Located on Pennsylvania Avenue, this premier hotel is near the White House, National Theatre and the National Portrait Gallery. It's located just 15 minutes from Reagan National Airport. WSC '13 will provide an opportunity to visit the Smithsonian, Pentagon, monuments on the Mall, numerous museums and even the cathedral-like Metro stations. PAPER DEADLINES AND REQUIREMENTS All contributed paper submissions will be peer reviewed. Accepted papers will be published in the CD-ROM version of the conference proceedings. All papers must be presented for the paper to be fully published, copyrighted and fully disseminated. Instructions, information, submission forms and procedures are available on the WSC website, www.wintersim.org. Please note the following important deadlines: April 1, 2013: Electronically submit contributed papers not previously published or presented. Each submission must be a 3- to 12 page paper, including an abstract of not more than 150 words. Panel papers and papers in the tutorials tracks may be up to 15 pages. Submission implies that an author will attend WSC ‘13 and present the paper, and all clearance required for publication of the paper will be obtained by July 17, 2013. Use of the author’s templates in one of the following formats is required: Microsoft Word or LaTeX. Submissions must be made through the WSC Authors website June 3, 2013: Contributors will be notified whether or not their paper has been accepted. July 15, 2013: Authors electronically provide a final manuscript meeting all technical and format requirements to the Proceedings Editor. August 19, 2013: Deadline to electronically submit abstracts for presentations in the Poster Session and Ph.D. Student Colloquium. October 4, 2013: Notification of acceptance of abstracts. For even more news and information, visit and bookmark our website, www.wintersim.org. Raymond Hill Michael Kuhl WSC 2013 General Chair WSC 2013 Program Chair WSC 2013 is sponsored by ACM/SIGSIM, ASA (Technical Co-Sponsor), IEEE/SMC (Technical Co-Sponsor), IIE, INFORMS-SIM, NIST (Technical Co-Sponsor) and SCS. ######################################################################## To unsubscribe from the WINTERSIM list, click the following link: http://listserv.uark.edu/cgi-bin/wa?TICKET=NzM0OTQ5IGRpbWF3b2xmQENTLk1TVS5T… ------------------------------------------------------- -- С уважением, Дмитрий Волканов

1 0

Число типов взаимодействий в Proto-X
by Alevtina Glonina 12 Фев '13

12 Фев '13

Коллеги, при попытке скомпилировать код "Светофора", я столкнулась со следующей проблемой. Выяснилось, что в данный момент число типов interaction-ов ограничено числом 20. В текущей реализации наших средств каждой глобальной переменной, сигналу и таймеру соответствует свой тип interaction-а, поэтому даже в относительно простом "Светофоре" таких типов больше 20. При компиляции появляется ошибка: /home/alevtina/dyana/src/projects/trafficlight/HLA/object_model/inter_class_table.hpp:61: error: wrong number of template arguments (22, should be 20) /home/alevtina/dyana/src/bindings/protox/hla/keywords.hpp:143: error: provided for ‘template<class T0, class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11, class T12, class T13, class T14, class T15, class T16, class T17, class T18, class T19> struct protox::hla::child’ В bindings/protox/hla/keywords.hpp написано, что максимальное число взаимодействий равно константе BOOST_MPL_LIMIT_SET_SIZE, которая в /usr/include/boost/mpl/limits/set.hpp определена как 20. Вопрос: как это можно нормально исправить? Проще всего воспроизвести ошибку так: в gui из scxml-файла сгенерировать код и для файла launcher.py нажать "launch certi". Перед первым после установки запуском gui нужно выполнить make cheetah в каталоге src/codegen. После обновления кодогенератора -- make clean, make cheetah. -- Алевтина

2 1

Я заболел
by Dmitry Volkanov 22 Янв '13

22 Янв '13

Уважаемые коллеги! К сожалению, я заболел (подцепил вирусную инфекцию) и как минимум до конца недели меня не будет в ЛВК. Если будут возникать какие-то срочные вопросы, то лучше звонить мне на мобильный (8-916-613-34-52) или домашний (8-499-142-22-75), так как почту пока смотрю нерегулярно. 2 Валерий Алексеевич: ТЗ по ЛВК постараюсь сделать, как станет чуть получше, надеюсь до 25го успею. -- С уважением, Дмитрий Волканов

1 0

Совещание по проекту ГК 0399
by Dmitry Volkanov 15 Янв '13

15 Янв '13

Уважаемые коллеги! Поздравляю всех с прошедшими праздниками! Посколькe мы пока ещё не выложили в открытый доступ результаты нашего проекта, то предлагаю в пятницу 18 января в 11 часов собраться в 761ой группой по моделированию и обсудить текущие задачи их прогресс и перспективы завершения нашего проекта. Группа по верификации предварительно соберё тся в феврале по возвращении Даниила из отпука. -- С уважением, Дмитрий Волканов

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Dyana