Выпуск: 2016-2 (14)
Содержание:
Ключевые слова: Составление геометрических задач, Текст задачной ситуации, Познавательные действия, Универсальные учебные действия, Стандарт, Условие, Требование.
Аннотация: В статье обоснована необходимость развития универсальных учебных действий при обучении математике на основной ступени общего образования. Сформулирована проблема организации процесса обучения геометрии, направленного на развитие по-знавательных действий учащихся. Обучение составлению геометрических задач на ос-нове текста задачной ситуации рассматривается как одно из средств решения этой проблемы.
Научные основы школьного курса геометрии в обучении
Ключевые слова: Школьный курс геометрии, Федеральный государственный образовательный стандарт, Обучение геометрии, Планируемые результаты.
Аннотация: Научными основами школьного курса геометрии являются теории и методы высшей геометрии. В статье рассматривается проблема их актуализация в обучении геометрии. Это способствует достижению планируемых результатов освоения уча-щимися геометрии.
Применение методов инфографического моделирования для представления многомерных данных
Ключевые слова: Инфографика, Инфограмма, OLAP, Графическое представление многомерных данных.
Аннотация: В работе выполнен обзор существующих подходов и инструментов построения инфографики, определены виды инфограмм, проанализированы предпосылки интегра-ции методов инфорграфического моделирования и технологии оперативной аналити-ческой обработки данных.
Методы и средства обучения программированию в вузе
Ключевые слова: Адаптивные гипермедиа-системы, Курс по программированию, Облачные вычисления, Параллельное программирование, Практикум по программированию, Функциональное программирование, Язык Sisal, Язык Zonnon.
Аннотация: Рассматриваются методы и средства обучения программированию, разрабатываемые в лаборатории конструирования и оптимизации программ Института систем информатики им. А.П. Ершова СО РАН и на кафедре программирования Новосибирского государственного университета.
Формирование заданий в учебно-исследовательской системе конструктора бортовой аппаратуры
Ключевые слова: Учебно-исследовательская система, Имитационная модель, Бортовая аппаратура.
Аннотация: В статье рассматривается решение проблемы формирования заданий в обучающих системах для развития как теоретических, так и практических навыков работы конструкторов в стандартных и нестандартных ситуациях. Представлена учебно-исследовательская система для конструкторов бортовой аппаратуры командно-измерительной системы космического аппарата.
Постановка, научное и психологическое сопровождение исследовательских работ учащихся
Ключевые слова: Общеобразовательное учреждение, Учащиеся, Исследовательские работы, Научное сопровождение, Математика, Естествознание.
Аннотация: Представлены результаты педагогического эксперимента, направленного на изучение возможности проведения учащимися общеобразовательных учреждений научных исследований в области математики и естествознания. На конкретном примере показано, что при адекватном руководстве исследованием могут быть получены нетривиальные научные результаты.
Применение трехмерной визуализации в образовательном процессе
Ключевые слова: Визуализация, Машинная графика, Образовательные проекты.
Аннотация: Данная статья посвящена вопросу применения технологий трехмерной визуали-зации в образовательном процессе. Рассмотрена возможность разработки программ-ной системы, предоставляющей инструментальные средства для создания статиче-ских и динамических обучающих подсистем (проектов).
Ранжирование трудности тестовых заданий с учетом угадывания
Ключевые слова: Результаты тестирования, Дихотомическое оценивание, Мягкое оценивание, Поправка на угадывание, Трудность задания, Исправленная трудность.
Аннотация: Одним из факторов адекватности оценки, полученной в процессе тестирования, является возможность угадать правильные ответы. Мы предлагаем способ учесть влияние этого фактора на выборочную трудность тестовых заданий при «мягком» оценивании с помощью поправки «на угадывание». Наш метод позволяет ранжиро-вать разнотипные тестовые задания по трудности с учетом угадывания.
О концепции интеграции знаний естественнонаучных и специальных дисциплин
Ключевые слова: Профессиональная компетентность, Междисциплинарная интеграция, Профессионально-ориентированные задачи, Модульное построение учебного процесса.
Аннотация: В работе рассматривается решение проблемы профессиональной направленно-сти в обучении студентов технического вуза через интеграцию естественнонаучных и профессиональных дисциплин. Рассмотрена концепция, реализующая интеграцию знаний и модульное построение учебного процесса.
Об электронном образовательном курсе математики
Ключевые слова: Дистанционные образовательные технологии, Электронный образовательный курс, Обучение математике, Самообразовательная деятельность студентов.
Аннотация: Рассматриваются вопросы разработки и внедрения электронного обучающего курса «Математика» для студентов технических направлений заочной формы обуче-ния. Анализируются особенности дидактических материалов, подходы к проектирова-нию содержания, функционал заданий, используемых в системе электронного обучения.
Разработка программного комплекса для решения задач теплотехники
Ключевые слова: Многослойная стенка, Межфазный переход, Граничные условия, Теплопроводность, Дистанционное обучение.
Аннотация: В связи с необходимостью повышения качества обучения специалистов горно-металлургической отрасли, ведется разработка специализированного комплекса про-грамм для решения задач теплотехники. Разработанный комплекс позволяет проводить как типовые инженерные расчеты, так и исследования по различным критериям.
Двадцать лет спустя
Ключевые слова: программирование, Информационные технологии, Языки высокого уровня.
Аннотация: В статье речь идёт об обучении программированию в вузе, с использованием под-хода от литературного текста к программному коду. Надо читать классику и видеть в ней задачу, уметь анализировать текст как документ. Авторы делятся своим двадцатилетним опытом работы в этом направлении.
Дистанционное обучение людей с ограниченными возможностями зрения
Ключевые слова: Дистанционное обучение, Люди с ограниченными возможностями зрения, Подходы искусственного интеллекта, Онтологические модели.
Аннотация: Статья посвящена задаче построения комбинированной онтологической модели, состоящей из моделей обучающегося, обучения и лаборатории коллективного пользова-ния, для разработки Smart-системы дистанционного обучения людей с ограниченными возможностями зрения на основе современных подходов искусственного интеллекта.
Учит ли школа думать?
Ключевые слова: Школьное математическое образование, Воспитание, Учебное сотрудничество, Подготовка учителя математики.
Аннотация: В работе анализируются рассуждения студентов математического факульте-та на тему «Учит ли школа думать». Используемые значения слова «думать» показы-вают готовность студента принять на себя ответственность за развитие мышле-ния школьников, приобщение их к сотрудничеству, и воспитание заботливого отношения друг к другу.
Развитие математических способностей у учащихся
Ключевые слова: Развитие математических способностей и интереса к математике, Проектная и исследовательская деятельность, Внеклассная и внеурочная работа.
Аннотация: Статья посвящена актуальности и вопросам развития математических способ-ностей у учащихся школ. Описываются разнообразные приемы, виды и формы учебно-воспитательной работы учителя, посредством которых можно достичь высоких результатов.
Роль эстетического воспитания на уроках математики в средней школе
Ключевые слова: Интерпретация основных понятий школьного курса математики, Развитие творческих способностей, Эстетическая организация окружающего мира.
Аннотация: В статье рассмотрена роль эстетического воспитания учащихся на уроках ма-тематики. Выявлены особенности эстетического воспитания и показаны элементы методики развития творческих способностей учащихся
Компьютерные исследования в курсе «многообразие геометрии»
Ключевые слова: Многообразие геометрии, Геометрия Минковского, Геометрия Галилея, Геометрия Лобачевского, Программа «Живая геометрия».
Аннотация: Рассматривается возможность организации исследовательской работы сту-дентов в рамках изучения дисциплины «Многообразие геометрии» с привлечением ком-пьютерных технологий. Представлены разработанные задания по геометриям Мин-ковского, Галилея и Лобачевского.
Доминирующая компетенция в основной образовательной программе
Ключевые слова: коэффициента корреляции Пирсона, Критерий t-Стьюдента, Компетенция, Рабочая программа дисциплины, Основная образовательная программа.
Аннотация: В статье идет речь о статистической значимости связи между временем осво-ения компетенции и весом компетенции на примере основной образовательной про-граммы «Программная инженерия».
Совершенствование конструкции анодного узла алюминиевого электролизера с использованием современных САПР
Ключевые слова: Анодный узел, Моделирование, SolidWorks, COMSOL Multiphysics, Оптимизация.
Аннотация: Снижение расходов связанных с потреблением электроэнергии при производстве алюминия является одним из основных способов снижения его себестоимости и как следствие повышения эффективности работы предприятия в целом. Современные па-кеты 3-х мерного моделирования, включающие в себя модуль инженерного анализа (CAE) позволяют производить анализ и оптимизацию параметров спроектированной конструкции, моделируя её работу в реальных условиях под воздействием различных внешних факторов. В работе исследована 3-х мерная элементно-ориентированная па-раметрическая модель анодного узла, разработанная в программном комплексе SolidWorks в ассоциативной связи с пакетом COMSOL Multiphysics, используемым для моделирования тепловых потерь и падения напряжения на анодном узле. Используемая в работе ассоциативная связь делает возможным проводить автоматизированный анализ влияния геометрических параметров стального паука на тепловые и электри-ческие потери в анодном узле алюминиевого электролизера с целью снижения их вели-чин и достижения заданного критерия оптимальности.
Исследование факторов, влияющих на режим «черного неба» в Красноярске
Ключевые слова: Неблагоприятные метеорологические условия, Улично-дорожная сеть, Концентрация загрязняющих веществ.
Аннотация: Неблагоприятные метеорологические условия представляют собой краткосроч-ное особое сочетание метеорологических факторов, способствующих накоплению вредных загрязняющих веществ в приземном слое атмосферного воздуха. В зависимо-сти от ожидаемого уровня загрязнения атмосферы составляются предупреждения трех степеней, которым соответствуют три режима работы предприятий в перио-ды НМУ.
Модель онтологии дисперсных систем и их классов
Ключевые слова: Математическое моделирование, Модель онтологии, Интеллектуальные системы.
Аннотация: В работе приведены два модуля разрабатываемой математической модели он-тологии области коллоидной химии, описывающие модель онтологии дисперсных си-стем. Разрабатываемая модель будет использована при создании интеллектуальной системы моделирования, интегрирующей онтологии, знания, данные из разных разделов химии.
Решение обратной задачи гидрофизического мониторинга на примере Чилийских цунами
Ключевые слова: Источник цунами, Гидрофизический мониторинг, Обратная задача, Численное моделирование, Обработка данных наблюдений.
Аннотация: Исследование посвящено решению задачи восстановления параметров об источ-нике цунами на основе данных гидрофизического мониторинга с применением асимп-тотических формул С.Ю. Доброхотова и численного моделирования цунами в рамках вычислительной технологии MOST. Представлены математическая постановка зада-чи и вычислительная технология моделирования волн цунами в океане для оценки пара-метров изучаемых источников цунами. Проведен ряд числительных экспериментов на примере чилийских цунамигенных землетрясений и цунами в 2010-2015 гг.
Заболеваемость трудящихся по отраслям экономики (на примере г. Новокузнецка)
Ключевые слова: Временная утрата трудоспособности, Персонифицированные базы данных, Статистический анализ, Ведущие заболевания, Отрасли экономики.
Аннотация: Проанализирована заболеваемость с временной утратой трудоспособности (ВУТ) на примере крупного промышленного центра Сибири. Выявлены ее особенности в зависимости от отраслей производственной и непроизводственной сферы экономи-ки, рассмотрены наиболее значимые причины ВУТ.
Формализация процессов испытаний бортовой аппаратуры космического аппарата
Ключевые слова: Космический аппарат, Командно-измерительная система, Поддержка проведения испытаний, Сценарий испытаний.
Аннотация: В работе рассматривается задача формализации процесса испытаний бортовой аппаратуры космического аппарата. Описаны принципы представления процесса про-ведения испытаний в виде формальных сценариев. Представлены варианты использо-вания сценария на различных этапах испытаний.
О классификациях парадигм программирования и параллельном программировании
Ключевые слова: Языки и системы программирования, Парадигмы программирования, Методы определения компьютерных языков, Параллельные алгоритмы, Учебное программирование.
Аннотация: Работа нацелена на привлечение внимания к проблеме изучения парадигм программирования, актуальность которой связана с расширением множества языков программирования и массовым распространением распределённых информационных систем, использующих взаимодействующие параллельные процессы.
Инструментальное средство создания продукционных экспертных систем на основе MDA
Ключевые слова: Экспертные системы, Model Driven Architecture, Онтология, Инструментальное средство, Автоматизация научных исследований.
Аннотация: В работе описываются архитектура и функции инструментального средства создания экспертных систем на основе модельно-управляемого подхода, в частности методологии MDA (Model Driven Architecture). Рассмотрены основные компоненты и этапы технологии, приведены примеры результатов моделирования.
Задачи оптимального управления процессом ликвидации природного пожара
Ключевые слова: Природный пожар, Управление, Оптимальный состав противопожарных сил и средств.
Аннотация: Предложена простая модель динамики природного пожара, позволяющая решать ряд задач синтеза систем управления этим процессом.
Развитие информатизации в муниципальном здравоохранении (на примере г. Абакана)
Ключевые слова: Ретроспективный анализ, Классификация систем, Проблемы информатизации, Методика многокритериального выбора, Иерархические критерии.
Аннотация: В статье представлена классификация информационных систем в здравоохра-нении на основе ретроспективного анализа, выявлены проблемы и обозначены основ-ные задачи современного этапа информатизации города Абакана. Разработанная ме-тодика выбора оптимального варианта информатизации здравоохранения может применяться и в других регионах и муниципальных образованиях.
Организация пакетной синхронизации реляционных баз данных
Ключевые слова: Базы данных, Пакеты данных, Таблицы, Оглавления, Синхронизация, Транспортный узел, XML.
Аннотация: Представлен подход к решению задачи синхронизации структуры и информационного наполнения реляционных баз данных, используемых в территориально распреде-ленной сети организаций. Решение основано на унификации и метаструктуризации объектов базы данных, а также использовании XML-пакетов, передаваемых через транспортный вебузел
Проблемы изучения процессов самоорганизации в веб-пространстве
Ключевые слова: Интернет-сообщеста, Веб-пространство, Вебометрика, Теория графов.
Аннотация: Статья посвящена проблемам развития междисциплинарных подходов к изуче-нию принципов самоорганизации веб-пространства и закономерностей существующих внутри него коммуникативных связей. В качестве методологической основы исследо-вания использован синтез биосоциальных трактовок коммуникативных процессов и их моделирования с помощью вебометрики и теории графов.
Алгоритм генерации программных компонентов модельно-ориентированной системы
Ключевые слова: Веб-система, Оперативный сбор данных, Модельно-ориентированная архитектура, Динамическая генерация пользовательского интерфейса, Метаданные, Реляционная модель данных.
Аннотация: Описан авторский подход к построению модельно-ориентированных систем. Представлено теоретико-множественное описание мета-матамодели системы учета результатов научной деятельности. Предложен комплекс алгоритмов генерации программных компонентов.
Разработка экспертной системы анализа структуры электрокардиосигнала
Ключевые слова: ЭКГ, Анализ, Биомедицинский сигнал, Машинное обучение.
Аннотация: В данной работе представлен этап разработки кардиологической экспертной системы. Рассмотрены задачи выделения вектора данных из линии напряжения на ЭКГ, нахождения пиков PQRST, анализа ЭКГ посредством вейвлет-преобразования.
Следы морских природных катастроф: численный анализ данных
Ключевые слова: Обработка данных, Вейвлет-преобразование, Шиарлет-преоб-разование, Спектральная декомпозиция, Морфологический анализ.
Аннотация: Предлагается новый подход к обработке пространственных данных — морфоло-гический анализ линейных и нелинейных структур совместно со спектральной деком-позицией на основе вейвлети шиарлет-преобразований, применяемый к данным о природных катастрофах.
Вычислительный алгоритм построения поверхности рельефа местности
Ключевые слова: Векторные карты, Польский формат, Интерполяционные сплайны.
Аннотация: В работе представлен вычислительный алгоритм построения поверхности рель-ефа местности по данным, записанным в векторных картах в польском формате. Исходными данными выступает набор изолиний. По этим данным строится сеточная функция высот при помощи интерполяционных сплайнов.
Применение мультимножеств при решении практических задач
Ключевые слова: мультимножества, Многокритериальный групповой выбор, Принятие решений.
Аннотация: В работе описаны методы решения задачи группового многокритериального выбора, позволяющие обрабатывать различные формы представления индивидуальных предпочтений и основанные на применении мультимножеств. Рассмотрены примеры решения практических задач с помощью описанных методов.
Разработка прикладных гис на основе технологий геопортала
Ключевые слова: Веб-ГИС, Интернет-ГИС, Веб-картография, Геопортал, Пространственные данные, Система управления веб-контентом, Картографические сервисы, Каталог пространственных метаданных, WMS-сервис.
Аннотация: Рассматривается программно-технологическое обеспечение для разработки прикладных веб-систем, ориентированных на обработку и представление простран-ственных данных. Предлагаемое решение представляет собой специализированную си-стему управления контентом веб-сайта, которая учитывает специфику геоинформационных веб-приложений.
Формальное описание расчета многомерных аналитических показателей в виде последовательности операций Над OLAP-кубом
Ключевые слова: Оперативная аналитическая обработка данных, OLAP-куб, Аналитическая операция.
Аннотация: В работе выполнено формальное описание операций над OLAP-кубом. Представлен пример расчета многомерного аналитического показателя в виде последователь-ности операций над OLAP-кубом на основе предложенного формального описания для задачи гидрологического мониторинга.
Моделирование свойств инструментальных материалов с покрытием
Ключевые слова: Работоспособность инструмента, Инструментальный материал, Акустическая эмиссия, Моделирование свойств, Компьютерная программа.
Аннотация: В настоящее время ученые решают проблему обеспечения работоспособности металлорежущего инструмента с износостойким покрытием. В статье предложены способы повышения работоспособности путем моделирования свойств материала. Представлены методики оценки работоспособности инструмента с покрытием методом акустической эмиссии.
Технологический процесс перевода котельной на альтернативное топливо
Ключевые слова: Альтернативное топливо, Котел, Модернизация котла, Экологически чистая энергия.
Аннотация: Работа посвящена переводу котельной на альтернативное топливо. В расчетах применяются законы теплотехники, термодинамики и аналитические методы. Выяв-лена и обоснована необходимость модернизации оборудования для использования пеллетного топлива.
Формирование базы показателей природно-техногенной безопасности территорий красноярского края
Ключевые слова: Опасное событие, База данных, Картографический анализ, Объекты защиты и управления.
Аннотация: Описаны задачи территориального управления, для решения которых сформиро-вана база показателей природно-техногенной безопасности. Обоснована необходи-мость консолидации данных комплексного мониторинга на основе организации межве-домственного информационного обмена. Представлен состав базы показателей, ме-тоды картографического анализа, очистки и обогащения исходных данных, использо-ванные при формировании базы.
Анализ природно-техногенной безопасности на основе метода главных компонент и кластерного анализа (на примере красноярского края)
Ключевые слова: Интеллектуальная обработка данных, Анализ главных компонент, Кластерный анализ, Природно-техногенная безопасность.
Аннотация: Выполнен анализ характеристик природной и техногенной безопасности территорий Красноярского края, направленный на исследование географических особенностей и закономерностей возникновения ЧС на основе применения методов интеллек-туальной обработки данных к данным паспортов безопасности населенных пунктов.
Обработка многомерных данных средствами технологии ТОФИ
Ключевые слова: OLAP, Построение хранилищ данных, Оперативная аналитическая обработка данных, Технология ТОФИ.
Аннотация: В статье рассматриваются вопросы анализа и визуализации многомерных дан-ных средствами технологии ТОФИ. Описаны технологические особенности построе-ния хранилища данных ТОФИ, многомерных кубов и срезов кубов. Основное назначение технологии ТОФИ – поддержка аналитической деятельности, произвольных запросов пользователей-аналитиков.
Связь между структурой и таксономией геномов хлоропластов хвойных
Ключевые слова: ДНК, Слово, Частота, Распределение, Корреляция, Эволюция, Порядок.
Аннотация: В работе представлены предварительные результаты по изучению связи между структурой и таксономией геномов хвойных хлоропластов, полученные методом ди-намических ядер. Данная связь была выявлена. Показаны особенности применяемых методов, а также представлены выводы по полученным результатам.
Оценка влияния внешних факторов на российский рынок недвижимости
Ключевые слова: Кризис, Строительная отрасль, Корреляции, Рынок недвижимости, Адаптация.
Аннотация: В статье описаны результаты анализа российской строительной отрасли с по-мощью оценки корреляции и дисперсии данных. Данное исследование доказывает, что метод корреляционной адаптометрии эффективен при исследовании рынка недвижи-мости и прогнозировании кризисов.
Верификация функционально-потоковых параллельных программ с помощью интервальных формул
Ключевые слова: Верификация, Спецификация, Параллельное программирование, Функциональное программирование.
Аннотация: В статье описан оригинальный метод верификации программ на функционально-потоковом языке параллельного программирования Пифагор, использующий для спе-цификации программы и представления промежуточных утверждений формулы с ин-тервальными константами.
Семантика типов данных функционально-потокового языка параллельного программирования Пифагор
Ключевые слова: Аксиоматическая семантика типов данных, Функционально-потоковое параллельное программирование, Язык программирования Пифагор.
Аннотация: Работа посвящена описанию семантики типов данных для функционально-потокового языка параллельного программирования Пифагор. Рассматривается два вида семантики: математическая семантика на основе неформальной теории мно-жеств и аксиоматическая семантика.
Определение потребности населения в анестезиолого-реанимационных видах скорой медицинской помощи
Ключевые слова: Скорая медицинская помощь, Анестезиолого-реанимационные бригады, Информационное обеспечение, Алгоритмы регистрации и сортировки вызовов.
Аннотация: В условиях огромного дефицита кадров, как результат – недостатка бригад скорой медицинской помощи, единственно правильным решением могло стать рацио-нальное использование имеющихся ресурсов. Разработка и внедрение оптимизирован-ного информационного обеспечения управления анестезиолого-реанимационными бри-гадами позволит сохранить доступность и своевременность оказания реанимацион-ных видов скорой помощи для населения.
Алгоритмы поиска регулярных объектов на изображениях
Ключевые слова: Регулярный объект, Хэш, Хэш-функция контура, Системы стереозрения.
Аннотация: В статье рассматривается алгоритм поиска регулярных объектов при помощи хэш-функции на изображениях, полученных системами машинного стереозрения.
Интеграция технологий в системе комплексного мониторинга чрезвычайных ситуаций
Ключевые слова: Комплексный мониторинг, Консолидация данных, Управление территориальной безопасностью.
Аннотация: Представлены результаты создания системы комплексного мониторинга чрез-вычайных ситуаций в аспекте интеграции современных информационных технологий. Описаны технологии консолидации, анализа и представления данных, получаемых из различных источников.
Проектирование базы данных гидробиологических показателей красноярского водохранилища
Ключевые слова: Реляционная схема данных, Концептуальная модель, Экологический мониторинг.
Аннотация: Проанализирован состав и структура первичных данных экспедиционных наблю-дений Красноярского водохранилища. По результатам анализа выполнено построение концептуальной модели данных, разработана реляционная схема хранения первичных данных экспедиционных наблюдений.
О формализации правил переходов в модели движения людей SIGMA.CA
Ключевые слова: Модель движения людей-пешеходов, Клеточные автоматы, Правила переходов, Стратегии движения.
Аннотация: Изложены правила переходов для модели движения людей, основанной на теории клеточных автоматов. Предложен способ реализации стратегии терпеливого челове-ка, разрешение конфликтных ситуаций.
Моделирование процессов обмена в торговых системах
Ключевые слова: Теория активных систем, Моделирование, Математические модели социально-экономических процессов, Торгово-посредническая сеть.
Аннотация: В данной работе рассматривается вопрос моделирования потоковых процессов между участниками в торгово-посреднических системах. Разработана модель описа-ния процессов обмена между экономическими агентами сети на локальных рынках с учётом факторов спроса и предложения.
Исследование числа страховых выплат при ограниченном страховом поле
Ключевые слова: Математическая модель, Страховая компания, Страховые выплаты, Система массового обслуживания, Характеристическая функция.
Аннотация: Настоящая работа посвящена исследованию модели страховой компании с огра-ниченным страховым полем в виде системы массового обслуживания с неограничен-ным количеством обслуживающих приборов. С помощью метода характеристических функций получено двумерное распределение числа застрахованных в компании рисков и числа требований на выплату страховых сумм
О моделировании закономерностей геосоциального процесса
Ключевые слова: Природные катастрофы, Социальные явления, Распределения с тяжелыми хвостами, Фурье-анализ, Базы данных.
Аннотация: В работе приводятся результаты моделирования закономерностей природных катастроф и социальных явлений, полученные на основании созданной авторами базы данных. С помощью специально разработанной информационно-вычислительной си-стемы выявлены свойства группируемости и цикличности катастрофических собы-тий. Предложена концепция геосоциального процесса.
Моделирование электропривода для космических аппаратов с переменной структурой
Ключевые слова: Система моделирования, Переменная структура, Электродвигатель, S-модель.
Аннотация: Данная работа направлена на рассмотрение проблемы создания системы моде-лирования с переменной структурой для многокомпонентных технических объектов. В работе представлена концепция системы моделирования с переменной структурой, а также математические модели для разрешения противоречия «точность – скорость»
Определение характерного времени разделения бинарной смеси в цилиндрической термодиффузионной колонне
Ключевые слова: Многокомпонентная смесь, Тепломассоперенос, Диффузия, Термодиффузия, Термодиффузионная колонна, Нестационарная задача, Характерное время.
Аннотация: В данной работе рассмотрен нестационарный процесс разделения бинарной сме-си в цилиндрической термодиффузионной колонне, для которого определена зависи-мость времени установления стационарного процесса от отношения радиусов цилиндров. При отношении радиусов, близком к единице, значение времени соответствует случаю плоской колонны.
Моделирование динамики многочастичных ансамблей при использовании кинетических моделей
Ключевые слова: Метод Монте-Карло, Парные взаимодействия, Автотранспортный поток, Уравнение коагуляции, Формирование цены.
Аннотация: Для решения ряда задач, не обязательно связанных с динамикой разреженного газа, но описываемых кинетическими уравнениями типа Больцмана, предлагается ис-пользовать аппарат интегральных уравнений второго рода и весовое моделирование цепей Маркова, которые однозначно определяются коэффициентами этих уравнений.
О гипотезе левопримитивности конечного полуполя
Ключевые слова: Полуполе, Спектр полуполя, Левопримитивность, Автоморфизм.
Аннотация: Изучаются алгебраические свойства полуполя порядка 64, представляющего один из двух известных контрпримеров к гипотезе Г. Вене о левопримитивности конечного полуполя. Описаны подполя, автоморфизмы, спектр, доказана однопорожденность мультипликативной лупы ненулевых элементов.
Моделирование медленного движения сыпучей среды в сходящемся канале
Ключевые слова: Вариационное неравенство, Разнопрочная среда, Локализация деформаций.
Аннотация: Для исследования локализации деформаций при движении сыпучей среды под действием собственного веса в сходящемся канале используются вариационные принципы теории предельного равновесия, установленные в рамках специальной математической модели материала, по-разному сопротивляющегося растяжению и сжатию. Получена оценка для коэффициента запаса
Линейные обратные задачи для псевдогиперболических уравнений
Ключевые слова: Обратная задача, Псевдогиперболическое уравнение, Уравнение Вольтерра, Условия переопределения.
Аннотация: В данной работе рассматриваются линейные обратные задачи для псевдо гиперболического уравнения. Доказываются соответствующие теоремы об однозначной разрешимости рассматриваемых обратных задач.
Применение метода корреляционной адаптометрии при исследовании страховых рынков
Ключевые слова: Корреляционная адаптометрия, Эффект группового стресса, Дисперсия, Корреляции, Экономический кризис, Страховой рынок.
Аннотация: В статье предложен метод корреляционной адаптометрии для выявления пред-кризисных и кризисных ситуаций на страховых рынках. Применимость метода иссле-дована на данных статистики некоторых региональных страховых рынков Российской Федерации.
Обратная задача для линейного псевдопараболического уравнения типа фильтрации
Ключевые слова: Обратная задача, Псевдопараболическое уравнение, Существование и единственность «в малом», Фильтрация.
Аннотация: Работа посвящена исследованию коэффициентных обратных задач для псевдо-параболических уравнений. Результаты, полученные ранее автором и А. Тани, обобщаются на случай, когда в уравнении имеются младшие члены, содержащие не только функцию, но и ее первые производные. Устанавливаются достаточные условия существования и единственности решения "в малом".
Численное моделирование маятниковых волн в блочных средах
Ключевые слова: Динамика, Упругость, Блочная среда, Податливая прослойка, Математическое моделирование.
Аннотация: Разработаны вычислительные алгоритмы для исследования распространения волн напряжений и деформаций в слоистых средах, состоящих из большого количества деформируемых блоков с упругими прослойками. Приведены результаты расчетов, демонстрирующие особенности распространения плоских волн в блочных средах.
Анализ уравнений жидкого кристалла, учитывающих моментное взаимодействие
Ключевые слова: Жидкий кристалл, Моментная среда, Динамика, Конечно-разностная схема, Параллельный вычислительный алгоритм, Технология CUDA.
Аннотация: На основе математической модели жидкого кристалла в акустическом приближении получена система двух уравнений второго порядка для касательного напряже-ния и угловой скорости. Разработан алгоритм численного решения краевых задач, который реализован в виде параллельной программы на языке Си по технологии.
Моделирование устойчивости системы к повреждению методами теории одномерной перколяции
Ключевые слова: Теория перколяции, Композитный материал, Устойчивость системы.
Аннотация: Рассмотрена математическая модель устойчивости системы к повреждению. Предложен новый алгоритм исследования устойчивости системы к повреждению в рамках квазиодномерной модели перколяции. Модель может быть использована для интерпретации результатов в квазиодномерных нанометровых системах.
Детерминированная семантика регулярных выражений
Ключевые слова: Формальный язык, Анализатор, Регулярное выражение, Алгебра Клини, Конечный автомат, Детерминированная семантика.
Аннотация: Проблема конвертации описания на формальном языке имеет большое практиче-ское значение для системной интеграции программ и в области технологии программирования, называемой «реинжинирингом программного обеспечения» (software reengineering). Операция анализа строковых данных путём сопоставления с образцом, заданным регулярным выражением, образует основу для построения разнообразных конверторов. Предлагается изменить традиционную модель операции сопоставления с образцом на основе конечного автомата на модель в виде алгебры образцов.
Обратная одномерная задача с неизвестным источником
Ключевые слова: Интегральные преобразования, Оператор, Билинейная система интегральных уравнений, Теоремы единственности.
Аннотация: Исследуется обратная одномерная задача с неизвестным источником и неиз-вестным переменным коэффициентом в волновом уравнении по двум известным ре-шениям прямой задачи в фиксированных точках плоскости. Методом интегральных преобразований задача редуцируется к обратной задаче Штурма-Лиувилля. Доказаны теоремы единственности.
Численное моделирование двухфазных потоков в микроканалах
Ключевые слова: VOF-метод, Двухфазные потоки, Угол смачивания.
Аннотация: В работе представлены результаты тестирования методики расчета двухфаз-ных течений в микроканалах, выполнено сравнение численных результатов с экспери-ментальными данными. Было показано, что значение краевого угла смачивания играет ключевую роль при описании двухфазных потоков в микроканалах.
Об одной кубатурной формуле c участием производных
Ключевые слова: Кубатурные формулы, Функциональные пространства Соболева.
Аннотация: Разработан алгоритм замены некоторых узлов решетки другими для минимиза-ции нормы функционала погрешности при выполнении условия согласования порядка сходимости с шагом решетки и гладкостью функции вдоль выбранных координатных направлений. Результаты полученного метода проверены на контрольных примерах.
Динамика заглубления перемешанного слоя жидкости в трехмерных расчетах
Ключевые слова: Трехмерное численное моделирование, Турбулентное замыкание, Заглубление перемешанного слоя.
Аннотация: С использованием трехмерной численной модели выполнены расчеты заглубления перемешанного слоя под действием ветровой нагрузки в стратифицированном водоеме прямоугольной формы. Проведено сравнение результатов для различных моделей турбулентности.
Верификация логических описаний с функциональной неопределенностью на основе моделирования
Ключевые слова: Автоматизация проектирования, Верификация, Моделирование.
Аннотация: Рассматривается подход к верификации логических описаний комбинационных устройств для случая, когда исходное функциональное описание проектируемой схемы не полностью определено. Предлагаемый подход основан на моделировании поведения схемы для общего случая, когда входные стимулы представляются троичными векторами.
Сезонная динамика течений в озере Шира по натурным наблюдениям 2014-2015 гг.
Ключевые слова: Динамика ветровых течений, Спектральный анализ.
Аннотация: В статье на основе данных натурных наблюдений проанализирована изменчивость ветровых течений на озере Шира в период 2014-2015 гг. Проведен спектральный анализ внутренних волн, вызванных переменным ветром.
Параллельная реализация полулагранжевого метода для уравнения неразрывности
Ключевые слова: Уравнение неразрывности, Полулагранжевый метод, Численное решение, Параллельное программирование, OpenMP.
Аннотация: В работе представлен параллельный алгоритм численного решения двумерного уравнения неразрывности. Метод основан на точном тождестве двух простран-ственных интегралов на соседних слоях по времени и имеет первый порядок сходимо-сти. Проведено исследование эффективности параллельного алгоритма, реализован-ного с помощью технологии OpenMP.