Статья
Formalizing Metamodel of Requirement Management System. Trudy ISP RAN/Proc. ISP RAS, vol. 30, issue. 5, 2018, pp. 163-176. DOI: 10.15514/ISPRAS- 2018-30(5)-10.
В рамках данной статьи рассматривается метамодель, лежащая в основе
системы управления требованиями Requality. Базовая модель представляет собой де-
рево, каждой вершине которого сопоставлен набор именованных и типизированных
свойств. Базовая модель проста и удобна для представления семантики набора требова-
ний, но оказывается не особо пригодной для формирования и сопровождения сколько-
нибудь сложных каталогов требований. Поэтому авторами вводится набор декларатив-
ных моделей, позволяющих описывать каталог требований более компактным образом.
При этом семантика декларативных моделей задаётся при помощи определения транс-
ляции в базовую модель. Эти возможности обеспечивают гибкий инструментарий для
компактного описания типовых наборов требований. Также в статье рассматриваются
особенности реализации представленной метамодели в системе управления требовани-
ями Requality. В заключении предлагается исследовать комбинацию представленной
модели каталога требований с формальными моделями, позволяющими описывать се-
мантику каждого требования в отдельности.
В соответствии с Базельскими соглашениями одной из перспективных задач риск-менеджмента является совершенствование моделей вероятности дефолта. Авторы исследуют влияние на вероятность дефолта российских банков финансовых факторов, уделяя особое внимание расширению горизонта исследования и нелинейностям по объясняющим переменным. Проведен анализ адекватности модели. Отмечено, что учет нелинейностей по относительным финансовым переменным существенно улучшает качество модели. Выделены объясняющие переменные, по которым это дает наибольший эффект.
В работе рассматривается вопрос построения эффективного диалогового взаимодействия человека с компьютером в процессе выполнения заданного набора операций на тренажерах. Предлагается модель описания диалога в системе «Человек-ЭВМ» как адаптивной системы
Поиск новых моделей – важная составляющая общественного и экономического развития страны в сложившихся условиях. Для повышения эффективности логистической системы предлагается оптимизационно-квалиметрическая модель обеспечения качества поставок продукции, рассматриваемая в условиях экономической неопределенности взаимодействия поставщиков и потребителей. В коллективной монографии проанализированы нормативно-правовые проблемы организации бухгалтерского учета участников капитального строительства, сформулированы предложения и рекомендации по совершенствованию системы бухгалтерского учета денежных средств, привлеченных в процессе строительства. Книга будет интересна для представителей научного сообщества, государственных служащих, работников органов административно-территориальных образований, а также преподавателей вузов, аспирантов и студентов старших курсов.
Настоящая статья рассматривает модели метафорического переноса имен природных (атмосферных) явлений. Стертая внутренняя форма многих метафор потребовала обращения к диахроническому аспекту, который позволил определить концептуальный вектор переноса - эмоциональное отношение носителей языка к природным явлениям, детерминированное страхом перед ними, верой в их сверхъестественное происхождение.
На основе авторской методологической схемы «образ мира – образ жизни» и моделей образа мира и образа жизни описываются профессиональные, региональные и этнокультурные особенности образа мира и образа жизни, предлагаются схемы дальнейшего описания.
В статье рассматриваются методики моделирования радиоэлектронной аппаратуры в подсистемах АСОНИКА-М и АСОНИКА-М-IGS, а также описан метод повышения надежности несущих конструкций радиоэлектронной аппаратуры. Приведены примеры.
Эта публикация представляет собой сборник отдельных статей "Третьей Международной конференции по динамике информационных систем», которая состоялась в университете Флориды, 16-18 февраля 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 семейства сложных разложений и семейство степенно-логарифмических разложений.
Электронное издание является сборником материалов международной научно-практической конференции "Теория активных систем" (ТАС-2014)