И. М. Гуревич, канд. техн. наук, гл. конструктор, Компания "ГЕТНЕТ Консалтинг", e-mail: iggurevich@gmail.com

Атомы, молекулы и фундаментальные ограничения на информационные характеристики систем

Показано, что объем информации в атомах, азотистых основаниях, аминокислотах, их дифференциальная информационная емкость, масса атома водорода, структура и разность энергий его базисных состояний накладывают фундаментальные ограничения на память и быстродействие вычислительных устройств, информационных систем. Ограничения 1028 бит/кг, 1039 оп*с^-1 кг^-1 необходимо добавить вряд фундаментальных природных ограничений.
Ключевые слова: атомы, молекулы, информационные характеристики, фундаментальные ограничения

Стр. 2 – 9

Gurevich I. M. Atoms, Molecules and Fundamental Restrictions on Informational Characteristics of Systems
The article shows that volume of information in the atoms, amino acids and nitrogen bases, their differential information capacity, the mass of a hydrogen atom, the structure and the energy difference between its basis states impose fundamental limits on memory and speed of computing devices and information systems. Restrictions 1028 bit/kg, 1039 op*sec^-1 kg^-1 must be added to a number of fundamental natural limits.
Keywords: atoms, molecules, information characteristics, the fundamental limits

Р. Г. Гюльмамедов, канд. техн. наук, доц., Азербайджанский государственный экономический университет, e-mail: gulmamedovr@rambler.ru

Определение критических проблем информатизации регионов

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

Стр. 9 – 13

Gulmamedov R. H. Definition of Critical Problems of Informatization of Regions
The urgency of a question in the conditions of transition to postindustrial information economy is marked. Lacks of the standard approaches to the decision of the question, based on methods of expert estimations are analyzed. Is offered the way, allowing to raise efficiency of the decision by use of methods of psychosemantics and multidimensional non metric scaling. The description of technology and an example of application of away is given.
Keywords: region, problems of informatization, ranging, multidimensional non metric scaling

Л. Е. Бpусенцов, аспирант, инженер, Институт автоматики и электрометрии СО РАН, ЗАО "Интел А/О", г. Новосибирск, e-mail: leonid.brusencov@intel.com

Архитектура инструмента поиска оптимальных ключей компиляции

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

Стр. 14 – 18

Brusencov L. E. Architecture of an Optimal Compiler Options Search Tool
More and more hopes we lay on optimizing compilers, peculiarly it's connected to the wide spread of multicore processor architectures. Compilers are very sophisticated and conservative and need to be thoroughly tuned. The goal of the work is to implement an automatic tool to search for optimal compiler options values.
Keywords: optimizing compiler, iterativesearch, statistical data, application transformation

Е. В. Алымова, научный сотр., Южный федеральный университет, г. Ростов-на-Дону, e-mail: langnbsp@gmail.com

Критерий полноты тестовых наборов, ориентированных на проверку распараллеливающих преобразований программ*

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

*Работа поддержана проектом "Создание высокотехнологичного производства комплексных решений в области предметно-ориентированных облачных вычислений для нужд науки, промышленности, бизнеса и социальной сферы", шифр 2010-218-01-209.

Стр. 19 – 22

Alymova E. V. The Test Sets Completeness Criterion Intended for Parallelizing Program Transformations Testing
The paper proposes test sets generation technique aimed on compiler parallelizing and optimizing program transformations testing. The completeness criterion for positive and negative test sets is described.
Keywords: completeness criterion for testing, parallelizing program transformations, optimizing compiler, automatic test generation

А. И. Таганов, канд. техн. наук, доц., Рязанский государственный радиотехнический университет, e-mail: alxtag@yandex.ru

Методы идентификации, анализа и сокращения проектных рисков качества программных изделий в условиях нечеткости

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

Стр. 22 – 27

Taganov A. I. Methods of Identification, the Analysis and Reduction Design Risks of Quality Program Products
in the Conditions of the Illegibility
Questions of formalization of processes of identification, the analysis and reduction of design risks of quality of program products in the conditions of an illegibility of the design data are considered.
Keywords: design risk, identification, the analysis, monitoring, indistinct methods and algorithms

