Н. И. Вьюкова, ст. науч. сотр.; В. А. Галатенко, д-р физ.-мат. наук, ст. науч. сотр.; С. В. Самборcкий, ст. науч. сотр., НИИ системных исследований РАН, e-mail: niva@niisi.msk.ru

Обобщение задачи программной конвейеризации для гнезд циклов

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

Стр. 2 – 8

Vyukova N. I., Galatenko V. A., Samborskij S. V. Generalization of the Software Pipelining Problem
to Loop Nests

The paper discusses an approach to software pipelining of loop nests based on unrolling of the outermost loop which is then interchanged with the inner ones and moved down to the level of the innermost loop. The authors propose a combination of loop unrolling and software pipelining using methods of Integer Linear Programming, applicable to the case when the loop being unrolled cannot be interchanged with some of its nested ones.
Keywords: code optimization, software pipelining, module scheduling, loop nest, loop unrolling, Integer Linear Programming (ILP).

В. В. Лаптев, канд. техн. наук, доц., e-mail:Laptev@astu.org, А. В. Морозов, начальник отдела АСУ, e-mail: morozov@astu.org, Астраханский государственный технический университет

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

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

Стр. 8 – 11

Laptev V. V., Morozov A. V. Expert System for Software Design Model Quality Assurance

Approach for automation of software quality improving process discussed in this article. A number of significant software quality characteristics identified here. The method for automation of quality measurement over the metrics calculation proposed. The main idea of that method is using fuzzy classification methods and software metrics as input. Estimating software quality characteristics is useful for improving design model and reduces development quality of software.
Keywords: software, design model, quality characteristics, metrics, fuzzy classification, neural network

А. С. Зуев, канд. техн. наук, ст. преподаватель; Ю. И. Петров, студент, Московский государственный университет приборостроения и информатики,
e-mail: zuev_andrey@mail.ru

Описание модификации строки адреса проводника Windows Explorer*

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

*Работа выполнена при финансовой поддержке грантов Президента РФ молодым российским ученым-кандидатам наук (грант №МК-948.2008.9)

Стр. 11 – 19

Zuev A. S., Petrov Yu. I. The Description of Windows Explorer Address Line Modification

Paper presents the description of the model introducing modification of an address line of the Windows operating system explorer and allowing to simplify navigation on logical disks and folders. Results of comparison of the model with similar interface elements of other applications are provided, its competitiveness in comparison with analogues is proven.
Keywords: human-computer interaction, graphical user interface, ergonomics of the software, designing of graphical interfaces, optimization of graphical interfaces, modification of an address line, the contextual interactive help, window of operational system Windows navigation on logical disks and folders, navigation in a network the Internet.

С. В. Гаврилов, д-р техн. наук, зав. сектором, Институт проблем проектирования в микроэлектронике РАН,
Э. Р. Каграманян, аспирант, Московский государственный институт электронной техники (технический университет),
Л. С. Ходош, канд. техн. наук, ст. науч. сотр., гл. спец., Институт проблем проектирования в микроэлектронике РАН

Тенденции развития моделей библиотечных элементов для статического временного анализа цифровых СБИС

Проанализированы тенденции развития моделей временных параметров стандартных цифровых элементов для статического временного анализа КМОП СБИС. Рассмотрены преимущества и недостатки различных типов моделей, проанализированы ограничения по их применению при переходе на глубоко-субмикронные и нанометровые нормы проектирования в процессе масштабирования КМОП-технологии.
Ключевые слова: временной анализ СБИС, характеризация стандартных цифровых элементов, нелинейная модель задержки, NLDM, полиномиальная модель задержки, SPDM, токовая модель задержки, ECSM, CCS.

Стр. 20 – 24

Gavrilov S. V., Kagramanyan E. R., Khodosh L. S. Evolutional Trends of Standard Cell Models for Static Timing Analysis of Digital VLSI Circuits

The evolutional trends of standard cell models are considered with respect to their usage for static timing analysis. The advantages and disadvantages of different types of models are discussed, and the limits of their application are mentioned in terms of continuous scaling of CMOS-technology down to deep submicron and nanometer regions.
Keywords: timing analysis of VLSI circuits, characterization of standard digital cells, non-linear delay model, NLDM, scalable polynomial delay model, SPDM, current source model, ECSM, CCS.

H. В. Шмырев, мл. науч. сотр., Научно-исследовательский институт системных исследований РАН, г. Москва
Средства моделирования и контроля распределенных систем реального времени

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

