2024-03-29T00:01:28Z
https://www.mais-journal.ru/jour/oai
oai:oai.mais.elpub.ru:article/1310
2020-06-09T13:49:39Z
jour:
driver
oai:oai.mais.elpub.ru:article/1053
2019-01-28T17:56:52Z
jour:ART
driver
cam 3u
"101220 2010 eng "
dc
Интеграция семантических верификаторов в компиляторы языка Java
Array, Array Array; Уральский Государственный Университет им.А.М.Горького
Array, Array Array; Уральский Государственный Университет им.А.М.Горького
верификация программ; абстрактное синтаксическое дерево; Java; компилятор; JSR269; javac; ecj; Eclipse IDE; Netbeans IDE
[004.4233 + 004.4422] : 004.438Java
Рассматривается способ статического семантического анализа исходных кодов программы на стадии ее компиляции с целью повышения качества исходного кода. В качестве способа реализации такого семантического анализа предлагается унифицированная интеграция в компиляторы языка Java для получения полного доступа к синтаксическому дереву (AST) компилируемых программ после этапа семантического анализа. Для обеспечения унификации реализованы общие интерфейсы для работы с синтаксическим деревом и адаптеры к реализациям синтаксических деревьев в компиляторах Sun/Oracle javac и Eclipse Compiler for Java (ecj). Выбранный способ обеспечил прозрачную интеграцию со средами разработки Eclipse и Netbeans без необходимости установки каких-либо расширений данных сред. Разработанный метод демонстрируется на некоторых примерах верификации программ.
Yaroslavl State University
2010-12-20 10:00:00
application/pdf
https://www.mais-journal.ru/jour/article/view/1053
Моделирование и анализ информационных систем; Том 17, № 4 (2010)
Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
oai:oai.mais.elpub.ru:article/136
2015-03-12T20:38:02Z
jour:ART
driver
cam 3u
"150312 2015 eng "
dc
Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри
Array, Array Array; Международный гуманитарный университет
вычислительная решетка; бесконечная сеть Петри; инвариант; ограниченность; консервативность; живость
<p>Представлена методика верификации вычислительных решеток с помощью нахождения инвариантов бесконечных сетей Петри. Построены модели структур квадратных решеток в форме параметрических сетей Петри для таких краевых условий, как соединение краев и усеченные устройства. По параметрическим сетям Петри построены бесконечные системы линейных алгебраических уравнений для вычисления p-инвариантов и получены их параметрические ре- шения. P-инвариантные сети Петри являются структурно консервативными и ограниченными, что, вместе с живостью, является свойствами моделей идеальных систем. Исследование живости модели на основе анализа сифонов и ловушек может быть выполнено с помощью p-инвариантов модифицированных сетей.</p>
Yaroslavl State University
2015-03-12 23:38:55
application/pdf
https://www.mais-journal.ru/jour/article/view/136
Моделирование и анализ информационных систем; Том 19, № 6 (2012)
ru
Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
oai:oai.mais.elpub.ru:article/1085
2019-01-28T18:01:57Z
jour:ART
driver
cam 3u
"110620 2011 eng "
dc
О тензорных квадратах неприводимых представлений конечных почти простых групп. II
Array, Array Array; Ярославский государственный университет им. П.Г. Демидова
SR-группы; {SM}_m -группы; почти простые группы; автоморфизмы простых групп; GAP
517.51+514.17
Изучаются конечные почти простые {SM}_m-группы. Основной результат статьи: если<i> G</i> - конечная почти простая группа, принадлежащая классу {SM}_2- групп, то<i> G конгруэнтен {PGL}_2(q).</i>
Yaroslavl State University
2011-06-20 10:00:00
application/pdf
https://www.mais-journal.ru/jour/article/view/1085
Моделирование и анализ информационных систем; Том 18, № 2 (2011)
Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
oai:oai.mais.elpub.ru:article/1550
2021-10-23T14:22:27Z
jour:
driver
oai:oai.mais.elpub.ru:article/748
2018-10-06T15:50:37Z
jour:
driver
oai:oai.mais.elpub.ru:article/328
2016-06-29T12:59:37Z
jour:ART
driver
cam 3u
"160420 2016 eng "
dc
Асимптотика моментов симметричной свертки Бернулли
Array, Array Array; Ярославский государственный университет им. П.Г. Демидова,
ул. Советская, 14, г. Ярославль, 150000 Россия
моменты;самоподобие;свертка Бернулли;сингулярная функция;преобразование Меллина;асимптотика
<div class="page" title="Page 9"><div class="layoutArea"><div class="column"><p><span>Для каждого </span><span>λ</span><span>, </span><span>0 </span><span>< λ < </span><span>1 </span><span>определим случайную величину (симметричную </span></p></div></div><div class="layoutArea"><div class="column"><p><span>свертку Бернулли) </span></p></div></div><div class="layoutArea"><div class="column"><p><span>где </span><span>ξ</span><span>n </span><span>– независимые случайные величины с<br /> </span><span>P</span><span>{</span><span>ξ</span><span>n </span><span>=0</span><span>}</span><span>=</span><span>P</span><span>{</span><span>ξ</span><span>n </span><span>=1</span><span>}</span><span>= </span><span>1</span><span>. </span></p></div></div><div class="layoutArea"><div class="column"><p><span>∞ </span></p><p><span>Y</span><span>λ </span><span>=(1</span><span>−</span><span>λ</span><span>)</span><span>ξ</span><span>n</span><span>λ</span><span>n</span><span>, </span><span>n</span><span>=0 </span></p></div></div><div class="layoutArea"><div class="column"><p><span>2<br /> </span><span>M</span><span>n </span><span>=</span><span>E</span><span>Y</span><span>λ</span><span>n </span><span>=</span><span>n</span><span>log</span><span>λ</span><span>2</span><span>2</span><span>log</span><span>λ</span><span>(1</span><span>−</span><span>λ</span><span>)+0</span><span>.</span><span>5log</span><span>λ</span><span>2</span><span>−</span><span>0</span><span>.</span><span>5</span><span>e</span><span>τ</span><span>(</span><span>−</span><span>log</span><span>λ</span><span>n</span><span>)</span><span>1+</span><span>O</span><span>(</span><span>n</span><span>−</span><span>0</span><span>.</span><span>99</span><span>)</span><span>, </span></p><p><span>1</span><span>k</span><span>2</span><span>πikx </span><span>τ</span><span>(</span><span>x</span><span>)= </span><span>k</span><span>α </span><span>−</span><span>ln</span><span>λ </span><span>e </span></p></div></div><div class="layoutArea"><div class="column"><p><span>Основной результат настоящей работы </span></p></div></div><div class="layoutArea"><div class="column"><p><span>где функция </span></p></div></div><div class="layoutArea"><div class="column"><p><span>k</span><span≯</span><span>=0 </span><span>является периодической с периодом равным 1, </span></p><p><span>α</span><span>(</span><span>t</span><span>) = </span><span>− </span><span>1 </span><span>(1 </span><span>− </span><span>λ</span><span>)</span><span>2</span><span>πit</span><span>(1 </span><span>− </span><span>2</span><span>2</span><span>πit</span><span>)</span><span>π</span><span>−</span><span>2</span><span>πit</span><span>2</span><span>−</span><span>2</span><span>πit</span><span>ζ</span><span>(2</span><span>πit</span><span>)</span><span>, </span><span>2</span><span>i </span><span>sh(</span><span>π</span><span>2</span><span>t</span><span>) </span></p><p><span>а </span><span>ζ</span><span>(</span><span>z</span><span>) </span><span>– дзета-функция Римана.<br /> </span></p></div></div></div>
Yaroslavl State University
2016-04-20 10:00:00
application/pdf
https://www.mais-journal.ru/jour/article/view/328
Моделирование и анализ информационных систем; Том 23, № 2 (2016)
ru
Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
oai:oai.mais.elpub.ru:article/1596
2021-12-20T16:53:34Z
jour:
driver
oai:oai.mais.elpub.ru:article/1563
2023-10-23T10:37:08Z
jour:TC
driver
cam 3u
"211218 2021 eng "
dc
Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX
Array, Array Array; Университет прикладных технических и экономических наук г. Берлина
Array, Array Array; Университет прикладных технических и экономических наук г. Берлина
киберфизическая система; теория управления; функция Ляпунова; императивный язык программирования
68N30
<p>KeYmaeraX -- это доказательство теорем в стиле Хоара для гибридных систем. Гибридную систему можно рассматривать как совокупность дискретных, так и непрерывных переменных, значения которых могут изменяться резко или непрерывно соответственно. KeYmaeraX поддерживает только переменные, имеющие примитивный тип bool или real. Благодаря сочетанию дискретных и непрерывных элементов системы, одной из перспективных областей применения KeYmaeraX являются системы управления с замкнутым контуром. Система управления с замкнутым контуром состоит из установки и контроллера. В то время как установка в основном представляет собой совокупность непрерывных переменных, значения которых меняются со временем в соответствии с физическими законами, контроллер можно рассматривать как алгоритм, сформулированный на классическом языке программирования. В этой статье мы рассмотрим некоторые недавние расширения исчисления доказательств, применяемые KeY\\-maeraX, которые делают формальные доказательства устойчивости динамических систем более выполнимыми. Основываясь на примере, мы сначала познакомимся с темой и докажем асимптотическую устойчивость данной системы.</p>
Yaroslavl State University
2021-12-18 00:00:00
application/pdf
https://www.mais-journal.ru/jour/article/view/1563
Моделирование и анализ информационных систем; Том 28, № 4 (2021)
Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
oai:oai.mais.elpub.ru:article/890
2018-12-29T14:10:56Z
jour:
driver
oai:oai.mais.elpub.ru:article/387
2016-10-29T13:46:50Z
jour:ART
driver
cam 3u
"161020 2016 eng "
dc
Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред
Array, Array Array; Московский государственный университет им. М.В. Ломоносова, физический факультет Ленинские горы, д. 1, стр. 2, г. Москва, 119991 Россия
метод конечных разностей во временной области (FDTD);схема Йе;диэлектрические границы раздела;слоистые среды;квазиравномерные сетки
В данной статье рассматривается численное решение системы вихревых уравнений Максвелла для кусочно-однородной диэлектрической среды на примере одномерной задачи. Для обеспечения второго порядка точности необходимо поставить узел сетки электрического поля в точку разрыва диэлектрической проницаемости. Если скачок проницаемости велик, то задача становится сингулярно возмущенной и возникает контрастная структура. Построена кусочная квазиравномерная сетка, детально передающая все характерные участки решения этой задачи (регулярную область, пограничный слой и переходную зону между ними). Обсуждаются свойства этой сетки.
Yaroslavl State University
2016-10-20 10:00:00
application/pdf
https://www.mais-journal.ru/jour/article/view/387
Моделирование и анализ информационных систем; Том 23, № 5 (2016)
ru
Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
oai:oai.mais.elpub.ru:article/1763
2023-10-23T08:41:36Z
jour:AL
driver
cam 3u
"230428 2023 eng "
dc
Оптимизированный алгоритм поиска кратчайшего пути в кратном графе
Array, Array Array; Ярославский государственный университет им. П. Г. Демидова
кратный граф; кратный путь; кратчайший путь; множество достижимости; полиномиальный алгоритм
05C38, 05C65
<p>В статье рассматриваются неориентированные кратные графы произвольной натуральной кратности $k>1$. Кратный граф содержит ребра трех типов: обычные, кратные и мультиребра. Ребра последних двух типов представляют собой объединение $k$ связанных ребер, которые соединяют 2 или $(k+1)$ вершину соответственно. Связанные ребра могут использоваться только согласованно. Если вершина инцидентна кратному ребру, то она может быть инцидентна другим кратным ребрам, а также она может быть общим концом $k$ связанных ребер мультиребра. Если вершина является общим концом мультиребра, то она не может быть общим концом никакого другого мультиребра. Как и для обычного графа, для кратного графа можно ввести целочисленную функцию длины ребра и поставить задачу о кратчайшем пути между двумя вершинами. Кратный путь является объединением $k$ обычных путей, согласованных на связанных ребрах кратных и мультиребер. В статье оптимизирован полученный ранее алгоритм поиска кратчайшего пути в произвольном кратном графе. Показано, что оптимизированный алгоритм полиномиален. Таким образом, задача о кратчайшем пути является полиномиальной для любого кратного графа.</p>
Yaroslavl State University
2023-04-28 00:00:00
application/pdf
https://www.mais-journal.ru/jour/article/view/1763
Моделирование и анализ информационных систем; Том 30, № 1 (2023)
Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
oai:oai.mais.elpub.ru:article/1173
2019-03-17T11:12:23Z
jour:
driver
oai:oai.mais.elpub.ru:article/46
2015-02-28T19:02:52Z
jour:ART
driver
cam 3u
"150228 2015 eng "
dc
О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения
Array, Array Array; ФГНУ НИИ "Спецвузавтоматика"
Array, Array Array; Южный Федеральный Университет
случайное кодирование; кодовое зашумление; факторный код; повторная передача сообщения; статистический анализ
<p>Исследуется стойкость кодового зашумления к статистическому анализу многократно перехваченных сообщений. Приведено структурное описание модели исследуемой схемы защищенной передачи данных и построена информационно-аналитическая модель наблюдателя. Получена оценка объема однородной выборки перехваченных сообщений, необходимого для различения двух конкурирующих гипотез о посланном информационном сообщении с заданными вероятностями ошибок первого и второго рода. </p>
Yaroslavl State University
2015-02-28 00:00:00
application/pdf
https://www.mais-journal.ru/jour/article/view/46
Моделирование и анализ информационных систем; Том 19, № 4 (2012)
ru
Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
oai:oai.mais.elpub.ru:article/1205
2019-03-31T07:21:37Z
jour:
driver
oai:oai.mais.elpub.ru:article/954
2019-01-28T17:31:01Z
jour:ART
driver
cam 3u
"090920 2009 eng "
dc
Асимптотика дисперсии оценки энтропии для симметричных мер Бернулли
Array, Array Array; Ярославский государственный университет им. П.Г.Демидова
энтропия; непараметрическая оценка; моменты; мера Бернулли
519.987
Найдена точная асимптотика для дисперсии оценки энтропии П. Грассбер-гера [1] в случае симметричной бернуллиевской меры (с равными вероятностями символов).
Yaroslavl State University
2009-09-20 10:00:00
application/pdf
https://www.mais-journal.ru/jour/article/view/954
Моделирование и анализ информационных систем; Том 16, № 3 (2009)
Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
oai:oai.mais.elpub.ru:article/78
2017-12-20T07:37:08Z
jour:ART
driver
cam 3u
"141220 2014 eng "
dc
Инкрементальный подход к технологии создания тестов для индустриальных проектов
Array, Array Array; Санкт-Петербургский государственный политехнический университет
Array, Array Array; Санкт-Петербургский государственный политехнический университет
Array, Array Array; Санкт-Петербургский государственный политехнический университет
Array, Array Array; Институт кибернетики им. В.М. Глушкова НАН Украины
тестирование на основе моделей; верификация; автоматизация тестирования; сокращение пространства состояний
<p>Статья посвящена описанию технологии, позволяющей сократить трудозатраты на создание тестов для промышленных программных проектов, за счет использования инкрементального подхода. Основная проблема, решенная в данной работе, связана с полной автоматизацией фазы дизайна тестовых сценариев и сокращением количества тестов, необходимых для обеспечения качества программного продукта. Предлагаемая в работе технология позволяет решить указанные проблемы за счет совместной работы дизайнера тестовых наборов и заказчика с использованием формальных моделей, методов символьной верификации и автоматической генерации тестовых наборов на базе использования инструментария VRS/TAT.</p>
Yaroslavl State University
2014-12-20 10:00:00
application/pdf
https://www.mais-journal.ru/jour/article/view/78
Моделирование и анализ информационных систем; Том 21, № 6 (2014)
ru
Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
oai:oai.mais.elpub.ru:article/1027
2019-01-28T17:53:47Z
jour:ART
driver
cam 3u
"100620 2010 eng "
dc
Мультистабильность в модели лазера с большим запаздыванием
Array, Array Array; Белорусский государственный университет
Array, Array Array; Ярославский государственный университет им. П. Г. Демидова
Array, Array Array; Ярославский государственный университет им. П. Г. Демидова
запаздывание; сингулярное возмущение; нормальная форма
517.929.8
Исследуется модель динамики генерации лазера, основанная на одномо-довых балансных уравнениях с запаздывающим аргументом. Методами локального анализа построены континуальные наборы семейств квазинормальных форм в окрестности бифуркационных значений параметров. Показана возможность сосуществования большого числа установившихся осциллирующих режимов.
Yaroslavl State University
2010-06-20 10:00:00
application/pdf
https://www.mais-journal.ru/jour/article/view/1027
Моделирование и анализ информационных систем; Том 17, № 2 (2010)
Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
oai:ojs.ojs-dev.elpub-dev.ru:article/5
2014-05-27T11:28:04Z
test:MOLE
oai:ojs.mais.elpub.ru:article/435
2017-04-01T07:45:38Z
jour:
driver
oai:oai.mais.elpub.ru:article/1430
2020-12-13T14:43:32Z
jour:
driver
oai:oai.mais.elpub.ru:article/669
2018-04-12T16:43:09Z
jour:
driver
oai:oai.mais.elpub.ru:article/238
2016-10-15T14:10:09Z
jour:ART
driver
cam 3u
"150420 2015 eng "
dc
Эффективность доступа к данным в СУБД DIM
Array, Array Array; Ярославский государственный университет им. П. Г. Демидова
Array, Array Array; Ярославский государственный университет им. П. Г. Демидова
СУБД; РСУБД; ООСУБД; DIM; дискретные детерминированные модели; OD-модель; запросные технологии; ODQL-запросы; конвертирование БД