Выпуск: 2016-2 (14)

2016-2 (14)

Содержание:

Организация процесса обучения составлению геометрических задач, направленного на развитие познавательных действий учащихся

Стр: 4-11

Аннотация: В статье обоснована необходимость развития универсальных учебных действий при обучении математике на основной ступени общего образования. Сформулирована проблема организации процесса обучения геометрии, направленного на развитие по-знавательных действий учащихся. Обучение составлению геометрических задач на ос-нове текста задачной ситуации рассматривается как одно из средств решения этой проблемы.

Научные основы школьного курса геометрии в обучении

Стр: 11-16

Аннотация: Научными основами школьного курса геометрии являются теории и методы высшей геометрии. В статье рассматривается проблема их актуализация в обучении геометрии. Это способствует достижению планируемых результатов освоения уча-щимися геометрии.

Применение методов инфографического моделирования для представления многомерных данных

Стр: 16-23

Аннотация: В работе выполнен обзор существующих подходов и инструментов построения инфографики, определены виды инфограмм, проанализированы предпосылки интегра-ции методов инфорграфического моделирования и технологии оперативной аналити-ческой обработки данных.

Методы и средства обучения программированию в вузе

Стр: 23-30

Аннотация: Рассматриваются методы и средства обучения программированию, разрабатываемые в лаборатории конструирования и оптимизации программ Института систем информатики им. А.П. Ершова СО РАН и на кафедре программирования Новосибирского государственного университета.

Формирование заданий в учебно-исследовательской системе конструктора бортовой аппаратуры

Стр: 30-35

Аннотация: В статье рассматривается решение проблемы формирования заданий в обучающих системах для развития как теоретических, так и практических навыков работы конструкторов в стандартных и нестандартных ситуациях. Представлена учебно-исследовательская система для конструкторов бортовой аппаратуры командно-измерительной системы космического аппарата.

Постановка, научное и психологическое сопровождение исследовательских работ учащихся

Стр: 35-39

Аннотация: Представлены результаты педагогического эксперимента, направленного на изучение возможности проведения учащимися общеобразовательных учреждений научных исследований в области математики и естествознания. На конкретном примере показано, что при адекватном руководстве исследованием могут быть получены нетривиальные научные результаты.

Применение трехмерной визуализации в образовательном процессе

Стр: 40-43

Аннотация: Данная статья посвящена вопросу применения технологий трехмерной визуали-зации в образовательном процессе. Рассмотрена возможность разработки программ-ной системы, предоставляющей инструментальные средства для создания статиче-ских и динамических обучающих подсистем (проектов).

Ранжирование трудности тестовых заданий с учетом угадывания

Стр: 44-50

Аннотация: Одним из факторов адекватности оценки, полученной в процессе тестирования, является возможность угадать правильные ответы. Мы предлагаем способ учесть влияние этого фактора на выборочную трудность тестовых заданий при «мягком» оценивании с помощью поправки «на угадывание». Наш метод позволяет ранжиро-вать разнотипные тестовые задания по трудности с учетом угадывания.

О концепции интеграции знаний естественнонаучных и специальных дисциплин

Стр: 51-55

Аннотация: В работе рассматривается решение проблемы профессиональной направленно-сти в обучении студентов технического вуза через интеграцию естественнонаучных и профессиональных дисциплин. Рассмотрена концепция, реализующая интеграцию знаний и модульное построение учебного процесса.

Об электронном образовательном курсе математики

Стр: 55-60

Аннотация: Рассматриваются вопросы разработки и внедрения электронного обучающего курса «Математика» для студентов технических направлений заочной формы обуче-ния. Анализируются особенности дидактических материалов, подходы к проектирова-нию содержания, функционал заданий, используемых в системе электронного обучения.

Разработка программного комплекса для решения задач теплотехники

Стр: 60-66

