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