Книга
Proceedings of IEEE East-West Design & Test Symposium (EWDTS’13)
Основная цель IEEE Симпозиума по проектированию и тестированию Восток-Запад в 2013 году - обмен опытом между учеными и технологиями Восточной и Западной Европы, а также Северной Америки и других частей мира в области проектирования, автоматизации проектирования и тестирования электронных схем и устройств. Симпозиум охватывает следующие темы:
• тестирование аналоговых, смешанных и радиочастотных систем,
• анализ и оптимизация,
• средства автоматизированного проектирования и тестирования,
• анализ неисправностей,
• вопросы потребляемой мощности,
• надежность в цифровых системах,
• тепловой, временной анализ систем на кристалле и на платах.
The temperature-current rise in modern (up to 100-150 microns wide) PCB traces is simulated using three software tools ANSYS, HyperLynxThermal and ELCUT. The results are compared with the IR measurements in PCB copper traces with different sizes and substrate materials. It is shown that ANSYS correctly describes the thermal behavior for all tests, other tools have some limitations for small size traces.
Было произведено моделирование одиночных сбоев (SEU) вызванных ударом тяжелых ионов в SOI CMOS SRAM ячейки. Моделирование производилось с использованием смешанного подхода, то есть двухмерная структура полупроводникового прибора моделировалась с помощью САПР TCAD в сочетании с SPICE моделированием схемы. Показано как паразитный биполярный транзистор и положение точки удара иона влияние на сбой SOI CMOS SRAM ячейки для транзисторов с длиной канала от 0,25 мкм до 65 нм.
The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the lower level agents are modeled by extended finite state machines, asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). We demonstrate modelling facilities of the formalism and show that specific layers of TRDA-nets can be translated into Timed Automata, as well as into Time Petri nets, thus TRDA-nets integrate merits of both formalisms.
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’16) in Torun, Poland, June 20–21, 2016. It is a co-located event of • Petri Nets 2016 – the 37th International Conference on Applications and Theory of Petri Nets and Concurrency and • ACSD 2016 – the 16th International Conference on Application of Concurrency to System Design.
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.
Предлагается подход к интеграции систем моделирования и информационных систем на основе DSM-платформы MetaLanguage, позволяющей создавать языки моделирования и модели предметных областей и определять их трансформации.
Описываются средства DSM-платформы MetaLanguage для создания предметно-ориентированных языков и многоуровневого моделирования. Возможность определения трансформаций обеспечивает снижение трудоёмкости разработки новых языков и преобразования моделей.
1. Описание проблемы. Инструментальный анализ позволяет найти аргументы разрешения споров о границах и структуре состава преступления, его соотношении с уголовным и восполняющим законодательством. 2. Исходные положения. Состав преступления понимается как выраженный в уголовно-правовой доктрине результат преобразования предписаний, содержащихся в уголовном законе, в иную практически необходимую форму, что происходит в процессе накопления практического опыта и развития теории. Конструкция состава преступления - преобразованная для практических нужд, выраженная текстуально система признаков, установленных уголовным законом и характеризующих деяние как преступление определенного вида. Связанность конструкции состава преступления законом и доктриной. Состав преступления -его алгоритм. Переход от предписаний закона к составу деяния осуществляется: а) прогностически, б) при постоянном анализе закона, в) в процессе правоприменения. 3. Этапы инструментального построения состава преступления: прогнозный, докгринальный, правоприменительный. Инструментальный подход к составу преступления включает в себя на каждом этапе: а) основанное на уголовном законе решение спора о классификации составов и соответственно их границах; б) предметное описание фактической модели; в) принятие значения соотносимых с деянием правовых понятий и конструкций; г) выбор конструкции состава и размещение его признаков; д) проверку легитимности, необходимости и достаточности. 4. Инструментальный анализ спорных вопросов понимания и использования конструкции состава преступления. А. Функции и цели использования конструкции состава преступления. Функции состава преступления: а) моделирующая, б) коммуникационная, в) идентифицирующая, г) технологическая. Б. Содержание состава преступления. Состав преступления в его традиционном понимании не соответствует признакам преступления, не характеризует признаки общественной опасности; признак угрозы наказания в границы состава преступления также не входит. Предлагается для обсуждения два варианта: расширение границ состава преступления за счет включения в него признаков общественной опасности деяния и признаков, определяющих индивидуализацию наказания и ограничить состав преступления характеристикой уголовно-наказуемого деяния, отделив его от состава вины и состава общественной опасности. В. Структура состава деяния. Две проблемы: разграничение элементов преступления кажется излишне жестким и не вполне адекватным - целесообразно включить в структуру состава преступления признаков пространственных и временных границ деяния, причинных связей, пересекающихся признаков объективной и субъективной сторон, их связей и взаимозависимостей, а также объективной стороны, прежде всего последствий и объекта преступления; формы совершения уголовно-наказуемого деяния - совершение преступления в соучастии, идеальной совокупности, неоконченного преступления.
Атлас содержит 8 карт, графики и таблицы, иллюстрирующие основные закономерности и ограничения в области утилизации твердых бытовых отходов в Центральном Федеральном округе. Социальная значимость Атласа состоит в выявлении и типологизации основных "ядер" антропогенного загрязнения, представленных полигонами и свалками ТБО.
Создание атласа осуществлялось при финансовой поддержке Русского Географического общества (грант РГО №59-2013/Н7 "Экологические риски в пригородных и межселенных территориях")
В статье рассматриваются основы построения моделей измерительных приемников, предназначенных для виртуальных исследований в области ЭМС, в формах, отличных от схемной. Анализируются модели на основе цифровой обработки сигналов, формальные математические модели, а также базирующиеся на графическом программировании. Формулируется общий вывод о перспективах использования таких моделей при построении системы автоматизированного проектирования, реализующей процедуру виртуальной сертификации радиоэлектронных средств по эмиссии излучаемых радиопомех.
Излагаются результаты разработки моделей надёжности для проектных исследований надёжности радиоэлектронной аппаратуры, полученные в ходе выполнения II этапа научно-исследовательской работы «Разработка методов и средств для проектных исследований надёжности радиоэлектронной аппаратуры» выполняемой в рамках тематического плана МИЭМ по теме № 100077: «Разработка моделей надёжности для проектных исследований надёжности радиоэлектронной аппаратуры».
Приводятся результаты разработки унифицированных топологических моделей надёжности резервированных групп. Описываются формальные модели типовых групп для нагруженного резервирования, для ненагруженного резервирования, для комбинированного контроля работоспособности, для групп с переключателями и групп с восстановлением. Проанализированы способы реализации γ-процентного контроля работоспособности РЭА и СЧ и даны рекомендации по модификации алгоритмов формирования временных диаграмм состояний типовых резервированных групп для различных способов контроля. Предложены методы формирования временных диаграмм состояний для восстанавливаемых резервированных групп для «последовательного» и «параллельного» соединения компонентов. Приводятся результаты экспериментальной проверки разработанных моделей и методов для проектных исследований надёжности РЭА.
В работе была предложена схемная модель отдельных узлов фликерметра. Эту модель можно использовать для оценки уровня фликера в электросетях при виртуальных исследованиях кондуктивных помех, которые являются составляющей общей теории виртуальной сертификации. В будущем на основе этой модели могут быть разработаны инженерные методики, нацеленные на решение практических задач в области ЭМС с широким привлечением средств автоматизации и моделирования.
Документ содержит проект методологических рекомендаций по статистическому измерению технологий. Он включает предложения по формированию операциональных определений технологий, подходы к идентификации классификации новых и возникающих технологий, а также предложения по разработке системы показателей, характеризующих жизненный цикл технологий, и стратегиям сбора данных. Разработанные рекомендации предлагается использовать в качестве методологической основы гармонизированной системы сбора и интерпретации статистических данных о технологиях. В приложении приводятся сведения о доступных определениях технологий и краткие результаты исследования опыта национальных статистических служб в области статистического наблюдения науки и технологий.