И. Е. Квасов, аспирант, И. Б. Петров, д-р физ.-мат. наук, зав. каф., А. В. Санников, студент, А. В. Фаворская, студентка Московский физико-технический институт (государственный университет) e-mail: petrov@mipt.ru

Компьютерное моделирование пространственных динамических процессов сеточно-характеристическим методом на неструктурированных тетраэдральных сетках

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

Стр. 28 – 30

Kvasov I. E., Petrov I. B., Sannikov A. V., Favorskaya A. V. Computer Modeling of Spatial Dynamic Processes Using Grid-Characteristic Method on Unstructured Tetrahedral Grids
The aim of this work is the development of the grid-characteristic method on unstructured tetrahedral grids by using high-order interpolation for numerical modeling to investigate complex spatial dynamic processes in heterogeneous environments. This method has great generality and is suitable for the detailed study of wave pattern.
Keywords: grid-characteristic method, tetrahedral grids, high-order interpolation, seismic exploration, seismology

И. Б. Петров, д-р физ.-мат. наук, зав. каф.,
А. В. Фаворская, студентка, Московский физико-технический институт (государственный университет), e-mail: petrov@mipt.ru

Библиотека методов интерполяции высоких порядков на неструктурированных треугольных и тетраэдральных сетках

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

Стр. 30 – 32

Petrov I. B., Favorskaya A. V. High-Order Interpolation on Unstructured Triangular and Tetrahedral Grids Library
We developed methods of high-order interpolation on unstructured triangular and tetrahedral grids: polynomial interpolation from the first to the fifth degree inclusive, interpolation with the help of a limiter based on polynomial interpolation from the second to the fifth degree inclusive, straight-line interpolation. The library that implements all these methods was written and we carried out its numerical testing.
Keywords: high-order interpolation, triangular grids, tetrahedral grids, unstructured grids

Н. И. Бунькина, канд. техн. наук, доц., Д. В. Лакеев, аспирант, Национальный исследовательский технологический университет "МИСиС", e-mail: lakeyev@yandex.ru

Задачи составления расписаний с альтернативными приборами. Решение с помощью генетических алгоритмов

Описан генетический алгоритм для решения задачи job-shop, характеризующейся наличием альтернативных приборов. Рассматриваемая задача является одной из самых сложных среди задач комбинаторной оптимизации и относится к числу NP-трудных. В статье раскрываются идеи представления расписаний и преобразования невыполнимых расписаний в выполнимые. Вычислительные эксперименты показали, что предложенный метод позволяет находить близкие к оптимальным решения для стандартных вычислительных тестов и имеет полиномиальную сложность.
Ключевые слова: задачи составления расписаний, генетические алгоритмы, альтернативные приборы, job-shop

Стр. 33 – 36

Bunkina N. I., Lakeyev D. V. Scheduling Problems with Alternative Machines. Solving with Genetic Algorithms
The following paper describes a genetic algorithm for job-shop scheduling problem with alternative machines. This problem is one of the most well-known hardest combinatorial optimization problem, which is NP-hard. In the paper it is introduced original ideas in representation of schedules and improving no feasible ones to legal. Experiments showed that the proposed method produces nearly-optimal solutions for standard benchmarks and has polynomial complexity.
Keywords: scheduling problem, genetic algorithms, alternative machines, job-shop

Х. Г. Асадов, д-р техн. наук, нач. отдела, К. Х. Исмаилов, канд. техн. наук, доц., Национальная авиационная академия НИИ аэрокосмической информатики Национального аэрокосмического агентства, г. Баку e-mail: asadzade@rambler.ru

Информационный метод позицирования объектов

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

Стр. 37 – 39

Asadov H. H., Ismaylov K. Kh. Information Method for Positioning
It is shown that in order to develop the positioning system, such parameters as attenuation level and speed of signal transfer may be used, which depend on meteorological and frequency parameters.
The information method of positioning is suggested, where the positioning is to be carried out in line with target functional when the latter should get its maximal value.
The iteration procedure for realization of suggested method is described.
Keywords: positioning, fading, navigation, iterative prosedures

Б. Г. Ибрагимов, д-р техн. наук., проф., e-mail: i.bayram@mail.ru, Азербайджанский технический университет, Г. Г. Ибрагимов, канд. техн. наук., ст. науч. сотр., Институт Кибернетики НАНА