Аннотация: В связи с необходимостью повышения качества обучения специалистов горно-металлургической отрасли, ведется разработка специализированного комплекса про-грамм для решения задач теплотехники. Разработанный комплекс позволяет проводить как типовые инженерные расчеты, так и исследования по различным критериям.

Двадцать лет спустя

Стр: 67-74

Аннотация: В статье речь идёт об обучении программированию в вузе, с использованием под-хода от литературного текста к программному коду. Надо читать классику и видеть в ней задачу, уметь анализировать текст как документ. Авторы делятся своим двадцатилетним опытом работы в этом направлении.

Дистанционное обучение людей с ограниченными возможностями зрения

Стр: 74-81

Аннотация: Статья посвящена задаче построения комбинированной онтологической модели, состоящей из моделей обучающегося, обучения и лаборатории коллективного пользова-ния, для разработки Smart-системы дистанционного обучения людей с ограниченными возможностями зрения на основе современных подходов искусственного интеллекта.

Учит ли школа думать?

Стр: 81-84

Аннотация: В работе анализируются рассуждения студентов математического факульте-та на тему «Учит ли школа думать». Используемые значения слова «думать» показы-вают готовность студента принять на себя ответственность за развитие мышле-ния школьников, приобщение их к сотрудничеству, и воспитание заботливого отношения друг к другу.

Развитие математических способностей у учащихся

Стр: 84-88

Аннотация: Статья посвящена актуальности и вопросам развития математических способ-ностей у учащихся школ. Описываются разнообразные приемы, виды и формы учебно-воспитательной работы учителя, посредством которых можно достичь высоких результатов.

Роль эстетического воспитания на уроках математики в средней школе

Стр: 88-92

Аннотация: В статье рассмотрена роль эстетического воспитания учащихся на уроках ма-тематики. Выявлены особенности эстетического воспитания и показаны элементы методики развития творческих способностей учащихся

Компьютерные исследования в курсе «многообразие геометрии»

Стр: 93-98

Аннотация: Рассматривается возможность организации исследовательской работы сту-дентов в рамках изучения дисциплины «Многообразие геометрии» с привлечением ком-пьютерных технологий. Представлены разработанные задания по геометриям Мин-ковского, Галилея и Лобачевского.

Доминирующая компетенция в основной образовательной программе

Стр: 99-103

Аннотация: В статье идет речь о статистической значимости связи между временем осво-ения компетенции и весом компетенции на примере основной образовательной про-граммы «Программная инженерия».

Совершенствование конструкции анодного узла алюминиевого электролизера с использованием современных САПР

Стр: 103-108

Аннотация: Снижение расходов связанных с потреблением электроэнергии при производстве алюминия является одним из основных способов снижения его себестоимости и как следствие повышения эффективности работы предприятия в целом. Современные па-кеты 3-х мерного моделирования, включающие в себя модуль инженерного анализа (CAE) позволяют производить анализ и оптимизацию параметров спроектированной конструкции, моделируя её работу в реальных условиях под воздействием различных внешних факторов. В работе исследована 3-х мерная элементно-ориентированная па-раметрическая модель анодного узла, разработанная в программном комплексе SolidWorks в ассоциативной связи с пакетом COMSOL Multiphysics, используемым для моделирования тепловых потерь и падения напряжения на анодном узле. Используемая в работе ассоциативная связь делает возможным проводить автоматизированный анализ влияния геометрических параметров стального паука на тепловые и электри-ческие потери в анодном узле алюминиевого электролизера с целью снижения их вели-чин и достижения заданного критерия оптимальности.

Исследование факторов, влияющих на режим «черного неба» в Красноярске

Стр: 108-112

Аннотация: Неблагоприятные метеорологические условия представляют собой краткосроч-ное особое сочетание метеорологических факторов, способствующих накоплению вредных загрязняющих веществ в приземном слое атмосферного воздуха. В зависимо-сти от ожидаемого уровня загрязнения атмосферы составляются предупреждения трех степеней, которым соответствуют три режима работы предприятий в перио-ды НМУ.

