SystemVerilog утверждения в SystemVerilog-2009
Стр: 51-59
Рубрики журнала
"Образовательные ресурсы и технологии"
Образовательная средаМетодики и технологии обучения и воспитанияИнформационные технологииМатематическая кибернетикаМетодологические исследованияУправление в социальных и экономических системахПрикладная геоинформатикаОбразование в интересах устойчивого развитияВсе рубрики
Все рубрики
Выпуск: 2014-2 (5)
Ключевые слова: Утверждение, Последовательность, Свойство, Синхронизирующая последовательность.
Аннотация: Заключительной, третьей частью работ по обзору конструкций языка SystemVerilog-2009, предназначенных для систематической верификации проектов, является описание набора конструкций и способов их применения, основанных на утверждениях (assertions). Информационная безопасность проекта обеспечивается расширением возможностей основных конструкций языка проектирования и конструкций, связанных с верификацией, поскольку имеется в виду проектирование очень сложных объектов, включающих IP-блоки.
Разработка модели медицинского call-центра города Красноярска на основе системы имитационного моделирования ANYLOGIC
Стр: 57-61
Выпуск: 2014-1 (4)
Ключевые слова: Имитационное моделирование, Агентный подход, Классы объектов, Call-центр, Модель массового обслуживания.
Аннотация: Обсуждается проблема создания медицинского Call-центра в городе Красноярске на основе агентного подхода, с использованием систем имитационного моделирования. Исследуется система здравоохранения города Красноярска, составлены основные классы модели. Представлена разработанная имитационная модель медицинского Call-центра, получены основные выводы, которые могут лечь в основу создания данного Call-центра.
Устойчивости автоматизированных систем. Концепция устойчивого взаимодействия
Стр: 86-94
Выпуск: 2014-5 (8)
Ключевые слова: Взаимодействие, Устойчивость, Процессы в информационных системах, Системный анализ.
Аннотация: Необходимым условием для взаимодействия двух и более систем является их одновременное существование. Под одновременностью существования будем понимать такой промежуток времени функционирования систем, в течение которого воздействие или воздействие хотя бы одной из них повлияет на результативность другой при выполнении конкретной задачи.
Технологии подготовки революции: модели и методы фальсификации истории
Стр: 42-49
Выпуск: 2014-4 (7)
Ключевые слова: История, Фальсификация, Манипулирование, Целесообразная логика, Ложное доказательство.
Аннотация: В данной статье показано, что в основе фальсификации истории лежит целесообразная логика. Рассмотрены методы заказов и формирования исторических мифов, переоценки поворотных моментов истории, модели исторического процесса Брэдбери – Тенна, а также бифуркационные модели. Проанализированы приемы ложного доказательства и манипулирования оценками персонажей и событий. Охарактеризованы цели заказчиков учебников истории.
Гражданско-патриотическое сознание как показатель социального здоровья подрастающего поколения
Стр: 62-68
Выпуск: 2014-3 (6)
Ключевые слова: Гражданско-патриотическое сознание, Патриотизм, Гражданско-патриотическое воспитание, Социальное здоровье, Социальная политика, Государственная программа по патриотическому воспитанию, Гражданское общество, Программно-целевой подход.
Аннотация: В статье представлена интегративная характеристика гражданско-патриотического сознания и социального здоровья детей и молодежи. Раскрыта динамика изменений гражданско-патриотических ценностей подрастающего поколения в начале XXI века. Предлагаются меры по развитию гражданско-патриотического со-знания, в том числе по механизмам реализации государственной политики в области патриотического воспитания.