Автоматика. Вычислительная техника темы научных статей

Система кодогенерации тhornado и ее использование для создания бизнес-приложений

Описана система порождающего программирования Thornado, основанная на использовании языков разметки, скриптовых языков и объектно-ориентированного программирования. Приведен пример использования этой системы для создания бизнес-приложений. Исследованы вопросы организации разработки программного обеспечения с применением этой системы.

ВАК
Метод разбора исходных текстов по упрощенной грамматике языка

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

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

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

ВАК
ИНФРАСТРУКТУРА PenTestING И УПРАВЛЕНИЯ УЯЗВИМОСТЬЮ

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

Применение графических сопроцессоров на суперкомпьютере МВС-Экспресс для расчета задач аэрогазодинамики

Использование графических сопроцессоров для вычислений общего назначения испытывает значительный подъем благодаря появлению новых средств программирования. Однако параллельные вычисления на графических процессорах на сегодняшний день встречаются достаточно редко. На примере макетного суперкомпьютера МВС-ЭКСПРЕСС показывается перспективность данного направления.

ВАК
Программируемые аналоговые интегральные схемы Anadigm. Часть 1. Структура и характеристики

Мы продолжаем серию статей, посвященных новому продукту на российском рынке электронных компонентов — программируемым аналоговым интегральным схемам (ПАИС). В данной статье рассмотрено назначение выводов конфигурационной логики ПАИС.

Реализация модели освещения Кука-Торренса c использованием технологии Deferred Shading

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

ВАК
Применение конечных автоматов в документообороте

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

ВАК
Метод автоматической динамической верификации автоматных программ

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

ВАК
Верификация программ, построенных на основе автоматного подхода с использованием программного средства SMV

В работе рассматривается метод верификации программ, построенных на основе автоматного подхода c использованием метода проверки на моделях (Model Checking). Для проверки модели используется программное средство SMV. При предлагаемом подходе система переходов не строится в явном виде, что позволяет верифицировать программы с большим числом состояний.

ВАК
Парадигма автоматного программирования

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

ВАК
Разработка типового WEB-портала инновационной образовательной программы университета и внедрение его в условиях сетевой инфраструктуры университета

Рассмотрены методика разработки типового WEB-портала и реализация модульного портала. Представлены схемы организации открытого (свободного) и закрытого документооборота на портале.

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

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

ВАК
Анализ готовности многоуровневой коммуникационной подсистемы компьютерных систем кластерной архитектуры

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

ВАК
Інформаційно-екстремальна кластеризація даних

Розглядається метод кластеризації даних, що грунтується на інформаційно-екстремальному навчанні та модифікації методу k-середніх для бінарного простору ознак розпізнавання. При цьому оптимізація параметрів кластеризації, включаючи кількість кластерів та мінімальну кількість векторів-реалізацій в кластерах, здійснюється на основі модифікованого інформаційного критерію функціональної ефективності за Кульбаком.

Три «с» в одном флаконе: однокристальный аналого-цифровой комплекс Silicon Labs

Рыночная ниша между микроконтроллерами и аналоговыми приборами всегда была и остается очень заманчивой. И успех здесь приходит к тому (как, впрочем, и везде), кто правильно оценит направление развития этого сектора и вовремя предложит свои изделия.

Автоматическое сводное реферирование новостных сообщений

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

ВАК
Пакет полуформализованных моделей системы имитационного моделирования

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

ВАК
Принципы построения крейта бортовой многопроцессорной вычислительной системы для авионики пятого поколения

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

ВАК
«Волновой» алгоритм для работы с линейкой ФПЗС

Предложен алгоритм повышения эффективности процесса дистанционного зондирования земли из космоса для систем, основанных на линейке фотоприборов с зарядовой связью (ФПЗС). Приводится вариант аппаратной реорганизации линейки ФПЗС, позволяющий использовать предлагаемый алгоритм.

ВАК
Оптимизация алгоритмов идентификации графового изоморфизма

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

ВАК
Моделирование индустриальных вентиляционных систем: проблема создания 3D-модели расчетной области

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

ВАК
Роль и проблемы высокоуровневого этапа проектирования встраиваемых вычислительных систем

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

Automation of ride orders for passenger vehicles

Effective functioning of organizations depends on the quality of management of interconnected and interdependent business processes.The key problem in the projects implementation is associated with ignorance of business processes of a business itself. The paper provides an approach for modeling business processes through a selection of tried and tested methods and models for coping with the complexity of systems.

Быстрый последовательный целочисленный делитель по основанию 4

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

ВАК
наверх