Модель онтологии дисперсных систем и их классов

Стр: 112-119

Аннотация: В работе приведены два модуля разрабатываемой математической модели он-тологии области коллоидной химии, описывающие модель онтологии дисперсных си-стем. Разрабатываемая модель будет использована при создании интеллектуальной системы моделирования, интегрирующей онтологии, знания, данные из разных разделов химии.

Решение обратной задачи гидрофизического мониторинга на примере Чилийских цунами

Стр: 119-125

Аннотация: Исследование посвящено решению задачи восстановления параметров об источ-нике цунами на основе данных гидрофизического мониторинга с применением асимп-тотических формул С.Ю. Доброхотова и численного моделирования цунами в рамках вычислительной технологии MOST. Представлены математическая постановка зада-чи и вычислительная технология моделирования волн цунами в океане для оценки пара-метров изучаемых источников цунами. Проведен ряд числительных экспериментов на примере чилийских цунамигенных землетрясений и цунами в 2010-2015 гг.

Заболеваемость трудящихся по отраслям экономики (на примере г. Новокузнецка)

Стр: 125-130

Аннотация: Проанализирована заболеваемость с временной утратой трудоспособности (ВУТ) на примере крупного промышленного центра Сибири. Выявлены ее особенности в зависимости от отраслей производственной и непроизводственной сферы экономи-ки, рассмотрены наиболее значимые причины ВУТ.

Формализация процессов испытаний бортовой аппаратуры космического аппарата

Стр: 131-138

Аннотация: В работе рассматривается задача формализации процесса испытаний бортовой аппаратуры космического аппарата. Описаны принципы представления процесса про-ведения испытаний в виде формальных сценариев. Представлены варианты использо-вания сценария на различных этапах испытаний.

О классификациях парадигм программирования и параллельном программировании

Стр: 138-144

Аннотация: Работа нацелена на привлечение внимания к проблеме изучения парадигм программирования, актуальность которой связана с расширением множества языков программирования и массовым распространением распределённых информационных систем, использующих взаимодействующие параллельные процессы.

Инструментальное средство создания продукционных экспертных систем на основе MDA

Стр: 144-151

Аннотация: В работе описываются архитектура и функции инструментального средства создания экспертных систем на основе модельно-управляемого подхода, в частности методологии MDA (Model Driven Architecture). Рассмотрены основные компоненты и этапы технологии, приведены примеры результатов моделирования.

Задачи оптимального управления процессом ликвидации природного пожара

Стр: 151-156

Аннотация: Предложена простая модель динамики природного пожара, позволяющая решать ряд задач синтеза систем управления этим процессом.

Развитие информатизации в муниципальном здравоохранении (на примере г. Абакана)

Стр: 157-160

Аннотация: В статье представлена классификация информационных систем в здравоохра-нении на основе ретроспективного анализа, выявлены проблемы и обозначены основ-ные задачи современного этапа информатизации города Абакана. Разработанная ме-тодика выбора оптимального варианта информатизации здравоохранения может применяться и в других регионах и муниципальных образованиях.

Организация пакетной синхронизации реляционных баз данных

Стр: 161-168

Аннотация: Представлен подход к решению задачи синхронизации структуры и информационного наполнения реляционных баз данных, используемых в территориально распреде-ленной сети организаций. Решение основано на унификации и метаструктуризации объектов базы данных, а также использовании XML-пакетов, передаваемых через транспортный вебузел

Проблемы изучения процессов самоорганизации в веб-пространстве

Стр: 168-173

Аннотация: Статья посвящена проблемам развития междисциплинарных подходов к изуче-нию принципов самоорганизации веб-пространства и закономерностей существующих внутри него коммуникативных связей. В качестве методологической основы исследо-вания использован синтез биосоциальных трактовок коммуникативных процессов и их моделирования с помощью вебометрики и теории графов.

