Статья
Средства функциональной верификации микропроцессоров
Обеспечение корректности микропроцессоров и другой микроэлектронной аппаратуры является фундаментальной проблемой, для решения которой применяют разнообразные средства функциональной верификации. В отличие от программ, ошибки в которых исправляются сравнительно просто, дефекты в интегральных схемах (конструктивные и производственные) не могут быть устранены. Несмотря на то, что постоянно совершенствуются системы автоматизированного проектирования (САПР), инструменты генерации тестов и методы анализа схем, верификация остается самым узким местом процесса разработки (на нее тратится около 70% всех ресурсов проектирования). В работе делается краткий обзор средств верификации микропроцессоров, рассматриваются проблемы, возникающие в промышленной практике, анализируются возможные пути их решения. Значительная часть статьи посвящена исследованиям по верификации аппаратуры, проводимым в ИСП РАН: подводятся итоги выполненных работ, описываются текущие разработки, формулируются направления дальнейших исследований.
Рассмотрены концептуальные вопросы моделирования бизнеса, проектного управления, роли управления персоналом в оптимизации бизнеса. Изложены концептуальные подходы к определению путей повышения эффективности управления. Дана характеристика особенностей внедрения информационных систем в экономике, значения систем управления качеством. Пособие предназначено для студентов очной и очно-заочной форм обучения по специальности «Менеджмент организации», однако может быть полезно и студентам других специальностей, изучающим дисциплины «Информационные технологии управления», «Автоматизированные информационные системы», «Информационные системы в экономике», «Управление качеством».
В монографии представлены совместные мсследования Научной школы «Автоматизированная система обеспечения надёжности и качества аппаратуры АСОНИКА» (руководитель: профессор Кофанов Ю.Н. Национального исследовательского университета «Высшая школа экономики» Российской Федерации), и ученых Учреждения образования «Военная академия Республики Беларусь». Рассмотрен комплекс вопросов, связанных с созданием автоматизированной системы АСОНИКА, обеспечением виртуализации испытаний и стойкости к воздействию дестабилизирующих факторов при эксплуатации радиоэлектронных средств на базе автоматизированной системы АСОНИКА. Издание предназначено для инженерно-технических и научных работников, занимающихся вопросами обеспечения надежности и качества радиоэлектронных средств, а также для магистров и аспирантов НИУ ВШЭ РФ и ВА РБ.
В тестировании на основе моделей широко применяется генерация тестов на основе расширенных конечных автоматов. Задача генерации тестов сводится к задаче обхода графа расширенного конечного автомата. В статье рассмотрены две вариации алгоритма А*, которые можно применять для решения задачи «Китайского почтальона» в случае динамически меняющихся графов. Представлены основные параметры алгоритмов. Алгоритмы подвержены оценке с точки зрения длины результирующего пути и временной сложности.
В книге разработана фундаментальная научная проблема обеспечения высокой надёжности инновационных технических систем, функционирующих в условиях разнородных и одновременно действующих внешних физических воздействий: электромагнитных полей, тепловых и механических факторов (вибраций, ударов, линейных ускорений и акустических шумов). Оригинальность предлагаемого издания лежит в связке моделирования протекающих в системе физических процессов с обеспечением надёжности за счёт управления этими процессами на всех стадиях жизненного цикла технической системы. Такой системный подход ориентирован на обеспечение высоких значений показателей надёжности авиационно-космической техники, аппаратуры подвижных объектов и других изделий ответственного назначения.
Показано, что фундаментальность комплексных (системных) моделей заключается в том, что они отражают синергизм разнородных физических процессов, часто одновременно во взаимодействии протекающих в рамках одной конструкции при эксплуатации технической системы. В результате уровень её надёжности определяется через режимы работы деталей и материалов конструкций. Реализованный синергизм позволяет на этапе создания технической системы выявить возможные системные отказы, которые проявляются только при одновременном воздействии нескольких внешних воздействий и не проявляются при их влиянии по-отдельности.
Большая роль в книге отведена моделям параметрической чувствительности, учёту случайных факторов и моделям оптимизации по критериям надёжности.
Книга предназначена для научных работников различных предприятий, докторантов, аспирантов, а также для студентов, выполняющих научно-исследовательские работы.
В статье приведен обзор существующих малогабаритных насосов с пьезоэлектрическим приводом и дан теоретический анализ двух перспективных моделей для медицинской и космической техники. Сделана оценка производительности устройств и примеры их моделирования в специально разработанной программе для ЭВМ.
Проведен сравнительный анализ существующих методов тестирования ПО для мультизадачных пользовательских комплексов (МПК). Дан общий подход к автоматизации тестирования произвольного продукта ПО для МПК. Выбраны три основных программных продукта, позволяющие автоматизировать процессы тестирования ПО для МПК, рассмотрены их возможности и особенности по тестированию ПО. Приведен сравнительный анализ применения программных продуктов, позволяющих автоматизировать процессы тестирования, на более чем 10 законченным проектам разработки ПО. Выявлены недостатки этих программных продуктов и сформулированы направления по созданию эффективных автоматизированных алгоритмов тестирования ПО для МПК.
В статье рассматриваются актуальность, особенности и области применения тестирования на современном этапе обучения английскому языку. Описаны преимущества тестов перед традиционными методами контроля. Приводятся характеристики правильно составленного теста и наиболее распространенные формы тестовых заданий.
Труды содержат доклады, представленные учеными из России, Украины, Белоруссии, Казахстана, Эстонии, Узбекистана, Германии, Польши, посвященные актуальным проблемам радиационной физики твердого тела (влияние радиации на физико-химические свойства и структуру металлических, полупроводниковых и диэлектрических материалов, влияние факторов космического пространства на свойства конструкционных и функциональных материалов и покрытий космических аппаратов, радиационно-технологические методы получения материалов, в частности наноматериалов, модифицирования и обработки материалов с целью улучшения их эксплуатационных свойств, создание и получение экологически чистых материалов с низкой наведенной радиоактивностью и др.).
Труды содержат доклады, представленные специалистами из России, Украины, Белорусии, Казахстана, Узбекистана, Германии, Великобритании, Польши по направлениям:«Радиационная физика металлов», «Радиационная физика неметаллических материалов», «Физические основы радиационной технологии» и посвященные разнообразным проблемам радиационной физики твердого тела (процессы прохождения заряженных и нейтральных частиц, рентгеновского и гамма-излучений через вещество, электрон-атомные, атом-атомные, ион-атомные и др. столкновения в твердых телах, ориентационные явления при взаимодействии высокоэнергетических частиц с твердым телом, радиационно-индуцированные и радиационно-стимулированные явления в твердых телах и др.).
Журналы событий, сохраняемые современными информационными и техническими системами, как правило, содержат достаточно данных для автоматизированного восстановления моделей соответствующих процессов. Разработано множество алгоритмов для построения моделей процессов, проверки соответствия фактического поведения системы модельному, сравнения моделей процессов, и т.д. Однако возможность быстрого анализа выбираемых пользователями частей журнала до сих пор не нашла полноценной реализации. В статье описан метод многомерного хранения журналов событий для извлечения и анализа процессов, основанный на подходе ROLAP. Результатом анализа журнала является направленный невзвешенный граф, представляющий собою сумму возможных последовательностей событий, упорядоченных по вероятности их возникновения с учетом заданных условий. Разработанный инструмент позволяет выполнять совместный анализ моделей подпроцессов, восстановленных из частей журнала путем задания критериев отбора событий и требуемого уровня детализации модели.
В сборнике представлены тезисы докладов участников XIX Международной студенческой конференции-школы-семинара «Новые информационные технологии», состоявшейся в мае 2011 года.
Сборник состоит из двух разделов. Первый раздел сборника включает пленарные доклады ведущих специалистов. Второй раздел содержит тезисы докладов студентов и аспирантов, учащихся техникумов и колледжей, участвовавших в работе школы-семинара.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 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 семейства сложных разложений и семейство степенно-логарифмических разложений.