Актуальные статьи
В. О. Мордань, В. С. Мутилин
Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR
Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR
На данный момент статические верификаторы, основанные на уточнении абстракции по контрпримерам – подходе CEGAR (Counterexample Guided Abstraction Refinement), могут доказывать корректность программы относительно заданного требования, находить его нарушение в программе, при этом останавливая анализ.
Рубрика:
Информатика. Информационные и вычислительные системы
М. И. Воловикова, А. Л. Журавлев
Имплицитные представления о признаках нравственной элиты
Имплицитные представления о признаках нравственной элиты
Продолжено исследование нравственной элиты, начатое в 2010 г. в серии публикаций А.Л. Журавлева и А.Б. Купрейченко.
Рубрика:
Психология
В. Е. Бунаков
Квантовые отпечатки хаоса или квантовый хаос?
Квантовые отпечатки хаоса или квантовый хаос?
Приводится критика современного подхода к хаосу в квантовых системах как к "квантовому отпечатку" классического хаоса.
Рубрика:
Физика
А. И. Аллилуева, А. И. Шафаревич
Асимптотические решения системы магнитной гидродинамики, описывающие сглаженные разрывы
Асимптотические решения системы магнитной гидродинамики, описывающие сглаженные разрывы
Описаны асимптотические решения нелинейной системы магнитной гидродинамики, быстро меняющиеся вблизи движущейся поверхности.
Рубрика:
Математика
В. В. Кадников, Д. А. Ивасенко, А. В. Белецкий, А. В. Марданов, Э. В. Данилова и др.
Новая некультивируемая бактерия семейства GALLIONELLACEAE, ‒ описание и реконструкция генома на основе анализа метагенома микробного сообщества кислых шахтных вод
Новая некультивируемая бактерия семейства GALLIONELLACEAE, ‒ описание и реконструкция генома на основе анализа метагенома микробного сообщества кислых шахтных вод
Дренажные воды отходов добычи металлов часто характеризуются низким рН вследствие окисления остаточных сульфидов и высоким содержанием растворенных металлов. Экстремальные условия таких экосистем ограничивают разнообразие обитающих в них микроорганизмов.
Рубрика:
Биологические науки
