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