Алгоритм генерации программных компонентов модельно-ориентированной системы

Стр: 173-180

Аннотация: Описан авторский подход к построению модельно-ориентированных систем. Представлено теоретико-множественное описание мета-матамодели системы учета результатов научной деятельности. Предложен комплекс алгоритмов генерации программных компонентов.

Разработка экспертной системы анализа структуры электрокардиосигнала

Стр: 180-186

Аннотация: В данной работе представлен этап разработки кардиологической экспертной системы. Рассмотрены задачи выделения вектора данных из линии напряжения на ЭКГ, нахождения пиков PQRST, анализа ЭКГ посредством вейвлет-преобразования.

Следы морских природных катастроф: численный анализ данных

Стр: 186-192

Аннотация: Предлагается новый подход к обработке пространственных данных — морфоло-гический анализ линейных и нелинейных структур совместно со спектральной деком-позицией на основе вейвлети шиарлет-преобразований, применяемый к данным о природных катастрофах.

Вычислительный алгоритм построения поверхности рельефа местности

Стр: 192-195

Аннотация: В работе представлен вычислительный алгоритм построения поверхности рель-ефа местности по данным, записанным в векторных картах в польском формате. Исходными данными выступает набор изолиний. По этим данным строится сеточная функция высот при помощи интерполяционных сплайнов.

Применение мультимножеств при решении практических задач

Стр: 196-202

Аннотация: В работе описаны методы решения задачи группового многокритериального выбора, позволяющие обрабатывать различные формы представления индивидуальных предпочтений и основанные на применении мультимножеств. Рассмотрены примеры решения практических задач с помощью описанных методов.

Разработка прикладных гис на основе технологий геопортала

Стр: 202-209

Аннотация: Рассматривается программно-технологическое обеспечение для разработки прикладных веб-систем, ориентированных на обработку и представление простран-ственных данных. Предлагаемое решение представляет собой специализированную си-стему управления контентом веб-сайта, которая учитывает специфику геоинформационных веб-приложений.

Формальное описание расчета многомерных аналитических показателей в виде последовательности операций Над OLAP-кубом

Стр: 209-215

Аннотация: В работе выполнено формальное описание операций над OLAP-кубом. Представлен пример расчета многомерного аналитического показателя в виде последователь-ности операций над OLAP-кубом на основе предложенного формального описания для задачи гидрологического мониторинга.

Моделирование свойств инструментальных материалов с покрытием

Стр: 215-220

Аннотация: В настоящее время ученые решают проблему обеспечения работоспособности металлорежущего инструмента с износостойким покрытием. В статье предложены способы повышения работоспособности путем моделирования свойств материала. Представлены методики оценки работоспособности инструмента с покрытием методом акустической эмиссии.

Технологический процесс перевода котельной на альтернативное топливо

Стр: 220-226

Аннотация: Работа посвящена переводу котельной на альтернативное топливо. В расчетах применяются законы теплотехники, термодинамики и аналитические методы. Выяв-лена и обоснована необходимость модернизации оборудования для использования пеллетного топлива.

Формирование базы показателей природно-техногенной безопасности территорий красноярского края

Стр: 226-234

Аннотация: Описаны задачи территориального управления, для решения которых сформиро-вана база показателей природно-техногенной безопасности. Обоснована необходи-мость консолидации данных комплексного мониторинга на основе организации межве-домственного информационного обмена. Представлен состав базы показателей, ме-тоды картографического анализа, очистки и обогащения исходных данных, использо-ванные при формировании базы.

Анализ природно-техногенной безопасности на основе метода главных компонент и кластерного анализа

Стр: 234-242

Аннотация: Выполнен анализ характеристик природной и техногенной безопасности территорий Красноярского края, направленный на исследование географических особенностей и закономерностей возникновения ЧС на основе применения методов интеллек-туальной обработки данных к данным паспортов безопасности населенных пунктов.

Обработка многомерных данных средствами технологии ТОФИ

