Книга
Proceedings of 8th EUROSIM Congress on Modelling and Simulation "EUROSIM 2013», Сarrdiff, Wales, United Kingdom, 10-13 of September, ISBN 978-0-7695-5073-2
Основная цель IEEE Симпозиума по проектированию и тестированию Восток-Запад в 2013 году - обмен опытом между учеными и технологиями Восточной и Западной Европы, а также Северной Америки и других частей мира в области проектирования, автоматизации проектирования и тестирования электронных схем и устройств. Симпозиум охватывает следующие темы:
• тестирование аналоговых, смешанных и радиочастотных систем,
• анализ и оптимизация,
• средства автоматизированного проектирования и тестирования,
• анализ неисправностей,
• вопросы потребляемой мощности,
• надежность в цифровых системах,
• тепловой, временной анализ систем на кристалле и на платах.
The monograph presents results by professor Dr. A. Shalumov’s Research School of Modeling, Information Technology and Automated Systems (Russia). The program, ASONIKA, developed by the school is reviewed here regarding reliability and quality of devices for simulation of electronics and chips during harmonic and random vibration, single and multiple impacts, linear acceleration and acoustic noise, and steady-state and transient thermal effects. Calculations are done for thermal stress during changes in temperature and power in time. Calculations are done for number of cycles to fatigue failure under mechanical loads as well as under cyclic thermal effects. Simulation results for reliability analysis are taken into account. Models, software interface, and simulation examples are presented.
For engineers and scientists involved in design automation of electronics.
В работе рассматривается экспериментальная система имитационного моделирования, основанная на агентах и особенности ее реализации. Обсуждаются вопросы целесообразности применения агентных систем имитации для решения ряда задач, выдвигаются требования, которые необходимо применять при их разработке, особенности организации систем имитации
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’13) and the International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24–25, 2013. These are co-located events of Petri Nets 2013, the 34th international conference on Applications and Theory of Petri Nets and Concurrency.
PNSE'13 presents the use of Petri Nets (P/T-Nets, Coloured Petri Nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, as well as their application and tools supporting the disciplines mentioned above.
ModBE’13 provides a forum for researchers from interested communities to investigate, experience, compare, contrast and discuss solutions for modeling in business environments with Petri nets and other modeling techniques.
Вложенные сети Петри (NP-nets) это сети Петри с сетевыми фишками. NP-nets являются расширением сетей Петри высокого уровня для моделирования активных объектов, мобильности и динамики в распределенных системах. В этой работе мы представляет алгоритм перевода двухуровневых NP-nets в поведенчески эквивалентную цветную сеть Петри, с целью применения методов и инструментов цветных сетей Петри для анализа NP-nets. Мы доказываем, что предложенная трансляция сохраняет динамическую семантику, с точностью до бисимуляционной эквивалентности.
В данной работе были рассмотрены три типа моделей: нейросети (ANN), STAR модели и авторегрессия (AR). Все они были протестированы на выборках следующих временных рядов: индекс S&P 500, котировки акций Microsoft, индекс ММВБ и котировки акций Лукойл. При их построении были выявлены их оптимальные конфигурации. После этого они использовались для прогнозирования значений доходности вышеупомянутых финансовых временных рядов вместе с применением следующих методов отбора лучших прогнозов: бэкстестинг, ограничения на прогноз, объедение прогнозов от всех моделей. Далее были оценены модели по следующим критериям: частота верно предсказанных знаков изменения доходности, благосостояние инвестора. Кроме того, была проверена значимость моделей с помощью бутстрапирования.
В статье рассматриваются вопросы построения комплексных информационных систем, способных в полной мере обеспечить решение задач корпоративного планирования и бюджетирования. Выделены четыре группы задач, выходящих за рамки типовой функциональности специализированных информационных систем планирования и бюджетирования. В качестве комплементарных решений, способных обеспечить полноту решения задач корпоративного планирования и бюджетирования, рассмотрены системы имитационного моделирования, системы статистического анализа данных, системы финансового анализа и моделирования, системы принятия решений на основе экспертных оценок и системы бизнес-интеллекта.
Журналы событий, сохраняемые современными информационными и техническими системами, как правило, содержат достаточно данных для автоматизированного восстановления моделей соответствующих процессов. Разработано множество алгоритмов для построения моделей процессов, проверки соответствия фактического поведения системы модельному, сравнения моделей процессов, и т.д. Однако возможность быстрого анализа выбираемых пользователями частей журнала до сих пор не нашла полноценной реализации. В статье описан метод многомерного хранения журналов событий для извлечения и анализа процессов, основанный на подходе ROLAP. Результатом анализа журнала является направленный невзвешенный граф, представляющий собою сумму возможных последовательностей событий, упорядоченных по вероятности их возникновения с учетом заданных условий. Разработанный инструмент позволяет выполнять совместный анализ моделей подпроцессов, восстановленных из частей журнала путем задания критериев отбора событий и требуемого уровня детализации модели.
В монографии приведены результаты исследования, посвященного управлению жизненным циклом информационных систем, а также анализу стандартов, сводов знаний и корпоративных методик, использующихся в ИТ-проектах. Приведены характеристики фаз ЖЦИС из практики управления ИТ-проектами, а также практические рекомендации по управлению такими проектами. Книга предназначена для научных работников, сотрудников научно- технических предприятий и работников государственных органов управлений, а также студентов, аспирантов, слушателей бизнес-школ повышения квалификации и переподготовки кадров. Книга содержит практические рекомендации для руководителей ИТ-проектов, а также сотрудников компаний, занимающихся проектной деятельностью в области ИТ-проектов.
The geographic information system (GIS) is based on the first and only Russian Imperial Census of 1897 and the First All-Union Census of the Soviet Union of 1926. The GIS features vector data (shapefiles) of allprovinces of the two states. For the 1897 census, there is information about linguistic, religious, and social estate groups. The part based on the 1926 census features nationality. Both shapefiles include information on gender, rural and urban population. The GIS allows for producing any necessary maps for individual studies of the period which require the administrative boundaries and demographic information.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра. Методами степенной геометрии ищутся асимптотические разложения его решений в окрестности его неособой точки z=z0, z0≠0, z0≠∞, при любых значениях параметров уравнения. Показано, что имеется ровно 10 семейств разложений решений уравнения. Все они - по целым степеням локальной переменной z - z0. Из них одно новое; у него произвольный коэффициент при четвертой степени локальной переменной. Одно из семейств однопараметрическое, остальные - двухпараметрические. Доказано, что все разложения сходятся в окрестности (а являющиеся полюсами - в проколотой окрестности) точки z=z0.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра α, β, γ, δ. Методами степенной геометрии ищутся асимптотические разложения его решений при x → ∞. При α≠0 найдено 10 степенных разложений с двумя экспоненциальными добавками каждое. Шесть из них - по целым степеням x (они были известны), и четыре по полуцелым (они новые). При α=0 найдено 4 однопараметрических семейства экспоненциальных асимптотик y(x) и 3 однопараметрических семейства сложных разложений x=x(y). Все экспоненциальные добавки, экспоненциальные асимптотики и сложные разложения найдены впервые. Также уточнена техника вычисления экспоненциальных добавок.
В данной работе рассматривается пятое уравнение Пенлеве. Методами степенной геометрии ищутся асимптотические разложения его решений при x → 0. Получено 27 семейств разложений решений уравнения. 19 из них получены из разложений решений шестого уравнения Пенлеве. Среди остальных 8 семейств одно было известно раньше, ещё одно может быть получено из разложения решения третьего уравнения Пенлеве. Новыми являются 3 семейства полуэкзотических разложений, 2 семейства сложных разложений и семейство степенно-логарифмических разложений.
Электронное издание является сборником материалов международной научно-практической конференции "Теория активных систем" (ТАС-2014)