Стр. 24 – 28

Shmyrev N. V. Modeling and Control Tools for Distributed Realtime Systems
The purpose of this paper is to describe the method of the distributed real-time system modeling. The com¬bination of static analysis and runtime assertions checking allows a developer to verify the correctness of the formal model implementation.
Keywords: distributed real-time systems, modeling, managed execution.

В. А. Бимаков, директор, Общество с ограниченной ответственностью "Робинт", г. Ижевск, e-mail: robint@mail.ru

Высокоскоростная обработка n-мерных пиксельных геометрических моделей

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

Стр. 29 – 36

Bimakov V. A. High Speed Processing of n-Dimensional Dot Geometric Models

The way to construct high speed devices for processing of n-dimensional images and n-dimensional scenes is described. The way is based on advantages of dot method of geometric modeling to execute the scene procedures, which are most "problematic" from the standpoint of time for their performance, with deep parallelism.
Keywords: high-speed method of processing of images and scenes, n-dimensional geometrical dot models, modelling of geometrical transformations, architecture of the specialised SIMD-system.

О. П. Архипов, канд. техн. наук, директор, 3. П. Зыкова, канд. физ.-мат. наук, зав. лаб., Орловский филиал ИПИ РАН, e-mail: ofran@orel.ru

Обеспечение идентичности результатов печати на различных цветных принтерах

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

Стр. 37 – 42

Arkhipov O. P., Zikova Z. P. Identity Output of Different Color Printers

The problem of providing maximal identity of output of color images printed on different printers, which have the stable color transmission, is being considered. For its decision new method, based on test of color transmission, description and consistency of color spaces of printers is proposed. This method can be used not only by manufactures, but also by ordinary users of printers. Manufacturers can apply to write printer's drivers in concern of determining the function of color separation. The printer's user can use proposed method to work together with special soft. Special soft, giving new determination of color separation function, allows transformation existing RGB-image in order to get maximally identical outputs for different printers.
Keywords: color printing, scanning, print outputs of color images, color spaces, color transmission.

А. И. Колдаев, аспирант, Невинномысский технологический институт (филиал Северо-Кавказского государственного технического университета),
e-mail: ventilator83@mail.ru

Моделирование интеллектуальной системы поддержки принятия решений при управлении технологическим процессом

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

Стр. 42 – 46

Koldaev A. I. Modelling of Intel'ectual System of Maintenance of Decision-Making at Management of Technological Process

The intellectual system of neuro-fuzzy conclusion for the decision of a problem of maintenance of decisionmaking is offered at management of technological process of reactor installation of hydrogenation of butanol.
Keywords: fuzzy logic, neuro-fuzzy network.

Т. И. Михеева, д-р техн. наук, доц., А. А. Потапкин, студент, Р. В. Демьяненко, аспирант, Самарский государственный аэрокосмический университет, e-mail: mikheevati@mail.ru

Адаптивная кластеризация графа улично-дорожной сети

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

Стр. 46 – 51

Mikheeva Т. I., Potapkin A. A., Dcmyanenko R. V. Adaptive Clustering of Graph of Street-Road Network

The attributive street-road network graph compression method based on adaptive fuzzy clustering is analyzed. The performance criterion of adaptive clustering and evaluation of attributive data compression ratio are considered.
Keywords: street-road network graph, fuzzy clustering, compression graph, transport route.

Ю. А. Куперин, д-р физ.-мат. наук, проф., e-mail: yuri.kuperin@gmail.com, Р. Р. Счастливцев, аспирант, e-mail:srr2001@mail.ru, Санкт-Петербургский государственный университет

Прогнозирование финансовых временных рядов с помощью комитетов искусственных нейронных сетей

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

Стр. 51 – 56

Kuperin Yu. A., Schastlivtsev R. R. Forecasting Financial Time Series by Committees from Artificial Neural Networks

In the present paper methods of high quality time series forecasting by means of artificial neural networks (ANN) committees have been elaborated. Conventional approaches to aggregation of ANN's into committees have been analyzed and a novel approach to forming of ANN committees has been suggested. The proposed methods have been tested in order to demonstrate the high quality the USA stock market time series forecasting.
Keywords: forecasts, neural networks committees, week forecast, strong forecast, financial time series

Синергетические аспекты моделирования инновационных процессов

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

Стр. 56 – 61

Serkov L. A. Synergetic Aspects of Modeling of Innovative Processes