Стр: 242-250

Аннотация: В статье рассматриваются вопросы анализа и визуализации многомерных дан-ных средствами технологии ТОФИ. Описаны технологические особенности построе-ния хранилища данных ТОФИ, многомерных кубов и срезов кубов. Основное назначение технологии ТОФИ – поддержка аналитической деятельности, произвольных запросов пользователей-аналитиков.

Связь между структурой и таксономией геномов хлоропластов хвойных

Стр: 250-253

Аннотация: В работе представлены предварительные результаты по изучению связи между структурой и таксономией геномов хвойных хлоропластов, полученные методом ди-намических ядер. Данная связь была выявлена. Показаны особенности применяемых методов, а также представлены выводы по полученным результатам.

Оценка влияния внешних факторов на российский рынок недвижимости

Стр: 253-258

Аннотация: В статье описаны результаты анализа российской строительной отрасли с по-мощью оценки корреляции и дисперсии данных. Данное исследование доказывает, что метод корреляционной адаптометрии эффективен при исследовании рынка недвижи-мости и прогнозировании кризисов.

Верификация функционально-потоковых параллельных программ с помощью интервальных формул

Стр: 259-262

Аннотация: В статье описан оригинальный метод верификации программ на функционально-потоковом языке параллельного программирования Пифагор, использующий для спе-цификации программы и представления промежуточных утверждений формулы с ин-тервальными константами.

Семантика типов данных функционально-потокового языка параллельного программирования Пифагор

Стр: 263-269

Аннотация: Работа посвящена описанию семантики типов данных для функционально-потокового языка параллельного программирования Пифагор. Рассматривается два вида семантики: математическая семантика на основе неформальной теории мно-жеств и аксиоматическая семантика.

Определение потребности населения в анестезиолого-реанимационных видах скорой медицинской помощи

Стр: 269-276

Аннотация: В условиях огромного дефицита кадров, как результат – недостатка бригад скорой медицинской помощи, единственно правильным решением могло стать рацио-нальное использование имеющихся ресурсов. Разработка и внедрение оптимизирован-ного информационного обеспечения управления анестезиолого-реанимационными бри-гадами позволит сохранить доступность и своевременность оказания реанимацион-ных видов скорой помощи для населения.

Алгоритмы поиска регулярных объектов на изображениях

Стр: 277-281

Аннотация: В статье рассматривается алгоритм поиска регулярных объектов при помощи хэш-функции на изображениях, полученных системами машинного стереозрения.

Интеграция технологий в системе комплексного мониторинга чрезвычайных ситуаций

Стр: 281-287

Аннотация: Представлены результаты создания системы комплексного мониторинга чрез-вычайных ситуаций в аспекте интеграции современных информационных технологий. Описаны технологии консолидации, анализа и представления данных, получаемых из различных источников.

Проектирование базы данных гидробиологических показателей красноярского водохранилища

Стр: 287-292

Аннотация: Проанализирован состав и структура первичных данных экспедиционных наблю-дений Красноярского водохранилища. По результатам анализа выполнено построение концептуальной модели данных, разработана реляционная схема хранения первичных данных экспедиционных наблюдений.

О формализации правил переходов в модели движения людей SIGMA.CA

Стр: 293-300

Аннотация: Изложены правила переходов для модели движения людей, основанной на теории клеточных автоматов. Предложен способ реализации стратегии терпеливого челове-ка, разрешение конфликтных ситуаций.

Моделирование процессов обмена в торговых системах

Стр: 300-303

Аннотация: В данной работе рассматривается вопрос моделирования потоковых процессов между участниками в торгово-посреднических системах. Разработана модель описа-ния процессов обмена между экономическими агентами сети на локальных рынках с учётом факторов спроса и предложения.

Исследование числа страховых выплат при ограниченном страховом поле

Стр: 303-308

