Г.
В. Тарасов, научн. сотр., Д.
И. Харитонов, канд. техн. наук,
научн. сотр., Институт автоматики и процессов управления ДВО РАН,
г. Владивосток
Построение системы визуализации параллельных программ на основе
сетей Петри
Описывается архитектура системы
визуализации параллельных программ на основе сетей Петри. Рассмотрены
принципы моделирования структуры последовательного процесса в терминах
сетей Петри. Предложен новый способ графического отображения взаимодействия
параллельных процессов, суть которого заключается в использовании
вспомогательной модели для описания поведения среды взаимодействия.
Ключевые слова: теория сетей Петри,
параллельное программирование, отладка программ.
Стр. 35 – 41
E. А. Рыжков,
аспирант, ассистент кафедры ATM, Тульский государственный университет,
А. Н. Карпов, младший научный сотрудник, Объединенный институт
высоких температур РАН,
Подходы к верификации и тестированию 64-битных приложений
В результате появления на рынке персональных компьютеров 64-битных
процессоров перед разработчиками программ возникает задача переноса
старых 32-битных приложений на новую платформу. После переноса кода
приложение может вести себя некорректно. Рассмотрены вопросы, связанные
с верификацией и тестированием программного обеспечения. Обозначены
сложности, с которыми может столкнуться разработчик 64-битных приложений,
и пути их преодоления.
Ключевые слова: статический анализ, анализ исходного кода, верификация
программ, тестирование программ
Стр. 41 – 45
В.
В. Бакаев, канд. техн. наук,
начальник сектора логистической поддержки ОАО "КнААПО",
г. Комсомольск-на-Амуре
Система информационно-технической поддержки заказчика
Надежная и оперативная система связи между организациями, владеющими
изделием в течение его жизненного цикла, является залогом обеспечения
сокращения затрат на владение. Одной из проблемных задач является
создание системы информационно-технической поддержки заказчика.
Современные информационные технологии позволяют организовать этот
процесс в режиме 24 часов в сутки, 7 дней в неделю, 365 дней в году.
В настоящей статье представлено краткое описание систе¬мы, обеспечивающей
решение организационных и режимных вопросов в процессе информационно-технического
обеспечения заказчиков авиационной техники.
Ключевые слова: GALS-технологии, интегрированная
логистическая поддержка, информационно-техническая поддержка, заказчик,
Help Desk, диспетчерская служба, сайт поддержки, проблемы в эксплуатации,
поддержка эксплуатации.
Стр. 46 – 48
А. А. Алексеев, alex@informos.ru,
A.И. Куликов, kulikov@nmsf.sscc.ru,
B.Г. Старушкин, starushkin@mail.ru,
Новосибирский государственный университет, Институт вычислительной
математики и математической геофизики СО РАН, г. Новосибирск Визуальный
построитель геологических сред "Seismic Model Мanager”
Описывается разработанный программный комплекс, который позволяет
строить непротиворечивую модель геологического разреза, редактировать
ее, сохранять и экспортировать ее в различные геофизические форматы.
Отличительной особенностью данного инструментария является интерактивный
пересчет параметров модели при визуальном редактировании пользователем
геометрии модели и верификация внесенных изменений с подсказкой
пользователю о возможных действиях. Разработанный программный комплекс
позволяет провести расчет волнового поля по созданной геологической
модели на удаленном вычислительном сервере по одной или серии расчетных
программ. В комплексе имеется различный инструментарий для визуализации
результатов численного моделирования. Результаты численного моделирования
могут быть использованы специалистом-геофизиком как для модификации
геологической модели, так и для дальнейшей ее обработки.
Ключевые слова: геологический разрез, визуализация
данных, визуальный редактор, изогеометрическое сглаживание
Стр. 48 – 50
Г. Ф. Малыхина, д-р техн.
наук, проф., А. В. Меркушева, канд. техн. наук,
Санкт-Петербургский политехнический университет Совместное
использование нейронной сети и вейвлет-преобразования при анализе
нестационарного сигнала
Представлены некоторые приложения на основе совместного использования
нейронной сети и вейвлет-преобразования (ВП) в задачах анализа нестационарных
сигналов. Первая задача относится к системе мониторинга речевого
сигнала, в которой выполнение ВП используется для сжатия речевого
сигнала, идентификации распределения вероятности ВП сигнала и вейвлет-фильтрации
с адаптивным порогом. Алгоритм нейронной сети используется для распознавания
типа фрейма сигнала (речь/пауза) и управления двумя фаза-ми: определения
порогов (на фреймах паузы) и вейвлет-фильтрации речевого сигнала
на основе этих порогов (на фреймах речи). С помощью такого метода
достигается адаптация к изменению уровней шума. Разложение сигнала
обеспечивается на основе вейвлет-пакета, частотные субполосы которого
аппроксимируют критические полосы персептуальной модели. Получены
новые соотношения для вычисления порогов на основе экспоненциально-степенного
распределения, которые являются обобщением выражений Крамера для
распределения максимального значения Гауссовской переменной. Это
позволяет фильтровать (в вейвлет-области) шумы самого общего типа.
Во второй задаче предложен алгоритм для определения уровней свободного
газа в трубопроводе коммерческой нефти. Метод основан на бесконтактном
радиационном плотномере. Показания плотномера обрабатываются нейронной
сетью, которая выполняет идентификацию в потоке нефти фреймов, информационно
значимых для вейвлет-преобразований сигнала: временных интервалов
с газом и интервалов, не содержащих газа.
Стр. 51 – 56
А. П. Кирсанов, д-р
техн. наук, проф., Государственный университет — Высшая школа экономики
Комбинаторный метод описания и контроля процессов
Предлагается метод контроля, позволяющий при неточных и неполных
измерениях параметров контролируе-мого дискретного процесса принимать
решения о его принадлежности заданному классу процессов. Метод основан
на описании процессов и результатов контроля так называемыми структурными
параметрами, образующим частично упорядоченное множество. В терминах
частичного порядка сформулированы условия принадлежности контролируемого
процесса заданному классу процессов. Исследованы вероятностные характеристики
предлагаемого метода контроля.
Ключевые слова: метод контроля, структурные параметры,
упорядоченное множество.
Стр. 57 – 61
X. Г. Асадов, д-р техн.
наук, нач. отдела, Н. А. Набиев, аспирант, Азербайджанское
национальное аэрокосмическое агентство
Многокритериальная оптимизация четких и нечетких информационно-измерительных
систем нестационарного энергетического состояния
Рассмотрены вопросы оптимизации информационно-измерительных систем
(ИИС) нестационарного энергетического состояния по методу многоцелевой
оп-тимизации. С использованием комбинированного функционала цели,
состоящего из линейной комбинации информационных и нечетких функционалов,
осуществлена многокритериальная оптимизация данного подкласса ИИС.
Выработаны практические рекомендации по построению аналогичных систем.
Ключевые слова: информационно-измерительные системы,
оптимизация, критерии оптимизации, нестационарность, многокритериальная
оптимизация, нечеткий анализ.
Стр. 61 – 65
Е. Н.
Чумаченко1, д-р техн. наук, проф., В.
Р. Шашмурина2 канд. мед. наук, доц.
1Московский государственный институт электроники и математики
(технический университет),
2Московский государственный медико-стоматологический университет
РОСЗДРАВА
Прогнозирование взаимодействия структур костной ткани беззубой
нижней челюсти с полными съемными протезами
Обсуждается математическая модель биомеханической системы "съемный
протез—имплантат—кость". Анализируется влияние геометрических
параметров протеза и физического состояния костных тканей на напряженно-деформированное
состояние системы. Устанавливается соответствие между числом имплантатов,
на которые опирается протез, и прочностными харак-теристиками системы.
Разработанная компьютерная система имитационного моделирования позволяет
изучить биомеханические основы взаимодействия структур костной ткани
нижней челюсти с полными съемными протезами различной конструкции
и фиксирующими их дентальными внутрикостными имплантатами.
Ключевые слова: биомеханика, математическое моделирование,
зубные протезы, имплантаты, прочность, костные кани челюсти.
Стр. 67 – 70
М. А. Короткова*, канд. техн.
наук, В. А. Рекубратский**, аспирант, А.
Е. Коротков*, студент, О. А. Шульга**,
канд. хим. наук,
ведущий научный сотр., К. Г. Скрябин**, д-р биолог,
наук, зав. лаб./директор
* Московский инженерно-физический институт, ** Центр "Биоинженерия"
РАН
Динамическая модель генетического контроля развития растения
на примере Arabidopsis thaliana
Описаны система моделирования и созданная в этой системе модель
развития растения. В модели учитываются мутации генов и их влияние
на определе¬ние типа органов цветка, развитие стебля и листьев,
а также влияние окружающей среды на процесс развития. Представлены
основные подходы и модели, реализованные в системе. Приведены результаты
работы программы, иллюстрирующие состоятельность разработанной модели.
Ключевые слова: визуализация, ген, генная сеть,
математическое моделирование, модель, морфогенез, мутация, растение,
сети Петри.
Стр. 71 – 75
Ю. И. Шемакин, д-р техн. наук,
проф., Российская академия государственной службы при Президенте
РФ
Системантика и информационные нанотехнологии
Излагается системно-семантическая основа содержания предложенной
автором новой науки "систематика". Раскрывается ее роль
в информационной нанотехнологии.
Ключевые слова: система, семантика, системантика,
информационная нанотехнология.
Стр. 76 – 78
Alguliev
R. M., Aliguliyiv R. M., Huseynova A. A. Increase
of Efficiency of Corporate Network with Application CDN Technology
The method of increase of efficiency
of corporate networks which is based on CDN-technology is offered.
Its efficiency is estimated by minimization of delivery cost of
web-contents to end users. For minimization of delivery cost the
mathematical model determination of optimum points of arrangement
of servers and optimum replication of web-contents is offered. The
model is described by discrete programming problem. The Method Particle
Swarm Optimization is applied to solving the discrete programming
problem.
Samoilin E. A. Synthesis of Optimum Algorithms Estimation
of Pulse Handicaps at Restoration of Signals in Digital Radio Systems
Synthesis of optimum by criterion Neiman—Pirson algorithms
estimation of pulse handicaps arising in reception devices of digital
radio systems owing to many conditions of broadcasting and transformation
of the digital information are consider. The algorithms allow to
receive an optimum estimation of handicaps used in two stages procedures
of restoration of digital information processes.
Keywords: pulse handicapes, optimum estimation,
restoration of signals, digital radiosystems
Domnin A. O. The Analytical Model of a Client-Server
Application
In the article is suggested the mathematical model of task
processing in a network application that is implemented as a closed
queuing network system.
Keywords: analytical model, queuing theory, theory
of queuing, client-server model, response time.
Mukhacheva E. A., Bukharbaeva L. Y., Filippov D. V., Karipov U.
A. Optimization Problems of Transport Logistics: Operating
Bin Stowage for Cargo Transportation
This paper contains schemes where one of the modules is the compact
cargo stowage inside the transportation vehicles providing the ease
of loading by warehouse conveyor and unloading by customer. For
this purpose the optimization problem of packing with additional
limitations is solved.
Keywords: transportation-and-bin packing model,
traffic routing, orthogonal packing, multi-method technology, metaheuristics.
Galimyanova N. N. Experimental Research Parallel Implementations
Combinatorial Algorithms for Knapsack Problem
Parallel algorithms for one-dimensional zero-one knapsack
problem are considered in this paper. Parallel branch and bound
and dynamic programming algorithms are presented. Combined branch
and bound with dynamic programming algorithm is proposed. Results
of computational experiments are presented. Comparison with other
works is made.
Keywords: knapsack problem, parallel algorithm,
parallel branch and bound algorithm, parallel dynamic programming
algorithm, combined algorithm, experimental rezult.
Subbotin S. A. Method of Synthesis of Classifying Neuro-Euzzy
Networks with Using of Feature Term Importance
The non-iterative method of classifying neuro-fuzzy network
synthesis is offered. It is based on splitting of feature value
ranges into equal length intervals and on belonging evaluation of
a recognizing example to classes on belongings to overlapped feature
value intervals with taking into account of their importance.
Zhukov I. S. Application of a Neural Network for Identification
of Signals of Space Vehicles Transmitted on Command of Radio Lines
In article is considered the question of application of
a neural network for identification of the information circulating
in command radio lines of a space vehicle and subject to distortion
because of handicaps, as in the equipment, so and at passage of
a radio signal in atmosphere.
Tarasov G. V., Kharitonov D. I. Construction of Parallel
Program Visualization System Based on Petri Nets
This paper presents architecture of parallel programs visualization
system based on Petri nets. Modeling principles of sequential process
structure in terms of Petri nets are examined. New method of parallel
processes interaction visualization is proposed, which based on
additional model application for describing communication environment
behavior.
Keywords: Petri nets theory, parallel programming,
program debugging.
Ryzhkov E. A., Karpov A. N. Approaches to 64-bit Applications
Verification and Testing
The coming of 64-bit processors to the PC market causes
a problem which the developers have to solve: the old 32-bit applications
should be ported to the new platform.
After such code migration an application may behave incorrectly.
The article concerns questions related to software verification
and testing. It also highlights difficulties a developer of 64-bit
applications may face and the ways of solving them.
Keywords: static analysis, source code analysis,
software verification, software testing.
Bakaev V. V. Contractor Interactive Technical Information
Support Service
A reliable operational system of communication between
organizations possessing the product during its life cycle provides
reduction in occupancy expenses. One of the solutions of the problem
is to create Technical Support System for Customers. State-of-the-arte
information technologies enable you to arrange the process on a
twenty-four hour basis 7 days a week, 365 days a year. This article
presents a short description of the system ensuring solution of
organizational and secure problems during informational technical
provision of customers of aeronautical engineering.
Keywords: catalogue, front server, knowledge data
base, user logon, request engager.
Alexeev A. A., Kulikov A. I., Starushkin V. G. Visual
Geological Media Designer "Seismic Model Manager"
There are many problems with the correct and non-contradictory
geological cross-section model making. These problems are very actual
today in geophysics. Also there are a lot of different algorithms
and geophysical formats. Therefore geophysicist-specialists need
to have a special product to build geophysical models and to run
algorithms.
Our product affords an opportunity to create, modify and save in
different formats geophysical models. Seismic Model Editor as a
part of Seismic Model Manager is a special vector editor and it
allows geophysicist to build any model of geological cross-section.
Editor supports model validation according to the rales described
in science-based model. An important point is that any model modifying
also changes corresponding geophysical data of the current model.
So, visual editing of this model changes model parameters too.
Seismic Model Manager Client forms a part of Seismic Model Manager
and allows user to upload a created model to a server and to run
a task using available algorithm. Then Client should get a task
results from a server and send it to client's computer. This solution
provides a remote work for geophysicists
Keywords: geological media, data visualization,
visual editor, isogeometric smoothing.
Malykhina G. F., Merkusfeva A. V. Using the Neural
Network and Wavelet Transformation Jointly for Nonslationary Signal
Analysis
We present some applications of joint using the neural
network and wavelet-transformation (WT) in the problems of non-stationary
signal analysis. The first problem relates to speech signal (SP)
monitoring system where WT implementation is used for SP compression,
probability distribution identification of signal WT and wavelet-filtration
with adapted threshold. Neural network algorithm is used for recognizing
the signal frame type (speech/pause) and controlling two phases:
thresholds determination (in the pause frames) and wavelet-filtration
of speech signal on the basis of these thresholds (in the speech
frames). By such a method, the adaptation to noise level variations
is achieved. The expansion of a signal is obtained on the basis
of wavelet packet, frequency sub-bands of which approximate the
critical bands of perceptual model. New relations are obtained for
threshold calculation on the basis of exponential-power distribution,
which generalize Cramer's expression for maximum value distribution
for Gauss's variable. That makes it possible to filter (in the wavelet
domain) the noises of most general type. In the second problem,
we suppose the algorithm for estimating free-gas levels in commodity-oil
pipelines. The method is based on non-contact radiation densitometer-device.
Neural network implements identification of informational significance
of WT signal frames: time intervals with gas in the oil flow and
intervals having no gas content.
Kirsanov A. P. A Combinatorial Metod for Describing
and Checkihg Processes
Asadov H. G., Nabiev N. A. Multicriteria Optimization
of Fuzzy and Non-Fuzzy Data Measurement Systems of Non-Stationary
Energetic Condition
The questions on optimization of data measurement system
of non-stationary energetic condition using multicriteria procedure
are considered in the article. The multicriteria optimization of
given subclass of data measurement systems is carried out using
the combined target functional consisting of linear combination
of information and fuzzy functionals. The practical recommendations
on practical realization of similar systems are given.
Chumachenko E. N., Shashmurina V. R. Forecasting of
Interplay of Patterns of a Bone Tissue of an Edentulous Mandible
with Full Removable Prostheses
The mathematical model of a bio-mechanical system "removable
prosthesis—implant—bone" is considered. Influencing geometrical
arguments of a prosthesis and physical condition of bone tissues
on stress — strain state of a system is analysed. The conformity
between number of implants and strength properties of a system is
mounted. The designed computer system of a simulation modeling allows
to learn biomechanical fundamentalses of interplay of patterns of
a bone tissue of a mandible with full removable prostheses of a
different construction and arresting them implants.
Keywords: biomechanics, mathematical simulation,
tooth prostheses, implants, hardness, bone of a jaw.
Korotkova M. A., Rekubratskiy V. A., Korotkov A. E., Shulga O. A.,
Skryabin K. G. Dynamic Model of Genetic Control of
Plant Development (on the Example of Arabidopsis thaliana)
Computer simulation system of plant development is described.
Gene mutations and their influence upon definition of the flower
organ type, development of stem and leaves, and also environment
influence on the process of development are taken into account.
Methods and models implemented in the system are submitted. Simulation
results showing the system justifiability are demonstrated in the
article.
Keywords: Arabidopsis thaliana, visualization,
gene, gene network, mathematical simulation, model, morphogenesis,
mutation, plant, Petri nets.
Shemakin Yu. I. Systemantics and Information Nanotechnolody
The author of the article studies the system and semantic
principals of content of a new science "Systemantics"
proposed by him and develops its importance in information nanotechnology.
наверх
оглавление |