Выпуск: 2014-2 (5)

2014-2 (5)

Содержание:

Технология проектирования образовательных программ прикладного бакалавриата

Стр: 5-9

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

Основные концепции реализации задач формирования расписаний

Стр: 9-21

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

Самоорганизация Интернет – образования на мультиагентной платформе ГЕКАДЕМ 5.0

Стр: 22-25

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

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

Стр: 26-29

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

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

Стр: 29-34

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

Аргументация в индуктивном формировании понятий

Стр: 34-39

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

Схема действующего прототипа мультиагентной модели распространения эпидемий

Стр: 39-42

Аннотация: В работе описана схема действующего прототипа мультиагентной модели распространения эпидемий с параллельным алгоритмом многократной маркировки перколяционных кластеров программно-аппаратного комплекса BIOCLUST МСЦ РАН.

Оценка показателей сложности управления движением

Стр: 42-45

Аннотация: Предложены процедуры оценки сложности управления движением для решения задачи определения границ полигонов управления движением транспорта на сети (на примере железнодорожного транспорта).

Распределённый алгоритм системного взаимного информационного согласования в многокомплексных вычислительных системах

Стр: 45-50

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

SystemVerilog утверждения в SystemVerilog-2009

Стр: 51-59

Аннотация: Заключительной, третьей частью работ по обзору конструкций языка SystemVerilog-2009, предназначенных для систематической верификации проектов, является описание набора конструкций и способов их применения, основанных на утверждениях (assertions). Информационная безопасность проекта обеспечивается расширением возможностей основных конструкций языка проектирования и конструкций, связанных с верификацией, поскольку имеется в виду проектирование очень сложных объектов, включающих IP-блоки.

Координатно-линейно разрешимые функции над примарным кольцом вычетов и метод покоординатной линеаризации

Стр: 59-72

Аннотация: В статье рассматриваются и изучаются свойства нового класса функций над примарным кольцом вычетов, который обобщает класс полиномиальных функций и определенный ранее класс функций с вариационно-координатной полиномиальностью в работах [1], [2], [3]. Данные классы функций обладают тем свойством, что системы уравнений, составленные из таких функций, могут быть решены методом покоординатной линеаризации ([4], [5]).

Оценка степени влияния некоторых факторов на производительность LonWorks сети

Стр: 72-76

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

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

Стр: 76-80

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

Возрастание актуальности в создании и внедрении кода ИнСем

Стр: 81-82

Аннотация: Потенциально код ИнСем можно опробовать для обеспечения взаимодействия между собой стран БРИКС.

Синтез парафазных автоматов путём алгебраических преобразований

Стр: 82-86

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

О формировании обобщенного критерия доминирования на основе нечеткой логики

Стр: 86-90

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

Комбинированный поиск при проектировании

Стр: 90-94

Аннотация: В статье описывается комбинированный поиск при проектировании на основе методов, инспирированных природными системами. Предложены новые и модифицированные архитектуры поиска, использующие многоуровневую эволюцию. Это позволяет распараллеливать процесс решения и частично устранять проблему предварительной сходимости алгоритмов. Принципиальным отличием предложенных методов является разделение процесса поиска на два этапа и применение на каждом из этих этапов различных алгоритмов. Проведенные серии тестов и экспериментов показали перспективность применения построенных архитектур. Временная сложность разработанных алгоритмов в лучшем случае O(nlogn), в худшем случае - О(n3).

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

Стр: 94-102

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

Машинное обучение в экспертных системах: подготовка специалистов

Стр: 102-106

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

Высокопроизводительные дискретные преобразования на процессорах NeuroMatrix с ядром NMC3

Стр: 107-112

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

Методология анализа графической информации в системах поддержки принятия решений

Стр: 112-115

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

Проблема отказоустойчивости в сетецентрических информационно-управляющих системах

Стр: 115-121

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

Обзор двухслойной нейронной сети в самомаршрутизирующемся аналого-цифровом преобразователе

Стр: 122-124

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

UVM Express – упрощенная методика внедрения UVM

Стр: 124-128

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

Алгоритмы биомеметики

Стр: 129-132

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

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

Стр: 133-137

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

Анализ моделей бизнес – процессов на основе интеграции подхода Process Mining и использования GERT-сетей

Стр: 138-140

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

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

Стр: 141-144

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

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

Стр: 144-149

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

Технология быстрого моделирования измерений инфракрасных зондировщиков

Стр: 149-153

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

Структура данных для хранения информации в социальных сетях

Стр: 153-157

Аннотация: Предложена структура данных для хранения «постов» в социальных сетях с небольшим количеством пользователей. Перед разработчиками стоит задача выбора удобной и эффективной системы хранения информации. Созданные в работе структуры данных учитывают особенности no-SQL и SQL хранилищ данных. Производительность каждой из предложенных моделей проверяется на запросах разной сложности к базам данных разной структуры. Эффективность предложенных структур проверяется на конкретных данных.

Методика модификации базы данных по физическим эффектам на примере нанотехнических систем

Стр: 158-162

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

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

Стр: 162-167

Аннотация: В статье рассматривается реализация пилотного проекта «E-patent Examiner», в рамках которого был создан макет системы и размещен на серверах «облачного» кластера. Для проведения экспериментов в базу знаний макета были загружена галерея патентов по предметным областям «электричество», «физика», «механика» из патентных массивов РФ и США.

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

Стр: 167-170

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

Инновационное сотрудничество России и Австрии: опыт ЭЗАН

Стр: 170-174

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

Деятельность человека и атмосфера земли

Стр: 174-177

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

Интернет вещей – следующий этап цифровой революции

Стр: 178-182

Аннотация: Интернет вещей (Internet of Things) – новая технология, которая делает реальным создание интеллектуальных сетей, связывающих миллиарды объектов и устройств между собой и предоставляющих информацию о состоянии и изменении коммутирующих объектов. Доступность этой информации для анализа и прогноза изменения состояния объектов (вещей) и возможность в ряде ситуаций повлиять на их состояние революционным образом изменяет сферы деятельности человека и его социальную среду.

Высокие гуманитарные технологии информационного менеджмента

Стр: 182-185

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

Подавляющие механизмы пропаганды

Стр: 185-188

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

Высокие гуманитарные технологии социально-экономической безопасности

Стр: 188-194

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