Аннотация: Настоящая работа посвящена исследованию модели страховой компании с огра-ниченным страховым полем в виде системы массового обслуживания с неограничен-ным количеством обслуживающих приборов. С помощью метода характеристических функций получено двумерное распределение числа застрахованных в компании рисков и числа требований на выплату страховых сумм

О моделировании закономерностей геосоциального процесса

Стр: 308-316

Аннотация: В работе приводятся результаты моделирования закономерностей природных катастроф и социальных явлений, полученные на основании созданной авторами базы данных. С помощью специально разработанной информационно-вычислительной си-стемы выявлены свойства группируемости и цикличности катастрофических собы-тий. Предложена концепция геосоциального процесса.

Моделирование электропривода для космических аппаратов с переменной структурой

Стр: 316-320

Аннотация: Данная работа направлена на рассмотрение проблемы создания системы моде-лирования с переменной структурой для многокомпонентных технических объектов. В работе представлена концепция системы моделирования с переменной структурой, а также математические модели для разрешения противоречия «точность – скорость»

Определение характерного времени разделения бинарной смеси в цилиндрической термодиффузионной колонне

Стр: 320-324

Аннотация: В данной работе рассмотрен нестационарный процесс разделения бинарной сме-си в цилиндрической термодиффузионной колонне, для которого определена зависи-мость времени установления стационарного процесса от отношения радиусов цилиндров. При отношении радиусов, близком к единице, значение времени соответствует случаю плоской колонны.

Моделирование динамики многочастичных ансамблей при использовании кинетических моделей

Стр: 324-330

Аннотация: Для решения ряда задач, не обязательно связанных с динамикой разреженного газа, но описываемых кинетическими уравнениями типа Больцмана, предлагается ис-пользовать аппарат интегральных уравнений второго рода и весовое моделирование цепей Маркова, которые однозначно определяются коэффициентами этих уравнений.

О гипотезе левопримитивности конечного полуполя

Стр: 330-336

Аннотация: Изучаются алгебраические свойства полуполя порядка 64, представляющего один из двух известных контрпримеров к гипотезе Г. Вене о левопримитивности конечного полуполя. Описаны подполя, автоморфизмы, спектр, доказана однопорожденность мультипликативной лупы ненулевых элементов.

Моделирование медленного движения сыпучей среды в сходящемся канале

Стр: 336-343

Аннотация: Для исследования локализации деформаций при движении сыпучей среды под действием собственного веса в сходящемся канале используются вариационные принципы теории предельного равновесия, установленные в рамках специальной математической модели материала, по-разному сопротивляющегося растяжению и сжатию. Получена оценка для коэффициента запаса

Линейные обратные задачи для псевдогиперболических уравнений

Стр: 343-351

Аннотация: В данной работе рассматриваются линейные обратные задачи для псевдо гиперболического уравнения. Доказываются соответствующие теоремы об однозначной разрешимости рассматриваемых обратных задач.

Применение метода корреляционной адаптометрии при исследовании страховых рынков

Стр: 351-356

Аннотация: В статье предложен метод корреляционной адаптометрии для выявления пред-кризисных и кризисных ситуаций на страховых рынках. Применимость метода иссле-дована на данных статистики некоторых региональных страховых рынков Российской Федерации.

Обратная задача для линейного псевдопараболического уравнения типа фильтрации

Стр: 357-363

Аннотация: Работа посвящена исследованию коэффициентных обратных задач для псевдо-параболических уравнений. Результаты, полученные ранее автором и А. Тани, обобщаются на случай, когда в уравнении имеются младшие члены, содержащие не только функцию, но и ее первые производные. Устанавливаются достаточные условия существования и единственности решения "в малом".

Численное моделирование маятниковых волн в блочных средах

Стр: 364-369

Аннотация: Разработаны вычислительные алгоритмы для исследования распространения волн напряжений и деформаций в слоистых средах, состоящих из большого количества деформируемых блоков с упругими прослойками. Приведены результаты расчетов, демонстрирующие особенности распространения плоских волн в блочных средах.

