УДК 62_507:019.3
В.И. Левин, д-р техн. наук проф.,
Пензенский технологический институт
Математическое моделирование систем с помощью динамических автоматов
Описана математическая модель конечного динамического автомата. Показана
возможность его изучения с помощью непрерывной логики. Рассмотрены
проблемы динамико-автоматного аналитического моделирования систем с
дискретными состояниями и непрерывным временем, встречающихся в технике,
экономике, социологии и других областях. В качестве примеров построены
автоматные модели для поведения социальных групп, систем представления
визуальной информации, систем распознавания и систем прогнозирования
занятости.
УДК 681.325
Ю.Б. Егоров, А.В. Зиновьев
НИИ систем автоматизированного проектирования
РЭА и СБИС Российской Академии наук (НИИСАПРАН)
Алгоритм ключевого временного моделирования с оценкой мощности
Описывается новый подход к временному моделированию цифровых МОП-схем
на ключевом уровне. Этот подход объединяет некоторые преимущества
используемых в Elogic [1],Rsim [2] и Mom [3] способов и такие программы
работают на два-три порядка быстрее, чем программы типа 8Р1СЕ. Во время
моделирования этим способом также оценивается потребляемая схемой
мощность. Возможна подстройка требуемого соотношения скорости/точности
моделирования для отдельных частей схемы.
УДК 519.63
А.А. Серов,
НПО "Научный центр", Зеленоград
Алгебраический метод построения расчетной сетки при решении задачи
Стефана
Предложен метод построения подвижной расчетной сетки, относящийся к
классу алгебраических методов. Процедура генерации сетки предназначена для
решения задачи Стефана в ходе моделирования процесса выращивания
монокристаллов из расплава методом направленной кристаллизации. Основой
метода являются преобразования координат, учитывающие форму и положение
границы фазового перехода на протяжении всего процесса моделирования.
Предложена методика нахождения управляющих функций, обеспечивающих
требуемый вид распределения узлов сетки в области расчета. Представлено
несколько вариантов управляющих функций, наиболее часто употребляемых при
решении задач рассматриваемого класса.
УДК 681.3.066(420)
А.Н. Божко, канд. техн. наук,
С.В. Родионов
МГТУ им. Н.Э. Баумана
Внутреннее устройство ИМХ. Файловая система
Данной статьей авторы продолжают серию публикаций, посвященную
различным аспектам внутреннего устройства операционной системы и^IX,
которые не получили широкого освещения в литературе на русском языке. В
работе рассматривается устройство файловой системы и^IX. Подробно
обсуждаются следующие вопросы: структура суперблока, индексные
дескрипторы файлов, тип и код защиты файла, адресация блоков данных,
управление файлами.
УДК: 057:007
А.А. Харламов, канд. техн. наук,
АОЗТ научно-исследовательский центр
"Нейроинформатика",
А.Е. Ермаков, аспирант
Распознавание речи на основе динамических нейронных сетей, управляемых
механизмом внимания
Описывается многоуровневая рекуррентная (динамическая) нейронная сеть для
распознавания речи, которая формирует представления речевых и языковых
знаний в удобной и естественной форме, соответствующей представлениям
лингвистики. В отличие от существующих нейронных сетей такая сеть проста в
обучении и позволяет организовать однородное многоуровневое представление
информации в соответствии со структурой речи. Работа сети управляется
механизмом, реализующим функцию, напоминающую переключение внимания,
и подстраивающим параметры нейроподобных элементов на основе учета ранее
распознанной информации.
УДК 519.7:519.237:547:536.7
И.И. Баскин, канд. хим. наук, Институт органической химии РАН,
Н.М.Гальберштам, Институт органической химии РАН,
В.А. Палюлин, канд.
хим.наук, МГУ им. М.В. Ломоносова,
Н.С. Зефиров, д-р хим. наук проф., МГУ
им. М.В. Ломоносова
Компьютерная реализация искусственных нейронных сетей для решения задач
по выявлению связи "структура ≈ свойство"
На примере компьютерной программы NASA рассмотрены особенности
архитектуры и методов обучения искусственных нейронных сетей,
обусловленные спецификой задачи выявления зависимости свойств
органических соединений от их структуры.
УДК 681.31:681.511.2:534.833
А.И. Власов,
МГТУ им. Н.Э. Баумана
Особенности построения систем автоматизированного синтеза и моделирования
средств защиты от влияния волновых полей
Рассмотрены особенности построения систем автоматизированного синтеза и
моделирования средств защиты от вибрационных, акустических и других
волновых полей. Основное внимание уделено вопросам автоматизированного
проектирования адаптивных и нейроадаптивных систем активного гашения.
Обосновано построение базы знаний по вариантам реализации систем гашения
на основе фреймовой семантической сети.
УДК 35:002.6
В.Н. Анохин, д-р техн. наук,
В.Г. Дмитриев, канд. техн. наук,
Ю.М. Костин,
Научно-исследовательский центр информации, проблем природопользования и
экологической безопасности (г. Санкт-Петербург)
Методология построения интерфейса информационно-аналитической системы
"Природопользование и экологическая безопасность".
Часть 1
Изложен подход к созданию информационно-аналитической системы
территориального органа управления комплексным природопользованием и
экологической безопасностью. Система предназначена для информационной
поддержки нормативно-правового и научного обоснования принимаемых
решений, картографического отображения результатов. Предложена
классификация информационных ресурсов, описаны основные и
вспомогательные блоки, принципы использования, пути реализации и
перспективы развития системы. Использованный подход может быть применен
и в других областях деятельности специалистов по управлению.
УДК681.3
С.Г. Валов,
ЗАО "Микроэкс-Пейджинг"
Построение
универсальной системы связи на основе принципа Общения
Рассмотрены принцип и процесс Общения, эвопюция развития сетей
электросвязи, способ построения универсальной системы связи.
Contents
Levin V.I. Mathematical Systems' Modelling by Automata
Here is described mathemaical model of Finite dinamical automaton. It is shown the
possibility of such automatons' studing with the help of continuous logic. It is
considered the problem dinamical automaton's using ofanalitical modelling of the
systems with discrete positions and continuous time. Such systems are spread in
technique, economic, sociology and others Fields. As exapmies are built automaton
models of some classes of systems and processes: 1) social groups and their dynamical
behavior; 2) systems of visual information's presentation in the spaces of different
dimension; 3) systems of prognostication and guaranteeing employment; 4) pattern
recognition
Serov A.A. Algebraic Method ofCopmutational Grid Generation in Stefan Problem
There is proposed the method of computational grid generation, which belongs to
algebraic class of methods. Procedure of grid generation is intended for Stephan
problem solution under numerical simulation of monocrystals growth by directional
solidiFication method. Proposed method is based on coordinate transformation, taking
into account the shape and position of melt/solid interface during the total process of
simulation. The method of governing functions obtaning is proposed, which provides
required type of grid nodes dictribution in physical domain. Some variants of most
useful functions are described.
Egorov U.B., Zinoviev A.V. A WE-based Switch-level Simulation Algorithm with
Power Evaluation
In this paper a new algorithm of switch-level simulation of digital CMOS circuits is
described. This algorithm provides simulation of circuit's timing behavior and evaluates
power consumption. It does not use precharacterized gates and uses transistor netlist
instead. It works more than two order of magnitude faster than Spice-like simulators do
and resulting timing errors usually Fit in 5-10% of Spice. The described algorithm uses
actual values of circuit state variables and circuit component parameters. The algorithm
can be used for timing veriFication of digital CMOS circuits and also like a fast and
accurate simulation engine for digital part of complex mixedsignal designs.
Boshko A.N., Rodionov S.V. UNIX Underlying Structure. File System
This article is continuation of cycle of work, devoted various aspects of the internal
device of operation system UNIX. There are considered: index descriptors, structure of
superblocks, addressing of data blocis, File control.
Kharlarnov A.A., Ermakov A.E. Speech Recognition Based on Dynamical Neural
Networks Controled by Attention Mechanism
Hierarchical recurrent (dynamical) neural network for speech recognition have
developed. On the contrary of traditional neural networks this network represents
speech and language knowledges hierarchicaly in conventional linguistic form.
Moreover, this network is simple in training. The recognition in the network is
controlled by so called attention mechanism which adjusts neuron characteristics to
provide a best recognition using an information about previous stages of the process.
Baskin I.I., Galbershtam N.M., Paliulin V.A., Zefirov N.S. Computer Realization of
Artificially Neuron Networks for Tasks Solution on Exposure Connection "Structure-
Property "
Using computer program NASA as an example, special features of architecture and
learning methods of artiFicial neural networks stemming from peculiarities of the
problem of revealing relationships between structures of organic compounds and their
properties are considered.
Vlasov A.I. Peculiarities of Construction of Systems of Automated Synthesis and
Simulation of Means of Protection from Influence of Wave Fields
Peculiarities of construction of systems of automated synthesis and simulation of means
of protection from vibrating, acoustic and other wave Fields are considered. The basic
attention is devoted to questions of automated designing of adaptive and neuraladaptive
systems of active suppression. Construction of base of knowledge on variants of
realization of systems of suppression on the basis of a frame-based semantic network is
reasonable.
Anokhin V.N., Dmitriev V.G., Kostin J.M. Methodology of an Interface's Construction
for an Information andAnalyti-cal System "Environmental Management and Ecological
Safety" (for management bodies of the Federation's subject). Part 1.
Approach to creation of a information analytical system of territorial environmental
management an ecological safety is stated. The system is intended for information
support of the legal and scientiFic substantiation of the accepted decisions with
cartographic display of results. ClassiFication of information resources is offered, main
and auxiliary blocks, principles of use, way of realisation and prospect of development
of a system are described. The used approach can be applide and in other spheres of the
experts activity on management.
Valov S.G. The Construction of Univescal Connection System on the Basis of
Communication Principle
The communication and process principle, evolution of electro-connection networks
development are considered.