|
|
АННОТАЦИИ
СТАТЕЙ ЖУРНАЛА "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ" №3, 2004
на русском и английском языках
К оглавлению
И.
А. Барков, канд. техн. наук,
Ижевский государственный технический университет
Автоматический синтез структурного описания конструкции
Приведено теоретико-игровое решение задачи синтеза структурного
описания конструкции. Исходными данными являются: система семантических
(смысловых) описаний свойств и особенностей класса изделий и формализованное
техническое задание.
Barkov I. A.
Automatic Synthesis of the Structural Description of the Construction
Game-theoretic solution of the synthesis problem of the structure
description of the construction is reduced. The system of the semantic
(sense) descriptions of properties and singularities of the product
class formalized technical task are the initial data.
наверх
|
П. Н. Бибило,
д-р техн. наук, проф.,
Объединенный институт проблем информатики Национальной академии
наук Беларуси, г. Минск
Проектирование конечных автоматов в САПР WebPack ISE фирмы Xilinx
Рассматриваются особенности представления конечных автоматов Мили
и Мура в подсистеме StateCAD, имеющей графический интерфейс с проектировщиком.
Исходное графическое представление может быть преобразовано в формальное
описание автомата на высокоуровневом языке проектирования VHDL,
Verilog, Abel
Bibilo P. N.
Design of Finite State Machines by WebPack ISE CAD System of Minx
The problem of Moore and Mealy finite automata representation in
subsystem StateCAD is considered. Input graphic representation of
these automata, prepared by using of graphic interface of StateCAD.
As a result the diagram of the given FSM can be transformed automatically
into VHDL, Verilog or Abel program.
наверх
|
А. Ю. Савинков,
канд. техн. наук, доц., Воронежский НИИ связи
Синхронизация и верификация в имитационном моделировании
Имитационное статистическое моделирование на ЭВМ является одним
из основных инструментом анализа и синтеза при разработке систем
цифровой обработки сигнала.
Для сокращения сроков разработки и отладки программ моделирования
и снижения риска ошибок в программах предлагается ввести в библиотеку
классов имитационного моделирования наряду с классами, представляющими
объекты предметной области исследования, еще два класса - объект
"часы" и объект "отладочная точка".
Описанная концепция использовалась в практической работе Воронежского
НИИ связи и показала высокую эффективность для имитационного моделирования
цифровой обработки сигнала в различных системах связи.
Savinkov A. Yu.
Synchronization and Verification in Imitation Simulation
Imitation statistic simulation on PC is one of the main instruments
of analysis and synthesis at the development of signal digital processing
systems.
For the reduce of terms of simulation programs development and debugging
and for decrease of risk of errors in programs, in paper it is proposed
to input into the library the class of imitation simulation alongside
with the classes presenting objects of data domain research, two
lasses - object "clocks" and object " debug point
".
The concept, which is described in paper, was used in practical
operation of VRIT and has shown high performance for imitation simulation
of signal digital processing in various communication systems.
наверх
|
P. P. Загидуллин,
канд. техн. наук, УГАТУ, г. Уфа
Имитационная модель формирования расписаний в ГПС
Рассмотрен способ построения имитационных моделей ГПС с помощью
аппарата сетей Петри. Отличительной особенностью метода является
синтез модели с использованием конечного множества функциональных
подсетей. При этом появляется возможность построения сетей любой
размерности как функции от времени и числа полюсов сети, представляющих
собой операции технологического процесса изготовления деталей.
Zagidullin R. R.
Imitative Model of Formation of Flexible Manufacture Systems
In a paper the way of construction of simulation models FMS with
the help of the apparatus of Petri nets is considered. A distinctive
feature of a method is the synthesis of model with usage of a finite
set of functional subnets. Thus there is a possibility of construction
of nets of any dimension as functions from time and amount of poles
of a net representing operation of the technological process of
manufacture of details.
наверх
|
А. А. Букатов,
канд. техн. наук, В. В. Коваль,
Ростовский государственный университет
Методы реализации трансформационной машины многоцелевой системы
трансформаций программ
Рассматривается реализация трансформационной машины в многоцелевой
системе трансформаций программ. Обсуждаются вопросы трансляции трансформируемых
программ во внутреннее представление, форма и способы модификации
внутреннего представления трансформируемых программ. Предлагается
форма внутреннего представления правил трансформаций, обеспечивающая
эффективную модификацию внутреннего представления трансформируемых
программ.
Bukatov A. A., Kovalj V. V.
The Methods of Realization of Transformation Machine of Multiple
Objective System of Programs' Transformations
The realization of transformation machine in multiple objective
system of programs' transformed programs into internally representation
of transformed programs are discussed. The form of internally of
the transformations rules covering the effective modification of
internally representation of the transformations rules covering
the effective modification of internally representation of the transformed
programs is offered.
наверх
|
В. К. Беляев,
С. В. Забелин, канд. техн. наук,
Институт микропроцессорных вычислительных систем РАН
Абстрактный пользовательский интерфейс в Java 2 Platform, Micro
Edition: определение, задачи, принципы работы
Рассмотрены определение, задачи и принципы работы абстрактного пользовательского
интерфейса, предназначенного для применения в пользовательских устройствах
с ограниченным ресурсом (таких, как мобильные телефоны или телевизионные
приставки) в Java 2 Platform, Micro Edition. Представленные результаты
были получены в процессе разработки соответствующей библиотеки в
рамках проекта Java Telematics Technology, осуществлявшегося фирмой
Sun Microsystems. Основная работа по проектированию и реализации
интерфейса была выполнена в ЗАО "МЦСТ" в 2000/2002 годах.
Beliaev V. K., Zabelin S. V.
Abstract User Interface in Java 2 Platform, Micro Edition: Definition,
Goals, Principles of Work
This article gives the definition, goals and principles of the Abstract
User Interface, which is designed for use in the mobile and embedded
devices (such a cellular phones or set top boxes) in Java 2 Platform,
Micro Edition. The given results were got as a result of development
of the correspondent library for Java Telematics Technology project
performed by Sun Microsystems. The main work on design and implementation
of this interface was done by PHC "MCST" years 2000/2002.
наверх
|
А. С. Миронов,
канд. техн. наук,
Московская государственная академия приборостроения и информатики
Представление и обработка знаний в одном семействе интеллектуальных
информационных систем
Рассматриваются вопросы представления и обработки знаний в статических
банках знаний. Статические банки знаний - это интеллектуальные информационные
системы, обеспечивающие формирование ответов на запросы пользователей
посредством выполнения специализированных процедур поиска и логической
обработки знаний. Они могут быть использованы в различных приложениях
в качестве систем-консультантов.
Mironov A. S.
Representation and Knowledges Processing in the Same Class of Intellectual
Informational Systems
The issues of knowledge representation and knowledge-based inference
in one type of knowledge-based systems are considered. Such Systems
are based on a frame knowledge model and are provided Q- A computations
by executing of special procedures of knowledge based inference.
наверх
|
М. Г. Мамедова,
д-р техн. наук,
3. Г. Джабраилова, канд. техн. наук,
Институт информационных технологий
Нац.АН Азербайджана depart15@iit.ab.az;
masuma@mail.az
Применение нечеткой логики в демографическом прогнозе
Исследованы возможности применения нечеткой логики в моделировании
демографических процессов на примере задачи прогнозирования численности
населения. Выделены особенности населения как динамической системы,
функционирующей в условиях неопределенности, и дана нечеткая постановка
задачи прогнозирования. Предложена методика прогнозирования численности
населения с использованием модели нечетких временных рядов. Описаны
эксперименты по ретроспективному и перспективному расчету населения
и приведен сравнительный анализ результатов, полученных альтернативными
методами прогнозирования
Mamedova M. H., Jabrailova Z. G.
Application of Fuzzy Logic in Population Forecasting
The potential of fuzzy logic application in simulating of demographic
processes by the example of population forecasting task has been
investigated. The particularities of population as dynamical system
functioning under the condition of uncertainty have been examined
and fuzzy statement problem has been suggested. The strategy of
population forecasting using the method of fuzzy time series model
has been proposed. Result efficiency, obtained by application of
fuzzy time series model, has been checked by the retrospective modeling,
comparison with data PROST and SPSS models.
наверх
|
С.
Д. Коровник, канд. техн. наук,
И. Д. Ратманова, канд. техн. наук,
Л. В. Щавелев, канд. техн. наук,
И. А. Левенец, канд. техн. наук, М. А. Козырев,
Ивановский государственный энергетический университет
Система мониторинга и анализа социально-экономического положения
региона
Описан опыт реализации информационно-аналитической системы по социально-экономическому
положению региона. В основу положена концепция хранилищ данных и
систем поддержки принятия решений на их основе. Система построена
в среде комплекса инструментальных средств ИнфоВизор.
Korovkin S. D., Ratmanova I. D., Schavelev L. V.,
Levenets I. A., Kozyrev M. A. The System for Monitoring and Analysis
of a Regional Social Economical State
The paper describes an approach to creation of the information-analytical
system, intended for analysis of a regional social economical state.
It's made on the basis of the data warehouse technology and decision
support systems concept. This system is developed with the InfoVisor
toolkit.
наверх
|
В. Б. Лифшиц,
д-р мед. наук, проф.,
Т. И. Булдакова, канд. техн. наук, доц.,
С. И. Султанов, канд. техн. наук, доц.,
С. В. Колентьев,
Саратовский государственный технический университет
Статистический и нейросетевой методы идентификации и прогнозирования
в медицине
Современные информационные технологии в значительной мере облегчают
решение задач идентификации и прогнозирования в различных предметных
областях. Показана сравнительная эффективность статистического и
нейросетевого методов идентификации заболевания и прогнозирования
его тяжести в зависимости от психологического состояния человека.
Lifshits V. В., Buldakova T. I., Suiatinov S. I., Kolentjev
S. V.
Statistical and Neuronetwork Methods of Identification and Prediction
in Medicine
Comparative effectiveness of statistical and neuronetwork methods
of identification of disease and prediction of its serious depending
on psychological condition of a man is shown.
наверх
|
|
|