Анализ уравнений жидкого кристалла, учитывающих моментное взаимодействие

Стр: 369-374

Аннотация: На основе математической модели жидкого кристалла в акустическом приближении получена система двух уравнений второго порядка для касательного напряже-ния и угловой скорости. Разработан алгоритм численного решения краевых задач, который реализован в виде параллельной программы на языке Си по технологии.

Моделирование устойчивости системы к повреждению методами теории одномерной перколяции

Стр: 374-378

Аннотация: Рассмотрена математическая модель устойчивости системы к повреждению. Предложен новый алгоритм исследования устойчивости системы к повреждению в рамках квазиодномерной модели перколяции. Модель может быть использована для интерпретации результатов в квазиодномерных нанометровых системах.

Детерминированная семантика регулярных выражений

Стр: 379-386

Аннотация: Проблема конвертации описания на формальном языке имеет большое практиче-ское значение для системной интеграции программ и в области технологии программирования, называемой «реинжинирингом программного обеспечения» (software reengineering). Операция анализа строковых данных путём сопоставления с образцом, заданным регулярным выражением, образует основу для построения разнообразных конверторов. Предлагается изменить традиционную модель операции сопоставления с образцом на основе конечного автомата на модель в виде алгебры образцов.

Обратная одномерная задача с неизвестным источником

Стр: 387-394

Аннотация: Исследуется обратная одномерная задача с неизвестным источником и неиз-вестным переменным коэффициентом в волновом уравнении по двум известным ре-шениям прямой задачи в фиксированных точках плоскости. Методом интегральных преобразований задача редуцируется к обратной задаче Штурма-Лиувилля. Доказаны теоремы единственности.

Численное моделирование двухфазных потоков в микроканалах

Стр: 395-399

Аннотация: В работе представлены результаты тестирования методики расчета двухфаз-ных течений в микроканалах, выполнено сравнение численных результатов с экспери-ментальными данными. Было показано, что значение краевого угла смачивания играет ключевую роль при описании двухфазных потоков в микроканалах.

Об одной кубатурной формуле c участием производных

Стр: 400-404

Аннотация: Разработан алгоритм замены некоторых узлов решетки другими для минимиза-ции нормы функционала погрешности при выполнении условия согласования порядка сходимости с шагом решетки и гладкостью функции вдоль выбранных координатных направлений. Результаты полученного метода проверены на контрольных примерах.

Динамика заглубления перемешанного слоя жидкости в трехмерных расчетах

Стр: 404-409

Аннотация: С использованием трехмерной численной модели выполнены расчеты заглубления перемешанного слоя под действием ветровой нагрузки в стратифицированном водоеме прямоугольной формы. Проведено сравнение результатов для различных моделей турбулентности.

Верификация логических описаний с функциональной неопределенностью на основе моделирования

Стр: 409-416

Аннотация: Рассматривается подход к верификации логических описаний комбинационных устройств для случая, когда исходное функциональное описание проектируемой схемы не полностью определено. Предлагаемый подход основан на моделировании поведения схемы для общего случая, когда входные стимулы представляются троичными векторами.

Сезонная динамика течений в озере Шира по натурным наблюдениям 2014-2015 гг.

Стр: 417-423

Аннотация: В статье на основе данных натурных наблюдений проанализирована изменчивость ветровых течений на озере Шира в период 2014-2015 гг. Проведен спектральный анализ внутренних волн, вызванных переменным ветром.

Параллельная реализация полулагранжевого метода для уравнения неразрывности

Стр: 423-429

Аннотация: В работе представлен параллельный алгоритм численного решения двумерного уравнения неразрывности. Метод основан на точном тождестве двух простран-ственных интегралов на соседних слоях по времени и имеет первый порядок сходимо-сти. Проведено исследование эффективности параллельного алгоритма, реализован-ного с помощью технологии OpenMP.