Информатика. Информационные системы. Рубрика в журнале - Вестник Пермского университета. Математика. Механика. Информатика
Опыт распознавания пыльцевых зерен с применением метода голосования
Статья научная
Рассматриваются вопросы применения метода голосования для распознавания пыльцевых зерен. Авторы дают обзор работ, связанных с распознаванием пыльцевых зерен, приводят результаты экспериментов и оценку классификатора. К сожалению, метод показал не очень высокие результаты.
Бесплатно
Опыт создания нейросетевой системы для диагностики сердечно-сосудистых заболеваний
Статья научная
Разработана компьютерная диагностическая система для выявления наиболее распространенных заболеваний сердечно-сосудистой системы. В основе диагностической системы лежат нейронные сети, обученные на примерах работы группы врачей-экспертов. Установлены значимости симптомов для каждого из рассмотренных 9 заболеваний, проведены компьютерные эксперименты по "виртуальному излечению больных". Имеется демонстрационный прототип, который по 51 входному параметру, характеризующему пациента и его симптомы, ставит диагноз 9 заболеваний. Диагностическая система может быть использована для консультации врачей, работающих в сельской местности, для скриннинговых профилактических проверок состояния здоровья широких масс населения, а также для самоконтроля пациентами своего состояния здоровья.
Бесплатно
Особенности асинхронной ПЛИС speedster22i
Статья научная
Рассматриваются особенности программируемой логической схемы (ПЛИС) Speedster22i типа FPGA (Field-Programmable Gate Array) фирмы Аchronix. Анализируется архитектура ПЛИС и процессы тактирования. Выясняется, что речь идет не об отсутствии синхронизации, а о множественной распределённой синхронизации, и ПЛИС не может быть названа самосинхронной.
Бесплатно
Особенности логического вывода в пролог-программах
Статья научная
Логический вывод может быть основан на методе резолюций, который предполагает доказательство от противного путем получения резольвент из исходного множества дизъюнктов. Если выводится пустой дизъюнкт (пустое множество), вывод считается правильным. Язык ПРОЛОГ, как язык логического программирования, базируется на первопорядковой логике предикатов. Однако имеются существенные отличия в процедурах вывода. В статье на конкретном примере рассматриваются особенности логического вывода, основанного на логике предикатов и логического вывода в программе на языке ПРОЛОГ.
Бесплатно
Особенности моделирования и оптимизации комплекта новых логических элементов ПЛИС
Статья научная
Функциональные возможности и области применения программируемых логических интегральных схем (ПЛИС) постоянно расширяются, в том числе в специальной аппаратуре. Имеются два основных вида ПЛИС: FPGA (Field-Programmable Gate Array) и CPLD (Complex Programmable Logic Device), отличающиеся принципами реализации логики и хранения конфигурационной информации. Тем не менее, различия между ними постепенно нивелируются: так, в продуктах фирмы Интел ПЛИС FPGA, имеющие конфигурационную флэш-память отнесены к CPLD, хотя логические элементы типичны для FPGA, в которых используется оперативная память, требующая загрузки при включении питания. На этом фоне отмечаются попытки комплексирования двух подходов к реализации логики и создания гибридных ПЛИС. В статье анализируются особенности моделирования и оптимизации комплекта новых логических элементов ПЛИС для реализации систем функций.
Бесплатно
Особенности моделирования распределенных информационных систем
Статья научная
Статья посвящена имитационному моделированию распределенных информационных систем. В настоящее время существует большое количество специализированных программных систем, которые предназначены для построения имитационной модели распределенных систем и последующего проведения имитационного эксперимента. В статье рассматриваются программные и языковые средства системы автоматизированного проектирования Triad.Net, особенности построения Triad-модели и вопросы автоматизации изменения Triad-модели в ходе имитационного эксперимента. Среди свойств распределенных систем можно выделить свойства масштабируемости и отказоустойчивости, в результате которых количество вычислительных узлов системе изменяется. Особое внимание в статье уделяется автоматизации операций добавления и удаления объектов модели, ассоциируемых с вычислительными узлами.
Бесплатно
Особенности формализации транзисторных схем логических элементов
Статья научная
КМОП-схемы (комплементарная структура металл-оксид-полупроводник; англ. CMOS, complementary metal-oxide-semiconductor) как правило - последовательно-параллельные и описываются дизъюнктивной нормальной формой (ДНФ) реализуемых ими логических функций. С целью упрощения схемы применяют скобочную форму. Эти структуры могут быть описаны соответствующей цепочкой символов (словом). Однако в ряде случаев используют схемы, которые не могут быть описаны цепочками. Кроме того, иногда в схему вводят так называемые мостики-транзисторы. В статье анализируются особенности логического описания таких схем и предпринимается попытка их формализации.
Бесплатно
Отказоустойчивая статическая оперативная память на основе ячеек БМК
Статья научная
Предлагается отказоустойчивая ячейка памяти SRAM с учетверением транзисторов -QSRAM. Показывается предпочтительность такого технического решения по ряду показателей - в сравнении с троированием - известным вариантом TMR (Triple Modular Redundancy). Выполняется моделирование в системе схемотехнического моделирования NI Multisim.
Бесплатно
Статья научная
Предложено для повышения отказоустойчивости ячейки памяти SRAM использовать элементы с избыточным базисом - функционально полные толерантные (ФПТ) элементы, обеспечивающие работоспособность в случаях отказов и сбоев соответствующих транзисторов. Описано моделирование стандартной ячейки памяти SRAM, а затем ее модификации с использованием функционально полных толерантных элементов. Подтверждена работоспособность ячейки памяти при однократных константных отказах (сбоях). Произведено сравнение с отказоустойчивой реализацией в виде троированной ячейки памяти с мажоритарным элементом на выходе, показывающее предпочтительность предложенной ячейки по показателям сложности, быстродействия и вероятности безотказной, бессбойной работы.
Бесплатно
Отказоустойчивый логический элемент LUT плис FPGA
Статья научная
Описывается отказоустойчивый логический элемент ПЛИС FPGA (field-programmable gate array), показывается, что при четырёх - пяти переменных резервирование путём учетвере-ния транзисторов дерева LUT (Look Up Table) предпочтительней, чем троирование, не только по вероятности безотказной работы, но и по сложности. Относительно конфигурационной памяти SRAM такое резервирование также целесообразней троирования даже с тремя ма-жоритарами. В случае резервирования LUT вместе с конфигурационной памятью SRAM можно получить значительный выигрыш в вероятности безотказной работы порядка 70% относительно максимально возможного за относительно умеренные затраты порядка 30%.
Бесплатно
Статья научная
Устанавливаются правила отрицания (инверсии) ортогональных конъюнкций дизъюнктивных нормальных форм (ДНФ), используемые в алгоритмах синтеза логических преобразователей автоматов в функционально полном толерантном (ФПТ) базисе. Показывается, что отрицание бинарной переключательной функции мультиплексора - генератора функций n переменных получается путем отрицания переменных данных. Применение правил отрицания иллюстрируется на примерах самосинхронных схем, имеющих двойственный канал комбинационного автомата.
Бесплатно
Статья научная
Приводится обзор докладов, прозвучавших на конференции, кратко излагается их содержание, суть обсуждений и дискуссий. Отмечаются основные достижения и приоритет пермской научной школы искусственного интеллекта в развитии его теории и практических применениях. Подводятся итоги конференции.
Бесплатно
Оценка сложности самосинхронных логических элементов FPGA
Статья научная
В настоящее время широко используются так называемые программируемые логические интегральные схемы (ПЛИС). Они, как правило, используют синхронную обработку информации, основанную на тактовом генераторе, причем тактовая частота рассчитывается на самый худший случай, на самую большую длительность переходного процесса. Асинхронные ПЛИС работают по реальным задержкам элементов и устройств, однако синтез асинхронных схем значительно сложнее, чем синхронных. Одним из вариантов асинхронных схем являются так называемые самосинхронные (СС) схемы (ССС). В статье рассматриваются предложенные логические элементы для СС ПЛИС типа FPGA и приводятся полученные оценки сложности.
Бесплатно
Статья научная
Описана история искусственного интеллекта и проанализированы исследования в этой области, выполненные пермскими учеными под эгидой Пермского отделения Научного Совета РАН по методологии искусственного интеллекта. Дано описание используемых методов, их возможностей и результатов применения в механике, авиационной промышленности, криминалистике, политологии, медицине, спорте, педагогике, психологии, социологии, роботостроении.
Бесплатно
По воле сердца и судьбы (к 100-летию со дня рождения И. Ф. Верещагина)
Персоналии
Посвящается профессору кафедры механики и процессов управления Ивану Федоровичу Верещагину - основателю научной школы механиков Пермского государственного университета (1949-1980).
Бесплатно
Статья научная
Описан подход к созданию автоматизированной информационно-аналитической системы для муниципального центра мониторинга безопасности города Перми, интегрирующей разрозненные программные продукты, применяемые для автоматизации процессов управления безопасностью в различных организациях и ведомствах. Данный подход позволяет создать единую базу данных о чрезвычайных ситуациях и происшествиях и использовать ее в целях анализа, прогнозирования и поддержки принятия управленческих решений в администрации города Перми.
Бесплатно
Поиск значимых новостей методами науки о сетях
Статья научная
Роль средств массовой информации в Интернете значительно выросла в течение последних лет. Новостные публикации из сети Твиттер были исследованы с точки зрения науки о сетях. Была определена значимость как качественная характеристика, отражающая степень влияния новостной информации на общественное мнение. Новостная информация, опубликованная популярными медиа источниками, была проанализирована с целью выявления наиболее значимых новостей за определенный временной промежуток. Был задан порог значимости и вычислено множество новостей, которые были общественно значимы в период с июля 2014 г. по январь 2015 г.
Бесплатно
Статья научная
Для создания топологий надежных, безопасных информационных систем, например сетей передачи данных, широко используются модели теории графов. Одним из направлений в этой области является создание квазиполных двудольных графов, которые предложены в работах профессора Каравая М.Ф. из Института проблем управления им. В.А. Трапезникова РАН (Лаборатория № 27 "Технической диагностики и отказоустойчивости"). Однако для использования соответствующих методов в учебном процессе по дисциплинам "Дискретная математика", "Теория графов и ее приложения" и др. необходимы методические разработки по этой тематике для студентов, что позволило бы проводить практические и лабораторные занятия. Статья представляет собой попытку создания одной из таких методик.
Бесплатно
Статья научная
Рассмотрен механизм заражения компьютерными вирусами автоматизированных рабочих мест, передача вируса от зараженного автоматизированного рабочего места к незараженному. Проанализировано воздействие компьютерного вируса на локально-вычислительную сеть. Представлена инструментальная модель для исследования системы "Компьютерный вирус-переносчик-автоматизированное рабочее место-локальная вычислительная сеть".
Бесплатно
Построение синтаксически и семантически правильной Queue Network-модели в Triad.Net
Статья научная
Рассматриваются вопросы автоматизации построения синтаксически и семантически пра- вильной имитационной модели. В основании имитационной модели лежит математическая теория систем массового обслуживания. Такие модели в англоязычной литературе называ- ют Queue Network. Для проверки синтаксической правильности модели в статье предлага- ется использовать графовую грамматику (поскольку для построения модели используют графический интерфейс и графовое представление лежит в основе Triad-моделей). Для про- верки семантической правильности имитационной модели использован онтологический подход.
Бесплатно
