Статьи журнала - Проблемы информатики
Все статьи: 505
Статья научная
Проведен системный анализ проблемы построения нечетких моделей задач оценки и прогнозирования состояния слабо формализуемого процесса. Показано, что в процессе построения таких моделей появляются некорректные задачи. Исследованы компактные и некомпактные классы корректности. Показана возможность получения нечеткого и нечетко устойчивого решений некорректных задач при построении модели оценки риска с использованием различных функций принадлежности.
Бесплатно
Прогноз энергопотребления в АСКУЭ ННЦ искусственной нейронной сетью
Статья научная
редставлены модель прогнозирования электропотребления и результаты прогноза электропотребления с помощью искусственной нейронной сети, состоящей из двух персептронов.
Бесплатно
Программирование - вторая грамотность
Статья научная
Одно из самых известных выступлений А. П. Ершова прозвучало на Третьей всемирной конференции ИФИП и ЮНЕСКО по применению ЭВМ в обучении и было опубликовано на английском языке в Трудах этой конференции: Programming, the Second Literacy// Computer and Education: Proc. IFIP TC-3 3rd World Conf. on Computer Education. WCCE 81. Lousanne, Amsterdam, 1981. Part 1. P. 1-17. Затем оно неоднократно перепечатывалось на русском и других языках. Здесь мы впервые публикуем текст вместе с оригинальными рисунками художника М. М. Златковского. Предисловие архивариуса. Это широко известное изречение в наши дни порой приписывается народному творчеству. На самом деле так называлось выступление академика Андрея Петровича Ершова (1931-1988 гг.) на 3-й Всемирной конференции ИФИП (Международной федерации по обработке информации) и ЮНЕСКО по применению ЭВМ в обучении, которая прошла в июле 1981 г. в Лозанне (Швейцария). Выступление Андрея Петровича Ершова в свое время получило широкий резонанс, его текст неоднократно издавался на разных языках, но не был опубликован вместе с иллюстрациями, подготовленными для выступления художником Михаилом Михайловичем Златковским. В дни 30-летнего юбилея первого школьного учебника „ Основы информатики и вычислительной техники изданного в 1985 г. под редакцией А. П. Ершова и В. М. Монахова, учебника, который знаменовал эру информатизации образования в СССР\ мы публикуем эту работу, которая сохранила свою актуальность и поныне. Академик А. Ершов рассматривал программирование как „выражение органической способности человека". Он считал, что если еще не все человечество погрузилось в написание программ, то „оно живет в мире программ и само постоянно программирует а „продуктивность информационных моделей внешнего мира придает новый смысл библейскому изречению,Вначале было слово". Современность со всей очевидностью подтверждает справедливость ее основных тезисов. 21 октября 1980 г. А. П. Ершов получил приглашение Президента ИФИП Пьера Бобилье выступить с заглавным докладом на пленарном заседании 3-й Всемирной конференции ИФИП и ЮНЕСКО по применению ЭВМ в обучении. Сейчас трудно восстановить, как родилась у Ершова идея, столь афористично назвать свою речь, но он, настаивал, именно на этом названии, хотя устроители форума предлагали ему другое, гораздо более традиционное: „Основополагающая роль компьютеров в образовании". „Техническое задание " художнику А. П. Ершов сформулировал так: „Аудитория будет довольно пестрая, и не очень известная. Академическая, элита, характерная для, конференций по естественным, наукам, будет в явном меньшинстве. Большая, часть аудитории будет внушаемой, и доклад поэтому подготовлен в стиле наступательной проповеди. Доклад должен быть заведомо респектабельный, без балаганства, но достаточно острый. Однако очень хотелось бы, чтобы, риторика, текста была бы скомпенсирована живостью иллюстративного материала,... не говоря уже о двух-трех порциях юмора для разрядки аудитории". М. М. Златковский, подготовил 32 цветных графических листа, которые в острой, ироничной, подчас парадоксальной форме иллюстрировали основные тезисы докладчика. Несомненно, стиль „умной графики", как впоследствии художник назвал свою манеру работы, существенно дополнял выступление академика Ершова и способствовал ее широкой международной известности. В настоящее время М. Златковский - заслуженный художник России, обладатель высшей профессиональной премии Союза журналистов России „Золотое перо " и звания „Лучший художник в средствах массовой информации России ", Кавалер Ордена Почетного легиона, почетный член союзов художников нескольких стран. И. А. Крайнева
Бесплатно
Программирование в старших классах школы и в вузе
Статья научная
В статье авторы рассматривают свой многолетний опыт преподавания программирования в школе 130 им. академика М. А. Лаврентьева и проведения практикума по программированию для студентов механико-математического факультета Новосибирского государственного университета.
Бесплатно
Программная среда и методика разработки интеллектуальных СППР
Статья обзорная
В статье рассматриваются наиболее известные доступные программные среды, используемые для построения интеллектуальных СППР, jColibri и CLIPS, анализируются их назначение, функциональные возможности, области использования. Подробно описывается фреймворк СПОРА+, предназначенный для комплексной поддержки разработки интеллектуальных СППР. Описываются модель комплексной поддержки и предлагаемые ею средства онтология поддержки принятия решений, информационно-аналитический интернет-ресурс, репозиторий методов поддержки принятия решений и методика разработки интеллектуальных СППР. Предлагаемые средства основываются на принципах и подходах, хорошо зарекомендовавших себя при разработке систем такого класса, и используют технологии разработки интеллектуальных научных интернет-ресурсов и Semantic Web. Описываются методика и алгоритм использования СПОРА+. Подчеркиваются отличительные особенности данного фреймворка.
Бесплатно
Программно-информационное обеспечение анализа параметров СВЧ-импульсов
Статья научная
При проведении экспериментальных исследований важной задачей является оценка параметров СВЧ-импульсов. Имеющиеся программы построения графиков СВЧ-импульсов и оценка их параметров реализованы в среде MathCad и обладают существенными недостатками, так как многие параметры среды, по которой проходят СВЧ-импульсы, требуется вводить непосредственно в программе. Описано программное обеспечение оценки параметров СВЧ-импульсов, реализованное в среде Qt 4.5 С++.
Бесплатно
Статья научная
Несущие элементы многих стратегических оборудований являются стержнями ограниченной длины и переменного поперечного сечения. Большинство из них испытывает воздействия определенных видов источников тепла. Для обеспечения надежной работы этих оборудований необходимо знать изменение тсилофизичсских характеристик стержня но длине стержня и но времени. В работе предлагаются вычислительный алгоритм и метод для определения тсилофизичсских характеристик стержня ограниченной длины и переменного поперечного сечения но времени. Они основаны на фундаментальных законах сохранения энергии. Получено численное решение задачи.
Бесплатно
Программное обеспечение для обнаружения границ на примере изображений сейсмического волнового поля
Статья научная
В статье производится оценка эффективности программного обеспечения (ПО) для обнаружения границ на примере изображений картин сейсмического волнового ноля. Для обнаружения границ на изображениях применяются фильтры Соболя, Превитта, Робертса, Габора и алгоритм Канин. Оценка ПО производится количественными и качественными характеристиками. Результаты будут использованы в работе но исследованию нейронной сети неокогнитрон для распознавания геолого-физических моделей сред (ГФМС).
Бесплатно
Программное средство для автоматизации моделирования профиля оптической поверхности
Статья научная
Предлагается метод аппроксимации профиля асферической оптической поверхности, содержащей ошибки изготовления. Для аппроксимации используются измеренные отклонения реального профиля от расчетного. Результатами аппроксимации являются значения коэффициентов в уравнении профиля асферической поверхности. Аппроксимация выполняется с целью анализа влияния ошибок изготовления на качество изображения оптической системы, элементом которой является контролируемая асферическая поверхность. Разработано автоматизированное программное средство PROFILE, реализующее предложенный метод.
Бесплатно
Статья научная
В данной статье приведен обзор созданных программных инструментов контроля и управления параметрами пучка накопителя-охладителя инжекционного комплекса ВЭПП-5. Программное обеспечение состоит из двух ключевых блоков („орбита" и ,,ручки“), которые в свою очередь включают в себя три типа программ: службы, административные графические приложения и приложения для операторов комплекса. „Ручка“ - это комбинация элементов системы управления ускорителем, которая выполняет изолированное смещение одного выбранного параметра (например, только частот бетатроных колебаний пучка). В статье рассмотрены возможности этого блока: создание „ручки“ из окна пользовательского приложения, либо высылая запрос в командный канал системы управления, хранение таблицы уже созданных „ручек“, их редактирование и использование для управления инжекционным комплексом. „Орбита“ включает в себя обработку данных, полученных от станций датчиков положения пучка накопителя-охладителя, отображение его частот бетатронных колебаний, пооборотных измерений координат пучка и его положения в вакуумной камере вдоль периметра накопителя- охладителя, собранные со всех 16 датчиков. Кроме того, этот блок предназначен для измерения матрицы отклика накопителя и формирования „ручек“, позволяющих проводить заданные изменения параметров пучка по итогам обработки этой матрицы.
Бесплатно
Программные средства анализа отказоустойчивости беспроводных сенсорных сетей
Статья научная
В настоящее время беспроводным сенсорным сетям уделяется повышенное внимание в исследовательских центрах и коммерческих компаниях. Область применения технологий беспроводных сенсорных сетей достаточно обширна. Например, они могут применяться для мониторинга качества воздуха, контроля трафика, в новых методах медицинской диагностики, в системах „умный дом" и др. Однако вопрос безопасности беспроводных сенсорных сетей до сих пор является открытым. При их разработке и внедрении необходимо принимать во внимание как известные, так и потенциальные атаки. В данной статье рассматриваются вопросы разработки программных средств для анализа отказоустойчивости беспроводных сенсорных сетей.
Бесплатно
Статья научная
Рассмотрены проблемы гидродинамического 3D-моделирования нефтегазовых месторождений, предложены программные средства для повышения эффективности процесса моделирования, сделан вывод о целесообразности применения разработанных программно-инструментальных средств.
Бесплатно
Статья научная
Описывается архитектура, схемы взаимодействия компонент и инструментальное ядро SCADA-системы на платформе отечественной защищенной операционной системы реального времени „Нейтрино КПДА.10964-01". Продукт является результатом развития SCADA-системы „Блакарт", разработанной в ИВТ СО РАН и работавшей в среде ОС QNX 4.25. Указанная SCADA-система показала высокие эксплуатационные качества в десятках реализованных систем управления в различных отраслях промышленности, как правило, на опасных производствах. Использование сертифицированной отечественной операционной системы является нужным шагом в направлении киберустойчивости.
Бесплатно
Статья научная
Предложен подход к анализу взаимосвязи пространственно распределенных данных, размещаемых на картографической основе. Разработан алгоритм расчета параметров взаимосвязи пространственных и временных данных, основанный на анализе слоев пространственной прямоугольной сетки, в узлах которой задан ресурс для каждой зоны достижимости. Эффективность использования программного комплекса показана на примере решения задач оценки досягаемости летательными аппаратами.
Бесплатно
Продукционно-логические уравнения на полных решетках
Статья научная
Рассмотрена алгебраическая система, моделирующая продукционно-логические бинарные отношения на полной решетке. Доказано существование логического замыкания нетерового отношения, что позволяет определить понятие эквивалентного отношения. Доказана теорема об эквивалентных преобразованиях ис- ходного отношения, с использованием которой обоснованы формальные преобразования баз знаний про- дукционного типа с бесконечными правилами. Введен новый класс логических уравнений, для которого доказана разрешимость и обоснован способ решения. Показано, что данная модель является основой для автоматической верификации баз знаний, а также ускорения обратного продукционно-логического вывода.
Бесплатно
Проектирование и реализация базы знаний для экспертной системы диагностики электроприводов
Статья научная
Задача диагностики электроприводов – одна из наиболее актуальных проблем диагностики. Основной сложностью при диагностике является отсутствие всесторонней системы определения неисправностей электроприводов. Проведен инженерный анализ работ, в которых исследуются различные виды диагностики электроприводов и их составляющих, в том числе с формализацией вербальных данных; составлен и подготовлен к интеграции в базу знаний требуемый список параметров диагностики. Рассмотрены особенности работы данной системы на примере диагностики тиристорных преобразователей.
Бесплатно
Проектирование сервисов портала вуза для интеграции информационных ресурсов образовательных программ
Статья научная
Рассмотрены вопросы представления знаний в электронном образовательном портале. Приведена концептуальная схема структуры портала на основе сервис-ориентированной архитектуры, предполагающая выделение сервисов предоставления знаний в независимый модуль. Рассмотрены методы представления знаний об архитектуре электронного портала, которые позволяют формировать структуру сервисов на основе знаний.
Бесплатно
Проектирование электронной базы данных для зоологической коллекции Республики Казахстан
Статья научная
В последние годы исследования в области биологии и генетики привели к увеличению биологической информации, хранящейся в базах данных. Такое же увеличение объема информации произошло в области зоологии, но развитие баз данных в этой области не рассматривалось. В статье описана разработанная электронная база хранения зоологической коллекции Института зоологии Министерства образования и науки Республики Казахстан. Создание базы и банка данных но государственной научной зоологической коллекции позволит использовать ее в научных, образовательных и прикладных целях, которая будет использована для учета, контроля состояния и долговременного сохранения единой национальной зоологической коллекции и управления ценными зоологическими коллекционными материалами. Государственная зоологическая научная коллекция является важнейшим источником информации для различных направлений биологических исследований. Она является не только основой для проведения научных изысканий но систематике, молекулярной генетике животных, но и документальным подтверждением корректности выполненных фаунистических работ. При решении этой важной в теоретическом и практическом отношении проблемы особую актуальность приобретает инвентаризация образцов видового разнообразия. На основе MySQL разработана электронная база данных е удобным интерфейсом для ввода данных из государственной зоологической коллекции Республики Казахстан. Разработанная ЭБД включает информационно-поисковую систему и обеспечит дальнейшее формирование виртуальной научной зоологической коллекции. Электронная база данных предназначена для зоологов, а также для специалистов других профилей, нуждающихся в зоологической информации.
Бесплатно
Прототип базы активных знаний на основе вычислительных моделей
Статья научная
В статье представлен результат разработки системы, которая позволяет сохранять информацию о программных модулях и связях между ними в форме, подходящей для автоматического применения при конструировании прикладных программ. В основе системы лежит теория структурного синтеза программ. Знания в такой системе представляются в виде вычислительных моделей, а в качестве атомарной единицы знаний рассматривается программный модуль. В результате проведенного исследования была разработана архитектура системы, разработан алгоритм автоматического конструирования прикладных программ и проверена работа системы на ряде тестов.
Бесплатно