In frameworks of the synergetic approach stochasticity of innovative process and influence on this process of the innovative globalization was studied. By authors it is shown, that the role of noise consists in noise-induced phenomenon named self-organized criticality. Involving in innovative process of the increasing number of participants (innovative globalization) leads to some suppression of fluctuations, to reduction of a role of accident in occurrence and development of innovations.
Keywords: synergetrics, innovations, diffusion of innovations, technological transfer, determinancy, stochasticity, bifurcations, the self-organized criticality, innovative activity, logistical curve.

А. С. Соловецкий, аспирант, Институт экономики и организации промышленного производства СО РАН, г. Новосибирск, e-mail: solovetski@gmail.com

Мобильные информационные технологии в маркетинге и рекламе

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

Стр. 62 – 67

Solovetski A. S. Mobile Informational Technologies in Marketing and Advertising
Results, received by author during the mobile informational technologies (MIT) marketing research are shown in article. The goal of research was evaluation of MIT use in marketing and advertising.
Quoted data about different regional markets allows to draw a conclusions on availability of MIT marketing services worldwide and particularly in Russia.
MIT advantages and features as compared to classical advertising instruments are noted in article.
Mobile technologies used in marketing are inquired in detail as well as methods of its use in marketing are proposed.
Author is considering ethical and technical problems appear during use of mobile marketing instruments.
This article would be interesting for experts who work in mobile telecommunications, marketing and advertising, for researchers engaged in IT industry problems as well for everyone interested in mobile telecom and new marketing instruments.
Keywords: mobile marketing, mobile ad, mobile informational technology, mobile telecom, value-added services, mobile content.

А. В. Сарафанов, д-р техн. наук, проф., проректор, e-mail: IAD@stu-kras.ru, В. А. Комаров, аспирант, e-mail: vladimir@ire.krgtu.ru, Сибирский федеральный университет, г. Красноярск

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

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

Стр. 67 – 74

Sarafanov A. V., Komarov V. A. Designing Mathematical Model Multiuser Operating Mode of the Hardware and Software Remote-Access Complex

Application mathematic simulation for analysis of the hardware and software remote-access complex.
Keywords: multiuser mode, mathematic simulation, hardware and software remote-access complex (H&SRAC).

И. П. Норенков, д-р техн. наук, проф., зав. каф., e-mail: norenkov@rk6.bmstu.ru,
Н. К. Соколов, инженер, МГТУ им. Н. Э. Баумана

Синтез индивидуальных маршрутов обучения в онтологических обучающих системах

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

Стр. 74 – 77

Norenkov I. P., Sokolov N. K. Creation of Individual Learning Routes in Ontology Education Systems

If the number of shareable content modules is increased in a base of educational resources diversity of possible learning routes is increased too. Then the problem of optimal learning route synthesis is arised. The paper is devoted to the model and method of synthesis of textbooks by the technology of shareable content modules for support of individual learning routes.
Keywords: computer instruction system, technology of shareable content modules, ontology, learning route.

А. Е. Рыбаков, аспирант, Марийский государственный технический университет, e-mail: alexey.rybakov@cpslabs.net

Моделирование структуры учебных курсов и подсистемы навигации для систем управления обучением, поддерживающих стандарт SCORM

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

Стр. 77 – 81

Rybakov A. E. Modeling to Courses Structure and Subsystem of Navigation for SCORM Compatible Learning Management Systems

The navigation system in e-leaming courses is considered. Structure of learning courses and modeling of navigation are suggested. They are compatible with SCORM and IMS standards. They are expanding them with the specific adaptive algorithms for navigation in learning courses. Algorithms are based on model of integral mark of student's knowledge.
Keywords: e-leaming, sequence, education, navigation, courses, learner, SCORM, IMS

С. П. Сердобинцев, д-р техн. наук, проф., зав. каф. АПП, e-mail: serdobinzev@mail.ru, Ф. В. Коломейко, инженер-программист, e-mail: fed@atlant.baltnet.ru, Калининградский государственный технический университет

Применение информационных технологий в прогнозировании распределения объектов рыбопромыслового лова

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

Стр. 82 – 85

Serdobintsev S. P., Kolomeyko F. V. The Usage of Information Technologies in Fishery Objects Allocation Prediction

In this article the following questions are considered: automation system construction principles and time series analysis results which are based on fishery statistics for prediction of time and space hydrobionts allocation.
Keywords: fishery, automation system, prediction, data base, time series, singular spectrum analysis, local ap-proximation.

оглавление