Эффективность передачи мультимедийного трафика многофункциональным абонентским и сетевым терминалом

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

Стр. 40 – 43

Ibrahimov B. G., Ibrahimov G. G. Efficiency of Transfer of the Multimedia Traffic with Multifiinctional User's and Network Terminal
The part of multiservice communication networks with switching the packages, formed by user's and network terminals of multimedia type is investigated. On the basis of research of efficiency of functioning of system the mathematical model of the terminal equipment of a part of multiservice communication networks is created and analytical expressions for an estimation of their network characteristics are received.
Keywords: non-uniform traffic, user's and network terminal, multiservice network link, high-speed access, quality of service

Информационная система управления производством гемокомпонентов "Службы крови"

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

Стр. 50 – 53

Sirota E. A. The Information System of Managerial Process by Blood Stocks
The results of the program that provides storage and data handling of the blood needs of the hospitals and the optimization of managerial process by blood stocks are given. The mathematical model of the managerial process by blood stocks is described. This mathematical model was used while developing.
Keywords: mathematical model, managerial process by blood stocks, software

Нейросетевые технологии в решении задач нейрореставрологии

Рассмотрено применение нейросетевых технологий в новом разделе современной медицины — нейрореставрологии, посвященном различным аспектам восстановления нарушенных функций нервной системы и ее разделов.
Ключевые слова: нейронные сети, нейроматематика, нейроуправление, нейрокомпьютеры, нейрочипы, диагностика, интерфейс "мозг—компьютер", зрительный и слуховой имплантаты, протезы

Стр. 55 – 69

Galushkin A. I. Neural Networks Technologies in the Solution of Tasks of Neurorestoratology
This article represents methods to choose the tasks, which are adequate to neural networks technologies, neuroimplants (visual, acoustic, neuroimplant of spinal cord, bionic arm), neural networks technologies in the diagnostics of nerve diseases (diagnostics by EEG, systems for epilepsy diseased), neural networks technologies in the problem "Human proteom", models of neurosystems on the base of modern computing means as the technological means of solution of neurorestoratology tasks, interface "brain-computer", as the technological means of solution of neurorestoratology tasks, modern methods of information visualization in the researches of neurorestoratology.
Keywords: neural networks, interface brain-computer, neuromathematics, neurocontrol, neurochips, medical diagnostic, neuroimplant visual, neuroimplant acoustic, prothesis

Рассмотрен подход к обеспечению устойчивости рекуррентных нейронных сетей (РЕС) с управляемыми синапсами. Уточнены модели управляемых синапсов и устойчивости РЕС. Исследованы возможные варианты торможения нейронов в РЕС. Приведены результаты математического моделирования. Даны практические рекомендации по обеспечению устойчивости РЕС.
Ключевые слова: рекуррентная нейронная сеть, управляемые синапсы, торможение, устойчивость

Стр. 69 – 73

Osipov V. Yu. Stability of Recurrent Neural Networks with the Controlled Synapses
The approach to the sustainability of recurrent neural networks (RNN) with controlled synapses was researched. Model synapses and stability of RNN were clarified during this research. Possible options for inhibition of neurons in the RNN were investigated. The results of mathematical modeling are presented. Practical recommendations on the sustainability of RNN are given.
Keywords: recurrent neural network, synapse, stability, inhibition

И. Л. Каширина, канд. техн. наук, доц., Я. Е. Львович, д-р техн. наук, проф., зав. каф., А. А. Тузиков, аспирант, Воронежский государственный технический университет, e-mail: kash.irina@mail.ru

Нейросетевое резервирование дублированных измерений параметров при наземных огневых испытаниях жидкостных ракетных двигателей

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

Стр. 74 – 78

Kashirina I. L., Lvovich Ja. E., Tuzikov A. A. Reservation by Neural Network of Doubled Measurements of Parameters at Terrestrial Fire Tests of LRE
In the article the problem of increase of reliability is considered by development of bench information-controlling systems for terrestrial fire tests of liquid rocket engines. In this article a realization of the regulation system by a majority principle "2 out of 3" for feedback gages is offered. The neural network in form of multi-layered perceptron is used as the third gage.
Keywords: the liquid rocket engine, serial fire tests, model on the basis of the neural network

оглавление